e v = 4*f - z*k, -k - 15 = -5*f + 2*k for f.
3
Suppose -377 - 217 = -22*k. Solve k - 9 = 5*h + c, -4*h + 26 = -5*c for h.
4
Suppose -326*v + 16*v = -12*v. Solve -19 = -n + 4*z - 0, -4*z - 16 = v for n.
3
Suppose 73 = -5*l - 57. Let p be 2/(10/l*(-18)/45). Let a = 7 + p. Solve -3*o - 4*h - h = -a, -4 = 2*o - h for o.
0
Suppose -1846*v = -1836*v - 50. Solve 4 = j + w - 0, v = 5*w for j.
3
Let k be (7 - 7) + (-2)/(2/(-5)). Suppose 6*p - 2*p + 19 = v, 0 = -k*v - p + 11. Solve v*g - 9 = 3*a, g - 2*a - 11 = -2*g for g.
5
Let m = -272 - 66. Let z = 340 + m. Solve -3*a = 3*x - 12, 0*x - 4*x = -z*a + 8 for x.
0
Suppose -4*z + 3*i = -65, 0*z - 2*z - 5*i + 13 = 0. Let y be (-40)/z*(4 + (-60)/8). Solve y = -2*d - j - 3*j, 4*d + 2*j - 4 = 0 for d.
3
Let r be (360/84*(-35)/(-10))/(-5 + 6). Solve l - r = -4*a - 5, 5*a + l - 12 = 0 for a.
2
Suppose 8*i = 5*i + 24. Let z(o) = -2*o**2 + 21*o - 30. Let g be z(i). Suppose 15 = 11*n - g*n. Solve 4*l + 3*k - 2*k + 3 = 0, -5*k - n = 0 for l.
0
Let l be 1/3 - (-480)/45. Let o(d) = d**3 - 10*d**2 - 13*d + 27. Let x be o(l). Solve -5*f + 7 = -a, x = -5*f - 5*a - 0 for f.
1
Suppose q - 79 + 17 = -61*q. Solve -75*p + 80*p = -4*x - 5, 0 = -2*p - x + q for p.
3
Let z(b) = 2*b**2 + 36*b + 167. Let c be z(-9). Solve 17 - 2 = c*q, 20 = -f + 5*q for f.
-5
Let s(w) = 2 + 96*w**2 + 3 - 14*w - 93*w**2 - 1. Let c be s(5). Solve 0 = -p + 3*q - 8, p = 4*q - c - 0 for p.
-5
Let j(n) = n**3 + 2*n**2 + 3*n + 4. Let f(i) = -2*i - 2. Let d be f(-1). Let z be j(d). Solve 0 = -5*k + t - z - 4, -4*k + 4*t = 16 for k.
-1
Suppose 112 = 8*x + 16. Suppose -5*h + x = -4*h + 2*n, 2*h - 5*n + 21 = 0. Solve 4*j - 3*u = -14, -3*j - 27 = h*j + u for j.
-5
Let w(a) = 2*a**2 - 6*a + 11. Let r be w(2). Suppose -1 = u, -9 + r = -j - u. Solve -5*q = 2*p + 15, 0 = -3*q + 2*q - j for p.
0
Suppose 3*i - 4 = 5. Suppose 19 - 3 = -5*f - 4*v, v + 4 = 0. Let c be 6 + f + -4 - (1 + -16). Solve -4*d - c = 5*j, 2*d + 3*d = -i*j - 5 for d.
2
Let h(s) = -309*s - 5 + 309*s + s**2. Let p be h(3). Suppose 3*v + p + 2 = -3*i, 5*v = i + 20. Solve 22 = 4*u - v*m, -5*u - 3*m + 30 = -8*m for u.
4
Suppose 3*z - n = 10, 11 = 3*z + 26*n - 28*n. Solve 0 = 4*x + 5*h - 7 - 8, 2*x = -h + z for x.
0
Let x = 238 - 234. Let z be x/(((-12)/1)/(-6)). Solve 0*j - z*j = -2*w + 10, 4*j = 2*w - 12 for j.
-1
Let b = 2057 + -2044. Let c(o) = -o**3 - 8*o**2 + 7*o + 9. Let w be c(-9). Let q be 2/(-5) + w/5. Solve -5*x - b = -p - 2*p, 0 = 5*p + q*x + 5 for p.
1
Suppose 8 = -3*b + 3*i + 5, 3*b = i + 1. Solve 4*w = 5*h - b, 13*w + 2*h - 1 = 14*w for w.
1
Let i = -354 - 320. Let t = i - -676. Solve 5*g = f - 29 + 4, 10 = -2*g + t*f for g.
-5
Suppose 31*o = 26*o - 65. Let k(i) = i**2 + 7*i - 75. Let r be k(o). Solve -5*h - w = 0, -r - 2 = w for h.
1
Suppose -3*l + a = -16, 3*a + 12 = 2*l + 2*a. Suppose 0 = j - 10*j + 216. Suppose 3*s - 11*s = -j. Solve -1 + 5 = -5*i - s*t, t = i + l for i.
-2
Let g be (-3)/((-244)/(-60) - 4). Let f = g - -45. Suppose 5*m - b - 16 = 32, -5*m - 5*b + 60 = f. Solve u + 0 = -4*s + 1, -2*u + m = 0 for s.
-1
Suppose -2*m = 4*u - 9 + 89, 80 = -4*u + 4*m. Let i be (-5 + 2)*u/12. Solve 0 = 4*p - 3*j - 1 - 2, 0 = -i*p + 5*j + 5 for p.
0
Suppose -f + 36 = 3*m, -5*f - 28 = -8*m + 7*m. Suppose 0 = m*x - 18*x + 25. Solve 4*l - 22 = -0*l - 2*y, -26 = -x*l - y for l.
5
Suppose -3*z + 750 = -13*z. Let y = -28 - z. Let d = y + -37. Solve -5*i - d = 5*b, -2*b = 5*i - 4*i + 6 for i.
2
Let k(w) = -w**2 + 16*w + 21. Suppose 8 = -g + 3, r - 5*g = 42. Let x be k(r). Solve -x*t - 12 = -0*o + 3*o, 4*t + 4 = -o for t.
0
Let f(o) = -5*o - 5. Let h be f(-2). Suppose -2*w = t - 45, 5*w = -3*t + 65 + 47. Let x = w - 20. Solve 0 = a - 4*a + x*m - 3, 2*a - 33 = -h*m for a.
4
Let r(a) = -5*a**3 + a**2 + 2*a + 10. Let d be r(0). Suppose -d = -18*j + 80. Solve z + 4*c + 4 = -j, 0 = 5*c + 5 for z.
-5
Let b = 165 - 163. Let w(n) = 2*n**2 - 3*n - 2. Let y be w(b). Solve -u + x = y, 2 = 5*u - 2*x + 17 for u.
-5
Let a(n) = 5*n + 2*n + 45 - 3*n. Let v be a(-7). Suppose r + 0*r - v = 0. Solve p - q = -4, 4*p + r = q + 4*q for p.
-3
Let v(t) be the second derivative of t**4/12 - 5*t**3/6 - 10*t**2 + 19*t. Let n be v(8). Solve -9 = 3*s + 4*x, n*s - 16 = 3*x - 3 for s.
1
Let t(j) = j**3 + 17*j**2 + 16*j + 2. Let k be t(-16). Let l(f) = 4*f - 3*f - k*f + 3 + f**2. Let s be l(0). Solve 0 = -3*o + 3, 4*c + s*o + 8 + 5 = 0 for c.
-4
Let z be 132 - (18/2*1 + -5). Let m = 133 - z. Suppose -3*k = 0, 0*k = 2*j - 4*k - 12. Solve m*i = 4*w - j, -w - i + 0 = -6 for w.
4
Let i be ((-9)/9*1)/1 + 10. Solve -3 = -a - 3*x, 0 = -3*a + 5*x - 6*x + i for a.
3
Suppose -59*r + 24 = -55*r. Solve 4*v - 10*i = -12*i + r, 6 = v - 4*i for v.
2
Suppose -41*h = 23*h + 468 - 532. Solve -4 = -a - 0*a - 5*d, 5*a + 4*d = -h for a.
-1
Let z be ((-180)/20)/((-6)/(-4)) - -18. Solve -9 = -4*j + 4*p + 15, z = -4*p for j.
3
Let r be 3/((-2)/10*25/(-1030)*6). Solve 0 = 5*y + 2*p + r - 83, -5*p = 3*y + 31 for y.
-2
Suppose 3*a = -2*r + 13, -2 - 8 = -2*r - 2*a. Let i be ((-9)/r)/((-27)/18). Let p = 45 - 41. Solve 0 = -p*s + i*b + 19, -b = 5*s + b - 18 for s.
4
Let q(g) = -g**2 + 9*g + 58 - 115 + 38. Let x be q(4). Let d = 0 + x. Solve t = o - 9 + d, 25 = -5*t for o.
3
Suppose j = -2*y + 495, 9*y + j - 744 = 6*y. Suppose 2641 = 46*c + y. Solve 3*x - 11 = -a, -5*x + c = -4*a + 11 for x.
5
Let t be 0/(-1)*1/2. Suppose -5*m + 27 = -2*r - r, t = 2*m + 5*r + 14. Suppose -m*v - 2*x = 0, -5*v - 3*x = -6*v. Solve v = -5*b, -3*h + 0*h = 4*b for h.
0
Let o = -23240 + 23244. Solve o*l = -k + 17, -41*l + 40 = -5*k - 36*l for k.
-3
Let s be (2 + (36/15)/(-2))*-95. Let r = 62 + s. Let a = r + 17. Solve 5*z + 41 = -4*l, a*z + 2*l + 13 = -10 for z.
-5
Let a(y) = 8*y + 40 - 78 + 40. Let s be a(0). Solve 0*h - f - 2 = s*h, 4*f = -16 for h.
1
Let c be (-6)/(1 - (-24)/(-18)). Suppose -12 = 4*l + 4*f, 4*l + f - 3*f - c = 0. Solve 4*o = -20, 0*b + 4*o + 18 = -l*b for b.
1
Let s = 10 - 19. Let z be (s/(-6))/((-3)/(-204)*3). Suppose -8*m = -6 - z. Solve d + 2*t = 2, -m*d = -t - 0*t - 10 for d.
2
Suppose 2*a + 40 + 38 = 0. Let r = -35 - a. Suppose r*z - 24 = 16. Solve -5 = -5*u + 4*t, -3*u - z = 2*t + 9 for u.
-3
Let q be (-9)/6*28/6. Let p(l) = -l**3 - 7*l**2 - 2*l - 10. Let b be p(q). Suppose 0 = 10*u - b*u - 18. Solve 3*g = y + 11, u*y + 10 = 4*g - 3 for y.
1
Suppose 0 = -2605*j + 2599*j + 18. Solve -s = j*s - 4*p + 12, 2 = p for s.
-1
Let u be -4 - (-100)/28 - 6/(-14). Suppose 2*w - 26 + 22 = u. Solve 0 = -2*g - 5*f - 20, -13 = g + w*f - 4 for g.
-5
Suppose -18*k - 8 = -20*k. Suppose y + 2*c = 29, k*c = 3*y - 0*c - 67. Solve -5*s - 5*g = -0*g + y, 5*s = 4*g + 11 for s.
-1
Let c(r) = -2*r**2 + 160*r - 2139. Let b be c(17). Solve -x + 17 = 2*x + 2*t, b*t = -x + 15 for x.
3
Let z = 1382 - 1360. Solve 3*t = 4*c - 4, 19*t + 5 = z*t + 5*c for t.
0
Let i be (180/50)/((-12)/(-10)). Solve -3*u - 3*u = 4*p - 16, -4 = -4*p - i*u for p.
-2
Suppose -3 = -5*n + 117. Suppose 0 = -4*d + 8*d. Suppose -n = -2*c - d. Solve -3*u = w + c, 3*u = -u - w - 15 for u.
-3
Let q(b) = b**3 + 11*b**2 + 16*b + 28. Let j be q(-10). Let y = -25 - j. Suppose y*f - 8 = 6. Solve 5*h - 4*x = 28, 2*x = -2 - f for h.
4
Let y(o) = 3*o**2 + 7*o - 69. Let d be y(7). Suppose -145 = -6*u - d. Solve 0 = -u*z + 2*l + 5, z - l = 2*l + 11 for z.
-1
Let f(t) = -728*t + 5831. Let a be f(8). Solve 3*p = 2*c - 18, a*p - 38 = 11*p - 5*c for p.
-2
Let m(t) = -2*t + 2. Let z = -37 - -41. Suppose -6*v = -3*i - 4*v - z, -5*v + 10 = 0. Let h be m(i). Solve -5*s = -h*y + 16 - 3, 0 = 2*s + 3*y - 10 for s.
-1
Let p = 37 + -16. Suppose 2*b = 15 + p. Suppose -5 + 2 = n - t, 0 = -n + 4*t - b. Solve -s - n*s - 4 = 4*w, 4 = -4*w for s.
0
Let p(c) = 3*c - 82. Let t(g) = 3*g - 83. Let d(i) = 6*p(i) - 5*t(i). Let m be d(27). Solve 11 = k + 2*b, m*k + 0*k + 3*b = 29 for k.
5
Let a be -1*2/(1 - 3) - 7. Let o = a - -11. Suppose -x - 2*x + 14 = -4*z, o*z = 2*x - 14. Solve s + 2 = -5*p, p + x + 11 = 4*s for s.
3
Let x be (2/(-5))/(2/(-10)). Let m(r) = r**3 - 11*r**2 + 31*r - 34. Let t be m(8). Suppose -9*b - x*b = -t. Solve b*o + v = -13, -2*o - 10 = 3*o - 5*v for o.
-5
Suppose 0 = t + r - 5*r + 15, 0 = t + 3*r - 20. Suppose -t*y + 4*f + 27 = 0, -2*f = -2*y - 4*f. Solve p - 3*a = 6 + 3, 3*p + y*a + 21 = 0 for p.
-3
Let j(v) = -11*v + 112. Su