 - 8, 2*q + s*d = 25*d - 16 for q.
-4
Let v(h) = h**3 - 3*h**2 + 7*h - 7. Let j be v(4). Suppose -41*x + j*x - 224 = 0. Let d = 60 + x. Solve 3 = d*z + 3*g, -2*z - 2*g + 0 = -4 for z.
-3
Suppose 4*y - 4*y = -9*y - 8*y. Solve 2*h - 18 = 2*l, y = 3*l + 209*h - 204*h - 5 for l.
-5
Let j(d) be the first derivative of d**3/3 - d**2/2 - 2*d + 157. Let x = -7 - -10. Let h be j(x). Solve -3*b + 2 = -5*z + 19, -h*z - 12 = 4*b for z.
1
Suppose 0 = 902*v - 898*v - 20. Solve -5*f = -3*z + 60 - 20, 0 = 3*f - v*z + 40 for f.
-5
Suppose 0 = 5*k + 2*g - 7, -2 - 4 = -5*k - g. Let j = -5 + k. Let a be 1 - j/(-6)*-3. Solve 5*y - 26 = -5*q + 4, 16 = 2*y + a*q for y.
2
Let d(j) = -j**3 - 8*j**2 - 3*j. Let y be d(-2). Let k = -16 - y. Solve -k*z + 5*l = 0, 0*z = -z - l for z.
0
Let u be (-8 - -1)*(-76)/133. Solve -14 = 2*n + u*q, -4*q - 4 - 13 = -n for n.
1
Let d be (17/(-34))/(1/(-4)). Solve -4*w = 2*o + d, -7 = 4*w + 97*o - 94*o for w.
2
Let m(y) be the third derivative of 0*y - 1/12*y**4 - 11/6*y**3 + 0 + 8*y**2. Let d be m(-6). Solve 0 = 2*l + 4*n, d = l - 5*n + 8*n for l.
-2
Suppose 4*u = h - 2*h + 541, 655 = 5*u - 3*h. Suppose 0 = -3*p + u - 134. Solve -5*o - 18 = -4*v, 2*o - 2 = -3*v - p*v for v.
2
Let o(k) = -4*k. Let c(f) = f - 7. Let r be c(2). Let b = 4 + r. Let w be o(b). Solve -y = 4*p + 1, -4*y - w = p + 2*p for p.
0
Let v = -37 - -74. Suppose 3*r + 5*k - 7*k - 22 = 0, -4*r + 4*k + 36 = 0. Solve 5*c + 26 = -3*j, 5*j + r*c - 11 = -v for j.
-2
Let m = 1386 + -1386. Solve f - 5*a - 14 = m, f = -2*a + 3*a + 2 for f.
-1
Let m(u) = u**2 - 13*u - 71. Let p be m(19). Suppose -p + 19 = -6*n. Solve 0*s - t + 5 = s, n*t = s for s.
4
Let a be (-5 - 19/(-4))/(3/(-60)). Suppose i = 2*l + a, -5*i + 6*i + 1 = -l. Solve 4*k - j = i, 3*k - j - 17 = 3*j for k.
-1
Let h be (-1 + 2)/((-7)/(-14)) - -212. Suppose 190 = -6*f + h. Solve -4*g - 22 = -t, -f*g = 5 + 15 for t.
2
Let j be 197 - 8/(40/(-65)). Suppose -4*q = -q - 12. Suppose q*z + 6*z = j. Solve 5*h = -g - z, 14 = -5*g - 5*h - 11 for g.
-1
Suppose -16*h = -29*h - 364. Let z be -5 + 1 + (-112)/h. Solve 4*a = -r, z = -r - a - 4*a + 1 for r.
-4
Suppose -4*m = 5*q - 8 - 9, -q + 1 = 2*m. Solve k = 5*k + 8, q*n = -4*k - 28 for n.
-4
Suppose -4*l - l = 0. Suppose -18*v + 2*b + 12 = -22*v, -30 = -2*v + 2*b. Let z be ((-8)/(-6))/(2/6). Solve l = 3*o + 2*m - v, o - 3*m = z*o - 6 for o.
-1
Let u be 12 - (-195)/6*(-24)/78. Solve 2*y + 4*i - 16 = -u*y, -2*i - 16 = -2*y for y.
6
Suppose -101*n = -158*n + 1824. Solve 3*p = n*s - 29*s - 24, p - 4*s = -23 for p.
-3
Let o be ((-56)/(-12))/((-2)/(-3)). Let u be (-2)/o*1 - (-481)/91. Suppose w + w = 3*x - 34, u*x + 3*w - 82 = 0. Solve -2*y = l + 3*l + x, -4*l = -y + 5 for y.
-3
Let p be 8/((2/(-4))/(205/(-20) - -10)). Solve -3*y - 5 = -8*t + 12*t, -3*t - p*y - 2 = 0 for t.
-2
Let b be (2 + (-6 - -4) + 0)*-1. Suppose 8*p - 10*p + 40 = b. Solve -4*n - p = 0, 2*x = n + n + 16 for x.
3
Suppose 4*r - 3*r - 10 = 0. Suppose -5*k = -r*k + 20. Let q be ((-5)/(-15))/((-1)/(-12)). Solve -2*f - m + 7 = 0, -5*m + q*m = -k*f + 23 for f.
5
Suppose -97*k + 377 = -205. Solve -2*o + 33*p = 32*p + k, -5*o - 4*p = -11 for o.
-1
Let b = 22 - 38. Let r = b - -21. Suppose -3*o + 2*w = 8, 3*w - 12 = r*o - 0*o. Solve -2*v + 8 = 4*d - o*d, 4*d + 5*v = 14 for d.
1
Let s(w) = -3*w - 60. Let t be -3*2/9*630/21. Let v be s(t). Solve -2*y = -b, v*y + 5*y = 5*b for b.
0
Suppose 0 = 3044*c - 3051*c. Solve -4*u + 2*m = -2, c*u = u - 2*m - 5 for u.
-1
Let f be (1 + 59)*((-6)/12 + 3). Let z = f + -149. Solve 4*y - v + 10 + z = 0, 10 = -2*y - 4*v for y.
-3
Let z(v) = v**3 + 6*v**2 + 3*v - 8. Let c = 18 - 37. Let m = 14 + c. Let f be z(m). Solve 0*j + 3*t = j - 7, 0 = -2*j + f*t + 6 for j.
1
Let d be 1*9/15*(-20)/(-4). Let u(s) = s + 8. Let y be (-6)/(-4)*32/(-12). Let k be u(y). Solve k*f + 0*f + 16 = d*c, 2*f + 5*c = 18 for f.
-1
Let y(x) = -x**3 - 42*x**2 + 44*x + 47. Let d be y(-43). Solve 4*b = 23*i - 19*i + 12, -d*i = 4*b - 28 for i.
2
Let m(y) = -3*y + 9. Let b be m(5). Let o = b - -7. Suppose 5*d + 20 = -t, -t - 4*d = -3*t + 30. Solve -t*c - 3 = -4*u, 3*u - 2*c - o = 3 for u.
2
Let g(j) = j**3 - 16*j**2 - 84*j + 84. Let t be g(20). Solve -5 = -3*x - t*b, -5*x + 3*b + 8 + 10 = 0 for x.
3
Let r be (180/(-50))/((-1)/(-60)). Let w = 221 + r. Solve -n = 4*n + j + 15, -3*j = w*n + 15 for n.
-3
Let w(x) = 3*x**3 - 4*x**2 - 3*x - 2. Let o be w(2). Suppose -5*q - 5*i = -i - 28, o = 4*q - 3*i - 10. Solve -5*f = -q*v - 36, 0 = -f + 2*v - 3*v for f.
4
Suppose -10*y = -3*y - 21. Suppose 4*w = k + 10, 5*w + 8*k - 25 = y*k. Solve 3*h - 6 = -w*g, -3*g - h + 6 + 6 = 0 for g.
5
Let t = -83698 - -83703. Suppose -n - 2 = -4. Solve -5*c + 23 = -0*y - n*y, 0 = t*y + 4*c + 8 for y.
-4
Let p(m) = 2*m**2 - m - 5. Let h(q) = 2*q**2 - 5. Let i(d) = 4*h(d) - 3*p(d). Let g = -886 - -882. Let v be i(g). Solve -4*n = -2*t - t - v, 0 = 4*n for t.
-5
Let d(k) = -4*k**2 - 32*k + 2. Let c be d(-8). Solve 4*y - 4*h - 12 = 0, 0*y + c*y + 4*h - 18 = 0 for y.
5
Suppose 2*x = -2*b, -5*x - 2*b + 9 = -0. Suppose 3*f - 4 = -x*v + v, 3*v = f + 6. Suppose 4*o - 24 = -f*o. Solve 0*y + 4*l + o = -y, y = -2*l - 4 for y.
-2
Let b be -30*(-3)/(-54)*12/(-10). Let f = -73 + 93. Solve 5*n = b*v - 28, -5*n + n + v - f = 0 for n.
-4
Let l(m) = 5 - 52*m**2 - 53*m**2 + 107*m**2 + 8*m. Let c be l(-6). Let a = c - 29. Solve -3*v + a*v + 20 = 4*t, -v = -2*t + 10 for v.
0
Suppose 16*t + 8 = 18*t, 4*b + 5*t = 152. Solve w - 29 = c - b, 3*c - 12 = -2*w for w.
0
Let f be ((-9)/2)/(27/(-30)). Solve 3*j = -o - 3, -4*j + 1 = -f*j + 4*o for j.
-1
Let z(r) be the first derivative of r**3/3 - 3*r**2 - 12*r + 24. Let l be z(-6). Let n = 65 - l. Solve -n*h - 15 = -5*s, 3*s - 4*s = 4*h - 3 for s.
3
Let h(r) = 2*r**3 - 21*r**2 + 56*r - 8. Let b be h(6). Solve -15 = 5*s, b*i - 3*s = -8*s - 35 for i.
-5
Let n(z) = -z**3 - 51*z**2 + 831*z - 20. Let c be n(-64). Solve 0 = -o + v, 4*v + 36 = c for o.
2
Suppose -i + 11 = 4*q, 3*i = -4*q - 57 + 74. Solve 0 = 2*w + i*y - 6, -2*w - 10*y + 9*y = 2 for w.
-3
Let x(r) = -16*r**2 - 5*r + 28. Let t(a) = -14*a**2 - 5*a + 28. Let g(u) = -7*t(u) + 6*x(u). Let c be g(3). Solve -2*w = 2*j - w + 1, 4*j = -c*w + 7 for j.
-2
Let p = 15941 + -15904. Solve -p*w + 38*w + 12 = -3*b, w = -5*b - 22 for w.
3
Suppose 80*p = -32 + 272. Solve 3*i - 18 = -2*h, -8*h + 11*h = 3*i - p for i.
4
Let w = 13 + -1. Let j be -1*2/(-5) - (-744)/15. Suppose 25*d - j = -0*d. Solve 2*x - w = -d*c, -2*x - 2*x - c + 15 = 0 for x.
3
Let s = 7737 + -7729. Solve 4*v + 4*f = -14 - 10, 3*f + s = -v for v.
-5
Let m be 3/((-3)/(-30) - 24/(-48)). Solve -4*r + 3 = -4*p - r, 0 = -m*r + 5 for p.
0
Suppose -45*l + 51*l + 864 = 0. Let k = -139 - l. Solve 4 = v + k*m, 0*m = 4*v - 5*m + 9 for v.
-1
Suppose 0*a = -a + 4. Let d = 7 + -3. Suppose d*b + 24 = 2*j, -2*b + 1 = -3. Solve -4*v + a*c = -0*c - 8, -j = -2*v - 4*c for v.
4
Suppose -4*z = 3*o + 6, 6*o - 67*z + 3 = -72*z. Solve 58 - 66 = 2*k - y, 2*k = 4*y - o for k.
-5
Let c = 20496 - 20481. Solve -d - 16*k = -c*k + 6, 8 = -3*d - k for d.
-1
Suppose 273*o + 6 = 275*o. Suppose -102*q = -103*q + o. Solve 4 = t + 3*t - 4*k, q*t + 5*k + 37 = 0 for t.
-4
Let f = -4844 - -4844. Solve f = -a - 4*c - 21, -43*c - 28 = 3*a - 38*c for a.
-1
Let x = 1 - 1. Suppose -43 = -g + 224. Let u = -265 + g. Solve x = -l + 4, 28 = 4*s + 7*l - u*l for s.
2
Suppose -4*y = 5*b - 57, 85*y + 5*b - 21 = 83*y. Solve 0 = 5*a + 5*m + 5, -3*m - 7 = y*a - 16*a for a.
4
Let t(z) = -6*z + 195. Let l be t(32). Solve -7*w - l*r = -6*w - 1, -5*r + 11 = 4*w for w.
4
Let n = -1725 + 1727. Solve 5*u - 15 = -5*l, 6*l = -n*u + 9*l - 9 for u.
0
Suppose 5*z - 12 = 9*z, 0 = r + 2*z + 2. Solve -c - 5*g + 29 = 0, 1 - 5 = 4*c - r*g for c.
4
Suppose 587 = 139*m - 108. Solve -9*c = -m*f - 11*c + 15, 5*f = 2*c + 35 for f.
5
Let p(i) be the first derivative of i**2/2 + 36. Let a be p(8). Suppose 0 = 2*n - 4 - 0. Solve 2*r + 0 = -4*s - a, -2*r + 2*s - n = 0 for r.
-2
Suppose 570 = -213*i + 2061. Solve 2*y = 4, -i = -3*w - 9*y + 13*y for w.
5
Let j be (-3)/2 - 110/(-20). Suppose y + 5 + j = 0. Let m = y + 9. Solve -3*w + r + 7 = m, 2*r - 3*r + 17 = 3*w for w.
4
Let m = 260 + -255. Suppose -m*q - 21 = -46. Solve -5 = -q*v, 4*n = -v - 0*v + 13 for n.
3
Let v = -58 + 49. Let l(a) = -4*a - 31. Let j 