```
>>> solve(abs(x)-y,x)
[-y, y]
```