3.5+x=7 解方程,并检验.