 Solve -k = -5*c + t - 3, 0 = 3*k + 5*c - 5 for k.
-5
Let c(s) = s**2 + 5*s - 2. Let z be c(-6). Let y be 6/z*(-32)/(-24). Solve -3 = 5*j + y, 3*w - 17 = 2*j for w.
5
Let m = 8 - 7. Let z be m/(-1*3/(-12)). Solve 4*n + 6 = -z*l - 2, 0 = -4*n - 2*l for n.
2
Suppose 5*h = -2 + 17. Suppose 5*i - 2*v = 34, -2*i + 20 = h*i + 5*v. Solve -w + 13 = -2*w + 5*q, 0 = 3*q - i for w.
-3
Suppose -7*h + 2 + 19 = 0. Solve w = -5*s + 5, 3*w + h*s = 2 + 1 for w.
0
Let q(i) = -i**2 + 6*i - 4. Let v(f) = -f**2 + 5*f - 4. Let d(n) = 5*q(n) - 4*v(n). Let y be d(4). Solve 2*b + 3*b + y = 5*h, 4*h = b + 10 for b.
-2
Let g(n) = -n**3 - 15*n**2 + 16*n + 2. Let x be g(-16). Solve 4*q - 6*h = -x*h - 36, -14 = 2*q - h for q.
-5
Let h be 14/8 + 2/8. Suppose -5*s + 2*s - 3*n = -33, 5*n = 0. Solve -h = t - d, -2*d - s = 2*t + 3*d for t.
-3
Suppose -4*a + 83 = 3*s, a = -2*s + 3*s - 37. Let w = s + -22. Solve 8*v = 5*n + 3*v + 35, -w = 3*n - v for n.
-2
Let c = 10 + -8. Suppose -c*a + a + 2 = 0. Solve -3*s = -x + 8, a*x = 7*x + 5*s for x.
2
Let v(r) = 4*r + 7. Let m(q) = -q + 1. Let y(g) = 5*m(g) + v(g). Let i be y(9). Solve 6 = i*w, 3*w - 18 = -4*f + 2*w for f.
4
Suppose -5*y + 10 + 26 = -2*i, 5*i + 90 = 3*y. Let n = -13 - i. Solve z + 2*l + 1 + 2 = 0, n*l = -z - 3 for z.
-3
Let i(f) = 2*f**3 + f**2 - 4*f + 3. Let r be i(2). Let t = r - 9. Solve -4*b - 13 = -c, -2*b - 4*c + 28 = -t*b for b.
-2
Let y = 30 - 27. Solve y*l + 2*v = 18, -l + v + 19 = 6*v for l.
4
Let z be 1 - (-4)/((-4)/(-4)). Solve 4*x + 4 = z*n, 2*n = n for x.
-1
Let z = 6 + -5. Let r be (1 - -4)/(1/z). Solve -w = -r*h + 2, 4 = 5*w + 14 for h.
0
Let d be (-2)/9 + (-58)/(-18). Suppose 12 = 3*b + d. Solve -b*p + 0*z + 3 = 3*z, 0 = -3*p + 3*z - 9 for p.
-1
Suppose 5*f - 12 = -2. Solve 4*b - 2*u - 10 = 0, 0 = 5*b - 0*u - f*u - 12 for b.
2
Let r = 9 - 7. Suppose 0 = -r*z + 8 - 2. Solve -5*q = 2*y - 15, 0*y + z = q + 2*y for q.
3
Suppose 5*s + k - 11 = 0, 3*k = s + 2*k - 1. Suppose 5*u = l - 5, -4*u - 15 = -s*l - l. Solve 0*y - 4*y = 4*c - 28, 5*y - 2*c = u for y.
2
Let z(j) = 4*j - 7. Let s be z(3). Suppose -3*y - 3*g + 12 = -6*g, -s*y = 3*g - 4. Solve -3*p - 3*v + 9 = 0, -1 + y = -5*p - v for p.
-1
Let x = 147 + -141. Solve 2*o + 24 = 5*h, 0*h + h = o + x for o.
-2
Let z(y) = y - 4. Let q be z(4). Suppose -2*a + 6*a = q. Let r = a - -3. Solve 5*m = r*t + 22, 4*m = -t + 19 + 2 for m.
5
Let z = 51 + -43. Let b(x) = 3*x**3 - x**2 + x. Let r be b(1). Solve 17 = -5*h + 4*l, 7*l - r*l = -z for h.
-5
Let z = 0 - 0. Suppose v + 7 = 5*m, z = 4*v - 15 + 3. Suppose m*h - 40 = -3*a + 3*h, -28 = -2*a + h. Solve 3*i - u + 4 = -2, -3*i + a = 5*u for i.
-1
Let s(u) = -u**3 - 3*u**2 + 2*u - 4. Let i be s(-4). Let h(p) = -14*p + 1. Let x be h(-1). Let m = x - 7. Solve 0 = -t - 2*w + m, -i*t + 2*w = -w + 23 for t.
-2
Let r(c) = -c + 14. Let n be r(12). Solve 4*g - n*l + 1 = 25, -3*l = -g + 16 for g.
4
Let o = -24 - -75. Suppose -59 - o = -5*h. Solve -2*f + 16 = w + 2*f, 4*w - h = -2*f for w.
4
Let b(m) = -m**2 - 5*m + 18. Let o be b(-7). Solve 3*w + 3*n = 6*n, -o = -w + 5*n for w.
-1
Suppose -a - 3*z = 2*a - 3, -4*a + 6 = 2*z. Solve 3*y = 8*y - 4*b - 16, -a*y - 16 = 4*b for y.
0
Let d = -18 - -20. Solve -g - 3*g - 2*l - d = 0, -5*g + 2 = 4*l for g.
-2
Suppose 0*g - 4 = -g. Let h = -3 + 5. Solve n - h*d = -8, -3*n - g*d = -2*n - 16 for n.
0
Suppose 42 = 4*x - 22. Solve w + 3*w - 12 = -2*s, -x = -5*w - 2*s for w.
4
Suppose q + 3*q = 3*a + 108, -68 = -2*q - 2*a. Let h = q + -8. Solve 2*l - 1 = 3*c - 3, 3*c - h = -2*l for c.
4
Let r = -142 - -147. Solve 3*x - 2*k + 8 = 0, 6*x - 4*x + 18 = -r*k for x.
-4
Let a be (-4)/(-14) - 19/(-7). Suppose 4*p - 20 = 0, -5*p + 29 = -3*y + 4*y. Solve -2*u - a*b = -1 - 4, -y*b + 18 = -3*u for u.
-2
Let k(l) = -6*l - 2. Let f be k(-2). Let o = 10 - f. Suppose o = -j - 0*j. Solve j*s - 19 = 2*s - 5*m, s + 2*m = 4 for s.
-2
Let p be 2 - (1/(-1))/((-5)/(-5)). Solve v = 2*w - 5 - 2, 11 = -v + p*w for v.
1
Let g(c) = -4 + 4 - 5*c. Let t(x) = -x**3 + 3*x**2 + x - 4. Let b be t(3). Let r be g(b). Solve r*m - 1 = 2*l - 10, -l - 1 = 3*m for l.
2
Suppose 0 = 5*w + 5, -4*w + 2 = p + 3. Let i = -1 + p. Suppose 4*k = -i*y, -4 + 2 = -3*k - y. Solve 0*u - 2*x = 3*u + 4, -12 = 5*u + k*x for u.
-4
Let v(p) = 27*p + 2. Let w be v(5). Let t = -200 + w. Let h = 92 + t. Solve -n - h = 5*z, 3*z + 17 = n + 6 for z.
-5
Let c = 6 - 13. Let j be c*(-1 + 0) + 3. Solve 5*m + 3*s - j = -2*s, 0 = -5*m + 3*s + 10 for m.
2
Let c = 14 + -10. Suppose c = -3*d + 19. Solve d*h + 1 + 14 = 0, -4*h + 8 = -4*s for s.
-5
Let z(k) = k - 3. Let p be z(3). Suppose p = -3*f + 101 + 19. Suppose 0 = -3*c + 20 + f. Solve -5*w + 6 + 4 = -3*l, -l - 3*w + c = 0 for l.
5
Let y be 2 - ((-5)/(-3) + (-18)/(-54)). Suppose 0 = u - f, 0*u - u = 4*f - 15. Solve -u*i = 4*b, 2*i + 3*b + 1 + 0 = y for i.
4
Let h(l) = -l + 2. Let u be h(5). Let z = -2 + 1. Let w be (u - -2)/(z/3). Solve 5*r - 6 = w*g, -5 = 2*g - 3*r - 1 for g.
-2
Suppose o = -3*q - 9, 5*o + 2*q + 3*q = 5. Let t = 6 - o. Solve -x - 4 = 3*i - 2, t = 2*x - 8 for i.
-2
Suppose j + 3*v = 17, -3*j - 5*v = j - 33. Suppose 0*t - 11 = -t + j*m, -t - 4 = m. Solve -k = a - t, k + 0*k - 2*a - 7 = 0 for k.
3
Let r be (1/(-5))/(1/(-25)). Solve 5*y = -0*y + 4*x + 2, 5*y = -r*x + 20 for y.
2
Suppose 0 = -5*w + 55 + 70. Solve 0 = -4*u - 5*j - 22, 4*u + w = -u - 5*j for u.
-3
Suppose 3*u - 3*i = 42, -3*u - 2*u - 3*i + 70 = 0. Suppose -m - u = -3*x, 3*m - 38 = -4*x - 15. Solve -3*g - 8 = -x*k, 4*g + 3 + 4 = 3*k for g.
-1
Suppose 258 = 3*j + 33. Suppose 2*n + j = 7*n + 5*h, -5*n - 3*h = -77. Solve 0*s - n = 4*k - 4*s, 2*s = 3*k + 11 for k.
-3
Let r = -33 + 38. Solve -2*u - n = -6, 0*n + 14 = 2*u + r*n for u.
2
Suppose -s = 1 - 5. Solve z + 0*z - s = b, 0 = -5*b + z - 8 for b.
-1
Suppose -2*t = -4*n + 12, 0*t = n + 5*t - 25. Suppose -3*h + 7 = -n. Solve 5*i = i - 5*r - 28, -h*r = i + 18 for i.
-2
Let b be 0*(-4)/(-8) - -4. Suppose -2*l + 8 = 2*w, -3*l = -w - l - 5. Let k = b - w. Solve 0 = -4*h - 4*c - 12, c - 10 = -2*h + k*c for h.
1
Let b = -39 - -27. Suppose -52 = -s - s. Let q be (-3)/18 - s/b. Solve 14 = -5*t + 2*x, 4*t = -q*x - 2*x for t.
-2
Let f(s) = -s**3 + 9*s**2 + 11*s + 10. Let p be f(10). Suppose n = -4*n + p. Solve -d + c = -3, -d + 4*c + n = 2*c for d.
2
Suppose 2*q + 5 = 3*q, -5*b + 4*q - 5 = 0. Solve -4*s - 3*x = 12, -5*s + 0*s + b*x = -12 for s.
0
Let g = 166 + -164. Solve 3*t = -5*v - 30, g*t = -3*t + v - 22 for t.
-5
Let g(b) be the first derivative of -b**3/3 - 9*b**2/2 + b + 3. Let t be g(-8). Solve 3*r + r = l + t, 4 = 4*r for l.
-5
Let l(t) = -t**2 + t + 10. Suppose 4*g - p = -4, -g - 5*p + 20 = -5*g. Let j be l(g). Solve 0 = -m + 3*m - 3*b - j, -3*m - 3*b = 15 for m.
-1
Let h be (1 - -1) + (7 - 8). Let k be h + 1 - -4 - 0. Solve -3*t + 0*t + 3*z = -k, -5*t - 3*z = 30 for t.
-3
Let o = -1 - -1. Suppose m + 3*u + 2 = -o, m - 12 = 4*u. Solve 5*j + 2*k + 3 = -11, -5*k = m*j + 18 for j.
-2
Let y = -28 - -16. Let s = y - -16. Solve s*r = -2*u - 8, 4*r + 2*u + 3*u + 20 = 0 for r.
0
Suppose 55 = -n + 3*n - 5*f, 5*n + 2*f = 94. Suppose 0*w = 5*w - n. Solve -w*g + 3*x + 19 = 0, 3*g + 4*x = 2*g for g.
4
Let x be ((-8)/(-10))/(8/20). Suppose 6*b = x*b + 12. Solve 0 = o + s + 3, 4*o - b*o + 5*s + 19 = 0 for o.
1
Let g(r) = 6*r**3 - 3*r**2 + 2*r. Let t be g(1). Solve 4*s - t*s + 3*p = -9, 5*s + 5*p = -35 for s.
-3
Let y be (-3)/(-18)*4*(-2 + 8). Solve -4*l - 12 = -2*f, -12 = y*f - 3*l + 7*l for f.
0
Suppose 2*b - 2*g + 3*g = 8, -4*b + 16 = -5*g. Solve 5*a - 3*n + 15 = -0*n, a - b*n + 20 = 0 for a.
0
Let c = -26 - -36. Let w be 1 - -2 - (-10)/c. Solve -4*z + 20 = w*o, -6*o + 5 = -o for z.
4
Let d = 5 + -3. Suppose 0 = -x - d*x. Solve x = 3*i - 6, -4*y + 3*i - 24 = i for y.
-5
Let o(u) = 9*u - 32. Let c be o(4). Solve 3*i + 3*z + 3 = 0, 3*z = c*i - 13 - 4 for i.
2
Let c(h) be the first derivative of -h**4/4 - 5*h**3/3 + h**2/2 + 7*h + 1. Let p be c(-5). Solve -u - 2 = 2*x, 5*x + 20 = 3*u + p*u for x.
-2
Suppose w + 20 = 4*n, 20 = w + 3*n + n. Solve -u + 3*q - 12 = w, -3 = -3*u - u - 5*q for u.
-3
Let m = -94 - -96. Solve 4*p - 2 = -3*h, -p - m*p - h - 1 = 0 for p.
-1
Suppose -2 = -2*h + 6. Solve -3*k = -3*a + 24, 3*k - 20 = -4*a + h*k for a.
4
Let t(j) = j**2 - 5*j + 4. Let p be t(4). Let y be (-7 - -7)/(1 -