/((-1)/8). Suppose 2*r - 5 = -t + 3*r, 3 = -r. Let j(b) = 2*b**3 + 1. Let d be j(1). Solve -2*g = -d*w + g + 27, -6 = t*w + z*g for w.
5
Let q be (-4)/(-6)*(-84)/8 + 5. Let r be (-9)/q*(-56)/(-18). Solve 0 = -2*d - 4*z + r, 0 = -d - 5*z + 15 - 2 for d.
3
Suppose -j + 0 - 1 = 0. Let k be (3 - 1 - 2)/j. Suppose -19 = t - 5*p, 4*t - 4 = 2*p + 10. Solve k = 4*w - 3*v + t, -6 + 2 = -2*v for w.
0
Suppose -5*y - 3*l = -144, 49*l + 58 = 2*y + 50*l. Solve -3*f + 13*h - 17*h = 5, -y = 2*f - 4*h for f.
-7
Let l(y) = 2*y**3 + 14*y**2 - 36*y + 5. Let o be l(-9). Solve -31*v + 16 = c - 27*v, -3*v = o*c + 5 for c.
-4
Let a be ((-5)/(-10))/((-4)/(-10) + (-1023)/2970). Solve -a*u - 3*b + 16 = -11*u, 3*b - 18 = 0 for u.
1
Let o(i) = -203*i - 23. Let d be o(1). Let m = 228 + d. Solve 4*r + r - 15 = -3*b, -3 = m*b - r for b.
0
Let z be (-22 - (26 - 47)) + -1 + 7. Solve 0 = z*d - 2*v - 15, -4*v - v = 25 for d.
1
Let m(g) = 2*g - 284. Let v be m(153). Solve -5*t + 5 = -3*n, -n - t = 3*n + v for n.
-5
Let n(a) = 11 - 2*a + 30 - 10. Let r(o) = 2*o**3 - 101*o**2 - 52*o + 64. Let z be r(51). Let u be n(z). Solve 2*f + 2 = -u*k - 0, -3*k + f = 10 for k.
-2
Suppose 16 = 6*c - 2*c. Suppose -3 = t, 3*d + 1 - c = -4*t. Solve d*s = -3*a - 5 - 5, 6 = -3*s + 2*a for s.
-2
Suppose -3*f = -2*f + 3. Let p be (0 - 6)*f - (-52)/13. Solve -k - k - p = -4*i, -5*k + i - 10 = 0 for k.
-1
Suppose 2*x + 6 = 5*x. Let g be (-1 - x)*(-3 - -2) + 9. Suppose q + 5*m = m - 12, 2*q + 5*m + g = 0. Solve 0 = -q*c - 0*j + j + 19, -c = 3*j + 5 for c.
4
Let u be (-264)/(-56) + ((-4)/(56/(-46)) - 3). Solve -u*m = -15, 8*m + 15 = 2*t + 11*m for t.
3
Let s = -4949 - -4954. Solve -16*d = -2*q - 19*d + 13, s*q + 4*d - 29 = 0 for q.
5
Suppose -i - 3 = 0, 16 + 13 = d - 4*i. Suppose -6*f + 8*f - l = 5, 4*f = -5*l + d. Solve -f*o + 0*t - 3 = 5*t, -o + 3*t + 13 = 0 for o.
4
Let x = 2225 - 2215. Solve -5*v = 6*t - 7*t + 5, x = 2*t for v.
0
Let g = 13450 + -13448. Solve -g*v - 4 = w, -12 = 3*w + 188*v - 183*v for w.
-4
Let n = -7021 + 7026. Solve 5*s = 2*g - 32 + 18, -3*g - 29 = n*s for s.
-4
Let r be ((-65)/(-52))/(2/8 - 0). Let c be (-13)/(-2) - 2/(-4). Suppose 3*m - 5*b + c = 0, m + 6 = r*b - 13. Solve -m*a + 2*a = 3*z + 3, 3*a - 14 = z for z.
-5
Let p be (116/174)/((-16)/6 - -3). Solve -10 = -5*o - s, 4*s - 7 = -p*o - 3 for o.
2
Suppose -13*v = -23*v - 29790. Let o be (-2)/(-9) - (v/81 - -1). Solve -20 = 5*a - 0, 4*i - 5*a - o = 0 for i.
4
Let p(w) = 129*w + 1422. Let u be p(-11). Solve 14*a - 9*a = -i + 13, a + 3*i = -u for a.
3
Let z(l) = 3*l + 2. Let d be z(0). Suppose d*t + 4 = -4. Let y be t/(12/(-51)) + (-2 - -1). Solve 3*k + 2*k = -4*n - 4, 4*n - y = 0 for k.
-4
Let q(p) = -p**3 + 4*p**2 - 6. Let h be q(3). Suppose h*u + 7 = -6*x + 4*x, -u = x + 1. Solve -i - 3 + 8 = -3*s, 4*i - x*s + 4 = 0 for i.
-4
Suppose 4*x + 5*s = 6*x - 36, 5*x - 48 = 2*s. Let z be x - (3 - -2) - 1. Solve -4*j = -20, r - z*r - 5*j + 23 = 0 for r.
-2
Suppose -53*d - 40*d + 276 = 45*d. Let r be 25/2*(-24)/(-15). Solve -2*c + 7*w + 8 = d*w, 5*c = w + r for c.
4
Let w = 19 + -134. Let t = 119 + w. Solve 3*g - t*s = g + 2, -5*g - s = -5 for g.
1
Suppose j - 2*d = -274, -3*d + 837 = -4*j + j. Let w = j + 297. Solve 5 = -g, g = -4*i - 4*g - w for i.
3
Suppose 0 = 5*i + 6*b + 3, 56*i - 52*i - 3 = -3*b. Solve -110*p + i*q = -111*p - 5, 2*p = -4*q - 8 for p.
-2
Let g(a) = -a**3 - 31*a**2 + 3. Let z be g(-31). Suppose -3*c + j + z*j + 55 = 0, 3*j + 88 = 5*c. Solve f + 2 = 3*s - c, -s - f + 1 = 0 for s.
5
Let m = 25 + -23. Suppose -12 + 8 = m*k. Let j = 5 + k. Solve 4*l = i + 3, 0 = l - 3*i - i + j for l.
1
Let t(f) = -f + 20. Let c be t(10). Suppose c*n - 2*o = 9*n, 3*o = -3*n + 9. Solve 2*z - 8 - 6 = 2*q, z - n = 0 for q.
-5
Let k(r) be the third derivative of 5*r**4/24 - 5*r**3 + 27*r**2 + 2. Let f be k(6). Solve f = -4*j + 4*h - 24, 5*h + 9 = -4*j + 3 for j.
-4
Let t(v) = v**2 - 519*v - 3667. Let u be t(-7). Solve -u = -3*f, -2*j = f - 31 + 26 for j.
0
Let q(r) = -11*r - 23. Let p be q(-6). Let l = p - 39. Suppose -l*v + 8*v - 108 = 0. Solve 0*i + 4*i + 2*a = 22, -2*a + v = 5*i for i.
5
Let w(o) = -252*o - 1509. Let x be w(-6). Solve 0 = -x*k + 5*c + 4 - 5, -c = 1 for k.
-2
Let y be ((-13)/(-3))/((-14)/((-1050)/25)). Solve 0 = -2*z - 4*q, -19*z - y = -24*z + 3*q for z.
2
Let x be (-2 - (-16)/6)*(-963)/(-428)*12. Solve -4*j - 23 = 3*q, 5*j + 21 = 22*q - x*q for q.
-1
Let k(m) be the third derivative of -m**5/60 - 9*m**4/8 - 46*m**3/3 + 9*m**2 - 6*m. Let b be k(-23). Solve x + 6 = -2*x, -5*d - 2*x - 14 = b for d.
-2
Suppose -2*d + 3 = -d. Suppose -d*r + 32 = -2*a, 4*r - 30 = -a - 2. Let k be (8 - r)*(-1)/2. Solve 3*m + 4*t = -6 + 18, k = -3*m - 3*t + 12 for m.
4
Suppose 3*j - 3 = -d, -d - j - 7 + 8 = 0. Solve -2*z + y - 5 = d, 3*z - 5*z - y = -1 for z.
-1
Suppose 22*o - 18*o = 16. Suppose -d = -o*d + 45. Suppose -7*z = -4*z - d. Solve -2 = 4*u + 3*c + z, 0 = 4*u - 3*c - 23 for u.
2
Suppose t = 3*v - 8, 457*t - 456*t = 2*v - 4. Solve -23 = -5*y + i + t, -3*y + 3*i = -21 for y.
5
Let b be 77 + -52 + 2*(0 + 3/(-6)). Solve 19*i = -4*a + b*i + 7, 4*a + i = 13 for a.
3
Let u(r) = -3*r**3 - 23*r**2 - 46*r - 220. Let m be u(-7). Solve -5*g - m*i + 6 = 0, 2*g - 8 = -i - 5 for g.
2
Let n be ((-160)/25 + 7)*10. Let j(r) = -11*r + 76. Let c be j(n). Solve 2*q - 4*w = -c, 5*w - 13 = 12 for q.
5
Let c(j) = j**2 - 10*j + 34. Let z be c(4). Let k be (-6)/(-10) + 24/z. Solve -3*m - 6 = 5*x, -5 = k*x + 4 for m.
3
Suppose 9*a - 94 + 67 = 0. Solve -a*p + 15 - 9 = -c, 0 = -4*c - 3*p - 9 for c.
-3
Suppose 0 = 13*m - 11*m - 8. Let g(z) = -z**2 - 11*z - 6. Let f be g(-10). Suppose 0 = 4*r - f, -26 = -u + 4*r. Solve -m*p = -20, -2 = v + 5*p - u for v.
3
Suppose 3*i + 0*l + 4*l = 30, 4*i - 27 = -l. Let s = 806 - 804. Suppose -s*d - 10 = -2*m + m, i = -2*d. Solve 2*z + 3*a - 10 = -0*z, -z = m*a - 5 for z.
5
Let v be (0 + -6)/(6/(-4)). Suppose c - 3*u + 15 = 0, -5 = v*u - 5*u. Suppose -3*g = 5*s, -4*g - 3*s = -c*s - 11. Solve g*o = 0, 5*o = a - 5*a for a.
0
Suppose 76 = 10*b + 26. Suppose -3*z = -a - 2*z, z = -b*a + 24. Solve 5*g + a*k = -7, 5*g - 3*k - 13 = g for g.
1
Let d be (-15)/(-180)*8*18. Solve -3*y = -y - 2*a + d, -4*y + 3 = 5*a for y.
-3
Let u(x) = 5*x**2 + 17*x - 22. Let j = -199 + 194. Let l be u(j). Solve 3*q + 4*f + 0*f = -4, 0 = 2*q - 5*f + l for q.
-4
Let c(i) = -i**2 - 29*i - 73. Let r be c(-3). Solve -r = -3*v + h, -4*v + h + 4 = -3*h for v.
2
Let h be -26*(3/(-5) - 44/(-40)). Let s be (h/(-2))/(2/(-12)). Let t = s - -41. Solve -t*i - 22 = -4*a, 5*a = 4*a - 4*i + 1 for a.
5
Suppose -2*m + 7*m = 5*a - 175, 5*a + 2*m - 133 = 0. Solve -3*t - 8 = b, a + 7 = -4*t + 5*b for t.
-4
Let t(v) = -13*v**2 - 83*v. Let p be t(-6). Solve 5*a + 2 = -18, 0 = 5*x - 5*a - p for x.
2
Let j(g) = -g**2 + 7*g + 1. Let o be j(4). Suppose -5*l + 9*l - 24 = 0. Let m be (3 - 4)*(1 - l). Solve 5*q + o = 2*q - z, -q - z - m = 0 for q.
-4
Let r(m) = 2 - 169008*m + 169006*m + 2. Let c be r(2). Solve -5*d + 4*l = -c*d - 13, 9 = 3*l for d.
5
Suppose -5*h = -466 + 451. Solve -12 = -3*k + t, -k + h*k = -t + 13 for k.
5
Let f be (-7 + 822 - 3)/2. Let g = f + -401. Solve 5*b = -5*m + 30, -4*m - 18 = -3*m - g*b for m.
2
Suppose 2*n + 14 = 2*y - 3*n, 2 = 3*y + 2*n. Solve 2*t + 11 = 4*a - 11, -5*a - y*t + 14 = 0 for a.
4
Let q be 54/24*4/3. Suppose 0 = -5*l - q*p, 5*l + p - 11 = -1. Solve 22 = -5*w - l*b, 2 - 4 = 3*w - b for w.
-2
Suppose 2*n - 2*n + 3*n = 0, 22 = 2*x + 4*n. Solve x = -4*s + 4*g + 3, 3*s - 4*g + 8 = 0 for s.
0
Let d = -1501 + 1510. Solve -4*o = -4*g, 3*o - 7*o - d = -g for g.
-3
Suppose 64 = -2829*b + 2845*b. Solve b*t + 16 = 5*y, 4*t + 6 = -3*y - 10 for t.
-4
Suppose 4*w = -4*f + 48, -3*f - 76 = -3*w - 58. Solve 2*y + 13 = f*u, -78*y - 5 = -83*y for u.
5
Suppose m = 2*t - 2, m + 3*t = -4*m + 29. Let u be (-72)/(-8) - m/1. Solve b + 16 = -2*g + u, 3*b + 8 = -g for g.
-5
Let z = 20 + 31. Suppose z = 17*y - 0*y. Solve -4*d + 0 + 3 = y*g, 3*d = g - 14 for d.
-3
Suppose -5*z - 18*v + 156 = -22*v, -v - 95 = -3*z. Let q(h) = h**2 - 33*h + 35. Let f be q(z). Solve f*w + 4 = g, 2 + 9 = -4*g + 3*w for g.
-5
Let d = -4 - -7. Suppose 54*r + 17*r + 7*r = 0. Suppose -z + d*c + 10 = 0, r = 3*z + 4*c - 3 - 1. Solve -4*b + 4 = -4*y, 2*y + z = -5*b + 2 for y.
-1
Let t be (-12)/(-16)