Exercise algebra.inequalities.linear

Description
solve a linear inequation

Derivation

7*x-12 < 5*x+3

⇒ algebra.equations.linear.var-left, term=5*x

2*x-12 < 3

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

2*x < 15

⇒ algebra.equations.coverup.times-positive

x < 15/2