let mathd-algebra-109 = `!a:real b:real.
    (&3 * a + &2 * b = &12) /\
    (a = &4)
==>
    b = &0
`;;