Let i = 6 + j. Let v(c) = c**3 - 2*c - 1. Let t be v(i). Solve z = 4*s + 15, -t*z + 1 = 4 for s.
-4
Let v be (-259)/28 - (-1)/4. Let n be 12/(-8) + v/(-6). Suppose f - 3 = 2*y - y, n = 5*y - 15. Solve 0 = -j - z + f + 2, 2*j - 25 = -5*z for j.
5
Suppose 3*z - 27 = -3*d, 3*z = d + 2*d + 3. Solve 2*n - 5*m = 3*n - 3, d*n - 12 = 4*m for n.
3
Suppose 0 = 117*k - 115*k - 12. Solve -3*p - 4*z - 2 = -8*p, 3*z - k = 0 for p.
2
Suppose 25*h - j - 9 = 20*h, -2*h - 2*j + 6 = 0. Solve -5*b = -2*z - h, -3*b - 5 + 9 = -4*z for b.
0
Let x(y) = -2*y. Let j be x(1). Let b be (-4)/(j/(-4)*-2). Solve -18 = 2*v + b*z, -8*v + z - 12 = -3*v for v.
-3
Let x(q) = -2*q**2 + 5*q. Let s be x(-5). Let w = 89 + s. Solve -3*f + 4*t = 1, -4*f - 4*t - w - 6 = 0 for f.
-3
Suppose 15*o + 2*d = 13*o + 18, -3*o + 52 = -2*d. Solve 0 = 2*j - 3*u - 12, 0 = -2*j - 2*j + u + o for j.
3
Let s be -2 - (-13 - 4/(-1)). Let o be (-6)/(-2) + 0/s. Solve -4 = -d - o*d - z, 4*d = -5*z + 4 for d.
1
Suppose b + 3 = -3*v, b = -4*v + 2*b + 3. Solve -d - 3*d - 8 = -q, v = 2*d + 4*q - 14 for d.
-1
Let p(m) = m**3 - 15*m**2 + 39*m - 34. Let f be p(12). Solve 5*r - f*r - 5 = a, -4*a - 5 = 3*r for r.
1
Suppose -o - 1 = q, 3*o - 4*q = -8*q - 8. Solve r + 24 = 5*l, o*r + 2*l - 7*l + 36 = 0 for r.
-4
Let o(q) = -3*q + 23. Let x be o(6). Let p = -5 + x. Solve -5*a + 4*w - 31 = p, 4*a + 8 = 3*w - 16 for a.
-3
Let h(b) = b**2 - 22*b - 60. Let g be h(25). Solve -2*j = -2*l - 10, 3*j + 0*l - g = -l for j.
5
Let c(u) = -u**3 - 5*u**2 - 6*u - 3. Let s be c(-4). Let k = 1145 - 1143. Solve 4*x + k*h = h + 8, 0 = -3*x + s*h - 17 for x.
1
Let t be (-23 - -2)*(-8)/12. Let d = 16 - t. Suppose 1 = -d*z + 5. Solve 0 = -2*h + 3*h, -5*c - 20 = -z*h for c.
-4
Suppose 33*h = 31*h + 6. Solve h*g - 5*o - 35 = -2*g, 0 = 2*o + 10 for g.
2
Let o be (-6)/8*2*-44 + 0. Let q = o - 62. Solve q*h + 1 = 2*n - 25, -4*n = -3*h - 32 for h.
-4
Suppose 0 = -0*k - 3*k + 72. Let v = 28 - k. Solve -v*t - 28 = -9*t + 2*j, t + 16 = -5*j for t.
4
Let l be (-56)/12 + 4 - 161/(-3). Let h = -53 + l. Solve -3*a - 18 = -4*n - h*n, -5*n + 3*a = -21 for n.
3
Let c(t) = -t**2 + 3. Let y be c(0). Let j(o) = 3*o**3 - 10*o**2 + 3*o + 4. Let r be j(3). Solve 5*b + 2*n = 33, y*n - 21 = -5*b + r*n for b.
5
Suppose 2*w - 4*f = -2*w + 68, -2*f + 4 = 0. Let j = 3 - 3. Suppose j = m + 4*m - 20. Solve -a = m*c, -3*a = a - 3*c - w for a.
4
Let d be (-1)/(23/11 - 2). Let y = 19 + d. Suppose -a + y + 1 = 0. Solve 2*x + 3*b + 17 = 0, 2*b = -4*x + b - a for x.
-1
Let i = 164 - 164. Solve -2*l + 2*a - 4 = i, 5*a - 1 - 10 = 4*l for l.
1
Suppose -54 = -3*y + 27. Let l = y + -52. Let c = l + 40. Solve c = -5*z, -4*f - 7 = 3*z + 10 for f.
-2
Let j be (0/((-10)/2))/3 - -15. Solve -11*r + 14*r = -5*x + 6, -2*x + j = -3*r for r.
-3
Let h = -216 - -234. Solve q + 23 = -q - 5*n, -4*n = 2*q + h for q.
1
Let s(d) = -5*d**2 - d + 1. Let p(f) = 4*f**2 + f - 1. Let m(k) = 3*p(k) + 2*s(k). Let t be m(1). Solve -2*j + t*q - 10 = -6*j, -3*j = 2*q - 7 for j.
3
Let q be (2 - 10/4)*-2. Suppose 4*b = 2*x + 8, 4*b + q - 9 = -4*x. Solve 2*h + 4 + 0 = b*a, -a + 2*h + 5 = 0 for a.
-1
Suppose -22 = -4*w - 2, -3*s + 30 = 3*w. Solve -s*m + 14 = -3*z, 1 - 6 = -5*m for z.
-3
Suppose -80*h + 79*h + 5 = 0. Solve -25 = -5*a - h*f, -2*a + 0*a = 5*f - 19 for a.
2
Suppose -3*i + 4*c + 5 = -8, -i = 4*c + 1. Solve -5*n - 6 = -x, 2*n = -7*x + i*x - 20 for x.
-4
Let h be (-2 - 42/(-9))/(4/6). Let u be 6/10 - ((-82)/5 + h). Solve 5*x + 2*t - 35 = 0, t - 2 = -2*x + u for x.
5
Let y be 10/15*36/8. Solve 3 = 4*m + 2*u + 5, -4*m + y = u for m.
2
Let m = -174 - -179. Solve m*x = z - 0*x + 4, z = -4*x + 5 for z.
1
Let y be 1/4 - (-60)/16. Let h be 3/y - (-30)/24. Suppose h*t - 13 - 35 = 0. Solve -5*j - t = -3*p, -7 = p + 3*j - 1 for p.
3
Suppose 8*a - 53 = -13. Solve 4*n = 3*n + l - 6, -4*n + a*l = 26 for n.
-4
Let k be (14 - 16)*(-1 - 0). Solve -h = k*z + 2*h, -h = -4*z for z.
0
Let k = -3362 - -3366. Let x be (-6)/9 - 14/(-3). Solve o = -3*c - k, -2 = -2*c - x for o.
-1
Let v = -124 + 126. Solve -4*k - 10 = v*i, 5*k - 4*i = 2*k - 13 for k.
-3
Let g be -2 + (-18)/14 + (-4)/(-14). Let w be 40/16*4/(-5) - g. Solve 4*z = m - 2, m = z - w - 0 for z.
-1
Suppose -15*h + 10 = -14*h. Let d(j) = j**2 - 9*j - 6. Let t be d(h). Suppose 3*u + t*g = 23, -5*u - g = -2*g. Solve 5*a + 2*b - 4 = -1, 2*b + u = -a for a.
1
Let h be (-3)/18*3*-16. Suppose h*d = 5*d + 15. Solve 5*j + d*m + 2 + 13 = 0, -16 = -3*j + 2*m for j.
2
Suppose 0 = -15*x - 38*x. Solve -u - 5*p + 29 = x, -23 + 7 = u - 4*p for u.
4
Let a be (-3)/(-18) - 1/6. Solve 4*i + 12 = -5*g, -i + a*g = 4*g + 3 for i.
-3
Let x be (-3)/5 + 292/20. Suppose -m = -4*b + 2*m + x, m = -2*b + 2. Solve 3 = 3*u - 4*r - 11, 5*u + 20 = -b*r for u.
-2
Let b(z) = -z**2 - 7 - 2*z**2 - 99*z + 103*z + z**3. Let o be b(3). Solve 0 = o*x - 9*x - j - 25, 5*j = 5*x for x.
-5
Suppose n = -1, 35 = 4*m - n - 90. Solve 0 = 2*v - 5*i + m, 2*v - 2*i + 12 + 4 = 0 for v.
-3
Suppose 11 = -4*k + 5*x + 33, 5*k - 36 = 2*x. Let m be (1/(-2))/((-9)/k - -1). Solve 0*c + 16 = 3*c - m*d, 2*c + 4*d = -16 for c.
0
Suppose 3*n = 4*k + 18, -2*n = 5*k + 15 - 4. Suppose 79 = 4*r - v, -2*v = -n*r - 3*v + 35. Solve -h = j + 6, -4*j + 4*h - r = 7*h for j.
-1
Suppose -b - 13 = -1. Let l = -501 - -503. Let v be (b/21)/(l/(-7)). Solve -3*z - 3*c = -21, -4*z - v*c + 0*c = -20 for z.
3
Let d = 454 - 452. Solve 20 = 5*x, 5*r + 5*x - 2 = d*x for r.
-2
Let g = 294 + -292. Solve 1 - 2 = -2*h + w, 0 = 3*h + g*w + 2 for h.
0
Let b(c) = -c**2 - 5*c - 2. Let u be b(-3). Let k be -6*(6 - 3 - u). Let o = k - 1. Solve 2*p + 4 = -g - o, 4*g + 1 = -p for p.
-5
Let r = 247 - 244. Solve 2*g + 16 = 4*a, 2*g + r*a = 7 - 2 for g.
-2
Suppose -276 = -3*k - 267. Suppose -14 = -3*m - 2*s, 3*m - 26 = 5*s - 10*s. Suppose 0 = -m*p - p. Solve -y = -g - 6 - p, k*g = -y - 10 for g.
-4
Let j(u) be the third derivative of u**5/60 - 3*u**4/8 - 10*u**3/3 + 15*u**2. Let z be j(11). Solve -6 = 3*m, -z*m = -3*p + m + 3 for p.
-1
Suppose 8*t + 69 = 4*z + 11*t, -5*t - 25 = 0. Solve w + 10*v - 6*v = z, 0 = -4*w + 2*v - 6 for w.
1
Suppose 9*d = -4*d + 65. Solve -5*m = -3*m - d*p + 15, -22 = 4*m - 2*p for m.
-5
Suppose 2*o = -5*c - 69 + 18, 0 = -o - 4*c - 30. Let z be (2/6)/(o/(-54)). Let s = -1 + z. Solve s = -5*p - 4*n + n + 20, 5*p - 3*n - 20 = 0 for p.
4
Let d(o) be the second derivative of -o**5/20 + 25*o**4/12 - 23*o**3/6 - 11*o**2 - 12*o. Let v be d(24). Solve 0*m + 5*g = m - 2, -4 = -v*m + 2*g for m.
2
Suppose -14*t + 1 = -69. Solve -2*s - r + 8 = 0, -t*r + 10 = -10*s + 5*s for s.
2
Suppose 4*l + 4 = 4*s, 0 = -2*l + 1 + 3. Suppose -s*k = k - 20, 4*q - 22 = -2*k. Solve -q*f - 2*f - 4*t = -25, 4*f - 2*t - 20 = 0 for f.
5
Let t be (10 - (19 - 9))/(1 - 2). Solve h - 2*a = -t*a - 11, 23 = 2*h + 5*a for h.
-1
Suppose 5*m = j - 22, 0 = -4*j - 3*m + 7*m + 56. Solve 3*h - 14 = 2*i - 4*i, 0 = -4*h + 4*i + j for h.
4
Let v(m) be the first derivative of m**3/3 + 9*m**2/2 - 29*m + 18. Let o be v(-12). Solve x + 1 = 0, -2*s = -x - 2*x + o for s.
-5
Let r be ((-36)/(-8))/((-15)/(-30)). Solve -r = 3*h - 4*j, -5*h + j - 15 = 3*j for h.
-3
Let n be ((-9)/4)/((-6)/(-32)). Let f = 12 + n. Suppose f*s - 12 = -3*s. Solve -5*q = -3*t - 6, -t + 3*t = -s for q.
0
Let v(o) = -o**2 - 4*o + 6. Let g be v(0). Solve -2*a - 3*w = -2*w - g, -5*a = 3*w - 13 for a.
5
Suppose 3*p - 9 = -0*p. Suppose 4 = -i + p*i. Let j be 1/1 - (-3 + i). Solve t - 5 = 3*v + 8, 2*v - j*t = -10 for v.
-4
Let m(v) = -23*v - 1. Let k be m(-1). Suppose 3*s - k = -y + 2*s, 3*y - 5*s - 26 = 0. Solve -4*q + z = -z + 14, 4*q + y = z for q.
-5
Let u(c) = -c**3 + 5*c**2 + 9*c - 8. Let w be u(6). Let j = 17 - w. Let d(k) = 3*k + 1. Let r be d(j). Solve 2*o + r = 4*n, -o + 9 = -4*n + 28 for n.
4
Let i(k) = k**2 - 3*k**2 + 74*k - 62*k - 10. Let b be i(5). Solve 0 = -3*p + 6, -p + b = m + 1 for m.
-3
Let l = -3 - -19. Suppose 0 = s - 3*j + 3 + 1, -3*j = 5*s - l. Solve -6*f + 3*f - z = -4, -5*z + s = -3*f for f.
1
Suppose -9*m = -13*m + 8. Suppose 0*z - m*p = -3*z + 6, -3*p + 21 = 3*z. Solve 2*b - 21 = -3*t, -t = -2*b - 3 + z for t.
5
Let c(p) be the first derivative of -3*p**2/2 - 15*p + 3. Let h be c(-7). Suppose -12 = -h*v + 18. Solve -4*m + y = v*y - 20, -17 = -m - 5*y for m.
2
Let w be (6 - 3) + (12 - -1). Let b 