Even without complete decidability, a good CAS implementation can give you "yes/no/not sure" answers that are more than "good enough" for practical use.