Exercise algebra.inequalities.linear

Description
solve a linear inequation

Derivation

-x+4 > 6

⇒ algebra.equations.coverup.onevar.plus

-x > 2

⇒ algebra.inequalities.flip-sign

x < -2