let mathd-numbertheory-92 = `!n:num.
    ((5 * n) MOD 17 = 8)
==>
    (n MOD 17 = 5)
`;;