i - 6 for z.
5
Let o(l) = -l**2 - 5*l + 1. Let p be o(-4). Let r be 2*(-3)/(-6)*1. Let c be 2 - (-2)/(0 - r). Solve -a - 2*b = -c*b + p, 0 = -3*a + 4*b + 35 for a.
5
Suppose -r + 4 - 1 = 0. Solve -5*q + 3 = -2*l + 6, 5*l - r*q = -2 for l.
-1
Suppose -3*u + u + 14 = -4*v, -v + 13 = 5*u. Solve 0 = -4*s - 2*x + 4*x - 20, -5*s + u*x - 25 = 0 for s.
-5
Let w = -22 + 25. Solve -w*v + 10 = -2*s, 6 = -4*s + 2*s + v for s.
-2
Let b = -4 - -18. Solve 4 = -4*x - 4*j, 0 = -5*x - j - j - b for x.
-4
Let r = -2 - -2. Let g be (3 - (r - -2)) + 7. Solve 4*n + 2*j - g = -0*j, 2*j - 2 = -n for n.
2
Let j = 31 + -31. Suppose -1 = 2*k - 5. Solve -5*d + 20 = j, d + 2*d = 2*z + k for z.
5
Let d(j) = j**2 + 2. Let l be d(0). Suppose -2*f = b - 12, l*f - b = -1 + 5. Solve -5*n + 3*r - f = 14, -3*n + 5*r - 14 = 0 for n.
-3
Let s(n) = 6*n**3 - 2*n**2 - n + 2. Let q be s(1). Solve -q*r + 4 = -3*d, 2*r - 2*d = -2*r + 4 for r.
2
Suppose -3*i + 7 = 5*n - 8, 0 = 5*n - i + 5. Suppose -6*p - 4*m = -3*p - 24, n = -2*p - 3*m + 17. Solve 5*d - p*w = 13, 5*w - 19 = -4 for d.
5
Let d be 9/(-15) + (-28)/(-5). Suppose -d*k + 3*t - 5*t = 0, -3*t = 4*k. Solve -4*l - n + 9 = -0*l, k = -3*n + 3 for l.
2
Let t be -1 - (16/(-4) + 0 + -1). Solve -2*g + t*g - 2 = 0, 0 = 4*s + g - 13 for s.
3
Let o(x) = -2*x + 1. Let u be o(10). Let c = u + 37. Let j(m) = -m. Let b be j(-6). Solve 2*h = 4*d - c, 3*d + 4*h + 8 + b = 0 for d.
2
Let h = -8 - -10. Suppose -2*u = 3*w - h, -2*w + 4*w = u + 6. Solve w*t = k + 11, 3*k - 4*k + 4*t = 17 for k.
-5
Let l be 4/(-6) - (-6 + 16/3). Solve -4*h = -2*g + 8, h - 3*g + 6*g - 5 = l for h.
-1
Suppose 0 = 2*y - 0*y - 4*a + 4, 0 = -3*y - 5*a + 38. Let v = y + -9. Let h be 1 + (1 - 2)*v. Solve -4*r = h*f - 8, -r + 3 = 4*f + 1 for r.
2
Let a(u) = 20*u**2 - 10*u - 41. Let m(l) = 7*l**2 - 3*l - 14. Let f(n) = -6*a(n) + 17*m(n). Let c be f(8). Solve 0 = 5*h - 0*q + q - c, -2*q = -3*h + 7 for h.
3
Let h = 11 - 6. Let i(p) = -p + 2. Let z be i(1). Let y = 73 + -48. Solve 4*g = -h*l + z, g + 3*g = 3*l + y for g.
4
Suppose -3*x + 2 = -10. Solve 0 = 4*q + q + 2*p + 10, -x*q = p + 8 for q.
-2
Let h(g) be the second derivative of -13*g**4/12 + g**2/2 - 2*g. Let f be h(-1). Let n = 22 + f. Solve 0 = 2*c + 2*m - n - 10, -c + 25 = 4*m for c.
5
Suppose 2*b = 5*r - 3*b - 10, 0 = 5*r + 2*b - 31. Suppose 2*y + r*a = 5 - 1, 0 = 5*y - 3*a - 41. Solve 4*h - 18 = 2*d, -2*d + y*h = 6*h + 3 for d.
1
Let u(r) be the second derivative of -r**5/20 + r**4/2 + r**3/3 - 2*r**2 - r. Let y be u(6). Solve 7*p - 2*t + y = 4*p, -t = -p - 4 for p.
0
Let h = 5 + -2. Suppose h*s - 22 = s. Let n be 0/(-2*(0 + -1)). Solve 2*o + 2*o - 20 = 4*p, -3*o + p + s = n for o.
3
Let m = 26 + -11. Suppose -s - 2*s + 15 = 0. Suppose -4*t = s*l - 41, 4*t = -4*l - 0*l + 36. Solve 0 = -4*x - t*u - 20, 4*u = -x - 5 - m for x.
0
Let h be 30/9 - (-8)/(-6). Suppose 0 = -v, 2*v + 56 = 4*g - 2*v. Solve 0 = -3*d - 2*t + g, -3*d = -h*t - 2*t + 10 for d.
2
Suppose h = 6*h + y - 26, -4*y = -4*h + 16. Solve -2*j + 6 = -g, 4*j - h*g = -6 + 18 for j.
3
Suppose h = 3*h. Suppose 0*l = -3*l + 6. Solve -m - 3*x - 7 + h = 0, l*x = 2*m - 18 for m.
5
Let m = -10 - -10. Suppose m = -2*a + 3 + 5. Solve -4*h - 4 = s, 0 = -4*s + a*h + 26 - 2 for s.
4
Let c = 13 - 8. Let y(h) = h**2 - 5*h + 5. Let w be y(c). Solve -l = 5*q + 4 - w, -3*q = -2*l - 11 for l.
-4
Let w(r) = r**3 - 10*r**2 + r - 8. Suppose 0 = -c - 0*c - 2. Let a = 8 - c. Let l be w(a). Solve l*u - 11 = -2*t - u, -3*u = -3 for t.
4
Let q be (-26)/(-8) + 1/(-4). Suppose -65 = -q*w - 23. Solve -8 = -l - 3*b, -5*l - b + w = 2 for l.
2
Let n be ((-16)/10)/((-8)/20). Let m be (-1 - -2)*(n - 0). Solve 0 = -5*y + 3*y - m*u + 8, -3 = -4*y + 5*u for y.
2
Suppose -5*b = 4*b - 18. Solve 14 = -b*r - 5*t, -2*t - 1 = 4*r + 11 for r.
-2
Let k be (27/(-6))/3*-2. Let a be k*(-1)/(-5)*5. Solve 4*v - 3*r - r = 0, 4*v - r - a = 0 for v.
1
Let r be (-2)/(-8) + 21*(-4)/(-48). Solve -r*v + 11*j = 6*j + 6, 9 = -3*v + 2*j for v.
-3
Let q = 3 - -1. Suppose -2 + 5 = -p - q*j, j = -p. Let u be -5*(24/(-15) + p). Solve -5*s - 16 = -u*d, 0*d + 6 = -d - 4*s for d.
2
Let y(n) = -n**2 + n - 11. Let f be y(0). Let d(b) = b**2 + 11*b + 3. Let c be d(f). Suppose c = 4*r - 13. Solve o - 5*k - r + 29 = 0, -o + 20 = 4*k for o.
0
Let p be (-126)/(-35) + 3/(-5). Solve -18 = -2*t + 4*i, -2*t - p*i + 4 = -0*i for t.
5
Let t = 2 - -2. Suppose 0*w + 4*p - t = 4*w, -5*w - 5*p = -25. Suppose -3*n + 5 = w*z - 0, -n + 2*z = -7. Solve -n*q + q - 12 = u, -3*q - 24 = 3*u for q.
-4
Let b = 0 + 2. Suppose 5*l - 2*t - 20 = 0, -2*l = l + 5*t + 19. Solve 3*x + 23 = -b*x - 2*i, l*i = -2*x - 8 for x.
-5
Suppose 2*a + 6 = -m - 2, -2*a - 4 = 3*m. Solve -5*f + m*q - 3*q + 5 = 0, 5*f + 2*q = 0 for f.
2
Suppose -1 = -2*o + 9. Suppose 0 = o*f - 2 - 8. Let b = 9 - 4. Solve -9 = -b*y + f*v, 0 = y + 3*v + 1 - 13 for y.
3
Let i = 15 - -9. Suppose -2*f - 2*f + i = 0. Suppose 2*p - 12 = -p - 2*s, s = p - 4. Solve c - 12 = 2*c + p*j, -3*j = f for c.
-4
Let z(n) = 10*n**3. Let o be z(1). Let b be 3/9 - o/3. Let d be (92/6)/((-2)/b). Solve 2*m + 5 = -t + m, -d = 3*t + 5*m for t.
-1
Let o = 13 + 0. Solve a - 4*k = -o, 4*a - 22 = -2*k - 2 for a.
3
Suppose -2*o + 9 = 3*z + o, -3*o + 4 = 2*z. Let l = 2 - -4. Solve 0 = w - l*w + 2*s - 3, z*w + 3*s = 17 for w.
1
Let o(y) = -3*y - 3*y - 2 + 2*y - 1. Let l be o(-7). Solve 5*m + l = 5*w, 0 = -4*w - 0*w + 20 for m.
0
Let v be 14/(-3 + 0 - -1). Let k = 11 + v. Solve k*n + x + 16 = 0, -3*n - x - x = 7 for n.
-5
Let k(h) = -h**2 - 3*h + 4. Let x(c) = -c + 2. Let b be x(5). Let z be k(b). Let j be (-7)/(-2)*4/7. Solve 2*m + z*p = 2*p - 12, 0 = m - j*p + 3 for m.
-5
Let u be ((-24)/18)/(8/(-12)). Solve -3*g - 3*x + 21 = x, -u*g = 2*x - 12 for g.
3
Let z(r) = -2*r + 6. Let m be z(4). Let f = 2 + m. Suppose f = -0*o - o + 2. Solve 4*y + 4*d - 16 = 0, o*y + 2*y - 6 = d for y.
2
Suppose 0 = 5*y + 3 - 13. Let a be -2*y/4 - -2. Let k = 1 + a. Solve -3*h - 1 = -k*w, 0 = 5*w - 2*h - 19 for w.
5
Let s(n) = 5*n**2 - 2*n - 1. Let q(c) = -5*c + 5*c + c**2 + c - c**3 + 2. Let g be q(0). Let m be s(g). Solve 5*u - t + m = 0, 5*u + 9 = 5*t - 6 for u.
-3
Let y be (0 + (-9)/15)*-5. Suppose -5*c = -4*u + 16, y*u + 8 = 5*u - 4*c. Solve -5 = 5*h + 5*t, 5*h + u*t = -3 - 0 for h.
1
Suppose -2*v - 10 = 3*v. Let t be (16/4 - -3) + v. Solve -t*z = -a - a + 13, -5*z = -a + 14 for a.
-1
Suppose 2*j = 139 + 75. Suppose 3*c - 146 = -5*u - 3, 4*u - 5*c - j = 0. Solve u = -3*b + 7*b - 2*t, t = -4 for b.
5
Let f be (-2)/10 - ((-88)/40 - 2). Solve 2*z = f*b + 16, -2*z = 4*b + 3*z + 30 for b.
-5
Let t(u) = -u**2 - 7*u - 4. Let v be t(-6). Suppose -10 = -v*a - y, -a = -2*y + 7*y + 13. Solve -3*g = 3*f - 7*g - a, -2*g - 2 = 0 for f.
1
Suppose -2*t - 3*t = 0. Let g be (-10)/(-2 + -1 + 2). Suppose -3*x = -5*x + g. Solve 4*n - 8 = t, -x*j + j - n = -22 for j.
5
Let v(y) = 3*y - 11. Let k be v(5). Solve -m + 3 = b, k*b + b + 12 = 4*m for m.
3
Let c(q) = -7*q - 3 + 5 + 3*q + q**2. Let m be c(4). Solve 0 = -3*o + 7*o - 5*x - 21, -5*o = m*x - 18 for o.
4
Let v be (-1 - 2 - 32) + 3. Let u be 2/8 + (-280)/v. Solve x + u = 4*t - 6*t, 5*t + 24 = -x for x.
1
Let j be -2 - (-4)/4 - -6. Solve j*o + 31 = -2*q, 4*o + 3*q + 32 = -q for o.
-5
Let u be (-3 - -3)/(2 - 4). Solve 0*h - h - p - 3 = u, -5*h - 17 = 3*p for h.
-4
Suppose 5*d - 4 - 6 = -4*g, 0 = 4*d - 4*g - 8. Let m be 1/((-2)/d - -2). Solve m = h - 3*s + 7, -3*s = -4*h - 6 for h.
0
Let w = 220 + -215. Solve -3*a + 2*s = -7*a + 2, 3*s = w*a + 25 for a.
-2
Let o = 11 - 30. Let m = -4 - o. Solve 3*d = -n - 2*n, -4*d = -n - m for d.
3
Let q be 2*1/2*(-30)/(-6). Solve s - 30 = q*h - 7, 3*s + 1 = h for h.
-5
Let c(t) = -t - 9. Let b be c(-11). Solve -21 = b*f - 3*r, 5 = -5*f + 2*r - 4*r for f.
-3
Let l(m) = -m. Suppose -2*c + 2 = 10. Let b be l(c). Solve 4*j - b*h + 8 = 0, 2*h + 3*h - 24 = -2*j for j.
2
Let m(h) = h**2 - 5*h - 7. Let i be m(8). Solve -4*k + 29 = 4*l - k, -k = -4*l + i for l.
5
Let q(l) = l**2 + 3*l - 1. Let k be q(-4). Solve -3*t + 0*t + 4*w = k, 2*t + 2 = 3*w for t.
-1
Let q be (4/3 + -1)*3. Let x be ((-1)/(-3))/(1/15). Let u(s) = -s**2 + 5*s + 2. Let c be u(x). Solve -3*p - t = q, -c*p + 3*t + 5 = 2 for p.
0
Let a be -2 + 12/(4/2). Let x(c) = c + 1. Let r be x(5). Suppose 2*u = r*u - 4. Solve 0 = 