## Halting problem reduction

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.