Solving equations with no solutions