to answer your first question - if you pick number and the three always cancels out then yes, the statement is sufficient. However, you can also look at this problem algebraically. For something to be divisible that means that the denominator divides evenly into the numerator, thus
(x^4 - y ^4)/3 will be an integer.
noticing the even exponents that are the same you may be able to recognize the common quadratic form and see that (x^4 - y^4) = (x^2 + y^2)(x^2 - y^2) - you can then factor out the second term one more time to get (x64 - y^4) = (x^2 + y^2) (x + y ) (x - y) - this is what we need to check for divisibilty by three.
Statement 1 says x - y is divisible by three - that means that the term in the numerator will cancel out the three and thus the entire equation is divisible by three. Sufficient.
Statement 2 says x + y is divisible by three - this term is also in the numerator and will thus cancel out the three in the denonminator - Sufficient.
Since both are sufficient, the answer is D.
Becky
Master GMAT Instructor
The Princeton Review
Irvine, CA