let mathd-numbertheory-30 = `(33818 EXP 2 + 33819 EXP 2 + 33820 EXP 2 + 33821 EXP 2 + 33822 EXP 2) MOD 17 = 0`;;