十二减x等于七解方程