Bunuel
If x and y are positive integers, what is the remainder when 5^x is divided by y?
(1) x is an even integer.
(2) y = 3.
Kudos for a correct solution. MANHATTAN GMAT OFFICIAL SOLUTION:(1) INSUFFICIENT: 5^(even integer means) that 5^x = 25, 625, 15,625, etc. All of these numbers end in 25. If y = 5, then the remainder equals 0. If y = 4, then the remainder is 1. Therefore we cannot determine the answer just by knowing this pattern of x.
(2) INSUFFICIENT: Let's test some different values for x:

The pattern is clear: when 5 is raised to an odd power, the remainder is 1, but when 5 is raised to an even power, the remainder is 2. However, with only Statement 2, we don't know whether x is even or odd.
Combining the two statements, we know the pattern for the remainder when 5^x is divided by 3, and we know which term in that pattern applies. When 5^(even integer) is divided by 3, the remainder is always 1.
Proving this theoretically is not trivial, but we don't need to do a theoretical proof.
The correct answer is (C): BOTH statements TOGETHER are sufficient, but NEITHER statement ALONE is sufficient.Attachment:
2015-06-22_1705.png [ 16.06 KiB | Viewed 5024 times ]