Hi,
I would like some help in order to prove that the problem below is undecidable with a reduction from Halting Problem and without the usage of Rice’s theorem.

\{x \, \mid \, \forall \, y \,, \phi_x (y) = 3y+1 \}

where \phi_x (y) is a partial function.