let mathd-algebra-119 = `!d:real e:real.
    (&2 * d = &17 * e - &8) /\
    (&2 * e = d - &9)
==>
    e = &2
`;;