let mathd-algebra-338 = `!a:real b:real c:real.
    (&3 * a + b + c = -- &3) /\
    (a + &3 * b + c = &9) /\
    (a + b + &3 * c = &19)
==>
    (a * b * c = -- &56)
`;;