Ответ:
За 1 час первый рабочий выполняет \(\frac{1}{12}\) работы, а второй — \(\frac{1}{15}\).
Первый за 7 часов выполнит: \(7 \cdot \frac{1}{12} = \frac{7}{12}\) работы.
Второй за 4 часа выполнит: \(4 \cdot \frac{1}{15} = \frac{4}{15}\) работы.
Вместе рабочие выполнят: \(\frac{7}{12} + \frac{4}{15} = \frac{35}{60} + \frac{16}{60} = \frac{51}{60} = \frac{17}{20}\) работы.
Ответ: останется выполнить \(1 - \frac{17}{20} = \frac{3}{20}\) работы.
