let mathd-algebra-427 = `!x:real y:real z:real.
    (&3 * x + y = &17) /\
    (&5 * y + z = &14) /\
    (&3 * x + &5 * z = &41)
==>
    x + y + z = &12
`;;