x=2z, y-1=2(z-v), x=(x-y)v+z, x+y+z<100, v>0

• Natural Language
• Math Input