Let b be (-1*2 - -1) + 3. Suppose 8 = 2*t - b. Let g(w) = -w3 - 13*w2 - 12*w + 7. Let m be g(-12). Solve 0 = -t*a + m - 2 for a.

1

Let k(t) = -t - 6. Let w be k(-6). Solve 0 = n - w*n for n.

0

Let s = -2 - -3. Let r = s + -16. Let u = r + 21. Solve -u = 3*b - 0*b for b.

-2

Suppose -7*q + 9*q = 30. Let u be (4/(-8))/(2/(-8)). Solve u*g - q = -g for g.

5

Let b(l) = -3*l2 + 4*l2 - 3*l3 - 5 - 5*l2 - 3*l + 4*l**3. Let d be b(5). Suppose -5*c + 60 = 10. Solve d*n = -c - 10 for n.

-4

Let x(z) = z + 6. Let s be x(-3). Solve 0 = i + s*i - 4 for i.

1

Let d = 21 + -23. Let q be d/(-2) - (0 + 0). Solve -s = q - 4 for s.

3

Let b(k) be the first derivative of 13*k**3⁄3 + k - 3. Let c be b(1). Solve 0 = 5*i - c + 4 for i.

2

Suppose -72 = 5*j - 172. Let q = 0 + j. Suppose 4*i - q = -4*f, -5*f + 26 - 1 = 3*i. Solve 0 = -i*r - r - 4 for r.

-4

Suppose -23 + 8 = -5*k. Suppose 8*m = -t + k*m - 6, 0 = t - 5*m - 14. Let p = 6 + -1. Solve 3*w - t*w = -p for w.

5