Output: [|x-7=0|]