Exercise algebra.inequalities.linear

Description
solve a linear inequation

Derivation

Final term is not finished
5-2*a+6 > 5*(3-a)