能使方程左右两边相等的未知数的①______，叫做方程的解．
求方程的解的②______叫做解方程．求方程的解就是将方程变形为③______的形式．
等式的两条性质是④______的依据．
（1）等式两边都加上或减去同一个数或同一个整式，所得结果仍是⑤______．
（2）等式两边都乘或除以同一个⑥______的数，所得结果仍是等式．
方程中的某些项⑦______后，从方程的一边移到另一边，这样的变形叫做⑧______．
一般地，解一元一次方程的一般步骤：去分母、⑨______、移项、⑩______、未知数的?______化为1．以上步骤不是一成不变的，在解方程时要根据方程的特点灵活运用这些步骤．
去分母和去括号时注意不能漏乘；分数线既具有除号的作用，又具有括号的作用，当分子是多项式时，去分母后，原先的括号要补上；另外，移项时特别注意要改变符号．

　　大家知道，解方程是否正确，可以把得出的未知数的值代入方程检验，而解不等式的解集里往往有无数个数值，不可能将这些数值一一代入原不等式进行检验．那么，解不等式所得的结果是否能正确检验呢？

　　解一元一次不等式的一般步骤与解一元一次方程基本一致，只是在去分母及系数化为1时，两边同乘以(或除以)同一个负数，不等号方向要改变方向，因此，解不等式正确与否，可以仿照解方程的代入检验．

　　①若求得的一元一次不等式的解集为x＞a(或x＜a)，则令x＝a，把x＝a代入不等式的左右两边，若两边相等，则求得的不等式的解集可能是正确的，若两边不相等，则一定错了．

　　②取符合x＞a(或x＜a)的一个特殊数b，分别代入原不等式的左右两边，若适合原不等式，则求得的不等式解集一定正确，若不适合原不等式，则只要改变x＞a(或x＜a＝的不等号方向即可．

请你用上面介绍的方法检验一下x＞5是不是不等式1＋＞5－的解集．