For any positive integer , define to be the set of ordered pairs with and such that is divisible by 12. For any nonnegative integer , let denote the number of for which . Find
Problem 863
Official solution
Modulo twelve, the first set turns out to be and the second set turns out to be be . We can eliminate the factor of 7 and shift to reduce the problem to and . With this we can easily compute . Therefore, the answer is 26.