Output: [|x-10=0|]