Output: [|x-5=0|]