Reasoning with Equations & Inequalities