Simplifying Inequalities