通过代入法，我们可以检验不等式的解是否满足原不等式。

1. 【不等式】    - 表示两个数或两个代数式不相等的算式。两个数或两个代数式之间用不等号连接，如5＞2，3a＜8，7m＋1≠9m＋2。

2. 【可以】    - 可以1表示可能或能够不会的事情，用心去学，是～学会的ㄧ这片麦子已经熟了，～割了； 表示许可你～走了。参看‘能’条d、e两项。 可以2 [kěyǐ]好；不坏这篇文章写得还～； 厉害你这张嘴真～ㄧ天气实在热得～。

3. 【我们】    - 代词。称包括自己在内的若干人。

4. 【检验】    - 检查验看；检查验证：～汽车机件｜实践是～真理的唯一标准。