- y*z + i = 0 for z.
3
Let c(x) be the third derivative of -x**5/60 + x**4/24 + x**3/2 + 11*x**2. Let y be c(0). Solve -5 + 2 = -y*w for w.
1
Let p = 72 + -69. Let f be (-1 - (-4)/12)/((-1)/p). Solve -f*k + 7*k = 5 for k.
1
Let k = -8 - -10. Let d(b) = b**3 - b - 1. Let g be d(k). Suppose -t - 3*o - 8 = o, -2*t + g = o. Solve -s = t*s + 15 for s.
-3
Suppose 984 - 979 = w. Solve 16*h - w = 15*h for h.
5
Let g be ((-2)/8)/((-11)/176). Suppose -12 = -g*f, -t + 12 = 2*t - f. Suppose -11 = -3*w - 2. Solve -t*h + 6 = -w*h for h.
3
Let n = 179 - 174. Solve -8*r + 9 = -n*r for r.
3
Let g(f) = -f**3 - 5*f**2 + 5*f + 8. Let i be g(-6). Suppose 22 = 3*j - i. Let o be (4/j)/((-1)/(-9)). Solve m = -o - 2 for m.
-5
Suppose 4*j + 12 - 36 = -3*g, -2*g + 16 = 4*j. Solve g*z + 4 = 36 for z.
4
Let m be (-5)/(-2)*(-256)/(-40). Let x = m + -12. Suppose -x*y - 4 = -5*y. Solve -y*i - 9 = -i for i.
-3
Let j = 63 - 44. Let v = j - 4. Solve 4*m + m = v for m.
3
Let m(r) = -r**3 + 12*r**2 + 2*r - 21. Let c(v) = v**2 + 2*v + 12. Let s be c(0). Let u be m(s). Solve -u*h + 1 = -11 for h.
4
Suppose -5*u = 175 + 75. Let a be (-2 + 2)*-1 + 12. Let j be u/(-15)*a/5. Solve o - j = 3*o for o.
-4
Let x be -2 - (-3 - -2) - 782/(-34). Solve x = -3*c + 34 for c.
4
Let k = 147 - 144. Solve -4*n - 15 = -k for n.
-3
Let p(s) = -s**2 - 6*s - 3. Let u be p(-7). Let w = u - -14. Solve 3*a + w = 2*a for a.
-4
Let y(d) = -5*d**3 + d**2 + d - 1. Let v(n) = -4*n**3 - 1. Let l(k) = 6*v(k) - 5*y(k). Suppose 19 + 29 = 8*m. Let s be l(m). Solve s*j - 2 - 13 = 0 for j.
3
Let o = 31 + -29. Let g = -1 - 1. Let q = o + g. Solve q = -3*l - l for l.
0
Let p = 22 + -20. Solve p*y + 2 = 10 for y.
4
Let r = -53 - -71. Let z be -4*1/(-18) + 32/r. Solve u = z*u for u.
0
Let b(q) = -q**3 + 14*q**2 - 22*q - 16. Let n be b(12). Solve n*v - 3*v = 0 for v.
0
Suppose 20 = 4*n + 8. Suppose 9 - 15 = 2*p. Let a be -2*(p + 1 + 1). Solve 5*q - n - a = 0 for q.
1
Suppose 5*m - 270 = -260. Solve -m*p = -2 - 2 for p.
2
Let g(m) = 2*m**3 - 5*m**2 + 3*m - 14. Let t be g(3). Solve 5*f + t*f + 9 = 0 for f.
-1
Let k = 445 + -411. Solve k*o - 36*o = 10 for o.
-5
Suppose -4*f + 3*f = u - 124, -5*f - 610 = -5*u. Suppose 0 = 3*q - u + 30. Let m = q + -31. Solve m = -0*r - r for r.
0
Suppose -9*b = -6*b + 4*t - 35, t + 20 = 5*b. Solve -b*r + 11 = 6 for r.
1
Suppose 6*d - 2*d = 0. Suppose 4*g - 7 = 3*g. Suppose -4*j = 2*h - g*j, 0 = h + 4*j. Solve h = 3*w - d*w - 9 for w.
3
Let v = 73 - 58. Let g be ((-1)/(-5))/(1/v). Solve g*u = u for u.
0
Let r be ((-62)/(-93))/((-4)/(-30)). Solve 0 = 31*q - 32*q + r for q.
5
Let d(n) = -7*n - 17. Let l(a) = 10*a + 26. Let x(h) = -7*d(h) - 5*l(h). Let v be x(-13). Suppose -3*j = -v - 1. Solve -2*s = j + 5 for s.
-3
Suppose -2*z = 4*c + 16, 0 = -5*c - 63 + 43. Let d(u) = 2*u + 3. Let m be d(4). Let k = m - 7. Solve -i = -z*i - k for i.
4
Suppose -334 = 6*c - 364. Solve -22 - 3 = c*y for y.
-5
Let l = 8 + -1. Let a be (-6)/21 - (-23)/l. Solve 0 = -3*n - 0*n - a for n.
-1
Let h(c) = c**3 + 7*c**2 + 3*c + 7. Let v be h(-7). Let g be 4*3/(-6)*(-3 + 11). Let s = v - g. Solve 0 = -4*p + s*p for p.
0
Let q be 2/4*(74 + -37 + 21). Solve 0 = -6*k + 35*k - q for k.
1
Let s be (-2 + -2)*(-8)/4. Solve -4 = s*u - 4*u for u.
-1
Let x be (-2)/11 + (-224)/(-22). Let o be (12/x)/((-2)/(-20)). Let h = -6 + o. Solve -2*s + h = s for s.
2
Suppose 0 = 20*n - 950 - 110. Solve -54*a = -n*a - 1 for a.
1
Suppose 0 = -11*p + 9*p - z - 234, 5*p + 598 = 4*z. Let u = -116 - p. Solve -4*v + 6 = -u*v for v.
3
Let v(d) = -21*d + 32. Let b be v(0). Solve -10*h - b = 8 for h.
-4
Suppose 4*o = -q + 3*o + 5, -4*q + 10 = 2*o. Suppose 0 = -x - q*x + 2. Solve 3*y = x + 13 for y.
5
Suppose 5*u - 24 = u. Suppose -5*f + 12 = -3. Let n = f + -3. Solve n = 3*o - 0*o + u for o.
-2
Let f be 22/(2 - (-1 - -1)). Suppose f*r = 6*r + 30. Let a(d) = -d - 2. Let m be a(-5). Solve m*b - r + 0 = 0 for b.
2
Suppose 7*w = -22 + 43. Solve -w*j + 2 = -2*j for j.
2
Let k(i) = i**2 + 10*i + 26. Let b be k(-6). Suppose v = -0*v - 15. Let y = -7 - v. Solve -b*o = -y - 2 for o.
5
Let y = -21 - -29. Let k = y - 4. Solve 1 + k = -5*g for g.
-1
Suppose 0 = p - 1 - 4. Let d(o) = -o**3 - 4*o**2 - 7*o. Let v be d(-3). Suppose -13*j = -v*j - 3. Solve p*g - 2 - j = 0 for g.
1
Suppose 0 = 2*c + 3*c + 95. Let i(t) = -t**3 - 20*t**2 - 18*t + 23. Let z be i(c). Solve 2 = z*x + 22 for x.
-5
Let d(y) = -y**3 + 4*y**2 - 3*y + 1. Let r be d(3). Let a be 20/(-2)*r/(-2). Solve 0 = 7*b - a*b for b.
0
Let m(t) = -t**2 + 8*t - 10. Let l be m(6). Let d be (-4 + 0)*1 + (6 - l). Let v = -10 - -14. Solve -2*c + v + 0 = d for c.
2
Let w be 2/((-8)/(-10))*2 + 25. Solve -w*o = -35*o for o.
0
Let w be 2/11 + 218/11. Let k = w - 13. Suppose -5*d - k + 22 = 0. Solve -2*q = -q - d for q.
3
Let n be (-1 - -1)*(-1)/(-2). Let x(q) = -q**2 - 5*q + 87. Let m be x(-12). Suppose n = m*u + 2*u - 5. Solve 4*d = -3 - u for d.
-1
Let l(o) = 2*o**2 + 61*o + 250. Let k be l(-26). Solve -k*y = -10*y - 18 for y.
3
Suppose 74 = 2*r - s - s, 4*s = 0. Let k = -34 + r. Solve 5*h + k = -2 for h.
-1
Suppose -3*b = 3 - 6. Suppose 4*t - 5*i = -0 - 4, 4*i = t + b. Let n be (t + 2 - 1)*-1. Solve 3*h = -n*h for h.
0
Let d = -1167 + 1167. Suppose 5*o - 4*q = -21, 5*o - 13 = 2*o - 4*q. Let b(n) = -5*n**3 + n**2 + 2*n + 1. Let s be b(o). Solve i + s = -d for i.
-5
Suppose 4*f - 36 = 4*c, -f + 4*f - 37 = 5*c. Suppose -4*i + 5*h = 2*h - 7, 10 = f*i - 2*h. Solve 1 = -i*w + 13 for w.
3
Suppose 5*q = -7 - 8. Let v be (q/(-5))/(2/10). Solve i = -0 - v for i.
-3
Let r = 12 - 8. Let w be (2 - 0)/((-14)/(-42)). Suppose -4*p + q + 32 = w*q, q = -2*p + 10. Solve -p*k = k - r for k.
1
Suppose 2*c + 1 - 5 = 3*j, -c = j - 2. Let z be 1 + (-2)/(-1) - -1 - j. Solve h - 2*h = z for h.
-4
Let z(a) = 2*a**2 - 15*a + 11. Let k be z(7). Solve k*o = -5*o - 9 for o.
-1
Suppose 2*w - 160 = -2*m, 4*m - 35 = w - 125. Let l = -78 + w. Solve u + l = -0 for u.
-4
Let f = 355 + -344. Solve f*t - 13 + 57 = 0 for t.
-4
Let s = 22 - 10. Let r be (3/s*0)/2. Solve r = -2*b + 7*b - 5 for b.
1
Let m = -234 - -434. Let f be (-3)/4*m/(-30). Solve -o + 8 = -f*o for o.
-2
Let o(z) = -z**3 + 22*z**2 - 43*z + 64. Let k be o(20). Let c = 11 + -8. Solve -c*q = -k*q for q.
0
Suppose 5 = d - k + 6, 5*d - 30 = -2*k. Let p = d - -4. Solve -2*l + p = -6*l for l.
-2
Let f(o) = -o**3 - 13*o**2 + 12*o - 6. Let t be f(-14). Suppose 0 = t*z - 25*z + 27. Solve -4*a + 7*a - z = 0 for a.
3
Suppose -2*z + 24 = 5*t, 2*t - 9*z = -7*z + 18. Solve 4 = 5*d - t for d.
2
Let p = -213 - -232. Solve -2*a + 21 = p*a for a.
1
Let k(v) = v**3 + 6*v**2 - 16. Let r be k(-5). Let n = r - 9. Solve 3*w - 10 - 2 = n for w.
4
Let h be (-1769)/(-232) - (-6)/16. Solve 0 = -h*i + 11*i - 9 for i.
3
Let a(c) = -c**3 + 3*c**2 + 2*c - 4. Let p be a(3). Let h(d) = 93*d**2 + 3*d - 4. Let u be h(1). Let q = 94 - u. Solve -q = x + p for x.
-4
Let n(c) = 7*c - 8 + 9*c**2 - 2*c - 2 + 2*c**3 - c**3. Let j be n(-8). Suppose 3*s = 4*b - j, -s = -b + s + 6. Solve -5 = 3*q + b*q for q.
-1
Let w = -5 - -7. Suppose w*j = j. Suppose -u = -3*c + 4*u - 5, c - 2*u + 3 = j. Solve c*p + 18 = 3 for p.
-3
Let p(a) = 4*a**3 - 17*a**2 - 21*a - 15. Let i(b) = 2*b**3 - 9*b**2 - 11*b - 8. Let t(j) = 11*i(j) - 6*p(j). Let n be t(-1). Solve 0 = n*k - 6*k - 8 for k.
-2
Let h(w) = -w**3 + w**2 + 2*w. Let b = -60 + 62. Let a be h(b). Solve a = -g - 3 - 2 for g.
-5
Let h = -49 - -63. Solve 16 = h*w - 18*w for w.
-4
Let q(f) = 5*f**2 + 17*f + 9. Let w(m) = -9*m**2 - 33*m - 17. Let c(s) = 7*q(s) + 4*w(s). Let v be c(-10). Suppose 0*j = -5*j + v. Solve -i - j = 4*i for i.
-1
Suppose 0*w + 12 = w. Suppose -80 = -w*k + 7*k. Solve -m = 3*m + k for m.
-4
Let q be (64/(-40))/((-4)/(-10)). Let d be (-1 + -4)*-2*(-2)/q. Solve -d*p + 12 = 37 for p.
-5
Suppose -11*q = 10*q. Solve q*v + 32 = -8*v for v.
-4
Let j(u) = 4*u + 1. Let k be j(1). Suppose -75 = -5*w + k. Solve 0 = -3*y - y - w for y.
-4
Suppose 14*a - 120 = 11*a. Let o be 5/(-10)*(a/4)/(-1). Solve o*w + 4 - 19 = 0 for w.
3
Let c(n) = 2*n - 64 + 2*n**2 + 35 + 27. Let h be c(1). Solve s - 9 = -h*s for s.
3
Let j = 8 + -8. Suppose 2*q + 5*i = 5*q - 61, -q + 4*i + 25 = j. Let x = 19 - q. Solve -3 + 13 = -x*a for a.
-5
Suppose -4*l + 12 = 44. Let s be 5/(-60)*3*l. Solve 9 = -s*n - 1 for