In[]:=
A=14
6
(-1+x)
4
(1+x)
20
c
+128
4
(1+x)
8
c
6
a
6
b
-
4
(-1+
2
x
)
16
c
2
a
(5
2
a
-24
2
b
)+24
2
(-1+x)
4
(1+x)
12
c
4
a
2
b
(
2
a
-6
2
b
)-32(-1+x)
4
(1+x)
10
c
4
a
4
b
(3
2
a
+2
2
b
)-4
5
(-1+x)
4
(1+x)
18
c
(8
2
a
+9
2
b
)-4
3
(-1+x)
4
(1+x)
14
c
2
a
(
4
a
-24
2
a
2
b
-24
4
b
)
Out[]=
128
6
a
6
b
8
c
4
(1+x)
-32
4
a
4
b
(3
2
a
+2
2
b
)
10
c
(-1+x)
4
(1+x)
+24
4
a
2
b
(
2
a
-6
2
b
)
12
c
2
(-1+x)
4
(1+x)
-4
2
a
(
4
a
-24
2
a
2
b
-24
4
b
)
14
c
3
(-1+x)
4
(1+x)
-4(8
2
a
+9
2
b
)
18
c
5
(-1+x)
4
(1+x)
+14
20
c
6
(-1+x)
4
(1+x)
-
2
a
(5
2
a
-24
2
b
)
16
c
4
(-1+
2
x
)
In[]:=
FunctionSign[{A,a>0&&1>x>-1&&b>0&&c>0},{a,b,c,x}]
Out[]=
1