0. Let v be f(-6). Let u be (-2)/v*(0 + 0). Solve -3 + u = b for b.
-3
Let a(o) = o**2 - 1. Let t be a(2). Suppose -d - 3*d = -4*i + 16, -4*i - 3*d = -37. Let n be 65/i - 6/21. Solve t*v - n + 24 = 0 for v.
-5
Let y be (4/(-10))/(2/(-20)). Let v be 87/15 + 2/10. Let j be v*1 + -2 + 1. Solve 7 = y*i - j for i.
3
Suppose 0*b - 23 = -3*j + 2*b, 2*j - 3*b = 22. Let m be (-6)/(-24) - (-31)/4. Let w = m - j. Solve 0 = -w*g + 4*g - 1 for g.
1
Let y(n) = 2 + 127*n + n**3 - 127*n. Let f be y(0). Solve f*p - 3 = -13 for p.
-5
Let c be 2/(-17) - 8/(-68). Solve c = -5*n - 5 - 5 for n.
-2
Let a be 30/(1 - 3/(-6)). Suppose r - 26 = a. Let j be r/4 - (-1)/2. Solve 2*o = 5*o - j for o.
4
Let j be 18/3*(-4)/(-6). Let w be 2/(-8) + (-15)/j. Let q = w - -4. Solve q = -2*u - 3*u for u.
0
Let i be -3*((-12)/9 - -1). Suppose -3*g + 11 = -i. Solve -m = -3*m + g for m.
2
Let w = -2 + 5. Solve -w*o + 2 = -o for o.
1
Suppose -3*a + 25 = 2*a. Suppose 2*k - 8 = 0, 4*k = 6*m - m - 59. Solve 0*z - a*z = m for z.
-3
Let q(a) = a + 1 + 2 + 8*a**2 + a**3 + 5. Let i be q(-8). Let u be i/(0 - 3/1). Solve u = -2*h - 6 - 0 for h.
-3
Let q(n) = -9*n - 22. Let c be q(-3). Solve c - 4 = -l for l.
-1
Let p(q) = q - 8. Let x be ((-1)/((-2)/(-16)))/(-1). Let j be p(x). Solve j = k - 6*k for k.
0
Let o = -19 + 23. Let y = -7 + 5. Let m = o + y. Solve -m*q = -3*q for q.
0
Suppose 2*r = -3 - 1. Let q = 3 + r. Solve -7 = -2*y + q for y.
4
Let q be (-20)/(-5) + 1 + 0. Solve q*x + 11 = 1 for x.
-2
Let c(r) = r**3 - 5*r**2 + 6*r - 3. Let d be c(4). Let p(v) = v**2 - 4*v - 2. Let f be p(d). Let s be (-1 - -9) + (3 - 2). Solve 0*u - s = f*u for u.
-3
Let p be (-4)/(5/((-5)/2)). Solve s + s = p for s.
1
Let y = -4 + 10. Suppose -3*i = -i - y. Let h(c) = -c**2 + 2. Let m be h(0). Solve -i*u = m*u + 10 for u.
-2
Suppose -2*y + 22*y = 40. Solve -j = -y*j for j.
0
Let y(f) = f - 5. Let p be y(11). Solve 2*w + 16 = p*w for w.
4
Let s(b) be the third derivative of -b**6/120 + b**5/12 - b**4/8 - 5*b**3/6 + b**2. Let f be s(4). Let t be (-12)/(-16) - f/4. Solve 0 = 5*o - t - 9 for o.
2
Suppose -2*o = -0*o - 6. Solve q = -0*q + o for q.
3
Suppose 0 = b + b - 4. Suppose b*x = 5*x - 51. Solve -3*z + 2 - x = 0 for z.
-5
Suppose -5*x = 20, -2*x + 1 = u + 4. Suppose 0*s - u*s = 15. Let q = s - -3. Solve q*y = 2*y + 6 for y.
-3
Let x = 13 + 0. Let q = -4 + 7. Suppose 0 - 4 = -4*f. Solve -q*u + f = x for u.
-4
Let b be 0/(6 + -3) + 7. Suppose 5*c + 10 = -w - b, -8 = -c - 4*w. Let k = c + 6. Solve k*s - 4*s + 10 = 0 for s.
5
Suppose -2*c - 6 = -4*c. Let m = -49 + 50. Solve -13 = c*r - m for r.
-4
Let y(v) be the first derivative of -v**4/4 - 5*v**3/3 - 3*v**2/2 + 7*v - 3. Let a be y(-4). Solve 2*f - a = 1 for f.
2
Let x(b) = b**2 + 1. Let k be x(-1). Solve k*g + 6 = -g for g.
-2
Let l(c) = -c**2 - c + 2. Let h be l(-4). Let f(a) = -a - 4*a**3 + 4*a**3 + a**3 + 10*a**2 - 5. Let u be f(h). Solve 0 = u*z - 12 - 13 for z.
5
Let o be 1/4 - 9/36. Solve -c - 1 = -o for c.
-1
Let z(t) = 3 - 3*t - 2 + 6*t. Let n be z(-3). Let g be (-1)/4 - 34/n. Solve x + g - 3 = 0 for x.
-1
Let f(y) = -y**3 + 4*y**2 + 3*y + 4. Let t be f(5). Let r be ((-6)/(-5))/(t/(-20)). Suppose -22*n = -285 - 111. Solve r*w = -2 - n for w.
-5
Let t = -6 - -8. Suppose 5*a = t*a + 24. Solve -2*c + 0*c + a = 0 for c.
4
Let h = 12 + -8. Let l(a) = 3*a**2 + 5*a + 2. Let i be l(-6). Let u be h/(-18) + i/36. Solve -u*b - 12 = 2*b for b.
-3
Suppose -3*f - 4*z = -2*z - 8, 4*z - 8 = -4*f. Suppose -t + f = r, 3*r = -2*t + 9 + 3. Solve -4 = -0*a - r*a for a.
1
Let w(t) = t**2 + 3*t - 3. Let r be w(3). Let d = r - 9. Solve 3*l = l - d for l.
-3
Let x be -25 + (-1 - 4/(-2)). Let g = -18 - x. Solve -g = s - 3*s for s.
3
Let g be 84/16 - 3/12. Solve 9*c = 4*c - g for c.
-1
Let f = 17 + -13. Solve u - 2*u = f for u.
-4
Let o(q) = q**2 + 8*q - 5. Let x be o(-9). Solve -x*j = -2*j + 8 for j.
-4
Suppose 0 = j - 2*j + 8. Let b(t) = t**3 - 7*t**2 - 9*t + 11. Let m be b(j). Suppose -m*v = -4*v. Solve -5*k + 0*k = v for k.
0
Let n(s) = s**3 - 6*s**2 - 5*s + 1. Let u be n(7). Let b = -2 + 2. Suppose b - 15 = -5*f. Solve -f*w - u = -0 for w.
-5
Let h = 1 + -1. Let z be 1*(-2 + -2) + 6. Solve -k + z = -h for k.
2
Suppose 0*z - 4 = -2*z. Let d be (32/(-2))/(-4) - z. Solve -4*y + d*y - 10 = 0 for y.
-5
Let p(f) = 2*f - 7. Suppose -2*r - 2*b = -20, -r + 3*b - 3 = -21. Suppose t + t = r. Let d be p(t). Solve -16 = -d*c - 6 for c.
2
Let h(k) = -k**2 - 8*k + 13. Let s be h(-10). Let g = s - -10. Suppose 0*l = g*l. Solve l = -p + 4*p for p.
0
Let w(y) = -y + 8. Let t be w(8). Solve -3*k - k - 8 = t for k.
-2
Let i = -2 - -12. Let n(y) = y - 7. Let j be n(i). Solve 0 = j*k + 1 - 7 for k.
2
Let c(z) = z**3 + z. Let g be c(1). Let d = 1 + g. Suppose 0 = d*y - 6, 2*l + 2*y + y = 16. Solve 11 + 9 = l*w for w.
4
Let j be 10/35 + 4/(-14). Solve -2*w + 0*w + 2 = j for w.
1
Let g be 8*(-1)/(1 - 2). Suppose g*w - 15 = 3*w. Let l be (w/(-6))/((-1)/4). Solve -7 = 5*n - l for n.
-1
Suppose w + 14 = 3*r - w, 3*r + 4*w + 10 = 0. Let g(l) = 0 - l + 3*l - 1 + 7*l**r. Let c be g(1). Solve -c*y = -3*y - 5 for y.
1
Let v(s) = 6*s - 7*s + 11 + 2*s. Let o be v(-6). Solve -4*z + 1 = o for z.
-1
Let k(y) = 4*y - 50. Let b be k(13). Solve -2 - b = d for d.
-4
Suppose -3*c + 8 + 7 = 0. Solve -c*i = -3*i + 8 for i.
-4
Let c(r) = 6*r - 21. Let g be c(6). Let q be (-16)/20*g/(-6). Solve -q*u + 3*u = 1 for u.
1
Let v = 16 + -10. Solve -t + v = 1 for t.
5
Suppose 10 = 5*a - 5. Let s(q) = -q - 7. Let f be s(-7). Solve u - a + f = 0 for u.
3
Let b = 111 + -106. Solve -3*i - 4 = b for i.
-3
Let t be 50/(-10)*(-4)/5. Suppose -t*w - b + 7 = 0, -w + 2*w - 18 = 3*b. Let h(n) = 3*n + 2. Let g be h(2). Solve d + g = -w*d for d.
-2
Suppose -5*l = -v + 21, 4*v = 2*v - 2*l - 6. Let g(c) = -4*c - v + 2 + c. Let t be g(-1). Solve -t*k + 15 = k for k.
3
Let x = 7 + -3. Suppose x*b = 3*c - 18, 5*c = c + 4*b + 20. Solve 0 = -4*y - 6 + c for y.
-1
Let z be 1/((-3)/(-225)) + -3. Suppose 28 + z = 5*t. Suppose -4*r + 3*r = 2*k - 11, 0 = 5*k - 5*r - t. Solve 0 = 2*a + k - 1 for a.
-2
Let f be (15/(-6))/((-6)/36). Solve -m + f = 2*m for m.
5
Suppose -q = q. Suppose -y - 4*y + 24 = 3*m, q = 4*y. Let i(p) = p**3 - 2*p**2 - p - 1. Let o be i(3). Solve -o*l = -3*l + m for l.
-4
Let z(n) = -n - 6. Let u be z(-9). Suppose -19 = -u*b - 1. Solve -b*q + 12 = -2*q for q.
3
Let n be 1 + -6 + (-2)/(-1). Let v = n + 7. Solve d = -v*d - 25 for d.
-5
Let w(u) = -5*u - 1. Suppose 0*g + 2*g + 2 = 0, -l + 4*g = -7. Let i = -4 + l. Let k be w(i). Solve -b + k = b for b.
2
Suppose 2*u = 5*u - 5*y + 5, 5*y - 5 = u. Solve u*l - 3 = -l for l.
3
Suppose -r = -2*r + 26. Suppose 2*i = 2*w - 20, 3*w - 5*i + 3*i = r. Let v(k) = -k**2 - 6*k - 4. Let h be v(-4). Solve h*f + w = -14 for f.
-5
Let l(c) = -2*c + 18. Let z be l(8). Solve 8 = -z*m + 2 for m.
-3
Let n = 49 + -29. Let o be (n/(-3))/(16/(-24)). Solve 4*b + b - o = 0 for b.
2
Suppose -h - 40 = -3*h. Solve -2*u + h = -7*u for u.
-4
Let w be 2 + (-9 - (2 + -1)). Let l be 17/3 + w/12. Let c = l + 0. Solve 1 = -c*q - 14 for q.
-3
Suppose -2*y - 5*m + 22 = 0, 2*m + 11 = 2*y + 3. Solve -y*v + 3*v = 15 for v.
-5
Suppose -10*z + 14*z - 16 = 0. Let l(r) = -r**3 - 5*r**2 + 4*r + 3. Let i be l(-6). Suppose 6*o - o = -2*v - i, -z*o - 20 = 0. Solve -v*y + 1 = -4 for y.
1
Let n(z) = z**3 + 10*z**2 + 3*z + 1. Let c(x) = x**3 + 9*x**2 + 2*x. Let v(p) = 5*c(p) - 4*n(p). Let m be v(-5). Solve -5*b = -m + 11 for b.
-1
Let w(c) = c**3 - 4*c**2 - 4*c - 2. Let z be w(5). Solve -t = -0 - z for t.
3
Let p be ((-1)/(-2))/(2/(-4)). Let g(o) = 5*o**2 - 2*o - 1. Let k be g(p). Solve -k*v = -2*v for v.
0
Suppose -5*x - 7 - 3 = 0. Let k be 4*x/(-12)*18. Solve 3*n - k = 7*n for n.
-3
Let t = 10 + 16. Solve 10 - t = 4*i for i.
-4
Suppose 3*q + 6 = q. Let a = q - -7. Solve -a*h - 14 = -2 for h.
-3
Let f be (13 - 5)/2 - (-2 - -2). Solve 5*d - f = d for d.
1
Let s(h) = h**3 - 3*h**2 + 4. Let m be s(3). Suppose m*d = -2*q - 2, -d = -q - 2 - 5. Let l = 8 + q. Solve -l = -j - 8 for j.
-5
Suppose 8*o - 16 = 4*o. Let m(i) = -2*i - 12. Let j be m(-8). Suppose 0 = y + j*y - 20. Solve -3*k + o*k + y = 0 for k.
-4
Let x(f) = -f**3 + 5*f**2 + 5. Let h be x(5). Let m = -5 + h. Solve 9*o - 4*o - 25 = m for o.
5
Let v be -6 + 7 + 2 + -1. Solve v*r = 