Похоже, это упражнение в приоритете оператора.Когда приоритет учтен, оператор 3 * y / 4 < 8 && y >= 4
эквивалентен
(((3 * y) / 4) < 8) && (y >= 4)
Подставляя переменные, мы имеем
(((3 * 5) / 4) < 8 && (5 >= 4)
После выполнения математики мы получаем
(3 < 8) && (5 >= 4)
3 действительно меньше 8, а 5 действительно больше или равно 4, поэтому обе стороны логического значения and
имеют значение true, а все выражение оценивается как true.