k + 7*l - 82. Let j = k - -26. Solve j*m + 5 - 15 = 0 for m.
5
Let c = -2517 + 2527. Solve 15 = c*k + 5 for k.
1
Suppose -2*g = -5*j - 30, 5*g - 75 = 162*j - 160*j. Solve g*o = 2*o + 13 for o.
1
Let s be (6 - (-162)/(-12))*18*1. Let f be ((-140)/21 - -8)/((-12)/s). Solve 0 = 9*w - f*w - 24 for w.
-4
Let f(u) = 2*u**3 - 7*u**2 - 12*u + 67. Let l be f(5). Let h(a) = a**3 + a**2 + 5. Let b be h(4). Suppose -b*c = -l*c - 6. Solve 10 = -4*j - c for j.
-3
Let o be (-199 - -203)*(-18)/(-2). Solve 187*b = 193*b + o for b.
-6
Let w(h) = 31*h - 4265. Let i be w(146). Solve 6*v = i - 261 for v.
0
Let w be 0/((-39)/3 - (-156)/13). Solve 20*v + 16*v = w for v.
0
Let u be (-12)/27 - 248/(-72). Suppose -32 = -u*f + o, o - 9 + 1 = -f. Solve 0 = -3*l + 13 - f for l.
1
Suppose 0 = 3*q - 2*c - 85, 55 = 2*q - 0*q - c. Let u = 202 - 177. Let j = u - q. Solve -g - g + 8 = j for g.
4
Let y = -6 + 9. Suppose 538 = -y*v + 547. Solve 0 = 5*l + v*l + 8 for l.
-1
Let m be (-18)/(-126) - 1/(21/(-1068)). Solve m*h - 97 = 107 for h.
4
Suppose 2*y + 3*x = -3, -4 + 31 = 5*y - 4*x. Suppose -2*q + 3*c = q + 21, -5*c = y*q + 5. Let z be (15/20)/(q/(-20)). Solve -z*a + 7*a = 0 for a.
0
Let u be 33*(9 + (-120)/18). Solve -83*z = -u*z + 12 for z.
-2
Suppose 4*k + 643 = 3*j, 2*k + 4*j + 321 = 5*j. Let s = k - -162. Solve 3 = -f + s for f.
-1
Suppose -5*d + 23 = -3*j, 8*j = 4*d + 5*j - 19. Suppose 3*r = -3*o, 2 + 6 = -d*r. Suppose 3*p + o*h + 14 = 7*p, 2*p = -2*h + 10. Solve 3 = k + p for k.
-1
Suppose 7 + 773 = 5*w. Suppose 8*n = w - 596. Let z = 63 + n. Solve 0 = 4*x - z - 12 for x.
5
Let s be (14/28)/((-1)/(-36)). Let f be (s/15)/(21/140). Suppose -2*q = 2*q + 2*q. Solve q = -5*a - f - 12 for a.
-4
Suppose -62*q + 14 = 2*i - 61*q, -2*i + 3*q = -30. Solve 0 = -8*m - i*m + 85 for m.
5
Let s be 5304/468 + ((-21)/9 - -4). Solve 0 = -s*w + 50*w + 37 for w.
-1
Suppose -5*y = -3*o + 8 + 10, y + 2*o = -14. Let z be 12/(2 - -1)*(-21)/y. Suppose -14*v + z + 14 = 0. Solve v*g + 2*g = 20 for g.
5
Let j be (-1)/(15/6 + -3). Suppose 3*p + 32 = q, 0*p - j*p - 2*q = 8. Let f be p/(-6) + 35/14. Solve 0 = -0*s - s - f for s.
-4
Suppose 0 = 3*k - 3*v - 6, -5*k - 5*v - 66 = -86. Suppose -5*l + 225 = -2*l. Suppose l = -2*f + 7*f. Solve 0*r = k*r - f for r.
5
Suppose -5*i + 80 = 2*b - 122, 0 = 2*i - 5*b - 104. Solve 0 = 15*h - h + i for h.
-3
Let k be (23/3)/((-15)/(-315)). Let m = k + -161. Solve 2*c + m = 2 for c.
1
Suppose -z - 9 = 4*c, -2*z - c = 2*z - 9. Suppose 10 = -2*b, z*l + 5*b = 8 - 18. Solve 4*v - l = -v for v.
1
Suppose 0 = 2*j + 2*x - 58, 124*j + 33 = 125*j - 3*x. Solve j = -12*l + 6*l for l.
-5
Let o(m) = -4*m + 23. Let t be o(5). Suppose t*u + 6 = 5*z, -1 = 5*z + 3*u + 5. Let j be 2*21/6 + -1. Solve 3*x - j - 3 = z for x.
3
Let q = 795 + -1009. Let z = -212 - q. Solve v - z = -6 for v.
-4
Suppose 0 = -6*u + 63 + 51. Suppose -u*m + 8 = -15*m. Suppose -m*g + g = 4*g. Solve g = -9*b + 4*b + 15 for b.
3
Let u(q) = 2*q + 61. Let n be u(-22). Let v be ((-3)/(-6)*-2)/(n/(-51)). Solve v*c - 3 = 12 for c.
5
Let l(v) = -v**3 - 2*v**2 + 7*v - 4. Let t(r) = 5*r - 16. Let z be t(5). Suppose 17*o - z*o = -32. Let f be l(o). Solve 4*y = 4 - f for y.
1
Let f be (12/15)/(((-3)/1050)/(-1)). Let q be (-9)/6 + f/16. Solve -q = -4*k - 4 for k.
3
Suppose -179*x + 686 - 149 = 0. Let m(g) = -g**2 - g. Let z be m(-2). Let b be (-1)/(-2) - 23/z. Solve x*i - b - 3 = 0 for i.
5
Suppose -11*g + 12*g + 19 = 0. Suppose 4*i = -8, 2*l + i - 3*i - 66 = 0. Let j = g + l. Solve j + 13 = 5*n for n.
5
Let v(t) be the third derivative of t**5/60 - 7*t**4/24 - 5*t**3/6 - 8*t**2. Let i be v(8). Solve 1 = -i*k + 16 for k.
5
Let u(t) = -t**3 - 9*t**2 - 10*t - 9. Let w be u(-8). Suppose w*b + 25 = -3*p + 2*b, -20 = -2*p + 4*b. Let n be (-6)/(3/(-5) - 0). Solve p = -4*o - 2 + n for o.
2
Suppose 47*h - 52*h + 15 = 0. Suppose -8*y + h = n - 11*y, y + 9 = 3*n. Solve n*g = 2*g + 2 for g.
2
Suppose 0 = -0*v - 2*v + 588. Suppose v = -3*f - 0*f. Let w = f - -100. Solve -2*d - 8 - w = 0 for d.
-5
Suppose -4*j + 2*d + 98 = 0, 0 = -2*j - 383*d + 380*d + 69. Solve j = 9*n + 72 for n.
-5
Let b be ((-34)/4)/((-9)/18). Suppose -b*d = -13*d - 76. Solve d*h - 16*h = 0 for h.
0
Let z(y) = -y + 16. Let w be z(11). Suppose 2*s = -4*c + 20, -4*s - w*c + 30 = s. Let n be (900/(-15))/(3 + -7). Solve 3*m + n = -s*m for m.
-3
Suppose 915 = -18*s - 1299. Let i = -116 - s. Solve -i*z - 19 = 16 for z.
-5
Suppose 0 = -9*x + 27*x - 162. Suppose 2*n = -2*q + x + 13, 4*q = 2*n + 8. Solve -3*c + n*c - 12 = 0 for c.
4
Suppose -5*y = -3*y - 92. Let b = -732 + 691. Let i = y + b. Solve r = i*r for r.
0
Suppose 3*t = -12, -3*n + 2*n - 2*t - 4 = 0. Suppose -2*y = 3*y - 75. Solve y = -g + n*g for g.
5
Let r = -1 - -4. Suppose -5*q = b - 36, 5*q + 2*b - 40 = -3*b. Suppose -m = 5*w - 31, 5*w = r*m - q*m + 34. Solve w = f + f for f.
3
Suppose -2*z - 2 + 12 = 0. Suppose -z*k + j + 7 = 0, 5*j - 3*j + 4 = 0. Solve -k = 4*u - 9 for u.
2
Let u = -12 - -22. Let q be ((-2)/(-4)*-1)/(2/(-8)). Let z be 11 + -29 + 8 - -14. Solve -q*p + u = -z*p for p.
-5
Let a = -6380 + 6392. Solve -a*x + 1659 = 1695 for x.
-3
Let y be 7 - (2 + 3 + -2). Suppose -4*j + y*r + 71 = -r, -15 = 5*r. Let t be ((-36)/63)/((-4)/j). Solve t*k = 7*k for k.
0
Suppose -1885 + 16399 = 354*d. Solve 17*p + d = 24 for p.
-1
Let i be (-8340)/(-1251)*((-52)/(-10) - 1). Solve -12*l = i*l for l.
0
Let d = 22 + -23. Suppose -5*u = -6 + 16. Let a be d/u*1*(-6 + 6). Solve s - 6*s - 20 = a for s.
-4
Suppose -3*i + i - 15 = -5*i. Solve -i*m - 15 = -2*m for m.
-5
Let k be (-24)/(-24)*(0 + -1)*17. Let h = k - -17. Solve -2*i - 2*i = h for i.
0
Suppose 657*c - 645*c - 3192 = 0. Let f = -246 + c. Solve 5*t - f = -5 for t.
3
Let a(c) = -21*c - 142. Suppose 2*y - 5*r - 17 + 36 = 0, -y - 2*r - 5 = 0. Let u be a(y). Solve 2 = u*b - 3 for b.
1
Let n(h) = -114*h + 16. Let a be n(-2). Let v = -244 + a. Solve -4*f - 7 - 5 = v for f.
-3
Let j = 520 + -390. Suppose -4*h + j = 114. Solve -z - h = -4 for z.
0
Let n be 1/(3/(-15)) + 20 + -2. Suppose 0 = -r + 4*r - n*r. Solve r = -2*c - 12 + 8 for c.
-2
Suppose x + 9 = -2*x, 0 = 4*t - 4*x - 340. Let m(l) = -l**2 + l + 66. Let p be m(0). Let i = t - p. Solve u + i = -3*u for u.
-4
Suppose 2*r - s = -3*s + 4, -5 = -r - 4*s. Let x be (r + -3)*(-66)/44. Solve -4*t - 21 = x*t for t.
-3
Suppose 70 = 77*c - 79*c. Let d = 0 + c. Let y be (-217)/d + 2/(-10). Solve 3*a + 0 = y for a.
2
Let p = -5 - -8. Suppose -2717*h = -2711*h - 24. Solve -h*o = -p*o - 1 for o.
1
Suppose -2*b + 11 = d, -b + 3*d = -2*d. Suppose n - 5 = -0*v - 5*v, -b*n + 2*v = 2. Solve n = -3*z + 9*z - 30 for z.
5
Let t = 2615 - 2609. Solve -t*f - 78 = 7*f for f.
-6
Let p(g) = g**3 - 15*g**2 - 11*g - 3. Let i be p(16). Let m = i - 73. Solve 2*n = m + 2 for n.
3
Suppose z - 6 = -2*z. Suppose -53*i + 18 = l - 58*i, 2*i - 28 = -4*l. Solve -10 = -l*d - z for d.
1
Suppose -21*c + 63 = -105. Let k(y) = 7*y - 54. Let x be k(c). Solve x*u - 5*u = -6 for u.
2
Suppose 0 = h + 3, -5*t + 2*h + 0*h + 16 = 0. Let q be (-36)/(-39)*(12/24 + 6). Solve 24 = -q*u - t*u for u.
-3
Let b be (1 + -9 - -8)/(-2). Suppose 0 = -3*a + i + 2*i + 6, -5*a + 19 = -2*i. Solve -a*c + 7 + 3 = b for c.
2
Suppose i - 2 = -k, -4*k + 0*i = 3*i - 4. Let c = k + 2. Suppose 0 = -48*o - 149*o. Solve c = -o*x + x for x.
0
Suppose -3*h = -3*z - 15, -352*z + 356*z = 5*h - 25. Solve z = 6*k + 17 - 41 for k.
4
Let k = 1790 + -1770. Let s(y) = -y + 4. Let i be s(4). Suppose -4*t = f - 15, -3 = 3*t - 4*f - i. Solve -t*h - h - k = 0 for h.
-5
Suppose -4*i + 3*c + 133 = 0, -2*c + 1214 - 1228 = 0. Solve 5*s = s - i for s.
-7
Suppose 315 + 385 = 28*v. Solve 0 = -v*g + 26*g for g.
0
Let x = 1935 + -1891. Solve -61*n = -x*n - 34 for n.
2
Let p = 18485 + -18435. Solve 115 = -55*z - p for z.
-3
Let s = -20376 + 20378. Solve 4*l - 24 = -s*l for l.
4
Let k be (-840)/(-112)*(-8)/(-2). Solve -k*q + 5 = -31*q for q.
-5
Suppose 0 = 157*l - 342 - 1856. Solve 9*r - l = -32 for r.
-2
Let a(z) = -z**3 + 2*z**2 - 1. Let b be a(1). Let m be (-83)/(-3) + 5 - (-74)/(-111). Solve 6*t + 2*t + m = b for t.
-4
Let v = 3267 + -3263. Solve 0 = 1170*m - 1166*m + v for m.
-1
Let h(s) = s + 4. Let l be h(10). Suppose 0 = -3*u - z + 19, 2*z + l = 3*u - 2. Let r(t) = 2*t + 20. Let c be r(-4). Solve -3*d - c = 