Evaluating Limits in Calculus with Substitution