2*z + 2*s + 12, 3*z + 17 = -2*s for z.
-5
Let o(r) = -r**2 - 36*r - 33. Let j be o(-35). Solve x + 4 = 0, -2 = -j*z - 3*x + x for z.
5
Let r(o) = -o**2 - 9*o - 8. Let q be r(-8). Solve 0 = 2*w - y, -5*w + 0*y - 5*y + 15 = q for w.
1
Let q = 117 + -114. Solve -h - 5*m + 10 = 0, 5*h - q*h + 3*m = -1 for h.
-5
Let s(i) = 0*i**2 + 0 - 5 + 4*i + i**2. Let r be s(-5). Let q be ((-6)/10)/(3/(-15)). Solve 4*y = -5*c - 9, -q*y + 4*c = -r*c - 1 for y.
-1
Let k = 8 + -6. Let w be ((0 - 2) + k)/2. Solve w = 5*p + 3*b - 6 + 25, 2*p = b - 1 for p.
-2
Let u = 16 - 11. Solve 3*z = -3*h + u*z - 17, 5*h - 4*z = -29 for h.
-5
Let s(f) = -f**3 - 5*f**2 - 6*f - 2. Let g be s(-4). Solve -3 = -2*n + d, g = 5*n + 3*d - 4*d for n.
1
Let d be ((-9)/(-12))/((-1)/(-4)). Suppose -3*u - d*y = -21, 5 = 2*u + 5*y + 3. Solve 5*f - f - 6 = -2*l, 3*l + 4*f - u = 0 for l.
5
Suppose -2*m - 4*z = -8*z - 18, -2*m + 11 = 3*z. Solve 6 = -2*f, -f = -4*d - 4 + m for d.
0
Suppose 3*o - 5*o = -2*u, -4 = 3*o - 4*u. Solve -o*g - 44 = -5*a - 11, 2*a + g = 8 for a.
5
Suppose -4*b + 36 = -5*x, -4*x - 35 = -5*b + 1. Solve -5*f = z + 20, 2*z = f - z + b for f.
-4
Suppose c = 3*q - 18, -5*c - 4 = 5*q - 14. Solve -4*p + 16 = -n + 5, -2*n = q*p - 4 for n.
-3
Let s(t) = t**3 - 12*t**2 + 10*t + 11. Let c = 23 + -12. Let d be s(c). Solve 0 = 3*m - d*m + 3, 0 = -5*r - m - 6 for r.
-1
Suppose 3*c = 3*r + 8 + 1, -2*r + c - 1 = 0. Solve 3*w - 4*d + r + 1 = 0, -5*d = 4*w - 27 for w.
3
Suppose -41 = -5*g + 19. Suppose -3*a + 2 = -4. Solve 3*t + g = -3*l, l - a*t - 2 = -0*l for l.
-2
Let k = -2 + 2. Suppose -c + 5 + k = 0. Let w = 13 + 2. Solve -c*g - 4*b - 1 = -2*b, 5*g + w = 5*b for g.
-1
Suppose 2*z - 4*n = 12, -n = n + 2. Suppose -4*t = -0*t - 40. Solve 5*l - t = c, z*l + 0 = -c + 8 for l.
2
Suppose 2*q - 52 = -5*b - q, 3*b - 30 = -3*q. Solve 4*p - c + b = 1, 0 = -4*p - 2*c - 4 for p.
-2
Let l = -10 + 15. Solve -5*b + 4*b + 2 = -d, 0 = -5*b - l*d for b.
1
Suppose d + 5*d - 6 = 0. Solve -5*o - a = 5 - d, -5*a = -4*o - 9 for o.
-1
Let h(b) = -2*b - 4. Let w be 4 + 0/((-6)/(-3)). Let d be (-22)/w - 8/(-16). Let x be h(d). Solve -2*p - 2 = -y, 3*p - 19 = -x*y + 2*y for y.
4
Let x = -35 + 51. Solve -4 = -4*p - 5*i + x, 10 = 2*p + 2*i for p.
5
Suppose u - 2 = -g + 6, 0 = 3*g - 5*u - 56. Solve -4*c = 4*s - 2*c + g, -2 = -2*s + c for s.
-1
Let g be 6 - (0 + -1)/(-1). Let l be 1/((45/(-96))/(-15)). Solve 5*u = -2*h - 2*h - l, -15 = g*h for u.
-4
Let u(y) = -y**2 - 8*y - 5. Let a = -10 - 0. Let q be u(a). Let i be ((-20)/q)/((-2)/(-10)). Solve -4 = -3*f + 8, 18 = -2*w + i*f for w.
-1
Suppose 0 = 5*p + 40. Let c be (-9 - p) + 2*2. Solve 3*t - 4*t = v + 3, c*v = 3 for t.
-4
Let f = 6 - 4. Suppose 0*r - f = 2*u - 2*r, -4*r + 1 = -5*u. Suppose u*i - z - 44 = -0*z, -3*z = 6. Solve -d + 11 = -4*w, 5*d = -w - i - 15 for d.
-5
Let j = -43 - -48. Solve -5*u = j*z - 35, 5*z - 7 = -3*u + 22 for u.
3
Let f(j) = 2*j**3 + 10*j**2 - 2*j - 2. Let r be f(-5). Solve 4*l = 4*c - 28, -2*c - r*l + 4*l = 10 for c.
3
Suppose 120 = -0*c + 5*c. Suppose 0 = -2*y - 5*d - 1, -3*y + 0*y + 6 = 5*d. Suppose -3*h = -y*h + 20. Solve 18 = 2*x + h*l, 2*x = -2*x - 4*l + c for x.
4
Let l(j) = -j**3 + 2*j**2 + 3*j - 3. Let r be l(2). Suppose r*s - 4*s + 9 = 0. Let h be (-1 + 3 - -1) + 0. Solve 4*m + h*v - 1 = s, -v = 5*m - 7 for m.
1
Suppose -x - 12 = -4*x. Let m(o) = 6*o - 8. Let h be m(3). Solve 2*d + h = x*s, -25 + 10 = 2*d - 5*s for d.
5
Let h be 4/6*(-15)/2. Let r = 9 + h. Suppose 3*k + 6 - 2 = r*v, v = 4. Solve p + 3 = -3*w, 4*p - k = w + 3*w for w.
-1
Let k = 7 - 5. Suppose -5*v + 5*w = 5, -k*w + 9 = 4*v - 11. Solve 0*j + 3*j - 2*s = 0, v*j - 5*s = 9 for j.
-2
Let m be 3/(-6)*(-8 - 2). Let i = m + 0. Solve -u - y + 8 = -i*u, 0 = 5*u + 4*y - 11 for u.
-1
Suppose -f - 20*q + 16*q = -1, 0 = -3*q - 6. Solve -2*d - f = 3*a, 0*a - 4 = 2*a + 2*d for a.
-5
Suppose 2*k = 19 + 1. Let a(z) = -z**3 - z**2 + 3*z + 1. Let j be a(-2). Let q = j - -4. Solve -q*c - u + 12 = 0, 4*c - u - k = 6 for c.
4
Let m(v) = -v**3 - 8*v**2 + 9*v + 2. Let l(i) = i + 3. Let n be l(-12). Let r be m(n). Solve 0*h = -r*g + 2*h - 6, 0 = -4*g - h + 13 for g.
2
Suppose 0 = -5*d - 4*s - 52, 0 = -d - d - 4*s - 16. Let l = d + 14. Solve -3*k = -l*y + 2*k + 1, -4*y = 2*k - 14 for y.
3
Suppose -3*h = -2*h + 1, t = 2*h + 9. Suppose 1 = 2*s - t. Let f be 26/4 + s/8. Solve -2*m = 2*n + 8, -5*n + 5*m = 3 + f for n.
-3
Let n be 1*(-2)/(-4)*4. Solve 3*c = n*f - 0*c + 8, 0 = 4*c - 8 for f.
-1
Let n(i) = 2*i + 0*i - i + 3*i**3 + i**2 - 2*i**3. Let l be n(0). Let w = 5 - l. Solve w*c + 8 = -x + 1, 3*x + 6 = 0 for c.
-1
Suppose 0 = -10*x - 18 + 48. Solve x*a - q - 1 = q, 2*q = 2*a for a.
1
Let b = 6 - 2. Let q = 7 + -5. Suppose -q*s + 8 - b = 0. Solve 0 = -3*z - 2*o - 0*o + 7, 0 = s*o + 2 for z.
3
Let x = -38 - -42. Let m be (-45)/(-12) - 2/(-8). Let u be -5 + 4 - (0 + -15). Solve u = -v - x*t, -3*v + m*t + 22 = -0*t for v.
2
Let l(f) = 2*f - 6. Let r be l(4). Solve 0 = r*w + 2*w + 4*p, 4*w = -5*p - 5 for w.
5
Suppose 1 - 6 = -i. Suppose z = i*z. Suppose z = -3*q - q + 20. Solve 2*m + 2*y = m + 14, 3*m - q*y + 13 = 0 for m.
4
Let j(t) = -t**2 + 6*t + 16. Let h be j(8). Solve 2*c + 5*q + 5 = h, 2*c = 2*q + 3*q + 25 for c.
5
Let i(x) = x**2 + 4*x + 6. Let f be i(-4). Suppose -q - 10 = -f*q. Solve -2*r - r + 18 = 2*t, -14 = q*t - 5*r for t.
3
Let r(j) = -4 + 7*j - j + 2 + 4. Let o be r(3). Suppose -4*k + 20 = -v, k = v + 5*k - o. Solve 5*x - y + 13 + 10 = v, x = -4*y - 13 for x.
-5
Let g(v) = -v**2 + 4*v + 4. Let c be g(4). Let h(b) = b**3 - 12*b**2 - 12*b - 5. Let p be h(13). Solve -4*f - 3 = -3*t, -4*t = p*f - c*f - 4 for t.
1
Let c be 76/(-10) + (-14)/35. Let w = c + 12. Solve -w*s = 4*q - 7 - 1, -2*q + 16 = 5*s for s.
4
Let g be (-1)/7 + 87/21. Let s = g - 1. Suppose -2*y = -y - 5*c - 10, -s*c = -4*y + 6. Solve y = -5*p + 3*i - 4 - 4, -p - 4*i - 20 = 0 for p.
-4
Let a = 3 + 2. Let g(j) be the third derivative of j**6/120 - j**5/12 + j**4/12 - 2*j**3/3 + j**2. Let b be g(a). Solve 2*v - 9 = -5*y, b*y = 2*y + 4 for v.
2
Let o(i) = 6*i**2 + 2*i - 11. Let m(t) = 13*t**2 + 3*t - 23. Let f(z) = -4*m(z) + 9*o(z). Let l be f(-5). Solve 4*h - 50 = -5*v - l, 5*v = h + 22 for v.
5
Let l(o) = -o**3 + 6*o**2 - 6*o. Let t be l(4). Suppose -4*s + 8 = -t. Solve p - 5*j = -2*p + 31, 5*j = s*p - 33 for p.
2
Let d = 9 - 7. Solve -j + 15 = -4*k, 0 = -d*k - 0*k - 8 for j.
-1
Let u be 3 - ((-12)/(-3) - 1). Suppose u = -7*w + 4*w + 9. Solve 2*p + 6 = 2*v, -w*p + 4 = 13 for v.
0
Let l(q) = 4*q**2 - 3*q - 4. Let g be l(3). Suppose 5*o = 10, 8*r - 3*r - 4*o + 8 = 0. Solve -2*u + 3*v + g = r, -v - 3 - 2 = 0 for u.
4
Let w = -81 - -92. Solve -f = n - 4*n - w, 5*n = -f - 5 for f.
5
Suppose 2*x = 2, -4*m - x - 4 = -5*x. Suppose 5*l - 4*i - 8 = m, 0*l - 2*i - 4 = -4*l. Solve l = -5*f + g + 5, g + 2 + 3 = -3*f for f.
0
Let d be (21 - 13)/((2 - 2) + 2). Solve 4*l + 5*u = d, 0*u - 16 = l - 3*u for l.
-4
Suppose -5*x - 12 = -j - 2*x, 0 = 5*j - 4*x - 27. Let s be (-5 - -8)*4/6. Solve 2*m + s*m = -5*c + 11, -j*c + 5 = 2*m for m.
4
Let l be (5 + -4 - -2)*1. Solve 7*n - 15 = 2*n - l*s, -4*s = -3*n + 9 for n.
3
Let m = -23 - -33. Let h = m + -5. Suppose 4*g = h + 15. Solve -4*r + r - 18 = 2*d, -d = g*r + 23 for r.
-4
Suppose g = 2 - 0. Let n = 29 + -15. Suppose 3*a = 5*d + 10, 2*d - 4*d = 4. Solve a = 4*b - 3*x + n, -g*x = -b + x + 1 for b.
-5
Let d be 2/16 - 651/(-168). Solve -d*s = -5*n + 3, 2*s + 2*s = 4*n - 4 for s.
-2
Let z be (0 + 1)/(1/3). Suppose -4*k + z = 7. Let v = 2 - k. Solve -2*u - 4 = 2*o, 2*o = 3*u + v*o for u.
1
Suppose -3*m - 3*d = 0, -6*d = 5*m - 4*d - 15. Suppose 40 + 0 = m*z. Solve 5*f - 19 = -2*n, 0 = 5*n + f + 2 + z for n.
-3
Let a = 13 - 11. Suppose 4*k - 41 + 5 = 4*f, -28 = -a*k + 4*f. Solve -w + o = 4*w + k, -2*w = 4*o - 16 for w.
0
Suppose -2 = -6*x + 64. Solve 5*o + 5*f - x = 14, -o - 3 = -f for o.
1
Let v = 0 - -3. Let t(y) = y**2 - 7*y + 4. Let r be t(5). Let k be (-2)/(r/3) - -1. Solve -n = -2*m - 14, -m - k*n = -v*n + 9 for m.
-5
Suppose -2*r = r - 6. Let o be (1/r)/((-2)/(-12)). Suppose -p = 2*p + 3*n, o*n = -2*p - 5. Solve 2*z + p*q = -9, 2*z - z - 4*q - 2 = 0 for z.
-2
Let u = 8 + -6. Suppose u*i + 2 - 8 = 0. Let n = 2 + 2. Solve n*k + 2*v = -16, 0*k - 3*k - 18 = i*v for k.
-2
Let i be (-2)/5 +