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.

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

where $\displaystyle \phi_x (y) $ is a partial function.