AII.REI: Reasoning with Equations and Inequalities