Solving Problems Symbolically