Let $z$ be a complex number. If the equation \[x^3 + (4-i)x^2 + (2+5i)x = z\] has two roots that form a conjugate pair, find the absolute value of the real part of $z$.

Let's think step by step and output the final answer within \boxed{}.
user