:: QUIN_1 semantic presentation

REAL is V16() V17() V18() V22() set
NAT is V16() V17() V18() V19() V20() V21() V22() M2(K6(REAL))
K6(REAL) is set
COMPLEX is V16() V22() set
0 is natural complex ext-real real V16() V17() V18() V19() V20() V21() M3( REAL , NAT )
1 is non zero natural complex ext-real positive real V16() V17() V18() V19() V20() V21() M3( REAL , NAT )
b is complex set
b ^2 is complex set
b * b is complex set
4 is non zero natural complex ext-real positive real V16() V17() V18() V19() V20() V21() M3( REAL , NAT )
a is complex set
4 * a is complex set
c is complex set
(4 * a) * c is complex set
(b ^2) - ((4 * a) * c) is complex set
a is complex set
b is complex set
c is complex set
(a,b,c) is set
b ^2 is complex set
b * b is complex set
4 * a is complex set
(4 * a) * c is complex set
(b ^2) - ((4 * a) * c) is complex set

(a,b,c) is complex set

(4 * a) * c is complex ext-real real set
(b ^2) - ((4 * a) * c) is complex ext-real real set

(a,b,c) is complex ext-real real set

(4 * a) * c is complex ext-real real set
(b ^2) - ((4 * a) * c) is complex ext-real real set
2 is non zero natural complex ext-real positive real V16() V17() V18() V19() V20() V21() M3( REAL , NAT )
a is complex set
x is complex set
x ^2 is complex set
x * x is complex set
a * (x ^2) is complex set
b is complex set
b * x is complex set
(a * (x ^2)) + (b * x) is complex set
c is complex set
((a * (x ^2)) + (b * x)) + c is complex set
2 * a is complex set
b / (2 * a) is complex set
x + (b / (2 * a)) is complex set
(x + (b / (2 * a))) ^2 is complex set
(x + (b / (2 * a))) * (x + (b / (2 * a))) is complex set
a * ((x + (b / (2 * a))) ^2) is complex set
(a,b,c) is complex set
b ^2 is complex set
b * b is complex set
4 * a is complex set
(4 * a) * c is complex set
(b ^2) - ((4 * a) * c) is complex set
(a,b,c) / (4 * a) is complex set
(a * ((x + (b / (2 * a))) ^2)) - ((a,b,c) / (4 * a)) is complex set
(b * x) * 1 is complex set
(a * (x ^2)) + ((b * x) * 1) is complex set
((a * (x ^2)) + ((b * x) * 1)) + c is complex set
1 / a is complex set
a * (1 / a) is complex set
(b * x) * (a * (1 / a)) is complex set
(a * (x ^2)) + ((b * x) * (a * (1 / a))) is complex set
((a * (x ^2)) + ((b * x) * (a * (1 / a)))) + c is complex set
(b * x) * (1 / a) is complex set
(x ^2) + ((b * x) * (1 / a)) is complex set
a * ((x ^2) + ((b * x) * (1 / a))) is complex set
(a * ((x ^2) + ((b * x) * (1 / a)))) + c is complex set
(b * x) / a is complex set
(x ^2) + ((b * x) / a) is complex set
a * ((x ^2) + ((b * x) / a)) is complex set
(a * ((x ^2) + ((b * x) / a))) + c is complex set
b / a is complex set
x * (b / a) is complex set
(x ^2) + (x * (b / a)) is complex set
a * ((x ^2) + (x * (b / a))) is complex set
(a * ((x ^2) + (x * (b / a)))) + c is complex set
2 * b is complex set
(2 * b) / (2 * a) is complex set
x * ((2 * b) / (2 * a)) is complex set
(x ^2) + (x * ((2 * b) / (2 * a))) is complex set
a * ((x ^2) + (x * ((2 * b) / (2 * a)))) is complex set
(a * ((x ^2) + (x * ((2 * b) / (2 * a))))) + c is complex set
2 * (b / (2 * a)) is complex set
x * (2 * (b / (2 * a))) is complex set
(x ^2) + (x * (2 * (b / (2 * a)))) is complex set
a * ((x ^2) + (x * (2 * (b / (2 * a))))) is complex set
(a * ((x ^2) + (x * (2 * (b / (2 * a)))))) + c is complex set
2 * x is complex set
(2 * x) * (b / (2 * a)) is complex set
(x ^2) + ((2 * x) * (b / (2 * a))) is complex set
a * ((x ^2) + ((2 * x) * (b / (2 * a)))) is complex set
(b ^2) / (4 * a) is complex set
(a * ((x ^2) + ((2 * x) * (b / (2 * a))))) + ((b ^2) / (4 * a)) is complex set
c - ((b ^2) / (4 * a)) is complex set
((a * ((x ^2) + ((2 * x) * (b / (2 * a))))) + ((b ^2) / (4 * a))) + (c - ((b ^2) / (4 * a))) is complex set
((b ^2) / (4 * a)) * (1 / a) is complex set
a * (((b ^2) / (4 * a)) * (1 / a)) is complex set
(a * ((x ^2) + ((2 * x) * (b / (2 * a))))) + (a * (((b ^2) / (4 * a)) * (1 / a))) is complex set
((a * ((x ^2) + ((2 * x) * (b / (2 * a))))) + (a * (((b ^2) / (4 * a)) * (1 / a)))) + (c - ((b ^2) / (4 * a))) is complex set
(b ^2) * 1 is complex set
(4 * a) * a is complex set
((b ^2) * 1) / ((4 * a) * a) is complex set
a * (((b ^2) * 1) / ((4 * a) * a)) is complex set
(a * ((x ^2) + ((2 * x) * (b / (2 * a))))) + (a * (((b ^2) * 1) / ((4 * a) * a))) is complex set
((a * ((x ^2) + ((2 * x) * (b / (2 * a))))) + (a * (((b ^2) * 1) / ((4 * a) * a)))) + (c - ((b ^2) / (4 * a))) is complex set
(2 * a) ^2 is complex set
(2 * a) * (2 * a) is complex set
(b ^2) / ((2 * a) ^2) is complex set
a * ((b ^2) / ((2 * a) ^2)) is complex set
(a * ((x ^2) + ((2 * x) * (b / (2 * a))))) + (a * ((b ^2) / ((2 * a) ^2))) is complex set
((a * ((x ^2) + ((2 * x) * (b / (2 * a))))) + (a * ((b ^2) / ((2 * a) ^2)))) + (c - ((b ^2) / (4 * a))) is complex set
(b / (2 * a)) ^2 is complex set
(b / (2 * a)) * (b / (2 * a)) is complex set
a * ((b / (2 * a)) ^2) is complex set
(a * ((x ^2) + ((2 * x) * (b / (2 * a))))) + (a * ((b / (2 * a)) ^2)) is complex set
((a * ((x ^2) + ((2 * x) * (b / (2 * a))))) + (a * ((b / (2 * a)) ^2))) + (c - ((b ^2) / (4 * a))) is complex set
((b ^2) / (4 * a)) - c is complex set
(a * ((x + (b / (2 * a))) ^2)) - (((b ^2) / (4 * a)) - c) is complex set
((4 * a) * c) / (4 * a) is complex set
((b ^2) / (4 * a)) - (((4 * a) * c) / (4 * a)) is complex set
(a * ((x + (b / (2 * a))) ^2)) - (((b ^2) / (4 * a)) - (((4 * a) * c) / (4 * a))) is complex set
((b ^2) - ((4 * a) * c)) / (4 * a) is complex set
(a * ((x + (b / (2 * a))) ^2)) - (((b ^2) - ((4 * a) * c)) / (4 * a)) is complex set

(a,b,c) is complex ext-real real set

(4 * a) * c is complex ext-real real set
(b ^2) - ((4 * a) * c) is complex ext-real real set

a * (x ^2) is complex ext-real real set

(a * (x ^2)) + (b * x) is complex ext-real real set
((a * (x ^2)) + (b * x)) + c is complex ext-real real set

- (a,b,c) is complex ext-real real set
(- (a,b,c)) / (4 * a) is complex ext-real real set
(a,b,c) / (4 * a) is complex ext-real real set
- ((a,b,c) / (4 * a)) is complex ext-real real set

b / (2 * a) is complex ext-real real set
x + (b / (2 * a)) is complex ext-real real set
(x + (b / (2 * a))) ^2 is complex ext-real real set
(x + (b / (2 * a))) * (x + (b / (2 * a))) is complex ext-real real set
a * ((x + (b / (2 * a))) ^2) is complex ext-real real set
(a * ((x + (b / (2 * a))) ^2)) + 0 is complex ext-real real set
(a * ((x + (b / (2 * a))) ^2)) + (- ((a,b,c) / (4 * a))) is complex ext-real real set
(a * ((x + (b / (2 * a))) ^2)) - ((a,b,c) / (4 * a)) is complex ext-real real set

(a,b,c) is complex ext-real real set

(4 * a) * c is complex ext-real real set
(b ^2) - ((4 * a) * c) is complex ext-real real set

a * (x ^2) is complex ext-real real set

(a * (x ^2)) + (b * x) is complex ext-real real set
((a * (x ^2)) + (b * x)) + c is complex ext-real real set
- (a,b,c) is complex ext-real real set

(- (a,b,c)) / (4 * a) is complex ext-real real set
(a,b,c) / (4 * a) is complex ext-real real set
- ((a,b,c) / (4 * a)) is complex ext-real real set

b / (2 * a) is complex ext-real real set
x + (b / (2 * a)) is complex ext-real real set
(x + (b / (2 * a))) ^2 is complex ext-real real set
(x + (b / (2 * a))) * (x + (b / (2 * a))) is complex ext-real real set
a * ((x + (b / (2 * a))) ^2) is complex ext-real real set
(a * ((x + (b / (2 * a))) ^2)) + (- ((a,b,c) / (4 * a))) is complex ext-real real set
(a * ((x + (b / (2 * a))) ^2)) - ((a,b,c) / (4 * a)) is complex ext-real real set

(a,b,c) is complex ext-real real set

(4 * a) * c is complex ext-real real set
(b ^2) - ((4 * a) * c) is complex ext-real real set

a * (x ^2) is complex ext-real real set

(a * (x ^2)) + (b * x) is complex ext-real real set
((a * (x ^2)) + (b * x)) + c is complex ext-real real set

- (a,b,c) is complex ext-real real set
(- (a,b,c)) / (4 * a) is complex ext-real real set
(a,b,c) / (4 * a) is complex ext-real real set
- ((a,b,c) / (4 * a)) is complex ext-real real set

b / (2 * a) is complex ext-real real set
x + (b / (2 * a)) is complex ext-real real set
(x + (b / (2 * a))) ^2 is complex ext-real real set
(x + (b / (2 * a))) * (x + (b / (2 * a))) is complex ext-real real set
a * ((x + (b / (2 * a))) ^2) is complex ext-real real set
(a * ((x + (b / (2 * a))) ^2)) + (- ((a,b,c) / (4 * a))) is complex ext-real real set
(a * ((x + (b / (2 * a))) ^2)) + 0 is complex ext-real real set
(a * ((x + (b / (2 * a))) ^2)) - ((a,b,c) / (4 * a)) is complex ext-real real set

(a,b,c) is complex ext-real real set

(4 * a) * c is complex ext-real real set
(b ^2) - ((4 * a) * c) is complex ext-real real set

a * (x ^2) is complex ext-real real set

(a * (x ^2)) + (b * x) is complex ext-real real set
((a * (x ^2)) + (b * x)) + c is complex ext-real real set
- (a,b,c) is complex ext-real real set
(- (a,b,c)) / (4 * a) is complex ext-real real set
(a,b,c) / (4 * a) is complex ext-real real set
- ((a,b,c) / (4 * a)) is complex ext-real real set

b / (2 * a) is complex ext-real real set
x + (b / (2 * a)) is complex ext-real real set
(x + (b / (2 * a))) ^2 is complex ext-real real set
(x + (b / (2 * a))) * (x + (b / (2 * a))) is complex ext-real real set
a * ((x + (b / (2 * a))) ^2) is complex ext-real real set
(a * ((x + (b / (2 * a))) ^2)) + 0 is complex ext-real real set
(a * ((x + (b / (2 * a))) ^2)) + (- ((a,b,c) / (4 * a))) is complex ext-real real set
(a * ((x + (b / (2 * a))) ^2)) - ((a,b,c) / (4 * a)) is complex ext-real real set

a * (b ^2) is complex ext-real real set
(2 * a) * b is complex ext-real real set

(a * (b ^2)) + (c * b) is complex ext-real real set
((2 * a) * b) + c is complex ext-real real set
(((2 * a) * b) + c) ^2 is complex ext-real real set
(((2 * a) * b) + c) * (((2 * a) * b) + c) is complex ext-real real set

((a * (b ^2)) + (c * b)) + x is complex ext-real real set
(a,c,x) is complex ext-real real set

(4 * a) * x is complex ext-real real set
(c ^2) - ((4 * a) * x) is complex ext-real real set
((((2 * a) * b) + c) ^2) - (a,c,x) is complex ext-real real set
c / (2 * a) is complex ext-real real set
b + (c / (2 * a)) is complex ext-real real set
(b + (c / (2 * a))) ^2 is complex ext-real real set
(b + (c / (2 * a))) * (b + (c / (2 * a))) is complex ext-real real set
a * ((b + (c / (2 * a))) ^2) is complex ext-real real set
(a,c,x) / (4 * a) is complex ext-real real set
(a * ((b + (c / (2 * a))) ^2)) - ((a,c,x) / (4 * a)) is complex ext-real real set
(4 * a) * ((a * ((b + (c / (2 * a))) ^2)) - ((a,c,x) / (4 * a))) is complex ext-real real set
(2 * a) * (c / (2 * a)) is complex ext-real real set
((2 * a) * b) + ((2 * a) * (c / (2 * a))) is complex ext-real real set
(((2 * a) * b) + ((2 * a) * (c / (2 * a)))) ^2 is complex ext-real real set
(((2 * a) * b) + ((2 * a) * (c / (2 * a)))) * (((2 * a) * b) + ((2 * a) * (c / (2 * a)))) is complex ext-real real set
(4 * a) * ((a,c,x) / (4 * a)) is complex ext-real real set
((((2 * a) * b) + ((2 * a) * (c / (2 * a)))) ^2) - ((4 * a) * ((a,c,x) / (4 * a))) is complex ext-real real set
((((2 * a) * b) + c) ^2) - ((4 * a) * ((a,c,x) / (4 * a))) is complex ext-real real set

a * (b ^2) is complex ext-real real set
(2 * a) * b is complex ext-real real set

(a * (b ^2)) + (c * b) is complex ext-real real set
((2 * a) * b) + c is complex ext-real real set
(((2 * a) * b) + c) ^2 is complex ext-real real set
(((2 * a) * b) + c) * (((2 * a) * b) + c) is complex ext-real real set

((a * (b ^2)) + (c * b)) + x is complex ext-real real set
(a,c,x) is complex ext-real real set

(4 * a) * x is complex ext-real real set
(c ^2) - ((4 * a) * x) is complex ext-real real set
((((2 * a) * b) + c) ^2) - (a,c,x) is complex ext-real real set
c / (2 * a) is complex ext-real real set
b + (c / (2 * a)) is complex ext-real real set
(b + (c / (2 * a))) ^2 is complex ext-real real set
(b + (c / (2 * a))) * (b + (c / (2 * a))) is complex ext-real real set
a * ((b + (c / (2 * a))) ^2) is complex ext-real real set
(a,c,x) / (4 * a) is complex ext-real real set
(a * ((b + (c / (2 * a))) ^2)) - ((a,c,x) / (4 * a)) is complex ext-real real set
(4 * a) * ((a * ((b + (c / (2 * a))) ^2)) - ((a,c,x) / (4 * a))) is complex ext-real real set
(2 * a) * (c / (2 * a)) is complex ext-real real set
((2 * a) * b) + ((2 * a) * (c / (2 * a))) is complex ext-real real set
(((2 * a) * b) + ((2 * a) * (c / (2 * a)))) ^2 is complex ext-real real set
(((2 * a) * b) + ((2 * a) * (c / (2 * a)))) * (((2 * a) * b) + ((2 * a) * (c / (2 * a)))) is complex ext-real real set
(4 * a) * ((a,c,x) / (4 * a)) is complex ext-real real set
((((2 * a) * b) + ((2 * a) * (c / (2 * a)))) ^2) - ((4 * a) * ((a,c,x) / (4 * a))) is complex ext-real real set
((((2 * a) * b) + c) ^2) - ((4 * a) * ((a,c,x) / (4 * a))) is complex ext-real real set

a * (b ^2) is complex ext-real real set
(2 * a) * b is complex ext-real real set

(a * (b ^2)) + (c * b) is complex ext-real real set
((2 * a) * b) + c is complex ext-real real set
(((2 * a) * b) + c) ^2 is complex ext-real real set
(((2 * a) * b) + c) * (((2 * a) * b) + c) is complex ext-real real set

((a * (b ^2)) + (c * b)) + x is complex ext-real real set
(a,c,x) is complex ext-real real set

(4 * a) * x is complex ext-real real set
(c ^2) - ((4 * a) * x) is complex ext-real real set
((((2 * a) * b) + c) ^2) - (a,c,x) is complex ext-real real set
c / (2 * a) is complex ext-real real set
b + (c / (2 * a)) is complex ext-real real set
(b + (c / (2 * a))) ^2 is complex ext-real real set
(b + (c / (2 * a))) * (b + (c / (2 * a))) is complex ext-real real set
a * ((b + (c / (2 * a))) ^2) is complex ext-real real set
(a,c,x) / (4 * a) is complex ext-real real set
(a * ((b + (c / (2 * a))) ^2)) - ((a,c,x) / (4 * a)) is complex ext-real real set
(4 * a) * ((a * ((b + (c / (2 * a))) ^2)) - ((a,c,x) / (4 * a))) is complex ext-real real set
(2 * a) * (c / (2 * a)) is complex ext-real real set
((2 * a) * b) + ((2 * a) * (c / (2 * a))) is complex ext-real real set
(((2 * a) * b) + ((2 * a) * (c / (2 * a)))) ^2 is complex ext-real real set
(((2 * a) * b) + ((2 * a) * (c / (2 * a)))) * (((2 * a) * b) + ((2 * a) * (c / (2 * a)))) is complex ext-real real set
(4 * a) * ((a,c,x) / (4 * a)) is complex ext-real real set
((((2 * a) * b) + ((2 * a) * (c / (2 * a)))) ^2) - ((4 * a) * ((a,c,x) / (4 * a))) is complex ext-real real set
((((2 * a) * b) + c) ^2) - ((4 * a) * ((a,c,x) / (4 * a))) is complex ext-real real set

a * (b ^2) is complex ext-real real set
(2 * a) * b is complex ext-real real set

(a * (b ^2)) + (c * b) is complex ext-real real set
((2 * a) * b) + c is complex ext-real real set
(((2 * a) * b) + c) ^2 is complex ext-real real set
(((2 * a) * b) + c) * (((2 * a) * b) + c) is complex ext-real real set

((a * (b ^2)) + (c * b)) + x is complex ext-real real set
(a,c,x) is complex ext-real real set

(4 * a) * x is complex ext-real real set
(c ^2) - ((4 * a) * x) is complex ext-real real set
((((2 * a) * b) + c) ^2) - (a,c,x) is complex ext-real real set
c / (2 * a) is complex ext-real real set
b + (c / (2 * a)) is complex ext-real real set
(b + (c / (2 * a))) ^2 is complex ext-real real set
(b + (c / (2 * a))) * (b + (c / (2 * a))) is complex ext-real real set
a * ((b + (c / (2 * a))) ^2) is complex ext-real real set
(a,c,x) / (4 * a) is complex ext-real real set
(a * ((b + (c / (2 * a))) ^2)) - ((a,c,x) / (4 * a)) is complex ext-real real set
(4 * a) * ((a * ((b + (c / (2 * a))) ^2)) - ((a,c,x) / (4 * a))) is complex ext-real real set
(2 * a) * (c / (2 * a)) is complex ext-real real set
((2 * a) * b) + ((2 * a) * (c / (2 * a))) is complex ext-real real set
(((2 * a) * b) + ((2 * a) * (c / (2 * a)))) ^2 is complex ext-real real set
(((2 * a) * b) + ((2 * a) * (c / (2 * a)))) * (((2 * a) * b) + ((2 * a) * (c / (2 * a)))) is complex ext-real real set
(4 * a) * ((a,c,x) / (4 * a)) is complex ext-real real set
((((2 * a) * b) + ((2 * a) * (c / (2 * a)))) ^2) - ((4 * a) * ((a,c,x) / (4 * a))) is complex ext-real real set
((((2 * a) * b) + c) ^2) - ((4 * a) * ((a,c,x) / (4 * a))) is complex ext-real real set

(a,b,c) is complex ext-real real set

(4 * a) * c is complex ext-real real set
(b ^2) - ((4 * a) * c) is complex ext-real real set

b / (2 * a) is complex ext-real real set
- (b / (2 * a)) is complex ext-real real set
(- (b / (2 * a))) ^2 is complex ext-real real set
(- (b / (2 * a))) * (- (b / (2 * a))) is complex ext-real real set
a * ((- (b / (2 * a))) ^2) is complex ext-real real set
b * (- (b / (2 * a))) is complex ext-real real set
(a * ((- (b / (2 * a))) ^2)) + (b * (- (b / (2 * a)))) is complex ext-real real set
((a * ((- (b / (2 * a))) ^2)) + (b * (- (b / (2 * a))))) + c is complex ext-real real set
(2 * a) * (- (b / (2 * a))) is complex ext-real real set
((2 * a) * (- (b / (2 * a)))) + b is complex ext-real real set
(((2 * a) * (- (b / (2 * a)))) + b) ^2 is complex ext-real real set
(((2 * a) * (- (b / (2 * a)))) + b) * (((2 * a) * (- (b / (2 * a)))) + b) is complex ext-real real set
((((2 * a) * (- (b / (2 * a)))) + b) ^2) - (a,b,c) is complex ext-real real set
(2 * a) * (b / (2 * a)) is complex ext-real real set
- ((2 * a) * (b / (2 * a))) is complex ext-real real set
(- ((2 * a) * (b / (2 * a)))) + b is complex ext-real real set
((- ((2 * a) * (b / (2 * a)))) + b) ^2 is complex ext-real real set
((- ((2 * a) * (b / (2 * a)))) + b) * ((- ((2 * a) * (b / (2 * a)))) + b) is complex ext-real real set
(((- ((2 * a) * (b / (2 * a)))) + b) ^2) - (a,b,c) is complex ext-real real set

(- b) + b is complex ext-real real set
((- b) + b) ^2 is complex ext-real real set
((- b) + b) * ((- b) + b) is complex ext-real real set
(((- b) + b) ^2) - (a,b,c) is complex ext-real real set

- (a,b,c) is complex ext-real real set

(a,b,c) is complex ext-real real set

(4 * a) * c is complex ext-real real set
(b ^2) - ((4 * a) * c) is complex ext-real real set

b / (2 * a) is complex ext-real real set
- (b / (2 * a)) is complex ext-real real set
(- (b / (2 * a))) ^2 is complex ext-real real set
(- (b / (2 * a))) * (- (b / (2 * a))) is complex ext-real real set
a * ((- (b / (2 * a))) ^2) is complex ext-real real set
b * (- (b / (2 * a))) is complex ext-real real set
(a * ((- (b / (2 * a))) ^2)) + (b * (- (b / (2 * a)))) is complex ext-real real set
((a * ((- (b / (2 * a))) ^2)) + (b * (- (b / (2 * a))))) + c is complex ext-real real set
(2 * a) * (- (b / (2 * a))) is complex ext-real real set
((2 * a) * (- (b / (2 * a)))) + b is complex ext-real real set
(((2 * a) * (- (b / (2 * a)))) + b) ^2 is complex ext-real real set
(((2 * a) * (- (b / (2 * a)))) + b) * (((2 * a) * (- (b / (2 * a)))) + b) is complex ext-real real set
((((2 * a) * (- (b / (2 * a)))) + b) ^2) - (a,b,c) is complex ext-real real set
(2 * a) * (b / (2 * a)) is complex ext-real real set
- ((2 * a) * (b / (2 * a))) is complex ext-real real set
(- ((2 * a) * (b / (2 * a)))) + b is complex ext-real real set
((- ((2 * a) * (b / (2 * a)))) + b) ^2 is complex ext-real real set
((- ((2 * a) * (b / (2 * a)))) + b) * ((- ((2 * a) * (b / (2 * a)))) + b) is complex ext-real real set
(((- ((2 * a) * (b / (2 * a)))) + b) ^2) - (a,b,c) is complex ext-real real set

(- b) + b is complex ext-real real set
((- b) + b) ^2 is complex ext-real real set
((- b) + b) * ((- b) + b) is complex ext-real real set
(((- b) + b) ^2) - (a,b,c) is complex ext-real real set

- (a,b,c) is complex ext-real real set

(a,b,c) is complex ext-real real set

(4 * a) * c is complex ext-real real set
(b ^2) - ((4 * a) * c) is complex ext-real real set

b / (2 * a) is complex ext-real real set
- (b / (2 * a)) is complex ext-real real set
(- (b / (2 * a))) ^2 is complex ext-real real set
(- (b / (2 * a))) * (- (b / (2 * a))) is complex ext-real real set
a * ((- (b / (2 * a))) ^2) is complex ext-real real set
b * (- (b / (2 * a))) is complex ext-real real set
(a * ((- (b / (2 * a))) ^2)) + (b * (- (b / (2 * a)))) is complex ext-real real set
((a * ((- (b / (2 * a))) ^2)) + (b * (- (b / (2 * a))))) + c is complex ext-real real set
(2 * a) * (- (b / (2 * a))) is complex ext-real real set
((2 * a) * (- (b / (2 * a)))) + b is complex ext-real real set
(((2 * a) * (- (b / (2 * a)))) + b) ^2 is complex ext-real real set
(((2 * a) * (- (b / (2 * a)))) + b) * (((2 * a) * (- (b / (2 * a)))) + b) is complex ext-real real set
((((2 * a) * (- (b / (2 * a)))) + b) ^2) - (a,b,c) is complex ext-real real set
(2 * a) * (b / (2 * a)) is complex ext-real real set
- ((2 * a) * (b / (2 * a))) is complex ext-real real set
(- ((2 * a) * (b / (2 * a)))) + b is complex ext-real real set
((- ((2 * a) * (b / (2 * a)))) + b) ^2 is complex ext-real real set
((- ((2 * a) * (b / (2 * a)))) + b) * ((- ((2 * a) * (b / (2 * a)))) + b) is complex ext-real real set
(((- ((2 * a) * (b / (2 * a)))) + b) ^2) - (a,b,c) is complex ext-real real set

(- b) + b is complex ext-real real set
((- b) + b) ^2 is complex ext-real real set
((- b) + b) * ((- b) + b) is complex ext-real real set
(((- b) + b) ^2) - (a,b,c) is complex ext-real real set
- (a,b,c) is complex ext-real real set

(a,b,c) is complex ext-real real set

(4 * a) * c is complex ext-real real set
(b ^2) - ((4 * a) * c) is complex ext-real real set

b / (2 * a) is complex ext-real real set
- (b / (2 * a)) is complex ext-real real set
(- (b / (2 * a))) ^2 is complex ext-real real set
(- (b / (2 * a))) * (- (b / (2 * a))) is complex ext-real real set
a * ((- (b / (2 * a))) ^2) is complex ext-real real set
b * (- (b / (2 * a))) is complex ext-real real set
(a * ((- (b / (2 * a))) ^2)) + (b * (- (b / (2 * a)))) is complex ext-real real set
((a * ((- (b / (2 * a))) ^2)) + (b * (- (b / (2 * a))))) + c is complex ext-real real set
(2 * a) * (- (b / (2 * a))) is complex ext-real real set
((2 * a) * (- (b / (2 * a)))) + b is complex ext-real real set
(((2 * a) * (- (b / (2 * a)))) + b) ^2 is complex ext-real real set
(((2 * a) * (- (b / (2 * a)))) + b) * (((2 * a) * (- (b / (2 * a)))) + b) is complex ext-real real set
((((2 * a) * (- (b / (2 * a)))) + b) ^2) - (a,b,c) is complex ext-real real set
(2 * a) * (b / (2 * a)) is complex ext-real real set
- ((2 * a) * (b / (2 * a))) is complex ext-real real set
(- ((2 * a) * (b / (2 * a)))) + b is complex ext-real real set
((- ((2 * a) * (b / (2 * a)))) + b) ^2 is complex ext-real real set
((- ((2 * a) * (b / (2 * a)))) + b) * ((- ((2 * a) * (b / (2 * a)))) + b) is complex ext-real real set
(((- ((2 * a) * (b / (2 * a)))) + b) ^2) - (a,b,c) is complex ext-real real set

(- b) + b is complex ext-real real set
((- b) + b) ^2 is complex ext-real real set
((- b) + b) * ((- b) + b) is complex ext-real real set
(((- b) + b) ^2) - (a,b,c) is complex ext-real real set
- (a,b,c) is complex ext-real real set

a is complex set
x is complex set
x ^2 is complex set
x * x is complex set
a * (x ^2) is complex set
b is complex set
b * x is complex set
(a * (x ^2)) + (b * x) is complex set
c is complex set
((a * (x ^2)) + (b * x)) + c is complex set
2 * a is complex set
(2 * a) * x is complex set
((2 * a) * x) + b is complex set
(((2 * a) * x) + b) ^2 is complex set
(((2 * a) * x) + b) * (((2 * a) * x) + b) is complex set
(a,b,c) is complex set
b ^2 is complex set
b * b is complex set
4 * a is complex set
(4 * a) * c is complex set
(b ^2) - ((4 * a) * c) is complex set
((((2 * a) * x) + b) ^2) - (a,b,c) is complex set
b / (2 * a) is complex set
x + (b / (2 * a)) is complex set
(x + (b / (2 * a))) ^2 is complex set
(x + (b / (2 * a))) * (x + (b / (2 * a))) is complex set
a * ((x + (b / (2 * a))) ^2) is complex set
(a,b,c) / (4 * a) is complex set
(a * ((x + (b / (2 * a))) ^2)) - ((a,b,c) / (4 * a)) is complex set
(2 * a) * (b / (2 * a)) is complex set
((2 * a) * x) + ((2 * a) * (b / (2 * a))) is complex set
(((2 * a) * x) + ((2 * a) * (b / (2 * a)))) ^2 is complex set
(((2 * a) * x) + ((2 * a) * (b / (2 * a)))) * (((2 * a) * x) + ((2 * a) * (b / (2 * a)))) is complex set
(4 * a) * ((a,b,c) / (4 * a)) is complex set
((((2 * a) * x) + ((2 * a) * (b / (2 * a)))) ^2) - ((4 * a) * ((a,b,c) / (4 * a))) is complex set
((((2 * a) * x) + b) ^2) - ((4 * a) * ((a,b,c) / (4 * a))) is complex set
a is complex set
a ^2 is complex set
a * a is complex set
b is complex set
b ^2 is complex set
b * b is complex set
- b is complex set
a + b is complex set
a - b is complex set
(a + b) * (a - b) is complex set

(a,b,c) is complex ext-real real set

(4 * a) * c is complex ext-real real set
(b ^2) - ((4 * a) * c) is complex ext-real real set
sqrt (a,b,c) is complex ext-real real set
(- b) - (sqrt (a,b,c)) is complex ext-real real set
((- b) - (sqrt (a,b,c))) / (2 * a) is complex ext-real real set
(- b) + (sqrt (a,b,c)) is complex ext-real real set
((- b) + (sqrt (a,b,c))) / (2 * a) is complex ext-real real set

a * (x ^2) is complex ext-real real set

(a * (x ^2)) + (b * x) is complex ext-real real set
((a * (x ^2)) + (b * x)) + c is complex ext-real real set
(2 * a) * x is complex ext-real real set
((2 * a) * x) + b is complex ext-real real set
(((2 * a) * x) + b) ^2 is complex ext-real real set
(((2 * a) * x) + b) * (((2 * a) * x) + b) is complex ext-real real set
((((2 * a) * x) + b) ^2) - (a,b,c) is complex ext-real real set
(sqrt (a,b,c)) ^2 is complex ext-real real set
(sqrt (a,b,c)) * (sqrt (a,b,c)) is complex ext-real real set
- (sqrt (a,b,c)) is complex ext-real real set

(a,b,c) is complex ext-real real set

(4 * a) * c is complex ext-real real set
(b ^2) - ((4 * a) * c) is complex ext-real real set
sqrt (a,b,c) is complex ext-real real set
(- b) - (sqrt (a,b,c)) is complex ext-real real set
((- b) - (sqrt (a,b,c))) / (2 * a) is complex ext-real real set
(- b) + (sqrt (a,b,c)) is complex ext-real real set
((- b) + (sqrt (a,b,c))) / (2 * a) is complex ext-real real set

a * (x ^2) is complex ext-real real set

(a * (x ^2)) + (b * x) is complex ext-real real set
((a * (x ^2)) + (b * x)) + c is complex ext-real real set
x - (((- b) - (sqrt (a,b,c))) / (2 * a)) is complex ext-real real set
a * (x - (((- b) - (sqrt (a,b,c))) / (2 * a))) is complex ext-real real set
x - (((- b) + (sqrt (a,b,c))) / (2 * a)) is complex ext-real real set
(a * (x - (((- b) - (sqrt (a,b,c))) / (2 * a)))) * (x - (((- b) + (sqrt (a,b,c))) / (2 * a))) is complex ext-real real set
b / (2 * a) is complex ext-real real set
x + (b / (2 * a)) is complex ext-real real set
(x + (b / (2 * a))) ^2 is complex ext-real real set
(x + (b / (2 * a))) * (x + (b / (2 * a))) is complex ext-real real set
a * ((x + (b / (2 * a))) ^2) is complex ext-real real set
(a,b,c) / (4 * a) is complex ext-real real set
1 * ((a,b,c) / (4 * a)) is complex ext-real real set
(a * ((x + (b / (2 * a))) ^2)) - (1 * ((a,b,c) / (4 * a))) is complex ext-real real set

a * (1 / a) is complex ext-real real set
(a * (1 / a)) * ((a,b,c) / (4 * a)) is complex ext-real real set
(a * ((x + (b / (2 * a))) ^2)) - ((a * (1 / a)) * ((a,b,c) / (4 * a))) is complex ext-real real set
(1 / a) * ((a,b,c) / (4 * a)) is complex ext-real real set
((x + (b / (2 * a))) ^2) - ((1 / a) * ((a,b,c) / (4 * a))) is complex ext-real real set
a * (((x + (b / (2 * a))) ^2) - ((1 / a) * ((a,b,c) / (4 * a)))) is complex ext-real real set
(a,b,c) * 1 is complex ext-real real set
(4 * a) * a is complex ext-real real set
((a,b,c) * 1) / ((4 * a) * a) is complex ext-real real set
((x + (b / (2 * a))) ^2) - (((a,b,c) * 1) / ((4 * a) * a)) is complex ext-real real set
a * (((x + (b / (2 * a))) ^2) - (((a,b,c) * 1) / ((4 * a) * a))) is complex ext-real real set
(sqrt (a,b,c)) ^2 is complex ext-real real set
(sqrt (a,b,c)) * (sqrt (a,b,c)) is complex ext-real real set
(2 * a) ^2 is complex ext-real real set
(2 * a) * (2 * a) is complex ext-real real set
((sqrt (a,b,c)) ^2) / ((2 * a) ^2) is complex ext-real real set
((x + (b / (2 * a))) ^2) - (((sqrt (a,b,c)) ^2) / ((2 * a) ^2)) is complex ext-real real set
a * (((x + (b / (2 * a))) ^2) - (((sqrt (a,b,c)) ^2) / ((2 * a) ^2))) is complex ext-real real set
(sqrt (a,b,c)) / (2 * a) is complex ext-real real set
((sqrt (a,b,c)) / (2 * a)) ^2 is complex ext-real real set
((sqrt (a,b,c)) / (2 * a)) * ((sqrt (a,b,c)) / (2 * a)) is complex ext-real real set
((x + (b / (2 * a))) ^2) - (((sqrt (a,b,c)) / (2 * a)) ^2) is complex ext-real real set
a * (((x + (b / (2 * a))) ^2) - (((sqrt (a,b,c)) / (2 * a)) ^2)) is complex ext-real real set
- (b / (2 * a)) is complex ext-real real set
(- (b / (2 * a))) + ((sqrt (a,b,c)) / (2 * a)) is complex ext-real real set
x - ((- (b / (2 * a))) + ((sqrt (a,b,c)) / (2 * a))) is complex ext-real real set
a * (x - ((- (b / (2 * a))) + ((sqrt (a,b,c)) / (2 * a)))) is complex ext-real real set
(- (b / (2 * a))) - ((sqrt (a,b,c)) / (2 * a)) is complex ext-real real set
x - ((- (b / (2 * a))) - ((sqrt (a,b,c)) / (2 * a))) is complex ext-real real set
(a * (x - ((- (b / (2 * a))) + ((sqrt (a,b,c)) / (2 * a))))) * (x - ((- (b / (2 * a))) - ((sqrt (a,b,c)) / (2 * a)))) is complex ext-real real set
(- b) / (2 * a) is complex ext-real real set
((- b) / (2 * a)) + ((sqrt (a,b,c)) / (2 * a)) is complex ext-real real set
x - (((- b) / (2 * a)) + ((sqrt (a,b,c)) / (2 * a))) is complex ext-real real set
a * (x - (((- b) / (2 * a)) + ((sqrt (a,b,c)) / (2 * a)))) is complex ext-real real set
(a * (x - (((- b) / (2 * a)) + ((sqrt (a,b,c)) / (2 * a))))) * (x - ((- (b / (2 * a))) - ((sqrt (a,b,c)) / (2 * a)))) is complex ext-real real set
((- b) / (2 * a)) - ((sqrt (a,b,c)) / (2 * a)) is complex ext-real real set
x - (((- b) / (2 * a)) - ((sqrt (a,b,c)) / (2 * a))) is complex ext-real real set
(a * (x - (((- b) / (2 * a)) + ((sqrt (a,b,c)) / (2 * a))))) * (x - (((- b) / (2 * a)) - ((sqrt (a,b,c)) / (2 * a)))) is complex ext-real real set
a * (x - (((- b) + (sqrt (a,b,c))) / (2 * a))) is complex ext-real real set
(a * (x - (((- b) + (sqrt (a,b,c))) / (2 * a)))) * (x - (((- b) / (2 * a)) - ((sqrt (a,b,c)) / (2 * a)))) is complex ext-real real set
(a * (x - (((- b) + (sqrt (a,b,c))) / (2 * a)))) * (x - (((- b) - (sqrt (a,b,c))) / (2 * a))) is complex ext-real real set

(a,b,c) is complex ext-real real set

(4 * a) * c is complex ext-real real set
(b ^2) - ((4 * a) * c) is complex ext-real real set
sqrt (a,b,c) is complex ext-real real set
(- b) - (sqrt (a,b,c)) is complex ext-real real set
((- b) - (sqrt (a,b,c))) / (2 * a) is complex ext-real real set
(- b) + (sqrt (a,b,c)) is complex ext-real real set
((- b) + (sqrt (a,b,c))) / (2 * a) is complex ext-real real set
2 * (sqrt (a,b,c)) is complex ext-real real set
(sqrt (a,b,c)) + (sqrt (a,b,c)) is complex ext-real real set
- (sqrt (a,b,c)) is complex ext-real real set
(- b) + (- (sqrt (a,b,c))) is complex ext-real real set

(a,b,c) is complex ext-real real set

(4 * a) * c is complex ext-real real set
(b ^2) - ((4 * a) * c) is complex ext-real real set
sqrt (a,b,c) is complex ext-real real set
(- b) + (sqrt (a,b,c)) is complex ext-real real set
((- b) + (sqrt (a,b,c))) / (2 * a) is complex ext-real real set
(- b) - (sqrt (a,b,c)) is complex ext-real real set
((- b) - (sqrt (a,b,c))) / (2 * a) is complex ext-real real set

a * (x ^2) is complex ext-real real set

(a * (x ^2)) + (b * x) is complex ext-real real set
((a * (x ^2)) + (b * x)) + c is complex ext-real real set
x - (((- b) - (sqrt (a,b,c))) / (2 * a)) is complex ext-real real set
a * (x - (((- b) - (sqrt (a,b,c))) / (2 * a))) is complex ext-real real set
x - (((- b) + (sqrt (a,b,c))) / (2 * a)) is complex ext-real real set
(a * (x - (((- b) - (sqrt (a,b,c))) / (2 * a)))) * (x - (((- b) + (sqrt (a,b,c))) / (2 * a))) is complex ext-real real set
(x - (((- b) - (sqrt (a,b,c))) / (2 * a))) * (x - (((- b) + (sqrt (a,b,c))) / (2 * a))) is complex ext-real real set
a * ((x - (((- b) - (sqrt (a,b,c))) / (2 * a))) * (x - (((- b) + (sqrt (a,b,c))) / (2 * a)))) is complex ext-real real set

x - (((- b) + (sqrt (a,b,c))) / (2 * a)) is complex ext-real real set
x - (((- b) - (sqrt (a,b,c))) / (2 * a)) is complex ext-real real set
(x - (((- b) + (sqrt (a,b,c))) / (2 * a))) * (x - (((- b) - (sqrt (a,b,c))) / (2 * a))) is complex ext-real real set
a * ((x - (((- b) + (sqrt (a,b,c))) / (2 * a))) * (x - (((- b) - (sqrt (a,b,c))) / (2 * a)))) is complex ext-real real set
a * (x - (((- b) - (sqrt (a,b,c))) / (2 * a))) is complex ext-real real set
(a * (x - (((- b) - (sqrt (a,b,c))) / (2 * a)))) * (x - (((- b) + (sqrt (a,b,c))) / (2 * a))) is complex ext-real real set

(a,b,c) is complex ext-real real set

(4 * a) * c is complex ext-real real set
(b ^2) - ((4 * a) * c) is complex ext-real real set
sqrt (a,b,c) is complex ext-real real set
(- b) + (sqrt (a,b,c)) is complex ext-real real set
((- b) + (sqrt (a,b,c))) / (2 * a) is complex ext-real real set
(- b) - (sqrt (a,b,c)) is complex ext-real real set
((- b) - (sqrt (a,b,c))) / (2 * a) is complex ext-real real set

a * (x ^2) is complex ext-real real set

(a * (x ^2)) + (b * x) is complex ext-real real set
((a * (x ^2)) + (b * x)) + c is complex ext-real real set
x - (((- b) - (sqrt (a,b,c))) / (2 * a)) is complex ext-real real set
a * (x - (((- b) - (sqrt (a,b,c))) / (2 * a))) is complex ext-real real set
x - (((- b) + (sqrt (a,b,c))) / (2 * a)) is complex ext-real real set
(a * (x - (((- b) - (sqrt (a,b,c))) / (2 * a)))) * (x - (((- b) + (sqrt (a,b,c))) / (2 * a))) is complex ext-real real set
(x - (((- b) - (sqrt (a,b,c))) / (2 * a))) * (x - (((- b) + (sqrt (a,b,c))) / (2 * a))) is complex ext-real real set
a * ((x - (((- b) - (sqrt (a,b,c))) / (2 * a))) * (x - (((- b) + (sqrt (a,b,c))) / (2 * a)))) is complex ext-real real set

x - (((- b) + (sqrt (a,b,c))) / (2 * a)) is complex ext-real real set
x - (((- b) - (sqrt (a,b,c))) / (2 * a)) is complex ext-real real set
(x - (((- b) + (sqrt (a,b,c))) / (2 * a))) * (x - (((- b) - (sqrt (a,b,c))) / (2 * a))) is complex ext-real real set
a * ((x - (((- b) + (sqrt (a,b,c))) / (2 * a))) * (x - (((- b) - (sqrt (a,b,c))) / (2 * a)))) is complex ext-real real set
a * (x - (((- b) - (sqrt (a,b,c))) / (2 * a))) is complex ext-real real set
(a * (x - (((- b) - (sqrt (a,b,c))) / (2 * a)))) * (x - (((- b) + (sqrt (a,b,c))) / (2 * a))) is complex ext-real real set
a is complex set
b is complex set
c is complex set
(a,b,c) is complex set
b ^2 is complex set
b * b is complex set
4 * a is complex set
(4 * a) * c is complex set
(b ^2) - ((4 * a) * c) is complex set
x is complex set
x ^2 is complex set
x * x is complex set
a * (x ^2) is complex set
b * x is complex set
(a * (x ^2)) + (b * x) is complex set
((a * (x ^2)) + (b * x)) + c is complex set
2 * a is complex set
b / (2 * a) is complex set
- (b / (2 * a)) is complex set
(2 * a) * x is complex set
((2 * a) * x) + b is complex set
(((2 * a) * x) + b) ^2 is complex set
(((2 * a) * x) + b) * (((2 * a) * x) + b) is complex set
((((2 * a) * x) + b) ^2) - 0 is complex set
- b is complex set
(- b) / (2 * a) is complex set

(2 * a) * b is complex ext-real real set

a * (b ^2) is complex ext-real real set

((2 * a) * b) + c is complex ext-real real set
(((2 * a) * b) + c) ^2 is complex ext-real real set
(((2 * a) * b) + c) * (((2 * a) * b) + c) is complex ext-real real set

(a * (b ^2)) + (c * b) is complex ext-real real set

(a,c,x) is complex ext-real real set

(4 * a) * x is complex ext-real real set
(c ^2) - ((4 * a) * x) is complex ext-real real set
((((2 * a) * b) + c) ^2) - (a,c,x) is complex ext-real real set
((a * (b ^2)) + (c * b)) + x is complex ext-real real set
(a,c,x) / (4 * a) is complex ext-real real set
(4 * a) * ((a,c,x) / (4 * a)) is complex ext-real real set
((((2 * a) * b) + c) ^2) - ((4 * a) * ((a,c,x) / (4 * a))) is complex ext-real real set
c / (2 * a) is complex ext-real real set
(2 * a) * (c / (2 * a)) is complex ext-real real set
((2 * a) * b) + ((2 * a) * (c / (2 * a))) is complex ext-real real set
(((2 * a) * b) + ((2 * a) * (c / (2 * a)))) ^2 is complex ext-real real set
(((2 * a) * b) + ((2 * a) * (c / (2 * a)))) * (((