You also don't have to use `reduce_inequalities()` directly, `solve()` knows about this function:
```
In [4]: solve(x**4 - x + 1 > 0, x, assume=Q.real(x))
Out[4]: True

In [5]: solve(x**4 - x + 1 > 1, x, assume=Q.real(x))
Out[5]: 1 < x ∨ x < 0
```
Always try to figure out minimal code that does the job. Unfortunately, task N2 isn't about solving but answering a yes/no/unknown (`is` stands for this). In SymPy the closest thing I could figure out is this: `ask(Q.is_true(x**4 - x + 1 > 0))`. It gives `None` in both cases, so it doesn't work.