Let j(l) = -l**3 - l - 1. Let z be j(0). Let o be (-2 - -4 - 2)*z. Let a = 0 - 0. Solve q + o*q = a for q.
0
Let p(z) = -z**2 - z - 4. Let s be p(-4). Let w be (-9)/(-6)*s/(-6). Solve a = 2*a - w for a.
4
Let u be 3/(1 - 1 - -1). Solve 4*r - 15 + u = 0 for r.
3
Let b be 1*2*15⁄6. Suppose 0 = -b*n + 4*n + 2. Solve 3*x - 10 = -n*x for x.
2
Let r be (-5)/2*(-1 + -3). Let p be ((-4)/r)/((-1)/10). Let c be ((-1)/p)/((-2)/8). Solve -c = m - 0 for m.
-1
Suppose -2 - 2 = -f. Suppose -5*s + 6 = -f. Solve 2*i - 12 = -s*i for i.
3
Let g = -14 + 20. Suppose -z + g = z. Solve 6 = -3*o + z for o.
-1
Let n = -139 - -143. Solve -n*z + z = -15 for z.
5
Let m = -6 + 4. Let b = m - -2. Solve 0 = z - b*z for z.
0
Let q(n) = -n3 - 2*n2 + 3*n - 1. Let w be q(-3). Let r = -1 - w. Solve -5*t - 20 = -r*t for t.
-4