In[]:=
FindInstance-2*a1x+10*
-1
(a1x+a1y-10)
0&&-2*a1y+10*
-1
(a1x+a1y-10)
==0&&0.9*(-2*a2x*(1-ix/40)+10*
-1
(a2x+a2y-10)
)==0&&0.9*(-2*a2y*(1-ix/40)+10*
-1
(a2x+a2y-10)
)==0&&-0.5+0.9*
2
a2x
40+
2
a2y
40==0&&ix>=0&&iy>=0&&ix≤24&&iy≤24,{a1x,a1y,a2x,a2y,ix,iy}
Out[]=
{}
In[]:=
FindInstance[16x^4-40ax^3+(15a^2+24b)x^2-18abx+3b^20&&5ax-4x^2-b>0&&15ax-20x^2-3b<0&&4x^3-8cx^2+5acx-cb<0&&a<0&&x<0&&c<0,{x,a,b,c}]
Out[]=
x-1,a-2,b
1
3
(6+4
3
),c-1