gmatchase wrote:
If x and y are positive integer and xy is divisible by 4, which of the following must be true?
A) If x is even then y is odd.
B) If x is odd then y is a multiple of 4.
C) If x+y is odd then y/x is not an integer.
D) If x+y is even then x/y is an integer.
E) x^y is even.
Please explain with your answer
I'm happy to help with this.

First of all, this is a very challenging GMAT problem --- it really demands a great deal of number sense to answer this efficiently.
The prompt tells us x & y are positive integer (mercifully!) and x*y is divisible by 4. That could happen if either one of them is a multiple of four, or if both of them are even.
(A)
Counter-example: If x = 2, then y could not be odd, because 2*(odd) will never be divisible by four. NOT ALWAYS TRUE.
(B) If x is odd, then there are no factors of 2 in x. There are two factors of 2 in x*y, since x*y is be divisible by 4. If those two factors of 2 don't come from x, they must come from y.
Therefore y MUST BE divisible by four.
(C)
Counter-example: x = 3 and y = 12 --- x + 12 = 15 is odd, but y/x = 12/3 = 4 is an integer. NOT ALWAYS TRUE.
(D)
Counter-example: x = 12 and y = 8 ---- x + y = 20 is even, but x/y = 12/8 = 3/2 is not an integer. NOT ALWAYS TRUE.
(E)
Counter-example: x = 3 and y = 4 ---- x^y = 3^4 = 81 is not even. NOT ALWAYS TRUE.
In every pair in the counter-examples, the numbers were chosen so that x*y is divisible by 4, and any additional condition in that particular choice is met.
This blog is tangentially related -- it may help a bit with number sense:
http://magoosh.com/gmat/2012/gmat-math- ... variables/Does all this make sense?
Mike
_________________
Mike McGarry
Magoosh Test Prep