Output: [|x-2=0|]