Reta numérica e sentenças de subtração