7+5x是不是方程