Let w(b) be the first derivative of -2 - 12*b4 - 23*b3 + b + 12*b**2. Let x be w(-2). Solve -x*j = -2*j for j.

0

Let p = 1 - 1. Suppose 0*o - 4*o - 4*s = 0, 0 = 3*o - 2*s - 20. Suppose -o - 20 = -3*h. Solve 4*j - h = -p for j.

2

Let v be -2 - ((4 - (-3 + 3)) + -8). Solve v*b - 16 = -2*b for b.

4

Let p be (-34)/(-9) - (-12)/54. Suppose -r = -5*r + p. Suppose 0 = u - h - r, 4 = 4*u - 5*h + 2. Solve -u*z - 5 - 1 = 0 for z.

-2

Let b be 7 - (1 + -2 - -4). Suppose 3*n = 2*n + 3. Solve -v + n = b for v.

-1

Let n be (-1)/(-2)*2*4. Suppose n*m - 6*m - 3*u = -19, -2*m + u - 1 = 0. Suppose -s = -6 + 3. Solve 0 = -s*z - m*z + 10 for z.

2

Let u = 33 + -14. Suppose 5*q = -3*b - 4 + u, 15 = 5*q + 2*b. Suppose 5*d - 4*n - 4 = 0, -6*d + 3*d + 2*n = -2. Solve d = -z + q*z - 10 for z.

5

Let v(t) = t2 - 4. Let z(u) = -u2 + 3. Let a(b) = -5*v(b) - 6*z(b). Let n be a(2). Solve n*c - c = -15 for c.

-3

Let p = 17 - 9. Let i be 4/p - 24. Solve i*v = 4*v + 4 for v.

-1

Let n = 5 + -6. Let v = n - -3. Solve -v*a - 12 = a for a.

-4