k - u + 8 = 0, 5*u = 6*k - r*k - 5 for k.
-5
Suppose 2*l + 5 = -3*l. Let m(a) = -3*a**3 - a**2 + 2*a + 2. Let p be m(l). Solve f = -0*f - 4*k + 9, 9 = -5*f - p*k for f.
-3
Suppose -382*w - g - 18 = -387*w, -4*w - 5*g + 55 = 0. Solve 75*i + w*z = 79*i - 17, 5*z - 4 = -3*i for i.
3
Let i(v) = v**3 + 5*v**2 + 6*v + 35. Let w be i(-5). Suppose -7*r + w*r + 2*l + 4 = 0, -3*l + 6 = 0. Solve 12 = a - r*k - 5, 2*a - 2*k = 4 for a.
-3
Let x be (-8)/(-5) + 2010/5025. Solve x*w - m = -1, 39 - 7 = -4*w - 4*m for w.
-3
Let c(y) = 3*y + 4 + y**3 - 6 - 12 - 3*y**2 - 7*y. Let b be c(5). Let r = 11 - 7. Solve 5*m - 4*z = b, -z - 8 = r*m + z for m.
0
Let x be -3 - 38/(-5) - 46/(-115). Solve 0 = 5*q - 5*g + x, 2*q + 0*g + 2 = g for q.
-1
Let z be (-5)/25*(-30)/7*49/14. Solve z*v = -68*y + 73*y - 8, 0 = -5*y + 20 for v.
4
Let h(t) = -14*t**3 - 6*t - 6. Let v = 516 + -517. Let p be h(v). Suppose x + 3*c - 11 = 0, 3*x - 4*c + 22 = 8*x. Solve x*y + 4*o = -p, -y = y + o + 5 for y.
-1
Suppose -10*t + 27*t - 34 = 0. Let m = 26 + -23. Suppose m*p = -2 + 8. Solve 5*k = 3*n + 5, -p*k = t*n - 0*k - 2 for n.
0
Suppose 31*r = 36*r + 4*t - 3, -4*t - 24 = -4*r. Let u = -53 - -57. Solve -2*w + o = r, -7*o + 2*o = u*w + 27 for w.
-3
Let i(k) = 4*k - 129. Let m be i(33). Suppose -m*p + p = -10. Solve 20 = 5*d + p*q, 0*d + 3*d + 4*q - 11 = 0 for d.
5
Let u = -6262 + 6262. Solve u = 2*z - 2*m - 2*m - 10, -40 = 4*z + 4*m for z.
-5
Suppose 4*h + 3*j = 5*j + 48, 3*h - 36 = -j. Suppose -h*n + 15 = -7*n. Let q be (-25)/(-10) + (-4)/8. Solve n*v - q*v - 2*s + 8 = 0, 0 = 5*v - 4*s + 22 for v.
-2
Let v = -288 + 168. Let t be 31/3 - v/(-90). Suppose -11*w + 2 = -t*w. Solve 0 = -b - 3*j + w - 2, 0 = 3*b + 2*j + 10 for b.
-4
Suppose -13*b + b = -1728. Suppose b = 7*p - 122. Solve 5*m - 2*v + 21 = 0, -5*m = 4*v - 5 + p for m.
-5
Let k = 924 - 919. Suppose 3*r - 2*w - 154 = -r, -k*r + 3*w = -195. Solve 0 = -4*l + d + 3 + 17, 4*l - r = 5*d for l.
4
Let r = 4 - 8. Let q(o) = -o**2 - 5*o + 5. Let y be q(r). Suppose 0 = 2*s - 5*s + y. Solve -4*t + 29 = 3*f + 3, -s*t + 5 = -5*f for t.
5
Let j = 83 + -89. Let n be (2/j)/(8/(-72)). Suppose -n*b - 3*f = -b + 1, 16 = b - 4*f. Solve -b*i - 3*p + 7*p = -12, -4*p - 8 = 0 for i.
1
Let a = 91 - 88. Suppose a*w - 6 = 0, -4 = -2*z - 2*w + 6. Solve 5*s + 12 = 4*f - 0*f, -3*s - 18 = z*f for s.
-4
Suppose 6*r - 3666 = -3456. Solve -28 = -4*o + 4*v, -30 = 3*o + v - r for o.
3
Suppose -2*z + 5 = -g, 0 = z + 90*g - 86*g + 2. Solve 54*f - 4*h + 3 = 55*f, h = -z*f - 8 for f.
-5
Let b = 22 + -16. Let n be (6 - 0 - 11)/(-1). Solve x + 5*u + n = -b, x = -4*u - 9 for x.
-1
Suppose 85 = -m + 2*m + 4*s, -191 = -3*m + 4*s. Let k be m*(2 - (3 + -3))/6. Solve 0 = -2*a - 3*j + 5 + 4, -k = a - 4*j for a.
-3
Let z = -2036 + 2042. Solve -2*t = -3*k - z + 8, -5*t + 10 = 0 for k.
2
Let t = 2 + -2. Suppose t = 10*z - 100 - 0. Solve -5*s - z = -5*v + 5, -5 = 3*v + 4*s for v.
1
Suppose -5*b = 0, 6*h - 5*h + 0*b = 4*h - b. Solve 7 = 4*m - 5*v - 30, h = -4*m - 5*v - 13 for m.
3
Suppose -2*s + 72 = 6*s. Suppose -c + s = 5*n, c = 6*c - n - 45. Solve 3*z - 4 - 3 = 2*d, 5*z - 2*d - c = 0 for z.
1
Let p = -659 + 664. Solve 0 = p*t + 4*z, 45*z = 40*z for t.
0
Let t be (-763)/218 + 7/(-2) + (-9)/(-1). Solve 0 = -5*h + t*l - 1, 0 = -4*h + 80*l - 85*l - 14 for h.
-1
Let p(r) be the first derivative of -r**4/4 + 2*r**3 - r**2 + 3*r - 12. Let n be p(4). Solve -5*x - 26 - 2 = 3*s, -5*x - n = 2*s for x.
-5
Let t be (15/5)/(-11*10/(-110)). Solve 2*m - t*i - 44 = -60, 4*m + 4*i - 8 = 0 for m.
-2
Suppose -3*r - 19 = -l - 22, -5*r + 7 = -l. Suppose -l*v + 17 = 2. Solve -10 = 5*u - v*c, -3 = -3*u - 2*c + 16 for u.
3
Let n = 9 - 6. Suppose n*m + 3*c = -15, c = -3*c + 20. Let j be (m - -7)/(1/2 - 2). Solve 3*l - 2*u = 17, j*l - 4*u = 3 + 11 for l.
5
Let b = 108 + -100. Solve -3*a - 2*d = -13, -b*a + 7*a = 5*d for a.
5
Suppose 76*y = 80*y - 2*a - 2, -a = 3*y + 1. Solve -8*o - 1 = -4*o - g, 5*g + 15 = y for o.
-1
Suppose 0 = -0*a + 3*a - 108. Suppose 123 = -566*o + 569*o. Suppose a*u + 15 = o*u. Solve 2*k = 2*b + 8, -4*k = 4*b - u*b + 9 for k.
-1
Suppose -110*o - 7 = -117*o. Suppose -g - 5 = -4*r + o, 3*g - 4*r + 2 = 0. Solve -3*v - g*v + 25 = 0, -5*m + 5*v - 40 = 0 for m.
-3
Let u be (-1)/(-4 - 1085/(-91) - 8). Solve u*m - 12 = 16*m, 4*v = m + 24 for v.
5
Let t(o) = -1 + 12*o**2 - 13*o**3 + 14*o**3 + 3. Suppose 0 = a + a + 24. Let y be t(a). Solve 2*s - 4*s + 4*d - 10 = 0, y*s + 6 = 2*d for s.
-1
Let j(u) = u**2 + 17*u + 19. Suppose -4*z + 59 = -4*x + z, -2*x + 4*z - 28 = 0. Let i be j(x). Solve -2*f + i*h + 1 = 0, -4*h = -9*h - 15 for f.
-4
Let h = 34 - 170. Let c be h/(-36) + 12/54. Solve 4*i = -5*a - c, 2*i + 1 = i - 3*a for i.
-1
Suppose 15*w + 778 = 883. Solve -2*v - w = b - 20, -3*v = 3*b - 27 for b.
5
Let w = -2070 + 2072. Solve -5*i - 2*j = -2, -w*i - 4*j + 4 = -0 for i.
0
Let j(n) = n**3 - 4*n**2 - 9. Let w(p) = 2*p**3 - 7*p**2 - p - 18. Let r(q) = 5*j(q) - 2*w(q). Let k be r(6). Solve 2*t + a = 1, -k*t + 2*a = 18 - 2 for t.
-2
Suppose d - 7 = 14*l - 18*l, -4*l + 12 = -4*d. Solve -15 = 5*v - 19*x + 24*x, -3*v + l*x = 14 for v.
-4
Let q be (-2 + 94*-1)/(-1). Suppose 4*l + 5*f = -202 - 152, -3*f + 188 = -2*l. Let u = q + l. Solve 4*b + 17 = -0*b - 3*c, -u*b + 3*c = 28 for b.
-5
Let l be 0/(15 + -24 + 10). Solve -2*h + 25 = 3*h - t, l = 4*t for h.
5
Let w be (-364)/(-169) - 6/39. Suppose -n - 2*u - w = -3, -4*n = -4*u - 40. Solve -3*z = t - 5*t + 1, 2*t = 3*z - n for z.
5
Suppose 0 = 2*y + 18*h - 14*h - 52, -2*h - 62 = -3*y. Solve 5*k + l - 25 = 0, 20*l = 2*k + y*l - 18 for k.
4
Let p(j) = j**3 - 40*j**2 + 15*j - 23. Let a be p(39). Let b = a - -966. Solve -2 = -0*s + s + 4*f, f = -4*s + b for s.
2
Let v be (1/3)/((-20)/(-1080)). Suppose -v*n + 112 = -4*n. Solve 0 = 3*h + 2*d + 13, -h = -3*d + n*d for h.
-5
Suppose 59 = 10*d - 61. Let x be (12*2/8)/(d/8). Solve -l - 1 = 2*c, x*c + 5*l = -0*l - 5 for c.
0
Let v = 235 - 232. Suppose -2*l - 16 = -v*z, 0 = -l - 2*l - 6. Solve -h + g + 3 = -g, -g - z = -3*h for h.
1
Suppose -3332 + 3117 = -43*c. Solve 10 = 2*y - 4*q + 8, 3*y - c = 4*q for y.
3
Let a = 416 + -167. Let g = a + -244. Solve 2*i = -g*w + 29, -2*w - 3*i - 2*i = -20 for w.
5
Let w be ((500/(-60))/(-25))/((5/6)/5). Solve 2*l = -3*k, -w*k - 3*k + l = 0 for k.
0
Let v = 3 - 14. Let h(t) = 22*t + 242. Let l be h(v). Solve 3*s + k - 4 = l, 5*s = k - 3*k + 7 for s.
1
Let z be (75/20)/(9/24). Let u be 0*(20/(-4))/z. Solve 3*a + 2*h + h + 12 = u, 3 = -2*a - h for a.
1
Suppose f = -f + 6, 90 = 4*m + 2*f. Let n(h) = 9*h - 185. Let a be n(m). Solve -a*v + 5*y = 4, -4*y + 1 = -v - 8*y for v.
-1
Suppose 8*r = 526 - 494. Let n be 6 + -6 + r/6*6. Solve -3*p + n*q + 8 = 0, 2*p - 3*p + 5*q = 1 for p.
4
Suppose -5*d + 115 = 3*o, 2*d - 44 = 3*o + 2. Let s(a) = a**2 + 29*a - 72. Let w be s(-23). Let j = w + 214. Solve -3*q - 9 = y, -9*q + y - d = -j*q for q.
-4
Let x(r) = r**2 - 5. Let l be x(5). Let a(c) = 4*c**2 + 2*c + 1. Let f be a(-1). Let d = 2490 - 2486. Solve -f*w - 2*w - 17 = 3*b, -l = d*b + 4*w for b.
-4
Suppose 3*q - 6 = 3*g, 11 = 3*q - g + 3*g. Let p be (-10)/(-4)*(-156)/(-195). Solve -5*u - 24 = 4*x - q*u, 0 = 2*x - p*u for x.
-4
Let q be (1 + 6)*5/7. Suppose -3*f - 19 = -q*t - 12, -2*t - f = -5. Solve 5*r - j = -2, -t*r = -j + 5*j + 14 for r.
-1
Let n = 16547 + -16547. Solve 4*i = -n*a + a - 25, -a = 2*i + 5 for i.
-5
Suppose -8*r - 6*r = 0. Suppose 40*y + 3*y - 387 = r. Solve -y = g + 4*h, 0 = g + 3*h + 4 + 3 for g.
-1
Let u(s) = 2*s**3 + 98*s**2 - 106*s - 299. Let n be u(-50). Solve -11*r - 5 = -16*r - q, -n = -r - 3*q for r.
1
Suppose -45*r + 125 = 5*d - 40*r, 5*d + r - 129 = 0. Solve -5*v - d = -4*m, -21*v + 24*v - 4*m + 22 = 0 for v.
-2
Suppose 345*a = 360 + 675. Solve -3*y + 5*j = 0, a - 12 = -3*y + 2*j for y.
5
Let k = 3584 - 3580. Solve -5*x - 16 = k*o, 8*o - 4*o = -4*x - 16 for x.
0
Suppose 0 = -227*n + 171*n + 112. Solve -n*f = 2, f = -280*u + 278*u - 11 for u.
-5
Let w be 1288/(-1127)*(-14)/4. Solve -9 = -m - 4*f, 24 = -w*m + 5*f - 3 for m.
-3
Let h = -7 + 12. Let c be (8 + (2 - 1))*(2 - 3). Let p be 8/3 - (-2 + (-6)/c). Solve p*r + s = 0, 21 = -h*r + s + 3*s for r.
-1
Let o = 68 - 64. Suppose -3*d + x = -16, 0 = -4*d - 5*x - o + 38. Let w be (102/85)/(d/20). Solve 0 = j + 3*m + 5, m = w