Equation solving and comparison