let mathd-numbertheory-247 = `!n:num. ((3 * n) MOD 2 = 11) ==> n MOD 11 = 8`;;