= 4*z - 5*t for z.
-2
Suppose 4*l - 10 = -26*h + 21*h, -h - 27 = -5*l. Suppose -5*m - 25 = 0, m = 3*k - 0*m - 5. Solve -4*j = -4*v + 8 - k, -10 = l*j - 4*v for j.
-2
Suppose 0 = -15*u + 81 + 39. Solve -4 = -5*s + 2*s + 5*q, -4*q - u = 0 for s.
-2
Suppose -9 = 3*d, -5*d + 0*d = 3*b + 24. Let f be 300/24 + b/2. Solve -4*n - 5*p + 6 + 19 = 0, f = 2*n + p for n.
5
Let n be -8 + -4 + (7 - -8). Suppose -3*g = -4*p - g + 12, 6 = -3*g. Solve 0*h = w - p*h + 8, -4*h = -n*w - 16 for w.
0
Suppose 8*v - 15 = 9. Solve -3*n = -v*o - 24, 0*n - 2*o = 5*n - 5 for n.
3
Suppose -3*q = 2*q - 30. Suppose 3*y = y + q. Let w be 1/(-3) + (-64)/(-12). Solve -5*a - w = 5*i, -4*i - 4 = -2*a - y*i for a.
1
Let w(b) = b**3 + 6*b**2 + 6*b - 7. Let h(r) = 2*r + 3. Let j be h(-4). Let g be w(j). Let u = -12 - g. Solve -3*z + 2*q - 5 = 17, -z + 3*q - 19 = u for z.
-4
Let p(g) = -g + 1. Let a(m) = -m**3 - 7*m**2 - 5*m + 5. Let s(j) = -a(j) - 3*p(j). Let q be s(-5). Solve q*o + 4*h + 5 = -1, 0 = 4*o + 5*h + 9 for o.
-1
Suppose -3*g + 3*c = -6, -g - c = 2 - 0. Suppose 5*b = 2*x - g*b - 15, 0 = -2*b - 2. Solve p + 2*u = 4*p - 1, 3*p - x*u - 7 = 0 for p.
-1
Let c(d) be the second derivative of -3*d**5/20 + d**4/6 + d**3/2 - d**2 + 3*d. Let x be c(2). Let j = 16 + x. Solve 0 = -g + j*a + 4, 3*g + a = 12 for g.
4
Let u = 30 - 25. Solve 3*k + 4*n = -8, -u*n - 8 = 2*k + 9 for k.
4
Suppose -3*x - 2*x = 5. Let z = x - -7. Let a be 1/2 + (-62)/(-4). Solve 4*v + j + a = 0, -12 = 3*v - z*j + 3*j for v.
-4
Let w = -21 + 23. Suppose -20 = 3*r - 8*r. Let c = -3 + 7. Solve 2*n = w*f + 6, -n = -c*n + r*f + 7 for n.
5
Suppose 7*z + 49 = 84. Solve 26 = l + 3*l - z*w, 4*l - 24 = 4*w for l.
4
Let c(w) = -2*w - 6. Let a be c(7). Let d = -9 - a. Suppose 0 = -2*i - 2*o - o - d, 3*i - 3*o = 21. Solve -g = -3*q + 3, 2*g - i*q + 6 = q for g.
-3
Let u(g) = 3*g - 3. Let a be u(2). Suppose q + a*k = 3*q - 6, -3*q - 4*k + 9 = 0. Let i = -41 + 44. Solve -6 = -n + j, -n - q - 3 = i*j for n.
3
Let i(y) = -6*y**2 - 34*y - 17. Let u be i(-5). Solve u*w = -3*n + 9, 4*w - 19 = -3*n - 5 for w.
5
Let g be (-6)/(1/1)*4/(-8). Solve 0 = -h - h - 6, g*h = b - 7 for b.
-2
Let b = 72 + -66. Let j be (-48)/(b/(-2))*(-2)/(-4). Solve -3*i + j = -5*y, -3*i + 5 + 2 = -4*y for i.
1
Suppose -5*x - 2 = -3*q, -5*q + 4 + 8 = -4*x. Solve p - 10 = 5*l, -5*p = -5*l - 34 + q for l.
-1
Let k(g) be the first derivative of g**4/4 + 5*g**3/3 - 5*g**2/2 + 9*g + 12. Let v be k(-6). Solve 5*l - 3*a + 4*a = -17, -3*l - v*a - 3 = 0 for l.
-4
Suppose 0 = 4*i - 3 - 5. Suppose i*a + 4*a - 24 = 0. Solve 2*d + a*o = -12, -2*d - 2*o - 16 = 3*o for d.
2
Let v = 352 + -348. Solve -v*u = -n - 13, -23 = -2*u + 4*n + 1 for u.
2
Let l(a) = a**2 - 6*a - 24. Let k be l(8). Let p = -17 - -57. Let r be (-242)/k - 10/p. Solve -j - 4*o = 13, 0 = -4*j + o - 6*o - r for j.
-5
Let q be (-3)/6 + 9/2. Solve -q*t + 5*p = 30, -2*t = -2*p + 17 - 3 for t.
-5
Suppose 2*f + 45 + 51 = 0. Let n = f + 50. Solve -6 = m + n*j - 2, 16 = -4*m + j for m.
-4
Suppose 0 = 7*f - 6*f - 60. Let s = f - 54. Solve 18 = c - 5*c + 2*m, 2*m = c + s for c.
-4
Suppose -18 = 4*v - 6. Let h = v - -3. Let o = 27 - 7. Solve 5*z + o = -2*p - 1, h = -p - 4*z - 18 for p.
2
Suppose 7 = g + 38. Let c = g - -39. Solve -2*o + 18 - c = -4*t, -3*t - 3 = -3*o for o.
-3
Suppose 0 = -3*c + 9, 2*c = z - 0*z - 10. Suppose -2*l + 10 = 3*k, 13*k - 8*k - 18 = -4*l. Solve 5*n - 2*i = -1, -4*n + z = 2*i + k*i for n.
1
Suppose 4*r = 4*w - 17 - 3, 2*r + 10 = 0. Solve 3*m + 5*d - 6 = 2*d, m - d - 4 = w for m.
3
Let r be (-2)/(-13) - 259/(-91). Solve -p - 1 = r*a, 2*a + p = -3*a - 3 for a.
-1
Suppose 4*f - 1153 + 1073 = 0. Solve 2*l + 20 = -2*l + 4*d, -f = 4*l + 4*d for l.
-5
Suppose 0 = 3*u - 6*u + 12. Let k be (0 + 0 - u) + (44 - 35). Solve 6*m = 2*m - 8, -k*y + 13 = -4*m for y.
1
Let r(q) = q**3 + 5*q**2 - 12*q - 34. Let n be r(-6). Solve -4*i - n*u + 26 = 0, -16 - 7 = -4*i - u for i.
5
Suppose 2*m - 90 = -5*u, 3*m - 130 = -0*m - 5*u. Solve -2*a - 18 = 2*j, 6*a - a = -4*j - m for a.
-4
Let i(m) = 3*m**2 - 82*m - 53. Let d be i(28). Solve -13 = a - 4*v, -5*v + 23 = d for a.
3
Let h be (6 - 3)/((-6)/40). Let d be 3 + -3 + (-3 - -5). Let q be ((-16)/h)/(d/5). Solve -2*i + 2*p - 8 = 0, 0*i + i - q*p = -5 for i.
-3
Let s be (2 - (2 + -1)) + 5. Let x be (2/s)/((-1)/(-24)). Let c be (-2*(-2)/2)/((-180)/(-270)). Solve c*k + 39 = -5*f + x, 5*k - 5*f - 15 = 0 for k.
-2
Suppose -j + q + 20 = 19, 0 = -j - 4*q + 6. Solve -3*m - 9 = -3*y, j*m + 2*y = -2*y + 18 for m.
1
Let m be ((-4)/3*-3)/1. Solve 6*k + m*z - 10 = k, 4*k - 8 = 2*z for k.
2
Let b = -1068 - -1070. Solve 0 = z + l - b, -4*z - 3*l + 2 = z for z.
-2
Suppose 26 = 2*l + 14. Let x = 7 - 7. Suppose -t - 2*t = x. Solve 0 = v - l*v + 20, -3*n + v - 1 = t for n.
1
Suppose 63 - 21 = 3*s. Let p(i) = i**3 - 15*i**2 + 16*i - 24. Let b be p(s). Solve 2*w - 2 = -b*m, 4*m - 4*w = 3*m - 4 for m.
0
Suppose 4*l = -3*a - a + 116, 0 = 3*a - 12. Let k(m) = m**2 + m - 5. Let n be k(0). Let u = -3 - n. Solve z = g + 10, z + u*g + l = 4*z for z.
5
Let s(v) = -5*v + 5. Let g be s(-3). Suppose g = -5*w + 10*w. Solve 6*m = 4*k + 3*m + 2, w*k + 5*m - 14 = 0 for k.
1
Suppose 2*y = -0*l + 5*l + 16, 0 = -2*y + 3*l + 12. Let w be 42/7 - (0 + 6). Solve 4*a - 3 = -g, w*a - y = -g + 5*a for g.
3
Let v(t) = -t**2 + 20*t + 128. Let q be v(-5). Solve -4*p = -3*i + 3, -p + q*p - 1 = -i for i.
1
Suppose -391 = -16*w - 55. Solve -j + 5*l - w = l, -3*j + 3*l - 18 = 0 for j.
-1
Suppose 2*h - 17 = y, 0 = -3*y + 3. Suppose 16*p = 13*p + h. Solve -2*w - p*w = 5*n + 15, -3 = -w + 5*n for w.
-2
Let m be 4/(3 - -5)*2. Let g(a) = 4*a. Let t be g(m). Solve 3*k + 3 = -2*c, 0 = t*k - 2*k - 5*c - 17 for k.
1
Suppose 16 = -2*z + 4*z. Suppose -d + 5*d = z. Let y be 1*(d + -1) + 22. Solve y = -2*p - 5*f, -6*p + 4*p + 17 = -3*f for p.
1
Suppose 2*x = d - 4*d + 7, -5*x - 20 = -5*d. Let v be (-1 - -4) + 3 + (0 - d). Solve -5*r = 3*y - 26, 4*r - v*y - y = 8 for r.
4
Let t(s) = 21*s**2 + 2*s + 1. Let j be t(-1). Let v be j/(-6)*(-42)/35. Let y be 12/(3 - 6/v). Solve 2 + 2 = -2*z, 2*f - y = 5*z for f.
-1
Suppose -g = -2*g + f + 15, 4*f = 5*g - 79. Let o be 5/(-15) - 1/(-3)*g. Solve -4*c - 2*x + o = 0, 5*c + x - 27 = 5*x for c.
3
Let o = -6 + 10. Suppose 0 = -o*t, t = 2*l - 3*l. Solve -5*y - 5*x + l*x = 0, -5*y = x for y.
0
Let s(f) = -17*f + 465. Let w be s(27). Let z = -2 - -2. Suppose o = 3*v - z - 12, 3*o = -4*v + 29. Solve -4*j + 14 = -o*p, -3*j - 5*p - w = -j for j.
2
Let i = 20 - 12. Let w be -1 + -9 + (-16)/i. Let r = -4 - w. Solve 0*f + r = 3*z + f, 3*z + 3*f = 18 for z.
1
Let x(h) = 3*h - 4. Let y be x(-8). Let s = -16 - y. Let j be s/18 + 122/6. Solve -c + 19 = 4*k + 2, j = 3*k - 2*c for k.
5
Suppose 6 = -8*n + 38. Solve -5*j + 21 = y - 5*y, 0 = -2*y - n*j - 4 for y.
-4
Let o = -1314 + 1318. Solve -4*c + 14 = 3*j, -5*j = -o*c + 4 - 6 for j.
2
Suppose -7*i + 20*i = 10*i. Suppose 5*c + l - 13 = c, c - 2*l - 1 = i. Let n be 3*(1 + 0)/1. Solve -u = n*a + 1, 5*u = -c*a + u + 5 for a.
-1
Suppose 5*w - 1 + 1 = 0. Suppose w = 24*v - 26*v + 4. Solve -5*f + f - v*s = 18, 4*f = s - 21 for f.
-5
Let b(l) = -34*l**3 + 6*l**2 + 5*l. Let f be b(-1). Solve 3*m + f = -m - 3*g, -5*m = -5*g for m.
-5
Let c(r) = r**3 - 5*r**2 - 7*r + 2. Let o be c(6). Let i be (6/o)/(3/(-16)). Let g = -86 - -90. Solve t - 6*t + 2*y + 18 = 0, -3*t = -g*y - i for t.
4
Let n(c) = -c**3 - 9*c**2 - 12*c + 22. Let s be n(-7). Suppose s*g - 13 = 11. Solve -2*b - 10 = -w, -2*b + 6*b - g*w = -24 for b.
-3
Suppose 0 = 88*r - 92*r + 28. Solve -k = 5*w + r, 0 = 3*w + 2*k + 9 - 2 for w.
-1
Suppose -6 = -i - 4. Suppose -18*k = -14*k - 28. Let h = k + -1. Solve 7*z + 5*j = i*z + 10, 2*z + h = 3*j for z.
0
Let t(o) = -3*o**2 + 26*o + 29. Let f(i) = 2*i**2 - 14*i - 15. Let u(r) = 5*f(r) + 3*t(r). Let w be u(-7). Solve w*m = -g - 14, -3*m + g + 0*g - 10 = 0 for m.
-3
Suppose -4*v + 24 = 3*o, -8 = -2*o - v + 3. Let l be 1/(-1*o/(-64)). Solve 2*u - l = -y - 2*u, -3*y = -4*u for y.
4
Suppose 0 = -9*q + 7*q - 12. Let z(d) = d + 8. Let o be z(q). Solve -5*l - m = -2*m - 20, 0 = o*l - 5*m + 15 for l.
5
Let j be (-85)/(-3) - (-1)/(-3). Let r = 47 - j. Solve z - 3*t - r = -z, -2*z = -2*t - 14 for z.
2
Suppose 8*n + 6*n - 7*n = 0. Solve -3*q + 5*x - 5 = n, -2*x + 3*x + 1 = q fo