a+7b = (a+b) + 6b

если верно утверждение 3, то выражение из утверждения 4 делится на 3 и не может быть простым числом. Следовательно ложное одно из выражений 3 или 4.

Тогда и 1 и 2 верные. Подставим в первое выражение второе:

a+1 = (2b+5) +1 = 2b+6

Если оно делится на b, то на b должно делиться 6.

Следовательно

и из второго утверждения получаем пары:

Из этих пар ни для одной не выполняется утверждение 3, а следовательно будем считать именно его ложным.

четвертое утверждение неверно для первой и третьей пар и выполняется для второй и четвертой.

Ответ: (9,2) и (17,6)