let mathd-numbertheory-99 = `!n:num. ((2 * n) MOD 47 = 15) ==> n MOD 47 = 31`;;