解方程12减x等于4