Question 38944
(5*rad(6) - 1) / 5
can only be partially simplified into
(5*rad(6)) / 5 - 1/5 =
rad(6) - 1/5