let mathd-numbertheory-169 = `gcd ((FACT 20), 200000) = 40000`;;