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 2 times the sixth. How many different credit card numbers are possible?

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