 - 4 = -9*l. Solve -z - l*a + 7 = 0, -3*z - z - 5*a = -22 for z.
3
Let k(g) = -g**3 - 6*g**2 - 5*g + 3. Let d be 2/((-4)/10 + 0). Let n be k(d). Let r be 2/(4/(-3) - -2). Solve -5*u + n = -l, -u - 4 = r*l + 5 for u.
0
Suppose -11 = -n + 1. Suppose 10*a + n = 12*a. Solve -4*y = 4*f + 4, -y - a - 1 = -5*f for y.
-2
Let l be ((-21)/6 + 4)*4. Solve 5*y + 5 = -b, 2*y = -l*b + 4 + 2 for y.
-2
Let h = -11 - -16. Solve -o - 2*l = 2*o - 7, 22 = 3*o + h*l for o.
-1
Let q = -3 + 19. Solve -2*k - q = -2*f, 5*f + 4 = 2*k + 32 for k.
-4
Let r be 4/5*(-75)/(-6). Let m = 6 + -4. Suppose -2*z - m = -r. Solve z*s - 10 = -3*y, -5 = -y - s - 2*s for y.
2
Let m(c) = -c**3 + 15*c**2 - 24*c - 14. Let l be m(13). Solve 2*n = -4*q - 30 + 4, 0 = 4*n + l for q.
-5
Let x be 2/(12/4 + -2). Suppose -3*z = -5*j - 34, 19 = 2*z + z - x*j. Solve -4*f = -z*p + 3, -p = p + 5*f - 2 for p.
1
Suppose -4*c + 2*l = 6*l - 40, 0 = -5*c - 3*l + 54. Let i be (-43)/(-3) + (-4)/c. Solve -3*s + 5*s + i = -2*f, -s = 5*f + 27 for f.
-5
Suppose -p - a + 9 = 0, p + 3*a = -a + 9. Suppose c = -2*c + p. Solve 8 = 4*f - c*h, -h = -3*h - 8 for f.
-1
Let n(c) = c**3 - 3*c**2 + 4. Let i be n(4). Suppose i = 7*m - 2*m. Solve -13 = -4*t + 2*q + 5, -4*q = -m*t + 28 for t.
2
Suppose 0 = 3*u - 12 - 12. Let r be 1*(0 - (3 - 5)). Let s be u/(-6)*(-9)/r. Solve 3*w + l = -s, -3 = 3*l + 6 for w.
-1
Let d(z) = z**2 + z - 3. Let g = 1 + 9. Suppose -g - 2 = 4*h. Let o be d(h). Solve -8 = -4*m - 5*b, 4*m + b - 11 + o = 0 for m.
2
Suppose z - 6 = 1. Suppose -2*t + 5 + z = 0. Let m = t - 2. Solve -2*o = -5*q + 26, -m*o + 7*o = -9 for q.
4
Let r = 4 + -10. Let s be (-9)/r*(-10)/(-3). Solve 5*y = -3*m - 15, -s*m + 9 = 34 for y.
0
Suppose -4*v + 12 = 2*d, 0*d + 5*v - 15 = -4*d. Suppose -5*l + 22 = -3*i, -5*i = -d*i + 20. Solve -4*c - l*p = -2, -c - 19 = c - 3*p for c.
-2
Let u(h) = 2*h + 1. Suppose t + 3*t - 2*w = 0, -6 = 2*t - 4*w. Let i be t - ((-3)/(-3) - 1). Let d be u(i). Solve -7 + 34 = d*l + 3*p, 2*l - 13 = -p for l.
4
Suppose 8 = -5*z + 33. Solve -5*w = 3*f + 3 - 5, 2*w + z*f + 3 = 0 for w.
1
Suppose 8 = -15*d + 17*d. Let b be ((-20)/(-8))/(1/d). Solve -4*v - f - b = -1, 0 = 3*v + 5*f - 6 for v.
-3
Let f(h) = -h**3 - 5*h**2 - 4*h. Let r be f(-4). Solve r*n = 3*n - o - 8, -3*o = 5*n + 10 for n.
1
Let s = 18 - 12. Suppose s - 10 = -2*t. Solve 0 = -o, 4*o = t*r + 4 + 2 for r.
-3
Let j = 13 + -7. Suppose -3*v - j = -18. Solve -5*q = 4*a + 11 - 0, v*a + 3*q = -13 for a.
-4
Let c(p) = 2*p**2 + 14 + 2*p**2 - 5*p**2 + 10*p. Let w be c(11). Solve -5*m + 5*g = 20, m = -w*g - g + 16 for m.
0
Let r = -12 + 8. Let p = 0 - r. Solve 3*d + 5*c = p*d + 15, -5*d - 21 = 2*c for d.
-5
Suppose 0 = -4*n + 2*z - 46, 5*n - z + 80 = -3*z. Let f = -12 - n. Solve f*w + 4*l + 6 = 0, 2*w - l - 16 = -2 for w.
5
Suppose 3*y = -5*z - 11, 4*y + z - 8 = -0. Suppose y*x = -4*l - 24 + 91, -x = l - 18. Solve 0 = -3*r + 5*w + 10 + 12, 0 = 2*r - 3*w - l for r.
-1
Let v be 6*(-1 + 16/12). Solve -5*g = -4*p + 1, 0 = -v*g - 2*g - 5*p + 32 for g.
3
Let x = 33 - 28. Solve -4*u + t = -9, x*u - 19 - 1 = 3*t for u.
1
Suppose 0 = -0*n + 4*n - 16. Let a(r) be the first derivative of 3*r**2/2 + 4*r + 17. Let q be a(n). Solve q = 3*c - c + 2*b, 4*c - b = 17 for c.
5
Let l be -5*(4 + -5)*(0 + 1). Solve -l*f + 4 = -3*p, 14 = 3*f + 2*f + 2*p for f.
2
Let x(d) = 22*d**2 - 2*d + 1. Let b be x(1). Solve 5*w - 4*m - 9 = 0, 5*w - 3*m = -2*m + b for w.
5
Let i = -14 + 20. Solve -3*g = -15, 24 = -l + 5*g - i for l.
-5
Let k(z) = -z**3 + 7*z**2 - 5*z - 8. Let r be k(6). Let p = -2 - r. Solve p*s + 5*s - 4 = 4*i, -5*s + 5*i + 5 = 0 for s.
0
Suppose -h - 1 = -4*t - 5, -8 = -2*t. Let w be (-2)/(-8) + 75/h. Solve -w*i + 0*i + 13 = 5*r, 2*i + 2*r - 4 = 0 for i.
-3
Let h be 2/(-4) + (-30)/(-4). Suppose 2*w = 2 + 10. Suppose 5*i = 3*i + w. Solve 11 = -4*a - i*n, h*a - 3*a + 9 = -n for a.
-2
Suppose -w + 24 = 3*w. Let u be (-26)/(-5) - (-2)/(-10). Suppose u*v = -0*v + 100. Solve 0 = 3*g - 5*h - 22, 5*g - v = w*h - h for g.
-1
Let h(b) = b**3 + 7*b**2 + 2*b - 5. Let r be h(-6). Solve -w + 3 = -2*v, 3*w = v - w + r for v.
1
Let r = 4 + 9. Solve r = 2*u + a, 4*u - 11 = 2*a + a for u.
5
Suppose -1 - 3 = -t. Suppose 0 = -2*f + 4*u + 12 + 12, -u - 13 = -t*f. Solve f*m = -0*y - 2*y - 6, -2*m - 4 = 0 for y.
-1
Let h(n) = -2*n - 13. Let j be h(-6). Let s be j + -1 + (14 - 0). Solve -4*r - 4*t - 12 = 0, -r - 2*t = -6*t - s for r.
0
Let m(h) = -h**3 - 5*h**2 + h + 7. Let k be m(-5). Solve 5*o - 5*g + 0*g - 35 = 0, -6 = -3*o - k*g for o.
4
Let s(d) = -d**3 + 4*d**2 + 5*d + 4. Let f be s(5). Suppose -84 = -f*m - 4*j, 2*j - 119 + 2 = -5*m. Solve -m = -5*r, -4*q + 2 = -3*r + 13 for q.
1
Let p = 10 - 7. Suppose -2*g + 10 = 4*a, a = 4*g + 2*a - 13. Suppose -5*i + g*i + 10 = -2*o, -4*i = o - 5. Solve -3*b - 5*t + t - 7 = 0, -p*b + 17 = -i*t for b.
3
Suppose 0*q + 4*b = -3*q + 44, -b + 29 = 3*q. Suppose -3*p + q*p = 0. Solve p = 5*m - 15, -3*a + 18 = -2*m + 3*m for a.
5
Let c be ((-24)/(-10))/(1/5). Suppose 2*v + c = 4*r, 2*r + 5*v - 3 = 3. Solve -4*x = x + 5*y + 25, r*x + 7 = y for x.
-3
Let a(h) = -3*h. Let c be a(-3). Solve -3*n + c = 3*g, n + n = -4*g + 8 for n.
2
Suppose 10 = 12*j - 7*j. Solve -j*f - 4*s - 16 = 0, 0*s - 4 = 3*f - 4*s for f.
-4
Let w = -16 - -10. Let b(j) = j + 6. Let f be b(w). Suppose 4*p - 9 = -3*z, -5*p - 5*z + 11 = -z. Solve 1 = -5*d - 4*t, -5*t + 8 = -f*d - p*d for d.
-1
Let i = -1 - -4. Suppose -2*m + 50 = -3*l, i*m + 5*l = 4*l + 75. Let u(w) = -w + 1. Let c be u(-4). Solve b - 3*b = 3*r - 10, -c*b = -m for r.
0
Let h(a) = -a**3 - a + 25*a**2 - 25*a**2. Let w be h(-1). Solve w*c + 4 = 0, 4*c = v - 2*v - 6 for v.
2
Suppose 44 = 2*c - 4*f, 5*c + 0*f + 2*f - 50 = 0. Solve -p + 4*s = -15, 4*s = 2*p + 2*p - c for p.
-1
Let k be (1/2)/((-2)/(-8)). Suppose -5 - 3 = -k*w. Solve f + 16 = 5*i, 0 = w*f + f - 5*i for f.
4
Let g(l) = 2*l - 8. Let h be g(6). Let p be (-3*h)/(-3) + 0. Solve -8 = 3*q - p*f, 5*q + f + 16 = 5*f for q.
-4
Let t be 0*(3 + 7/(-2)). Solve 4*r - 20 = -4*v, t*r - 3*r + 13 = 2*v for r.
3
Let u(l) = -l**3 + 5*l**2 - l + 9. Let g be u(5). Solve 0 = 2*t + 2*t - d - 20, -2*t + g*d = -10 for t.
5
Suppose -2*v = 2*v. Let h be v*((-1)/(-2) - 0). Let p = -7 + 9. Solve -p*d - t + h + 4 = 0, 2*t = -8 for d.
4
Suppose -12 = -4*d - 4*a, 2*a = -d + 2*d. Let h(w) = 2*w**2 + 7*w + 16. Let x be h(-4). Solve -2*t = 5*u - x, -2*u + 20 = -d*t + 3*u for t.
0
Let f(a) = 9*a + 3. Let r be f(4). Suppose 5*q = 4*v - r, -5*v - 2*q = 3*q - 15. Solve -5*z + 3*c - v*c + 2 = 0, z = -3*c + 10 for z.
-2
Suppose 3*r - 2*m = -2, m + 2 - 3 = -4*r. Solve 0 = -0*w - w - 2*b - 9, r = -3*b - 6 for w.
-5
Suppose 0 = 3*g + 3*w, -5*w + 5 + 5 = -5*g. Let p = g + 10. Let m = p - 9. Solve -2*i + 30 = 5*j, -3*i + 4*j - 5 + 4 = m for i.
5
Let r = -18 - -1. Let f = r + 20. Solve -f*s - 24 = 3*k - 0*k, -4*s + 5*k = 5 for s.
-5
Let h(k) = -k**2 - 8*k + 10. Let p be h(-9). Let r = p - -5. Solve n = 2*d + 12, d - 31 = r*d - 3*n for d.
-5
Suppose j = -2*l + 19, 5*l - 3*l = 4. Solve 3*s - 2*b - j = 0, -4*s + 4*b - 8*b = 0 for s.
3
Suppose -r - 3*v = -15, 4*r + 5*v = 19 + 6. Let y = 0 + 4. Solve -y*k = 0, r*m - k = -2*m + 2 for m.
1
Let y(i) = 6*i + 4. Let x(o) = 5*o + 3. Let j(g) = -5*x(g) + 4*y(g). Let m be j(-3). Solve -3*v = 4*k - 4*v - 6, 0 = 4*k - 2*v - m for k.
2
Suppose 4*o - a - 9 = -4*a, 3*o + 2*a - 6 = 0. Suppose w + 0*w = 0. Solve 0 = -3*k - 3*v + 3, -2*k + o*v - v = w for k.
-1
Let f(d) be the first derivative of d**2/2 - 6*d + 1. Let t be f(8). Solve -3*p = -z - 1, 4*p = -3*z + 5*z + t for p.
0
Suppose 0 = 3*a + a - 8. Suppose -4*t + 4*u = -0*t + 36, -2*u = 3*t + a. Let k = t + 7. Solve 2*y - 7 = -2*q + 3*q, 4*y + 1 = -k*q for y.
2
Let t(i) = -i + 15. Let x be t(10). Solve -4*b - 15 = -4*s - x*b, 0 = 2*s - b - 3 for s.
3
Let j be 73/5 - 16/(-40). Solve m - 8 = -2*c - 2, -5*m - j = c for c.
5
Suppose -2*j = 4*c - 10, -j + 4*c = -12 - 11. Suppose -2*y = -6*y + 8. Let n be (-4)/y - (6 - j). Solve -4*v + 22 = -n*b, 2*v + 2*b - 5*b - 14 = 0 for v.
4
Suppose -2*g = -4*a + 8, 18 = 3*g - a + 5*a. Solve -6 = g*l - 2*q, -3*l = 3*q - 15 - 6 for l.
2
Let z be (1 + -1)/(-2 + 4). Suppose z + 4 = n. Solve -n*l - 8 = 0, 2*c = -2*c - 4*l for c.
2
Suppose -2*c + a = 2*c - 16, -2 = 2*c + 2*a. Let m(r) = -r**3 - 8*r*