 2*k - 3*t - 5 = 0 for k.
-5
Let q(d) = 2*d**2 + 23*d - 66. Let k be q(-14). Solve -2*v = -2*y + 4*y - 6, -k*v - 2*y = -10 for v.
2
Suppose -105 = -10*l - 75. Solve -c + 14 = 5*h - 2*c, -4*c = l*h - 13 for h.
3
Let u(j) = 2*j**3 + 15*j**2 + 16*j - 10. Let a be u(-6). Solve 2*q + q + 15 = -y, 3*q - a*y + 6 = 0 for q.
-4
Let h be (8 - -4) + (-1 - 3). Let g(v) = v**3 - 7*v**2 - 9*v + 10. Let j be g(h). Solve 2*u + j = 2*p, -u - p - 9 = 2*p for u.
-3
Let o(z) = z**3 - 26*z**2 + 88*z. Let c be o(22). Solve h - 5*h + 5*a = c, 2*h - 5*a = 0 for h.
0
Let k be 0/2 - (-24)/1. Suppose -m + 7 = -c, -5*m + 11 = -c - 8. Suppose 0 = -m*l + 2*z + 3 - 2, 2*l = -5*z + 26. Solve k = -u + 5*q, -l*u - 5 + 13 = 5*q for u.
-4
Let u = -701 + 707. Solve c = -4*c + x + 18, -2*c - 4*x = u for c.
3
Let u(r) = -9*r + 5. Let h be u(-3). Suppose 5*o - 2 - 148 = 0. Let j = h - o. Solve 5*w = j*d - 17, -4*w - 12 + 0 = 0 for d.
1
Let t = -12 - -19. Let w(p) = 2 - 6 + 3*p - 2*p. Let c be w(t). Solve -4*v - 5*y = -17, 2 = c*v + 2*y - 2 for v.
-2
Suppose 38*a - 25 = 43*a. Let t be 15/a*10/(-6). Solve x = -t*r + 11 + 5, -3*x = -r + 16 for r.
4
Suppose -n + 107 = 4*c + 4*n, 3*c + 5*n = 84. Suppose -3*v = -c + 14. Solve 4*k - 19 - 1 = -v*y, 3*y = -2*k + 16 for y.
4
Let k be 2/(-8)*(-5)/((-15)/(-24)). Solve -n = b - 6, 2*b + n = 3*b - k for b.
4
Let s be ((-54)/(-72))/((-2)/(-24)). Suppose q - s = -7. Solve -2*h - 13 = -3*y, 2*y = h - q*h - 3 for h.
-5
Suppose 5*l - 2*l + 6 = 0. Let o be (1 - 0) + l - (-14 + 9). Solve -o*s + 4*b = 0, -2*s + 4*s - 7 = -5*b for s.
1
Let p = 28 - 15. Suppose -43 + p = -5*k. Let x = k - -1. Solve 2*h + 10 = 0, 30 = -4*v - 5*h - x for v.
-3
Let i = 126 - 101. Let p be 2*130/i + (-4)/10. Solve 4*o - p = -3*v, 0 = -5*o + 3*v - 2 + 1 for o.
1
Let h be (0*(56/24 - 2))/2. Let a be (2/5)/(1/60). Solve -2*n = 4*b + 20, 2*n + h*n = -5*b - a for b.
-4
Let v = -23 + 26. Suppose 4*z + 0*z = v*z. Solve 5*q - w - 2 + 18 = z, -4*q - w - 11 = 0 for q.
-3
Let s = -282 - -285. Solve -2*f - p + 2*p - 11 = 0, 7 = -2*f - s*p for f.
-5
Let n(w) = -2*w**3 + 20*w**2 + 9*w - 88. Let f be n(10). Solve 3*u - 2*u - f*g - 9 = 0, 0 = 4*u + 3*g + 19 for u.
-1
Let a(n) = -22*n - 7. Let f be a(-6). Suppose 123*i - f*i = -46. Solve 16 = -5*t - 2*r + 6*r, 5*t = -3*r - i for t.
-4
Let q = 260 + -256. Solve -15 = 5*m + 2*x, -5*m - q*x + 10 - 25 = 0 for m.
-3
Let h be 168/756 - 4*(-1)/(-18). Solve -3*q + x + 2 = h, 4*q = q - x + 4 for q.
1
Suppose -2*q + 5*q - 18 = -5*u, 2*q = -3*u + 11. Solve 2*c + 2*n + n = u, -c + 1 = n for c.
0
Suppose -75 = -12*t - 27. Solve 3*v + 3 = 5*b, t*v + 4*b = -4 - 0 for v.
-1
Suppose 2*r + 5*g = -0*r - 84, -r = g + 36. Let p = -28 - r. Solve 2*t = 3*j - 25, -p*t = 2*j - j + 15 for t.
-5
Let x = 220 - 200. Solve k + 2*p = -3*p + x, 5*p - 45 = 4*k for k.
-5
Let t be 2 + -3 + 18 - 5. Suppose -t*h + 1 + 35 = 0. Let k = -1 + 1. Solve -h*l = p + 15, -4*l + 5*p + 1 - 2 = k for l.
-4
Let m be (27/(-18) - (-3)/2)/(-2). Suppose m = 2*q - 20 + 10. Let n = -1 + 2. Solve k = o - n, 1 = q*o - 2*k + 5 for o.
-2
Suppose 3*v + 3 = 0, 5*o + 0*v - 3*v = 28. Solve -45 = 5*i + o*q, 10*i - 5*i = 3*q - 13 for i.
-5
Let b(d) = -3*d + 30. Let l be b(9). Suppose -5*v = 4*f - 14 + l, -5*v + 10 = 5*f. Solve r + 0*r = 3*s + 8, v*s = 5*r - 16 for r.
2
Suppose -8 + 33 = 5*w. Suppose -s + d = -5*s + 14, w*s + d - 17 = 0. Solve a - 10 = -3*n + 5*a, 0 = -s*n + a + 7 for n.
2
Suppose -3*d = -4*j - d + 14, 0 = 2*j - 4*d + 2. Solve -2*c + 0*q = 4*q + 4, 0 = -3*c + j*q - 6 for c.
-2
Let f(y) = -y + 16. Let a = 1 + -1. Let p be f(a). Suppose 4*o + 2622 = 2642. Solve -o*x + p = -s, -4*s = -2*x + 3*x - 20 for x.
4
Let c(t) = 457*t - 5936. Let y be c(13). Suppose -q - 1 = -2. Let p(o) = 4*o**3 + o**2. Let h be p(q). Solve -2*k + 1 = -r - 0, y*k - 25 = -h*r for k.
2
Suppose 4*h - 4 = -3*g, -h + 3*g = 2*h - 3. Solve 0 = -x - h - 4, 2*n + 17 = -5*x for n.
4
Let q(f) = -f**2 - 4*f + 1. Let c be q(4). Suppose 0 = -4*l - 2*w + 146, -4*l + 3*w - 8 = -139. Let x = c + l. Solve 4*m + 12 = -4, -x*k + m = -24 for k.
5
Suppose 0 = 2*w + 4*q - 20, 4*w - 2 = 3*q + 5. Solve 3*p - 5*p + 10 = 2*u, -p = w*u - 14 for p.
2
Let r(g) = 3*g**2 - 27*g + 65. Let u be r(4). Solve -o - 7 = -u*w + w, -4*o - w + 23 = 0 for o.
5
Let o be (36/48)/((-1)/(-4)) - -2. Suppose -5*a = 4*j - o, -4*j = -2*a + 49 - 19. Solve g - 2*g = -3*y - 11, 0 = -4*y + a*g for y.
-5
Suppose 0 = 5*n - 3*n - 6. Suppose 4*y - 16 = 5*k - 0*y, -3*k + n*y = 12. Solve -z + p - 4 = k, -4*z = 5*p - 2 + 9 for z.
-3
Suppose 90*l - 40 = 85*l. Solve 0 = 3*t - t + 5*q + l, -4*t + 3*q = 16 for t.
-4
Let b = 8 + -4. Suppose -2*q + 2 = 3*d, b*d - 2*d - 2 = -q. Let c be d - 0/(4/(-1)). Solve 3*a + 4 = y + 5*a, 16 = -c*y + 2*a for y.
-4
Suppose -33*x + 37*x - 12 = 0. Solve -x = o - d - d, -2*o + 4 = d for o.
1
Let n = -15 - -22. Suppose -4*r + 13 = -n. Suppose 3*m - 7 = 2*y, -3*y = -4*m + 7 + 2. Solve 5*w - 5*j = -0 + r, 4*j = w - y for w.
1
Let l(v) = -v**2 + 8*v + 10. Let q be l(7). Let s be -9*3/(-9)*(-4)/(-3). Solve -s*g = -3*i - q, 6 = -i - 3*i + 2*g for i.
1
Suppose -304 = -5*h - 279. Solve 5*l = 2*y - 11, h*y - 3*y - 4*l = 8 for y.
-2
Let m = -48 - -8. Let g = m - -45. Solve g*v + 4*f = 0, 5*f = -3*v - 0*f for v.
0
Suppose w = -p + 20, 7*w - 45 = 5*w - 3*p. Solve 0 = -d - 2*z + 6, 4*d - 3*d - 5*z + w = 0 for d.
0
Suppose 3*n - 63 = 3*h - 6*h, 4*h = 20. Solve -2*l - n = -0*l - 2*t, -5*l = 5*t + 10 for l.
-5
Suppose 0 = 2*p + 5*m, -2*p - m + 7 = -3*p. Let a be 0/(p/(-5) - -1). Solve -1 = b, a = 3*c + 4*b + 1 + 6 for c.
-1
Let c(i) = -2*i - 2. Let a be c(-2). Let w(r) = -r - 29. Let m be w(-32). Suppose -m*g - a = -14. Solve -z + o = 2*o + 4, -16 = z + g*o for z.
0
Suppose -5*q - 29 = -104. Suppose -1 - 5 = 3*m + 2*d, -5*m - 5*d = q. Let p(k) = -k**2 - k + 4. Let a be p(m). Solve 0 = -2*f - f - a*u - 16, -2*u = 8 for f.
0
Let b = 81 - 88. Let u be b/(21/(-9)) - 0. Solve -2*t = 0, 0*p + 3*p - u*t = 15 for p.
5
Let m(x) be the first derivative of -x**4/4 + 7*x**3/3 + 7*x**2/2 - 3*x + 5. Let b be m(8). Let t = -8 - b. Solve 3*s - 15 = 2*y, t*y = s - 4 - 1 for s.
5
Let u(x) = -4*x - 29. Let r be u(-9). Suppose -r*n = -4*n - 15. Solve 2*l = -c - 4, -c - n*l + 12 = -4*c for c.
-4
Let t(n) = -n**3 - 3*n**2 + 6*n. Let c(f) = -f - 20. Let p = 13 - 28. Let d be c(p). Let y be t(d). Solve 0 = -2*s + 5*b + 4 - 28, 3*b = 4*s + y for s.
-2
Let n be (-18)/12 - (-3)/(-6). Let u = n + 7. Solve -3*i = 2*z - 16, 5*i - z + u*z = 28 for i.
4
Let g(j) = -17*j - 63. Let w be g(-4). Solve 3*r - 4*f - 26 = 0, w*r - 3*f - 25 = -0 for r.
2
Let g(h) = -h**2 - h + 54. Let x be g(-7). Solve 2*y + x = 2*i - 7*i, 0 = 5*i + 5*y for i.
-4
Let q = -46 + 45. Let u be q + 0 + (-3 - -10) - 3. Solve 2*x = -4*i, u*x = -0*i + 2*i - 8 for x.
-2
Let y = -6 + 11. Suppose -41 = -18*t + 17*t. Suppose -y*a = -2*a - 5*w - t, a - 11 = -w. Solve -c - 4*l = 0, 2*l = 2*c - 2*l - a for c.
4
Suppose -6 = -12*y + 30. Solve -3 = 5*b - t, -1 = y*b - 2*t - 2 for b.
-1
Let o = 8 - 6. Let w(d) = 1 - 2*d + d**o + d**2 + 0. Let r be w(1). Solve -r = -4*b + 5*h + 3, -5*b + h + 5 = 0 for b.
1
Let s be ((-3)/(18/8))/(14/(-189)). Solve m = -2*m - 2*o - 2, -s = -m + 4*o for m.
2
Suppose 2*f = -16 - 50. Let g be 6/(-33)*1 + (-204)/f. Solve s + 3*u = -0*s - g, -4*u - 19 = 5*s for s.
-3
Let p be (((-418)/(-33))/19)/((-2)/(-18)). Suppose 4*z = 2*z + 8. Suppose -5*c = 3*g - 2 - 20, z*g = -2*c + p. Solve 5*m - 4*s = c, 2*s = -s - 15 for m.
-3
Let y(f) = f**3 - 7*f**2 + 6*f - 5. Let b be y(6). Let v(s) = -s**3 - 5*s**2 + 3. Let a be v(b). Solve -3*q - a*g = -0*g - 3, 2*q + 4*g - 2 = 0 for q.
1
Suppose -4*o = -6*o + 90. Suppose 2*q = -3*q + o. Solve 4*j + 18 - 6 = -2*l, l = -5*j - q for j.
-1
Suppose -4*f + 7 + 25 = 0. Let a = f + -3. Let m = 19 - a. Solve 0*v - v = -2*i + 1, m = -4*v + 3*i for v.
-5
Let p = -123 - -132. Solve -t + 7*r + p = 5*r, -3*r - 21 = -3*t for t.
5
Let t = -2931 + 2933. Solve -t*v = -s - 8, 5*s - 11 - 24 = -5*v for s.
2
Let k = 282 + -280. Solve -26 + 6 = -4*o - d, 0 = k*o + 3*d - 20 for o.
4
Let y(p) = 3*p + 17. Let o be y(6). Solve -v = 1 + 4, -5*t + 4*v = -o for t.
3
Let y(v) = -7*v - 81. Let o be y(-13). Solve o = 5*s - 4*z - 5, s = -2*z - 11 for s.
-1
Let i(c) = -3*c - 1. Suppose 5*j = -4 - 16. Let n be i(j).