> > (- (* 5 a) (* 2 a))
> The CAS would answer with:
> (* 2 a)
Not sure I'd want to use such a CAS. Hint: 5-2 != 2. ;-)