 2*k, 4*t + k - 5 + 19 = h for t.
-4
Suppose 0 = -31*k + 26*k + 20. Solve -k*o + 10 = -c, -12 = 6*c - c - o for c.
-2
Suppose 0 = -2*q + 5 + 3, -2*g = -3*q + 12. Let h be g + -445 - (-18)/6. Let i be (h/65)/(2/(-5)). Solve 0 = 3*y - 4*d + i, d = 5*y - 0*d for y.
1
Let z(j) = j**2 + 6*j - 9. Let h be z(-8). Suppose 3*q = 5*c + 28, -q - h = -3*q + c. Suppose b - q = 13. Solve -5 + 0 = -5*g, b = -3*l + 5*g for l.
-3
Let p(w) = -w**3 + 46*w**2 - 48*w + 138. Let v be p(45). Solve -2*k + 5*k = -2*j - 4, -j - k - v = 0 for j.
-5
Let z(v) = v - 7. Let q be z(19). Solve 4*g = 2*w - q, -4*w + 3*g - 3 + 17 = 0 for w.
2
Suppose -2*l - 28 = -5*y, -5*y - 13*l + 8 = -10*l. Solve 8 - 3 = 5*q, -r - 8 = -y*q for r.
-4
Suppose -788*l - 45 = -797*l. Solve 0*x + 4*x - 17 = 5*k, 0 = -5*k - l for x.
3
Let q(h) = h**2 + 7*h - 7. Let s be q(-6). Let p = -8 - s. Suppose -53 = -3*b - 50. Solve 0 = 2*a - 3*j - b, -a + 6 = p*j - 1 for a.
2
Suppose 43 + 19 = 4*b - 5*q, -3*q = 5*b - 59. Let m be (-13)/(-3) - b/39. Solve 10 = -2*x - 2*y + m*y, 3*x + 5 = y for x.
0
Let c be 8/(-4) + 10 - 0. Solve -3*i + 6 = 0, -a - 3*i + c = 2*i for a.
-2
Let k(h) = -h**2 - 13*h - 21. Let o be k(-6). Let a(c) = -c**3 - 4*c**2 - 5*c - 2. Let w be a(-3). Solve 2*q - 3*b = -w*b - 8, 0 = -5*q - 3*b - o for q.
-3
Suppose -9 = d + o, -3*o = -8*o - 10. Let v be d*1/(2/(-6)). Suppose -3*u + 2*x - 3 = -x, 5*x = 25. Solve -y - 8 = 4*s, 0*y = -5*s - u*y - v for s.
-1
Suppose 6*m - 3*m + 5 = 2*c, -5*c + 4*m + 16 = 0. Let j be (-1 - 0/(-1)) + -13. Let k = -14 - j. Solve -4*d - f + 2*f = 6, d + f + c = k for d.
-2
Let t(r) = -r**2 + 7*r + 16. Suppose 33 = 3*s - 4*v, 3*s - 8*s = 2*v - 29. Let u be t(s). Solve n - 3*n - u = -4*a, -20 = -5*a - n for a.
4
Let q(v) = -8*v - 13. Let w be q(-4). Suppose -u + w = 5. Let m be (-4)/(-14)*u/2. Solve n + 3*f - 20 = -4*n, m*n - 4*f + 18 = 0 for n.
1
Let p = 46 + -30. Suppose 0 = 3*t - 5*i - p, t + 0*i + 4 = -3*i. Solve 6*z - 4*z + 6 = t*v, -2*v + 2 = 2*z for z.
-1
Suppose 4*x - 9 = 5*j, 3*j + 0 + 5 = 2*x. Suppose 5*o + 1 = -i, 2*i - i + x = 0. Solve -u = -2*c - 4, o = -c - 2*c + 5*u - 6 for c.
-2
Suppose 2*x + 10 = -4*t, 0 = 4*x - 9 - 11. Let w be (-818)/(-10) + (-1)/t. Let v = -57 + w. Solve 2*n + 3*q - v = -3*n, -27 = -n - 5*q for n.
2
Let y(o) = -58*o + 3. Let k be y(-2). Suppose 118*b = k*b - 5. Solve 3*z = -9, c + 0*z = 2*z + b for c.
-1
Suppose -5*d + f + 29 = 0, -3 = 2*f + 5. Solve -i + 2 = 0, 2*t - d*i = -2*i for t.
3
Let i = -7 + 15. Solve i*n - 3*n + 8 = g, 0 = -2*n - 5*g + 13 for n.
-1
Let m(l) be the first derivative of -l**3/3 - 15*l**2/2 - 10*l + 7. Let h be m(-13). Solve 3*s - i = -3*i - 7, 4*s - 4*i + h = 0 for s.
-3
Let o be (-24)/(-15) + -2 - (-1376)/40. Suppose 38*x - 4 = o*x. Solve 0 = v + 3*z - 13, -2*z - x + 11 = v for v.
4
Let y be (-12)/(-3) - 0 - 0. Suppose -y*m + 20 = 8. Solve 4*j - d - m*d = 0, -4 = 2*d for j.
-2
Suppose 12 + 3 = 3*a. Suppose -a*i + 21 = -9. Let y(k) = k**3 + 10*k**2 - 34*k - 5. Let d be y(3). Solve -d = 5*w, -4*n - 3*w + 0*w + i = 0 for n.
3
Let u(o) = o**3 - 21 - 9*o**2 + 52 - 29. Let v be u(9). Solve v*a = -w - 3*a - 1, -4*a = 0 for w.
-1
Suppose -102*b - 8 = -104*b. Solve -b*v - 10*i = -14*i + 16, 11 = v + 4*i for v.
-1
Let n = 98 - 74. Solve -5*a + 14 = -i - 2, 0 = 2*i + 4*a - n for i.
4
Suppose -5*s - 25 = 0, 6*n - s = n + 30. Solve -2*t + 3*y + 12 + 10 = 0, 0 = -2*t + n*y + 30 for t.
5
Let w be (-6)/9 + 70/15. Let j be 184/16 + 2/w. Solve -c = 4*u - 8 + 26, -4*u - j = -2*c for u.
-4
Let g be (-35)/(-11) - (-8)/(-44). Let w(r) = r - 3. Let v be w(g). Solve -m + 4*m = -5*s - 9, v = m - 2*s - 8 for m.
2
Suppose 9 = 3*x, -x - 32 = -5*i - 5*x. Solve 4*r = 2*r + 3*k - 3, 4*k = 2*r + i for r.
0
Let g(l) = -l**2 + 14*l - 31. Let x be g(10). Solve -3*o = 2*h, -3*h - 4*o + x*o + 19 = 0 for h.
3
Let t(k) = -2*k + 6. Let h be t(1). Solve -2*s + 5*j + 28 = 0, 0 = h*s + j - 16 + 4 for s.
4
Suppose -3*y = 4*n - 26, 5*n - y + 3 - 26 = 0. Let i be ((-20)/(-6))/n*-78. Let q = -31 - i. Solve -2*j - r - 4 = j, q = -2*j + 3*r for j.
-3
Suppose 11 = -b - y + 16, b - 9 = -5*y. Solve t = -c - 3, -8 = b*t - 4*c + 20 for t.
-5
Let v = -23 + 16. Let o = 19 + v. Let m be (10/(-3))/((-8)/o). Solve m*s - 3*u - 29 = 0, 2*s - 20 = 3*u + u for s.
4
Let v(g) = -g**2 + 15*g - 10. Let k be v(14). Solve m - k*l = -18, 5*m - m + 2 = 2*l for m.
2
Let r(w) = 4*w**2 - 31*w + 78. Let f(t) = t**2 - 10*t + 26. Let j(b) = -7*f(b) + 2*r(b). Let g be j(-11). Solve -g = -3*m + 4*m - 4*i, -3*i = -3*m + 6 for m.
5
Suppose -5*z + 9 = -5*u + 139, -4*z - 2*u - 74 = 0. Let l be (12/z)/((-2)/7). Solve 5*b = 2*b - 9, -l*b = -5*s + 16 for s.
2
Suppose 4*z - 119 = -3*a, a - 5 = -z + 33. Solve -t = -5*x + 8 - a, -5*t = 3*x + 15 for x.
-5
Suppose -4 - 8 = -4*n. Let b be (20/6)/((-6)/(-9)). Let u(k) = -2*k**3 + k**2 - k + 4. Let s be u(-2). Solve 5*v + 8*z = n*z + 20, b*v = z + s for v.
5
Let x(h) = -79 + 75 - 2*h + 2*h - h. Let i be x(-8). Solve 5*k - 3 = -v - i, -4*k = 0 for v.
-1
Let w(z) = z**2 - 22*z - 23. Let k be w(23). Suppose 5*h - 10*h = k. Solve 0 = 5*n - 15, h = -5*i - 3*n - n + 37 for i.
5
Let z = 415 - 405. Let a(o) = 1 - 5 + 3*o + 1. Let u be a(3). Solve 2*c + 2*h = u, -3*h + 1 = 5*c - z for c.
1
Let u be ((-55)/20 - -3)/((-1)/(-8)). Solve -3 = -u*s + 3*s - 5*y, -3*y + 3 = 0 for s.
2
Let v(y) = 2*y**2 - 14*y - 15. Let m be v(8). Let l be ((4 - -1)*5)/m. Solve -r + 5*a = -0*a + l, 4*r - 10 = -2*a for r.
0
Suppose -5*d + 67 + 108 = 0. Let j = 39 - d. Solve -3 = -2*c + j*c + h, c = -3*h - 9 for c.
0
Suppose 4*v = q + 52, -2*v + 5*q + 19 = -25. Suppose -8*h = -12*h + v. Solve 0 = -5*g + 4*p + 14, -h*g - 4*p = -1 - 1 for g.
2
Let g(s) = 6*s + 6. Let z be g(-7). Let w = z - -40. Solve -4*j - 4 = w*c - 0, -4*c = 5*j + 8 for c.
3
Suppose -10 = -5*f + 10. Solve 4*t - t - 15 = 0, -f*m - 3*t = -7 for m.
-2
Suppose -10 = -28*b + 26*b. Solve 29 = b*f + h, -h + 6*h - 25 = -f for f.
5
Suppose 0 = 4*h - h - 9. Suppose 5*d + 35 = h*z, 95 = 5*z + 2*d - 3*d. Solve -l - 4*k = -2*l + 15, 3*l = -k - z for l.
-5
Let j(n) = n**3 - 4*n**2 + n + 1. Let o be j(4). Suppose 9 = -6*w - 3. Let z be (-4 - -4) + w + 6. Solve o*a - u = 25, a - 25 = -4*a + z*u for a.
5
Let o be 200/120 - (-25)/3. Solve 2*l = -0*l, -2*x - 5*l = o for x.
-5
Let p be (3 + -2)*(1 - -4). Solve 0 = -3*q + p*a + 4, 4*a - 2 = q + 4*q for q.
-2
Let i = -484 - -484. Solve i = -3*t, 0*h - 3*t = 2*h for h.
0
Suppose 5*y = -2*t + 11 - 3, -5*y + 26 = -t. Let v be (t/(-5))/(4/10). Let d be v - (3 - (0 - -3)). Solve -2*c - d*s - 1 = 0, 2*c - 5*s - 23 = -0*s for c.
4
Suppose 9 = -2*q + 13. Solve 3*g + 2 = -4*r, r - 2*r = q for g.
2
Let n be (-275)/(-88) + (100/(-32) - -3). Let c(b) = b**2 + 5*b - 1. Let t be 1 - 8 - (2 - 3). Let l be c(t). Solve 3*u = f + n*f - 15, 15 = l*f - 3*u for f.
0
Suppose 0 = 22*v - 15*v - 175. Solve 3*f + 3*h = 10 - v, f - 3*h = 11 for f.
-1
Let d(o) = 26*o - 229. Let i be d(9). Solve -5*c - i*l = 0, -2*c - 3*c = 2*l for c.
0
Let c(n) = 3 - 6*n**2 - n**3 + 1 + 0 - 1. Let a be c(-6). Solve -a*t - 9 = 3*m, -m = -0*m + 5*t + 3 for m.
-3
Let u be (25/10 - 2)*-2*-3. Solve 2*p + 8 = 4*x - 5*x, -u*p - 23 = -4*x for x.
2
Let i = -59 - -64. Suppose d + 1 = i. Solve d*m + 29 = -3*k, 0 = -0*k + 5*k + 15 for m.
-5
Suppose 3*o - 2*o - 44 = -5*m, 0 = -3*m - 5*o + 44. Solve -4*w = -0 + 20, -3*r - m = 4*w for r.
4
Suppose -6*f = -24 - 0. Let q = -4 - -13. Suppose q - 37 = -f*u. Solve 5*l + 4*w + u = 0, l = 4*w + 15 - 2 for l.
1
Let w be 184/(-414) + 211/9. Solve t = 4*t + 2*v - w, -v = -2*t + 6 for t.
5
Let w = -18 + 18. Suppose 4*l + 5*f - 30 = w, -3*f = 4*l - f - 24. Solve 3*s - 9 = 0, -9 = -d + l*d + s for d.
-3
Let i be (-15)/20*40/(-6). Suppose -3*y = i - 11. Solve 4*q - y*k + 4 = 0, -3*q + 3*k - 4*k = 8 for q.
-2
Suppose 0 = 2*g + 3*g + 3*d - 82, 0 = -4*g - 4*d + 72. Suppose 3*c = g*c - 33. Solve -c = -3*s - u, 4*s - 17 = u + 2*u for s.
2
Let w be (-1 + 4 + -1)*(-2)/(-2). Let o be ((-2)/4)/(w/(-48)). Solve o = 2*x - h, -3*x + 3*h = -17 - 4 for x.
5
Let r be (-1 - 0)/((-11)/110). Suppose -55 = -o - r*o. Solve -o*i + a = 29, 4*i + 16 = -2*a + a for i.
-5
Suppose -5*l + 3*c + 15 = 0, -2*c - 4 - 6 = 0. Solve l = -5*d - 5*f, -3*d + 3*f = 25 + 5 for d.
-5
Suppose -3*u + 39 = 2*v, 49 = 4*v + 5*u - 26. Suppose -3*d + 6