
Let a = 25396 - 25368. Solve 0 = -2*x + 12*d - 9*d - 17, a = -3*x + 5*d for x.
-1
Let q(o) = -3*o**2 - 13*o - 6. Let x be q(-4). Let c be (4 + -2 - x) + -4. Solve c = -2*r + w - 2, -2*w = -6*r + 3*r - 4 for r.
0
Let u(n) = 11*n - 85. Let m be u(10). Let x = m + -20. Solve x*k + 3*w = 1 - 18, 0 = 4*w - 4 for k.
-4
Suppose -16*i + 9 = -15*i - z, 3*z = -5*i + 77. Solve 0 = -d - 3*x + 3, -d + 0*d + 5*x = i for d.
-3
Suppose 0 = 3*n + z - 5, -17*z + 16*z = 4*n - 8. Solve -4*p = -q - n - 0, -11 = 2*p - 3*q for p.
2
Suppose 4*a - h = 65 - 66, 4*h - 4 = a. Solve a = 5*w + x - 13, 3*w - 29 = 4*x - 12 for w.
3
Let b = -7419 + 7424. Solve -5*j - 7*t + 2*t = -40, 20 = b*j + t for j.
3
Suppose -n = -5*y + 17, -2*y = -12*n + 59 - 89. Solve -2 = -y*u + 2*s, u - 4*s = -3*u for u.
2
Let d = -4815 - -4818. Solve -14*x + 5*k - 22 = -12*x, -d*x - 5*k = -17 for x.
-1
Let y(j) be the second derivative of -j**5/20 + 3*j**4/4 - j**3/6 - 51*j**2/2 + j - 8. Let r be y(8). Solve -r*l = -2*u - 10, 2*l = -4*u + 2 + 2 for l.
2
Let t be 104/(-12)*90/(-60). Solve -g + t = -2*p, -5*p + 5*g - 28 = 4*g for p.
-5
Suppose -5*h + 9 + 11 = 0. Suppose -87 = -4*x - h*r + 65, -5*x + 3*r = -214. Let l = x - 38. Solve l*u - 2*q - 8 = -3*q, 0 = 2*u + 4*q - 12 for u.
2
Let x(t) = 2*t**3 + 17*t**2 - 33*t - 214. Let i be x(-9). Solve i*b + 5 = 3*o + 3, 5*b + 5 = 4*o for b.
-1
Let o be 123*1/((-12)/(-8)). Let k = 80 - o. Let z be 0/(-12)*1/k. Solve 3*l = -3*j + j - 16, z = -2*j - 5*l - 20 for j.
-5
Let u be 3*(-2)/6 - -24. Let i = -16 - -14. Let h(m) = -6*m - 8. Let n be h(i). Solve -5*w + u = -j, n*w = -3*j - 0*w + 7 for j.
-3
Suppose x + 51 = 4*x - 3*a, 59 = 3*x + a. Suppose -x*b = -6 - 51. Solve 5*y + 5 = -3*v, 5*y + 2 + b = -4*v for y.
-1
Suppose 42*s = 50*s - 208. Suppose 23*t + 6 = s*t. Solve r - 4*k + 2 = 0, 3*r + 5*k + 8 = t for r.
-2
Let i be (0 - 3)/((-3)/(-4)). Let p be 66/i*30/(-45). Let b be p/4 - (-9)/(-12). Solve 2*y - l = -b*l, 0 = -l for y.
0
Let l be (15/(-5)*1)/(-1). Suppose -u = -l*x + 3, 4*x - 4*u - 10 = 2. Let p(b) = b. Let i be p(x). Solve -o - 20 = -2*y - 2*y, 5*o - y + 24 = i for o.
-4
Let s(r) = r**3 - 3*r**2 + 3. Let c be s(3). Let v = -2380 - -2385. Solve -2*o = 5*k + 2*o + c, -v*k - 3*o - 6 = 0 for k.
-3
Let m be 3 + -2 + 1 + -8. Suppose -4*c + 2*u - 47 = -3*u, 2*u - 6 = 0. Let i be c/12*45/m. Solve 3*y = -5*v + i, -6*y + 23 = -y + v for y.
5
Suppose 36 = -5*b + 6, -3*g + 3*b = -27. Solve -g*u + 7 = 19*f - 18*f, -u = -2*f + 7 for f.
4
Suppose 2*t + 3*b - 320 = 0, 2*t - 3*b = -t + 480. Suppose -6*h - t = 92. Let z = h + 54. Solve -4*y + z = 4*s, 2*y = -3*s - s + 12 for y.
0
Suppose 18*n = -12 + 66. Solve 4*z + 2*u + 12 = 0, 4*z + 2*u = n*u for z.
-1
Let c(d) = 479*d + 5753. Let q be c(-12). Solve 0 = m, -q*i + 7*i - 5*m = 4 for i.
2
Let d(m) = -m**2 + 8*m + 66. Let n be d(13). Let u be 13/n + 15*(-1)/3. Solve 4*a + 0*p + u = -5*p, -a - p = 2 for a.
-2
Let u(p) = 2*p**3 - 4*p**2 + 3. Let i be u(2). Solve 6*o - 4 = 11*o + f, 5*o + i*f = -2 for o.
-1
Suppose 7*p + 11*p = 11*p. Solve 5*n = -5*b - 30, 3*b + 5*n + 10 + 14 = p for b.
-3
Let y(n) = 5*n + 14. Let l be y(-33). Let p = l - -154. Solve 5*q = -k + 25, -p*k + 35 = 4*q + 4 for k.
5
Suppose -3*u + 380 = -97. Suppose 158*x - u*x + 2 = 0. Solve -5*a - 4*k + k + 16 = 0, a - x*k - 11 = 0 for a.
5
Let d(g) = 170*g. Let w be d(2). Suppose -3*x + 326 = 2*x + 2*m, -5*m = -5*x + w. Let t be (2/(-3))/((-44)/x). Solve -3*p - 5*a = 19, 4*p - 4*a = t - 5 for p.
-3
Suppose 5*i - 66 - 80 = -4*j, 0 = j + 5*i - 44. Suppose 4*b + 2 = -5*r + 16, 3*r - 4*b = j. Suppose -5*m = 2*m. Solve -2*f + r = -m*f + v, 3*f = -v + 9 for f.
3
Suppose 5*g + 111 = 42*g. Suppose -4*l + 7 = -a - g, 5*l = 2*a + 11. Solve -a*i + 10 = 2*j, -2*j + 15 = -4*i + j for i.
0
Let c be (-8)/14*21/(-6). Suppose o + 5*l = 22, -o + 5*l - 18 = -0*l. Suppose 637*w - 501*w = 1360. Solve w = q - o*p + 4*p, -4*q + c*p = 10 for q.
0
Let j be (0 - (3 - 9))*(-3)/(-18). Let v(r) = 4*r**3 + 2*r**2 - 4*r + 1. Let p be v(j). Solve -2*b + 2*l = -6*b + 20, p*b + 2*l - 17 = 0 for b.
3
Let h = 1 - -7. Let c(j) = -j**3 + 25*j**2 - 17*j + 449. Let m be c(25). Solve 5*o - 17 = -2*a, 3*a = 4*o - h - m for o.
5
Suppose 2 = 4*s - 3*s. Solve 5*z = -4*n + 23, -2*n - 11 = -s*z - 3*z for n.
2
Let d be (3/5 - (-522)/(-1170))*13. Let a be (4 + -2)/(5 - 4). Solve a*x + 2 = -4*w, d*x - w + 4*w = -2 for x.
-1
Let n(d) = 2*d**2 + 30*d - 7. Let w be n(-15). Let p be 15 - (w + -11)/6. Solve 4*h + 3*g = -4, -4 - p = -h + 5*g for h.
2
Let i be -6*30/(-4)*43/215. Solve -9 = -5*k - 3*z, 4*z = z + i for k.
0
Let j(p) = p**2 + 94*p - 590. Let f be j(6). Solve 5*k = f, 2*k - 6 = -u - 7 for u.
-5
Let a be ((-4)/(-12))/(7 + (-63942)/9135). Let v = 1016 - a. Solve -3*p + 4*w = -23, p = 2*p + 2*w - v for p.
5
Let c = -351 + 626. Let k = 277 - c. Solve -m = 3*l - 10, -7*l + m + 6 = -k*l for l.
2
Let j be (2 + 64)/(6 - 4). Suppose -50 = -5*r + 5*t, 30*r - j*r = 3*t. Let o = 4 + 1. Solve 0 = -o*i - r*g - 5, -3*i - 2*g + 0 = 5 for i.
-3
Let b(j) = -648*j - 5180. Let n be b(-8). Solve 33 = 4*d + 5*a, -n*d - 3 = -8*d + a for d.
2
Let d be (-2)/((-87)/89 - -1). Suppose 0 = 37*q + 663 + 2630. Let u = q - d. Solve -2*m - 18 = 2*z, u*m = 4*z + 3*m + 31 for z.
-4
Let b = -221 - -225. Suppose 0 = -50*v + 49*v + b. Solve -v*i + 1 = -m, -3*i + i + 3*m = 7 for i.
1
Suppose 8*p - 15 = 3*p. Let u be (0 - p)/((-54)/12 + 3). Solve -u*w + 11 = 2*a - 5*a, -a + 15 = 4*w for w.
4
Suppose 574*n = -5*l + 569*n + 40, -5*n = -l - 28. Solve -5*x = s + l, -1 = -2*s - x + 4 for s.
3
Let i(c) = -138*c + 178. Let l be i(-6). Let y = l - 1001. Solve 2*p - 5*n + 15 = 0, -3*n + 0*n = y*p - 9 for p.
0
Suppose -14*n - 15*n - 272 = -649. Solve -u - g + n = -4*u, -5*u + 4*g - 24 = 0 for u.
-4
Suppose 154*v - 202 = 90 + 324. Solve 4*d + u = 18, 32*u - 35*u = v*d - 22 for d.
4
Let b = -9373 - -9378. Solve 2 = 2*a - y, b*a - 10*y = -12*y + 14 for a.
2
Let b(y) = y**3 + y**2 - 9*y + 17. Let a be b(-4). Let l = -81 + 96. Solve 4*f - l = -2*n + 9, a*n - f = 16 for n.
4
Let g = 362 + -347. Suppose 0 = -15*n + 11*n + 5*p + g, 0 = 2*n + p - 11. Solve -2*r + 4*x - 8 = 3*r, -5*x - 35 = n*r for r.
-4
Suppose -44*y - 9982 = -30*y. Let z = y + 730. Solve -6*d = -3*d - l - 13, d = -5*l - z for d.
3
Let t = -2017 + 2019. Solve t*l = -k - 11, -29 = 5*l - 4 for k.
-1
Let p be (3140/(-942))/(4/(-30)). Solve 5*o + p = 5*z, -17*z - 6 = -3*o - 21*z for o.
-2
Let c(j) = 2*j**3 - 3*j**2 + 4*j - 1. Let m be (6 - 10 - -5)/(0 - -1). Let q be c(m). Solve 0 = k + q*k + 4*s + 15, 2*k + 5*s = -10 for k.
-5
Let t(l) = l**3 - l**2 - 2*l + 2. Let n be t(0). Let c = -1591 - -1595. Solve 2*y - 8 = 4*f - n*f, 4 = c*f for y.
5
Suppose b = 2*w - 16, 2*w + b - 26 = -3*b. Suppose h + 10*m = w*m + 2, -23 = -4*h + m. Solve h - 1 = -4*s - 2*v, 1 = -s - 4*v for s.
-1
Let t = 120 - 140. Let l = t + 25. Solve -3*x + 20 = -l*b, 0 = -0*x - 5*x + 25 for b.
-1
Let x be 43*8/20*(-10)/(-4). Let y = 53 - x. Suppose 4*d - 5*f + 13 = 0, -2*f + f + 11 = 2*d. Solve y = r + d*c, 2*r + 30 = 3*c + c for r.
-5
Suppose -260 = -54*d - 70 + 134. Let y be 1/3*-1*-9. Solve -2*m - 2 = 2*a, 0 = d*m - 2*m + y*a + 7 for m.
-4
Let c(t) = 4*t**2 + 14*t + 11. Let b(r) = 3*r**2 + 11*r + 12. Let z(l) = 5*b(l) - 4*c(l). Let w be z(3). Solve -o + w*h = -10, 4*h + h + 8 = -o for o.
2
Suppose 11 = 2*n + 3*j, 1 = n - 4*j + 12. Suppose 5*z - 30 - 2 = -4*g, -136 = -5*z - 17*g. Solve z = 3*i - 5*x - 25, 2*x = i - 10 + n for i.
5
Suppose 5*d - 3*g + 12 = -6*g, -d - 8 = 2*g. Suppose d = -0*r + r - 4. Suppose q + 2*m + 0 = r, 0 = 2*q + m - 8. Solve s - 17 = -q*f, -2*f = -0*s + s - 7 for s.
-3
Let n(r) be the first derivative of -r**4/4 - 12*r**3 + 33*r**2/2 - 146*r - 300. Let h be n(-37). Solve a + 2 = -h*x - 1, -3*a + 1 = -4*x for a.
-1
Let r be -33 + (-1273)/(-38) + 23/(-4)*-2. Solve -c + 2*c = -b, -b + r = -3*c for c.
-3
Suppose -15*j = -33*j + 23*j - 10. Solve -5*w = -3*d - 34 + 46, j*w + 16 = 4*d for d.
4
Suppose -88*u + 77*u + 22 = 0. Solve -3*t - 6*f + f + u = 0, 0 = -5*f + 5 for t.
-1
Let l = 14 + -8. Suppose 0 = h - 4*h + 5*t + 26, -2*t = h + l. Let b be (2 - -5)*17/17 - 3. Solve g + b = 4*n, -1 = 5*g + n - h*n for g.
0
Suppose 4*o + o - o + 4*o = 0. Solve -x + c - 3 = o, -17 = x - 5*c + 2 for x.
1
Suppose o = 4*r + 