let mathd-numbertheory-85 = `1 * 3 EXP 3 + 2 * 3 EXP 2 + 2*3 + 2 = 53`;;