tive of d**4/12 - d**3 + d**2 - d. Let w be t(6). Solve -3 = w*f + k for f.
-4
Let q(u) = u**2 - 7*u + 11. Let b be q(5). Let w be ((-2)/(-6))/((-2)/(-48)*b). Solve 3 - w = t for t.
-5
Suppose -6*a = -9*a - 132. Let c be (-1)/((-172)/a + -4). Suppose -55 + c = -4*r. Solve -5*y - 36 = -r for y.
-5
Suppose -2*s + 9 = -3*s + 2*k, 4*s + 5*k + 36 = 0. Let z = -4 - s. Suppose 35 = 3*h - z*g, h - 5*g + 5 = 6*h. Solve 0 = h*d - 9 - 6 for d.
3
Suppose 2*u - 10 = -2. Let w = 18 + -13. Suppose 9*x = u*x + w. Solve -7 = 2*r - x for r.
-3
Let m = 293 + -293. Solve m = i - 2*i for i.
0
Suppose 0 = 457*w - 448*w - 36. Solve 0 = -w*x + 47 - 59 for x.
-3
Suppose z + 17 = 2*z + 3*y, 4*y = z - 45. Suppose -4*v = s - 22, 2*s = -0*v - 3*v + z. Solve -4*b + 2 = s for b.
-2
Let r = -11 - -17. Suppose 0 = 5*x + 25, 5*x = 2*b - b - 31. Let c(w) = -w**2 + 5*w + 8. Let g be c(b). Solve g*y - r = -2 for y.
2
Let q = -12 + 15. Let w be 5 + (-3)/(q/1). Solve w*t = t for t.
0
Let a = 15 + -13. Let b be (4/14)/(a/14). Suppose b*z + 10 = 7*z. Solve 7*x = z*x - 5 for x.
-1
Let b = -724 + 786. Solve 59*z = b*z + 6 for z.
-2
Suppose -8*o = 12*o - 140. Solve -o = 5*f + 18 for f.
-5
Let f be 6*1/2 - 95/(-19). Solve f*t - 15 - 1 = 0 for t.
2
Suppose 0 = c - 4, 2 + 10 = 4*b - c. Solve 0 + 8 = -b*h for h.
-2
Let s(d) = d**3 + 6*d**2 - d + 7. Let k be s(-6). Let z = -27 - -35. Let c = z - 5. Solve c*l + k - 1 = 0 for l.
-4
Let c(n) = -3*n + 94. Let v be c(19). Solve 35*k = v*k - 10 for k.
5
Let d = -774 - -799. Solve 0 = -5*s + d for s.
5
Let x = -214 + 377. Let r = 165 - x. Solve c + 6 = -r*c for c.
-2
Let f be 4/(-22) - (-744)/(-22). Let y = f - -35. Solve 2*q + y = q for q.
-1
Let z = -67 + 79. Suppose 3*h = -w + z, w = h + 4*h - 20. Solve 2*i + 3*i + 10 = w for i.
-2
Let b be ((-1)/(-3))/(4/24). Let h be ((-2 + b)/3)/1. Let q be 5 + 6/(-4)*4/6. Solve 4 = q*i - h*i for i.
1
Let a(c) = -9 - 52*c - 2 + 50*c. Let i be a(-7). Suppose -8*u = -5*u - 9. Solve 0 = u*l + 6 + i for l.
-3
Let i(x) = 2*x + 14. Let m be i(0). Let t be 10*((-4)/(-10) + 0). Suppose 2*j = l + 1, -6*j + 2*j + 20 = 4*l. Solve t*h = -m + j for h.
-3
Let h(a) = a**2 - 6*a + 5. Let q be h(6). Suppose 0 = q*i - 34 - 6. Let g = i + -3. Solve 0 = -0*l + g*l for l.
0
Let o(d) = d**2 - 4*d - 5. Let r be o(-1). Let w = -57 - -60. Solve r = w*h - 8*h for h.
0
Let p = 122 - 122. Solve p = 2*a + 6 + 4 for a.
-5
Suppose -22*a + 36 = -18*a. Suppose -a*n - 5*n = -2*n. Solve 2*s = -n*s - 6 for s.
-3
Let k be 1 - 16 - (7 - 7)/1. Let i be (-14)/(-105) + (-43)/k. Solve 7*q = i*q for q.
0
Suppose -302 = -3*w - g + 63, 3*w - 2*g = 368. Solve w = 6*n + 140 for n.
-3
Let l = 3 - -1. Suppose 0 = -2*p - 4*h + 20, -p - 4*h + 0 = -8. Suppose -3*y + p = 0, 3*c + 18 = 2*y + 97. Solve -c + l = 5*d for d.
-5
Let q = -6 + 13. Suppose 3*a = q*a. Suppose -d + 3*d = a. Solve -y - 4*y + 15 = d for y.
3
Let s be 4/(-10) + (-204)/(-10). Let w be 1/3*(s - 14). Solve -t - w = -7 for t.
5
Let r = 9 + -9. Let n be 3/(3 - r)*-24. Let x = -9 - n. Solve 3*l = -0*l + x for l.
5
Suppose 2*p - 3*p - 5*h + 1 = 0, h = p + 5. Let t be (-12)/p - (-1 - -1). Suppose -3*w - 25 = -8*w + y, -7 = -t*w - y. Solve -3*a = -4*a - w for a.
-4
Let y = -31 + 64. Let p = y + -29. Suppose -p*d = 5*m - 32, 4*m - m - 26 = d. Solve -l - m = -3*l for l.
4
Let x = 18 + -59. Let l = x - -47. Solve 0 = -4*t + 26 - l for t.
5
Let v = -14 + 2. Let d = 16 + v. Solve d*u - u + 3 = 0 for u.
-1
Let b = -41 - -38. Let n be 4 - (1 + b - -1). Solve n = -f - 0 for f.
-5
Let l be 0/(-30 + 30 - (-1 - 0)). Solve l = -6*d - 2*d + 40 for d.
5
Let v be (-2)/(-3 - (-20)/8). Suppose 0 = -m - v*m - 10, 0 = -5*x + 4*m + 13. Solve 3 = -w - x for w.
-4
Let p be (-6)/(-9)*15/2. Suppose 3 = p*k - 22. Let j(l) = -8*l**3 - 1370*l**2 - 339*l + 518. Let c be j(-171). Solve -k*s + 0 = c for s.
-1
Let t(f) = -4*f**2 - 2*f. Let i be t(-2). Let j = i + 16. Suppose j*q = -q. Solve q = -o - 6 + 1 for o.
-5
Let a(t) = -t**3 - 8*t**2 + 9*t + 6. Let b be a(-9). Suppose -4*n = 5*m - 7*n + b, m - 2 = -n. Let i be (2 - -3)/(2/6). Solve m = j + 2*j - i for j.
5
Let m(d) = 7*d**2 - d + 1. Let z(f) = -f**2 + 5*f - 4. Let o be z(3). Suppose 4*c - 2*h = -o, 3*c - 2*h + 1 + 2 = 0. Let g be m(c). Solve g = 2*x + 1 for x.
3
Suppose 4*o = -16, 5*y + 2*o = -0*o + 22. Suppose -2*f + y*f = 100. Let p(z) = 3*z**2 + 20*z - 48. Let c be p(2). Solve u + f = -c*u for u.
-5
Let u be -1 + (-4)/(-4) + 6. Let h be (1*u)/((-36)/(-24)). Solve -3*b = -b + h for b.
-2
Suppose -21 = -282*l + 283*l + 5*q, -l = -2*q - 14. Let m(o) = 14*o**2 - 2*o - 1. Let d be m(-1). Solve -h - l*h = d for h.
-3
Suppose 2*f + 0*f - 4 = 0. Suppose f*g - 10 = -4. Suppose 5*q - 40 = 2*l, 0 = g*q - 0*l + 5*l - 24. Solve -5*p - 9 = -q*p for p.
3
Let y = 221 + -221. Let x(o) = o**3 + o**2 - o + 4. Let z be x(0). Solve -h = -y*h + z for h.
-4
Let w be (-1)/((-1 - 0)/2) - 0. Solve 6*h = -14 + w for h.
-2
Let u(n) = -n + 2*n - 2*n + 2*n. Let f be u(8). Solve -2*k + f = -0*k for k.
4
Let n(y) = 2*y**2 + 54. Let p be n(0). Suppose 0*d = 3*d + r - p, 3*d + 2*r - 57 = 0. Solve 5*j = -7 + d for j.
2
Let v(k) = -2*k + 19. Let d be v(8). Let h = 6 - 3. Suppose h*t - t - 2 = 0, -3*l = -d*t. Solve 0 = 2*z - l - 5 for z.
3
Let m(c) = -115*c - 1033. Let g be m(-9). Let z(o) = o**2 + o + 10. Let q(n) = -n**3 - 3*n**2 - n - 3. Let x be q(-3). Let j be z(x). Solve -j = g*v - 4 for v.
-3
Suppose -4*l - 12 = -3*s - 2*l, -2*s + l + 7 = 0. Suppose d - 4 = s. Solve -d*u = -u - 20 for u.
4
Let f(z) be the third derivative of 0*z**3 + 1/60*z**5 + 0 + 0*z - 8*z**2 - 1/6*z**4. Let w be f(5). Solve w = -i - 4*i for i.
-1
Let m be (-23)/(-7) + 4/(-14). Suppose m*v + 3*b = 15, -6*b = -5*b. Let k(a) = a**3 - 5*a**2 + 2. Let t be k(v). Solve -2*i + 0 = t for i.
-1
Let k = 146 + -142. Solve -49 = -k*i - 33 for i.
4
Let p be 3/(-15) + 64/(-5). Let d = 18 + p. Suppose d = 2*t - 5*y + 19, -3*y + 18 = 2*t. Solve 8*i - 20 = t*i for i.
4
Let i(z) = z - 10. Let b(p) = p - 10. Let k(s) = -3*b(s) + 2*i(s). Let u be k(6). Solve 2 = r + u for r.
-2
Let a(x) = -x**2. Let m be a(-3). Let b = 46 - 36. Let z = m + b. Solve 5*n - 6 = -z for n.
1
Let o = -21 - -23. Let s(a) be the second derivative of a**4/3 - a**3/3 - a**2/2 - 4*a. Let x be s(o). Solve -x = -3*j - 2 for j.
3
Suppose -30*h + 55 = -395. Suppose -11 = -3*s + 13. Solve -h*o = -11*o - s for o.
2
Suppose 0 = -4*j - 5*b + 110, 5*j + b = -b + 146. Let m = j + -25. Solve 0 = m*p + 5 for p.
-1
Let f be ((-62)/(-4))/(1/(-2)). Let i(y) = y**2 + 17*y + 35. Let d be i(-9). Let k = f - d. Solve -2*v + k = v for v.
2
Let d = -3 - -7. Suppose 145 = d*f - 687. Let x be f/20 - 4/10. Solve 5 = 5*o - x for o.
3
Let r(d) = d**3 + 10*d**2 + 12*d + 27. Let t be r(-9). Solve -4*b + t*b = 0 for b.
0
Let c(g) = -31*g - 229. Let o be c(-8). Solve 0 = -3*i - 4 + o for i.
5
Let c be 0*4/8*2. Solve 2*y + c*y = 10 for y.
5
Let b be 2/(-1 - -3) + -2 + 1. Solve 8*w - 38 + 6 = b for w.
4
Let a(g) = g**2 - 2. Suppose -y - 4 = y. Let v be a(y). Solve 5 - v = -i for i.
-3
Suppose -3*q + 15 = -60. Let l be ((-27)/6)/(-3) - 3/(-6). Solve -3*d + q = l*d for d.
5
Let m(x) = x + 11. Let l(o) = o**2 + 7*o - 18. Let y be l(-8). Let b be m(y). Solve z + b = -4 for z.
-5
Let d be (-3 - 56/(-4)) + -4 + 2. Solve 5*h - 4 = -d for h.
-1
Let g = -3 - -9. Suppose -5*s = -g - 49. Let d be (s + -4)*8/14. Solve r = d*r for r.
0
Suppose 16*p - 6 = 14*p. Solve p = -5*d + 8 for d.
1
Suppose -208 = -86*g + 73*g. Solve -11*d + g*d = 10 for d.
2
Suppose -5*s = -3*j + 11, -1 + 0 = -2*j - 3*s. Let v be 16/(-6) + j + 2/3. Solve v*a = -5*a for a.
0
Let x = -30 - -12. Let c = -13 - x. Solve j - c = 2*j for j.
-5
Let m(i) = -2*i - 9. Let c be m(-8). Suppose 3 = -k, c = 4*v - k - 12. Suppose -7*q + 2*q - 5*h - 10 = 0, v*h = -q - 17. Solve -6 + q = 3*d for d.
-1
Let k = -191 + 129. Let f = 65 + k. Solve 0*c + 6 = -f*c for c.
-2
Let t = 1414 - 1396. Let l(f) = -6 - f**2 + 2*f**2 + 19*f - 2*f**2. Let d be l(t). Solve -5*s = -s - d for s.
3
Suppose -4*f - 3*t = 1011, -2*f - t - t = 504. Let m = f - -259. Suppose 10 = -0*n - 5*n - 4*r, 0 = 2*n - 4*r - 24. Solve -n*b = -m*b for b.
0
Suppose 8 = 2*g + 5*n, 10*g - 6*g - 5*n - 16 = 0. Solve -5 = -3*y + g*y for y.
-5
Let r = -41 + 48. Suppose 2*j - r = 1. Solve j*b = b + 15 for b.