The rule of the game: one example is never enough to prove 'always', but a single non-example is enough to destroy it. So 'always true' claims need algebra, while 'sometimes true' claims need a matching pair.
(i) The sum of two even numbers is a multiple of 3 — SOMETIMES TRUE.
Examples: 2 + 4 = 6 ✓ and 4 + 8 = 12 ✓ are multiples of 3.
Non-examples: 2 + 6 = 8 ✗ and 6 + 8 = 14 ✗ are not.
Algebraically the sum is 2a + 2b = 2(a + b), which is guaranteed even but says nothing about divisibility by 3, since 3 does not divide 2 and may or may not divide (a + b).
(ii) Not divisible by 18 ⇒ not divisible by 9 — SOMETIMES TRUE.
Example where it holds: 30 is divisible by neither 18 nor 9 ✓
Non-example: 27 is not divisible by 18, yet it is divisible by 9 ✗
The reasoning: 18 = 2 × 9, so a multiple of 18 must be a multiple of 9, but the converse fails for odd multiples of 9 like 9, 27, 45, 63.
(iii) Two numbers not divisible by 6 ⇒ their sum not divisible by 6 — SOMETIMES TRUE.
Example where it holds: 9 and 11 are not divisible by 6, and neither is 20 ✓
Non-example: 8 and 10 are not divisible by 6, but 8 + 10 = 18 is ✗
The reason is that the remainders can add up to 6: 8 leaves 2 and 10 leaves 4, and 2 + 4 = 6.
(iv) Multiple of 6 + multiple of 9 is a multiple of 3 — ALWAYS TRUE.
Let the numbers be 6x and 9y.
6x + 9y = 3(2x + 3y)
Since the sum is 3 times a whole number, it is a multiple of 3 for every choice of x and y. This works because 3 divides both 6 and 9, so it divides any combination of them.
(v) Multiple of 6 + multiple of 3 is a multiple of 9 — SOMETIMES TRUE.
Example: 18 + 9 = 27 ✓ is a multiple of 9.
Non-example: 12 + 9 = 21 ✗ is not.
Algebraically 6x + 3y = 3(2x + y), which guarantees a multiple of 3 but only gives a multiple of 9 when (2x + y) happens to be a multiple of 3.
✦ (i) Sometimes true. (ii) Sometimes true. (iii) Sometimes true. (iv) Always true, since 6x + 9y = 3(2x + 3y). (v) Sometimes true.