Solve 8*t - 6*t = z for t.
2
Let n be (0 - 3) + 100/(-4). Let h = 29 + n. Solve -3*j + h - 16 = 0 for j.
-5
Let k(i) = i**2 - 2*i - 5. Suppose 0 = -3*g - 4 + 16. Let j be k(g). Solve f = j*f for f.
0
Let j(c) = 12*c**2 - c - 2*c**2 + 11*c**2. Let t be j(1). Suppose -z = 4*x - 6, -7*x = -4*z - 3*x + 24. Solve -g - t = -z*g for g.
4
Let v be 3/8 + (-15)/40. Solve v*l + 4*l - 16 = 0 for l.
4
Let q(u) = -u**3 - 2*u**2 + 2*u - 3. Let a be (9/(-6))/((-8)/(-16)). Let r be q(a). Solve r = 4*w - 1 + 17 for w.
-4
Let d = -1097 + 1107. Solve 0 = -d*s + 12 - 32 for s.
-2
Suppose 3*n - 13*n = -430. Let i = -39 + n. Solve -5*j + j = -i for j.
1
Suppose 4*w - 3*n + 2 = 4, 4*n = -w + 10. Let q be (1 + 3)*7/w. Let p = q - 7. Solve 0 = 4*c + p - 23 for c.
4
Let j be -1 - 10 - -35 - -5. Solve -j*u = -22*u for u.
0
Let x = 33 - 19. Suppose x*d - 4*d = 0. Solve 6*n + 11 - 41 = d for n.
5
Let p(y) = -y**3 - 4*y**2 - 4*y - 4. Let q be p(-3). Let w be (7 - q)*2/8 - -2. Solve 2 = -3*r - w for r.
-2
Let r = 1 + -1. Let y(x) = -x**2 + x + 4. Let p be y(r). Suppose -3*l - 8*l = -132. Solve 4 = p*b - l for b.
4
Suppose -o + 14 = 4*n, -59 = -o - 2*o + 5*n. Suppose -4*a + o = -s, -2 + 14 = s + 2*a. Solve -s = -2*y - 10 for y.
-4
Let i(r) = -3*r - 20. Let z be i(-8). Solve -z = p - 1 for p.
-3
Let k = 9 + -4. Suppose 3*v = -4*n - 6, 2*v - 5*v = -k*n + 6. Suppose n*a + a = 0. Solve a*h = 2*h - 6 for h.
3
Suppose -3*c = -3*b + 5*b - 9, 0 = -c + 4*b + 17. Solve -c*p = -2 - 18 for p.
4
Let y(j) = 2*j**3 - 20*j**2 + j - 4. Let u be y(10). Solve 10 = -i + u for i.
-4
Suppose -9*a = -129 - 42. Let s = a + -17. Solve s*w + 25 = -3*w for w.
-5
Suppose 15*a - 354 = -54. Solve -a*c = 29 - 89 for c.
3
Suppose 0 = 4*b - 13 - 15. Solve -b*t = -5*t for t.
0
Let b(j) = 3*j - 6. Let s be b(4). Solve -2*m + s = 14 for m.
-4
Let d(z) be the first derivative of -z**3/3 - 7*z**2 + 35*z - 18. Let o be d(-16). Solve 0 = 6*m - o*m - 9 for m.
3
Let c = 193 - 192. Let g = -25 - -13. Let v be (4/(-12))/(c/g). Solve -a + v = -0 for a.
4
Suppose -46*c = 5*c - 510. Solve 0 = 13*u - 18*u - c for u.
-2
Suppose -i = -2*s + 7, 2*i - 16 = s - 3*s. Solve 3*b + i*b = 0 for b.
0
Let z be (-22)/(-4) - (-35)/(-70). Solve -44*c = -39*c + z for c.
-1
Let r = 1900 + -1880. Solve 0 = 27*t - 23*t - r for t.
5
Let t(v) = v**2 + 15*v + 41. Let n be t(-17). Suppose 0*g - 4*y = -4*g + 60, n = 5*g + y. Solve -2*m = m - g for m.
5
Let y(v) = -v**2 - 9*v - 4. Let t be y(-5). Suppose 2*k + t = 6*k. Let s be (12/(-2) - -4) + k. Solve -s + 22 = 4*i for i.
5
Let h(a) = -3*a - 4. Let q be h(-3). Suppose 3*d + 0*d + 8 = -q*n, 0 = 4*d + 5*n + 4. Suppose d*j = 2*t - 2, 4*t - 4*j = -2*j + 10. Solve -2*w + 3 = -t for w.
3
Let c(l) = l**2 - 5*l - 10. Let d be c(7). Suppose 3*j = -k - 11, 28 = k + k - d*j. Solve b = -0*b + k for b.
4
Suppose -5*m - 2*d + 9 = 0, m + 0*d + 3 = -2*d. Solve -13*k = -m*k + 20 for k.
-2
Suppose -54 = -y - 2*y + 3*r, 0 = -r - 5. Suppose -5*l = -5*b - 30, -b + 2 = 4. Suppose 0 = -l*c - y + 25. Solve c*f = -f - 20 for f.
-5
Suppose 10*a - 13*a = 9, a + 27 = 4*b. Solve -3*k = -b*k - 9*k for k.
0
Suppose -33*h + 28*h = -190. Let x(z) = 7*z**2. Let d be x(2). Let w = d - 15. Solve -5*p + h = w for p.
5
Suppose -4*m = -8*m + 216. Suppose -4*q + 66 = m. Solve -2*b = -q*b for b.
0
Let q(s) = s - 23. Let z be q(-12). Let x be (-3 - z/10)*4. Let i be (-2 - 8/(-3))*3. Solve 0 = 4*k - i*k - x for k.
1
Let w be (1 + -2)*3*(133 - 134). Solve -w*f + 28 = 4*f for f.
4
Let s(g) = 2*g**3 - 6*g**2 + 6*g + 2. Let l be s(3). Suppose o - l = -3*o. Solve -43 + 18 = o*z for z.
-5
Let o = -14 + 17. Suppose 1 + 8 = o*z. Solve -h = 1 + z for h.
-4
Suppose -d + 12 = 3*d. Let w(b) = -b**3 - 27*b**2 - 25*b + 34. Let j be w(-26). Suppose -g = d*g - j. Solve -13 = g*x - 3 for x.
-5
Suppose 20*j = -148 + 948. Solve 9*r = r + j for r.
5
Let o(l) = -l**2 + 5*l. Let p be o(4). Let f(a) = -a + 11. Let t be f(5). Solve d = -t + p for d.
-2
Suppose 69 - 209 = -5*u. Solve 5 = -u*z + 33*z for z.
1
Let w(d) = -76*d + 23. Let b be w(-1). Solve -89 + b = -2*c for c.
-5
Let o = 1190 - 1169. Solve -1 = -5*x - o for x.
-4
Suppose 3*z - 2*m - m = 9, -2*m = -z + 4. Suppose z*b - 1 = b. Solve 1 = -l - b for l.
-2
Let j(u) = 10*u - 23. Let p be j(6). Let o = p - 35. Suppose c + 6*v = v, 0 = -5*c + 3*v. Solve 4 = -c*r + o*r for r.
2
Let a(m) = -2*m + 11. Let f(w) = -w + 6. Let x(g) = -2*a(g) + 5*f(g). Let n be x(6). Suppose -3*v = n*d - 8, 2*d + 9 = 4*v + 3*d. Solve -v*l = -7*l - 10 for l.
-2
Let k(d) = -2*d - 4. Let p be k(-4). Let o(x) = x**2 - 5*x + 6. Let v be o(5). Suppose 2*h - 1 = -2*s + 13, 4*h + 62 = 5*s. Solve -v*u + s = -p*u for u.
5
Suppose 2*j + 2*b = 6, 4*j + 3 = -b - 0*b. Let v be (-2 + j + 4)/(-1). Let i(m) = m**3 - m**2 - 5*m + 1. Let u be i(3). Solve v = -3*q + q - u for q.
-2
Suppose 3*l = 3*l + 5*l. Solve -j - 12*j + 52 = l for j.
4
Suppose 5*c + c - 54 = 0. Suppose -5*r - 5*p = -35, -r + 2*p = -6 - 1. Solve r*w - c = 4*w for w.
3
Suppose -16*w = 4*b - 13*w, 3*b - 29 = 5*w. Solve -4 = -b*u + 8 for u.
4
Let h(f) = f - 14. Let a be (-3 + 52/24)*-6. Suppose 0 = -a*s + 2*l + 82, -l - 2 - 48 = -3*s. Let x be h(s). Solve -x*m = -8*m - 12 for m.
-3
Let z(c) = c**2 + 5*c + 2. Let i be (-3 - -2)/(2/10). Let r be z(i). Let u(m) = 3*m + 3. Let q be u(4). Solve -r*g - g = q for g.
-5
Let a be (-13)/((-5)/4 + 7/28). Suppose 0 = 4*v + 5*j - 11, 2*j + a = 2*v - 3*j. Solve -v*h + 18 = -2 for h.
5
Let q be (1 + 3)*(-119)/(-34). Solve -3 = -q*y - 3 for y.
0
Suppose -11*v - 12*v = -21*v. Solve v = -6*q + 8*q - 12*q for q.
0
Suppose 18*x - 15*x - 30 = 0. Solve -x*m + 9*m + 5 = 0 for m.
5
Let t(g) = -g**2 + 14*g - 21. Let u be t(12). Solve 2*n + u*n = 0 for n.
0
Let b be (-4)/(-20) + (-14)/(-5). Let f be (b - 2)/(5/25). Suppose r - f = -4*r. Solve r = 3*c - 5 for c.
2
Suppose -5*c = 4*t - 26 - 1, -4*c + 2*t + 32 = 0. Solve -2 = -c*u + 5*u for u.
1
Let f(n) = n**2 + 11*n + 10. Let s be f(-1). Solve 5*t - 29 + 4 = s for t.
5
Let n = 1140 - 1134. Solve n*p = 42 - 12 for p.
5
Let v be (-20)/(-7)*105/30. Solve -p - 5 + v = 0 for p.
5
Let t(f) be the second derivative of f**6/720 + f**5/20 - 5*f**4/12 - 3*f. Let v(u) be the third derivative of t(u). Let z be v(-3). Solve -h = z*h for h.
0
Let o = -93 - -95. Solve 8 = -0*i - o*i for i.
-4
Let x(r) = r**2 + 5*r - 8. Let h be x(-9). Suppose -27*t + h*t = 0. Solve p + t = -1 for p.
-1
Suppose -10 = -2*g - 3*c, -7*g + 3*g + 4*c = 0. Let i be -2*(g + (-6 - -2)). Solve i*x + 1 = -3 for x.
-1
Suppose -3*i + 6*i - 2*h = 583, -h = -1. Solve -2*d - i = -193 for d.
-1
Let i(b) = b**2 + 12*b + 8. Let s be i(-5). Let f be (-1)/(s/(-6))*-9. Solve 1 + f = n for n.
3
Suppose -4*f - 27 = -3*q, 18 = 2*q - 0*q + 3*f. Let m be q + -2 + (-1 - 2). Solve -h = m + 1 for h.
-5
Suppose 2*b + h - 4*h = 55, -3*h = 15. Solve -11*z = -z + b for z.
-2
Let q(r) = -22*r**2 - 1. Let l be q(-1). Let b = l - -29. Solve -2*o - o + b = 0 for o.
2
Suppose t + t = -3*t. Solve i = -t*i for i.
0
Let f(w) = -w**3 - 21*w**2 - 20*w + 5. Let t be f(-20). Solve 3*q - 20 = -t for q.
5
Let m = -1 - -1. Solve 2*t = -m*t for t.
0
Suppose 0*u = -u - 9. Let b(p) be the third derivative of p**5/60 + 3*p**4/8 - 102*p**2. Let c be b(u). Solve c = y + 2 + 2 for y.
-4
Let o(a) = -a**2 - 6*a - 5. Suppose 13 = 4*y - 19. Let p(q) = -q + 3. Let b be p(y). Let g be o(b). Solve g = -5*k + k + 12 for k.
3
Suppose 60 = 5*u + 5*b, 4*u = 2*b - 7*b + 52. Suppose 0 + u = 2*z. Solve -7 = -i - z for i.
3
Let m(y) = y**2 + 20*y + 3. Let u = -30 + 10. Let r be m(u). Solve 0 = r*d + 14 - 2 for d.
-4
Let g = -2743 - -2771. Solve -1 + 57 = -g*c for c.
-2
Suppose -23*k - 5*k + 252 = 0. Solve 3*g - k - 6 = 0 for g.
5
Let k be 5/3 - 1/(-3). Suppose 9 = 3*v - 5*l - 11, -v + 3 = k*l. Suppose -v*h = -3*h. Solve 0 = -h*t - 4*t - 20 for t.
-5
Suppose 21 = 3*h - 2*g, 3*h + 5*g = h - 24. Let r = -7 - -21. Solve r = -h*s + 5 for s.
-3
Suppose 5*o - 9 = 1. Suppose -3*r - 5*f = -4, -2*r + 0*f + o*f + 8 = 0. Let d be (-2)/(2/r) - -6. Solve n - d = 2 for n.
5
Let a(t) = -t**3 - 8*t**2 - t - 13. Let q be a(-9). Let g = -77 + q. Solve 2*f + 2*f = g for f.
0
Suppose -4*h - 2 + 22 = 0. Let g be (-3)/(-1 - 1/2). Suppose -y + 9 = -5*p, h*y - 4*p - 22 = g. Solve -8 + 0 = -y*v for v.
2
Suppose -24 - 118 = -2*i. L