When Do Symbolic Solvers Enhance Reasoning in Large Language Models?