A credit card number has 6 digits (between 1 to 9)

A credit card number has 6 digits (between 1 to 9). The first two digits are 12 in that order, the third digit is bigger than 6, the forth is divisible by 4 and the fifth digit is 3 times the sixth. How many different credit card numbers exist?

This problem repeats another one in the library (at most with different numbers), so it's left out of browsing.

AQuA-RAT — Algebra Question Answering with Rationales (Ling et al., DeepMind, 2017) · train #57845