Reasoning with equations and inequalities (Algebra)