x+1=13-x算方程吗