Suppose 3*t - 4*t = -2. Solve -t*k - 2 = -k for k.
-2
Let x be (-26)/8 - 3/4. Let l = x - -7. Solve 5*r = 2 + l for r.
1
Let y = 22 + -19. Solve -y*h + 4 + 8 = 0 for h.
4
Suppose -2*w + 16 = -0*w. Suppose c - 3*h + 9 = -w*h, 15 = 5*c + 5*h. Solve -2*m - c = -4*m for m.
3
Suppose 7*o - 4*o = 9. Solve -j + 8 = o*j for j.
2
Let q(d) = 24*d**2 + 2*d + 1. Suppose -20 = 5*t + 5*l, l = 5*t - t + 1. Let j be q(t). Solve j = 3*s + 8 for s.
5
Let m(w) = 2*w - 1. Suppose 2*j - 1 - 5 = 2*z, 0 = 4*z + 4. Let l be m(j). Solve -5 + 14 = l*s for s.
3
Let a be 20/6 + (-8)/(-12). Solve 9*m - a*m - 15 = 0 for m.
3
Let l be (-80)/(-15) + (-1)/3. Solve 4*y = -y + l for y.
1
Let p(k) = k**2 - 4*k + 3. Let r be p(3). Let v(o) = -o**3 - 20*o**2 - 2*o - 36. Let d be v(-20). Solve r = -d*n - n + 15 for n.
3
Let u = 35 + -28. Solve 5*k = -u - 8 for k.
-3
Suppose -2*b - 3*b + 20 = 0. Let j be (b + -5)/(1*-1). Solve 2*r - 3*r + j = 0 for r.
1
Let r be (-3)/(-3) + -3 + 25. Suppose -4*u = -3*c, -u - 5*c + r = -0*u. Suppose -75 = -3*w - 2*w. Solve -u*d + w = 2*d for d.
3
Let k be 1/((39/18)/13). Solve k*c - 2*c = -4 for c.
-1
Suppose n + 0*n = -3*x - 21, 4*x + 27 = -n. Let g = -3 - -9. Let s be (-8)/x*1*g. Solve -l = l - s for l.
4
Let l = 70 - 55. Solve 4*g - g - l = 0 for g.
5
Let y be (-2)/12 - (-24)/144. Solve -3 = q - y for q.
-3
Suppose -25 = -3*z - w, -z - 5*w + w + 1 = 0. Solve -2*m = m - z for m.
3
Let b be 136/(-40) + (-4)/(-10). Let s be (15/b - -1)/(-2). Let p = -1 + 1. Solve -s*k = -p*k for k.
0
Let r be ((-14)/(-35))/((-2)/(-20)). Solve 5*b - r*b = -1 for b.
-1
Suppose y - 6 + 1 = -z, 3*y - 3*z + 15 = 0. Solve y*k = -2*k + 4 for k.
2
Let c = 1 - 1. Let b(r) = -r**3 - 8*r**2 + 20*r + 4. Let o be b(-10). Solve 2*p + c*p = -o for p.
-2
Let p be ((-6)/(-4))/(1/8). Let r be ((-2)/(-3))/(1/p). Solve r + 4 = 4*a for a.
3
Suppose -9*m - 14 = -68. Let q(b) = -b**3 - 4*b**2 + 4*b - 2. Let i = -4 + -1. Let a be q(i). Solve -a*y = -m*y - 9 for y.
-3
Let n(q) = -2*q - 11. Let v be n(-8). Suppose 15 = -2*s - v. Let f be s/(-25)*25/1. Solve -3*l + l = -f for l.
5
Let s = 14 - -1. Let t = 0 + s. Solve -5*y + t = -0 for y.
3
Let c(d) = d**2 + 6*d - 11. Let m be c(-8). Suppose -m*p + 4*j = -13, -3*p - 3*j = -5*j - 9. Solve 5*u + p = 10 for u.
1
Suppose x - 2*x = -7. Solve -3 = -2*u + x for u.
5
Let p = -4 + 6. Solve -p*n + 1 = -n for n.
1
Suppose 4*f - 2*b = 12, 5*b + 15 = 4*f + 3. Solve -4*d - 5 = -f*d for d.
-5
Suppose y + 4 = -5*h + 27, -3*h = -4*y. Suppose -z + l = -7, 0 = -y*z - l - 2*l + 15. Suppose -2*s + 2 = 3*w, s - 4 = -2*w - 2. Solve z*o + 4 = w*o for o.
-1
Suppose 5*r = r + 8. Let k(f) = f**3 + f**2 + 95 - 93 - 6*f + 4*f**2. Let w be k(-6). Solve -r*m - 20 = w*m for m.
-5
Suppose -2*f - f + 6 = 0. Suppose -12 = -2*t - 0*t. Suppose 0 = 2*g + t - 8. Solve -5 = f*j - g for j.
-2
Let m = -21 - -30. Let n(f) = -f**2 - 5*f + 2. Let v be n(-6). Let l = v - -7. Solve -l - m = 4*b for b.
-3
Let d(m) = -m - 2. Let n be d(-3). Let l = 8 - 2. Suppose 2*c - l = -0. Solve c*b - n = -4 for b.
-1
Suppose 2*y = -2*y + 8. Solve 0 = -h - y*h for h.
0
Let p(g) = -g**2 + 7*g + 19. Let h be p(9). Solve 2*r + 5 + h = 0 for r.
-3
Let x be (-3)/((-6)/(-16)*-2). Suppose -2*s = -0*c - 3*c, 5*c - s = 7. Solve 2*a = c + x for a.
3
Let q(z) = -z**2 + 7*z - 3. Let v be q(6). Suppose -i + 5*b + 24 = 0, 0*b + 9 = -v*b. Solve 2*f = -f + i for f.
3
Let g(i) = i**3 + 33*i**2 + 60*i - 54. Let w be g(-31). Solve 6*s = -w + 2 for s.
-1
Let v be (-32)/(-40)*1*5. Solve 0 = -4*a + 2*a + v for a.
2
Suppose 0 = -9*p + 124 - 52. Solve p = 4*z - 12 for z.
5
Suppose 4*u = 13*u - 18. Solve -u*g = -5 - 3 for g.
4
Suppose 3*g + 2*x - 3 = 0, g + 9*x - 4*x + 12 = 0. Solve 0 = -g*j - 1 - 2 for j.
-1
Suppose -30 = -w - 6. Solve 1 + w = 5*l for l.
5
Let r be ((-2)/(-10))/(10/100). Solve 8 = -r*i + 4*i for i.
4
Suppose -10 = 3*l + 17. Let c(a) = -2*a - 12. Let m be c(l). Suppose -n + 18 = m. Solve -k = 2*k + n for k.
-4
Suppose x - l - 4 + 1 = 0, -2*l = -x. Suppose x = -3*t + 4*m + m, -t + 15 = 4*m. Solve j + t = 1 for j.
-2
Let x be (2/(-6))/(2/(-24)). Solve -2*m = -m - x for m.
4
Let x = 106 - 100. Solve -4 = 2*s + x for s.
-5
Suppose 0 = -4*g - 0*g - 8. Let j be (-2 + -3 + 1)/g. Solve -3*i = -j + 5 for i.
-1
Suppose -3*n - 4*w - 8 = 0, -5*n + 6 = -3*n - 3*w. Solve 2*m - 3 - 7 = n for m.
5
Let w(n) be the second derivative of n**5/20 - n**4/3 - n**3/2 - 5*n**2/2 + n. Suppose -z + 4 = 2, 4*o = 5*z + 10. Let k be w(o). Solve 3*q + 2*q - k = 0 for q.
1
Let m = 7 + -7. Suppose m = -5*k - 0*k. Solve 5*c - 1 - 14 = k for c.
3
Let k(b) = b + 1. Let u(w) = 2*w + 2. Let o(a) = -11*k(a) + 6*u(a). Let l be o(-1). Solve -2*d + l = -6 for d.
3
Let r = -2 + 6. Let t = -12 + 14. Solve -t*d - r = -d for d.
-4
Suppose 3*u - 27 = -3*g - u, -u - 7 = -2*g. Suppose -4*b = -5*w + 27, -2 - 1 = 2*w + 3*b. Solve -g*j = -w*j + 6 for j.
-3
Let k be 2 - (0 + 3 + -13). Let x(m) = -12 + m + k. Let s be x(0). Solve s = -0*f - f for f.
0
Suppose -5*q = 2*j + 20, 0*j = -4*q - 4*j - 16. Let r = 11 + -7. Let k = r + q. Solve k = 4*w - 3*w + 5 for w.
-5
Let t = -48 - -54. Solve t*v - 4 = 10*v for v.
-1
Suppose 4*p - 26 = -5*s, -4*p + 12 = -p. Solve 2*r + s*r + 16 = 0 for r.
-4
Suppose p = -4*p + c + 40, 3*c = 4*p - 32. Let k(h) = h**3 - 6*h**2 - 7*h + 5. Let y be k(7). Suppose 0*v + 12 = v. Solve y*u = -p - v for u.
-4
Suppose t - 6*t = 30. Let m be ((-30)/(-4))/(t/(-8)). Suppose 4*a + 2 = m. Solve -a*l = -l - 5 for l.
5
Suppose -5*n + 6*n = -4. Let t = 8 - n. Solve 3*h + h = -t for h.
-3
Suppose 8*i - 2 = 7*i. Solve -i*l = -5*l + 15 for l.
5
Let w(b) be the third derivative of -b**5/60 - 7*b**4/24 - b**3 + b**2. Let d be w(-4). Solve 4*q = d*q for q.
0
Let o be (-2)/((-1)/8*1). Suppose -3*c - c + o = 0. Solve 0 = -2*d - c - 2 for d.
-3
Let c(s) = -2*s**3 - 2*s**2 + 3*s + 3. Let u be c(-2). Suppose 0 = 3*x - 4*x + 3. Suppose -25 - x = -2*w. Solve -w - 11 = u*a for a.
-5
Suppose 0 = 29*p - 22*p - 21. Solve -2*b + 15 = p*b for b.
3
Suppose -30 = -11*x + 6*x. Let j(u) be the third derivative of -u**6/120 + u**5/12 + 3*u**4/8 - u**3/2 - 18*u**2. Let b be j(x). Solve 8*o - b = 3*o for o.
3
Let t(m) = -5*m. Let i(p) = -16*p. Let a(b) = -3*i(b) + 10*t(b). Let y be a(3). Let l be (0 - 4)*(y + 5). Solve -5 = -x - l*x for x.
1
Suppose -4*w + 12 = -w. Suppose 10 = 3*n + w. Solve -n*u + 3*u = 5 for u.
5
Let b(v) be the second derivative of -17*v**5/20 + v**3/3 + v**2/2 + v. Let h be b(-1). Suppose 12 = -4*m, 0 = 5*f + 3*m - h. Solve -d + 12 = -f*d for d.
-3
Suppose -9 = -5*k + 6. Suppose d + 3 = p, -k*d = -p - 5*d + 15. Suppose p*g = 2*g + 30. Solve -6 = 3*l + g for l.
-4
Suppose 11 = x + 2*r - 0*r, -2*r = -5*x + 19. Solve -x*i = -i for i.
0
Let l be ((-150)/4)/((-6)/(-8)). Let x be l/(-18) + 4/18. Solve 3*m - x = -0 for m.
1
Let q(b) = -b**2 - 3*b + 4. Let p be q(-4). Solve -2*x + 0*x + 2 = p for x.
1
Let s(l) = -l - 2. Let a be s(-7). Suppose -a*y = 5*v - 11 + 1, -y = -2*v + 10. Solve 0*m - 4 = -v*m for m.
1
Let o(b) = -34*b. Let l be o(1). Let v = l - -60. Suppose -1 = 5*j - v. Solve -j*r = 1 + 19 for r.
-4
Let i = 16 - 14. Solve 8 + 0 = -i*v for v.
-4
Suppose -2*k - 9 + 3 = -3*s, s + 4*k + 12 = 0. Solve -4*i + i - 3 = s for i.
-1
Let m be -2 + 3 - 0 - -2. Solve -5*d - 2 = -m*d for d.
-1
Let m(r) = -r - 8. Let l be m(-8). Suppose -a + 0*a - 9 = l. Let y be -6*((-21)/a + -3). Solve 0 = c + y*c for c.
0
Let b be 1 + -3 + (3*-12)/(-6). Suppose 130 = -5*x - q + 47, 0 = -2*x + 4*q - 42. Let z = 26 + x. Solve -b*t - z = -1 for t.
-2
Suppose 4*i - 18 = g - 54, 0 = -3*i + 2*g - 32. Suppose -3*x + c - 4 = 6*c, 0 = 5*c - 20. Let n = i - x. Solve n = -b - b + 2 for b.
1
Let u = -52 - -54. Solve a + 0 = -u for a.
-2
Let o(d) = 2*d - 1. Let i be o(3). Let n(x) = i*x - x - 5*x. Let u be n(-2). Solve u*a = 7 - 1 for a.
3
Let p be (-508)/(-8) + (-1)/(-2). Suppose p = 4*i - 0*i - 4*o, -20 = -5*o. Solve 0 = 3*b + b - i for b.
5
Let q = -7 + 13. Let r be 1 - (6/(-2))/3. Suppose -r*b + 0*b + 5*i + 18 = 0, b = i + q. Solve 3 + 13 = -b*c for c.
-4
Let t(a) = a**2 - 3*a. Suppose 2*w + 17 = 4*w + 5*h, 4*w + 5*h = 9. Let k = -1 - w. Let y be t(k). Solve 0 = -2*u - y*u for u.
0
Let k be (-612)/(-30) + (-4)/10. Let y = 30 - k. Solve q + y = -q for q.
-5
Let d be (-2)/(4/(-14)) + -3. So