一次不等式 $3x+2 > 5x-7$ を式の変形で解いてみよう。
それには不等式の性質 を使う。

$3x+2 > 5x-7$ を解く

$3x+2-2-5x > 5x-7-2-5x$   … この操作を移項という
$-2x > -9$

両辺を -2 で割る
$x < \dfrac{9}{2}$