let mathd-numbertheory-236 = `(1999 EXP 2000) MOD 5 = 1`;;