IMHO I don't see another alternative to match the above assertion.
Example:
```
In [0]: reduce_inequalities(S(0) <= x + Integral(y**2, (y, 1, 3)) - 1, True, [x])

Out[0]:
  3              
  ⌠              
  ⎮  2           
- ⎮ y  dy + 1 ≤ x
  ⌡              
  1              
In [1]: -Integral(y**2, (y, 1, 3)) + 1 <= x

Out[1]:
  3              
  ⌠              
  ⎮  2           
- ⎮ y  dy + 1 ≤ x
  ⌡              
  1              
In [2]: reduce_inequalities(S(0) <= x + Integral(y**2, (y, 1, 3)) - 1, True, [x]) == \
...         -Integral(y**2, (y, 1, 3)) + 1 <= x

Out[2]: False
In [3]: str(reduce_inequalities(S(0) <= x + Integral(y**2, (y, 1, 3)) - 1, True, [x])) == \
...         '-Integral(y**2, (y, 1, 3)) + 1 <= x'
Out[3]: True
```
And ```fgrep -R 'assert str(' sympy/|wc -l``` gives me 675 as output. Feeling no guilty on above usage. Are you?