Let x(t) be the first derivative of -t3⁄3 + 4*t2 + 12*t + 2. Let c be x(9). Suppose -27 = -4*l - w, 5*w = 3*l - l + c. Solve v - l = -v for v.

3

Let l = -10 - -13. Suppose -l*c - 2 = -8. Solve -a - c = -3*a for a.

1

Suppose 15 - 11 = 2*i. Solve i = -5*c - 3 for c.

-1

Let a be 1/((-1)/2*-1). Let g(p) = -p + 1. Let d be g(a). Let r be (4/d)/(-2) - -1. Solve -r*k = k - 12 for k.

3

Let i = -10 - -12. Suppose i*f - f - 12 = 0. Solve w - f = 4*w for w.

-4

Suppose -2*b - 1 = -13. Suppose 0*v = -w - v - 5, -4*v = -3w + b. Let l be w/(-6)(18 + 0). Solve 4*x + l = -10 for x.

-4

Suppose 4*f - 4*j - 12 = -0*j, -4*f = j + 3. Suppose b + 2 + 2 = f, 5*k - 80 = 5*b. Solve u + k = -2*u for u.

-4

Let d(m) = -m**2 + 7*m - 10. Let i be d(4). Let o = 0 + 2. Solve 0 = i*v - o for v.

1

Let v(z) = -z**2 - 8*z - 4. Let p be v(-7). Suppose 8 = y + p. Suppose -o + 20 = -4*o + 5*x, -4*x = -y*o - 16. Solve o*a = -a + 3 for a.

3

Let z be (2/(-2))/(0 - -1). Let j(y) = 0*y2 + 1 + y2 - 2*y2 + 4*y2 + 2*y. Let s be j(z). Solve 0 = g - 0*g + s for g.

-2