let mathd-numbertheory-66 = `194 MOD 11 = 7`;;