Я могу решить системы многовариантных линейных равенств, например:
print(linsolve([x+y - 3*a, x-y - a], x,y))
показывает, что решение x = 2 * a, y = a.
Есть лиспособ решить аналогичное неравенство, то есть что-то вроде:
linsolve_inequality([x+y - 3*a, x-y - a], x,y)
должно показать, что x> 2 * a?