t m = 8 + -6. Suppose 0 = -m*a + h + 4*h - 4, h + 13 = 5*a. Solve -t = -0*f - a*f for f.
2
Let z(y) = -y**2 + 47*y + 5. Let r be z(0). Solve 15 + r = -5*a for a.
-4
Suppose -p + 51 = 47. Solve -p*r = 33 - 49 for r.
4
Let c(v) = -v**3 + 8*v**2 + 10*v - 3. Let g(r) = 2*r + 13. Let q(h) = h + 14. Let f(d) = -3*g(d) + 2*q(d). Let k be f(-5). Let n be c(k). Solve n = b + 1 for b.
5
Let y = -16 + 38. Let u be y*3*(-1)/(-2). Suppose -5*v - m + 15 = -6*m, 0 = 3*v + 5*m - u. Solve n = -3 + v for n.
3
Let m = 25 - 19. Let p = -42 + m. Let k = p - -36. Solve -5*t + 4*t - 1 = k for t.
-1
Suppose 29 = 5*y + 9. Let s = -2314 + 2316. Solve y*i - s*i = -6 for i.
-3
Suppose 0 = -18*v + 20 + 16. Let m be (-1)/(-3)*12/28*7. Solve v*r - r - m = 0 for r.
1
Let g be (5 - 2) + 33/33. Solve 13 = -g*i + 5 for i.
-2
Let j be 200/(-75)*6/(-4). Solve -j*k = 2*k for k.
0
Let w = 136 + -137. Let i be -2 + (2 - (w + -4)). Solve -7*f = -i*f + 4 for f.
-2
Let b be (-6)/14 + (-7667)/(-119). Let o = b + -49. Solve 5*p + o = 2*p for p.
-5
Let c be (-2*(-1 - -2))/(2/(-4)). Suppose -c*w - 4*r + 32 = 0, 3*w - r + 0*r = 40. Solve -3*p + w = p for p.
3
Suppose -2*a = -3*u - 7*a - 5, 3*u - 23 = 2*a. Let q(j) = -j + 14. Suppose 2*f - 4*p = p - 5, 15 = 3*f - 3*p. Let g be q(f). Solve -25 = g*o - u for o.
-5
Let j = 17 - 18. Let w = j - 5. Let d be 190/45 + w/27. Solve -d - 6 = 2*u for u.
-5
Let g be (4 - 0/7) + (-108)/(-3). Solve g = n + 7*n for n.
5
Let o be (3 + -3)*(16 - 15). Solve o = 19*f - 11*f + 24 for f.
-3
Let p(o) = o + 9. Let q be p(-9). Let u(i) = -i**2 - 15*i - 13. Let x be u(-6). Let g = x - 35. Solve q = b + b + g for b.
-3
Let g = -53 + 5. Let s be g/18*(-6)/4. Suppose 0 = 5*y - s*i - 12, 2*y - 3*y = -5*i - 15. Solve 5 + y = 5*k for k.
1
Suppose 0 = -3*o + 15. Suppose -3*z + 5 = o*f - 8*z, -3*f - 3*z = -3. Suppose x - 4 = -f. Solve 0 = -x*n + 17 - 5 for n.
4
Suppose -36*y + 11*y = -175. Solve 0 = 4*p - y*p - 3 for p.
-1
Let w = -34 - -55. Let a be w/14*((-16)/(-6))/2. Solve -3 = a*x - x for x.
-3
Suppose 0 = g + 3*w - 2, -4*w - 2 = -3*g - 9*w. Suppose -4*x - 3*z + 2*z = -22, 19 = 3*x + 2*z. Let f = x - g. Solve -f*a + a = 10 for a.
-2
Suppose -504*d + 503*d = -4. Solve -3*j = d*j - 21 for j.
3
Suppose -5*y + 2*s + 603 = 5*s, -2*y - s + 241 = 0. Suppose -10*w = 5*w - y. Solve 4*v = 2*v + w for v.
4
Let j(u) = u**3 + 4*u**2 + u. Let t = -21 - -19. Let s be j(t). Suppose 0 = 4*v + s - 18. Solve -v*a - 5 = -20 for a.
5
Let r be 0 - (-8 - (-12 - -6)). Suppose 3*s + 3*h = 12, 4*s - 2*h = 3*s - 8. Solve r*w - 4*w = s for w.
0
Suppose -4*j + 4*r = -40, 10 = -j - 7*r + 3*r. Suppose j*h = 2*h + 16. Solve -3*w = h - 13 for w.
3
Let f(k) = 23. Let m(a) = -a - 24. Let o(p) = -3*f(p) - 4*m(p). Let j be o(-6). Solve w - j*w = 10 for w.
-5
Let a(f) be the third derivative of -f**6/120 + f**5/20 - f**4/24 + f**3/6 - 24*f**2. Let r be a(2). Solve -c - 2 = -r*c for c.
1
Suppose -5*y + 12 = -13. Suppose -2 + y = i. Suppose q = -i*m - 9, 5*q = -2*m - 0*m - 6. Solve 3*w - 8 + 20 = q for w.
-4
Let f(b) = -b**2 + 179. Let n be f(-13). Solve 7*y + n = 9*y for y.
5
Let d(p) = p**3 + 11*p**2 - 14*p - 18. Let z be d(-12). Suppose -28 = 3*s + 2*h, -h + 5*h = 3*s - 2. Let u be z/(-8) - s/8. Solve u = -3*m - 2*m + 10 for m.
2
Let y = 22 - 40. Let p = y + 19. Solve -p = 3*k - 4 for k.
1
Suppose -4*j = 2*l - 4, -2*l + 3*l + 10 = 4*j. Suppose -j*b - 5*q = -10, 5*q - 6 = 2*q. Suppose -f + 3*f - 2 = b. Solve -t - f = 3 for t.
-4
Let w = 530 - 512. Solve 0 = 10*u - 4*u + w for u.
-3
Let l(k) = 3*k + 6. Let c(p) = p - 1. Let r(a) = -4*c(a) + l(a). Let u be r(7). Solve -5 = -4*m + u for m.
2
Let w(k) = k**3 + 19*k**2 + 20*k + 36. Let g be (24/(-2))/(12/18). Let l be w(g). Solve -2*t + 5*t = l for t.
0
Let o be ((-6)/((-96)/(-28)))/((-2)/8). Solve 0 = 5*t - o*t + 6 for t.
3
Suppose -38*r = -32*r - 126. Solve -5*h = -1 + r for h.
-4
Let x(l) = -l**3 - 8*l**2 + 20*l. Let c be x(-10). Solve -p + 0 - 5 = c for p.
-5
Let z(c) = c**3 - 7*c**2 - 8*c - 7. Suppose -32 + 0 = -4*o. Let f be z(o). Let g(v) = v**3 + 7*v**2 + 8. Let j be g(f). Solve q = -q + j for q.
4
Let w = 2434 + -2433. Let i = -6 - -9. Solve -w = -v + i for v.
4
Let l be (-18)/(-1 + 4)*1/(-2). Suppose -9*j + l*j = -90. Solve 5*i + 5 = j for i.
2
Let r(s) = 1. Let o(i) = 3*i + 12. Let f(v) = -o(v) + 2*r(v). Let u be f(-10). Suppose 7*d - 2*d - u = 0. Solve d - 9 = x for x.
-5
Let h = -436 + 287. Let c = -104 - h. Suppose 0*g - c = -3*g. Solve 3*x = -0*x + g for x.
5
Let x = 394 - 378. Solve 4*q - 4 = x for q.
5
Suppose -3*d + 4 = 2*p - 0, -4*p - 4*d = -12. Let i be (-2)/(-6) + (-1)/3. Solve i + p = -k for k.
-5
Suppose g - 6 = -b - 4*g, -4*b = 2*g - 24. Solve b*t + 12 = -6 for t.
-3
Let n = -5 - -9. Suppose 0*g - 4 = -n*g. Let w = -3087 - -3089. Solve g = -i - w for i.
-3
Let p be (-6 - 0) + (-22 + 4)/(-2). Let s(x) = 5*x**2 + x - 1. Suppose 4 - 3 = h. Let j be s(h). Solve -2 + j = p*l for l.
1
Suppose 3*x + 1 = 4*f, -4*x + 2*f - 8 - 10 = 0. Suppose -3*k + 33 = -3*n, 3*n - 5*n + 50 = 4*k. Let p = x + k. Solve -p*l = -3 + 18 for l.
-3
Let y(p) = p**3 + p + 1. Let h(k) = -k**3 - 6*k**2 - k - 10. Let f(x) = -h(x) - 2*y(x). Let s be f(6). Let z be s/2*(3 + -1). Solve -w = -z*w for w.
0
Let s(r) = -35*r - 326. Let v be s(-10). Solve -13*t + 25*t + v = 0 for t.
-2
Let o = 617 - 601. Solve -6*j + o = -10*j for j.
-4
Let y = 80 + -72. Suppose 3*m + 2*h - 7 - y = 0, m + 9 = 4*h. Solve -2*b = -m*b for b.
0
Suppose g + 4*g - 70 = -5*w, -4*w = -5*g - 20. Solve -i - w = i for i.
-5
Let k be 3 - 15/((-30)/(-8)). Let p(v) be the first derivative of -4*v**2 - 1. Let w be p(k). Solve -4 + w = 2*c for c.
2
Suppose 0 = -5*r - 2*w + 10, 2*r - 3*w + 15 = -0*w. Let d be (r/(-4))/(2/(-1)). Let o(c) = -2*c - 2. Let h be o(-2). Solve d = -u - h*u for u.
0
Let c = 432 + -426. Solve c*m = 12*m for m.
0
Let q = 104 + -103. Solve -2*i = -q - 7 for i.
4
Suppose 0 = -5*m + 46 + 74. Suppose -r - 62 = -0*r. Let p = 62 + r. Solve p = 4*f + m - 4 for f.
-5
Let l be 47/(-3) - (91/21)/13. Let f be (4 - 4*(-14)/l)*4. Solve f*h + 3 = -7 for h.
-5
Suppose 4*y = -3*d + 176, 5*y = -9*d + 6*d + 178. Solve -5*r - d = 9*r for r.
-4
Let f = 2868 - 2854. Solve 12*d = -46 - f for d.
-5
Suppose 0 = -4*h - 4*m + 52, 15 = -3*m + 8*m. Solve 5*u - h - 5 = 0 for u.
3
Let h(q) = -q**2 - 7*q + 3. Let z be h(-7). Suppose -b - b + 5*k = 0, -z*k = 0. Solve b = 2*w + 2*w - 16 for w.
4
Let g(k) = -k**2 - 6*k - 7. Let r be g(-3). Suppose 5*j + 6*w - r*w = 0, 0 = -3*j + 2*w. Let o = 3 - j. Solve 0*p + o*p - 6 = 0 for p.
2
Suppose -2*d = d - 12. Suppose -12*m = -m. Solve m*g - d*g = 0 for g.
0
Suppose -8*t - 66 = -30*t. Let v = 5 + -5. Suppose 2*w - 5*u = w + 43, v = -2*u - 10. Solve 0 = t*a + w - 3 for a.
-5
Let c be (-2)/10 + 10/50. Suppose -2*l = -4*l + 48. Suppose -3*a = a - l. Solve c = k + k - a for k.
3
Let o(v) = -v**3 - 3*v**2 + 4*v + 6. Let p be o(-4). Suppose -p*l + 3*l = 0. Suppose -m + 11 + 14 = -5*s, 0 = 3*m - s - 33. Solve l = -0*n + 5*n - m for n.
2
Suppose -15*r = 49 - 49. Solve r = 4*h - 5*h - 4*h for h.
0
Let j be 1*(-1)/2*-8. Suppose 2*l + 4*h = -2*l + 32, 3*h = -l + 14. Suppose 4*v = v - l*v. Solve j = -2*r - v for r.
-2
Let o be 2 + 4 + (-2 - -1). Let a(k) be the first derivative of -k**2/2 - k + 1. Let v be a(-3). Solve -v*g - o = -3*g for g.
5
Let q be (10*3/2)/3. Solve -q = -5*k + 5 for k.
2
Suppose -3*i - 4 = -4*i. Suppose -8 = -g - i. Solve -5*n - 1 = -g*n for n.
-1
Let b(k) = -4*k - 27. Let m be b(-7). Suppose -2 = -h, 5*n + 5*h = h + 248. Suppose -4*t = -0*z - 3*z - 67, 0 = 3*t - 3*z - n. Solve 4*x - m = t for x.
5
Suppose 7*j - 174 = 1. Solve 6*i - i = -j for i.
-5
Suppose 31 = 3*v - 53. Let f be (2 + v/(-12))*-30. Let y = 10 - f. Solve y = 2*h - 3 + 7 for h.
-2
Let u = 12 - 11. Let c(h) = 2*h + 2. Let q be c(u). Let d be (-4)/(q*(-4)/8). Solve -5*j + d = 27 for j.
-5
Let n = -14 + 17. Let h be 1/(n - ((-38)/(-20) + 1)). Solve 2*s + h = 2 for s.
-4
Let p be (8/6)/((-24)/(-36)). Solve 4*k - 4 = p*k for k.
2
Let d be (-14 - (-3 + -4)) + 7. Solve d = 3*z - 3 - 0 for z.
1
Let x be 1*6/24 - (-21)/12. Solve 4 = x*h - 2 for h.
3
Suppose g = -2*j, -j - 3*g = 2*j. Suppose -c + 5*u = 7, j*c - 9 = -c - 3*u. Solve -c*d = -7*d for d.
0
Let q = 77 + -72. Suppose -4 = -2*c - 4*l, -5*l + 0 + q = c