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

\(3x+2 > 5x-7\) を解く

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

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