3
Let f be 0 + 2 + -4 + -5. Let k be (-22)/(-4)*(12 - 16). Let z = f - k. Solve 0*j - z = -3*j for j.
5
Suppose -c + 3 = 7, 4*w = -2*c - 8. Solve w = 2*j + 12 - 4 for j.
-4
Let y = 45 + 13. Let f = y - 56. Solve f*z - 4 = -0 for z.
2
Let w = -160 + 160. Solve 14*k - 8*k + 24 = w for k.
-4
Let d(l) = -20*l - 391. Let s be d(-20). Solve -s*n - 19 = -1 for n.
-2
Let s(x) = x**2 + 2. Let p be s(0). Let k be ((-9)/45*-25 - 3) + (-15)/(-5). Solve p*l - k - 1 = 0 for l.
3
Let q(y) = -y**3 + 5*y**2 + 5*y + 8. Let g be q(6). Let k be 627/38*4/6. Solve -k = -g*u - 5 for u.
3
Suppose 5*i - 5 = -5*s, 0 = -2*i - 5*s - 0*s - 7. Solve -i*t + 12 = -0*t for t.
3
Let a be 8*((-57)/24 - -3). Solve 0 = -a*p - 14 - 11 for p.
-5
Let a(u) be the second derivative of -1/20*u**5 + 7/6*u**4 + 0 + 7*u**2 - 1/6*u**3 + 5*u. Let k be a(14). Solve 4*r + 2 - 10 = k for r.
2
Let p be (-6)/((-4)/(-4)) + 476/14. Solve 18 = -5*y + p for y.
2
Let b(x) = -15*x - 44. Let n be b(-3). Solve -2*u - n = -u for u.
-1
Suppose 4*p = -3*t + p + 36, -26 = -3*t - p. Let y be (-8 + t)/((3/(-6))/1). Solve -3*f = y*f - 15 for f.
3
Let o(j) = j**2 - 6*j - 2. Let g be o(7). Solve 4*i + 3 = -g for i.
-2
Let c(v) = -53*v + 539. Let g be c(10). Solve 22*f - 31 = -g for f.
1
Let k(y) = -y**2 - 20*y - 2. Let l be k(-15). Let g = l + -73. Solve 4*i = -g*i for i.
0
Let a(f) = f**2 + f - 1. Suppose -d + 1 + 2 = 0. Let g = d - 1. Let k be a(g). Solve -t = -k + 3 for t.
2
Let u(d) = -7*d**2 + 21*d - d**2 + 8*d**2 + 2 + d**2. Let y be u(-21). Solve -y*l = -11 + 3 for l.
4
Let s(f) = -f**3 - 3*f**2 - 2*f - 1. Let b be s(-3). Suppose -y = 2*q - 4*q, 0 = -b*y - 3*q. Let o = 11 + -11. Solve y = n - o*n + 2 for n.
-2
Let d = -914 + 918. Solve -3*n = -10 + d for n.
2
Let b = -137 + 132. Let t(o) = o**2 + 8*o + 21. Let g be t(b). Solve -g = -4*l + 10 for l.
4
Let t(c) be the first derivative of c**3/3 - 4*c**2 + 4*c + 2. Let m be t(7). Let g be ((9 + -3)/m)/(-2). Solve -n + 1 = -g for n.
2
Let r(c) = 223*c + 669. Let o be r(-3). Let j(a) = a - 3. Let n be j(3). Solve n = -u - o*u for u.
0
Let y = -141 + 111. Let j = y - -38. Solve 2*x + j = 4 for x.
-2
Let g(j) be the first derivative of j**4/4 - 4*j**3/3 + 1. Let t be g(4). Suppose -3*w - 5*n + 4 = -20, t = 4*w - 3*n - 3. Solve w*v = -2*v + 5 for v.
1
Suppose 15 = -5*h - 5*t, 12 = -5*h + 2*h - 4*t. Solve h = -8*q + 47 - 15 for q.
4
Let i = -228 - -235. Solve i*y + 24 = y for y.
-4
Let l be 3/(2*3/6). Suppose 3 = n + 1, -54 = -4*v + l*n. Solve v = s - 6*s for s.
-3
Let s(a) = a**2 - 2*a - 22. Let h be s(10). Suppose 0 = 4*u + 5*c - h, 12*u - 7*u + 2*c = 64. Solve -4*w - u - 8 = 0 for w.
-5
Suppose -316 = -5*b - 221. Solve b*o = 15*o - 12 for o.
-3
Suppose 4*v = 5*s - 24, -2*s - 2*s - 3*v + 13 = 0. Suppose -g = -0*g + s*p + 11, -5*p = 4*g + 11. Suppose 0 = 2*i + 3 - 7. Solve -g = -i*h + 3 for h.
2
Let h = 8 + -7. Suppose h = -r + 4*j - 6, -r - 4*j = -17. Let p = 10 - r. Solve p*f - 11 - 4 = 0 for f.
3
Let f(j) = j**2 - 3*j + 6. Let i be f(3). Let o be (-2)/i*0 + 0. Solve -3*q + q = o for q.
0
Let q(o) = -o + 10. Let l = -42 + 75. Suppose -n + 7 + 7 = 2*y, 3*n + 3*y - l = 0. Let b be q(n). Solve -15 = -b*c - c for c.
5
Let u(x) = 2*x - 26. Let g be u(11). Let j(w) = -3*w - 4. Let h be j(g). Suppose 19 = 5*n - 1. Solve -3*m = h + n for m.
-4
Suppose 64*t = 104*t - 2200. Solve 59 = p + t for p.
4
Let q be 56/6*(-18)/(-12). Suppose -4*h - s + 20 = 0, -5*h - 2*s = -q - 8. Solve 5*k = h - 21 for k.
-3
Suppose -26 = -5*a - 3*c + c, c = 3. Suppose a*j = 1 + 3. Solve 0 = -2*o - j - 3 for o.
-2
Suppose u + 3*s + 0*s - 16 = 0, -5*s = u - 8. Let m be u/2 + 1 + -3. Let a be m/(-8)*4/(-2). Solve -a*l = -0*l + 6 for l.
-2
Let c(w) = -w**2 + 14*w + 1. Let y be c(14). Let h be (-2 - y) + -8 + 14. Solve h*f - 4 = f for f.
2
Suppose -3*n = -10*l + 5*l - 7, 0 = 2*n - 2*l - 6. Suppose 0 = z + n*z - 100. Solve -5*v - z = -v for v.
-5
Let h(u) = -u**3 - 5*u**2 - 4*u. Let y be h(-4). Suppose 3*b - 54 = -y*b. Suppose -4*v - 4*x + 7 = -5, b = 4*v - 2*x. Solve s - v + 2 = 0 for s.
2
Suppose 0 = -5*u + 20, 2*y + u + 3*u = 20. Solve y*v = -5*v for v.
0
Let i(v) be the third derivative of v**6/60 - v**5/5 + 5*v**3/6 - 19*v**2. Let r be i(6). Solve r*x - 13 = 7 for x.
4
Suppose -4*x - 3 = -11. Let w be 3*-1 - (-2 - -3). Let r be (-6)/(-15) - w/(-10). Solve -x*k + r = -8 for k.
4
Let k = 749 - 747. Solve 5*v = -k*v for v.
0
Let j(o) = o**3 - 2*o + 137. Let l be j(0). Solve -136*w + 1 = -l*w for w.
-1
Suppose 26 + 29 = -5*s. Let h = s + 15. Suppose -l = h*l. Solve l = -0*f - f for f.
0
Suppose 5*y = 10, -6*y + y = -2*x - 10. Suppose -i + 47 = 2*q + 3*q, 5*q - 3*i - 39 = x. Suppose 5*m - 64 = 11. Solve 4*w - q*w = m for w.
-3
Let x be (-3)/24 + 11/((-264)/(-387)). Solve 7*l - 3*l = x for l.
4
Suppose 12*s - 13*s = -3. Let m = 0 + s. Solve 0 = -8*q + m*q - 25 for q.
-5
Let n be 93 - (2 + (-12)/3). Suppose 6*k + n = 11*k. Suppose -7 - k = -2*j. Solve 4*p = 1 - j for p.
-3
Let o = -23 + 30. Solve 0 = o*t - 5*t for t.
0
Let u(d) be the second derivative of d**3/6 - 9*d**2 - 3*d. Let f be u(6). Let t = -12 - f. Solve t*h + h - 4 = 0 for h.
4
Suppose 4*v = 0, 4*f + 7 = 3*v + 15. Solve a - f + 4 = 0 for a.
-2
Suppose 0 = -4*f + 4*n + 68, -3*f = 4*n + 14 - 79. Solve -6*g - 5 = f for g.
-4
Let f be (-48)/((-24)/30 - 24/20). Solve 0 = 12*s + 36 + f for s.
-5
Let d(y) = y**3 + 6*y**2 - 22*y - 45. Let k be d(-8). Solve k*n - 5 = 8*n for n.
-1
Let a(i) = -i**2 - 3*i + 2. Let y be a(-3). Let j(h) = h + 5. Let u be j(y). Suppose -m + 20 = 5*d, -m - 2*d + 1 = -u. Solve m*l = -l - 3 for l.
-3
Let y = 7 + -12. Let f(b) = b - 1. Let a be f(y). Let k = a - -8. Solve k*s + 15 = -s for s.
-5
Let w = 426 + -360. Solve w - 63 = -q for q.
-3
Let t(k) be the first derivative of -k**2/2 + 13*k + 6. Let d be t(9). Solve d*q = -q + 10 for q.
2
Let n(u) = 3*u**2 - 1. Let x be n(-1). Let r be (-1)/(-2)*0/227. Solve r*j = -j - x for j.
-2
Let y(z) = z**3 - 3*z**2 + z - 1. Let c be y(3). Let t = c + -2. Suppose t = -2*l + 7 - 1. Solve -2*d = l*d for d.
0
Suppose 4*h - 38 = -5*p, -6*p - 2*h + 28 = -2*p. Let b = 11 - p. Suppose -16 = -5*f - 3*f. Solve 3*m + b = -f*m for m.
-1
Let d(s) = s**2 - 5*s - 4. Suppose 23 = 2*b + 9. Let w be d(b). Let l be (-33)/(-11) + (-2)/((-6)/(-9)). Solve -2*k + 0*k - w = l for k.
-5
Suppose 4*z - 8 = 4. Let o = 60 + -40. Suppose 3*t + 5*v - 20 = 0, 4*t = -v + o + 35. Solve -z*q + t = -0*q for q.
5
Suppose -2*u = 3 - 13. Suppose -5 = -5*b - u*l, -2*l + 3*l = -1. Solve r + b = 4 for r.
2
Let o = -114 + 210. Let l = 101 - o. Solve -t - 3 + l = 0 for t.
2
Suppose 12*p - 8*p = 100. Solve -12*d - p = -7*d for d.
-5
Let a(y) = y**3 + 9*y**2 + 8*y - 12. Let s be a(-7). Let v = -26 + s. Suppose m + v*m = 80. Solve -m = -i - 3*i for i.
4
Suppose 0 = -5*h - 4*n + 267, -5*h = -3*n + 6*n - 269. Solve -9*z - 2*z = h for z.
-5
Let y be 15/(-60) - (-242)/8. Solve -8*i = -2*i - y for i.
5
Suppose -6*r + 6 + 12 = 0. Suppose -r*o + 7*o = -g + 8, -4*o + 8 = -2*g. Solve -o*h = 3*h - 10 for h.
2
Suppose 3*u = u + 2. Suppose 0 = 2*i + 2*r - 16, i - 3*i + 2*r = 4. Solve -i*v + u = 13 for v.
-4
Let i(p) = -p**3 - 3*p**2 + 6*p - 46. Let c be i(-6). Solve c*v - 25*v + 4 = 0 for v.
-4
Let j be ((-9)/6)/(((-45)/40)/3). Suppose j = -5*m + 54. Solve -m = -6*q + q for q.
2
Let m(z) = -1 + 0 + 0*z + z - 6. Let o be m(7). Suppose -s + 4 = -o. Solve 3*d - 1 = -s for d.
-1
Let u = 72 - 72. Suppose m = 4*m - 15. Let t = m + u. Solve -t = -3*o + 4 for o.
3
Let c be (-10)/(-165) + (-229)/(-33). Solve 32 = -c*s - s for s.
-4
Let f be 1/(-2)*(1 + -3)*2. Solve -z = -f - 2 for z.
4
Suppose 0 = -6*m + 31 + 41. Solve -7*r + 13*r = m for r.
2
Let y(r) be the third derivative of r**5/20 - r**4/12 - r**3/3 + r**2 - 3*r. Let q be y(-1). Solve q = m - 0 for m.
3
Suppose 3*p - 16 = 5*j, 3*p + j - 22 = -0*j. Let n = p + -7. Suppose 2 = 2*i - n*i. Solve i + 2 = 3*r for r.
1
Let h(o) = 4*o + 37. Let m be h(-10). Let j(b) = 2*b**3 + 7*b**2 + 5*b + 6. Let c be j(m). Solve -3*l + c = -3 for l.
1
Let y(b) = b**2 - 11*b - 30. Let i be y(14). Solve 4*m + i = -8 for m.
-5
Let k be 3 + 57/(-21) + (-164)/(-14). Solve 5*i - k*i + 28 = 0 for i.
4
Suppose l + w = -0*w + 5, -5*l + 2*w = -18. Suppose 0*c - l = -c, -5*c + 12 = -2*r. Solve -r*p = p for p.
0
Let u(b)