不等方程式带有未知数相关的参数进行取整代入运算如何实现

使用python sympy无法解诸如x*int（20/x）>0的不等式，求大佬帮助