(solve (= (+ x x) 2) nil) works