Exercise algebra.inequalities.linear

Description
solve a linear inequation

Derivation

2*x < 15

⇒ algebra.equations.coverup.times-positive

x < 15/2