Arithmetic with variables