if (x + 10) ⋅ (1 / (-5)) > 3, then x < -25

View as a table | Try proving it

Start from the conclusion and work back up the proof. Click the arrow to show the parents.