traducir a lenguaje simbolico y resolver : la tercera parte de quince , disminuida en dos.