这些式子是方程吗,大家来讨论一下