Solving equations for no solution