 + 14*s - 13. Let i be f(9). Suppose 20*b - 24*b + i = 0. Solve -h - 3*h = b for h.
-2
Let f(q) = -q**3 + 4*q**2 + 10*q + 25. Let v be f(6). Solve v*l + 12 = 10*l for l.
-4
Suppose 7*d - 2*d = 30. Suppose -d*g + 20 = -2*g. Solve g*z = -18 + 3 for z.
-3
Suppose 0 = -7*x + 2*x - 5*d + 15, x + 3 = 5*d. Let h = 0 + x. Suppose 4*n - 22 = h. Solve -2*a + n*a = 12 for a.
3
Let s(n) = n**3 - 6*n**2 + 5*n - 13. Let w be s(4). Let p = 25 + w. Solve -y = -p*y for y.
0
Suppose 4*r - 28 = -3*d, -3*d - 2 = -2*r - 6. Solve d*x - 15 = -35 for x.
-5
Let a = -467 - -471. Solve x + 5 = -a*x for x.
-1
Let r(z) = -4*z**2 + 3*z - 5. Let f(i) = -3*i**2 + 2*i - 5. Let c(l) = -5*f(l) + 4*r(l). Let g be c(0). Solve -u = -0*u - g for u.
5
Let b = -12 - -28. Let d = 195 - 193. Solve d*u - b = -2*u for u.
4
Suppose 3*a = -2*a - 3*v + 11, 5*a - 3*v = 29. Suppose -h + 12 = 3*h. Suppose -h*i + 2*i = -12. Solve o + i = a*o for o.
4
Let q be ((-120)/(-35))/(-2*1/(-7)). Solve 0 = -u - 11*u - q for u.
-1
Let d = -1404 + 1409. Solve -d*g - 11 = -16 for g.
1
Suppose -55*d = -47*d - 184. Solve -d*w + 22*w = 3 for w.
-3
Let a = -439 + 444. Solve 0 = -30*j + 35*j - a for j.
1
Suppose u - 18 = 3*b, -18*u + 23*u + 2*b = 56. Suppose 94 = 5*g + 14. Suppose 0 = -4*r + 3*r - 5*d - 18, -3*d - g = -2*r. Solve 0 = -r*a - a + u for a.
4
Suppose 2*m + 5*n = 40, -15*m = -10*m - n - 73. Solve -v = 4*v + m for v.
-3
Suppose -3*k = -5*d - 79, 0 = 5*k - 2*d - 11 - 89. Solve k = 3*f + 21 for f.
-1
Let j(z) be the third derivative of -z**4/12 + 3*z**3 + 14*z**2. Let b be j(9). Solve o + b - 5 = 0 for o.
5
Let n = 21 - 30. Let o(r) = -r**3 - 11*r**2 - 19*r - 9. Let s be o(n). Solve s = -2*y - 8 for y.
-4
Suppose t = 3*v - 47, -32 = -12*v + 9*v - 2*t. Solve 28 = -v*p + 7*p for p.
-4
Let q(f) = 3*f + 6. Suppose 0 = 21*g - 29*g + 40. Let j be q(g). Solve 5*a = 1 - j for a.
-4
Let m = -42 - -44. Suppose -8*o + 18 = -m*o. Solve -o*v + 25 = -8*v for v.
-5
Let f be ((-15)/10)/((-18)/12). Suppose -l + 0 + f = q, 2*q - l - 17 = 0. Solve -p = 2*p - q for p.
2
Suppose -27*j + 9 + 45 = 0. Solve j = -t - t for t.
-1
Suppose -25 = x - 6*x. Suppose 5*v + 4*u - 1 + 9 = 0, -3*u = -4*v + 6. Solve -20 + v = -x*n for n.
4
Let s(p) = -p**3 - p**2 + p. Let b be -4*(5 - 6 - 3/(-2)). Let m be s(b). Solve -m*i - 3 = -i for i.
-3
Let p(q) = q**2 - 2*q + 3. Let g be p(7). Suppose -g = 4*i + 42. Let m be (-6)/8 + (-75)/i. Solve 2*w - 3*w = -m for w.
3
Let b(o) = 21*o - 116. Let i be b(6). Solve i*s + 25 = 15*s for s.
5
Suppose 592 = 2*v + 6*v. Let x = -74 + v. Solve p = -x*p for p.
0
Suppose 3*l = -2*c + 5 + 1, -5*c = -2*l + 4. Let z be (1*2 - (-2 + l))/1. Solve 0*s = -z*s for s.
0
Let j = 8 + -2. Suppose l = j*l. Suppose 0 = -2*z + 2, 3*h - 2*z - 10 = l. Solve 0*q = -h*q - 12 for q.
-3
Suppose 8*b - 24 = 72. Suppose -2*c = 4*r - 20, b = -0*c - 2*c + 4*r. Solve 0 = c*v - 0 + 6 for v.
-3
Suppose 0 = 4*x + 2*j - 28, 3*x + 3*j - 35 = -2*x. Let n(g) = -g**3 + 6*g**2 + 9*g - 14. Let i be n(x). Solve i = -5*p + 9 + 1 for p.
2
Let m(y) = -77 - 39 + y**2 + 89 + 7*y. Let h be m(-10). Solve -p + 20 = h*p for p.
5
Let h = 173 - 104. Suppose 5*g + 14 = h. Solve 0 = -4*v + 9 + g for v.
5
Let i(y) be the third derivative of -7*y**4/24 + y**3/6 + y**2 + 4*y. Let o be i(-1). Solve 3*m - 25 = o*m for m.
-5
Suppose i - 6*i - 3*o = 11, -5*i - 35 = -5*o. Let w = 8 + i. Solve l = -1 - w for l.
-5
Let d be (-2*(3 - 2))/(-1). Suppose -114 = -0*b + 3*b. Let g = -38 - b. Solve -d*z = -g*z for z.
0
Let w(j) = -j**2 + 8*j - 7. Suppose -3*h = 2*m - 8*h - 9, 0 = 2*m + h - 15. Let d be w(m). Suppose 2*u - 4*f - 1 = 23, u - f - 7 = d. Solve 0*p = u*p for p.
0
Let f = 413 + -395. Solve 0 = 3*a + 3*a - f for a.
3
Let p(d) = d**2 - 7*d + 4. Let t be (-18)/(9/(-3)) + 1. Let x be p(t). Let j be (-4)/x*(-1 + 1). Solve 3*w - 2*w - 1 = j for w.
1
Let s(o) = -o**3 - 23*o**2 + 25*o + 29. Let j be s(-24). Suppose j*f - 4*f = 20. Solve -2*h = -7*h - f for h.
-4
Let o(t) = -2*t**2 + 2*t + 7. Let u be o(3). Let p(s) = -s**3 - 4*s**2 + 3*s - 6. Let y be p(u). Solve -y*c = -0*c + 16 for c.
-4
Suppose -z - z + 8 = 0. Let w(y) = y**3 - 4*y**2 - y + 5. Let j be w(z). Let t be (6/2 - 1)*j. Solve 0*a + 10 = -t*a for a.
-5
Suppose -2*f - t - 4*t = -92, -3*t = -2*f + 60. Suppose -4*h + 46 - 2 = m, 2*h - f = -4*m. Let z = -4 + h. Solve 6*p = 3*p - z for p.
-2
Let t = -13 + 18. Suppose 0*u - v = -u, 5*u = 4*v + t. Solve 6 = r + u for r.
1
Suppose 0 = 167*b - 157*b - 110. Solve 4*p + b = -1 for p.
-3
Let n be 6/(-4)*((-160)/24 + -2). Solve 3 = -2*y + n for y.
5
Let z(q) = -q**3 - 10*q**2 + 12*q + 14. Let d be z(-11). Let g = d + 6. Solve -s + g = 2*s for s.
3
Let b = -16 - -27. Let z(n) = -n - 10. Let q be z(-13). Solve -4*s - b + q = 0 for s.
-2
Suppose -w = -4*w. Suppose 14 = s + 3*o, w = 5*s - s - o - 4. Suppose -4*k + 10 - s = 0. Solve -5 = x - k*x for x.
5
Let k be 1 - 2 - (1 - 7). Suppose 0*v - k*v = 0. Let o be 244/28 - 7 - (-6)/21. Solve 3*u + o*u - 25 = v for u.
5
Let f be 1073/259 - 12/(-14). Solve 10*z = f*z + 20 for z.
4
Suppose 2*y - 7 = -m + 3*y, -4*y - 16 = 0. Suppose -m*d + 4 = -2. Suppose -2*b = -11 - 3. Solve d*z - b = -3 for z.
2
Let g(f) be the first derivative of f**4/4 - 2*f**3 - f**2/2 + 8*f + 19. Let i be g(6). Solve a - i = -0 for a.
2
Let z(b) = 5*b + 57. Let v be z(-17). Let t = v + 37. Solve 4*i = t + 11 for i.
5
Let m = 42 + -36. Solve s + 21 = -m*s for s.
-3
Let s(w) = 5*w - 1. Let a be -3 - 2*60/8. Let i = 20 + a. Let k be s(i). Solve 0 = -x - 2*x - k for x.
-3
Let h = -352 - -358. Solve 0 = -6*o + 4*o - h for o.
-3
Let t(l) = -3*l + 24. Let s be t(7). Let u be (-1)/s*4*15/(-10). Solve u*a = 10 - 0 for a.
5
Suppose 5*w + 0*w = 0. Suppose 2*x = 5*d + 80, w*x = -x + 2*d + 42. Let l be x/12 - 6/36. Solve l = -o + 9 for o.
5
Let s(k) = -4*k - 63. Let f be s(-16). Solve 3*m + f = 4*m for m.
1
Let k be ((-7)/14 - -2)/((-6)/(-52)). Suppose 5*r + k - 28 = 0. Solve 0 = -r*t + 2 - 17 for t.
-5
Let x be 8 + -2 + -2*1. Let n = 3 - 1. Suppose -45 = -13*a - 6. Solve -a*s = -x - n for s.
2
Suppose -2*t = 2*q - 6, -5*t + 0*t = -q - 39. Let g = 13 + -8. Suppose -g*b - 6*x = -2*x - 112, 3*x = 2*b - 31. Solve -3*w - b = -t*w for w.
5
Let d(k) = -k**3 + 5*k**2 + 2*k - 9. Suppose -10*o + 45 = -o. Let t be d(o). Solve -3*m = 7 - t for m.
-2
Suppose q - 5*q + 5*j = -28, 2*j = -q - 6. Suppose -9 = g + 3*s - q, -3*g + 39 = -3*s. Suppose -g*u = -6*u. Solve u - 20 = -4*p for p.
5
Let p(d) = -d**3 + 3*d**2 + 16*d - 30. Let x be p(5). Solve x = 6*w - 3*w - 6 for w.
2
Let y = -132 - -58. Let o = y - -86. Solve 3*c - 6*c + o = 0 for c.
4
Let x = -28 + 35. Solve 2*i = x*i - 20 for i.
4
Suppose 0 = -6*p + p - 65. Let f(i) = i**2 + 9*i - 42. Let l be f(p). Solve -l*u = -6*u - 20 for u.
5
Let t(a) = 4*a + 12. Let w be t(-3). Solve d + w*d + 5 = 0 for d.
-5
Let b(o) = o. Let x = -9 - -13. Let q be b(x). Solve -q*f = -2*f - 4 for f.
2
Suppose -4*q = q - 2*m + 32, -q - 16 = 2*m. Let j = -4 - q. Solve v + 0*v - j = 0 for v.
4
Suppose -13 = -2*z - z - l, 3*z - 7 = -4*l. Suppose -2 = -z*a + 4*j - 7, -5*a + 5 = -2*j. Solve 8*w - a*w - 10 = 0 for w.
2
Let d = -17 + 23. Suppose d*z = 2*z + 16. Solve z*n = -1 + 5 for n.
1
Let k be -4*4/(0 + -8). Suppose -4*b = -0*g + 2*g - 14, -2*b + 4 = -k*g. Solve -b + 5 = -z for z.
-2
Let j be (15/(-20))/((-27)/1440). Solve -j = -3*l - 5*l for l.
5
Let s = 129 - 132. Let h(d) = d + 3*d + 5 - 3*d. Let w be h(s). Solve w = g - 2 for g.
4
Let y(s) = s**2 - 2*s + 4. Let i = -28 - -45. Let u = i + -17. Let c be y(u). Solve -1 = -f + c for f.
5
Let w = -3 - 3. Let b(q) = q + 6. Let n be b(w). Suppose 0*c + c - 12 = n. Solve 0 = -h + 5*h + c for h.
-3
Let r = -103 - -52. Let p = 55 + r. Solve x - p = 2*x for x.
-4
Let p(b) = b + 12. Let l be p(42). Solve -l*j + 14 = -47*j for j.
2
Suppose 6*w = -29 + 83. Solve 6*f - 9 = w for f.
3
Let h be 6 + 18/(-3) - (-62)/2. Let c be h/8 - (-1)/8. Solve 0*b = c*b for b.
0
Let s be 136/12 - (-1)/(-3). Let n = s - 34. Let b = 23 + n. Solve 5*c - 17 - 8 = b for c.
5
Let t be (-3)/(-5) - 4/(-20)*37. Solve -2*k + t + 0 = 0 for k.
4
Let w(o) = -o**2 - 10*o. Let a be w(-9). Solve -5*p + 8*p = -a for p.
-3
Suppose 0 = 5*d + 2*d - 14. Suppose d*j - 21 + 8 = -h, h = -5. Solve 2*o = -o - j for o.
-3
Let n(u) = -9*u**2 + 1. Let f(j) = 14*j