方程式的验算过程是把未知数的值代入原方程，左边等于多少，是否等于右边，判断未知数的值是不是方程的解。

数学方程式指的是含有未知数(x)的等式或不等式组，根据含有未知数数目不同、含有未知数幂数不同和含有未知数数目和幂数的不同来划分方程式的类型。

根据含有未知数数目不同，分为一元方程式、二元方程式和多元方程式，根据含有未知数幂数不同，分为一元一次方程，一元二次方程，一元多次方；根据含有未知数数目和幂数的不同，分为二元一次方程，二元二次方程，二元多次方程，多元多次方程。