pose 11 = -4*n - 17. Let r be p(n). Solve h + 2*q + r = 4*q, 2*q = -h + 3 for h.
-1
Let y = 60 - 57. Solve 1 = -g + 2, -y*s + g = 10 for s.
-3
Suppose -4 - 5 = -3*u. Suppose a = -u*a + 12. Solve 3*v - 3*g = 0, 3*v + g - 7 = -a*g for v.
1
Let p be (2 + 1 + 0)*1. Let n = 17 - 20. Let r be 0*(n/6)/(-1). Solve r = w - 4*d - 3 + 2, -3*w + 3 = -p*d for w.
1
Let y(h) = h**2 + 3*h - 5. Let i be y(-5). Suppose 3 - 23 = -i*d. Solve 0 = -b + 6*b + k - 10, d*b = k + 8 for b.
2
Let f(u) = u**2 - 3*u - 7. Let y be f(5). Solve h = 5*h - 3*t - 23, y*h = 4*t + 19 for h.
5
Suppose 6*u - 4*u = 8. Solve 2*i = -5*g - 13, 5*i + u = -3*g - 0 for g.
-3
Suppose -k - 1 = -2*k. Suppose -2*w - 3 + 9 = 0. Let d be 6/k + -4 + w. Solve -d*b + 5 = 3*x, -x = -5*b + 4*x - 35 for b.
-2
Let n be 41 - (-2)/(-2)*1. Suppose 73 = 3*j + 2*r, n = 2*j - 4*r - 14. Solve 14 = -2*b + 4*z - 0*z, -j = -5*b - 5*z for b.
1
Suppose -6*r + 2*r = -24. Suppose -r = -2*s + 6. Solve -4*l - 16 = -5*a, 3*l + s = 4*a - 6 for l.
-4
Suppose 0 = -7*a + 2*a. Suppose a = 4*j - 19 + 3, d = -4*j + 19. Suppose d*r - 19 = -f, -3*f - 5*r + 33 = -20. Solve -3*n = -n - 3*l + f, n + 4*l = 3 for n.
-5
Let l be (-10)/(-4) - (-12)/8. Let h be (2 - l) + (-12)/(-3). Solve -w - h*w = -4*o - 25, 0 = -3*o - 12 for w.
3
Let f = -10 - -12. Solve 0*t = -f*t + 4*m + 22, 0 = -t - 3*m - 4 for t.
5
Let y be 3*(14/(-3))/2. Let o = y + 10. Let l = 22 + -18. Solve 4*w - l = s, o*s + 0*s + w = 1 for s.
0
Let l(q) = -q**3 + 4*q**2 - 3*q + 3. Let w be l(3). Let d = -228 - -231. Solve -5*a = -y + 3, 2*y - w*a = -2*a - d for y.
-2
Suppose -4*a + 7 = -13. Suppose a*u + 10 = -5*r, -7*r - 3*u - 16 = -2*r. Let z = -1 - r. Solve -3*w - 5*f = -22, -z*w - 19 = -5*f + 2*f for w.
-1
Suppose 0*x = -x + 12. Let r = x - 12. Solve r = -0*a - 2*a - 2*d + 8, 3*d - 8 = -2*a for a.
4
Let m(u) = -5*u - 11. Let t be m(-3). Solve -5*r - 24 = -3*v, -r + 3*r - 6 = -t*v for r.
-3
Suppose -2*g - 81 = -3*l + g, g = -1. Solve -z - 3*z + l = 3*q, -18 = -4*q - 2*z for q.
2
Let d(h) = 4*h - 13. Let c be d(9). Let f be c/2*(2 + 0). Let l = -14 + f. Solve -t = 4*m - 12, l = -0*t + t + 3*m for t.
0
Suppose a + z + 1 = -2*a, -5*a = -4*z + 30. Let t be ((-60)/(-25))/(a/(-5)). Solve k + 0*m - 3 = -2*m, k - m = -t for k.
-3
Suppose -3*n - 12 = -5*n. Suppose -d = -5, -4*v - n*d + d = -33. Solve 0 = -v*y - 4*r - 10 + 32, -y + r = 4 for y.
1
Suppose 2*a - s = 11, -a = 4*s + 5 + 3. Suppose 4*p - 13 = 4*n - 1, -a*p + 30 = 5*n. Suppose 0 = 2*v - n. Solve u - r - v = 0, -u + 0*r - 7 = r for u.
-3
Let o(h) = h. Let d be o(2). Let b(f) = 2*f - 3*f**d + 4*f**2 + 10 + 6*f. Let k be b(-7). Solve -k*t = -3*g - 18, 2*g = -2*g + 2*t - 16 for g.
-2
Suppose -4*v + 13*v + 3*v = 0. Solve v = -4*z - z - 3*j + 4, 3*z = j + 8 for z.
2
Let g = 7 + -7. Suppose g = 4*h + h. Suppose h = 5*f - 20 - 0. Solve -4 = -5*s + 16, -f*r = s for r.
-1
Let j = 43 + -43. Solve 0 = -5*g + f - 14, 2*f + 2 = -j*f for g.
-3
Let r be (-18)/((6/1)/3). Let s = -5 - r. Solve -4*k + k = -3*v + 24, -5*v - s*k = -4 for v.
4
Let w(z) = -z**2 - 11*z + 7. Let c = -14 + 3. Let v be w(c). Let y = 12 - v. Solve -5 = -3*n + n + y*p, 4*n - 4*p = 16 for n.
5
Let j = -16 - -27. Suppose 2*u = v + 15, -3*v - 20 = -4*u + j. Solve z + 2*l - 4*l + u = 0, 2*z + l - 1 = 0 for z.
-1
Suppose 0 = -4*w + 11 - 3, 5*w - 16 = -r. Let v = -10 + r. Let q be 15/4 + (-1)/v. Solve 0*z = -3*t - q*z + 5, 2*t + 4*z = 2 for t.
3
Let i(p) = -p**3 + 4*p**2 + 6*p - 7. Let q be i(5). Let n = q - -5. Let d = 18 - 14. Solve 6 = 5*f + 2*a, -n*a + 9 = f - d*f for f.
0
Suppose 16 = 3*i - 11. Solve -2*c = -5*y + 29, -4*c + c = 3*y - i for c.
-2
Let d be 6/(-5)*20/(-12). Solve 5*y + 9 = -3*c, 0 = 5*c + d - 12 for y.
-3
Let x be (-1 + -2)*1 - -6. Solve 0 = -2*l - x*r + 4, 0*l - 2*r + 4 = 2*l for l.
2
Let u = 10 + -8. Let c(f) = 2*f**2 - f - 2. Let w be c(u). Solve 8 = 2*t + 4*x - 10, 3*x = w*t + 8 for t.
1
Let g = 1 + -4. Let k = 5 + g. Suppose 4*b + 2*u - 4 = -2*u, -5*b = 3*u - 9. Solve k*n - b = 3, 4*z = -n - 13 for z.
-4
Let r(f) = -f - 3. Let i be -2*2/((-8)/(-6)). Let z be r(i). Solve -4*l + 5*l + d = 3, 5*l + d + 5 = z for l.
-2
Let k(u) = 2*u - 5. Let s be k(-5). Let x be (-40)/s*(-6)/(-4). Solve -2*p - x*l - 16 = 0, -l - 6 = p - 0*l for p.
-4
Let z = 0 - -19. Suppose 2*l - 20 = -3*h, -3*h = 4*l - 3*l - z. Solve -h*c + c + 16 = g, 0 = 5*c - 3*g - 12 for c.
3
Suppose -n + 5*d = -0*n - 39, -4*d - 34 = -n. Let i = 50 - n. Let h be (-25)/(-9) - (-8)/i. Solve h*j + 2*p - 6 = -j, -j + 3*p = 9 for j.
0
Let k be ((-30)/(-9))/(2/3). Suppose j = -0*j + k. Suppose 2*h - h = j. Solve 0 = 5*n - z - 11 - 2, 4*n + h*z + 7 = 0 for n.
2
Let q(y) be the third derivative of 11*y**6/60 + y**5/30 - y**3/6 + 4*y**2. Let a be q(1). Solve -3*p - 4*j = a, 4*j - 2*j + 11 = -p for p.
-1
Let k(w) = -w**3 + w**2 + w + 2. Let s(t) = -t**2 + 11*t. Let y be s(11). Let n be k(y). Solve -4*v - 1 = -3*i + n, -i = -5*v + 10 for v.
3
Let x = 28 - 16. Solve -4*b = x, -o - b + 17 = 3*o for o.
5
Suppose 6*s = 4*s. Solve 0 = -4*g + 2*l - 4*l + 4, s = -4*g - 4*l for g.
2
Let k = -24 + 28. Suppose -s = -k*v + 2, -v - 3 + 4 = 0. Solve -s*q + x = -4, 2*q + 3*x = -0 - 12 for q.
0
Let j(w) = w**2 + 6*w - 12. Let x be j(-8). Solve -2*r - 12 = -2*f - x, -3*r - 2 = -f for f.
5
Let t = -11 - -4. Let d = t + 11. Solve -d*z - 2*f + 9 + 15 = 0, -z - 3*f + 16 = 0 for z.
4
Let j = -28 + 30. Solve 5*a - 5*v - 15 = 0, -j*a - 2*v + 13 = 3*v for a.
4
Suppose -x + 9 = -4*g, 3*x - 5 = 5*g + 8. Suppose 4*d + x = 13. Solve -5*k - 3*n - 3 = -k, d*k - 3*n = 24 for k.
3
Suppose -40 = -7*d - 12. Solve 2*s + 2*h = 0, -3*s - h = -s + d for s.
-4
Let u(n) = -n**3 - 1. Let m be u(-1). Suppose m = q - 3*q + 14. Solve 3*w = 2*v + 7, 4*v - 12 = -5*w + q*v for w.
3
Let k(g) = 2*g - 13. Let r be k(12). Suppose -89 = -4*s - f, 2*f + 9 = s - r. Solve -4*d - 44 = -4*q - 8, -3*d = -2*q + s for d.
-4
Suppose 0 = -3*n + 5*n. Solve 2*m - 10 = -4*s, -2*s + 2 + n = -2*m for m.
1
Suppose -l + 3*c - 26 = 0, 3*l = -3*c + 7*c - 58. Suppose 4*h + 37 = -5*x, 2*h = -3 + 7. Let n = x - l. Solve 5*y - n*k + 10 = 0, 4*y = 5*k - 13 + 1 for y.
2
Let l be (-2)/8 + 50/8. Let w(f) = 2*f + 5. Let s be w(l). Suppose 5*v + 115 = 5*z, 0*z - v - 47 = -2*z. Solve 4*u = t - 0*t + z, s = 5*u + 2*t for u.
5
Let q be (-4)/6 + 17/3. Suppose -q*w + 2*w = -15. Suppose -a - t + 2 = -3, 3*a - 2*t = 15. Solve 0*x - 4*x + 16 = 0, w*d + 15 = a*x for d.
1
Let a be 4/(-14) + 316/28. Solve -8 = 5*o - 33, c + 3*o = a for c.
-4
Let o be 231/44 + 2/(-8)*1. Solve -r + 3*u - 10 = 0, 5*r - r + o*u = 11 for r.
-1
Suppose -39 = -h - 9. Suppose -4*g - 10 = 2*t, 5*t = 2*t + 3*g + h. Let r = 6 + -4. Solve -t*z = -3*i, -z = r*i - i for z.
0
Let j(l) be the third derivative of 0*l + 1/24*l**4 - 2/3*l**3 + l**2 + 0. Let a be j(8). Solve -2*k = -4*v - a*k + 14, -4*k = -12 for v.
2
Suppose -4*b = 3*b - 14. Suppose 0 = -3*g + m - 31, -5*g - 61 = -6*m + 2*m. Let c be -3*6/g + -1. Solve 3*u - c = d - u, 2*d - 4*u = -b for d.
-1
Suppose 0 = 3*f - 2*f - 2. Let d(m) = -m + 11. Let u be d(11). Suppose -3*j - 3*h + 40 = -8*h, -f*j + 2*h + 20 = u. Solve -3*p - j = -3*w + 1, -3*w = -3 for p.
-1
Suppose -4*m + 8 = -2*m. Let x = m - 4. Solve -3*k = -4*q + 22 + 13, x = 4*k + 20 for q.
5
Suppose 10 = 4*q - 30. Suppose -y + 6*y = q. Let l be (-2 + 0)*-1 - y. Solve -5*n = l, a = -2*a - 5*n + 6 for a.
2
Let q(u) = -u + 1. Let m be q(-3). Solve 5*p = -m*l + 5, 0*l = -4*l + 4*p + 32 for l.
5
Suppose -6*k + k - 2*s = -12, -2*k + 4*s = 0. Solve 5*v + k*n = 5, -4 = -2*v - 3*n - 2 for v.
1
Let u = 49 - 44. Solve 4*x - 27 = -3*t, -5*x = 4*t - 8*t + u for t.
5
Suppose 0 = 4*q, 4*a - 16 = -0*a + 5*q. Suppose d - 1 = a. Solve -3*k - 5*o = -4*k - 17, 5*o - 25 = d*k for k.
-2
Let s be (2 - -7) + -1 + -1. Let a = s - 4. Suppose 5*i - 10 = -2*z, a*z - 53 + 19 = 2*i. Solve -4*k - 3*l = 13, -k + 0*l - 3*l - z = 0 for k.
-1
Let r be (6/(-1))/3*-2. Let q be (-3)/(-6) - (-14)/r. Solve 0 = -0*b - 2*b - 2*y + q, y = 5*b + 2 for b.
0
Let s(a) = 8*a**3 + 18*a**2 + 6. Let b(i) = 7*i**3 + 17*i**2 + 6. Let q(t) = 7*b(t) - 6*s(t). Let n be q(-11). Solve -4*w + 4*z = -8, -5*z - 4 - n = -w for w.
0
Let j = -2 - -2. Suppose 3*g - 24 - 3 = j. Let z be g*(2 - 15/9). Solve -z*y + 2*f + 3 = -0*y, y + 3*f - 12 = 0 for y.
3
Suppose -f + 2 =