Чему будет равна переменная sum после выполнения фрагмента программы:

sum:=0;

for i:=7 to 9 do

sum:= sum + i;

Навскидку можно сделать так: вместо самих чисел хранить их разложения на простые множители. Например, вместо N=84= будет массив Na=(2, 1, 0, 1, 0, 0,...). Еще такой же массив отводишь под сами простые числа. После получения разложения N начинается цикл: берем очередное число i и из Na вычитаем его разложение (пробегаемся по простым числам, если i делится, то делим и вычитаем 1 в соотв. элементе массива, пробуем снова). Цикл заканчивается, когда все элементы Na отрицательны или равны 0, это значит, что факториал последнего i содержит все простые числа в степени не меньшей чем N, т.е. i! делится на N.
Проблема в том, что непонятно, каких размеров должен быть массив. Есть ли ограничения на N? Например, если N всегда не больше 10000, то количество простых чисел и сами числа можно константами загнать и т.д. Распиши условия, тогда попробую примерно код написать.

1) МОЛОКО: не в бутылке (по условию задачи); не в стакане, т.к. "стакан стоит между банкой и сосудом с молоком"; не в банке, потому что: "между банкой и сосудом с молоком"; отсюда следует, что МОЛОКО В КУВШИНЕ.
2) ВОДА: не в кувшине (там молоко), не в бутылке (по условию задачи), не в банке (по условию задачи); получается, что ВОДА В СТАКАНЕ.
3) ЛИМОНАД: не кувшине (там молоко); не в стакане (там вода); не в кувшине, т.к. "сосуд с лимонадом стоит между кувшином и.."; получается, что ЛИМОНАД В БУТЫЛКЕ.
4) КВАС В БАНКЕ.
ответ: в бутылке лимонад, в стакане вода, в кувшине молоко, в банке квас.