Exercise algebra.inequalities.linear

Description
solve a linear inequation

Derivation

2*x-12 < 3

⇒ algebra.equations.coverup.onevar.minus-left

2*x < 15

⇒ algebra.equations.coverup.times-positive

x < 15/2