consistency of system of equations