Inequalities

Compare variable expressions and reason about solution ranges.