The expression is
(Add:
)
(Additive inverse property:
)
(Divide:
)
The expression is
The solution is not Equal..