Simplify
Distributive property
Addition property of equality
Division property of equality
