(y) = -y**3 - 3. Let t be r(0). Suppose 0 = -4*b - 14 + 6. Let l = b - t. Solve -f = -0*f + d + l, 3*f - 5*d = -3 for f.
-1
Suppose -12 = -0*j - j. Let i(t) = 2*t + 22. Let q be i(-10). Suppose -5*m + 5*u - 13 = 12, -10 = m - q*u. Solve -3*b + j = 5*o - m, 2*b + o - 8 = 0 for b.
4
Suppose 0*x = -2*x - 2. Let u be (-1)/((-1)/1) + x. Suppose 6*l = l - 3*f + 1, u = 3*l - 3*f - 15. Solve -4*c - 4*t - 8 = t, -l*t + 10 = -5*c for c.
-2
Let a be -2*((-15)/6 + 2). Let f be (a + (0 - 4))/(-1). Let z = 6 + -4. Solve -w - 14 = 3*w + t, f*w + z = -5*t for w.
-4
Let c(j) = -j**3 - 4*j**2 + 3*j - 7. Let d be c(-5). Let i be d/(-6)*8/(-2). Solve 0 = 2*y + 5*v + 21 + 3, -i = 5*y - 2*v for y.
-2
Let f = 39 + -36. Solve -2*l + 3*l - c = 2, 0 = f*l - 4*c - 8 for l.
0
Let p = -1 + -2. Let m(s) = -s - 3. Let q be m(p). Solve -j = -q*j - 5*n + 14, 2*n - 9 = -3*j for j.
1
Let u = 11 - 8. Let x = -5 - -7. Suppose x*z + 7 = 5*o, 4*z - z = -o + 15. Solve 2*v - d = -2, -1 = u*v - 2*d + z for v.
1
Let w(p) = -p**2 - 10*p + 2. Let u be w(-9). Let c = 15 - u. Solve -3*x = -c*k, -19 = x + 2*k + 3*k for x.
-4
Suppose 0*g = -5*g + 2*y + 14, 2*g + 4 = -4*y. Suppose s - g*q - 13 = 0, 0*q - q = -5*s + 74. Solve 5*j - s - 11 = -3*l, -5*j = 2*l - 24 for l.
2
Suppose 0 = -3*b + 7*b - 40. Solve -5*q = -2*m - b*q + 33, 25 = 5*m + q for m.
4
Let q be 1/(-2)*(-66)/11. Solve 4*o + q*j - 4 = 0, -3*o + 4*j - 2 + 30 = 0 for o.
4
Let m(o) = -o**2 - 3*o - 2. Let h be m(-2). Let k = 144 - 142. Suppose -6*i + k*i = h. Solve 5*p - 5 = -0*s + 3*s, -3*p + 4*s + 14 = i for p.
-2
Suppose 0 = 4*r - 22 - 22. Let f = 26 - r. Let v be (-2 - f/(-6))*4. Solve -9 = c - v*b, 3*b - 20 = -b for c.
1
Suppose -2*g + 7 = -0*g + u, -3*u = -g + 7. Let p be (-2)/4*(g + -46). Let t be 1/(((-1)/(-21))/1). Solve -5*w - 4*m = -p, -w + 2*w + 5*m - t = 0 for w.
1
Let p = -4 + 5. Solve 2*r + 2 = -o, 28 = -5*r + 3*o + p for r.
-3
Suppose 5 = -3*y + 14. Let n be (-6*(-3)/6)/1. Solve n*k + 3*j - 12 = 0, -10 - y = -3*k - 2*j for k.
5
Suppose -2*h = 2*h - 16. Solve h*r = p - 5*p, 2*r + 3*p = 3 for r.
-3
Let a be 92/12*3/1. Solve -4*n = -3 + a, -4*j + 3*n = -19 for j.
1
Let h(p) = p**2. Let v be h(3). Let u be 0*((-20)/(-12))/5. Suppose u = 4*k + 3*n + 1, 2*n - 1 = -2*k + n. Solve -k*f + d + 3*d = 24, 2*f + v = d for f.
-2
Let k(a) = a**3 - 6*a**2 - 1. Let t be k(6). Let m be (3 + -2)/(t/9). Let f = m - -12. Solve h + 7 = 4*s, 2*s - f = s for h.
5
Let m(s) = -s**2 - 12*s - 15. Let u be m(-10). Solve 3*w = -4*j, u*w - 4*j - 16 = 16 for w.
4
Let h = 15 - 13. Suppose 0 = 4*u - h*u - 6. Solve -1 = 4*j + 3*k, -3*k + 27 = -u*j - 0*j for j.
-4
Suppose 2*b - b = 35. Solve -2*r + 9 = 4*n + 39, -2*r - b = 5*n for r.
-5
Let r(n) be the third derivative of -n**5/60 + n**4/24 + n**3/3 - 3*n**2. Let w be r(0). Suppose w*c = -0*c + 6. Solve -c*q - 12 = 0, -5*k = -2*q + 1 + 6 for k.
-3
Let w = 4 - 1. Suppose 0*v - 2*v = 0. Suppose w = -v*d + d. Solve g + 4*a + 6 = 0, 2*g + d*a + 5 = g for g.
-2
Let v(i) = 11*i - 3. Let m be v(1). Solve -m*b + 3*b + 5*a - 30 = 0, -4*b + 1 = a for b.
-1
Let s(q) = q + 19. Let g be s(-15). Solve -9 = -3*m + 3*x, -14 = g*x - 6 for m.
1
Suppose 0 = -3*k + 15, -5*o = 5*k + 4 + 1. Let l be (-51)/(-1)*(-2)/o. Solve -4*x - x + 19 = g, -4*x = -g - l for x.
4
Let r(v) = 4*v + 1. Let y be r(1). Let n = 11 + -9. Solve 0 = y*g + 4*q - 1, 5*g - n*q + 5*q - 2 = 0 for g.
1
Suppose 2*f - 50 = l + l, 3*l - 5 = -f. Let v = f - 15. Suppose -5*z = -4*c, -10 = -0*c + 2*c - 5*z. Solve 3*n + t = 2 + c, n - v*t = 13 for n.
3
Let x(n) = -n**3 - 6*n**2 + 5*n - 9. Let a(r) = -r**2 + 7*r + 1. Let g be a(8). Let j be x(g). Solve 5*d - j*i = -25, d - 2*i - 3 + 13 = 0 for d.
0
Suppose 0 = 4*k + k + 2*r - 159, k = -r + 33. Solve 3*q - 5*q - 5*m - k = 0, 4*q = 2*m - 2 for q.
-3
Suppose 4*f = y + 32, 0*y + 5*y = -f - 13. Suppose -f = -2*n + 1. Solve t - 20 = 5*t + d, n*d = 4*t + 20 for t.
-5
Let r be 3*-1*(-1 - 0). Let v be 19 - (4/2 + -1). Let t = v + -11. Solve -5*k - 3*p - 3 = 0, -4*k + 4 = t*p - r*p for k.
-3
Let p(k) = k**2 + 1. Let j = 6 + -7. Let w be p(j). Let b be (2 - 1)*2*1. Solve -v - 20 = 6*f - f, b*f + w*v + 16 = 0 for f.
-3
Let g be 1 + (-16)/14 + (-828)/(-161). Solve 14 = 5*t + 5*b - 2*b, 5*b - 10 = g*t for t.
1
Suppose 12*x - 60 = 6*x. Solve 0 = 3*w - 0*w - 4*b - x, 4*b + 16 = 0 for w.
-2
Let k(z) = z - 4*z - 21 + 2*z + z**2. Let w be k(0). Let g be 2/7 + (-78)/w. Solve 2*i - g = 0, 4*i - i = -2*v for v.
-3
Suppose 0 = -2*v - b + 4*b - 26, 3*v = 4*b - 37. Let d be 0 + 0 + (-3 - v). Solve 0 = d*r + 8, 4*i + 2*r = i - 13 for i.
-3
Suppose 4*j = -2*m - 4, -2*m - 3*j = -2 + 3. Suppose k + m - 9 = 5*x, 4*x = 5*k - 25. Suppose 4*a - 8*a = 0. Solve k*b - 5 = 4*s + 2*b, a = 4*s - 4*b + 8 for s.
1
Let d = -1035 - -1040. Let f be (-3)/(-12) - (-38)/8. Solve d*p = 0, 0*r - p + f = 5*r for r.
1
Let m = 7 + 15. Solve -3*h - 14 = -c, -2*h + 5*h + m = 5*c for c.
2
Let g be (-9 - -2)*(-2 - -1). Let m = -4 + g. Solve -o + 16 + 2 = m*c, -14 = 2*o - 4*c for o.
3
Let x = 66 + -66. Solve 4*n + 4*h = -x*n, 2*n = -h - 2 for n.
-2
Let l be -4*((-3)/2 + 1). Suppose -3*z + 2*z - 4*g = 0, -z = -l*g. Suppose -4*k - 70 + 182 = z. Solve -f = -2, 2*f = -4*b - 2*f + k for b.
5
Let h(s) = s**3 - 5*s**2 - 7*s + 4. Let k be h(6). Let n = k + -1. Let a = 3 + n. Solve c - 5 = -t, a*t - 3*t + 3 = -c for t.
2
Suppose 4 = 2*n - 4. Solve -2*g + n*y + 8 = 0, 2*g - 4*y + 3*y - 8 = 0 for g.
4
Suppose 4*m - 14 = 6. Solve 5*w = m*c - 50, 3*c + 4*w + 3 + 2 = 0 for c.
5
Suppose 3*v = -2*b + 29, -2*v + b = -0*v - 31. Suppose 0*m + 9 = m - 2*t, -3*m = t - v. Suppose -m*n + 12 = 2. Solve 5*i + n*p = -0*p - 9, 5*i = -p - 12 for i.
-3
Suppose f + 4 = b, 5*f + 4*b = -0*b + 25. Suppose 4 = 5*a - f. Suppose 3*h - a = 11. Solve 2*l + 16 = h*z - 6, -2*l - 27 = -5*z for l.
-1
Suppose 2*k + 4*w = 36, -2*k - 109 = -5*k + 5*w. Let f = 44 - k. Solve -11 + 0 = -3*a + 2*t, -4*a - 5*t = f for a.
1
Let j(q) = -q**3 - 10*q**2 + q + 12. Let p be j(-10). Solve 3*m - 27 = -2*m - v, -v + p = 0 for m.
5
Let z = 51 - 48. Solve 4*o + 4 = 0, 4*o + 2 = -z*i + 2*i for i.
2
Let m = 27 + -23. Solve 5*f = m*i + 5, i + 4*f = 6*i + 13 for i.
-5
Let a be (2 + 0/3)*(-1 + 5). Solve 2*u - 4*m = -14, -4*u + 2*m - a = 8 for u.
-3
Suppose 0 = d - 2*d. Suppose d = -2*x + 6*s - 3*s + 31, -2*x - 4 = 4*s. Solve 3*l = 5*y + 11, -5*y - 3*l = 21 + x for y.
-4
Suppose x - 3 = 1. Solve -x*f - 14 = -3*b - 2, -4*b + 2*f = -6 for b.
0
Let z(u) = -2*u - 4. Let n be z(-3). Suppose -6 = -0*a - a. Suppose a*j - 4*j = n. Solve -3*o - 3*m = -j + 7, 5 = -4*o - m for o.
-1
Let a = 3 - 1. Solve a*r + w + 3*w = -18, -5 = w for r.
1
Suppose -3*f = 5*v, -4*v = -26 + 38. Let a(w) = -2*w**2 + 6*w - 3*w + 3*w**2. Let l be a(-4). Solve f*k + 1 = -l*h, 4*h + 3 = -3*k - 4 for h.
-4
Suppose -4*p + b = 6*b - 20, -5 = -p - 5*b. Solve -17 = p*v + f, v + v = -2*f - 10 for v.
-3
Suppose -16 = -n + 5*s, -4*n + 0 = -s - 7. Solve -3*i + 2*b - 2 = -0, -2*i = -b + n for i.
0
Suppose 0 = 2*j - 0 - 12. Solve -v + 4*b - 14 = 0, v - 4*b = 4*v - j for v.
-2
Let b(u) = u**3 + 7*u**2 + 5*u - 2. Let o = -17 - -11. Let k be b(o). Solve t + 5*m = -0*t + 2, 0 = -3*t - k*m + 6 for t.
2
Let n be 0*(-1)/(-2)*1. Let q(s) = -5 + s - s**2 + n*s - 7*s. Let y be q(-5). Solve -3*v = 3*i - y*v, 3*v = 6 for i.
-2
Let d(b) = b**2 + 3*b - 14. Let f be d(-6). Solve -4*t = -4*s - 0 - 4, t = f*s + 10 for t.
-2
Let i(t) = -t**3 + t**2 - 2. Let g be i(-2). Let b = g + -6. Suppose 5*y = 3*d + 30, -y = 2*y + b*d + 11. Solve 0*f - y*f + 12 = 5*l, 2*f = -4*l + 10 for l.
3
Let t(c) = c**2 - 4*c - 2. Let y be t(5). Suppose 2*l = 7 - y. Suppose 55 = l*p - 3*k, -k - k = -3*p + 70. Solve -3*d = 0, -p = -4*b - 2*d + 6*d for b.
5
Let j = 10 - 7. Let v = -10 - -15. Suppose -r + 2*k = 5, -j*r = -v*k + 2*k. Solve -23 = -5*t - 2*l, r = t + 3*l + 3 for t.
5
Let u(v) = -v**3 - 8*v**2 - 6*v + 1. Let g be u(-7). Let z = 15 + g. Solve 7*i + 27 = 3*i + 5*f, z = -i + 2*f for i.
-3
Let v = -2 + 2. Solve 3*p = 4*h + 27, v*p - 3*h + 6 = 3*p for p.
5
Let k(m) = 4*m**2 + m - 11. Let p be k(-3). Solve 3*i + 0*y - 17 = -5*y, -5*i - 2*y = -p for i.
4
Let c be -2*((-6)/(-4) + -2). Let b be (0 - c)*0/2. Solve b = p - 4, z - 2*p + 33 = -4*z for z.
-5
Let l(d) = 2*d + 2. Let w be l(-1). Let m = 3 - w. Solve -m*y 