GSM-Symbolic: Analyzing LLM Limitations in Mathematical Reasoning and Potential Solutions