:: 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 is complex ext-real real set

b is complex ext-real real set

c is complex ext-real real set

(a,b,c) is complex set

b ^2 is complex ext-real real set

b * b is complex ext-real real set

4 * a 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 is complex ext-real real M2( REAL )

b is complex ext-real real M2( REAL )

c is complex ext-real real M2( REAL )

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

b ^2 is complex ext-real real set

b * b is complex ext-real real set

4 * a 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 is complex ext-real real set

b is complex ext-real real set

c is complex ext-real real set

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

b ^2 is complex ext-real real set

b * b is complex ext-real real set

4 * a 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

x is complex ext-real real set

x ^2 is complex ext-real real set

x * x is complex ext-real real set

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

b * x 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

- 0 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

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 * ((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 is complex ext-real real set

b is complex ext-real real set

c is complex ext-real real set

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

b ^2 is complex ext-real real set

b * b is complex ext-real real set

4 * a 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

x is complex ext-real real set

x ^2 is complex ext-real real set

x * x is complex ext-real real set

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

b * x 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

- 0 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

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 * ((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 is complex ext-real real set

b is complex ext-real real set

c is complex ext-real real set

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

b ^2 is complex ext-real real set

b * b is complex ext-real real set

4 * a 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

x is complex ext-real real set

x ^2 is complex ext-real real set

x * x is complex ext-real real set

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

b * x 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

- 0 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

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 * ((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 is complex ext-real real set

b is complex ext-real real set

c is complex ext-real real set

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

b ^2 is complex ext-real real set

b * b is complex ext-real real set

4 * a 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

x is complex ext-real real set

x ^2 is complex ext-real real set

x * x is complex ext-real real set

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

b * x 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

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 * ((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 is complex ext-real real set

2 * a is complex ext-real real set

b is complex ext-real real set

b ^2 is complex ext-real real set

b * b is complex ext-real real set

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

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

c is complex ext-real real set

c * 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

x 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

c ^2 is complex ext-real real set

c * c is complex ext-real real set

4 * a 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 is complex ext-real real set

2 * a is complex ext-real real set

b is complex ext-real real set

b ^2 is complex ext-real real set

b * b is complex ext-real real set

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

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

c is complex ext-real real set

c * 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

x 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

c ^2 is complex ext-real real set

c * c is complex ext-real real set

4 * a 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 is complex ext-real real set

2 * a is complex ext-real real set

b is complex ext-real real set

b ^2 is complex ext-real real set

b * b is complex ext-real real set

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

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

c is complex ext-real real set

c * 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

x 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

c ^2 is complex ext-real real set

c * c is complex ext-real real set

4 * a 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 is complex ext-real real set

2 * a is complex ext-real real set

b is complex ext-real real set

b ^2 is complex ext-real real set

b * b is complex ext-real real set

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

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

c is complex ext-real real set

c * 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

x 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

c ^2 is complex ext-real real set

c * c is complex ext-real real set

4 * a 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 is complex ext-real real set

b is complex ext-real real set

c is complex ext-real real set

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

b ^2 is complex ext-real real set

b * b is complex ext-real real set

4 * a 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 * a 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 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

- 0 is complex ext-real real set

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

a is complex ext-real real set

b is complex ext-real real set

c is complex ext-real real set

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

b ^2 is complex ext-real real set

b * b is complex ext-real real set

4 * a 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 * a 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 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

- 0 is complex ext-real real set

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

a is complex ext-real real set

b is complex ext-real real set

c is complex ext-real real set

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

b ^2 is complex ext-real real set

b * b is complex ext-real real set

4 * a 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 * a 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 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 ext-real real set

b is complex ext-real real set

c is complex ext-real real set

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

b ^2 is complex ext-real real set

b * b is complex ext-real real set

4 * a 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 * a 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 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

- 0 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 is complex ext-real real set

2 * a is complex ext-real real set

b is complex ext-real real set

- b is complex ext-real real set

c is complex ext-real real set

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

b ^2 is complex ext-real real set

b * b is complex ext-real real set

4 * a 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

x is complex ext-real real set

x ^2 is complex ext-real real set

x * x is complex ext-real real set

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

b * x 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 is complex ext-real real set

2 * a is complex ext-real real set

b is complex ext-real real set

- b is complex ext-real real set

c is complex ext-real real set

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

b ^2 is complex ext-real real set

b * b is complex ext-real real set

4 * a 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

x is complex ext-real real set

x ^2 is complex ext-real real set

x * x is complex ext-real real set

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

b * x 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

1 / 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 is complex ext-real real set

2 * a is complex ext-real real set

b is complex ext-real real set

- b is complex ext-real real set

c is complex ext-real real set

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

b ^2 is complex ext-real real set

b * b is complex ext-real real set

4 * a 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 is complex ext-real real set

2 * a is complex ext-real real set

b is complex ext-real real set

- b is complex ext-real real set

c is complex ext-real real set

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

b ^2 is complex ext-real real set

b * b is complex ext-real real set

4 * a 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

x is complex ext-real real set

x ^2 is complex ext-real real set

x * x is complex ext-real real set

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

b * x 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

0 / 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 ext-real real set

2 * a is complex ext-real real set

b is complex ext-real real set

- b is complex ext-real real set

c is complex ext-real real set

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

b ^2 is complex ext-real real set

b * b is complex ext-real real set

4 * a 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

x is complex ext-real real set

x ^2 is complex ext-real real set

x * x is complex ext-real real set

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

b * x 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

0 / 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

a is complex ext-real real set

2 * a is complex ext-real real set

b is complex ext-real real set

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

b ^2 is complex ext-real real set

b * b is complex ext-real real set

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

c 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

c * b is complex ext-real real set

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

x is complex ext-real real set

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

c ^2 is complex ext-real real set

c * c is complex ext-real real set

4 * a 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)))) * (((