Simplify Inequality (x = y + 3, x < 10, solve for y)

Ideas
, ,
1

How do I get Wolfram Alpha to simplify the following inequality:
“x = y + 3, x < 10, solve y.”
The result I would like to receive is:
“y < 7.”

Please advise?

matekus

2

Hi matekus,

Try something like:
Eliminate x from x == y + 3&&x < 10

2 Likes
3

Excellent Sander.

Thanks again.

matekus