така кое защо няма нищо общо. При първия вариант ти гърми защото пазиш през цялото време в стак-а тоя predicate, а в втория вариант го съзвадаш и извикваш само в рамките на foreach-a не заема място в stack-a и не ти създава проблем.

Сега защо е така, при първия вариант ти го създаваш и когато стигаш до проверката в foreach-a compilera го търси по референция и тн, А втория път го създаваш и ползваш тои знае къде е защото е в рамките на {  } това е блок код и компилера не търси никъде нищо и памета ти не е запълнена  и тн. Все пак compiler-a минава ред по-ред. И затова judge не ти се сърди.

А иначе в момента с последните промени не съм сигурен,честно казано как да отговоря на 2та част от въпроса ти. Но като цяло func ще свърши същото което и predicate-a той реално func-a e func<int,Predicate> divisible=...

отдавна ги карах тея неща и макар че ги разбирам ми е трудно да ти кажа,кое е по - правилно но реално само predicates никога не ползвам, или си е bool или func action зависи какво ми трябва.