t.
-5
Let s = 356 + -352. Solve 0 = -x + s - 5 for x.
-1
Let k be (-4 - -2)/(1 - 2). Suppose 41 = b + 28. Let m be (-1 - (-8)/6)*(b - 13). Solve -2*v = -m + k for v.
-1
Suppose -2 = -3*t + k, -3*k = t + 3 - 17. Suppose t*m - 27 = 3*s, 2*s = m + m - 16. Let r = 15 + s. Solve 8*j - 12 = r*j for j.
3
Let z = -18 - -19. Suppose 4*o - z - 69 = -2*a, -3*o - 3*a = -45. Let v = -1 - -9. Solve -o = -v*t + 3*t for t.
4
Suppose 4*y = -c - 6, 0 = 3*c + c - 2*y - 12. Let a(b) = -10 + 7*b - 9*b**2 - 4*b**3 + 5*b**3 + 20*b**c. Let p be a(-10). Solve 6*h + p = h for h.
-4
Suppose 11 = 4*i - g - 14, -15 = -3*i - 3*g. Solve -18 + i = 3*d for d.
-4
Suppose 25*d = 23*d - 4*c - 12, 2*d - 3*c - 9 = 0. Solve d = 3*m - 15*m - 48 for m.
-4
Let q(j) = 2*j**2 - 8*j + 22. Let o be q(3). Let g be 3/(-6) - 2/(-4). Suppose 0 = -2*u - 5*v + 31, -4*v - 4 + 21 = -u. Solve g = u*m + m + o for m.
-4
Let j(b) = -b + 6. Let o be j(3). Solve 15 = -o*l + 3 for l.
-4
Let o be (-2)/(-6)*(-1 + 10). Suppose 0 = 2*w - o*w + 9. Let h be (-3 + 2)/((-84)/(-12) - 8) + 2. Solve -6*x = -h*x + w for x.
-3
Suppose -6*b = -12*b + 12. Solve -b + 0 = 2*w for w.
-1
Let h = -14 + 15. Let y be 0/(12/(-4))*h. Solve 0 = -y*b + 4*b - 8 for b.
2
Suppose -8 - 20 = -2*t + 5*o, 0 = -t + 2*o + 12. Suppose -4*u = p - t, 3*p - 10 = 2. Solve u = -3*b - 0 - 3 for b.
-1
Let q = 2154 + -2118. Solve -q = -17*t - 19 for t.
1
Let c be -2 + 2 + 4/4. Let u be (-1)/(c/(-5))*(-66)/(-30). Solve 0 = -5*i + 9 + u for i.
4
Let t(x) = -14*x + 2. Let m be t(-2). Suppose 3*g - 41 = -2*p, g - m = -g - 2*p. Let u be (-2)/4 - (-18)/4. Solve -g = -5*w + u for w.
3
Let f(x) = 2*x**2 + 3*x - 53. Let k be f(6). Solve 101 - k = -16*d for d.
-4
Let j be 1/21 + (-5860)/(-420). Solve 0 = 15*a - j*a for a.
0
Suppose d + 5 = 2*d. Solve 0 = d*r - 0 + 5 for r.
-1
Let h = -37 - -38. Suppose 5*r - 6 = 2*m, -h + 11 = r + 4*m. Solve 0*y = -r*y + 10 for y.
5
Let v(s) = 2*s**2 + 2*s - 4. Let w be v(-3). Let h = -162 + 164. Suppose -h*o + w = 3*o - 4*c, 5*o + 4 = -2*c. Solve o = -z + 1 + 1 for z.
2
Let w be 8/(-28) - (-18)/14. Suppose 4*l - 3 = w. Let y(q) = 3*q - 12. Let r be y(5). Solve 2 + l = r*a for a.
1
Let p(y) = -4*y**3 + y**2 + 3*y + 1. Let s be p(-1). Suppose s*u + 3 - 7 = -5*z, -z - u = 0. Solve a - z*a = -1 for a.
1
Let g = -22 - -25. Suppose -x - 80 = g*x. Let c = x - -20. Solve c + 2 = a for a.
2
Let v be 75/(-30)*48/(-10)*1. Solve -k = -5*k + v for k.
3
Suppose 21 = -2*v - v - 5*p, 5*v - 5*p - 5 = 0. Let a be (v + 4)*(2 + -7). Let z = -5 - a. Solve -z = 4*s + 3 for s.
-2
Let u(x) = x**2 - 17*x - 9. Let l be (2 - 4 - 0)*-9. Let p be u(l). Solve 5*c = 2*c + p for c.
3
Let o(h) = 3*h**2 + 125*h + 163. Let s be o(-41). Solve -w - 80 = -s for w.
1
Suppose -b = 5*w - 20, 3*b - 20 - 4 = -3*w. Let j(i) = -i**3 + 4*i**2 + 5*i + 3. Let k be j(b). Solve 0*v + k = v for v.
3
Let r = -61 + 78. Suppose -47 + r = -6*t. Suppose x + 2*m - 10 = 0, 5*x + 2*m - 16 = -6. Solve t*f = -x*f for f.
0
Suppose 702 = 37*g - 10*g. Solve 0 = g*k - 28*k for k.
0
Let c(m) = 11*m + 354. Let i be c(-30). Solve 0 = -7*v + i - 3 for v.
3
Let t(p) be the first derivative of p**4/4 + 8*p**3/3 - p**2/2 - 5*p - 3. Let w be t(-8). Suppose 2*y - 10 = -w*y. Solve i + y = 3 for i.
1
Let l be (-8)/2*1/(-1). Let c(k) = -k - 3. Let y be c(-4). Let o be (3 - 2 - y) + 4. Solve -l*t = -0*t + o for t.
-1
Let c(g) = -g**2 - 14*g + 8. Let t be c(-14). Solve -25 = 13*r - t*r for r.
-5
Let l = 0 + 2. Suppose 6 = w + b + 5, -1 = w + 3*b. Solve z + w = -l for z.
-4
Let b(s) = s + 17. Let a be b(-13). Suppose 3*k + a*c = 5*c + 1, -20 = -5*k - 2*c. Solve -5 - 3 = k*d for d.
-4
Let j(t) = t**3 + 11*t**2 + 14*t - 7. Let i be j(-9). Suppose -b - 5*m + m + i = 0, 0 = -3*m + 6. Let z = -15 + b. Solve -s = 2*s - z for s.
2
Suppose -6*r = 72*r - 15*r. Solve r = -27*j + 21*j - 30 for j.
-5
Let x(w) = 39*w + 130. Let j be x(-3). Solve 15 = j*b - 10*b for b.
5
Let p be 1/((-650)/645 - -1). Let m = p - -133. Solve 4 = m*k - 0 for k.
1
Let d(i) = -i**3 + 7*i**2 - 5*i. Let n be d(6). Let p be -8*((-1)/(-2))/(n - 7). Solve 0*y - p = -4*y for y.
1
Suppose 4*v = 19 - 3. Solve 2 = -2*w + v for w.
1
Let s = -1333 + 1333. Suppose -3 - 3 = -3*y. Solve -y*v - 6 + 0 = s for v.
-3
Let j be (-9)/(-1 - -4) - -14. Suppose -4 = -3*o + j. Suppose q = o - 2. Solve q - 2 = -p for p.
-1
Let p(x) = 17 + 2*x**2 - 17 - 3*x. Let l be p(2). Suppose 0 = 4*q, 4 = -3*o - q + 10. Solve -o = -l*t + 4 for t.
3
Suppose -29*j + 11*j + 108 = 0. Solve j - 1 = y for y.
5
Let m(b) = 8*b - 4. Let i be m(1). Suppose -i = -5*p + 4*p. Solve -p*g = -2*g + 8 for g.
-4
Let t = 11 + -3. Let q = 733 + -729. Solve q*x - t + 0 = 0 for x.
2
Let h(n) = -8*n**3 - 2*n**2 + 1. Let u be h(1). Let j(f) = 2*f + 11. Let g be j(u). Let s(b) = b**2 + 7*b + 3. Let r be s(g). Solve 0 = r*y + y + 12 for y.
-3
Let h = 59 - 57. Suppose 9 = 7*v + h*v. Solve v = 3*m + 10 for m.
-3
Let g = 0 + 7. Suppose g = -d - 6. Let u = 21 + d. Solve -3*w + w = -u for w.
4
Let t = 507 - 502. Solve 11*k = t*k for k.
0
Let m(w) be the third derivative of w**4/24 - w**3/3 + 3*w**2. Let l be m(2). Let g be 1/2 - ((-11)/2 - -4). Solve l = g*s + s - 3 for s.
1
Let a(m) = m**3 + 8*m**2 + 7*m + 2. Let c = -60 + 53. Let d be a(c). Solve 0 = -d*j - 2 - 4 for j.
-3
Let o be 104/156 + (-26)/(-6). Solve 8 = -o*b + 18 for b.
2
Let q(c) = -2*c**3 + 11*c**2 - 16*c + 9. Let x(t) = 3*t**3 - 17*t**2 + 24*t - 14. Let z(n) = -7*q(n) - 5*x(n). Let j be z(7). Solve -5*p = -j - 15 for p.
3
Let a(w) = w + 16. Let j be a(-16). Let o(b) = b**2 + 3*b - 3. Let x be o(-7). Suppose 5*t = u - 11, -3*u - 12 = -2*t - 32. Solve u*r - r + x = j for r.
-5
Suppose i - 5*c - 130 = 0, 14*c = 4*i + 13*c - 520. Solve -2*n = 24*n - i for n.
5
Let t(f) = -3*f**3 + f**2 - 3*f + 17. Let i be t(0). Solve 0 = -18*w + i*w + 2 for w.
2
Suppose -3*s = 5*t - t + 23, -5*t - 5*s = 30. Let w be (2/t)/(25/(-125)). Solve w*q = 2 + 6 for q.
4
Let x(h) = -7*h**3 + 5*h**2 - 3*h - 22. Let q(s) = -s**3 - s**2 + s - 1. Let o(g) = 6*q(g) - x(g). Let c be o(10). Solve -4*m + 2 = -c for m.
2
Let h(v) be the second derivative of -v**5/20 + 7*v**4/12 + 13*v. Let o be h(7). Solve -2*d + o = 2 for d.
-1
Suppose -4*t - 20 = p, -p + 2*t - 1 + 11 = 0. Solve p = 2*y - 0 - 6 for y.
3
Suppose -5*b + 34 = -4*b. Suppose 9 - b = -5*v. Suppose u + 2 = -u, 0 = -4*m + v*u + 9. Solve -3*q - 14 - m = 0 for q.
-5
Suppose -4 + 22 = 3*l. Let v(t) = t - l + 2 + 0. Let s be v(10). Solve 2*y - s = -y for y.
2
Let n = -434 + 445. Solve -n + 1 = -5*i for i.
2
Let t be 1*(3 + 0 - 1). Let u be -1*(2 - 4/t). Suppose 82 - 12 = 5*a. Solve -3*d + 2 - a = u for d.
-4
Suppose 0 = -4*d - 78 + 138. Let f be 2/(-10) + (-12)/d + 3. Solve f*q = 8 - 2 for q.
3
Let s(h) = -h**3 - 6*h**2 + 7*h - 21. Let o be s(-7). Let t be (-4)/6 - 77/o. Solve t*w - 5*w - 10 = 0 for w.
-5
Suppose -b = 4*b. Let u be (1 + b)*(-8 + 13). Suppose l - 3 = 3*y, -3*y - 44 = -3*l - y. Solve -7 = u*o + l for o.
-5
Let u = -159 - -162. Solve -8*h + u*h = 0 for h.
0
Let s(z) = -2*z**2 - 13*z - 5. Let l(t) = t**3 - 11*t**2 - 13*t + 6. Let f be l(12). Let u be s(f). Solve -9 = -2*g + u for g.
5
Let l(f) = -68*f**2 + 273*f + 1. Let z be l(4). Solve 12 = -z*c - c for c.
-2
Let g(i) = 3*i**2 - 47*i + 29. Let o(m) = 2*m**2 - 31*m + 19. Let l(t) = 5*g(t) - 8*o(t). Let x be l(12). Solve -x*s + 2 = -3 for s.
1
Let a = 45 - 18. Let q = -22 + a. Solve q*n = n for n.
0
Let l(r) = r**3 + 5. Let p be l(0). Let s = 2 - -18. Suppose -p*i + s = -0. Solve -2*o + 8 = -i*o for o.
-4
Suppose -l + 20 = 4*l. Suppose -l*n + 0*n + 5*m = -51, -4*m = 12. Let a = n + -9. Solve u - 2*u = a for u.
0
Suppose -4*l = 3*t - 568, -18*t - 143 = -l - 19*t. Solve 25*r = l - 39 for r.
4
Suppose -5 = -7*k - 54. Let c = -7 - k. Solve -4*t + c*t - 8 = 0 for t.
-2
Suppose -5*q - 17 = -3*z, 3*q + 16 + 0 = -4*z. Let j be z/((-28)/8 + -1 + 4). Solve -j = -2*y - 8 for y.
-3
Let g be 33/18 - (15/18)/(-5). Suppose g*t + 9 = 13. Solve 0 = -0*d - t*d - 10 for d.
-5
Suppose 5*l - 47 + 0 = -3*w, 0 = l - 4*w + 9. Suppose 5*c + 13 = -5*z - 32, 4*z - 4 = 4*c. Let m be c/(-2) + (-2)/4. Solve -l*i = -m*i - 10 for i.
2
Let y(n) = 3*n**3 - 3*n**2 + n + 1. Let w be y(1). Suppose -3*z - z = -v - 20, 0 = w*z + 4*v + 8. Solve u - 3*u = -z for u.
2
Let q = -33 - -29. Let l b