Addition property of equality
Subtraction property of equality
Multiplication property of equality
Division property of equality
Simplifying
Distributive property
