Nevím jak moc "chytré" bude moje řešení, ale zkusím:
Vyrobit seznam všech prvočísel do 1000 (ať už sítem nebo jakkoliv jinak, třeba zkoumáním, zda jsou čísla 1-1000 dělitelná něčím jiným než 1 a sebou samým...)
Pak pro každé sudé číslo 2-1000 zjistit, jestli některý z rozdílů toho čísla a jednotlivých prvočísel do poloviny jeho velikosti je taky mezi prvočísly (vyhledávání v prvočíslech například půlením intervalu). Jestli u některého ze sudých čísel ani jedno ze zkoumaných prvočísel nesplnilo tento předpoklad, zkoumané číslo nelze sečíst ze dvou prvočísel a tvrzení neplatí.