MathDB
MMO 338 Moscow MO 1956 11 trucks of 1.5 tons may carry 13.5 tons

Source:

August 19, 2019
algebracombinatorics

Problem Statement

* A shipment of 13.513.5 tons is packed in a number of weightless containers. Each loaded container weighs not more than 350350 kg. Prove that 1111 trucks each of which is capable of carrying · 1.51.5 ton can carry this load.