let mathd-numbertheory-34 = `!x:num.
    (x < 100) /\
    ((x * 9) MOD 100 = 1)
==>
    x = 89
`;;