Question

Difficulty: MediumNumber Properties and Integer Constraints in Data Sufficiency

If aa and bb are positive integers, is a2ba^2b divisible by 1212?

(1) ab2ab^2 is divisible by 1818.
(2) a3ba^3b is divisible by 7272.

  1. A
    Statement (1) ALONE is sufficient, but statement (2) alone is not sufficient.
  2. Statement (2) ALONE is sufficient, but statement (1) alone is not sufficient.Answer
  3. C
    BOTH statements TOGETHER are sufficient, but NEITHER statement ALONE is sufficient.
  4. D
    EACH statement ALONE is sufficient.
  5. E
    Statements (1) and (2) TOGETHER are NOT sufficient.

Answer

Statement (2) ALONE is sufficient, but statement (1) alone is not sufficient.
Statement (2) alone guarantees that a3ba^3b contains at least three factors of 22 and two factors of 33. Analyzing the exponent bounds for non-negative integers proves that a2ba^2b must contain at least two factors of 22 and one factor of 33, ensuring a2ba^2b is divisible by 1212. Statement (1) alone is insufficient because a=3,b=6a=3, b=6 makes ab2=108ab^2=108 (divisible by 1818) but a2b=54a^2b=54 (not divisible by 1212). Thus, Statement (2) ALONE is sufficient.

Step-by-Step Solution

1
Rephrase the target question in terms of prime factorization
For a2ba^2b to be divisible by 12=22×3112 = 2^2 \times 3^1, we need 2v2(a)+v2(b)22 v_2(a) + v_2(b) \ge 2 and 2v3(a)+v3(b)12 v_3(a) + v_3(b) \ge 1, where vp(n)v_p(n) is the exponent of prime pp in the prime factorization of nn.
Decomposing divisibility into prime factor exponent inequalities allows definitive evaluation of sufficiency.
2
Evaluate Statement (1): ab2ab^2 is divisible by 18=21×3218 = 2^1 \times 3^2
This gives v2(a)+2v2(b)1v_2(a) + 2 v_2(b) \ge 1 and v3(a)+2v3(b)2v_3(a) + 2 v_3(b) \ge 2. Test counterexample a=3,b=6a=3, b=6: ab2=3×36=108ab^2 = 3 \times 36 = 108 (divisible by 18), but a2b=9×6=54a^2b = 9 \times 6 = 54, which is not divisible by 12.
A single valid counterexample proves Statement (1) is NOT sufficient.
3
Evaluate Statement (2): a3ba^3b is divisible by 72=23×3272 = 2^3 \times 3^2
This gives 3v2(a)+v2(b)33 v_2(a) + v_2(b) \ge 3 and 3v3(a)+v3(b)23 v_3(a) + v_3(b) \ge 2. If v2(a)=0v_2(a) = 0, then v2(b)3    2v2(a)+v2(b)32v_2(b) \ge 3 \implies 2 v_2(a) + v_2(b) \ge 3 \ge 2. If v2(a)1v_2(a) \ge 1, then 2v2(a)+v2(b)2(1)+0=22 v_2(a) + v_2(b) \ge 2(1) + 0 = 2. Similarly for prime 3: if v3(a)=0v_3(a) = 0, v3(b)2    2v3(a)+v3(b)21v_3(b) \ge 2 \implies 2 v_3(a) + v_3(b) \ge 2 \ge 1; if v3(a)1v_3(a) \ge 1, 2v3(a)+v3(b)212 v_3(a) + v_3(b) \ge 2 \ge 1. Thus a2ba^2b is always divisible by 12.
Statement (2) strictly guarantees that the prime factor counts for 2 and 3 in a2ba^2b meet or exceed the required thresholds, yielding a definitive 'Yes'.

Key Concept

Divisibility analysis using prime factor exponent inequalities in Data Sufficiency.
Rate this question