Final answer:
Six men take 25 hours to dig 5 holes. 10 men would take 15 hours to dig the same number of holes due to the increased combined work rate.
Step-by-step explanation:
To find out how long it takes 10 men to dig 5 holes, we can use the concept of inverse variation. Inverse variation is a relationship where one variable increases while the other variable decreases, and it can be represented by the equation y = k/x, where y and x are the two variables and k is a constant.
In this case, we can set up the equation:
6 men * 25 hours = 10 men * x hours,
where x is the unknown number of hours it takes for 10 men to dig 5 holes.
Simplifying the equation, we have:
150 men-hours = 10 men * x hours.
Dividing both sides of the equation by 10 men, we get
x = 150 men-hours ÷ 10 men
= 15 hours.
Therefore, it would take 10 men 15 hours to dig 5 holes.