8 = -4*x - 2*j, 5*j + p + 4 = x for x.
-1
Let q = -6268 + 6272. Solve q*f = 5*o - 12, -22 = 3*o - 6*o - 5*f for o.
4
Let g = -4721 + 4725. Solve -6*z + 11 = -3*k - z, g*z = 4 for k.
-2
Let f = 2665 + -2644. Solve -r = -3*q + 9 + 9, 2*r = 3*q - f for r.
-3
Let q be (13 - (-6)/(-1 + -1))/(-25 - -26). Solve -3*o + 17 + 3 = v, -o - v = -q for o.
5
Let z(i) = 4*i**2 - 11*i + 5. Let n be z(2). Let l be 12 + -10 - n*(-1 + 4). Suppose 7*v - l = 2. Solve y + 5*s = -2*y + 3, -y = s - v for y.
1
Let z be (0 + 3/2)/((-1)/(-4)). Let k(i) = 9*i - 51. Let c be k(z). Let q be 8 - 0/5 - 1. Solve -3*g - q = 5*h, 2*g = -0*h - c*h - 4 for g.
1
Let u = 34 - 12. Let w be (-8)/(3 - 1) + u. Suppose -g - 4*n = -4*g + 32, 4*g = 3*n + 31. Solve 3*s - 4*b + g = -w, -12 = -2*s - 4*b for s.
-2
Let r = 414 + -120. Suppose -r*s = -310*s. Solve -2 = y + f, 0*y - 4*y + 4*f - 24 = s for y.
-4
Let h = -16097 - -16107. Solve -5*z + 15 = -0*z - 2*q, -4*q + h = -2*z for z.
5
Let a(h) = 177*h - 7253. Let o be a(41). Solve 2*l = 3*d + 23, -2*l = -8*d + o*d - 30 for l.
1
Let f be (-21)/(-49) + 2218/(-14). Let l = f - -173. Solve -4*c - q + l = 0, -3*c - 4*q + 4 = -17 for c.
3
Suppose 20*c = -6*c - 2 + 106. Solve x - 3*p = -5*p - 3, 2*x + 2*p + c = 0 for x.
-1
Let s(t) be the second derivative of -t**5/20 - t**4/6 - t**3/2 - 3*t**2 + 134*t. Let w be s(-2). Solve 4*x - k - 7 = w, 5*k = 4*x + 2*k - 13 for x.
1
Let j be (-243)/(-18)*(-4)/3. Let s be (0 - 872/(-36)) + 4/j. Solve -3*v + 4*h = 28, s = -v - 3*v + 2*h for v.
-4
Let p(t) = t**2 + 4*t. Let w be ((-10)/4)/(36/72). Let l be p(w). Solve 2*s + 3*h = -13 - 2, 3*s + 25 = -l*h for s.
0
Let p be (-3)/9 - (-50)/6. Suppose -18 = -5*f - 4*d, d - p = -4*f + 2. Solve -4*w - 2*o = 2*o + 20, 2*w - 2*o + f = 0 for w.
-3
Suppose 11*n - 175*w = -180*w + 7295, -4*n + 2675 = 5*w. Solve -3*h + s = -1, -n*h + 3 = -656*h - s for h.
2
Let t(i) = 2*i**2 + 21*i + 14. Let j be t(-10). Let y be (0 - 5) + 2/j*-2. Let f = y + 9. Solve -c + l - 1 = 0, 0 = -f*l - 2*l + 5 for c.
0
Let q be (532/(-57))/((-44)/33). Solve 0 = 4*t + 3*i - 11, 31 = 65*t - 63*t - q*i for t.
5
Suppose -3*y - y = 3*m + 93, 0 = -5*m + 2*y - 181. Let h be (-651)/m + 9/(-15). Let r be h - (-4 - (-2 + 0)). Solve -t - 3*t + 5*z = -r, -3*t - 8 = 2*z for t.
0
Let s be (-1)/(-4) + 7/((-336)/10956). Let g = -222 - s. Solve y = -g*r + r + 23, -2*r - 4 = -4*y for r.
4
Let j = 226 - 183. Suppose -4 = 41*t - j*t. Solve 4*z - 3*a = 5*z + 10, -t*a = z + 6 for z.
2
Suppose w + 2*k + 4 = 0, -k = k + 8. Let i be (-1 + 1)*(67 - 66). Solve -1 = s, -a + w*a - 5*s + 10 = i for a.
-5
Let z = -5 + 5. Suppose 5*p = -4*d + 56, 6 = 3*d + 3*p - 30. Solve z = 5*j - 2*c + 11, 4*j = 4*c - d for j.
-3
Let n = 341 + -267. Let v be (5/2 + 0)/(37/n). Solve 2*z = 3*i + 13, v*i + 7*z + 11 = 5*z for i.
-3
Let o(m) = m**2 - 11*m - 12. Let n be o(13). Suppose 0*u - 1440 = 15*u. Let f be 3/21 - u/n. Solve -5*k + f = -2*q - 2*q, k = -q + 5 for k.
3
Let o = -465 - -468. Suppose o*x = 4*d - 3*d - 7, 79 = 5*d - 4*x. Let b be (8/2)/(6/3). Solve 5*i - b*l = -0*i - d, l - 5 = i for i.
-3
Let q be (-3)/4*(-4)/6*(193 - 189). Solve -4*y = j - 10, -2*y + 4*j = -q + 6 for y.
2
Let z = -1 + 5. Let v(r) = r**3 - 9*r**2 - 27*r + 58. Let l be v(11). Solve z*m - 18 = x, 10 = -4*x - l*m + 33 for x.
2
Suppose 323 = -v + 2*y, -5*v + 21*y - 1600 = 26*y. Let h = 325 + v. Solve -r = -2*q + 1, h*r - q - 9 - 8 = 0 for r.
5
Suppose 4*v + 30 = b, 0*b = 2*b - 5*v - 45. Let r be (-50)/(-15)*(-1 + 25/b). Let s = 41 + -21. Solve -3*m = -5*a + s, -3*a + a + 8 = -r*m for a.
4
Suppose 2*p - l = 17 + 9, -3*l = -3*p + 45. Solve 0 = p*s - 13*s - 2*g + 10, 3*g = -4*s + 19 for s.
4
Let c be -2*(-1425)/(-190)*(-1)/5. Solve -5*h - 1 = -2*u + 27, c*u - 20 = 2*h for u.
4
Suppose -2*m - 3*i + 25 = 0, 262*m - 15 = 263*m - 4*i. Solve m*o - 8*g + 45 = -4*g, 0 = -2*o + 4*g - 30 for o.
-5
Let z be -1 - -2*5*67/134. Solve 0 = -5*w - 2*d - 8, -96*d + 100*d + 16 = -z*w for w.
0
Let o be 68526/2820 + (-3)/10. Solve 3*l - 12 = 0, 4*c + l - o = -3*l for c.
2
Let z be (-6 - (-400)/72)/(10/(-45)). Solve -z*g = -2*m, -m = 5*g - 7*g - 3 for g.
-3
Let u(r) = 545*r - 4905. Let i be u(9). Let m = -8 + 11. Solve 2*c + 5*p + 0*p + 9 = i, -c + 1 = -m*p for c.
-2
Let z(d) = d**3 + 9*d**2 - 66*d - 532. Let f be z(-7). Solve 5*y - 9*w = -4*w, 4*w = -3*y - f for y.
-4
Suppose 0 = -2*b - 3*l - 5 + 12, b - 6 = -4*l. Suppose 2*p + 3 = -1. Let q be 3 - (p - -1 - (-4)/b). Solve 0 = -3*a + z - 14 - q, -2*a = 4*z + 6 for a.
-5
Let q be (-251 - -27) + (-5 - (-6)/2). Let x = q - -230. Solve c = -3*l - 11, -x = -c - 0*c for l.
-5
Let r(q) = -11*q - 665. Let w be r(0). Let a = -661 - w. Solve 7 = -3*t - 4*z, t - z = 3 + a for t.
3
Let u be 200/90 + -4*3/54. Solve u = 3*t - 5*r + 36, -18 = t - 3*r for t.
-3
Let c be 11 - (4 + 1/1). Let d(k) = 2*k - 8. Let g be d(c). Suppose -o = -0*o - 18. Solve -2*i + g*q + o = 0, 0 = 4*i + 2*q - 0*q - 16 for i.
5
Let t be (-12*2/9)/((-1)/3). Suppose -6*w + 7*w + 5*g = -t, 3*w = 3*g + 12. Solve -2*s - w*i - 14 = s, 0 = 5*i + 20 for s.
-2
Suppose 4*b - b = 9. Let a(o) be the first derivative of -o**3/3 + 5*o**2 - 8*o + 6. Let m be a(8). Solve -b*n - m = -2*x, -6 = 2*x + 3*n + n for x.
1
Suppose -2*z + z = 12. Let u(g) = g + 15. Let t be u(z). Suppose 0 = -2*j + 2*s + 16, -5*j + 2*s = -2*j - 22. Solve 10 = -r - 3*c, 3*c = -t*r - 0*c - j for r.
2
Let m be ((-132)/5)/((459/510)/(-3)). Solve -w = 5, -m*k - 5*w - 53 = -92*k for k.
7
Suppose 1195*w = 1086 + 2188 + 311. Suppose -2*d + 5*d = 3. Let q(z) = z**2 + 2*z - 1. Let u be q(d). Solve 5*j = o + w - u, 2*j - 2 = 0 for o.
4
Let v(o) = -13*o - o**3 + 32*o - 9*o**2 + 21 - 8*o**2. Let j be v(-18). Suppose -2*q - 2*i = 0, -q - j*i = 4 - 0. Solve 4 = z, -2*z + 2 = -q*a - 2 for a.
2
Suppose -20 = -2*n - 5*m, 14 = m + 12. Solve 0 = 4*s + n*v + 12 - 4, 0 = -5*s - 5*v - 10 for s.
-2
Suppose -24*t + 148 + 12 = -32. Solve 4*f + 11 = 5*u, -9*u = -t*u + 5*f + 21 for u.
-1
Suppose q - 3*v - 4 = -v, 4*v = 3*q - 14. Suppose 0 = q*z + 5*z - 99. Let f be (-7)/((-42)/z) + 6/(-4). Solve l + h + 1 = f, 4*l = 4*h - 25 - 11 for l.
-5
Suppose -8 = 2*r + 5*o - 3, -r - 1 = o. Solve -5*m - 4 = -9*m, -4*i + 4*m + 16 = r for i.
5
Let d(f) = f**3 + 15*f**2 + 32*f + 5. Let t be d(-11). Suppose -128*o + t*o - 18 = 0. Solve o*n + 6 = -4*k, 3*k + 3 - 1 = n for n.
-1
Suppose 4*g + 1 = 21 + 12. Solve 4 = 5*x + j, -5*x + 0*j + g = -3*j for x.
1
Let w(u) = -3*u**2 - 77*u - 46. Let s be w(-25). Solve 2*t = s*d + 4, -4*d - 5*t + 11 = 1 for d.
0
Let x(n) = 47*n + 891. Let u be x(-16). Solve -137*m = -u*m + 3*l + 1, 0 = 4*l + 12 for m.
-4
Suppose -3*c - m = -17, -2*m + 18 = 2*c - 0*m. Suppose 4*b + 34 = 3*l, -54 = -c*l - 4*b + 5*b. Let o be 2*1 - (14 - l). Solve 5*n = 5, -n = -5*p + o + 7 for p.
2
Let v(g) = 3*g**2 - 5*g - 1. Let y be v(4). Suppose -57 = 3*n + y. Let x be 10 - n/(-21)*6/(-4). Solve -3*b + 0*h + x = -3*h, 0 = -2*b - 2*h + 4 for b.
3
Let u(s) = -2*s + 2. Let b be u(-2). Let g(k) = 920*k + 11045. Let r be g(-12). Solve 0 = -r*j - h - 11, 5*j + 2 = b*j - 4*h for j.
-2
Let r = 50 - 48. Let l be 91/3 + r/3 + 4. Suppose -2*w + l = 5*w. Solve -j - b = -2*j, w*b = -10 for j.
-2
Suppose 0 = 73*g - 91*g + 72. Let s = 23 - 39. Let n = 20 + s. Solve 5*o = -g*c - 7, 4*o + n + 0 = -4*c for c.
2
Let h be -1*(115/92)/(3/(-12)). Solve -2*d - 7*c + 4 = -h*c, -c = 3*d - 2 for d.
0
Let c(a) = -369*a + 1849. Let j be c(5). Solve -10 - 1 = 5*s + j*m, -s + 2 = 5*m for s.
-3
Suppose -16 = -3*l + 35. Let h be (0 - 2) + 5 - (-100 + l). Let c = h - 66. Solve -4*r - 3*d - c = d, 13 = -5*r - d for r.
-2
Let j = 22271 - 22246. Solve -5*m = -2*n - 15, -5*n = -2*n + 2*m - j for n.
5
Let s(x) = -x**2 + 8*x + 50. Let g be s(12). Suppose -z = g, z + 3 = 3*u - 11. Solve -4*a + u*r = -4, -5*a - 2*r - 10 = -4*r for a.
-4
Suppose 0 = 70*p - 74*p - 88. Let r = p - -26. Solve c = r*z + 1, -c - c - z = -11 for c.
5
Let x(g) = -g**2 + g + 77. Suppose -31*o + 36*o = -3*d - 14, -34 = 4*d - o. Let k be x(d). Solve k*j = -3*c - 13, -5*j + 4*c = -2 + 8 for j.
-2
Suppose 3*x + 21 = 2*f, -33*x + 37*x = 5*f - 35. Solve 2*s = 2, f*s - 11 = b - 12 for b.
4
Suppose 257*p - 133*p - 130*p = -18. Solve -3*q + p*v - 3 = -8*q, -4*q + 2*v = 24 for q.
-3
Suppose -l + 17 = h, -4*h - 3*l = -0*l - 71. Suppos