@Mk Utkarsh, $P2$ is trivial property.

That's why it is decidable. Every TM will satisfy this property.

See informally how I understand it -

Suppose $<M_1>,<M_2>,<M_3>.........$ these are the descriptions of TMs. Now when I pick each description one by one and check $L(M_i), where \ i=1,2,3.....$, I find that each $L(M_i)$ is a $R.E$ set so each $<M_i>$ will satisfy our required property hence its a trivial property of $T.Ms.$

@Shobhit Joshi @Hemanth_13 Can you please verify it once?