Automated Code Review Using Large Language Models with Symbolic Reasoning