Example 1
| Statements | Reasons |
| 1. A = B | Given |
| 2. B = C | Given |
| 3. X = Y | Given |
| 4. Y = Z | Given |
| 5. H = G | Given |
| 6. G ≠ 0 | Given |
| 7. A = C | ? |
Example 2
| Statements | Reasons |
| 1. A = B | Given |
| 2. B = C | Given |
| 3. X = Y | Given |
| 4. Y = Z | Given |
| 5. H = G | Given |
| 6. G ≠ 0 | Given |
| 7. A = C | Transitive Property (1 and 2) |
| 8. H ≠ 0 | ? |
Example 3
| Statements | Reasons |
| 1. A = B | Given |
| 2. B = C | Given |
| 3. X = Y | Given |
| 4. Y = Z | Given |
| 5. H = G | Given |
| 6. G ≠ 0 | Given |
| 7. A = C | Transitive Property (1 and 2) |
| 8. H ≠ 0 | Substitution Property (5 and 6) |
| 9. AB = BB | ? |
Example 4
| Statements | Reasons |
| 1. A = B | Given |
| 2. B = C | Given |
| 3. X = Y | Given |
| 4. Y = Z | Given |
| 5. H = G | Given |
| 6. G ≠ 0 | Given |
| 7. A = C | Transitive Property (1 and 2) |
| 8. H ≠ 0 | Substitution Property (5 and 6) |
| 9. AB = BB | Multiplication Property (1) |
| 10. AB = CB | Substitution Property (9 and 2) |
| 11. ? | Division Property (10 and 6) |
Example 5
| Statements | Reasons |
| 1. A = B | Given |
| 2. B = C | Given |
| 3. X = Y | Given |
| 4. Y = Z | Given |
| 5. H = G | Given |
| 6. G ≠ 0 | Given |
| 7. A = C | Transitive Property (1 and 2) |
| 8. H ≠ 0 | Substitution Property (5 and 6) |
| 9. AB = BB | Multiplication Property (1) |
| 10. AB = CB | Substitution Property (9 and 2) |
11. ![]() | Division Property (10 and 6) |
| 12. ? | Substitution Property (11 and 5) |
Example 6
| Statements | Reasons |
| 1. A = B | Given |
| 2. B = C | Given |
| 3. X = Y | Given |
| 4. Y = Z | Given |
| 5. H = G | Given |
| 6. G ≠ 0 | Given |
| 7. A = C | Transitive Property (1 and 2) |
| 8. H ≠ 0 | Substitution Property (5 and 6) |
| 9. AB = BB | Multiplication Property (1) |
| 10. AB = CB | Substitution Property (9 and 2) |
11. ![]() | Division Property (10 and 6) |
12.![]() | Substitution Property (11 and 5) |
| 13. ? | Multiplication Property (12) |
Example 7
| Statements | Reasons |
| 1. A = B | Given |
| 2. B = C | Given |
| 3. X = Y | Given |
| 4. Y = Z | Given |
| 5. H = G | Given |
| 6. G ≠ 0 | Given |
| 7. A = C | Transitive Property (1 and 2) |
| 8. H ≠ 0 | Substitution Property (5 and 6) |
| 9. AB = BB | Multiplication Property (1) |
| 10. AB = CB | Substitution Property (9 and 2) |
11. ![]() | Division Property (10 and 6) |
12. ![]() | Substitution Property (11 and 5) |
13. ![]() | Multiplication Property (12) |
| 14. X = Z | ? |
Example 8
| Statements | Reasons |
| 1. A = B | Given |
| 2. B = C | Given |
| 3. X = Y | Given |
| 4. Y = Z | Given |
| 5. H = G | Given |
| 6. G ≠ 0 | Given |
| 7. A = C | Transitive Property (1 and 2) |
| 8. H ≠ 0 | Substitution Property (5 and 6) |
| 9. AB = BB | Multiplication Property (1) |
| 10. AB = CB | Substitution Property (9 and 2) |
11. ![]() | Division Property (10 and 6) |
12. ![]() | Substitution Property (11 and 5) |
13. ![]() | Multiplication Property (12) |
| 14. X = Z | Transitive Property (3 and 4) |
15. ![]() | ? |



(Z instead of X would work, too)