Exercise algebra.inequalities.linear

Description
solve a linear inequation

Derivation

-5*x > -30
algebra.inequalities.flip-sign
5*x < 30
algebra.equations.coverup.times-positive
x < 6