
The expression is
.
Apply addition property: if 
(Add 7 to each side) \ \
(Additive inverse property:
)
(Additive identity property:
)
(Add:
)
The value of expression is
.