Reasoning with Equations and Inequalities (REI)