Reasoning with Equations and Inequalities