ProofOfThought: LLM-based reasoning using Z3 theorem proving