let mathd-numbertheory-252 = `(FACT 7) MOD 23 = 3`;;