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