let mathd-numbertheory-175 = `(2 EXP 2010) MOD 10 = 4`;;