Procedimiento para resolver las siguientes ecuaciones con axiomas

Soy nuevo en esta página y me gustaría saber si me pueden orientar sobre el procedimiento para resolver las siguientes ecuaciones utilizando axiomas

4x-5>6

7x-4<2x+7

6(x+1)>2(2x-1)