2*z - i = -8 for z.
2
Let k(s) = -s**3 + 5*s**2 - 2*s - 7. Let p be k(4). Let a be (1 + -1)/(p*2). Solve -y = -a*y + 5 for y.
-5
Let z be (-36)/(-15)*(-65)/(-26). Solve 31*k - z = 33*k for k.
-3
Suppose 8*k = 6*k + 4. Let c(y) = y + 2. Let j be c(-4). Let q(r) = 2*r**2 + r - 1. Let g be q(j). Solve 1 = -k*a + g for a.
2
Let m = -219 + 225. Solve 0 = -23*w + 21*w + m for w.
3
Let m(f) = -f**3 - 10*f**2 - 10*f - 3. Let u be m(-9). Let a be (-1 + u)*1 - -2. Solve -2 = -5*b - a for b.
-1
Let q = 15 - 12. Suppose 0 = 3*o - 0 - q. Suppose x + 0*x = o. Solve 0 = -2*h + 3 + x for h.
2
Let b(o) be the third derivative of o**5/60 - 5*o**4/24 + 7*o**3/6 - 8*o**2. Let w be b(3). Solve v + w = 2 for v.
1
Suppose 4*q = -20 - 12. Let p be 2/q - (-33)/4. Solve 0*g - 4*g = p for g.
-2
Let k be -5 + 1 - 87/(-1). Let m = -76 + k. Solve 3 + m = 2*o for o.
5
Let g(y) = -2*y**3 - 8*y**2 - 9*y + 7. Let v be g(-3). Solve 0 = -v*n + 8 + 24 for n.
2
Suppose 28*w + 54 = 46*w. Solve -w*b + 0*b - 15 = 0 for b.
-5
Let m(o) = -4*o**2 + 7*o - 2. Let j(u) = -3*u**2 + 8*u - 3. Let c(l) = 3*j(l) - 2*m(l). Let w be c(9). Solve 0 = -6*t + w*t - 8 for t.
-4
Let x be -15*5/(75/(-6)). Suppose -5*k = -3*k - x. Suppose 3*z + 3*a - 12 = 8*a, -5*a = z - 4. Solve k*t - z = t for t.
2
Let k = -255 - -257. Solve k*t + 8 = -0*t for t.
-4
Let x be (-5549)/(-341) - 9/33. Solve 14*j - 12 = x for j.
2
Suppose 3*s - 3*j + 2*j - 2 = 0, 3*s = 4*j + 8. Suppose s = 2*u - u + 2. Let h be -3 + (-2)/(-2) - u. Solve -o - 1 = -h for o.
-1
Let f(i) = 6*i**2 - 5*i - 5*i**2 + 8*i + 12 + 5*i. Let p be f(-6). Solve r + r = p for r.
0
Suppose 27*k = 42 + 39. Let t(j) = -j. Let u be t(-3). Suppose u*r - r - 11 = -w, 0 = 4*r + 3*w - 23. Solve -k*n = 2*n + r for n.
-1
Let q be (-782)/(-8) - 2/(-8). Let a = 98 - q. Solve -2*t + a*t = 4 for t.
-2
Let c = 235 - 213. Solve 5*x = c - 2 for x.
4
Let r be ((-2)/(-4))/(330/(-84) - -4). Let j(w) = 3*w - 9. Let o be j(r). Solve i - o = 4*i for i.
-4
Let i(p) = -3*p**3 - p - 2. Let o be i(-1). Let j be o/(-6) + (-112)/(-12). Solve -4*u - 29 + j = 0 for u.
-5
Let b = -4 + 9. Suppose b*a = -2*a + 7. Let x be 6 + -4 + 7/a. Solve 3*k + 0*k - x = 0 for k.
3
Let c(a) = -3*a**2 + a. Let j be c(1). Let w = j + 16. Let y = -12 + w. Solve -y*x = -3*x - 5 for x.
-5
Let s(a) = -a**3 - 10*a**2 + 25*a + 156. Let b be s(-11). Solve -6*y = -b*y for y.
0
Suppose -3*o - 6 = 0, -3*i + 0*i - 2*o = -32. Suppose 3*c = -4*m + 28, -c = c - 5*m + i. Solve -c*g + 2*g = 0 for g.
0
Let f be 136/12*(-18)/4. Let r = 54 + f. Solve -r*x = -5*x - 8 for x.
-4
Let g(n) = -n**3 + 7*n**2 - 10*n + 6. Let m be g(5). Solve 4*b - m*b = 10 for b.
-5
Suppose 2 = 2*j + 4. Let f be (-1)/j*(44/4 - 3). Solve f = 2*s - 0 for s.
4
Let h(x) = -7*x**3 + 2*x**2 + 3*x. Let f be h(-2). Let r = -58 + f. Solve 4*o - 5*o = r for o.
0
Let w be (0 + -3)/(((-18)/15)/2). Suppose 4*l + w*x = 38, 22 = 2*l - 5*x - 12. Solve -2*j = 4 - l for j.
4
Let r be (-6)/4*(8 + -4). Let v be 24/(-9) - 4/r. Let j(h) = -h**2 - 3*h. Let c be j(v). Solve 3*a = 13 + c for a.
5
Let t be 100/(-15)*(-12)/8*2. Solve -3*g + 7*g - t = 0 for g.
5
Let m(j) = -11*j + 11. Let g be m(-5). Let c = 67 - g. Solve 2 = v + c for v.
1
Let g = 71 - 55. Let u be g + (-12)/((-9)/3). Solve 5*r - r = u for r.
5
Suppose 33*b - 27*b - 42 = 0. Solve -q = 9 - b for q.
-2
Let j be 63/28 - 1*2/8. Solve -11*c - j + 35 = 0 for c.
3
Let w = 1165 + -1155. Solve 3*n + w = -5 for n.
-5
Suppose 5*v - 5*q - 37 = 3*v, 0 = -3*v + 4*q + 52. Solve -v*n = -23*n + 7 for n.
1
Suppose -10 = -2*t + 4*k, -2*t + k = -t - 5. Let v = 30 + -15. Solve -v = t*j - 2*j for j.
-5
Let n be (-58)/8 - 6/(-24). Let f be 2/n + 304/133. Solve -4*i + 6 = -f*i for i.
3
Let k be 9/21 + 150/42. Let h be 4 - k/(-16)*-4. Solve 3*g - h = -0 for g.
1
Suppose 0 = -m + r + 17, -2*r - r = 6. Solve -5*c + 0 = m for c.
-3
Suppose 8*m - 3*m = 70. Suppose 4*r + z = -z - 24, 4*z - 48 = 4*r. Let g = r + m. Solve b - g*b = 20 for b.
-4
Let p(x) = 2*x. Let n be p(0). Suppose -3*a = -3 - n. Let c be (-2)/(-4)*(a + 1). Solve k = -c + 6 for k.
5
Let l(z) = -z**2 + 5*z + 3. Let h = 95 - 95. Let v be l(h). Solve 0 = 7*c - v*c - 8 for c.
2
Suppose 2*h = -4*g - 98, 5*h - 78 + 11 = 2*g. Let c = g + 31. Let o be -2*-5*(0 + 1). Solve 0 = -3*b + c + o for b.
5
Suppose -4*l - 56 = -8*l. Suppose -r - 13 = -l. Let h = r - 1. Solve 3*y + 4 - 1 = h for y.
-1
Let s be (48/20)/6*(-5)/(-2). Suppose 3*j + 689 - 284 = 0. Let l be 1/4 - j/36. Solve -s = l*c - 5 for c.
1
Let o = -174 - -189. Solve -o = u + 2*u for u.
-5
Let w = 14 + -27. Let x = 25 + w. Solve 3*o + x = 7*o for o.
3
Suppose 2*d - 27 + 17 = 0. Suppose 0 = b + 3*a + 11, -5*a + d = 5*b + 10. Solve -b*x + 3 = -1 for x.
1
Let n(q) = -q**3 + 3*q**2 - 8*q + 3. Let f be n(6). Let p be (-2)/(-3) - f/(-27). Let t be (8/10)/(p/(-25)). Solve -o = t*o for o.
0
Let v(i) be the first derivative of i**2/2 - 15*i - 8. Let s be v(15). Solve -j - j = s for j.
0
Suppose 5*t = -2*h + 14, 5*t = -h + 6*h. Solve -t*l - 2*l = 8 for l.
-2
Suppose 7*m - 52 + 17 = 0. Suppose -m*c = 5 - 10. Solve 3 = d - c for d.
4
Let z be (-6)/(-7)*350/25. Suppose u - m = -3*u + 8, 2*m = 4*u - z. Solve -2*f = -9 - u for f.
5
Suppose y - 2*z - 4 = -2*y, 2*y - 4*z = 16. Let u be (y/2)/(-2)*24. Suppose -u*j + 32 = -10*j. Solve v + 3*v = -j for v.
-4
Let v be (-25)/(-15)*27/15 + 1. Solve 3*i + v = 1 for i.
-1
Suppose -108*f + 39 = -95*f. Solve -f*t + t = -3*t for t.
0
Let q be (2/(-2))/(2/(-8)). Let i be (30/8)/((-36)/(-48)). Solve -q*s + 3*s = i for s.
-5
Let z = -25 - -29. Suppose 4*s + z = 5*s + 4*g, g = 0. Solve 0 = -s*n + 6 + 2 for n.
2
Suppose o - 13 = -4*w, -3*o + 21 = -w + 4*w. Suppose 0 = 4*g - d + 9, -w*g + 2*d = 8 + 4. Let c be 2/(-1)*1/g. Solve -2*r + 0*r + c = 0 for r.
1
Suppose l + 0 - 2 = 0. Let o(m) = 8 + 0*m + l*m - 5*m + 4*m. Let u be o(-2). Solve 0 = -u*a + 3*a for a.
0
Let q(l) = 2*l**3 - 2*l**2 - l - 2. Let x = 2 - 0. Let g be q(x). Let k(z) = z**3 - 9*z**2 + 5*z + 67. Let j be k(7). Solve 4 = g*s - j for s.
2
Suppose -149 = -15*q + 121. Solve 11*d - 17*d = -q for d.
3
Let a(t) = t**2 + 42*t + 225. Let m be a(-36). Solve 11*w - m*w - 4 = 0 for w.
2
Let o(f) = 7 + f + 0 + 0*f. Let g be o(18). Suppose 6*r = r + g. Solve 0 = -r*k + k for k.
0
Suppose 39 + 13 = 13*x. Let o = -5 - -12. Suppose 3*v - o*v + 12 = 0. Solve -13 = -v*y - x for y.
3
Suppose 0 = -7*a + 65 + 89. Let w = a + -19. Solve -w = 2*z + 1 for z.
-2
Suppose -14*d + 21*d = 35. Solve -8*y + d + 19 = 0 for y.
3
Suppose -5*o + 2*a - 8 = 0, -3*o + 7*o - 3*a + 12 = 0. Solve o = -g + 6*g + 20 for g.
-4
Let w be (3 + -2)/((-1)/29). Let v = w + 33. Solve -v*m = -3*m for m.
0
Let n be 0/((-7)/(4 - -3)). Solve 2*a = -n - 4 for a.
-2
Let l = -62 + 67. Solve -4*c + l = 25 for c.
-5
Let w = -38 - -41. Suppose 3*s = s - 3*u + 27, 0 = s - 4*u + w. Solve -s = -2*d - d for d.
3
Let u be 155/50 - (22/20 + -1). Solve -7*a + u = -6*a for a.
3
Let p(t) = -15*t**2 - 7*t - 1. Let u(o) = -o**2 + o. Let f(m) = p(m) + 6*u(m). Let a be f(1). Let n = 4 - a. Solve -n = 4*d - 7 for d.
-5
Suppose 4*c - 6 = 2*c. Let i = 53 - 51. Suppose i*n - 5*l = 52 + 8, -20 = 5*l. Solve n = -c*p - p for p.
-5
Let l(a) = a**2 + a - 14. Let u be l(-5). Suppose -2*x - 8 = -u*x. Solve n + 15 = -x*n for n.
-5
Let o be 8/2 - (-1)/1. Suppose -31 = -2*w + 5*b, 2*w - 3*b = b + 34. Let m = -20 + w. Solve 2 = m*s + o for s.
-1
Suppose 4*k + 493 = 33*k. Solve k*p - 21*p - 8 = 0 for p.
-2
Suppose -4*u + 236 = -5*w, 4*w - 278 = -5*u + 6*w. Let n = u - 51. Solve -n*h = -h for h.
0
Suppose 3*w = -s + 6 + 1, 0 = -3*s + 5*w + 7. Suppose -g - u + s = -6*u, -4*g + 16 = -u. Let f be 46/6 - 1/(-3). Solve -2*k + g*k + f = 0 for k.
-4
Let z = 142 + -120. Solve -4*p + 2 = z for p.
-5
Suppose 36 = -9*w + 63. Solve 7*r - w*r = 0 for r.
0
Let a(u) = u**3 + 7*u**2 + 6*u. Let c be a(-6). Let l = 64 - 66. Let o be (-5)/(-3)*l/10*-12. Solve z + 0*z - o = c for z.
4
Let o(w) = 2*w + 2. Suppose 0 = 2*h - 7*h + m - 37, -2*m = 5*h + 46. Let z be o(h). Let u = z + 17. Solve 0 = -c + u*c for c.
0
Let q(s) = 12*s**3 + 2*s**2 - s - 4. Let a be q(2). Let b = a + -92. Solve 5*k = -b + 1 for k.
-1
Let s(x) = -x + 7. Suppose 0 = 2*j + 3*j - 4*q - 40, -4*q - 20 = 0. Let v be s(j). Suppose 0 = -5*r + h + 4*h + 15, -v*h - 11 = -4*r. Solve 1 