 -7. Let l = -3 + 15. Solve n = f*i - 5*k + 2 + 7, 0 = -4*i - 2*k - l for i.
-3
Let h be 9/6*(-2 + 6). Suppose 0 = -2*d - 4*p + 24, 4*d = -0*d - 5*p + 33. Let r be (-7)/(-3) - d/(-3). Solve 3*q + 2 = h*q - 5*k, -2 = -2*q + r*k for q.
4
Let v = 3 - 0. Suppose -v*o - 50 = -8*o. Solve 0 = 5*y + 3*k + o, 2*k + 0*k = -10 for y.
1
Let b(r) = -r**3 - 9*r**2 + 20*r - 22. Let x be b(-11). Solve -5*w + 10 - 1 = -2*h, x = -4*w + 4*h for w.
3
Suppose 0 = -2*a - 6 + 4. Let p(t) = -32*t - 1. Let k be p(a). Solve 7*s - 5*j + k = 3*s, 5*s + 29 = 3*j for s.
-4
Let x(y) = -y + 5. Let f be x(6). Suppose 0 = -a - 2 + 5. Let q be f/a - 38/(-6). Solve -2*k + 3*j = 12, -k = 4*j - q - 10 for k.
0
Let d be (-25)/(-5) + (0 - 1). Solve -2*a + m + d = 2, 5*m = a - 19 for a.
-1
Let n(z) be the second derivative of z**4/6 - z**3/6 + 2*z. Let l be n(-1). Solve 5*r = 3*k - 28, k - 5*k + 19 = -l*r for k.
1
Suppose a - 5 = -j + 5, -5*a + 50 = 2*j. Let s be (-41 + 41)*(2/4 + -1). Solve -5*o + w - a = s, -5*o + o + 4*w = -8 for o.
-3
Let m(r) = -11*r - 4. Let k be m(-3). Suppose 5*f + k = 4*p - 7, -p = -2*f - 12. Solve 4*x + p = a - 7, -x = -3*a for x.
-3
Suppose n - 21 = s - 6, n - 25 = 2*s. Let i = -2 - s. Solve 2*c = 4*v + 14, -4*c + i = -12 for v.
-1
Let b be 36/(-16)*24/(-9). Solve -5*c = -4*j + b, 6*j - 22 = -5*c + 3*j for c.
2
Suppose 3*s = 4*k + 97 + 9, 0 = -s - 2. Let u be (-4)/14 + (-92)/k. Let p = u + -1. Solve -3*j - 4 = -p*h + 6, -25 = -5*h for j.
0
Suppose 0 = 4*p - 5 - 11. Suppose -p + 59 = 5*m - 2*d, 5*m = 3*d + 60. Solve -2*b - 24 = 2*b - 4*h, -m = -3*h for b.
-3
Let x = 18 + -13. Suppose 0 = -x*a - 2*k + 9, -3 = 2*a + 2*a + 5*k. Solve 3 = -2*s - 3*c, 4*s + c = a*s for s.
3
Let a be 10*(2 + 36/(-20)). Suppose 5*z + u = 10, -2*u = -a*z - u + 4. Solve -3*m + 14 = -4*y, -z*m - 3*m - 4*y = -2 for m.
2
Suppose 2 + 0 = -2*n - 5*b, -n = 4*b + 4. Suppose 4 = -3*v - 5*y - 4, y = -n. Solve 5*p - v*m + 22 = 3*p, -m = -5 for p.
-1
Suppose 2*g = 2*w - 14, -g + 2 = -2*w - 3*g. Solve o + 15 = -3*f, 0 = o + 2*f + 7 + w for o.
0
Suppose 5*q = 13*q - 40. Let c be 62/8 - (-2)/8. Let j be 6/(1 + (-1 - -2)). Solve j*h - c = q*v, 3*h - 1 = -2*v - 0 for v.
-1
Suppose -2*o = -5*t + 6 + 1, t = -4*o + 19. Let v be 6/t*(-15)/(-6). Solve -5*m + 4*w - 5*w + 22 = 0, 5*m - 10 = -v*w for m.
5
Let k(h) = -h - 1. Suppose 2*d + 2*o - 4 = -6, 2*d = o + 13. Suppose -3 = d*v + 1. Let f be k(v). Solve 5*j = -4*q - 14, -q + f*q - 9 = 4*j for j.
-2
Let d be 7 + 0 - (-6)/(-2). Solve 0*t - 5*p + 27 = d*t, t + 2*p = 9 for t.
3
Suppose s + 3 - 33 = 0. Solve d + 0*d - s = 5*b, 0 = 3*b + 2*d + 5 for b.
-5
Let l be (-2)/(2 - 0)*-3. Let v(f) = -f - 5*f + 4*f - 2 - f**3 - l*f**2. Let d be v(-3). Solve -d*s - 1 = -3*q - 2, 2*s - q = 1 for s.
1
Let n(u) = 2*u + 14. Let k be n(-6). Solve -k*z - 3*l = -0*z - 19, 0 = -3*z + l + 1 for z.
2
Let h be ((-20)/(-8))/((-10)/(-8)). Solve -v + 6*v - 3*o = 25, h*v = -5*o - 21 for v.
2
Suppose -4*v = 5*u + 25, -2*u = -5*v - 42 - 14. Let y = v + 14. Solve -4*k = 3*c + y, -5*k + c + 2 = -12 for k.
2
Suppose -3*q + 32 + 76 = 0. Let x be (2/3)/(8/q). Solve -f - 1 + 0 = -2*s, f = x*s for s.
-1
Suppose 22 = 7*p - 27. Solve 2*x = -2, p*x = 3*s + 4*x + 6 for s.
-3
Let d be (2/4)/((-7)/(-14)). Let c be d/(-3) - 1/(-3). Suppose c = -y + 2*y - 4. Solve 2*s = -y*a - a - 3, -a = 4*s - 3 for a.
-1
Let g = -5 - -12. Suppose -g*a = -2*a - 10. Solve a*c = -0*f + 2*f + 2, 5*f = 4*c for f.
4
Let y be (-2)/3*-3*1. Suppose 0 = -5*d + 7 - y. Suppose -u + t = -d + 3, 2*t = u + 6. Solve -x - 3*m = 2*x - 15, x - 2*m - u = 0 for x.
4
Let q be 7 + (1 + 5)/(-2). Solve x + g + 2 = 0, -q*x - 3*g - 2 = 7 for x.
-3
Let v(f) = -f**2 + 11*f. Let y be v(10). Suppose -4*i - 2*j = y, 5*j = -5*i + j - 11. Let z = -2 - i. Solve -5*h + k = 2 + z, 3*h = 2*k + 1 for h.
-1
Let w = 20 - 17. Solve 4 = -w*s + 2*z + 2, 2*z = 2*s + 4 for s.
2
Suppose 0 = -5*i + 21 + 59. Suppose -v + 3*v + i = 0. Let n = 11 + v. Solve 0 = -0*q - 2*q - 5*l + 7, -q = -n*l + 13 for q.
-4
Suppose 0 = -8*x + 32. Solve 12 = -3*k - 3*i, -k = i + 3*i + x for k.
-4
Let n = 0 - -6. Suppose -3*p - 9 = -n*p. Solve 3*x - p*d - 4 - 17 = 0, -x - 5*d - 17 = 0 for x.
3
Suppose 5*x + 3 = 3*v - 22, -3*x = 4*v + 15. Suppose -3*f + 5*f - 26 = 0. Let t be 1*f/(3 - 2). Solve -4*r - p - t = 0, -4*r - 5*p - 17 = -v*r for r.
-3
Suppose 2*c = 3*j - 22, -3*j = -j + 4*c - 4. Let t = -5 - -15. Suppose -4*h + t = 2. Solve 0*r + j = -4*g + h*r, 5*r + 3 = 4*g for g.
-3
Let j = 6 - 3. Suppose 5*q = -5*x + 50, -q + 1 = -j*x + 3. Let n = -6 - -19. Solve -5*f = 3*v + n, q*v + 5 = 4*v - f for v.
-1
Suppose 0 = -z + 3 - 1. Solve 5*t = z*p + 7, 0*t + 5*t - 5*p - 10 = 0 for t.
1
Suppose h = 4*h - 12, -5*b + 4*h - 1 = 0. Solve -4*d = 0, 4*d - 12 = -b*y + 7*y for y.
-3
Let x = -4 - -9. Solve -2*t + t + 4*u + 9 = 0, x*u + 30 = 5*t for t.
5
Let f = -103 - -120. Solve 4*t + 7 = 5*y, 0*t = -4*t - 3*y + f for t.
2
Let y(l) = l**3 + 8*l**2 + 6*l - 6. Let d be y(-7). Let b = 1 - d. Suppose b*t + 8 = 2*t. Solve -p = 3*g + 17, 0 = -4*g + 3*p - t*p - 21 for g.
-4
Let z(n) = -n**2 + 13*n - 9. Let c be z(12). Solve 0*s = 3*s + c*g - 15, 3*s + 17 = 5*g for s.
1
Let n = 110 + -91. Solve -3*g = 5*l - n, 0*g = -g - 4*l + 11 for g.
3
Let i = -3 + 3. Suppose 0 = 3*s + 5*v + 97, 5*s - 5*v = s - 176. Let z be s/(-15) - (-2)/5. Solve 4*k - 3*h = -i*k - 9, -6 = k + z*h for k.
-3
Let u = 5 - 1. Suppose 2*t + 12 = 3*t + m, -t + m = -4. Solve u*p + z = t*p + 16, 5*z - 17 = -p for p.
-3
Let r be 1/(-3 + (-21)/(-6)). Let i(n) = n - 1. Let w be i(6). Solve -r*h + 0*t - t = 5, w = 5*h - t for h.
0
Suppose 0 = w + 2*h - 15 - 0, 0 = 3*w - 5*h + 10. Solve -5*n - 5 = w*k, 5*n + 2 = -0*k - 4*k for n.
2
Let a be 0/((-12)/(-18)*3). Solve 5*m = -v + 15, a = -2*m - 5*v + 2 + 4 for m.
3
Suppose 2*k + 4 = -5*t - 5, -5*t = -2*k + 21. Suppose 4 = -m + 3, -4*z = 5*m - k. Solve -3 = 3*q + z*y, 5*q - 4*y = -0*y - 5 for q.
-1
Let t be 2*4/24*15. Solve h = -5*a + 23, 5*h - 3*a - 2*a = -t for h.
3
Suppose -6*j - 18 = -48. Let h(q) = -q - 3. Let f be h(-6). Suppose -2*w - 5 = -f*w. Solve 2*m = -j*c - 14, 43 = -w*c + 5*m + 8 for c.
-4
Let f(u) = -u + 3. Let w be f(0). Suppose 0 = -3*m - 4*r + 22, -2*r = -m + r - 10. Solve -m*i - w = -i, -5*i - 19 = -4*n for n.
1
Let a = -7 - -5. Let q be 3/21 + a/14. Solve -2 + 1 = 4*x + c, q = -4*x + 2*c - 10 for x.
-1
Let l(w) = 7*w - 9. Let u be l(3). Solve 3*p = 5*t - 1 - u, 8 = 2*p for t.
5
Suppose h + 16 = 2*h. Suppose -18 = -3*m - 3*n, -2*n - h = -0*m - 5*m. Suppose 2*g + 22 = 3*g + m*i, 20 = 4*i. Solve g*x - 3*o + 6 = -o, 4*o = 8 for x.
-1
Suppose -35 = -5*r - 5*j, 0*r + 4*j - 4 = 2*r. Solve -r*a + 1 = -3, 14 = -5*k + 4*a for k.
-2
Let t be 8 + -9 - (-2 + 0). Let j(b) be the first derivative of 11*b**4/2 - b**3/3 + b**2 - b + 1. Let v be j(t). Solve -v = -2*w - 3*l, 10 + 1 = 3*w - l for w.
5
Suppose -5*g + 3*g + 52 = 0. Suppose -4*j + b + b = -26, 4*j + 5*b - 5 = 0. Let u be (j - 9)*(-12)/8. Solve -z - z = -4*m - g, m = -2*z + u for m.
-4
Suppose -2*t = 0, 3*y + 4*t = 5*y - 22. Let j = -7 + y. Suppose 3*h = j*h. Solve 0 = 4*v - 4*o - 28, 2*v + 4*o + 6 + 10 = h for v.
2
Suppose p + w - 20 = -p, 0 = -5*p - 3*w + 50. Let c = p + -9. Suppose 3*m = -c + 52. Solve -1 = q - 0*q - r, -2*q - m = -5*r for q.
4
Let d(c) = -c + 5. Let o be d(0). Solve 3*w - l = 19, -4*w + 0*l + 40 = -o*l for w.
5
Let t be 1/(-3) - (-1)/3. Suppose 3*p + 0*p = t. Solve -17 - 7 = 2*f - 4*b, p = 2*f + 4*b - 16 for f.
-2
Let p be (-14)/49 + 69/21. Solve q + 1 = 5*w - 1, p*w = 0 for q.
-2
Let g be (-267)/(-9) + (-1)/(-3). Suppose -5*s + 148 = -3*c + 51, 2*s + c - g = 0. Solve -j - 4*j - s = w, -4*w + 8 = j for w.
3
Let t(j) = -j**2 + 11*j - 12. Let w be t(8). Suppose w = 3*a + a. Solve -5*m - 5*p = -5, -a*p + 4*p = 4*m + 21 for m.
-4
Suppose 0 = -3*t - n + 8, -1 = -t + 2*n - 4*n. Suppose 0 = -3*c - m - t*m + 18, 4*m - 12 = 0. Solve -c*x - 10 = 2*r, -4*x - 4*r = -x + 18 for x.
-2
Let n(s) = -s**3 + 6*s**2 + 2. Let g be n(6). Solve 10 = -b - d + 4*d, -g*b + d = 5 for b.
-1
Suppose -11 = -5*h + 9. Solve 4*v - 8 = -h*j, 5*v = -j + 22 - 4 for v.
4
Let s = 6 + -2. Let o = 5 - 0. Suppose 4 - 16 = -5*c - 2*g, 5*c + o*g = 0. Solve c*j + 20 = 0, 27 = -5*l - s*j + 2 for l.
-1
Let b be 0*3*2/(-18). Solve b = z + 3*l + 2, -2*z + 1 - 