HSA.REI: Reasoning with Equations and Inequalities