*b - 3 = 0 for j.
-4
Let m(d) be the first derivative of d**3/3 + 7*d**2/2 + 9*d + 2. Let f be m(-6). Suppose -f*i = -i - 6. Solve -2*t - 5 = 5*l, 0 = t + 2*l + i*l for t.
-5
Let u(c) = -4*c**3 + 5*c**3 - c + 2 + 0*c. Let i be u(0). Suppose -7*p = -10*p + 42. Solve -4*v + 6*z - z + 1 = 0, 5*v - p = i*z for v.
4
Let z = 1 - -2. Let j(b) = b**z - 5*b**2 - 3 + 1 + 5 - 6*b. Let y be j(6). Solve q + y*t + 7 = 2*q, 3*q - 4*t = 16 for q.
4
Let a = -7 - -7. Suppose 5*l + 27 = r, -r + 12 = -a*r - 2*l. Solve 4*h - 6*d + 8 = -2*d, -r*d - 5 = h for h.
-3
Suppose -2*x + 3 = -19. Solve 3*b = 3*k - 27, 0 = -0*k - k - 3*b - x for k.
4
Suppose -85 = -3*f - 2*f. Suppose -2*g - 3 = -3*g, 0 = -z - 4*g + f. Suppose -i + 3 = -0*i + 2*w, -z*w = -5*i. Solve 2 = 2*j - 3*m, -j - 2*m + i = -0*j for j.
1
Let t be ((0/1)/1)/1. Suppose -5*y + 5 + 10 = t. Solve -d = 2*s - y, 0 - 3 = -3*d - 3*s for d.
-1
Suppose -102*a = -99*a - 6. Solve -10 = -a*p, 5*c - p - 30 = -5*p for c.
2
Let s be -1 - (3/1 - 4). Solve s = 4*y + 3*g - 5, g + 0*g = 2*y - 5 for y.
2
Suppose -10*s + 16 = -6*s. Let v be (6/(-3))/(0 + -2). Solve -3*i = -f - v, s*f - 4*i = -2*i + 6 for f.
2
Let i = -6 - -8. Let g(u) = u**3 + 4*u**2 - 3*u - 7. Let d be g(-4). Suppose -i*p = -d*p. Solve -2*h + 9*t - 4*t + 16 = p, -t = -h + 5 for h.
3
Let d be 4 + -15*(3 + -2). Let b be -5 - d - (4 - 1). Solve -4*z + 14 = -b*j - 0*j, -4*j - 14 = -3*z for j.
-2
Suppose -77 = 4*x - 25. Let q = x - -26. Solve 2*c - 2*j - q = -c, 0 = 3*c - j - 8 for c.
1
Let z(l) be the third derivative of -l**4/12 - 7*l**3/3 + 3*l**2. Let j be z(-10). Solve -5*c + j*u = u - 25, -24 = -4*c + 5*u for c.
1
Let u be (-54)/24*2*2. Let o = -5 - u. Solve 4*c - o = -3*x, -2*c + 32 = -5*x + c for x.
-4
Let n be (8/14)/((-4)/(-14)). Let c = n - -7. Let v = c - 6. Solve z + 5*d = -v*z - 9, 2*z + 5*d = -7 for z.
-1
Let c = -5 - -9. Suppose 2*b + 2*b - 22 = -5*i, -2*i = c*b - 16. Solve -5*w = -5*j + 10, 5*j - b*w - w - 6 = 0 for j.
-2
Let k = 0 - -3. Solve 4*x = -5*q + 30, 5 = 3*x - k*q - 4 for x.
5
Let q(f) = -f**3 + 16*f**2 + 16*f + 22. Suppose 68 = -0*i + 4*i. Let x be q(i). Solve -2*m + 9 = x*p - 0, m - 9 = -4*p for p.
3
Let y = 6 - 4. Suppose -2*s - 9 = -3*a, y*a + 0*s - 5*s = 6. Let t(g) = -g**3 + 5*g**2 - 4*g + 2. Let n be t(4). Solve i = 3*i - n, a*p - 9 = -3*i for p.
2
Let i(s) = s**3 + 7*s**2 - 7*s + 8. Let x be i(-8). Let n(u) = -u**2 - 3*u + 1. Let h be n(x). Solve 11 - h = 5*f + 5*r, 5*f + 2*r - 13 = 0 for f.
3
Suppose 3*n + 37 + 2 = -4*x, -3*n = -4*x + 15. Let d be (-1)/((-6)/n - 1). Let g(r) = -r - 1. Let k be g(-1). Solve 4*h + d = -3*a, k = a - 0*a - h + 1 for a.
-1
Let c = -24 - -26. Let l(n) be the second derivative of n**4/12 + 2*n**3/3 - 5*n**2/2 - n. Let u be l(-5). Solve z + 3*z + m - 23 = u, 4*m - c = 2*z for z.
5
Let m be 7/2 - (-3)/(-2). Let w(j) = -j**2 - j + 12. Let g be w(0). Solve -y + 4*p = g, 3 + 3 = 4*y + m*p for y.
0
Let o = 112 + -104. Solve -v + 4*d + o = 0, 4*d = 7*d + 9 for v.
-4
Let q = 6 + -4. Suppose -3*z + q*f + 0*f = 1, 5*z + 3*f = 30. Suppose -z*l = l. Solve l = 5*m + 5*y, -3*m = -4*y - 2 + 9 for m.
-1
Let b(x) = -2*x**3 - 7*x**2 - 4*x. Let f be b(-4). Suppose 0 = -h - h + f. Solve -3*v - h = k, -4*v + 7*v = -3*k - 24 for k.
-4
Let j be (3 + 2/(-4))*2. Suppose -j*u = -4 - 16. Solve 2*o + 2*b - 4 = -0, -2*o + u = -b for o.
2
Suppose c - 36 = 36. Suppose 0 = -0*a - 4*a + c. Solve 4*o + 5*m - 4 + 6 = 0, -a = -5*o + 4*m for o.
2
Let t be 27/(-18)*16/(-6). Solve d + 2 = -2*i, t*i = 3*d + 4 + 2 for i.
0
Suppose -2*k = -4*k - 6. Let y be 3/(k/12*-4). Solve x + y*f + 2 = 5, -f - 7 = 3*x for x.
-3
Let f = 149 + -101. Solve 4*u = -16, 4*o - 16 = -3*u - f for o.
-5
Let d(x) = -8*x - 1. Let r be d(-2). Let m = -10 + r. Solve m = -2*a + 3*f + 17, -a - 2*f - 1 = 0 for a.
3
Let a(n) = n + 14. Let o be a(-12). Solve g = 3*y - 7*y + 14, -5*y + 11 = -o*g for g.
2
Let c(g) = -g + 5 + 0*g**2 + 2*g**2 - g**2. Let b be c(4). Suppose 0 = -3*p - l - l + 37, 4*p + 4*l = 48. Solve -a + b = 3*w, p = -3*w + 4*a + a for w.
4
Let g = 24 - -3. Let b be (2 - g/6)*-2. Let m = b - 3. Solve -3*p - m*h = -0*h + 7, 5 = 3*p + 5*h for p.
-5
Let z(g) = 2*g**3 - 1. Let v be z(1). Let f be (2 - 3)/(v/(-11)). Solve 8*i + 37 = 3*i + 3*l, -3*i - f = l for i.
-5
Suppose -2*z = -z - 1. Let k be (2/2)/z*4. Let j(t) = t + 2. Let f be j(k). Solve -2 = w, f*p - 3*p - 10 = 5*w for p.
0
Suppose 5*d = -2*i + 6*i + 55, -4*d - i + 23 = 0. Suppose 3 = 3*b - 5*t, 3*b + 7 = -b + 3*t. Let j = d + b. Solve 4*k = 4*x + 4 - 12, 0 = -4*x + j*k + 11 for x.
5
Let g(j) = j**3 + 4*j**2 - 8*j - 3. Let k be g(-5). Solve -n + k = 3*w - 6, 2*n + 4 = 2*w for n.
3
Let h = -20 - -30. Suppose 3*j + k = -3 + h, -5*j = 3*k - 13. Solve -3*z - j*m = 11, 8*z - 4*z = -2*m - 12 for z.
-1
Let i(r) = 2*r**2 + 5*r + 1. Let v be i(-4). Solve 3*h - 7*h - 5*u + v = 0, 2*h + 3*u = 7 for h.
2
Let b = -6 + 22. Suppose 3*j + v = 12, 0*j + 2*j - 2*v - b = 0. Suppose -j*y = -3*m, 0 = -5*m + 24 + 1. Solve y = -2*k - 5*a - 2, -2*k - 3*a - 7 = 0 for k.
-5
Let r(h) = 5*h - 6. Let l be r(4). Let a be 2/(-9) + 58/18. Suppose 4 = a*n - 2*n. Solve n*t + l + 6 = -4*j, 10 = -2*j + 3*t for j.
-5
Let c be (-2)/((-8)/(-12)) + 5. Solve 0*o + 19 = 5*a + 4*o, -c*a - 2*o + 8 = 0 for a.
3
Let a(u) = u**3 - 3*u**2 + 3*u + 1. Let q be 44/16 + (-2)/(-8). Let t be a(q). Suppose t = 3*n - 2. Solve 0 = -4*j + n*k + 8, k = -5*j - 2*k + 34 for j.
5
Let a be ((21/(-6))/(-7))/(1/4). Solve -z - 2*w + w = a, 0 = 5*z + 3*w + 4 for z.
1
Let r be (1 - (-20)/5) + -1. Solve h = w - 4 - 1, 4 = -r*h for w.
4
Suppose 0 = -0*t - t + 2. Suppose -t*n = 2 - 6. Let o(d) = 4*d - 2. Let f be o(n). Solve b + f*x = 2*x - 1, 4*b + 23 = 3*x for b.
-5
Suppose f = -f - 4. Let x be 1 + 0 + (-5 - 4). Let y = f - x. Solve 5*i + 7 = -2*c, y*c - 4*i = 2*c for c.
-1
Let y be (0/(7 - 3))/2. Suppose y = 5*r + 4*p - 66, -3*p = -5*r - 2*p + 71. Solve -4*a = 3*n + r + 3, 3*a - n + 16 = 0 for a.
-5
Let u(n) = n**2 - 4*n - 1. Let r be u(5). Suppose -3*h + 4*h - r = 0. Solve -i = m + h, 0*i = 4*m + 3*i + 13 for m.
-1
Suppose 45 = -3*g - 2*n - 43, -n = 5*g + 142. Let b be 6/3 - (-44 + 2). Let k = g + b. Solve -4*u + c = -16, c + k = 4*u + 2*c for u.
4
Let f = -17 + 21. Solve 0 = -r - f*p - 6, -r + 2*p = 0 for r.
-2
Let d(u) be the second derivative of u**4/12 + u**3 - 2*u**2 - 3*u. Let a be d(-7). Suppose a*k = k. Solve 0 = -2*w + p + 3, k = -w + 4*w + 3*p for w.
1
Let i(u) be the third derivative of u**5/60 + 5*u**4/24 + 7*u**3/6 - u**2. Let o be i(-4). Solve 0 = y - 4*a + 32 - 11, y + o*a = 7 for y.
-5
Let u = -61 - -66. Solve 0 = -2*r + 6, m - 2*m + u*r = 13 for m.
2
Let i = -9 + 12. Solve i*b - 5*v + 8 = 0, -2*b = 3*v - 8*v + 12 for b.
4
Let l = 44 - 41. Solve -3*m + 12 = l*y, -y = 2*y - 5*m + 12 for y.
1
Let o(x) = -x**3 - 5*x**2 - 5*x - 1. Let q be o(-5). Let y = -16 + q. Let r = -6 + y. Solve -r*w + 5*w = 4*p - 35, 2*w + 20 = 2*p for w.
-5
Suppose 4*g + 5*f + 0*f = -17, 4*f = -4*g - 16. Let p = 1 - g. Solve 2 = -5*t + 5*h + 7, p*h = 4 for t.
2
Let z(o) = o**3 - o**2 + o + 3. Let k be z(0). Suppose 20 = 4*i + 4*u, -25 = -5*i - 0*u - k*u. Let h = -7 + 12. Solve h*a + i*n - 7 = 2*a, 5*a = 3*n - 11 for a.
-1
Suppose -r = 8*r. Solve 0*c - 2*c + 3*b - 10 = 0, r = -3*b + 6 for c.
-2
Let k(m) = m**3 - 2*m**2 + 7*m - 5. Let p be k(2). Solve -5*g + 1 = -2*t + 8, 0 = -3*t + g - p for t.
-4
Suppose -6*o + 12*o = 0. Solve -k = 2*j + 2, o*j - j + 21 = -5*k for k.
-4
Let b(n) = n**2 + 10*n + 12. Let p be b(-9). Solve 6 = 3*i - p*f, -7 = i + 2*f + 6 for i.
-3
Suppose 2*b - 4 - 1 = -3*f, -4*f = -4*b + 40. Let g(s) = s - 2. Let q be g(b). Solve -3*z - 2 + 14 = -2*a, 20 = q*z + 4*a for z.
4
Suppose -b = -2*b + 4. Suppose -i = b*i - 25. Solve 2*r + 2 = 2*p - 4, -i*p + 3*r + 9 = 0 for p.
0
Let x(c) = -c. Let o be x(-3). Let p be (o/(-6))/(1/(-4)). Suppose -3*t = -p*y, 0 = 5*y - y. Solve t = 2*l + 4, -2*l = 2*n - 4*n - 6 for n.
-5
Suppose -8 = -2*s + 2*d, -d + 0*d - 1 = 0. Solve 2*r + s = -3*a, 4*r - a + 10 = -3 for r.
-3
Let m = -122 - -134. Solve -3*j - 2*y + 22 = -6*j, -m = -2*j - 4*y for j.
-4
Suppose 3 = 2*t - 3. Suppose -7*m + 94 = -32. Solve -t*o - i - 10 = 0, 0 = 5*o + i + 2*i + m for o.
-3
Suppose 0 = -3*a - 11 + 2. Let r be ((-1)/a)/(2/24). Solve r*h + o = -2, 2*o + 6 = -3*h