Suppose 3*i + 5*y = 7, -4*i + 4*y + 32 - 12 = 0. Solve -o = -2*s + z, -s + 3*s - i = -2*o for s.
4
Suppose 34 = -5*a + 124. Let z = 26 - a. Let y = z - 1. Solve y = 5*w + 4*r, -3*w + w + 5*r = 17 for w.
-1
Let w = 249 - 247. Solve -4*g + 14 = n, -w + 12 = 5*n for g.
3
Suppose 4*i + 14 = -k, -3*i = -5*k - 2*i + 14. Suppose k = -2*n - 10. Let r be (9/n)/(6/(-8)). Solve r*q - 2*h = -4*h, 0 = 4*h - 12 for q.
-3
Let v(w) = -w**3 + 13*w**2 - 7*w - 10. Let t be v(12). Suppose 2*c - 3*i + i - 28 = 0, 4*c = 2*i + t. Solve 0 = 3*f + 5*n + 22 + 9, n + c = -3*f for f.
-2
Let w be -2 - (-30)/20 - 50/(-4). Solve v = -z, 0 = -5*z - 8*v + w*v for z.
0
Let o(i) = 2*i**2 - 15*i + 14. Let n be o(7). Suppose 7 = -n*a + 21. Solve 0 = u + 4*c - 11 - a, -u + 2*c - 11 = 0 for u.
-3
Let l(m) = 2*m**3 - 34*m**2 + 3*m - 20. Let j be l(17). Let n = j - 29. Solve 5*v = -n*b, 0 = -2*v + b + 8 + 1 for v.
2
Suppose -57*c + 58*c = 3. Solve -h = 5*u + 2, -2*u - 2 = c*h - 2*h for u.
0
Let h be (-2 + -1)*6/(-9). Let v be (-2)/4*-6 - 0. Suppose 4*g - 8 = -2*d, 0 = -2*g - v*g - 2*d + 10. Solve 2 = -g*l + 5*i, 5*l + 6*i = h*i + 28 for l.
4
Let j(m) = m**3 - 3*m**2 - 6*m - 6. Let s be j(5). Suppose -48*v + 209 + 4 = 23*v. Solve -v*i + 3*h - s = -2*i, 5*i + 3*h - 20 = 0 for i.
1
Let j be 6/(-9) - 246/(-18). Solve 0 = 2*i + 4*l - l + j, -5 = 5*l for i.
-5
Suppose -5*n - 20 + 30 = 0. Let i = -3 - -5. Let q = 12 + -12. Solve -3*z + z = -3*v - 19, n*z - i*v - 16 = q for z.
5
Suppose 5*n = 4*n - 1. Let g be 8/(-2) - (-7 + n). Solve g*r - 6*r + 28 = 4*c, 5*c - 25 = 0 for r.
4
Let d = 3197 + -3193. Solve -4*g = d*j, -2*j + 0*j + 3*g = 0 for j.
0
Let s(i) = 25*i**3 + i**2 + i - 1. Let w be s(2). Let x be 0 + 1 + (-132)/(-12). Suppose w = 7*h - x. Solve 0*p + 5*p - 17 = j, 4*p = -5*j + h for p.
4
Let v(d) = -d**3 + 11*d**2 - d + 14. Let q(w) = 7*w + 11. Let l be q(0). Let u be v(l). Solve 0 = -4*o + s - 2, 0 = 3*o - 5*s + 13 - u for o.
0
Let v = -1456 + 1459. Solve -3*u + 13*f = 14*f + 4, 0 = -v*u - 2*f - 5 for u.
-1
Let d = -58 + 78. Suppose 20*w - d = 16*w. Solve s - 5 = 6*s, 0 = -5*r - w*s + 5 for r.
2
Let q(z) = -2*z**2 + 3*z + 2. Let n be q(3). Let y = n - -9. Solve 0*m - 2*m - 3*s - 6 = 0, -2*m + y*s = -14 for m.
3
Let t = -65 - -71. Suppose 5*z - 5*z + t*z = 0. Let m(r) = 6*r**3 - 2*r + 1. Let i be m(1). Solve -i*s = -z*p - p + 14, 2*p - 3*s = 14 for p.
4
Suppose -158 + 185 = 9*v. Solve h = v*m + 2 - 10, -m = -h for m.
4
Let f(h) = -2*h - 12. Let l be f(-8). Suppose 0 = -a - l*a. Let v = 4 + a. Solve -4*b - 7 = 3*n, 0 = -n - v*n - 3*b - 8 for n.
-1
Let r be 801/(-12) - (-2 - (-9)/4). Let i = -67 - r. Solve -3*c + m - 15 = 0, -20 = 4*c - 4*m - i*m for c.
-5
Let q be (8/(-12))/((-4)/18). Let a = 12 - q. Let h = 11 - a. Solve -h*j - 4*n = -0*n - 4, -19 = j - 5*n for j.
-4
Suppose 0 = -3*m + 3 - 21. Let j be m/(3 - 6)*(-21)/(-2). Solve -o - 17 = 3*a - 0*o, 3*a + 3*o = -j for a.
-5
Let f = 7 - 6. Let h be f/(-4) + 10/8. Let d be (h*-4)/(-4) + 3. Solve 2*g + o - 3 = 0, 0 = 2*g - 2*o + 4*o - d for g.
1
Let f be 1/((-1)/6)*2/(-6). Suppose 15 = -2*r + f*d + 3*d, 3*r - 5 = 2*d. Solve r = 6*l - 2*l + 5*t, 0 = 3*l + 3*t - 3 for l.
0
Let c(h) = h**3 - 10*h**2 + 19*h - 11. Let l(o) = o**3 + 9*o**2 + 8. Let q be l(-9). Let r be c(q). Solve w = s, w - 12 = -4*s + r for s.
5
Let d = -33 + 33. Suppose -4*b - 4*b + 56 = d. Solve 2*l - b*l = -4*i - 5, -i = 5*l - 30 for l.
5
Let v be (-3 + 3)*1*3/(-6). Solve 0*q - q - 5*y - 4 = v, -y + 4 = 5*q for q.
1
Let z = -41 + 47. Suppose 0 = -z*n - n + 14. Solve -4*f - 4 = 16, 2*q + n*f = 0 for q.
5
Let j(q) = -2*q - 4*q**3 + 0*q + q + 0*q**3 - 1. Let u be j(-1). Solve -3*c + u*b = 4, -1 = -3*c + 5*b - 6 for c.
0
Let p = 103 + -83. Let q = -38 + 23. Let r = q + p. Solve r*l = -3*z + 9, 0*z = 2*l - 3*z + 9 for l.
0
Let b(r) = -r - 1. Let y be b(-7). Suppose -5*o + y = -14. Suppose -63 = -5*n + 52. Solve 0*a = -3*a - q - 4, -o*q = -a - n for a.
-3
Let t(s) = s + 6. Let n be t(-4). Solve 5*u = 5*p + 5, -2*p + 7*p = -n*u + 2 for p.
0
Let r(y) be the second derivative of y**5/20 - y**4/4 - 2*y**3/3 + y**2/2 - 2*y. Let x be r(4). Solve 2*v - x = 5*p - 0*v, 3 = v for p.
1
Let y = -32 + 100. Suppose -5*w = 23 - y. Suppose -4*i = -i + 4*k - 26, k = -2*i + w. Solve -12 = i*t + 3*a, 3*t + 2*t + 13 = a for t.
-3
Let g = 55 - 34. Solve 0*i - 4*i = 5*f - g, 5*i = -f + 21 for i.
4
Let u = -10 + 13. Suppose -16*w + 17*w = u. Solve 0 = -3*r - r + 2*q - 14, -w*r - q - 18 = 0 for r.
-5
Suppose -4*f + 10 = f. Let j be (-2 - 5/(-1)) + f. Solve 3*b + j = 5*z, 29 = -5*b - 5*z + 3*z for b.
-5
Let o = -12 - -11. Let h(i) = 17*i**2 + 2*i + 2. Let s be h(o). Solve b + 4*p = -15, 0*b + 4*p + s = b for b.
1
Suppose 0 = 17*j - 29*j + 24. Solve j*i - 9 = 4*w + 21, -5*i + 40 = -3*w for w.
-5
Let o(y) = -5*y - 38. Let m be o(-8). Solve -5*r = j + 10, -6 = 5*r - m*r - j for r.
-2
Suppose -s - 3*s - 8 = 0. Let o(v) = 9*v**2 + v. Let h be o(s). Suppose -9 = 5*q - h. Solve 5*b = 5*n - 20, -5*n + 3*n - b = -q for n.
3
Let q(b) = -4*b + 47. Let c be q(10). Solve -4*z - 4 - c = 3*h, -8 = 4*z for h.
-1
Let f be ((-30)/(-8))/(((-108)/32)/(-9)). Let g = -18 - -40. Let z = g - f. Solve -8 = 3*d + k, -2*d + 2*k - z = 4 for d.
-4
Let p be ((-15)/(-20))/(4/16). Suppose u = -5, p*a - u = -4*u. Suppose g = -4*w + 6, -4*g - 9 = -a*g - w. Solve -2*y + y - 2*m + g = 0, -22 = -y - 5*m for y.
2
Let p(r) = 12*r + 232. Let j be p(-19). Solve j*x = 2*a + 12, 3*a = -13*x + 11*x - 10 for x.
1
Let k(n) = 13*n**2 + 12*n - 12. Let w(h) = 4*h**2 + 4*h - 4. Let v(o) = 6*k(o) - 17*w(o). Let y be v(1). Solve -3*t - z + 8 = 0, 5*t + 4*z = 3*z + y for t.
1
Suppose 32 = 4*y + 4*d, 3*y - 3*d - 8 = -2*d. Solve -y*w - 11 = 5*x, 2*w + 3*w = -4*x - 7 for w.
1
Suppose 3 = -f, q - 5*f + 51 = -q. Let r = 34 + q. Solve -c - o + 0 = -r, -2*c + 6 = 4*o for c.
-1
Let l(y) = -y + y - 5*y + 1. Let n be l(1). Let f be n + 3*(-8)/(-3). Solve f*v - 24 = -4, -5*m - 2*v = 0 for m.
-2
Let j(y) = -4*y**2 + 2*y - 3. Let n be j(2). Let a = 16 + n. Solve 4*w - 5 = 3*r, -w = r - 4 + a for r.
1
Let w(y) = -y**3 - 5*y**2 + y + 7. Let h be w(-5). Suppose 0 = h*m - 27 + 5. Suppose -5 = u - m. Solve 6 = o - 3*z - u, -4*z = o + 23 for o.
-3
Let a be 3 - 51/(8 + -5). Let d be (2 - 16/6)/(a/63). Solve 3*g - 2*k = d*k + 37, -5*g + 10 = 2*k for g.
4
Suppose -2*o - 38 = 2*k, 3*k + 65 = -5*o + 4*k. Let j be o/(-49) - 4/14. Solve 4*u = -l - j*l + 24, 4 = l for u.
5
Let c = -812 + 814. Solve -4*k - 1 + 7 = c*p, k - 5*p = -4 for k.
1
Let c be ((-1)/(-3))/((-2)/(-834)). Let r = 143 - c. Solve 2*q + 4*y = 2, 4*q + 0*q - 5*y - r = 0 for q.
1
Let w(j) = 9*j**2 - 2*j. Let o be w(2). Let x = -19 + 24. Suppose -2*h - 5*z + 1 = 2*h, o = x*h - 4*z. Solve -h*p + 0*l + 5*l - 21 = 0, 5*p = 5*l - 20 for p.
1
Suppose 3*z - 180 = -3*z. Suppose 0 = -5*q + 88 - 18. Let a = q + -9. Solve -5*k + a*i = z, -k - 6 = k + i for k.
-4
Suppose -4 = -3*u + b + 61, -5*u + b + 105 = 0. Let s = -16 + u. Suppose -s*n = -3*n - 2. Solve 4*h - 13 = q, 6*q - n*q + 4*h = -12 for q.
-5
Suppose 0 = 3*z - 3, -4*f - 3*z = -0*z - 51. Let r be -15*(2 + (-4)/3). Let y = r + f. Solve 5*t - 4*t - 5*a = 5, -3*a - 3 = -y*t for t.
0
Let o be (4/(-8))/(3/12). Let h = 29 + -40. Let j be (-7 - h)/((-4)/o). Solve r = 2*f - 2, 3 = 3*f + j*r - 7*r for f.
1
Let f(k) = 44*k**2 + 3*k + 4. Let u be f(-1). Solve -8*i = -5*i - 5*d - 5, -5*i = 5*d + u for i.
-5
Let n(o) = 7*o**2 + 43*o + 11. Let v be n(-6). Solve 0 = j + 5, -3*k + 10 = -v*j - 12 for k.
-1
Let s(v) = -v**3 + 10*v**2 - 10*v + 12. Let l = -36 + 45. Let n be s(l). Solve 0 = y - 4, -3*y - 9 = n*d - 6*y for d.
1
Suppose -o = o + c - 18, 3*c = -4*o + 34. Let r be 6/18 + 11/3. Let q be (-3)/((-2)/r*2). Solve -b = 5*m + o, -3*b + m + 27 = -q*m for b.
5
Suppose -32*g + 0*g = 0. Solve g = -5*p - 4*r - 33, -4*p - r = p + 27 for p.
-5
Let d(m) = -m**2 - 7*m - 9. Let i = 24 - 29. Let l be d(i). Solve -4*v - y - l = 0, 5*y = 3*v - 2 - 3 for v.
0
Let q = 59 - 58. Let v be (-2)/6 + ((-95)/(-15) - q). Solve 4 = 2*b - b - v*m, -4*m = -b + 4 for b.
4
Suppose -19 = -6*o + 35. Suppose -49 + o = -8*l. Let r be ((-3)/5)/((-1)/5). Solve r*d - l*x - 8 = -0*x, 4*d = -4*x - 32 for d.
-4
Suppose -2*b - 5*y + 26 = 0, b - y + 13 = 4*b. Solve -b*r + 2 = i, -r - 14 + 0 = 4*i for i.
-4
Let m = 