let mathd-algebra-327 = `!a:real.
    (&1 / &5 * abs (&9 + &2 * a) < &1)
==>
    -- &7 < a /\ a < -- &2
`;;