let mathd-numbertheory-198 = `(5 EXP 2005) MOD 100 = 25`;;