Известно, что |x| = |y|. Верно ли, что x = y?

Нет. Равенство модулей означает, что \(x=y\) или \(x=-y\). Например, \(|2|=|-2|\), но \(2\ne-2\).