Does anybody know of any websites that contain lots of exercises and corresponding solutions with regard to symbolic questions?