Ответ:

Программа печатает «ДА», если выполняется условие s ≥ 2 · k.

  1. (1, 2): 1 ≥ 4 — нет.
  2. (8, 4): 8 ≥ 8 — да.
  3. (6, −12): 6 ≥ −24 — да.
  4. (−5, −5): −5 ≥ −10 — да.
  5. (3, 11): 3 ≥ 22 — нет.
  6. (−10, 12): −10 ≥ 24 — нет.
  7. (−10, −2): −10 ≥ −4 — нет.
  8. (4, 1): 4 ≥ 2 — да.
  9. (2, 5): 2 ≥ 10 — нет.

Ответ: 4 запуска.