Symbolic Problem Solving Examples