Models Are Getting Dumber on Tarski's High School Algebra Problem

So far all the comments discuss whether this is due to LLM slop, plagiarism avoidance, or translation issues. I want to run it locally.