Aqui em Python
# Demonstra que todo número par é a soma de dois números primos
#
#
def eh_prim(numero):
  for i in range(2,int(numero/2)+1):
    if numero % i == 0 :
      return False 
  return True
   
conjectura_falhou = True

for i in range(700,1100+1,2):
    for j in range(2,int(i/2)+1):
      deu_certo = (eh_prim(j) and eh_prim(i-j))
      if deu_certo:
         print("O número ",i," pode ser a soma de ",j," e ",i-j)
      conjectura_falhou = conjectura_falhou and deu_certo
    if conjectura_falhou:
       print("A conjectura falhou para ",i)