pose -4*k = 2*t - 8, 2*k + f = 4*t - 5. Solve -y - t*y = x for y.
-4
Suppose h - 3 = 0, 5*q = 3*h - 1 + 2. Let r(v) = v + 11. Let z be r(-4). Suppose 6*m - 17 = z. Solve m*b - q = -6 for b.
-1
Let b be (-10)/(-45)*-3 - 1/3. Let o be -1*(b - -2) + 4. Solve -2*a = a - o for a.
1
Suppose 0 = -5*o + 35 - 10. Let j(z) = -z + 13. Let r be j(-10). Solve o*b + r - 8 = 0 for b.
-3
Suppose -3*l - 3 = 2*f - 12, -5*l = -15. Solve 0 = 2*v - 0 - f for v.
0
Let m(l) = l + 7. Let t(b) = -b**3 - 11*b**2 - 10*b + 3. Let g be t(-10). Suppose 5*o = -4*x + 10, -5*x - 4 = o - g*o. Let r be m(x). Solve -r = 5*s + 3 for s.
-2
Suppose 0 = 33*q - 1639 + 220. Solve 39 = l + q for l.
-4
Let q(a) = a**3 - a**2 - a + 1. Let l be 3 - 1 - (-13 + 15). Let r be q(l). Solve 2*o + r = -1 for o.
-1
Let m(y) = -y + 1. Let u be m(-4). Suppose 0 = -5*l + 2*l + 9. Suppose -u*g - 30 = -10, l*g = -5*s - 7. Solve 3*q = 4 - s for q.
1
Let u(y) = -y**2 + 6*y - 1. Let h(a) = a + 2. Let f be h(3). Let z be u(f). Let w = 7891 + -7885. Solve 0 = 5*c + w + z for c.
-2
Let y(b) be the third derivative of -b**5/60 + 5*b**4/12 + b**3/2 + b**2. Let r(q) = 4*q - 150. Let i be r(40). Let v be y(i). Solve -u + 0*u - v = 0 for u.
-3
Suppose -12 = -14*q - 12. Solve q = -4*y + 9*y - 25 for y.
5
Let x(d) be the second derivative of -d**5/20 + 5*d**4/12 - d**3/2 + 6*d. Let i be x(3). Let u be (-6)/8 - (-14)/8. Solve 2*l = -i + u for l.
-4
Let w = -6 - -5. Let q be 2 + -2 + w + 6. Suppose -2*f + b + 6 = 3*b, q*b = -25. Solve n = -n + f for n.
4
Let k(l) = -6*l - 38. Let w be 4 + (22/2)/(-1). Let a be k(w). Solve 3 = -a*v + 15 for v.
3
Suppose 30*u + 4*n = 33*u + 2, -4 = -2*n. Solve 2*c = 2*c - u*c for c.
0
Let m(r) = r**3 - 10*r**2 + 14*r + 4. Let h be m(8). Let t be 3/h*0/1. Solve 0 = -s + 2 - t for s.
2
Let q(b) = -b**2 - 6*b - 6. Suppose -2*c = -0*p - p, 0 = 3*p + 3*c + 18. Let g be q(p). Solve -6 + g = 2*i for i.
-2
Let w = -111 - -131. Suppose -29 + w = -3*q. Solve g + 2 = -q for g.
-5
Suppose -5*m + 17 = -4*w, 5*m + 4*w = -8 + 41. Let g(y) be the first derivative of y**3 + 5*y**2 + 6*y + 15. Let o be g(-3). Solve -m*t + 17 = -o for t.
4
Let s = -49 - -75. Let z be (-3 + 4 + -1)/2. Solve z = -4*p - s + 6 for p.
-5
Suppose -7 = -37*n + 44*n. Let m be 6/(-30)*10/n. Solve 0*f = m*f for f.
0
Let o = -143 + 140. Let t be ((-24)/(-28))/(o/(-28)). Solve -5*z = -z - t for z.
2
Let n = 567 - 564. Solve 13 = n*t + 1 for t.
4
Let v = -24 + 12. Let r(x) = -x**2 - 13*x - 10. Let h be r(v). Suppose p + 2*j = -3 - 2, -3*j + 5 = 4*p. Solve h*a + 3*a + p = 0 for a.
-1
Let l = 18 - 16. Let f(v) = 13 - v**l + 4 - 20 + 12*v. Let n be f(11). Solve -n = 2*w + 2 for w.
-5
Let s be (-10)/(-2)*(-8)/56*-7. Solve 5 = s*y - 0 for y.
1
Let s = 511 - 500. Solve -s = -6*y - 29 for y.
-3
Let g = 148 + -142. Solve -5*m = -2*m - g for m.
2
Let u(v) = v**3 - 38*v**2 + 2*v - 59. Let x be u(38). Solve x*f - 16*f = 5 for f.
5
Let z(q) = q**3 + 17*q**2 + q + 17. Let k be 3/(6/(-28)) + -3. Let n be z(k). Solve n = -0*i - 5*i for i.
0
Suppose 4*y - 4*l = 32, 5*l + 54 - 23 = 2*y. Solve -u - 16 = y*u for u.
-4
Suppose 25 = z - 3*d, 2*z + 2*d - 1 = 9. Solve -6*s - z*s - 48 = 0 for s.
-3
Suppose -981 = 8*f + 83. Let w = f + 148. Solve 0*m = 3*m - w for m.
5
Suppose -2*d - n + 18 = n, 4*n = d + 11. Suppose 0*j + d*j - 15 = 0. Suppose 2*z + 10 = 4*b, j*b + 4*z + 7 - 20 = 0. Solve 0 = 3*l - 0*l + b for l.
-1
Let f(a) = 3*a - 4. Suppose -5*v + 21 = 1. Let t be f(v). Let d be t/6 + (-4)/(-6). Solve -3*p = -d - 1 for p.
1
Let l = -13 + 13. Suppose l = -2*m + 7*m - 125. Solve 0*b + 5*b = m for b.
5
Suppose -3*j + 45 = -u, 0*j = 4*u - 5*j + 215. Let l = 62 + u. Solve l*x + 4 = 3*x for x.
4
Let l(z) = -z**3 + 11*z**2 + 41*z + 19. Let s be l(14). Solve 0*w - s*w = 20 for w.
-4
Suppose 0 = -4*i + 7*i - 435. Suppose -g - 101 = -2*a, 3*a - 1 = -4*g + i. Suppose -14*j + a = -12*j. Solve j = 7*c - 2*c for c.
5
Suppose 489 = 13*j - 291. Solve -j = -11*a + 23*a for a.
-5
Let j = -229 - -235. Solve -j*b = -9 - 15 for b.
4
Let i = 19 + -38. Let g = -19 - i. Solve g = -4*j - 20 - 0 for j.
-5
Let y(k) = k**2 + 2*k - 57. Let l be y(13). Let r = l + -135. Solve -r*m = -4*m - 3 for m.
-3
Let o = -17 + 14. Let m be o + (20 - -1 - 0). Let s be 4/m + 16/9. Solve s + 1 = -y for y.
-3
Suppose -3*z + n = 5*n - 5, 4*z + 4*n - 4 = 0. Let u = 11 + z. Let p = u + -7. Solve w = -p*w + 12 for w.
3
Let c be 170/8 + 15/20. Solve -c*p + 18*p = -16 for p.
4
Suppose -7*p + 2*p = -p. Let d(o) = -o + 12. Let m be d(9). Solve p = 4*s - 5 - m for s.
2
Let h(g) = -5*g - 10. Let i = -81 - -47. Let r = -37 - i. Let t be h(r). Solve 2*k + t = 1 for k.
-2
Let y = -10 + 13. Let h(t) = t**2 - 10*t + 16. Let m be h(9). Let c be 24/(-84) - (-2)/m. Solve y*b - 9 - 6 = c for b.
5
Let h(q) = q**2 - q - 5. Let v be h(-2). Solve v = 3*d - 2 for d.
1
Suppose 3*h + 0*c - 21 = -2*c, 3*c = 2*h - 1. Suppose 0 = 5*o + k, -2*o + 2 + 10 = -2*k. Let g be 4*o*(8 - 6). Solve -h*s - g = 2 for s.
-2
Let f be 6/(-9)*24/(-4). Suppose 3*t - 20 = -4*o + 8*t, -2*o + t = -10. Solve -f = -o*r + r for r.
1
Let r = -81 + 145. Suppose 0 = 10*k - 14*k - r. Let x(s) = s + 20. Let j be x(k). Solve 5*l = l + j for l.
1
Let i be (-6)/(-24) - 82/8. Let n = -6 - i. Suppose -4*p + 14 = t - 6, 4*p = -n*t + 20. Solve -p*a = -a for a.
0
Let g(v) = v - 11. Let d be g(15). Suppose 5*n + 23 = 3*i, -3*n + 9*i = d*i + 17. Let j be ((0/n)/(-3))/2. Solve j*m - 4*m - 20 = 0 for m.
-5
Suppose k = 4, -2*z + 6*k = 9*k - 12. Solve z = -2*h + 35 - 37 for h.
-1
Suppose -5*x + 7*x - 6 = 0. Suppose -39 = -3*f - 3. Suppose -2*w - f = -20. Solve -w*j = 23 - x for j.
-5
Let s(q) = -q**2 + 30*q - 27. Let r be s(29). Suppose 0 = -5*z - 7 + 22. Solve -b + z = r for b.
1
Let u(n) = -3*n - 3*n + 10 + 5*n. Let l be u(7). Let g be (-5)/(20/16) - -7. Solve 0 = -g*b + 2*b - l for b.
-3
Let b(m) = m**3 - m**2 - m - 1. Let i be b(0). Let v be (i - 0)/((-5)/15). Solve v*a + 6 = a for a.
-3
Let y(s) = 7*s + 60. Let p be y(-8). Solve 6 + p = -2*x for x.
-5
Suppose 0 = -10*r - 219 + 329. Solve -25 = 16*v - r*v for v.
-5
Let s = -25 + 28. Solve 0 = s*v - 5*v + 2 for v.
1
Let k = 5 - 2. Let q = 34 - 34. Suppose a + 3*l = 2*a, q = -a - 4*l + 28. Solve p + a = -k*p for p.
-3
Suppose 300 = 21*u - 1590. Solve 4*z + 70 = u for z.
5
Suppose 0 = 2*c - 6*c - 84. Let f be (14/c)/(6/(-45)). Solve -10 = -f*k - 0*k for k.
2
Let q(z) = -z**2 + z + 2. Suppose -2*l + l + 10 = 0. Let i(j) = -j**3 + 10*j**2 + 2. Let g be i(l). Let m be q(g). Solve m = -0*b + b for b.
0
Let c(v) = -v**2 + 9*v - 10. Let j be c(7). Let z(f) be the third derivative of f**5/60 - f**4/24 + 2*f**3 + 3*f**2. Let d be z(0). Solve j*g - d = -0*g for g.
3
Suppose 0 = 3*y + 2*t - 9, 2*y + 2*t = 5*y + 3. Solve 3*p + 16 = y for p.
-5
Suppose -193 = 30*s - 253. Let z be (-2 + (4 - 2))/1. Solve z*l + l = s for l.
2
Suppose -5*v - 2 = -6*v, s + 3*v = 7. Solve 2*t - 3 - s = 0 for t.
2
Let c(h) = -h**3 - 11*h**2 + 3*h + 62. Let d be c(-11). Solve 2*i - 29 + d = 0 for i.
0
Let d be (4 - 3)*(-2 - -6). Suppose d*p - 5*j - 36 = 0, -p + 4 = p + j. Suppose -p*s = -3*s - 15. Solve s = -4*l - l for l.
-3
Let g(i) = -4*i + 33. Let t be g(3). Solve -7*q = -t - 0 for q.
3
Let n be (-1122)/(-54) + 24/108. Solve j + 44 = -n*j for j.
-2
Let o = 31 + -76. Let x = -43 - o. Solve -j = x + 1 for j.
-3
Let u(s) = s**2 - 2. Let v(r) = -r - 12. Let t be v(-10). Let h be u(t). Let l(a) = a**3 - 3*a**2 + 3*a + 2. Let m be l(h). Solve 0 = 3*n - 2*n - m for n.
4
Let x be (-3 + (70/4)/5)*14. Suppose x = -c + 11. Solve -5*s + c*s - 2 = 0 for s.
-2
Suppose -220 = -28*f + 116. Solve -10*t = -6*t - f for t.
3
Suppose j - 113 = -102. Solve 6*u = j*u for u.
0
Let i(f) = 3*f**2 - 10*f - 23. Let g be i(-2). Solve g*s + 2 = 11 for s.
1
Suppose 9*d = 15*d - 12. Solve 5 = d*w + 13 for w.
-4
Suppose 5*u - 37 = 7*y - 3*y, 0 = -2*u + y + 16. Suppose u = -2*s - 5*d, 3*s + 4*d = -0*s - 3. Solve 0 = -3*h - 3 - s for h.
-2
Let v be 51/(-9) - (-15)/9 - -21. Solve v*r = 16*r for r.
0
Let u(f) = 2*f**3 + 18*f**2 - 2*f - 16. Let a be u(-9). Solve 2*h - a = h for h.
2
Let i be 3 - ((-17)/102 - 22/12). Solve 0*d + i*d = 0 for d.
0
Suppose 8*p - 3*p = 10. Suppose 3*z - 1 = -3*f + 11, -8 = f - p*z. Suppose y = -0 + 2. Solve 3*j + y*j + 20 = f for j.
-4
Suppose 55 + 19 =