-1
Let n(c) = 51*c + 311. Let w be n(-6). Suppose 2*m - 2*i = -6, -w*m - 40*i - 11 = -44*i. Solve 0 = -7*s + 8*s + m for s.
-1
Let p = 345 - 320. Solve -p*b + 19*b = 24 for b.
-4
Suppose 0 = 2*r - y - 1141, -80*y = -84*y - 12. Solve 0 = -q + r - 574 for q.
-5
Suppose -8*j = -268 + 4. Let h = 45 - j. Suppose -c - h*c = 0. Solve c = -5*p - 14 - 1 for p.
-3
Suppose -10*k - 204 + 526 + 388 = 0. Solve -k = -60*w - 251 for w.
-3
Suppose 0 = 4*u + 2*d - 281 + 93, 0 = -u - d + 46. Solve 22*b - 10*b + u = 0 for b.
-4
Suppose 3*n = 4*d - 8, -3*n + 2 = 6*d - 5*d. Suppose n = -g - 0*g. Let x = 310 - 308. Solve 0*m + m - x = g for m.
2
Suppose 26*p - 26510 = -25756. Solve 208 = 3*u - p*u for u.
-8
Suppose 0 = 540*m - 557*m + 14637. Solve -860*q - 5 = -m*q for q.
5
Let u = 7901 + -7845. Solve -u*w - 16 = -60*w for w.
4
Suppose -v - n + 8 = 0, 4*v + 12 = -n + 32. Solve -5 + 9 = -v*t for t.
-1
Let n = -4627 - -4678. Solve -n = w - 50 for w.
-1
Let h = 2824 - 2495. Solve -4*n - h = -345 for n.
4
Let r be 5 + (0 - (1 + -15*5/15)). Solve 0 = r*x + 26 + 28 for x.
-6
Let q be (12/(-6) - 1)*(-5)/3. Suppose -q*i - 5*i = -4*i. Solve 0 = 2*n - i*n + 4 for n.
-2
Let s(l) = 2*l - 20. Let j be s(13). Let x be (-2)/j*3 + -6 + 12. Solve -7*m = -x*m for m.
0
Let m(o) = o**2 + 89*o + 1059. Let s be m(-14). Solve s*r = 2*r + 35 for r.
5
Let y = -275 + 276. Suppose -4 = -5*j - 3*c - y, -1 = 5*j - c. Let q(i) = -i**3 - 4*i**2 + 2*i - 6. Let h be q(-5). Solve j = 4*t - t + h for t.
-3
Let x(o) = -o + 5. Let q be x(3). Let t be 168/6 + 4/2. Suppose -4*r = -2*p + t, -p + r = 3*r - 19. Solve 0 = 5*h + p - q for h.
-3
Suppose 0*o + 4*o - 8 = 0. Suppose -o*k - 24 = -4*u, 3*k = -3*u - 47 - 16. Let n be 8/3 + (-6)/k. Solve x = n*x for x.
0
Let g(r) = -5*r**2 + 48*r + 45. Let c be g(10). Solve c*k + 41 = -34 for k.
-3
Let l(z) be the second derivative of z**5/20 - z**4/3 + z**3/3 + 2*z**2 - 49*z. Let s be l(2). Solve 0*y - y = s for y.
0
Let x(g) = -g**3 - 29*g**2 - 32*g + 86. Let q(o) = 3*o**3 + 86*o**2 + 97*o - 258. Let m(z) = -6*q(z) - 17*x(z). Let r be m(-21). Solve 4 = r*u - 0*u for u.
2
Let h(w) = -41*w + 279. Let y be h(-4). Solve y*i - 442*i + 4 = 0 for i.
-4
Let l = -11 - -15. Suppose -5*j - 5 = -i - 0*i, 4*i = -j + 20. Suppose -z = i*g - 0*z - 38, -3*g = 2*z - 20. Solve -l*n = -g*n + 16 for n.
4
Let i(f) = f**3 + 17*f**2 - 41*f - 5. Let h be i(-19). Let s = 54 - h. Suppose -10*o - 8 = -14*o. Solve o = -s*w - 2 for w.
-2
Let d(h) = h**3 + 165*h**2 - 159*h + 1230. Let z be d(-166). Solve 0 = -34*c - z - 0 for c.
-2
Let b(t) = -86*t - 571. Let q be b(-7). Solve 0 = 12*l + q - 79 for l.
4
Let n = 7224 - 5224. Solve 2028 = 4*k + n for k.
7
Suppose 4*i = 2*f + 24, -6 + 22 = -4*f. Suppose 2*r = -i*d + 8 - 16, 5*r = -5*d. Solve -r = -11*y + 9*y for y.
2
Let v(g) = 16*g - 89. Let s be v(8). Let d = 41 - s. Solve -3 = 5*a - d*a for a.
-1
Suppose 45*m = -u + 42*m + 48, 0 = 4*m. Solve -22*w - 208 = -u*w for w.
8
Suppose -2*c = -10, 0 = 4*h + 3*c - 60 - 19. Let i be 6/(-8)*(-496)/93. Solve -10*v + h = -i for v.
2
Let a = 23 - 21. Suppose 5*x + 3*o = 15, a*x - o - 4*o + 25 = 0. Solve -2*h + 3*h - 3 = x for h.
3
Suppose -39*b = -17*b - 88. Suppose -b*u + 2 = -10, -3*u + 17 = 4*v. Solve v + 1 = w for w.
3
Let h be ((-35)/10 - -2)*7088/24. Let b = h - -451. Solve 2*j = -b + 6 for j.
-1
Suppose -3*y + 4*w + 239 = 0, y - 3*w = -7*w + 69. Solve -y*c + 84 = -63*c for c.
6
Let x be (1 - 7)*8/(-6). Let h = x + -4. Let y(f) = 2*f**2 + 322*f + 12876. Let d be y(-87). Solve d*a = -h*a for a.
0
Suppose -12*h - 15 = -17*h. Suppose 2*u - h*a - 8 - 24 = 0, -u + a = -16. Let q be 8*(4/u + 1). Solve x + q = -x for x.
-5
Suppose 4*l + 60 = -164. Suppose -5*z + 190 - 475 = 0. Let a = l - z. Solve 0 = -2*o + 3 - a for o.
1
Let c(l) = -l**3 + 3*l + 2. Let m be c(0). Suppose 40 = 2*s + m*s. Solve 8*j = 3*j - s for j.
-2
Suppose 13*q = -36141 + 36245. Let m = 4 - -1. Solve m*r = q*r for r.
0
Let s(u) = 16*u**3 + 3*u**2 - 8*u + 29. Let g be s(7). Solve -g = 5*a - 5593 for a.
-3
Suppose 4*z - 4*u = 4, u = -z - 3 + 6. Suppose -z*t = -23 - 5. Let b(c) = c**3 - 2*c**2 + 5*c - 5. Let r be b(2). Solve r*f + 6 = -t for f.
-4
Suppose -7*a = a - 32. Let o be (1 - -3) + -6 + a. Suppose 5*t - 5*d = 70, -3*d + 13 = 2*t - o*d. Solve 6 - t = i for i.
-3
Suppose 7010 = 5*k - 803*n + 807*n, 2*k = 5*n + 2804. Solve -k*c + 1395*c = -42 for c.
6
Suppose 0 = -6*c + 8*c - 134. Let t = -44 + c. Let g = -22 + t. Solve -3*n + g - 13 = 0 for n.
-4
Suppose 563 = 34*s + 461. Solve -15*d + 14*d = -s for d.
3
Let c = 18 - 24. Let s be 127 - (9/c*2)/(-1). Suppose -y - s = -3*b - 2*b, 0 = -2*y + 2. Solve b = 4*w + w for w.
5
Let n(k) = k**2 + 3*k + 4. Let r be n(-1). Suppose p + s = -3*p + 16, -r = 2*p - 2*s. Solve 0 = p*x + 2*x - 15 for x.
3
Let p = -22485 + 22885. Solve 0 = 70*z - 20 - p for z.
6
Suppose -4*v + 191 = 3*b, 2*b - 4*b = -4*v - 94. Solve -b*c + 28 = -50*c for c.
4
Let j(z) = z**3 - 5*z**2 + 7*z - 1. Let y be j(3). Let l be 6/9*y/4*6. Solve l*w + 4*w = 0 for w.
0
Suppose 0*z + 13 = 4*z + 3*d, 1 = 4*z - d. Suppose -h = 5*h. Suppose 0 = 3*x - 3*j - 12, 2*x - 4*x + 4*j + 14 = h. Solve -m - z = x for m.
-2
Let h(t) = 8*t + 5*t - 12*t + 14. Let w be h(-3). Suppose 3*o - 10 = o + 2*q, w = o + 5*q. Solve -3*l + 0*l = -o for l.
2
Suppose -186 + 244 = 5*w - p, 0 = -2*w + 2*p + 20. Solve w*s = -597 + 501 for s.
-8
Suppose -25*n = -60*n + 32*n + 1158. Solve -5*j - 421 + n = 0 for j.
-7
Let s = 285 + -283. Suppose -h + 0*g + 3 = g, s*h - g = 3. Solve 5 = h*b + 1 for b.
2
Let k be (6 + -36)/6 + -3 + 1. Let u be (40/(-35))/(6/k)*30. Solve -q + u = 41 for q.
-1
Suppose -2*w = -4*l + 68, w = 5*l - 2*w - 87. Suppose -p = -9*p + 32. Solve -l = p*v - v for v.
-5
Let y(v) = v**2 - 134*v + 4385. Let t be y(54). Solve -216 = -t*c + 89*c for c.
-9
Let m(d) = -d**3 - 8*d**2 - 3*d - 20. Let i be m(-8). Suppose -5*h + 21 + 6 = 2*z, -z + i*h - 6 = 0. Suppose -6 = z*j - 42. Solve 2*s = -0 - j for s.
-3
Let b be 2*(8 + -7) + -5. Let n(l) = l**3 + 10*l**2 + 19*l - 2. Let t be n(b). Solve 0 = -t*s - 11 - 9 for s.
-5
Let g = -3485 + 3490. Solve 18 + 17 = -g*v for v.
-7
Let y = 44 - 39. Suppose -5*i + 3*s = -15, i - s = -y*s - 20. Suppose i = 4*b - 0*b - 12. Solve 0 = -b*o - o + 12 for o.
3
Let l be 14 - (2 - (2 - 1)). Let z be (-16)/20 - (-102)/(-10). Let o = z + l. Solve -4*t = -o - 2 for t.
1
Let n(z) = 2*z**2 - 45*z + 25. Let w be n(22). Suppose 0 = 5*x - 24 + 4. Let y = x - 2. Solve 0 = w*p + y*p - 20 for p.
4
Let q = -36 - 64. Let f be ((-114)/(-24) - 4)/((-15)/q). Suppose -c + 3 = -0. Solve f*j + c = -2 for j.
-1
Suppose -m - 110 = 129. Let y = m - -259. Solve -6*u = -2*u + y for u.
-5
Let w be 30/20*(-628)/(-6)*(-48 - -56). Solve -1259*q + w*q - 3 = 0 for q.
-1
Let i = 247 - 251. Let r be ((-10 + 5 - -5)/2)/i. Solve -4*k + r = -20 for k.
5
Suppose i - 44 + 47 = 0. Let a be (-9)/i - (-1 - 1 - 0). Solve 6*y + a = -1 for y.
-1
Let v(a) = -133*a + 1. Let p be v(1). Let k = p - -136. Suppose k*m + 2*h = 8*m - 4, -2*m = 2*h - 14. Solve m*d - 12 = -0 for d.
4
Let k = -493 + 496. Let l(w) = w**3 - 7*w**2 + 7. Let u be l(7). Solve -u = -k*t + 8 for t.
5
Suppose -686*i + 713*i = 2052. Solve -i*q + 70*q = -12 for q.
2
Let t(c) be the third derivative of -c**6/120 + 2*c**5/5 - c**4 + 23*c**3/6 - 9*c**2 - 4*c. Let v be t(23). Solve h + 2*h - 12 = v for h.
4
Let b = -7040 - -7329. Solve n - b = -294 for n.
-5
Let v = -102 + 115. Solve -11*y = -v*y - 12 for y.
-6
Suppose -7*j + 10*j = 132. Suppose -45*d = -j*d - 30. Suppose -3*x + 42 - d = 0. Solve -v - x*v - 5 = 0 for v.
-1
Let j = 491 - 480. Let u be (26/143 + (-35)/j)*-1. Solve -3*l + 24 = u*l for l.
4
Let i(v) = -v**3 - 21*v**2 + 22*v + 7. Let c = -4 + 1. Let p be 4 + -4 + c - -2 - 21. Let l be i(p). Solve l*u + 15 = 2*u for u.
-3
Suppose 141*x - 137*x - 64 = -4*y, -3*y - 12 = 0. Solve -18*s + 16 = -x*s for s.
-8
Suppose -461*k + 40 = -457*k. Let t(l) = -4*l + 74. Let q be t(k). Solve -5*s - q = -9 for s.
-5
Let r(f) = -2*f**3 - 30*f**2 - 10*f - 69. Let s be r(-15). Solve -81 = -28*t - s for t.
0
Suppose -642*x = 178*x + 50*x - 13050. Let h be 24/9 - 2/3. Solve -h*m + x = 9 for m.
3
Let u(h) = -4*h**2 + 81 + 3*h**2 - 109 - 13*h. Let a be u(-10). Solve 2*w - 3*w = -a for w.
2
Let k be (200/28 - 7) + 5*12/21. Solv