let mathd-numbertheory-48 = `!b:num.
    (0 < b) /\
    (3 * b EXP 2 + 2 * b + 1 = 57)
==>
    (b = 4)
`;;