Let i(u) be the first derivative of 2*u**3/3 - 2*u**2 - 1. Let x be i(v). Solve -2*a + x = -2*j - 0*a, -3*j - a = 8 for j.
-4
Let s = -8 + 0. Let r be 4/(-6)*(s + 2). Suppose -11 = -5*x + r. Solve -5*f - 3 = -3*p, x*p = 2*f + 2*p + 2 for f.
-3
Let o be 1*15/3 - (0 + 1). Solve 0*y - 2*y + 12 = o*t, 28 = 4*t - 2*y for t.
5
Suppose c - 15 + 6 = -5*w, 9 = 2*c + w. Solve 3*k - 21 = -3*x, 2*k - 1 = c*x + 1 for x.
2
Let p(i) = -2*i + 2. Let z be p(-3). Let g = z - -1. Solve 4 = 2*k - 4*s, 4*s = -4*k + g - 1 for k.
2
Let t be ((-2)/(-3))/((-2)/(-9)). Suppose -2*g - 2*x = 2*g - 10, -t*x - 35 = -4*g. Solve 0 = 2*y - 2*k - 8, g*y - k - 16 - 8 = 0 for y.
5
Let n(i) = i**3 - i**2 - i + 5. Let r be n(0). Suppose -a + 37 = k - 0*k, r*a = 5*k - 165. Solve 0*u = 5*b + 5*u + k, b - 23 = 5*u for b.
-2
Let s be -3*(-1 - 0) + 7. Solve 2*u = 2*j, s = 5*j + 35 for u.
-5
Suppose 4*x = 3*v - 10 - 0, -32 = -4*v - 4*x. Suppose v = 3*c - 0. Suppose -2*f + 5*n = -31, -2*n - n - 3 = 0. Solve 11 = -c*s + q, -3*q + 2 = 5*s + f for s.
-4
Let a = 6 - 2. Solve 19 = -3*k + 4*u, 0*k - a*u + 17 = -k for k.
-1
Let c be 1/(4 + 7/(-2)). Suppose 0 = p - 4*p + 36. Solve -p = -4*v - 4, v + 4 = -c*o for o.
-3
Let n(f) = f**2 - 5*f + 6. Let o be n(4). Let j be (7 - -8) + (-3)/(-1). Suppose z + j = 2*z. Solve 0*a - 4*a - k - 3 = 0, 0 = -4*a + o*k - z for a.
-2
Let y be 99/22 + (-3)/(-2) - 0. Solve d + 5*b = -6 - 12, 0 = d + b + y for d.
-3
Let i(p) = p**2 + 6*p + 10. Let c be i(-3). Solve -3*o - 2 = r, -c + 3 = o + 3*r for o.
-1
Let m be ((-6)/(-7))/((-51)/(-238)). Solve -t - 5 = 2*g, -m*t = -g - 27 + 2 for t.
5
Let w(q) = -2*q**2 + 14*q - 7. Let x be w(6). Solve d = x*g + 8, 2 = -5*g + 7*d - 3*d for g.
-2
Suppose -3*s = -5 - 1. Suppose -2*n + 4 = 2*g, n = -n - s. Solve j - g = u, 2*j = 4*j - u - 3 for j.
0
Suppose 3*o + 9 + 0 = 0, 5*t = -5*o - 15. Suppose 5*v - c - 7 = 6, -v + 5*c + 17 = t. Solve d - 2*z = -1, 7*d - 9 = v*d - 4*z for d.
1
Suppose 4*h - 6 + 34 = 0. Let s be (14/4)/h*-12. Let x be 2*(-3)/s - -8. Solve 3*z = 3*l + 5 + x, -5*l - 20 = -z for z.
0
Suppose -3*k + h - 3*h + 10 = 0, -3*k - 3*h + 12 = 0. Let z = 12 + -8. Suppose 3 = 4*u - 13. Solve 2*j - 3*v = -0*v + k, -z*j = 2*v - u for j.
1
Suppose -v + 4*r - 4 = 2*r, -15 = -5*r. Let g(z) = z + 9. Let p be g(-4). Let i = 9 + -4. Solve 3*m - i = -v*b, 2*m = -2*m - 5*b - p for m.
5
Suppose -k + t = -13, -3*t + 33 = 5*k - 4*k. Let i = -6 + 10. Suppose -3*p + 2*q + k = 0, -2*q - 2 = -p + i. Solve -8 = -5*o + 3*n, -3*n = p - 3 for o.
1
Suppose 0 = 5*i + 5*c - 5, 0*i + 16 = 2*i - 5*c. Solve -i*p + 0 + 6 = -o, 4*o = -p + 2 for p.
2
Suppose -12 = -2*r - 0. Let d = r - 3. Solve d*q + 2*o - 23 = 0, o + 3*o - 21 = -q for q.
5
Suppose 0*c = 2*c - 18. Let q = c + -5. Solve -4*j - 4 - 16 = -2*a, -8 = 4*a + q*j for a.
2
Suppose -w - 4*j + 6 = 50, -4*j = 5*w + 156. Let i be w/(-6) - 3/(-9). Suppose n - 18 = -i*g, n + 17 = 3*g + 3. Solve 9 = -3*d, 3*c + 2*d = g*d for c.
-2
Suppose d + 1 = -2*k + 5, -2*d = k - 2. Solve 0 = 5*j + 5*z - 5, d = 2*j - 0*z + 5*z + 7 for j.
4
Suppose -6 = -3*m - 3*x, 0 = 5*m + x - 2*x - 22. Solve -5*s - w + 10 = -m*w, -3*w + 15 = 0 for s.
5
Let y(r) = 6*r - 2. Let o be y(2). Suppose -3*t + 4*a + 39 = 0, -2*a - 67 + 5 = -4*t. Let j = t - o. Solve -3*b - 2*z = -j, 4*b + 7 = b + 5*z for b.
1
Let i be 2/6*(-1 + 1). Suppose 0 = -3*u + 2*x - i*x + 22, 5 = -x. Suppose 0*z + 77 = 3*z + 2*j, 3*z - j - 74 = 0. Solve 3*c = -2*a - 5, u*c + c + z = 5*a for a.
2
Let y(a) = a**2 + 8*a + 4. Let d be y(-8). Suppose -6*n + 5*n = -d. Solve 0 = 5*l - n*i - 16, -8*l + 23 = -3*l + 3*i for l.
4
Suppose -6 = -4*w - 6. Solve -4*r - j + w*j = 9, -5*j = 5*r + 15 for r.
-2
Let a(c) = -c**2 + c + 5. Let m be a(0). Suppose p - m*s + 21 = -p, 4*p - s = 3. Solve 4*r = 2*f + 30, 0 = f + 2*r - p - 3 for f.
-5
Let j(n) = 3*n**3 - 3*n**2 + n + 1. Let x be j(1). Suppose -2*s + 18 = -0*s. Solve -x*o + z - 8 = 0, 4*z - z - s = 3*o for o.
-5
Let p be (4 - 3)*-1 - -8. Suppose p*l - 9*l = -18. Let z(x) = -x + 4. Let r be z(4). Solve -5*o - 33 = j - 4, r = -4*j + 5*o + l for j.
-4
Suppose 5*o = 4*j + 43, 0*j - 5*j = -4*o + 38. Solve 3*d = -5*v + v + o, 0 = -v + 5*d - 27 for v.
-2
Let j be (0/2)/(3/(-1)). Suppose j = -4*h + 12 + 4. Solve -f + 2*q = 1 + 1, 0 = -2*f - 2*q - h for f.
-2
Let s be 18/(-4)*(-6)/9. Let u(d) = d**2 - 2*d - 1. Let o be u(3). Solve o*n + 13 = -4*p + p, -3*n = -p + s for n.
-2
Let c be (-10)/35 - 46/(-14). Suppose 6 = c*i - i. Solve 3*m + 3*h - 3 = 0, -6 + 23 = m - i*h for m.
5
Let u(n) = -n**3 - 8*n**2 - 7*n - 1. Let b be u(-7). Let q be (0/(-4 - -7))/b. Solve q = 4*h + k + 3*k - 36, 0 = 4*h + k - 21 for h.
4
Let c be ((-2)/(-4))/((-1)/(-64)). Suppose c = -4*g - 8. Let v be (12/g)/((-2)/15). Solve 3*r = -3*p - v, 2*p - 3*r = -7 - 4 for p.
-4
Let j be (5/4)/((-6)/(-24)). Suppose -2*g + 2*m = 4*m - 18, -3*g + j*m = 13. Solve -g*w = 2*d + 8, -4*d + 8 = -4*w - 0 for d.
0
Let f = 21 - 21. Solve -4*c + f*m - 2*m + 14 = 0, -3*c + 5*m = -4 for c.
3
Suppose o + 2*i - 104 = 0, i - 2*i - 203 = -2*o. Suppose r = -2*y + 14, 0 = -6*r + r - 2*y + o. Solve 3*l = 6*l - 5*v - 14, 5*l = -3*v - r for l.
-2
Let v(m) = 3*m - 1. Let t be v(1). Suppose -8 = -t*a, -5*y + 4*a = 20 - 4. Solve 2*x + 8 = y, 2*h + x = 4*h for h.
-2
Let c = -151 + 151. Solve -2*d + 4*f + 0*f = c, 0 = -3*f - 6 for d.
-4
Let t = -8 + 10. Suppose 5*x + 5*p = -5, 5*x - 1 = -t*p + 6. Solve x*g + 0*g - 5*z = -23, 4*z = 16 for g.
-1
Let c(n) = 2*n**2 + n + 1. Let j be c(1). Solve 2*i + j = 0, -4*i + 7*i = -5*f + 4 for f.
2
Let a be 3/(-2) - (-6)/4. Suppose a*c = 3*c. Solve 3*g - 12 = -4*w, c = -5*g + 2*w - 3*w + 3 for g.
0
Let i(o) = -3*o - 4. Let y be i(-3). Solve 3*m = 5*h + 12, -y*h - 3*m + 3 = 21 for h.
-3
Let v(p) = p**2 - 4*p. Let g be v(3). Let k(u) = -2*u - 4. Let c be k(g). Let f = 15 - 9. Solve w + c*y = f, -w + 4*y + 4 = w for w.
4
Suppose -4*j = -5 - 11. Let g(o) = -o**2 + 6*o - 3. Let q be g(j). Solve 17 = 5*h - l, -h - q*l = -l - 16 for h.
4
Let g = -10 - -14. Suppose g*t - 2*r - 2*r + 8 = 0, 0 = -4*t - 5*r + 37. Solve -t - 5 = v + q, -v - 4*q - 23 = 0 for v.
-3
Suppose 25 = 4*o - n, -2*o + 7 = 3*n + 2*n. Suppose 5*l + 5*v - 31 = 24, 0 = -4*l + 2*v + 14. Let z = l - o. Solve -3*i + 4*h + 2 = z, 3*i + 4*h + 12 = i for i.
-2
Let t be 184/(-44) - (-2)/11. Let x = t - -4. Suppose 0 = -3*r + q + 13, -3*r = -8*r + 4*q + 24. Solve 5*c - 4*y - 4 = 7, x = -r*c + y + 11 for c.
3
Let k = -8 - -8. Let a = 12 + k. Solve -4*g = -4*p - 16, a = -0*g + 3*g for p.
0
Let l = -62 - -65. Solve -3*m - 4*k + 14 = 1, -3 = -l*k for m.
3
Let k = -26 - -37. Solve 4*w + 9 = t - 0*w, k = 5*t - 3*w for t.
1
Suppose 35 = 2*d + 5*y, 0*y = -5*y + 25. Solve -d*x = 2*c - 0 - 6, -x + 6 = 2*c for c.
3
Let c(q) = -q**3 - 6*q**2 - 4*q - 4. Let n be c(-6). Let z be 3*(-4)/(-30)*(-50)/(-5). Solve z*o = 5*w, 4*o = -0*o - n for w.
-4
Let p(j) = j**2 + 6*j + 5. Let x be p(-5). Suppose 20 = -x*f + 4*f. Solve f*z - t + 0*t = -3, 1 = 3*z - 2*t for z.
-1
Let z be (22/33)/((-2)/(-9)). Solve 0 = -k + 2*k + 5*n - 22, -4*k = -z*n + 27 for k.
-3
Suppose 0 = -4*b + 17 - 5. Solve -b*v = -5*k + 16, 0 = 2*v + 5*k - 45 + 14 for v.
3
Let n(s) = 3*s + 1. Let g be n(-2). Let p = -5 - g. Solve 2*m + 4*x + 14 = 0, -5*m + p*x - 2*x - 19 = 0 for m.
-3
Let j(x) = 2*x**2 + 7*x + 7. Let g be j(-5). Let p = -19 + g. Solve z + z = -t + 1, -p*t - 5*z + 5 = 0 for t.
5
Let h(n) be the second derivative of -n**3/6 - n**2 - 3*n. Let c be h(-6). Solve 0 = 2*q + b, 5*q - 9 - c = 4*b for q.
1
Suppose 4 = -y - 4. Let r = y - -17. Solve 2*b = -v + 3 - 0, -5*b + r = 3*v for v.
3
Let b be 8/(-3) + (-4)/(-6). Let f be b/8 + 34/8. Solve c + f*g = 17, -c + 17 = 2*g + 6 for c.
5
Suppose -3*x + 49 = 28. Solve -2*i = 5*g + x + 1, -5*g - 12 = 3*i for g.
0
Let q be -5 + 14 + -2 + 5. Solve -q = -3*g, 2*t + t = g - 7 for t.
-1
Let j(s) = -4*s**3 - s**2. Let q be j(-1). Solve 4*g - x = 2*x + 8, 0 = -5*g - q*x + 10 for g.
2
Suppose 2*i - 8 = 4*r, 0*r + 2*r - 26 = -4*i. Solve 2*a + 7 = -5*h, -2*a + 5*h + 5 = i*h for a.
4
Suppose -y - 124 = -4*x - 3*y, -2*x = -3*y - 70. Let v = x - -9. Suppose -4*g - 7 = -o - 0, 0 = -2*o - g + v. Solve o = 2*m - 5*p, m = -4*m + 5*p + 10 for m.
-3
Let l be ((-2)/(-3))/(-3*(-2)/27). Solve -3*r = 5*w - 10, -l*r + 6 = w + 2*w for r.
0
Let