changed to: 
def test_N17():
    assert solve((x+y>0, x-y<0)) == (abs(x) < y) # raises NotImplementedError: only univariate inequalities are supported