Inequality Reasoning