Tarski's high school algebra problem