(solve '(= 1 2) x) now returns #f