Problem-solving with inequalities