let mathd-algebra-267 = `!x:real.
    ~(x = &1) /\
    ~(x = -- &2) /\
    ((x + &1) / (x - &1) = (x - &2) / (x + &2))
==>
    (x = &0)
`;;