let mathd-numbertheory-739 = `(FACT 9) MOD 10 = 0`;;