let mathd-numbertheory-136 = `!n:num. (123 * n + 17 = 39500) ==> n = 321`;;