As an exercise (relative to my assignment) Perform a constrained integration on more than[-1,1]^ 6 – giving a "probability of separability"), I launched the command

```
p = integrate[Boole[a2 + b2 z > z^2 && a5 + b5 z > a2 + b2 z], {z, -1, 1}];
```

and got a result with LeafCount[p]= 8354.

Since, in fact, I want to consider a2, b2, a5, b5 as multivariate expressions for later integrations, I would like to eliminate these (multiple) parts of the results for $ p $ Constant values, such as those containing a2 == 0, are assigned to one of the four symbols because they would be zero-valued at subsequent integrations. (I've briefly tried using NumberQ – but that did not make it possible to reach the scheduled eliminations.)

As a note concerning the display indicated above, I mean to substitute for a2, the constant term of the expression – considered as a quadratic polynomial in $ z $– for the C2 constraint here (after its division by $ (1-t ^ 2) $) and for b2, the coefficient of $ z $; and for a5, the constant term of expression considered in the same way for quadratic stress C5[after its division by

($ u ^ 2 (1-t ^ 2) $]and for b5 the coefficient of $ z $ in her. (After these substitutions, I would try to proceed with subsequent integrations on $ y, x, w, v, t $, integrating the additional positivity constraints C1 and C4 – which do not contain $ z $.) The normalized forms of the C2 and C5 constraints given above both have a quadratic term equal to $ -z ^ 2 $.