Let j = 19996 + -19981. Solve 3*d = t - j + 7, 2*d = -5*t - 28 for t.
-4
Let d = -66 - -173. Suppose 16 = -3*u - d. Let a = 46 + u. Solve a*w = -4*l + 41, 3*l - 4*w = -8*w + 32 for l.
4
Let j = -11852 - -11855. Let h(d) = -d**2 + 10*d - 6. Let l be h(6). Solve l = 3*v - j*n, -v + 3*n + 14 = -0 for v.
2
Let h(x) = -3*x**3 + 57*x**2 - 39*x - 265. Let m be h(18). Solve 0 = 43*q - 47*q + 5*g - 25, 2*q - m*g + 15 = 0 for q.
-5
Let v(j) = -j**3 - 11*j**2 + 10*j - 16. Suppose 4*d = -27 - 21. Let c be v(d). Suppose -2*h + c + 2 = 0. Solve 2*l = 2*t + 16, h = -3*t - 4 for l.
5
Suppose 2*p - s + 2 = 0, -p - 4*p - 5*s - 20 = 0. Let o(m) = -3*m**2 - 10*m - 5. Let b be o(p). Solve 4*u + i = -5 - 4, 2*u - b = i for u.
-1
Let q = -5 + 10. Suppose -5*t = 28*z - 26*z + 1160, 4*t - 2*z = -946. Let h = 236 + t. Solve -h*i + 4*x + 0 = 4, -q*x = -i + 1 for i.
-4
Let h(u) = -u**3 - 19*u**2 - 58*u + 36. Suppose n + 13 = -t, 5*n - 70 = -2*t + 6*t. Let p be h(t). Solve 15 = 3*k - 3*i, 3*k - i + p = -5*i for k.
2
Suppose 12 = 4*j - 8. Let u be -4 - (8 - (-228)/(-16) - (-5)/20). Solve -j*w - u*l = l - 2, -2*l - 6 = -4*w for w.
1
Let n(z) = 39*z + 65. Let c be n(0). Suppose 0 = -63*b + c + 61. Solve -u - b*u = -4*i + 11, 0 = 3*u + 5*i + 20 for u.
-5
Let s be 6/5*10/4. Let h(p) = p**3 + 15*p**2 + 2. Let q be h(-15). Suppose 4*n + q = -4*t - 2, -2*n = 4*t + 8. Solve 4*c = -n*v - 12, -5*v + s*c = c + 18 for v.
-4
Let a be 3 + 3/(-6)*-2. Suppose 4*j - 25 = a*z - 69, -43 = -3*z + j. Let h(k) = -k**2 + 3*k. Let u be h(3). Solve -3*s + 2 = 5*m - u*s, -z = -2*m - 5*s for m.
-2
Let t(u) = u**2 - 57. Let q be t(8). Solve -3*r = -x - q, -7*x + 5*x = 5*r - 30 for x.
5
Let c(t) = 10*t + 10. Let y be c(-28). Let b be 23/7 + (y/105)/9. Solve 0 = 4*l + b*v - 20, 4*l + l - 25 = v for l.
5
Let z(v) be the third derivative of -v**6/120 + v**5/30 - v**4/12 + v**3/6 - 59*v**2. Let k be z(0). Solve a = -3, 0 = c + 4*a + 10 + k for c.
1
Let t = -13383 + 13388. Solve l = 3*n + 5, 161*l = -t*n + 160*l - 11 for n.
-2
Let h(j) = -j**2 - 8*j - 1. Let c be h(-6). Let k(z) = -z**2 - 34*z - 292. Let u be k(-17). Let y be 3/(u/(-2)) - 0. Solve y*p = -6, v - p + 4*p + c = 0 for v.
-2
Let i be ((-2)/(1 - -1))/((-10)/190). Let s be 230/1725 - 223/(-15). Solve -4*r = -5*z - i, -1 = -r + 5*z + s for r.
1
Let z be (15/6 - (-4)/(-8))/((-16)/(-88)). Solve -i - z*j + 6*j - 5 = 0, -4*j = 4*i + 20 for i.
-5
Let x be (1/2*-2)/(1/(-3)). Solve 4*p - 24 = -2*m, 5*m + x*p - 10 = 22 for m.
4
Suppose 6 = -167*f + 172*f + z, -f - 4*z + 24 = 0. Solve 5*u = -2*n - 16, -3*u + 8*n - 13*n - 2 = f for u.
-4
Suppose -2*u + 75 = -3*s + 88, 2*s - 3*u - 7 = 0. Solve 2*o + 40*p = 43*p, 0 = -o - p - s for o.
-3
Suppose -27*a + 6 = -23*a - j, 0 = -3*a - j + 8. Let o = 10 - 7. Solve -a*h = i - o*i, 0 = -2*h + 3*i - 4 for h.
4
Let i(x) be the third derivative of x**5/60 - 7*x**4/12 - 7*x**3/6 - 55*x**2 + x. Let o be i(16). Solve -o = 4*m - 4*f + 11, 5*f - 29 = m for m.
-4
Let c be 1*((20/(-6))/(-5))/(128/1728). Solve 6 = -5*k + 2*d - 3, -k = 5*d - c for k.
-1
Suppose 76*u - 56*u - 360 = 0. Suppose -36 = -9*y + u. Solve 4 = 3*r + 2*d - y, 5 = d for r.
0
Let s(r) = 2*r + 24. Let v be s(-10). Suppose -2*p - 5*j = 2*p - 27, 2*j - 30 = -v*p. Suppose 0 = l - p*l. Solve -n + l*t - 2 = -2*t, -2*t + 10 = 3*n for n.
2
Let v(p) = 84 + 9*p + 19*p - 34*p. Let u be v(14). Solve g + 17 = -u*g + 4*n, -2*g + 14 = 4*n for g.
-1
Let k(i) = 2*i**2 - 11*i + 12. Let j be k(7). Let r = -187 + 170. Let h = r + j. Solve -4*t + h = -4*z - 0*z, 5*z - 4*t = -15 for z.
1
Let j(l) = 108*l - 322. Let i be j(3). Let f = -6 + 8. Suppose 5*d = 3*y, f*d + 0*d + 4 = 2*y. Solve -g - 6*x + i*x = 17, 37 = -y*g - 4*x for g.
-5
Suppose -3*p - 25*j + 43 = -20*j, -2*j + 37 = 3*p. Suppose s = -4*k + p, 2*k + 4*s = -3*k. Solve 16 = -4*w - 5*f, 8 = -k*w + 2*w + 3*f for w.
-4
Let y = 44 + 59. Let p = -83 + y. Solve -3*n = n + x + p, -x - 4 = 0 for n.
-4
Let w be 1 + (-103)/(-5) - 44/(-110). Solve -10 = -3*h + 4*z - 34, 4*h + w = 2*z for h.
-4
Let v(l) = 207*l - 6828. Let h be v(33). Solve 4*n + 14*q + 12 = 15*q, 8 = h*n - 5*q for n.
-4
Let h be (-5 - 0) + 20 + -11. Suppose 0 = -2*s + 3*l + 11, h*s - 4 = 4*l + 16. Solve 2*g = 6*g + 5*q - 36, 5*g = -s*q + 36 for g.
4
Let f(o) = -o**2 - 7*o + 28. Let q be f(-10). Let v be 1 + -3 - (q + -5). Solve 0 = 5*k + 4*n + v, -3*k + 0*k = -3*n + 3 for k.
-1
Let g(n) = -263*n - 1308. Let x be g(-5). Solve 6*c - 10*c = 4*p, -x = 3*p - 4*c for p.
-1
Let i(u) = -7*u - 83 - 3*u**2 + 4*u + 4*u**2. Let n be i(-9). Solve 4*k - n = -3*v - 8, -2*v = 2 for k.
5
Suppose -123 = 2*z + 2*d - 761, 3*d = 4*z - 1290. Suppose z = -7*t - 36. Let x = -47 - t. Solve -x*p = 3*s + 26, 3*p + 6*s = s - 25 for p.
-5
Suppose 3*h + 3*j = 15, 7*h - 7 = 4*h + 5*j. Suppose h + 8 = 4*g. Let q = 39174 + -39165. Solve 4*x + 8 = 3*n + n, g*n - q = 0 for x.
1
Suppose 0 = -5*d - 5*b + 30, 29*d + 2*b + 6 = 33*d. Suppose -6*z + 2*z + d*f = -13, 5*z + f = 21. Solve -3*l = -g - l + 1, 5*l = 3*g - z for g.
3
Suppose 0 = -30*y - 2*y + 640. Solve -25*w + y*w - 3*t + 8 = 0, -w + 5*t = 4 for w.
1
Let o = 7563 - 7437. Solve j - 2*k = 12, -o*j + 129*j = -3*k for j.
4
Suppose 3*q = -3*w - 12, w = 5*q + 1 + 1. Suppose -n + 6 = n - 2*u, 0 = 4*n - 2*u - 16. Let x be (n - 7)/(2/w). Solve -x*f + 14 = b, -2*b + f + 1 - 8 = 0 for b.
-1
Let k = -23092 - -23094. Solve k*b + 12 = 0, -6*m - 18 = -10*m + 5*b for m.
-3
Let j = 67 + 48. Suppose 0 = -q + j - 110. Solve -q*s + m = 8, 0 = -s - 3*m + 2 + 6 for s.
-1
Let h(j) = j**3 - 39*j**2 - 8*j + 329. Let d be h(39). Solve 5*y + d = -4*k, 4*k + 15 = -2*y - y for y.
-1
Let h = -52927 + 52932. Suppose l - 2*d - 3*d + 15 = 0, 4*l = 3*d + 8. Solve -12 = -4*m - h*n + 15, 30 = 5*m + l*n for m.
3
Let q = -3336 + 3340. Solve x + 1 = -q*u - 9, 3*u - x + 4 = 0 for u.
-2
Let n(v) = 34*v + 130. Let b be n(-4). Let m be (b/4)/((-66)/176). Solve -s = -4*s + 3*k - 3, -2*k = -m for s.
1
Suppose -8*r - 107 = -3. Let p be ((-8)/3)/(r/((-2535)/(-10))). Suppose -p = 2*d - 4*d. Solve a + 3*a + d = -5*h, 4*h + 24 = -4*a for a.
-4
Suppose -3*x - 7 = -2*f, -267*f - 17 = -271*f + 3*x. Solve c - 3*g = 0, 3*g + g + f = 3*c for c.
3
Let t = -6949 - -6953. Solve 46*h + i + t = 44*h, -4*h = -i + 2 for h.
-1
Let q be 6/9 + (1844/6 - 1). Suppose -q = -8*f - 259. Solve -3 = -3*a - 3*v, f*v = -2*a + 2*v - 2 for a.
3
Let h = -5692 - -5696. Suppose 17*n + 90 = 20*n. Solve 5*g - n = -5*u + 3*g, -5*g + 9 = -h*u for u.
4
Let i be 7 - (8 - 13 - -6). Solve i = r - 3*j, 3*r - 5*j = -6*j - 12 for r.
-3
Suppose 0 = -2*j + 2*b + 18, -106*j + 37 = -102*j - 5*b. Solve j = 4*p, -5*p = 2*u + 3*u + 5 for u.
-3
Let n(x) be the third derivative of x**6/60 - x**5/5 + x**3/3 - 206*x**2. Let p be n(6). Solve 3*r - 22 + 9 = p*u, 0 = 2*r + 4*u + 18 for r.
1
Suppose 37*p - 44*p + 63 = 0. Suppose -37 = -7*g - p. Suppose 12 = 3*s + s + 4*i, 12 = 2*s - 4*i. Solve 5 + 1 = -g*z + 5*c, z = -s*c + 9 for z.
1
Let i be (45/10)/(63/252). Solve -3 = -4*t + 5*z, -5*t + 34*z = 35*z + i for t.
-3
Let a(m) = -85*m + 1805. Let q be a(21). Solve -9*h + 6*h - n = 5, 5*h - 4*n = q for h.
0
Suppose 1955 + 1920 = 39*z + 3797. Let b = -1 + 5. Solve -2*v = -3*v + 3*j + 13, -z*v - b = 4*j for v.
4
Let m(d) = -d**3 + 22*d**2 - 22*d + 21. Let p = 3 - -18. Let l be m(p). Let i be (-2 + 3)*1*(5 - l). Solve -2*x + 4*c + 16 = 0, -2 = i*x - 5*c - 17 for x.
-2
Let y = 39618 - 39613. Solve -3*o + 12 = -5*o - 4*r, 0 = -y*o - 3*r - 2 for o.
2
Suppose 17*k - 10*k + 210 = 5*t, -3*k = -2*t + 84. Solve -4*n - 24 = -4*h, 2*n + 20 = t*h - 38*h for h.
4
Suppose -2*r + 13*r = -7*r. Let h = -113 - -118. Solve -h*v - 2*s + 2 = -6*s, 2*v - 3*s - 5 = r for v.
-2
Suppose -5*o - 17*o + 2090 = 0. Let d = o + -90. Solve -2*p - 18 + 1 = -d*f, f = 2*p - 3 for p.
4
Let h be 663/117 - 2/3. Suppose 5*r - 5*t = 25, 3*r - t = 8*r - 25. Let l(w) = -w**2 - 9*w + 2. Let k be l(-9). Solve -2 - 1 = k*j + r*f, 3*f = -2*j - h for j.
-4
Suppose 3 = -3*b - 3. Let h be 1 + (b - (-8)/(-4)). Let x(s) = 2*s**2 + 6*s + 2. Let u be x(h). Solve -2*a - q - 3 - 6 = 0, -3 = -a + u*q for a.
-3
Let c = -4900 + 4905. Solve -t - 6 = c*y, -3*y + 10 = 25*t - 21*t for y.
-2
Suppose -15 = -2*b - n - 5, 3*b - n - 25 = 0. Solve -1 = 5*x - 2*a, -a = 5*x - 5*a + b for x.
1
Let r(u) = -6*u**2 + 149*