Is there an algorithm that decides the solvability of a Diophantine equation with a finite number of solutions? - Apoloniusz Tyszka (2017)