let mathd-algebra-388 = `!x:real y:real z:real.
    (&3 * x + &4 * y - &12 * z = &10) /\
    ((-- &2) * x - &3 * y + &9 * z = -- &4)
==>
    x = &14
`;;