hola agustín,
antes de ver tu pregunta, observa que el subprograma esMultiplo que programaste tiene varios problemas:
* se pide que el subprograma sea una función, pero tú escribiste un procedimiento,
* violas la recomendación de estilo: No hacer entrada y salida dentro de funciones (read, write, etc), como puedes ver en la Guía teórica Funciones y Procedimientos,
* el análisis de casos es incorrecto: estoy seguro que si invocas esMultiplo (2,4) se escribirá en pantalla 'No', en vez de devolver True.
yendo a tu pregunta, observa que tu única lectura está en la línea 37, y ahí lees dos enteros. por lo tanto, tu programa siempre lee una cantidad par
de números, pero todas las entradas tienen una cantidad impar de números: "que lea ... parejas de enteros positivos ... terminar con el valor -1". claramente, no puedes leer de a dos enteros. asegúrate de leer una cantidad impar de elementos; quizá te conviene leer de a uno. revisa el esquema de la lectura con centinela de la Guía teórica para Repetición.
trata de avanzar en esos dos problemas diferentes que tiene tu código, la función mal escrita, y la lectura de una cantidad par de entradas (cuando hay que leer una cantidad impar). vuelve a consultar por cualquier duda.
saludos
luis