let mathd-numbertheory-222 = `!b:num.
    (lcm (120, b) = 3720) /\
    (gcd (120, b) = 8)
==>
    (b = 248)
`;;