Output: [|x+9=0|]