Symbolic Reasoning Math Problems