Nigel makes the claim that x=6 is the solution to the equation 4(5x−12)−7x=5x. His work to support his claim follows.

Given: 4(5x−12)−7x=5x

Step 1: 20x−48−7x=5x

Step 2: 20x−7x−48=5x

Step 3: 13x−48=5x

Step 4: 13x−13x−48=5x−13x

Step 5: 0−48=−8x

Step 6: 6=x

Which of the following justifications can be used to justify and support Nigel's work?

Select all justifications that are correct.

Step 2 is justified by the Commutative Property.
Step 1 is justified by the Distributive Property.
Step 5 is justified by the Property of Additive Inverses.
Step 6 is justified by the Associative Property.
Step 4 is justified by the Symmetric Property.