Let q(h) = 6*h3 + 2*h2 - h. Let n be q(1). Let m = -8 - -13. Let v = n - m. Solve -a - v*a = 0 for a.

0

Suppose -4*w + 2*w + 20 = 0. Suppose -5*m - w = 5*n, -3*n + 24 = -4*m + 2. Solve 0 = -3*i - n*i for i.

0

Suppose 0 = t - 2. Let x be (0 + -2)/(-3 + t). Suppose 0*m - 2 = m, 4*m = x*i - 14. Solve 6 = i*z - 0*z for z.

2

Let a(k) be the first derivative of -5*k - 1⁄3*k3 + 3*k2 + 1. Let f be a(5). Solve f + 5 = z for z.

5

Let c(z) = -z + 6. Let o be c(7). Let w = 0 - o. Suppose 0 = -4*k - 40 + 44. Solve -k - w = -f for f.

2

Suppose -4*o + 32 = 4*b, 0 = -5*o - 2*b - 2*b + 35. Solve -o*t + 6 = -9 for t.

5

Let l(x) = -x3 + 5*x2 + 9*x - 6. Let z be l(6). Suppose 0 = -y + 3*y - 4. Let c = -12 + 17. Solve y*o - c*o = z for o.

-4

Let z be (0 - -6)*2⁄4. Suppose 0 = 2*f - 10, 2*a - 3*f = -0*f - 9. Let r = z - a. Solve -4*p = -r - 4 for p.

1

Suppose 7*l - 8*l + 1 = 0. Solve u - l = 3 for u.

4

Let x(p) = -2*p3 - 5*p2 - 5*p - 4. Let f be x(-3). Suppose i - 1 = -5*y + 7, -10 = -y - 3*i. Let u be 3 + 1 - (0 - y). Solve 0 = -0*j + u*j - f for j.

4