Tarski's high school algebra problem

That doesn't work either - this one should:

http://news.ycombinator.com/item?id=5337182