[math-fun] Mental factoring