Hm... I don't know of any. For precalculus it wouldn't make sense, since the whole point of precalculus is to make sure learners can do the `solve`, `factor`, `expand`, etc. verbs using pen and paper. These are generally useful skills whenever you're manipulating math expressions. It wouldn't make sense to "skip" this part by using SymPy.

For calculus it would make a lot of sense though. You can learn the formulas and general rules so you can do derivative and integrals by hand, but I think we could cut-down significantly on the "integration techniques" topics without any loss. I would love to see a course like that... but I doubt any teacher would be "allowed" to teach it this way, since CALC I and CALC II course curriculum is usually imposed by the university.