Solving for unknown variables in equations and inequalities