 k*i - 79. Solve -5*v + 28 = -4*t, -10 = 5*v + 2*t - d for v.
4
Let q be (2/4)/((-2)/(-20)). Suppose 6 = x - 6. Let j(z) = z**3 - 11*z**2 - 10*z - 14. Let y be j(x). Solve 4*k - 18 = -q*g, 0 = -g + 6*g - y for k.
2
Suppose 2*m = 15 - 9. Solve 0 = -m*j + 4*y - 3, 4*j - 2*y + 9 = j for j.
-5
Suppose -5*b - 425 = 4*k + 156, 2*k = 2*b - 268. Let c = k - -274. Let a be 2/(-4) + c/6. Solve 3*n - 2*i - 3*i = a, 0 = -2*n - i + 6 for n.
4
Let v = 4 - 4. Let y = 3 - v. Suppose 0 = -a - 0*a - t + 4, -5*a + 4 = -y*t. Solve 22 = -2*p - 2*p - 2*s, -4*p + a*s = 18 for p.
-5
Let q(y) = y**3 - 4*y**2 + y - 2. Suppose 0 = 2*o + 3*j + 17, -2*o = 2*o + j + 29. Let z = 11 + o. Let k be q(z). Solve k*f = -8, 0 = 3*l - 2*f - f for l.
-4
Let g = -10 - -27. Solve 9 + 6 = -5*s, -d - g = 5*s for d.
-2
Suppose -3*i = -5*i + 6. Let l be 1/(-1)*44/1. Let p = -27 - l. Solve 0 = 2*m + 5*u - p, -i*u - u = -m - 11 for m.
1
Let s(l) = l**2 + l - 2. Let x be s(2). Let w(o) = -2*o + 2*o - x + o. Let p be w(7). Solve 2*n + p = -3*y - 3, 5*n = 4*y - 15 for n.
-3
Let i = -1 + 1. Let b be 6 + -5 + 2 + 0. Suppose -5*g + 35 = -2*o, -b*g + 2*o + 29 = 4. Solve -5*t + 3*m - 21 = 2*m, i = g*t - 4*m + 9 for t.
-5
Suppose -2*q = -4 - 0. Solve -q*h - y = h, -y = -3 for h.
-1
Let i(j) = j**2 + 8*j + 15. Let s be i(-6). Solve -o + s = -c + 2, -4*o - 10 = 3*c for o.
-1
Let f(a) = -a**2 + 3*a + 2. Let m be f(3). Suppose 2 = m*q - 2. Solve 4*s + 2 = -5*o, q*s + 0*s = -4*o + 2 for o.
2
Suppose -3*f + 42 = 3*h, 0 = -6*f + f + h + 46. Suppose -r - 20 = -2*r + 3*q, -f = 2*r + 4*q. Solve 5*o - 26 = -v, -r*o + 3*v - v + 23 = 0 for o.
5
Let s be (5 + -4 - 31)/(-1). Solve 0 = -3*w - 5*a + 5 - s, w + a = -5 for w.
0
Suppose 2*r - 6 = 4. Solve -3*a + 0 = 5*s - 2, a + 6 = -r*s for s.
-2
Let n(u) = -4*u**3 + u**2 - 1. Let i be n(-1). Solve i*x - 2*q + 0*q = -8, 2*q - 8 = 0 for x.
0
Let u(s) = -s**2 - 6*s - 5. Let h(g) = -g**2 + 9*g - 5. Let z be h(9). Let t be u(z). Solve -n + 1 = o - 4, -3*o - 2*n + 12 = t for o.
2
Let c(n) = 0*n**2 - 4*n**3 + n + 25 + 5*n**3 + n**2. Let k be c(0). Suppose 0 = 2*z - 8 - 2. Solve -l - k = z*h - 4*l, -4*l + 5 = -h for h.
-5
Let u(i) = i**3 - 7*i**2 - i + 9. Let s be u(7). Suppose -d - 10 = 3*j - 7*j, -s*d = 2*j - 10. Solve -3*v + l - 7 = 0, v = 3*v - d*l + 2 for v.
-3
Suppose -3 = 7*f - 38. Solve 2 = -f*b - y, 5*b + y + 6 = -2*y for b.
0
Let y be (15/(-12))/(1/(-4)). Solve -17 = -4*p + 5*o, o = y*p + 5*o - 11 for p.
3
Suppose -5*x - 2*g + 22 = 0, -g = -x + 3 - 0. Suppose -5*j + 4*p = -100, j - 5*p + 6 = 47. Suppose -2*i = 2*i - j. Solve 4*z = x*b, -i*b + 2*z = -z for b.
0
Suppose -3*i + 49 = -77. Suppose -18 = -4*n + i. Solve -5*p = -2*x - 10, 3*x - 2*p - 3*p + n = 0 for x.
-5
Let d = -4 - -2. Let o be d/(-10) - (-228)/60. Solve s + 2*h - 2 = -3*h, -o*h = 5*s + 11 for s.
-3
Let c = 2 - -5. Suppose -12 = -c*i + 5*i. Let r be (-14)/(-6) + (-2)/i. Solve 0 = -3*a - a + t + 10, 0 = r*a - 5*t - 14 for a.
2
Suppose -t = 0, 2*t - 11 - 9 = -5*p. Suppose -5*u = -p*u. Let w be (-27)/(-4) + (-2)/(-8). Solve o + 1 = u, 5*m - o = -26 + w for m.
-4
Let i(v) = 11*v - 15. Let z(n) = -5*n + 7. Let p(t) = 6*i(t) + 13*z(t). Let r be p(5). Solve 3*c = 2*f + 20, -4*f - 36 = -r*c + c for f.
-4
Suppose -u - 6*u = 0. Solve 0 = -u*z + z, 0 = 2*v - 2*z - 4 for v.
2
Suppose 2*z = -3*s + 19, -3*s - 3*z - 2*z = -34. Suppose -s*j = -4*j + 5. Solve -2*l = 2*k + 8, -3*l + j - 21 = 4*k for l.
0
Suppose -7*j + 36 = -4*j. Suppose j*l = 17*l. Solve 5*h + 2*p - 10 = 0, -p + 3*p = l for h.
2
Suppose v = -z + 4, 6 + 0 = 2*z + 4*v. Solve 0 = -2*p + z*l - 1, -7 = -4*p - l - 20 for p.
-3
Let x be ((-3)/(-6))/(1/10). Suppose 1 - 26 = -x*c. Solve -3*a - y + 3*y - 12 = 0, -5*a - c*y - 20 = 0 for a.
-4
Suppose -3*c + 6*c + 12 = 0, 6 = 5*f + c. Suppose -2*y + 3 = -y. Let s = y + -1. Solve 4*j + 5*q = -24, -2*j - s*j - f*q - 12 = 0 for j.
-1
Let j(k) be the first derivative of k**2/2 - k - 2. Let h be j(3). Solve -h*f - 9 = 5*b, -b - b = 4*f + 10 for f.
-2
Let m(x) = -x**2 - x + 4. Let o be m(-3). Let w be (-4 - o)*(-4 - -2). Solve q - 10 = 2*s, w*s = -5*q - 0*s - 20 for q.
0
Let a(l) = l + 5. Let j be a(-4). Suppose -3*s + j = -11. Solve 4*z = -s*b + 8, -z - 3*z - 6 = -3*b for z.
0
Let r(b) = b**3 - 2*b**2 - 2*b - 2. Let n be r(4). Suppose n - 9 = 2*x - w, w = -3*x + 7. Solve -2*u = -4*a + 6, -1 + x = -2*a - 5*u for a.
1
Let s = -75 + 79. Solve -s*g + 5*n = 1, 3*g + 4*n + 20 = g for g.
-4
Let p be -5*(4/(-2) + 1). Solve -i - 3*d = i + 1, -5*d - p = 4*i for i.
-5
Let w be 8/(-36) + (-58)/(-18). Solve 3*n - q - 5 + w = 0, 7 = 5*n + 2*q for n.
1
Suppose 0 = 4*c - 2*v + 14, -v - 1 = 2. Let g = c + 9. Suppose 0 = -g*n + 5*n. Solve -2*i - r = -14 + 2, 2*i + 5*r - 28 = n for i.
4
Suppose -2*j + 9 = -21. Solve -3*v + 7*v + u - j = 0, v = u + 5 for v.
4
Suppose -2*i + 7 + 3 = 0. Let c be 5/(-10)*(-1 - i). Solve 0 = c*z - h - h + 15, 0 = z - h + 5 for z.
-5
Let n be -1 + 9/6*2. Solve -v = 2*q - 15, -2*v + q = n - 7 for v.
5
Suppose 4*c = 3*b - 25, -c + 4 = -4*b - 5*c. Let v be (-2 - -2)*(-1)/b. Solve 19 = -j - 0*y + 4*y, -4*j - y + 9 = v for j.
1
Suppose 0 = -3*l + 5*l + 3*q + 11, -5*l + 20 = -2*q. Let o be (4 - l) + 0 + -2. Solve 3*t + 3*u + u = 27, o = -5*t - 4*u + 37 for t.
5
Let v(o) = o**3 + 3*o**2 - 3*o + 3. Let t be v(-4). Let c be (9/(6/(-2)))/t. Solve -r + 2*x = x, 0 = -x - c for r.
-3
Let g = -22 - -24. Suppose -g*n - 5 = -9. Solve -h + 2 + n = 0, h = -5*q - 1 for q.
-1
Let u be ((-20)/(-16))/(2/8). Let v be ((-12)/(-6))/(0 + 1). Let d = -1 - -2. Solve -2*c = -u*w - 21, c + v*w + 4 - d = 0 for c.
3
Suppose -3*n - n + 20 = 0. Solve -q = -4*w - 12, 23 = -3*w - n*q - 9 for w.
-4
Suppose 15 = 3*r - 12. Solve l = a - 1, 2*l + 2*a + r = -5 for l.
-4
Let b be (-2)/(-4) + 55/10. Let n = 8 - b. Solve p - 5*p = 5*w + 7, -5*p = -n*w + 17 for w.
1
Let l = -87 + 90. Solve 3*c - 4*c + i = -4, l*c + 5*i = 20 for c.
5
Suppose -k + 0 = -4*x - 2, -8 = 3*x - 4*k. Let h be -2 - -1*4 - x. Solve 0*t = -3*t + 2*i + 12, h*t = -5*i + 8 for t.
4
Suppose -o + 7 = 2*x, o - 5 = -x - o. Let z be x + -1 - 4/(-2). Solve -4*i - 32 = -z*a, -2*a = -i - 3 - 8 for i.
-5
Suppose -3*t - 2*n + 106 = -2*t, 2*n + 482 = 5*t. Suppose 3*u - 160 = t. Let y = u + -46. Solve -5*q + y + 10 = 5*a, 5*a - 10 = 3*q for q.
5
Suppose m = 10 - 4. Solve -4*i = -0*k + 2*k + 16, 0 = 3*k - 3*i + m for k.
-4
Let g(d) = d**3 + 2*d**2 + 2*d. Let k be g(6). Suppose -p = 3*p - k. Let f be (2/3)/(10/p). Solve y + f*v = -5, 3 = -2*y + 5*v + 8 for y.
0
Let l be -3 - (-1 - 1) - -4. Suppose -l*p + 18 = w + 2*w, p + 2*w = 6. Let x be -10*(p/(-4) - -1). Solve 5*y = 5*q + 10, 0 = 2*q + 2*q - 5*y + x for q.
-5
Let h(g) = -g - 2. Let x be h(-2). Suppose -5*f - 9 = -3*p, 2*p + 0*f = -2*f + 6. Suppose -p*d + 24 = -x*d. Solve 2*j + 3*y - d = 3*j, j - 2*y = -5 for j.
1
Let r = -11 + 15. Let b = -14 + 14. Solve -r*w - 5*d + b = 8, 5*d = 3*w - 29 for w.
3
Let h(j) = j**2 + 7*j + 12. Let b be h(-5). Solve -4*t + 8 = 3*n, 3*t - 35 = 3*n + b*n for t.
5
Let k(r) = r + 1. Let d(y) = y + 1. Let b(i) = -4*d(i) + 6*k(i). Let z be b(3). Let u = z - -3. Solve 4*j + 3 = -3*a + 2*j, -5*j - u = 4*a for a.
1
Let c = -7 + 42. Suppose -26*a + 0*a + 52 = 0. Solve -4*f + c - 14 = v, 2*v - a*f - 2 = 0 for v.
5
Suppose -5*n = w - 8 - 48, w - 23 = -2*n. Let f = n - 2. Solve -1 = -x - 4*m, -6*x + 3*m - f = -4*x for x.
-3
Let s(o) = -5*o**2 + 7*o + 2. Let n(w) = -11*w**2 + 15*w + 4. Let v(c) = -6*n(c) + 13*s(c). Let m be v(0). Solve m*f - 7 = -l, -17 = l - 3*f - 4 for l.
-1
Suppose -6*v = -v. Suppose v*c + 4 = c. Suppose 5*j = 5*o - 5, -5*o = -3*j - 19 + 6. Solve -c*h - o*y + 1 = -1, 5*h - y = -12 for h.
-2
Let y be 18 + (-1 - 1) - -2. Solve 0 = -2*c - q + 3, 7*c = 2*c + q + y for c.
3
Let q = 37 + -32. Solve 5*c = q, -r - c = c - 1 for r.
-1
Let b = 13 + -7. Suppose b*s - 19 = 11. Solve 0 = 3*j - s*o - 2, -2*j - j + 2*o = -8 for j.
4
Let n = -19 + 21. Solve 0*j + 17 = 4*j + p, -3*p - 19 = -n*j for j.
5
Let h(r) = -3*r**2 + 3*r + 3. Let l be h(-2). Let s = -14 - l. Solve 2*t - s = 5, -3*f - 30 = -5*t for f.
-5
Let b(p) = -2*p - 2. Let u be b(-3). Suppose -u*h - 6 = -h. Let i = 4 + h. Solve 5*r - i = -3*a - 1, 2*r = -5*a - 11 for a.
-3
Let k(f) = -f**3 + f + 1. Let d be k(0). Solve -2 - d = 3*l - 4*q, -4*l = 5*q + 4 for l