Tarski's high school algebra problem | Hacker News Reader