Arithmetic reasoning