Output: [|x-998=0|]