Suppose g - 20 = -4*l, t*l - 4*l - 4 = -2*g. Solve n*w + w = g for w.
4
Let q(o) be the third derivative of o**6/120 + o**5/15 + o**4/12 - o**3/6 + 3*o**2. Let m be q(-3). Suppose -m*u + 4 = -0. Solve s = u*s for s.
0
Let d = 22 - -10. Suppose z - 3*z = -d. Suppose -4*o = -0*o - z. Solve 3*b + o = 1 for b.
-1
Suppose 0 = 6*r - r - 165. Suppose -3*f + r = -12. Solve 0 = -0*l + 3*l + f for l.
-5
Suppose p - 12 = -4. Solve p*w = 9*w for w.
0
Suppose 0 = -9*x - 39*x + 1680. Solve 0 = 24*z - 17*z + x for z.
-5
Suppose -4*u = 6*x - 2*x - 40, 0 = 4*u - 5*x - 58. Solve u = 5*y + y for y.
2
Let t(i) = 3*i**2 + 0*i + 3*i**2 - 1 - 2*i + 2. Let c = 9 + -8. Let q be t(c). Solve -11 = -q*l + 4 for l.
3
Let y = -175 - -69. Let j = 116 + y. Solve 0*q + 2*q = j for q.
5
Suppose 2*i + 176 = -2*w, 2*w - 3*w + i - 82 = 0. Let q = -82 - w. Solve 2*a + a - q = 0 for a.
1
Let a be 16/64 - (-333)/12. Solve a*k - 23*k - 5 = 0 for k.
1
Suppose 3*b - 29 = -5*a, -6 = -a - 2. Suppose -f = 1, 0*l = 5*l + 3*f + b. Solve l = -5*w + 14 - 4 for w.
2
Let n(s) = -s + 2. Let j be n(-7). Let z(k) = -k**2 + 8*k + 12. Let g be z(j). Solve 7*d - g*d + 4 = 0 for d.
-1
Suppose 0 = -3*x - 31 + 43. Solve -x*n - 13 = 3 for n.
-4
Let k be (-8)/(-20) + (-2)/5. Suppose 0*w + 3*w = k. Solve w = -b + 3*b + 10 for b.
-5
Suppose -p = 4*p - 10. Suppose -2*f + 6 = 0, -4*g + 2*g + p*f - 20 = 0. Let k be (-2 - g) + -1*2. Solve 2*u + k + 5 = 0 for u.
-4
Suppose -9*b + 17*b = 0. Solve b = -8*a + 6 - 14 for a.
-1
Suppose -4*r + 2*s + 24 = -0*s, -s = -5*r + 27. Suppose 2*c - 54*a + 59*a = 28, -5*c + 3*a = -8. Solve -c*t = -3*t + r for t.
-5
Suppose -5*h = -25, 0*h - 4*h = -5*k - 110. Let j = 18 + k. Solve 6*g - 3*g + 3 = j for g.
-1
Let z = -9 - -9. Suppose z = 3*p - 3, -5*k + 5*p - p = -41. Suppose -3*f + 6*f - k = 0. Solve f*q + q = 16 for q.
4
Let c(d) = -79*d + 722. Let p be c(9). Solve 9*w + 20 = p for w.
-1
Suppose -2*p + 19 = 1. Suppose 6*q = 15*q - p. Solve 4 = v + q for v.
3
Let t(a) = -6*a - 39. Let l be t(-7). Let h be l/(-12) + 407/44. Solve 4*b + h = -3 for b.
-3
Let i be 6/((-4)/2) + -39. Let g = 62 + i. Let r = -119 - -122. Solve -2*u = r*u - g for u.
4
Let d(l) = 3*l**2 + 8*l - 3. Let i be d(-3). Suppose i = -v - 21 + 22. Solve 4*y + v = -3 for y.
-1
Let m = 14 - 8. Let g = -8 - -10. Suppose -g*s + 5*s = 24. Solve m*b = 2*b + s for b.
2
Let q be 7 - (13 + -8) - 7/(-1). Suppose q + 11 = 4*y. Solve 3*x + y = 2 for x.
-1
Let i(m) = 5*m**2 - 9*m + 3. Suppose 0 = 19*n - 16*n - 6. Let x be i(n). Solve -x*y = -0*y for y.
0
Let i = 19 + 6. Let u = 29 - i. Suppose u*h - 20 = -h. Solve -h = -0*w - w for w.
4
Let s = 1019 - 1015. Solve 17*m - 15*m = -s for m.
-2
Suppose 138*y = 132*y + 36. Let o = 6 + -3. Suppose -y = -o*x - 0*x. Solve 6*l = x*l for l.
0
Suppose 20 - 8 = -3*c. Let n(y) = y**2 + 2*y - 2. Let a be n(c). Solve -v = -a*v for v.
0
Let z be (-24)/(-2) + 4 + -4. Solve 6*h = 10*h + z for h.
-3
Suppose -3*w + 3*p = -w - 29, -40 = -3*w + p. Let g = -14 + w. Let f be (1/5)/g*-5. Solve f = -4*h - 3 for h.
-1
Let w be (-5)/((-5)/1) - -33. Let n = w + -31. Let y be 7 + 0*3/(-9). Solve -2*i + y = -n for i.
5
Suppose 2 + 7 = 3*c. Suppose -4*i = 12, 0*i = 4*g + 4*i + 52. Let n = 12 + g. Solve -c*h = -n*h for h.
0
Let u(t) = t**3 - t**2 + 2*t - 29. Let h be u(0). Let a = h - -31. Solve a*d + 10 = -0*d for d.
-5
Suppose -4 = -2*g - 2*d - 2, 2*g - 18 = 2*d. Solve 3*n = g*n + 10 for n.
-5
Let i(m) be the first derivative of -m**2/2 - 5*m + 1. Let n be i(-6). Let v be 0/(1*(n - 2)). Solve -o + v + 4 = 0 for o.
4
Let q(y) = -2*y**2 + 23*y + 16. Let w(r) = -r**3 - r**2 + 2*r. Let j be w(-3). Let m be q(j). Solve i = -0*i + m for i.
4
Let f(q) = -q**3 + 8*q**2 - 7*q. Let u(z) = 6*z**2 + 3*z - 2. Let o be u(1). Let p be f(o). Let h = 4 + -1. Solve -5*c + h*c + 2 = p for c.
1
Suppose 48*q = 38*q + 420. Solve 5*r - q = -27 for r.
3
Let s = -553 - -573. Solve l + s = -19*l for l.
-1
Suppose 0 = -4*s - o + 36, 4*o = -16*s + 21*s - 66. Solve s = 7*l + 31 for l.
-3
Suppose -36*s + 170 = -31*s. Suppose -4*q = c + 3 + s, -10 = 2*q. Let t = c + 20. Solve 0 = -t*d - 7 - 2 for d.
-3
Suppose 3*f + 14 = k, 23*k + 5*f = 28*k - 50. Solve k*b - 5*b = 12 for b.
4
Let k(c) = 17*c + 14. Let u be k(-6). Let z be u/(-10) - ((-2)/10)/1. Solve -z + 4 = -w for w.
5
Suppose 2*u - 21 = 39. Suppose -7 = y - 5*x, 0 = -5*y - 2*x - x - 147. Let r = u + y. Solve -r*a - 12 = -6*a for a.
4
Let w = -3 + 2. Let c(x) be the third derivative of -x**6/30 + x**4/12 + x**3/6 - 160*x**2. Let a be c(w). Solve 0 = o - 0 - a for o.
3
Let o = -5 + 3. Let l = 135 - 137. Let f = o - l. Solve f*b - 5 = b for b.
-5
Suppose -4*f + 4*j = -16, -2*j = -3*f + 6 + 7. Suppose 0*y + y - 2*y = 0. Solve y = -f*p - 2 - 3 for p.
-1
Suppose 4*i + 3 = 7*i. Suppose -v - i = -3. Solve 0 = v*a - 6 - 2 for a.
4
Suppose -9 = 2*c + 4*o + 37, -3 = -3*o. Suppose -g - 5 = -37. Let t = c + g. Solve -3*z = -t - 5 for z.
4
Suppose 20 = -5*h + 3*h. Let v = 15 + h. Suppose -r + v = 1. Solve -r*j + 15 = j for j.
3
Let l(t) = -2*t**2 - 9*t + 1. Let y be l(-4). Suppose -7*g = -y*g. Let j be 6 - 9/(4 + -1). Solve -o + j*o - 10 = g for o.
5
Let u(o) = -11*o + 103 - 81 + 7*o. Let i be u(5). Solve 0 = 7*d - i*d + 20 for d.
-4
Suppose -5*h + 0*h = -45. Let f be ((-186)/h)/(2/(-3)). Let i = f - 30. Solve 7 = -3*k + i for k.
-2
Suppose 11 = 2*p - 3. Let z(d) = 5*d**2 - 5*d. Let y be z(4). Suppose p*i - 3*i - y = 0. Solve q + i = -2*q for q.
-5
Suppose 4*d = -136 - 104. Let x be (-225)/d + 3*1/(-4). Solve 5*m - x = -8 for m.
-1
Suppose -25 + 15 = 5*r. Let c be r/(-24)*3 - 2/8. Solve c = i + 1 - 0 for i.
-1
Suppose -24 = 832*b - 838*b. Solve -b = 6*s - 8*s for s.
2
Let n = -80 - -150. Let i = n - 66. Let t = 0 + 5. Solve -6 = -t*v + i for v.
2
Suppose -30*a + 114 + 36 = 0. Solve a = 2*c + 15 for c.
-5
Suppose -6 = -n + 2*u + 8, 2*n = u + 37. Solve -4*f + 72 = n*f for f.
3
Suppose -o + 3*l + 15 = 0, -3*l + 14 = 2*o + 2. Suppose -o*c + 24 = -c. Solve -8*h = -c*h for h.
0
Suppose -4*k = -3*g - 5 - 1, 5*g = -10. Let r(p) = -11*p**2 - p. Let c be r(1). Let x = c - -17. Solve k = x*q - 0*q for q.
0
Let m be (6/4)/((87/(-18))/(-29)). Solve -m = -5*w + 2*w for w.
3
Suppose 51 = 4*j + 7. Solve -o = j*o for o.
0
Let v be (-10)/105 - (244/84 + -3). Solve v = 6*c + 150 - 120 for c.
-5
Let q be -12*(-1 - (-25)/(-20)). Suppose 8*z = -z + q. Solve z*n - 5*n = -2 for n.
1
Suppose 2*j - 5 = 3. Let b be -1*12/(-8)*28/6. Suppose -b = -6*w + 23. Solve -f - w = -j for f.
-1
Let l = -11 + 8. Let n(i) = 7*i - 6. Let o be n(l). Let t = -27 - o. Solve t = u - 3*u for u.
0
Suppose 26*b = 24*b + 70. Solve -b = -8*m + m for m.
5
Suppose 7*g = 6*g + 2. Solve 0 = -6*u + 4*u + g for u.
1
Suppose 22 = 3*u + 5*q - 19, -u - 3*q = -19. Solve 6*t = u*t - 2 for t.
2
Let v = -1359 - -1440. Solve c = v - 79 for c.
2
Suppose -2*j - 3*j + 125 = 0. Let t(i) = -4*i**2 + 8*i - 13. Let z be t(3). Let o = z + j. Solve o = -r + 2*r for r.
0
Suppose -17*z = -55*z + 9918. Solve -2*c + 251 - z = 0 for c.
-5
Suppose q - 8 = -4*v, 18*v - 20*v - 10 = 4*q. Solve v + 17 = 20*c for c.
1
Let n be (-6)/33 - (360/(-44) - -2). Solve 0 = -n*v - 0*v for v.
0
Let x be 2 + -1 + -3 + 5. Let b(w) = 10*w - 12*w - 6 + 6*w. Let q be b(2). Solve x*a + q = -1 for a.
-1
Let s = -40 + 46. Let n be 5*(6/(-18))/((-5)/s). Solve -a + n = -3*a for a.
-1
Let w = -39 - -59. Suppose n = -16 + w. Solve z + 0*z = n for z.
4
Let i = -233 - -237. Solve 15*q - 16*q = i for q.
-4
Let f(k) = k**2 + 2*k - 5. Let r be f(-5). Let g be (-4)/20 - (-2)/r. Suppose g = 10*u - 6*u. Solve u = s + 2*s + 15 for s.
-5
Suppose 5*m = -2*m + 14. Let v be (-2 + m)/(-3)*(-2)/(-4). Solve -5 = -v*n - n for n.
5
Let p be ((-4)/(-10) + 9/15)*1. Let z be 0 - (-2 - -3) - (p + -9). Solve -3*x + z = 1 for x.
2
Suppose 2*k - 8 = -2*k. Suppose -25 = -k*f - 4*y + 3, 0 = -2*f + 2*y - 2. Suppose -a = -5*r - 2*a + 4, -f*r + 4*a = 16. Solve r = x - 6*x - 10 for x.
-2
Suppose 5*j - 5*p = 20, 4*p = 6*p - 4. Let u(n) = -4*n - 33. Let m be u(-9). Suppose -3*b - 5*k + 32 = 0, 0 = b - 0*k + m*k - 16. Solve -b*s + 6 = -j for s.
3
Let v(x) = 2*x**3 + 107*x**2 - 50*x + 225. Let f be v(-54). Solve 0 = 13*a - 10*a + f for a.
-3
Let c = -234 - -244. Solve -6*p - c = -4*p for p.
-5
Let h be (-162)/(-9)*3*(-10)/(-12). Let