let mathd-numbertheory-229 = `(5 EXP 30) MOD 7 = 1`;;