Solving 1-Variable Inequalities