x减25等于15,7解方程还检验