A1.REI: Reasoning with Equations and Inequalities