.
-5
Let d(k) = k - 4*k**3 + 3*k**3 + k**2 + 2 + 2*k**3. Let f be d(0). Let m be f/3 + (-76)/(-3). Solve -3*w + 4*y + 0*y + m = 0, -4*y - 24 = -2*w for w.
2
Let d = -17 - -19. Solve 4*k + 24 = 5*x, -d*k = 4 - 2 for x.
4
Let z = -19 - -35. Let t = 9 - 5. Solve -3*j + 3*h = 0, 6*j + t*h = 2*j + z for j.
2
Let i be (-3)/(-9) + 24/9. Solve 4 = -w - i*p + 9, 5*w = 4*p - 32 for w.
-4
Let v(u) = -u**3 - 6*u**2 - 2*u + 4. Let g be v(-6). Let p = g - 4. Let w(y) = y + 3. Let f be w(-1). Solve -f*i - 2*i + p = 5*t, i - 3 = 3*t for t.
0
Let w = -6 + 11. Suppose -w*j - 10 = 10. Let o be (8/(-6))/(j/6). Solve -4*g = -2*f - 2, 2 = -g + 5*f - o for g.
1
Let s be 6/30 + 11/(-5). Let w(v) = 2*v - 3*v - v**3 + 0*v**3 - 2 - 2*v**2. Let j be w(s). Solve -4*t + 5*l + 13 = 0, j = -5*t - 4*l + 5 + 1 for t.
2
Let m = 3 + -5. Let f = 4 + m. Let y be (0 - 1)*(2 + -5). Solve -r - y*r = -5*n - 19, -8 = -2*r + f*n for r.
1
Suppose 0 = -4*b - 3*n - 2*n + 40, -4*b + 3*n + 8 = 0. Solve -5*i - r = 0, -4*i = -b*r + 2*r for i.
0
Let i = 10 + -8. Solve i*q + 12 = 5*u, 2*u + 4*q - 24 = -0*q for u.
4
Let d = 20 + -10. Let v = d - 3. Let u = v - 1. Solve p + u*n - 2*n = -8, 2*p - 4*n - 20 = 0 for p.
4
Let m be 7 + 8 + 0 + 2. Suppose 5*z - 9*z = -12. Solve 2*k - m = -0*n + z*n, k + 2*n = -2 for k.
4
Let y = 15 - 12. Let g(a) = a**2 + 3*a - 2. Let q be g(2). Suppose 3*k - q = -k. Solve i = -y*l + 13, l - k*i = -1 + 10 for l.
5
Suppose r + 5 = -2*u, 2*u - 20 = 5*u + 4*r. Let w = -11 + 13. Suppose w*i + u = 4. Solve 0*z = -4*b + 2*z + 14, -4*z - 8 = i*b for b.
2
Let i be (-6 - -3) + (-28)/(-4). Solve -3*j + 0*r - 2*r = i, -r + 1 = 0 for j.
-2
Let z = -43 - -45. Solve 2*m = 2*p + z, -4*m - 2*p - 1 = -p for m.
0
Suppose -8 = -5*a - 2*d, d - 2 = -2*a - d. Suppose c = x, -5*x - 9 = 3*c - 49. Solve -a*n = 2*n + 2*o, 2*n + 12 = x*o for n.
-1
Let z = 0 + 2. Suppose 5*a + 7 = -u - 2*u, -3*a + 4*u = -19. Let t be 2 + (-3)/3 - a. Solve z*c - 22 = -4*x - 0*x, -c + 2*x - 9 = t for c.
1
Let m = 20 - 18. Suppose -j - j = -m*x, -15 = -5*x. Solve -4*u + 2*u + 2 = 0, -j*u + 3 = 5*a for a.
0
Suppose 2*v - 5*v = 0. Let j(r) = -3 + 2*r + 0 + v*r. Let z be j(3). Solve -4*k + 32 = z*w, -w + 5 = -6*w + 5*k for w.
4
Suppose 5*x - 4*c + 8*c = 26, 20 = 5*c. Solve -5*j + 18 = 2*o, 19 = -x*o + 5*j - 3 for o.
-1
Suppose 2*y - 5*o - 34 = 0, -5*y + o + 55 + 30 = 0. Solve -3*x + 2 = -2*w - 7, 5*x - 4*w = y for x.
1
Suppose 3*w = w. Solve -5*l - 1 = n + 3, -n + 3*l - 4 = w for n.
-4
Suppose -5*x + 15 = 0, 17 = -2*s - 4*x - 1. Let n = 18 + s. Solve -5*r - 27 = -r + 3*z, -29 = n*r + 4*z for r.
-3
Suppose -5*u - 4*u + 27 = 0. Let w(f) = f**2 + 2 + 1 - 4 + 5*f. Let t be w(-6). Solve -j - 3 = -2*l, -u*j + t = 2*j for l.
2
Let h(s) = 2*s**2 - 13*s - 1. Let u be h(7). Solve 0 = 5*x + l + u, 3*x + 5 = -5*l - 3 for x.
-1
Suppose -h - 4*u = -19, -2*h + 28 = 2*h + 4*u. Let k be (-10)/h*(-6)/5. Solve -t - 2 = r, 0*t - t - 17 = k*r for r.
-5
Suppose 5*n - 5*c - 9 = 11, -7 = -4*n - 5*c. Let t = -8 - -12. Let f be ((-35)/4)/((-1)/t). Solve -s + n*b - f = -5*s, -3*b = -15 for s.
5
Let r(v) = 3*v - 37. Let s be r(14). Solve -4*t + 20 = s*j - 0*j, j + t - 5 = 0 for j.
0
Let l be 14/3*(-5 - -2). Let a = 25 + l. Solve -5*i - a = 2*v, -v + 4 = -2*v - i for v.
-3
Let y = 1 + 2. Suppose -3 = -3*u - y*d, -2*u = -3*u - 4*d - 11. Let p be (-6)/5*(0 - u). Solve -p = -2*z + r, 0 = z - 3*z - 2*r + 12 for z.
4
Let b be 1*6/4*(-24)/(-9). Solve b = -4*s, 8*x - 5*s = 3*x + 10 for x.
1
Suppose n - 1 = 0, 0*n - 133 = -5*v + 2*n. Let z be v/6*(-8)/(-6). Let d be 8/5 + 2/5. Solve 2*x - 22 = -4*f, -4*x + 4*f + z + d = 0 for x.
5
Suppose 20*z - 15*z - 15 = 0. Solve 0 = 3*h + 12, 4*h + 2 = i + z*h for i.
-2
Let n be (-2)/(-9) - (-34)/9. Suppose -5*v + 3*g = 27, v - 17 = 3*g - 8*g. Let r be (-1)/((v/15)/1). Solve -2*q = r*d, -q + 13 = n*d - 8*d for q.
5
Let i(z) = z**2 + 10*z - 4. Let s be i(-9). Let a = s - -18. Solve 4*u + 15 = o, a*o - 4*u + 20 = -3*u for o.
-5
Let u(r) = r**2 + 13*r + 9. Let x be u(-11). Let l = -11 - x. Solve l*f + 3*f - 5*y = 30, 5*f - 29 = 4*y for f.
5
Let l be (-2)/(-7) + (-18)/14. Let k be (3 + l)*-1 - -2. Suppose w + k*y = 4*y + 23, -4*y = -3*w + 29. Solve 2*g + 2*f - 8 = 0, -4*g + f - 4 = -w*g for g.
0
Let w be (-2)/4*(-2 + 2). Let k = -1 - w. Let y be (-3)/k - -2*1. Solve -4*o + y*a - 26 = 0, -4*o - 9 = -2*a + 11 for o.
-4
Let r(j) = -j**2 + 7*j - 2. Let c be r(6). Let i(o) = o**3 - 7*o**2 + 7*o - 1. Let d be i(6). Let b = d + -1. Solve -5*w = -2*v + 2, -b*w - w + 4 = c*v for w.
0
Let s(a) = a**3 - 17*a**2 - 43*a + 103. Let o be s(19). Suppose -4*z = -20, -2*z = -4*c + z - 15. Solve c = 4*d - o, 2*r + 2*r = 5*d - 10 for r.
0
Suppose s - 12 = -2*s. Let a be ((-2)/(-6))/(5/15). Let j = 2 - a. Solve s*v + 3*p = 0, v + j = -p + 2 for v.
-3
Suppose -6 = -2*t - b + 3, -5*t + 30 = 5*b. Let a(l) = l. Let p be a(-5). Let m be (18/15)/((-1)/p). Solve 3*d = -w + d, -t*d - m = 0 for w.
4
Suppose 70 = 3*z - 11. Let m = -22 + z. Solve -m*f = -4*f - 4*k + 17, -3*f + 5*k - 16 = 0 for f.
3
Suppose -3 = 3*o - 3*v + 3, v + 4 = -5*o. Let y(q) = 3*q**2 - 1. Let z be y(o). Let f = 12 - 9. Solve -z*t - 3 = -f*p, -3 = -p - t + 3 for p.
3
Let l be (-36)/(-24)*(-20)/3. Let i(u) = u**3 + 10*u**2 + u + 10. Let y be i(l). Solve y = -4*s + 5*m - 29, -s + 2*s + 11 = 2*m for s.
-1
Suppose 0*x - 4*x = -8. Let u(d) = 2*d**3 + 2*d. Let q be u(x). Solve -5*j - a - 22 = 0, a - q = 4*j + 3*a for j.
-4
Let o(c) = -6*c + 5. Let y be o(2). Let p(u) = -u**2 - 6*u + 10. Let f be p(y). Solve 4*x = -3*v - 16, 4*x - 11 = 3*v + f*x for v.
-4
Let w(f) = -f. Let b be w(-13). Let x = 21 - b. Solve 2*y + x = -2*n, 2*n + 0 - 4 = 4*y for y.
-2
Suppose -3 = -5*b + 3*r + 32, -5*r = -5*b + 45. Suppose a - 2*d = 17, -19 = 3*d - b. Suppose -4*f - a = -23. Solve 12 = 3*h, -13 = -f*y + y - h for y.
3
Let s be (1 + -1)*(-15)/(-30). Solve s = -2*h + 2*o + 3*o + 17, 0 = -4*h + 4*o + 4 for h.
-4
Let r(i) = -i**2 + 8*i - 5. Let q be r(7). Solve -5*s - 3*f - 5 = -f, -q*s - f - 3 = 0 for s.
1
Suppose 5*m = 3*b - 33 - 32, m = 4*b - 81. Solve -4*o = b, i + 5*o - 3*o + 6 = 0 for i.
4
Suppose 0*g - 2*g - 196 = -4*n, -310 = 3*g - 2*n. Let m = 211 + g. Suppose s - m = -2*s + 3*d, -16 = 4*d. Solve -5*v - 3*p + 6*p - s = 0, 11 = -3*v - 2*p for v.
-5
Let r be 10/((-1)/(-1) + 1). Suppose 0 = r*h - 7 - 18. Solve h*t - 3*b = -24, 2*t - b + 4 = -5 for t.
-3
Suppose 6 + 9 = 3*j. Let f(c) be the second derivative of c**5/20 - c**4/3 + c**3/6 - 5*c**2/2 - 3*c. Let o be f(j). Solve 2*r = 5*a + 54 - 23, o = -5*a for r.
3
Let t be (-20)/(-4)*(0 + 1). Let n = -9 - -13. Suppose -f = n*f - 25. Solve -f*j - 2 = 4*q + 7, 0 = -4*q + t*j + 41 for q.
4
Let k(y) be the first derivative of -y**2/2 + 8*y + 1. Let s be k(8). Solve 3*v - 6 = 3*p, 5*v - 8 = -s*p + 3*p for v.
1
Let m = -14 + 17. Solve x + 1 = -m*z, -z + 0 = -2*x + 12 for x.
5
Let r = 54 + -47. Solve 3*i = -l - r, 1 = -i - l - 2 for i.
-2
Suppose -z + 3 = -2. Suppose z*t - 5 = 5. Solve -t*h + 3*r - 8 = 2*h, -6 = -2*h - r for h.
1
Let h(q) = q + 24. Let t be h(-12). Solve -5*k = -3 - t, -5*k = 4*y - 35 for y.
5
Suppose -n = -8 + 3. Solve -g = -2*l - 11, g = -2*l + n*g - 26 for l.
-3
Let h be 2*1 - (-14)/(-7). Suppose h = 5*k - 2*k. Solve -4*r - 10 = 2*w, 4*r + 5*w + 13 = -k*w for r.
-2
Suppose -8 = -3*w + 1. Solve 0 = 5*i + 2*m - 7, -m = -4*i + w*m for i.
1
Let x(o) = o**2 - 9*o - 44. Let t be x(13). Solve -5*v - 2*y = 12, 3*v - t*v - 40 = -5*y for v.
-4
Suppose 3*y = 2*y + 12. Let h be y/(-8)*1*-2. Solve 5*w + k + 9 = 0, 4 + 1 = -h*w - k for w.
-2
Let u = -5 - -8. Suppose -3*y + 4*v + 6 = -10, u*y = 5*v + 11. Suppose r + 2*r = y. Solve -4*k - 24 = 3*g, -k - 2*k = r*g + 25 for k.
-3
Let v(c) = c**2 - c - 3. Let i be v(3). Solve -3 + 12 = 3*m, -i*n = 2*m - 9 for n.
1
Suppose 2*t - t = 24. Suppose 5 = 3*i + x - 0*x, -4*i = -3*x - t. Solve -2*m - 5 = -y - 4, 4*y - 15 = -i*m for y.
3
Let y be (-10 - -2) + 5 - -5. Solve -n - y*n = -2*t - 8, 4*t - 28 = -5*n for t.
2
Suppose -w - 3*w = 4, 5*h = -4*w + 46. Solve -8 = 2*j + 5*l, 5*j = 3*l + h + 1 for j.
1
Suppose 0*m = -5*m. Solve -5*k - 3 = t, 2*k + k = m for t.
-3
Suppose -28 = -a - 2*r - 3*r, -r = -a - 2. Solve -2*k = a*h - 6*k + 7, -k = -2*h - 8 for h.
-5
Suppose m = 4*h - 2*m - 12, 9 = 3*h + m. Solve 2*j - 3 = h*