 x.
0
Let d(b) = 4*b - 27*b**2 + 8*b + 26*b**2 - 9. Let r be d(11). Let x be (-15)/(-30) + 3/(-3 + -3). Solve -l + 4*o - 20 = x, -4*l - 7 = -r*o + 3 for l.
0
Suppose -4*t + 814 = 3*b + t, -5*b + 1367 = -2*t. Let v = b - 270. Solve 0 = -g + s - 4, -4*s = v*g - 11 - 5 for g.
0
Let n be 154/13 + (1088/4080)/((-52)/(-30)). Solve -4*h + n = -2*m, -2*h + m + 10 = -m for h.
1
Suppose -235*y + 278*y - 86 = 0. Solve 5*d = y*f - 10, d - 2*f - 4 = 3*d for d.
-2
Let v be ((-822)/(-1370))/((-1)/(-10)*1). Solve 5*r - 5 = 4*j, -3*j - 5*r = -v*j for j.
-5
Let s(f) = 2*f - 44. Let q be s(24). Suppose 2*d + q*j - 22 = 7*j, 0 = 4*d + 5*j. Solve 8*n - 3*g = 3*n + 3, -4*n = -d*g - 5 for n.
0
Suppose -a + 2 - 15 = -4*z, 2*z - 5 = -a. Suppose 0 = -3*c - 2*s + 9, -8 + 23 = 5*c - z*s. Solve -15 = -10*g + 5*g, 0 = c*i + 5*g - 27 for i.
4
Suppose 197*k - 458*k - 204*k = -1395. Suppose 3*j + u = j + 12, -4*j = -2*u - 24. Solve n - 5 = -k*p, 5*p - 2*n + 6*n - j = 0 for p.
2
Let t be (-9 + (-2 - -1))/(-6 + (-5 - -9)). Solve t*i = 5*z, -26*z - 5*i - 36 = -22*z for z.
-4
Let o(z) = -z**2 + 10*z + 92. Let h(b) = b**2 - 10*b - 90. Let n(r) = -2*h(r) - 3*o(r). Let m be n(-6). Solve 15 = -5*f, -l + 3*f + 12 = -m*l for l.
3
Let d(b) = b**3 + 5*b**2 - b + 24. Let z be d(0). Suppose 0 = -z*y - 11 + 179. Solve 0 = 3*m - 3*n - 9, y*m - n = 3*m + 15 for m.
4
Let y be (-2 + (-21)/(-15))/((-120)/600). Solve 2*b + 4*o = 18, y*o - 6 = b + 5 for b.
1
Let t = 3170 - 3166. Solve 4*r + 20 = 28*x - 33*x, 0 = -t*r for x.
-4
Let b(w) = w**2 - 16*w + 70. Let l be b(5). Let g be (-14)/105 - (-122)/l. Solve -4*y - 4*n = -2*n + g, -4*n = 8 for y.
-1
Suppose -2*n - 18 = 4*u, -251 + 262 = n - 2*u. Solve 0 = -16*q + 17*q + 2*k + n, -2*q + 10 = -2*k for q.
3
Suppose f + 3*z + 10 = 0, -16 = 14832*f - 14836*f - 4*z. Let r = 2 - -1. Solve r*s - 2*k = f, 10*k - 5*k + 17 = -3*s for s.
1
Let i = -4754 - -4759. Solve 2*h + 2 = -y, -i*h + y = 197 - 185 for h.
-2
Suppose 3*h - 99 = 4*z, h - 31 + 5 = z. Let t be (-8)/14 - 117/z. Solve 20 = 2*y - y + t*u, -2*y - 3*u = -12 for y.
0
Suppose -2*p + 2*f + 24 = 0, 3*f - 513 = -3*p - 489. Solve -3*u + 13*g - 18 = p*g, -3*g + 13 = 2*u for u.
-1
Let s = 117 + -113. Suppose s*o + 3*n = -12, -30*o = -29*o - 3*n - 12. Solve 3*l = 2*z - 11, -z - 5*l - 1 = -o*z for z.
4
Let r(x) = 39*x + 1486. Let f be r(-38). Solve 3*q - f*l + 1 = 15, -4 = -3*q - l for q.
2
Let k = 238 - 109. Let x = -127 + k. Let f = 57 - 53. Solve 0 = x*c - 3*o + 2, 5 = -c - f*c + 3*o for c.
-1
Let a = -4631 + 4636. Solve a*z = 5*k - k - 7, 8 = -4*k for z.
-3
Let f(v) = -v**3 + 48*v**2 + 161*v + 12. Let h be f(-4). Solve -3*w + h*o - 195*o - 4 = 0, 4*w - o + 11 = 0 for w.
-3
Let j = -67 + 67. Suppose j = 5*b - 14*b. Solve -u - n = b, 2*u - 5*n - 4 - 3 = 0 for u.
1
Let f(h) = -6*h**2 - 30*h - 16. Let o be f(-4). Solve 4*r = 3*c - 23, -3*r + 28 = -o*r + 3*c for r.
-5
Let u be (-2)/3*21/(-2). Let j(y) = y**3 - 5*y**2 - 17*y + 5. Let v be j(u). Let n be 42/8 - (-4)/v. Solve 3*s = m, -n*m = -s - 0*m for s.
0
Let y(h) = -h**2 + 508*h + 2569. Let c be y(-5). Solve 3 = -3*x - z, -3*x + 12 = -6*x - c*z for x.
0
Let p(z) be the third derivative of z**6/120 + 7*z**5/60 + 23*z**4/24 + 35*z**3/3 + 18*z**2. Let u be p(-5). Solve g + 4*g + y = -11, 2*g + u*y - 14 = 0 for g.
-3
Let u(i) = -11*i + 48. Let h be u(4). Suppose 5*v - 33 = -h*x - 7, 3*v = -5*x + 26. Solve 4*a = 4*p - 4, 2*a + 1 = -v*p - 1 for a.
-1
Suppose 0 = -5*n - v + 16, 146*n + 4*v = 147*n + 22. Solve 0 = 16*q - 15*q + n*b - 1, 4*q + b = 18 for q.
5
Let c be 2 + 0 + (0/13)/5. Solve 4*j + c*s = -30, 6*j - 5*j = 5*s + 20 for j.
-5
Let b(c) = c**2 + 5*c + 4. Let f be b(-5). Let j be 17/(-34) + 12/((-168)/(-35)). Solve 0 = -2*u - j*d + f, 4*d - 1 - 3 = -2*u for u.
2
Suppose 0 = 24*k - 26*k + 8. Suppose -4*c + 7*s = k*s + 148, 74 = -2*c - 4*s. Let b = 37 + c. Solve y + j + 1 = 3*j, b = 4*y - 5*j + 1 for y.
1
Suppose 5 = 3*d + 2*i, 3*d - 3*i - 22 - 8 = 0. Suppose d*r = -r + 54. Solve 1 = -5*w - 5*v - r, -5 = -2*w - 5*v for w.
-5
Let v(u) = u**3 - 4*u + 5. Let x be v(4). Let o(k) = -k**3 - 31*k**2 + 66*k + 2. Let c be o(-33). Suppose -53 = c*h - x. Solve -w = 3*f, 7 = f - 2*w - h for f.
1
Let g(p) = -p + 30. Let x be g(16). Suppose x*j = -21*j + 525. Solve 2*b = k - 3*k, -k + 4*b = j for k.
-3
Let h = 49 + -1. Suppose -5*u = -17 - h. Suppose -c + 3 = -5*l + 17, 4*c = -3*l + u. Solve -4*p - 4*i - 12 = 0, -4*p - p = -l*i + 31 for p.
-5
Let b = -37 - -64. Let i = 47 - b. Suppose -i = -p + 11. Solve -5*d = 4*t + 3 - p, -3*d + 12 = 0 for t.
2
Let w be -6 + (2 + -3 - 1). Let a be (4 + w + 8)/(-4 + 5). Solve 0 = 4*x - c + 14 + 2, 3*x + a*c = -12 for x.
-4
Suppose -55 = 4*v + 1. Let m = v + 24. Let k be m/15*6*3. Solve -x + k = 3*x + 4*n, -2*x + 4*n = -6 for x.
3
Let c be 24*(-1)/((-7)/((-28)/(-8))). Suppose -13*m + 31 = -c*m. Solve 4*w + 5*l + m = 0, 2*w - 4*w - 17 = 3*l for w.
-4
Let n = -1477 - -1481. Solve o + n*a - 7 = 4*o, -5 = -3*o + a for o.
3
Let d = 122 + -121. Let s be d*(2 - 7) + 19 + -2. Solve p - 3*l = s, -4 = -3*p - 0*l + l for p.
0
Suppose -8*p - 2211 = -p - 2239. Solve p = 5*b + c - 15, c = -2*b + 7 for b.
4
Let l(x) = 271*x - 1897. Let o be l(7). Solve 5*w - c + 2 = 0, 0 = -4*w - 3*c - o*c + 6 for w.
0
Suppose -291*v - 3*z + 1 = -292*v, z + 1 = v. Solve 2*d + 3*d - 15 = -2*x, 0 = v*x for d.
3
Let u = -260 + 148. Let d(c) = 2*c**2 + 47*c - 59. Let y be d(-25). Let v be y/7 + 32/u. Solve 4*s + 4*h - 16 = 0, h = 5*s - v*s - 4 for s.
2
Let w(c) be the second derivative of c**5/20 + c**4/3 - 8*c**3/3 - 3*c**2/2 + 184*c. Let p be w(3). Solve 3*j - 18 = 3*u, u - 4*u - p = 0 for j.
2
Suppose 0 = -12*w + 1411 + 137. Let j = -129 + w. Solve j = -2*q + 2*k - 4, k = -5*q + 2*k + 2 for q.
1
Let v(b) = b - 6. Let i be -3 + -1 + 2 + 13. Let y be v(i). Suppose 1910*h - 1911*h = -5*t - 38, -h - 4 = t. Solve h*o + y*u = -20, 5*u = -29 + 9 for o.
0
Let t(k) = -6*k - 10. Let l be t(-2). Let z be -237*2/15 + (-2)/5. Let i = z + 36. Solve -l*a + 5*n - 25 = -4*a, -5*n + 35 = i*a for a.
5
Suppose 29*r = 35*r - 96. Suppose -r*n = n - 85. Solve -20 = -4*g - 5*x, g + 2*x - 8 = n*g for g.
0
Let s(j) = -j**2 + 62*j + 4091. Let z be s(102). Solve 3*o + 2 = 2*q, 2*o - 3*o + 3*q + z = 0 for o.
-4
Let j(i) = 2*i**2 + 65*i + 394. Let p be j(-8). Solve 7*y - p*y = 25, 2*l = 2*y - 6 for l.
2
Let f be 20/35*7/2. Let q be 75/(-5) + 4 + -3. Let i = 14 + q. Solve i = 2*u + f*s - 8, 4*u = -0*s + 2*s + 22 for u.
5
Let n(z) = -11*z**2 - 2*z + 1. Let w be n(2). Let u(b) = -2*b**2 + 19*b + 29. Let d be u(8). Let r = w + d. Solve 2*h = -3*v - r, -v + 2 = -2*h + 4 for h.
0
Let z(o) = 10*o - 15. Let j be z(6). Let v be (12/15)/(3/j). Suppose t = -t + v. Solve l + 4*r = t, -5*r + 8 = -5*l - 12 for l.
-2
Let l = -5238 - -5243. Solve -l*v + 5 = -0, -v + 21 = 5*s for s.
4
Let o = -57 - -27. Let l be (o/(-150))/(1/10). Solve 2*b + l*b + 23 = -x, -4*b - 4*x - 32 = 0 for b.
-5
Suppose 5*k - 22 = 3*g, 4*k - 3*g = -2 + 22. Suppose 6 = i - j - k*j, i - 5*j - 4 = 0. Suppose -i = -28*x + 25*x. Solve 0 = r, 7*v = x*v - r - 16 for v.
-4
Let g = -10484 - -10486. Solve 13 = -5*o + 2*m, -4*o = 3*m + g*m + 17 for o.
-3
Suppose 0 = 2*n + 2 - 6. Suppose -12 = -3*u - 3*f, -8*u + n*f + 6 = -3*u. Let s be (-32)/(-80) + (-46)/(-20)*u. Solve -3*v + 5*w = -s, -3*w = v + w + 21 for v.
-5
Let k = -55 + 56. Let v be (-2)/((k/(-3))/(2/6)). Suppose 0 = -u + 3*n + 2*n - v, 5*u + 4*n = 48. Solve -3*f + i = 0, 5*f - u = -0*f - i for f.
1
Let t = -11 - 46. Let g = t + 60. Suppose g*w - w + 23 = 3*y, 0 = 2*y - 2*w - 14. Solve 5*v = 4*k - y, 0*k + 2*k + 2*v = 0 for k.
1
Suppose -186 = -5*g - 5*c - 156, 12 = g - 2*c. Solve 2*t = 5*m - 6, -3*t = 9*m - 8*m - g for t.
2
Let x = 731 + -723. Suppose 21 = x*y + 5. Solve g + 20 = -5*i, 2*i + 14 + 2 = -y*g for i.
-3
Let a = -3388 + 3393. Solve 12*i - a*s + 14 = 0, 2*i + 3*s = -12 + 2 for i.
-2
Suppose -5*f - 7 = 3*t + 178, 5*f - 205 = 3*t. Let q = t - -65. Suppose v = -3*r + 8, q = 5*v + r - 4*r - 22. Solve -v*a - 10 = 5*s, 0 = -3*s + 2 + 1 for a.
-3
Suppose -13 = -b - 2*b + 2*w, b - 3*w = 9. Solve -12*l - 2 = -11*l - 2*c, -5 = l - b*c for l.
4
Suppose -6629*l + 6622*l + 21 = 0. Solve -5*u + 12 = -l*q, 1 = -2*q - 5*u - 7 for q.
-4
Suppose -25*p = -367 + 317. Solve -p*x = n + 7, -27*x + 31*x 