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

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

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 #2994