Diophantine equations for polynomial recursive sequences | Synapse