5*f - 12 for l.
2
Suppose d + 233 = 233. Solve -4*n + n + 3*c - 12 = d, n + c + 6 = 0 for n.
-5
Suppose 119*s - 123*s + 12 = 0. Solve s*p = -p + 4, 3*p - 23 = 4*m for m.
-5
Suppose 4*q + 0*q - 8 = 0. Let t = 9 - 4. Suppose -4*u + q*m = -10, 0 = -3*u - t*m + 14. Solve 2*z - 12 = -3*j, 4 + 4 = 2*j + u*z for j.
4
Suppose -6*g - n = -g - 10, -2*n + 8 = 4*g. Solve -g*t + 10 = 0, 2*d + 3*t = -2*d + 3 for d.
-3
Let f(s) = -s + 8. Suppose 0 = g - 4 + 2. Let x be g/6 - 143/33. Let j be f(x). Solve -z + 1 = h, 0*z + 3*z = 2*h - j for z.
-2
Let p = 4 + -25. Let d be (1 - -5) + p/(-7). Solve 3*m - 3 = -3*f - 0*f, -3*m = f - d for m.
4
Let j(s) = -s**3 + 6*s**2 + 7*s + 11. Let p be j(7). Suppose -4*u - 8*a + p = -3*a, 4*a = u - 8. Solve -2*l + d + 11 = u*d, 5*l - 5*d = -10 for l.
1
Suppose 0 = h - 3*w - 14, 7*h + w - 2 = 4*h. Suppose 0*z - 15 = -5*z, 10 = r + h*z. Suppose i - r = -1. Solve -5*s + i*x - 23 = 0, 4*x - x - 3 = 0 for s.
-4
Let d = -230 - -347. Let u = -112 + d. Solve 0 = -g + 2*g + 3*x + 14, u*x = 5*g - 30 for g.
1
Suppose 5*g = -2*q + 36 + 19, -3*q + 87 = 3*g. Let u be (q/(-8))/((-18)/72). Let p be 1 + 2 + (-15)/u. Solve -2*z + s + s = -p, -z - 7 = 3*s for z.
-1
Let l(w) = -w**2 + 5*w + 1. Let y be l(3). Let g(m) = m**3 - 4*m**2 + 3*m - 9. Let s be g(4). Solve -4*n = -5*h - 17, s*n - y = -5*h - n for h.
-1
Suppose 62*q + 76 = 66*q. Solve 5*u - q = 3*y, 2*y + 2*y + 2 = 2*u for u.
5
Let r be (17/(-2))/((-1)/(-2)). Let x = r - -16. Let q be ((-2)/x)/(1/8). Solve -4*m = -q, 5*k + 2*m + 6 = 29 for k.
3
Let s(h) be the second derivative of h**5/20 - 5*h**4/6 + 3*h**3/2 + 3*h**2/2 + 26*h. Let o be s(9). Solve -11 = -w - o*w - 3*z, -4*z = -w + 17 for w.
5
Suppose -4*b + c = -31, -2*c + 31 - 3 = 2*b. Let a = -5 + b. Solve a*y - 24 = -2*u, -2*u + 5*y - 33 = -6*u for u.
2
Let k = 36 - 14. Let x = -18 + k. Solve -x*d - 2 = -h + 3, -5*h + 3*d = -8 for h.
1
Let o = -3 + 3. Let i(u) = -2 + 6*u**2 + 2 - 7*u + 8*u. Let m be i(-1). Solve m*r = -4*b - 30, 2*b = -3*r - 16 - o for b.
-5
Suppose -3*i + 2*i + 2 = 0. Suppose 9*l = -0*l + 36. Let u be 1 + -1 - (4 - (5 + l)). Solve -1 = -3*x + i*y - 3, 5*x = -u*y + 5 for x.
0
Let a = 865 + -846. Solve 2*w = 5*p + a, 5*p = 2*w + p - 16 for w.
2
Suppose 24 = -3*m + 3*k, 0 = 5*m + 3*k + 9 + 7. Let v be m*4*(-4)/5. Solve v = 4*t - 3*q, 0*t - 4*q = 3*t + 13 for t.
1
Suppose -2*o + 3*h - 1 = 0, -5*o + 5*h = 9*h - 32. Solve 5*l = 5*g - 15, -o*g - l = -g - 9 for g.
3
Suppose 7*d + 14 = 2*d + a, -4*a + 16 = 0. Let j be (8/4)/d + 4. Solve -j*w - n = 4, 4*n - 6*n = 2 for w.
-1
Suppose -2*r + 2*o - 5*o = 34, -4*o = r + 22. Let j(z) = z**2 + 15*z + 17. Let f be j(r). Solve f*c - 5 = -0*m + 2*m, -2*m = -10 for c.
5
Let m(z) = -z**3 + 5*z**2 + 2*z - 10. Suppose -18*n - 15 = -21*n. Let i be m(n). Solve i = 5*x - 5*q + 45, -2*x + 5*q - 36 = -6 for x.
-5
Let b = 63 - 4. Let a = -58 + b. Let t be 1 + 2 + (-3)/(-3). Solve s - f + a = -t, 4*s + 4*f - 20 = 0 for s.
0
Let x = 0 - 2. Let s(d) be the third derivative of d**5/30 - d**4/8 - d**3/6 + 2*d**2. Let n be s(x). Solve 5*p + n = 4*i - 0*i, -3*i + 3 = 3*p for i.
2
Let q be 378/30 + (-15)/25. Suppose -44 = -q*z + 8*z. Solve -2*v = d - z, -2*v - 3*v = -d - 17 for v.
4
Suppose 2*v = v. Let q = 14 + -2. Solve -11 = -4*z + 5*f + 1, -4*z - 3*f + q = v for z.
3
Let p = 6 + 0. Let b(s) = 3*s - 13. Let c be b(p). Let l be 20/c - 15*-1. Solve 0 = n - 0*n - v + 9, -v = -3*n - l for n.
-5
Suppose 0 = -0*z + 2*z + 34. Let p = 17 + z. Let j be (6/(-4))/(3/(-20)). Solve u + 15 = 4*u + 3*r, p = 4*u + 2*r - j for u.
0
Let d(v) = 3*v - 4. Suppose 14*b - 15 = 83. Let y be d(b). Solve 4*x = -0*x - c - y, -c + 28 = -5*x for x.
-5
Let y(o) = -24*o - 480. Let x be y(-20). Solve 0 = 2*t - 6*t - 5*l + 2, x = 5*t + 3*l + 4 for t.
-2
Suppose t + t = 6. Suppose 5*o - 3*h + t = 11, -5*o + h + 16 = 0. Let g(a) = a. Let v be g(o). Solve -4*z - 1 = 3*x, 2*x = -5*z - 6 - v for x.
5
Suppose -16*f - 81 = -113. Solve 4*l - 2*r + 12 = 0, 2*l + r = -f*r - 6 for l.
-3
Let n(s) be the third derivative of -s**6/120 + s**5/12 + 2*s**3/3 + 6*s**2. Let k be n(5). Solve -9 = 4*h - o, 0 = -8*h + 3*h - k*o - 6 for h.
-2
Suppose 0 = 6*c + 3*c. Solve 3*p + 3 = c, -2*y - y - 2*p + 4 = 0 for y.
2
Let x be (-98)/(-21) + (-24)/(-18). Solve 4 = c + b, 0 = x*c - 2*c - 5*b + 20 for c.
0
Let u = 53 + -51. Let s be 3/(u + 2 + (1 - 4)). Solve 4*p = -5*x - 8, x - 5*p + 10 = -s*p for x.
-4
Suppose -280*i = -265*i - 135. Solve 2*a - w - i = -2*a, 5*a - 2*w = 9 for a.
3
Let d be 1 - -6 - 30/10. Suppose -3*k = k + 5*h - 98, d*k + 2*h = 92. Let v = k - 19. Solve -5*a - 5*g + 20 = -0*a, -v*g = 5*a - 18 for a.
3
Let h(l) be the third derivative of l**5/60 + l**4/8 + l**3/3 + 29*l**2. Let b be h(-2). Solve 0 = 4*v - t + 21, 5 = t - b*t for v.
-4
Suppose -51 - 19 = -5*f. Suppose s - 6 = f. Solve -g - 5*p = -5*g - s, -5*g + p - 4 = 0 for g.
0
Let i = 24 - 16. Suppose 0 = -4*j - 2*u - 8, u = -0*j + 4*j + i. Let k be 2 + (1 - j - 3). Solve 1 = h - k*z, 2*z + 3 = z for h.
-5
Suppose x + 3*x - 12 = 0. Solve 0 = u - x*z - 11, -4*u - 21 = 5*z + 3 for u.
-1
Let y = 5 - -3. Let m = y + -8. Let s be 6 - (m - -4 - 0). Solve 0 = -3*p - 2*w + s, -p - w = -5*w + 18 for p.
-2
Let m be 13/(-52) + 3/12. Solve 5*h = m, 10*f - 11*f + 2*h = -1 for f.
1
Suppose 18 = 3*u - 4*n, -4*n = -5*u - 2*n + 16. Suppose 2*d = w - 3*w + 96, 0 = 4*d - 5*w - 147. Let p = d - 37. Solve 24 - 1 = -u*z - 5*j, z = j + p for z.
1
Suppose o + 10 - 10 = 0. Solve 5*t + 2*k = -22, -3*t + 2*k - 11 + 1 = o for t.
-4
Let f(t) be the first derivative of t**2/2 + 13*t + 14. Let b be f(-8). Solve 5*d = -5*c + 35, b*c - 1 = -4*d + 32 for c.
5
Let i(t) = t**2 - 10*t + 27. Let s be i(6). Solve 16 = 4*b + 2*c, -s*c + 12 = 3*b - c for b.
4
Let f(m) = 2*m**3 + 14*m**2 - 7*m - 45. Let a be f(-7). Solve 2*s = -0*s, 20 = -a*q + 4*s for q.
-5
Suppose 2*b = 4*u - 28, -u + 26*b + 17 = 23*b. Solve -3*a - 15 = -3*w, 0*w - a = 4*w - u for w.
2
Let d = 154 + -152. Solve -d*p = -3*v - 17, -5*v - 11 = p + 13 for p.
1
Let y(g) = -12*g - 453. Let s be y(-38). Solve 4*m - 3 = 5*x + 18, -2*m - 5*x = -s for m.
4
Let f = 91 + -91. Suppose -2*k = -7*k - f*k. Solve 0 = 3*x + 3*l - k*l, x - 4*l = -20 for x.
-4
Suppose -3*u = -12, 0 = -2*g + 2*u - 6. Let k(b) = -33*b**2 + b + 1. Let v be k(g). Let d = -28 - v. Solve -d*a - 4*j = -19, -4*a - 2*j + 1 + 11 = 0 for a.
1
Let f = 1442 - 1439. Solve -5*w = -2*u + 7*u - 20, 0 = -f*u + 5*w + 12 for u.
4
Let w(x) = -x**2 + 3*x + 4. Let u be w(3). Solve -u*n + 35 = -5*j, 0*j + j = -5*n + 22 for j.
-3
Suppose -31 = -2*y + 3. Let n = 9 + -5. Let q be (-6)/2*(-78 - -77). Solve -3*p + n + y = q*u, 4*p = -2*u + 24 for p.
5
Let q(o) = -o**2 - 11*o - 12. Let b be q(-8). Let u = 5 - b. Let w = -7 - u. Solve g + 2 = 2*f, -g + 0*f - 2*f + 6 = w for g.
2
Suppose 3 = -4*w + 15. Let d be (-28)/(-5) + (-12)/(-30). Suppose 2*j = w*n - 1 + 7, 2*j - d = -2*n. Solve -4 = -3*q + 4*s, -q = -0*s + j*s + 16 for q.
-4
Let n be (-1)/2*36/(-6 - 0). Solve -6*d - 24 = -5*d + 5*u, 24 = -3*d - n*u for d.
-4
Let k be ((-3)/(-21)*10)/(4/56). Solve -3*i + k = -c + 6*c, -3*c = 2*i - 12 for c.
4
Let v(x) be the second derivative of 5*x**4/12 - x**3/2 + x**2 - 19*x. Let i be v(1). Suppose 0 = 3*f - 6 - 3. Solve 5*y = i*j + y, f*y = -5*j for j.
0
Let j = 13 + -17. Let i be j/((-1)/3*12/2). Solve -3*d + 25 = 4*q - 0*d, 2*d - 14 = -i*q for q.
4
Let b = -342 + 347. Solve 3*z - 6 = -0*t - 3*t, -b*t = z - 2 for t.
0
Let v(y) = -y**2 - 16*y - 25. Let h be v(-14). Suppose 7 = h*i - 20. Let r(d) = 2*d**2 + 2*d - 2. Let x be r(3). Solve 3*z = -2*u + i, -x = -5*u - 7 for z.
1
Suppose 3*h + 16 = 2*g + 2*g, -5*g - 5*h + 20 = 0. Suppose g*l + 13 = 21. Solve -4*r - l*v = 10, 0*v + 10 = -r + 2*v for r.
-4
Let t = -17 - -19. Let c(g) be the second derivative of 2*g**3/3 - 5*g**2/2 - 3*g. Let y be c(t). Solve 0*p - 2*p - 12 = -3*s, 4*s - 17 = y*p for p.
-3
Suppose -10*h - 73 = -103. Solve -4*m = 3*b - h*m + 14, 5*b + 10 = m for b.
-3
Let b = -34 + 38. Suppose -n + 15 = 3*p - b*n, 0 = -p - 5*n - 1. Solve -u + p*u + 3*h = 0, h + 18 = 5*u for u.
3
Let i(f) = 2*f - 3. Let n be i(4). Suppose -3 + 60 = -3*l. Let b = l - -21. Solve 3*c + 7 = -n*q - 8, -2*c - 6 = b*q for q.
-3
Let d = -2046 - -2050. Solve 4 = -4*z, -5*z = d*f + 7 - 22 for f.
5
Let 