Question 1000829
Not sure what you want but this would be written as
30+5y >= 4x