let mathd-algebra-129 = `!a:real.
    ~(a = &0) /\
    ((&1 / &8) / (&1 / &4) - (&1 / a) = &1)
==>
    a = -- &2
`;;