let mathd-numbertheory-155 = `CARD {x:num | x <= 1000-1 /\ x >= 100 /\ x MOD 19 = 7} = 52`;;