解方程=脱式计算?