Imagino q se podrá hacer con un sistema de ecuaciones, pero no tengo mucho tiempo, mi cerebro no responde, y encima no me acuerdo bien de esos lios (toy tb de exanmenes).
Allá va:
Abel pesa 100Kg.
Benito pesa 86Kg.
Carlos pesa 75Kg.
Daríol pesa 92Kg.
Y al explicación:
Tenemos las siguientes restrcciones/pistas/ecuaciones:
A: 4*a > 380
B: 5*c <= 380
C: b=a-14
D: b=d-6
E: d=c+17
F: a MOD 5 = 0
G: c MOD 5 = 0
Lo he hecho empezando por c (Carlos), he buscado el primer múltiplo de 5 (condición G), que cumpla A, y he encontrado 75 (5*75=375<=280), he empezado a sacar los valores de d (con E sale 92), de b (con D sale 86) y de a (con C sale 100); he comprobado que se cumpa A (4*100=400>380), que 100 sea múltiplo de 5 (lo es) y fin. Un método comúnmente llamado "lacuentadelavieja", pero yo lo llamo "regresión ecuacional de factores".