u + 1. Let k be s(-1). Let b be k/(-2)*1*-2. Solve o = m + b for m.
1
Let u(d) = 4*d**2 - 2*d + 4 - 4*d - 2*d**3 + 3*d**3 + 4*d. Let s be u(-4). Solve -2*i + 6*i = -s for i.
-3
Let a(z) = z**3 + 8*z**2 - z - 9. Let r be a(-8). Let i be 1/(-1)*(-4 - r). Suppose i*l + l = 4. Solve -4*o = -5 + l for o.
1
Let d be (-3)/(21/(-6) - -2). Let h(y) = y**2 - 7*y + 7. Let m(j) = -j + 1. Let o(f) = h(f) - 6*m(f). Let t be o(d). Solve t*z - 3 = 4*z for z.
-3
Let u = -19 + 23. Solve 0*b = 2*b + u for b.
-2
Let r be (0 - 2/(-9)) + (-1232)/(-126). Solve -4*v + r = 30 for v.
-5
Let i = 3 - 0. Solve 0*v - 9 = -i*v for v.
3
Let q = 2 - 0. Suppose 0 = q*o - 6*o + 8. Solve -3*v - o - 10 = 0 for v.
-4
Let k be -1 + -1 - (2 + -4). Suppose -3*y - 3 = 2*m + 3, 2*y - 3*m + 17 = 0. Let r be (-2)/y*2*5. Solve 2*p - 7*p + r = k for p.
1
Let t(y) = -y**3 + 5*y**2 + 7*y - 9. Let j be t(6). Let c(g) = -g**2 - 3*g + 3. Let p be c(j). Solve -1 - 5 = p*u for u.
-2
Let p(v) = -v**2 - 5*v - 3. Let n = 15 - -1. Suppose -5*c = n - 1. Let z be p(c). Solve -1 = 4*r + z for r.
-1
Let b(u) = u**3 - 9*u**2 - 11*u + 19. Let z be b(10). Solve 0 = -5*i - 11 - z for i.
-4
Let v(m) = -m**3 + 3*m**2 + 4*m. Let b be v(4). Suppose b = 5*y - 58 + 8. Let k(j) = j**3 - 10*j**2 - j + 10. Let z be k(y). Solve -4*s + 4 = -z*s for s.
1
Let j = -5 + 9. Solve -2 = j*s - 3*s for s.
-2
Let y be (-48)/(-8) + 3*-1. Let d = -2 + y. Solve o - d = -6 for o.
-5
Suppose 5*m - 40 = 5*d - 0, 0 = -4*m - 5*d + 50. Suppose -3*c - p - 1 = -9, -2*c + 4*p = -m. Solve c = -3*y - 3 for y.
-2
Let w = -7 + 10. Solve 12 = -0*q - w*q for q.
-4
Let q be (-1)/((-1)/4*1). Solve -q*l + l = -3 for l.
1
Suppose -4*r - 2*a = -a - 4, -12 = 2*r + 4*a. Solve -r*h - 1 = 3 for h.
-2
Let l(c) = -4*c - 3. Let i be l(-2). Suppose 1 = i*v - 9. Solve -u - 1 = v for u.
-3
Let d be -1*6/(-2) + 1. Solve -d*g = g - 10 for g.
2
Suppose -3*s = 5*g - 35, -3*g - 3*s = 2*s - 37. Suppose -2*h + 23 = -4*w + 3*w, -3*h + 4*w = -42. Suppose -7*t + h = -2*t. Solve g = 2*z + t*z for z.
1
Let k = 9 + -15. Let l(z) = -z - 12. Let a be l(-7). Let h = a - k. Solve -i + 4 = -h for i.
5
Let x(r) = 11*r**2 - r + 1. Let p be x(1). Suppose 3*n = -4*q + 27, -4*n - 4*q + 23 = -3*q. Solve -p - n = -4*d for d.
4
Let m(h) = -h**2 - h + 4. Let t be m(0). Solve -t*z + 25 = z for z.
5
Let m = -2 - -5. Let w be (-2)/m*(-60)/8. Let b be w - (-2 + 0) - 2. Solve -q + b = 1 for q.
4
Let m be (2 + 1)/3 + -16. Let n = -11 - m. Solve -n*r - 11 - 9 = 0 for r.
-5
Let t(w) = w - 2. Let i be t(6). Let g(n) = n**3 - 5*n**2 + n + 1. Let f be g(5). Solve i*d - 2*d = -f for d.
-3
Let z(s) = s + 8. Let t be z(-5). Suppose 0 = -5*a - 5. Let q(b) = 3*b**2 + b. Let y be q(a). Solve y = -t*u + 8 for u.
2
Let j be 2 + 1*(-3 - -2). Let x be (-1)/(j/(-3)) - -2. Solve x*h - 8 = -3 for h.
1
Let d be (-48)/(-36)*((-1)/(-2) - -1). Solve 0*n = -d*n + 2 for n.
1
Suppose 3*k = 7*k. Let u(y) = -4*y - 8. Let d be u(-3). Solve -i + d*i - 15 = k for i.
5
Let o be 3 + (3 + -2)/(-1). Let g be (2/o - 2)*-12. Suppose -2*q - 2*d + g = -8, 5*q - 3*d - 10 = 0. Solve 0*m = q*m for m.
0
Let k(g) = -g**2 - 5*g - 2. Let q be k(-4). Let t = -39 - -39. Solve q*x = -t*x for x.
0
Suppose -5*y + 2 = q - 18, 2*y - 8 = -2*q. Let n be (1 - y)*(-48)/36. Solve -x + n*x = 3 for x.
1
Suppose 0 = -v + 2*s + 9, -2*v + 30 = 2*v - 5*s. Suppose -v*z + 9 = -16. Solve -u - 4*u = -z for u.
1
Suppose 0 = 4*l - 0*l - 36. Suppose -1 = -h + l. Let n be (h/(-15))/(2/(-69)). Solve 3 - n = -5*j for j.
4
Let l = 2 - 2. Solve l*f + 2 = 2*f for f.
1
Suppose -4*t - 23 = -5*t. Let g = -19 + t. Solve 0*j = -g*j for j.
0
Let x(n) = n**3 + 2*n**2 + n + 2. Let o be x(-2). Let f = -3 + 5. Solve o*s = -f*s + 4 for s.
2
Suppose -5*p + 0*p = v - 3, 5*p + 3*v = 9. Suppose -5*r = -5 - p. Suppose 0*a = -2*a. Solve a = y - r - 2 for y.
3
Suppose -2*z = 5*z - 28. Solve 2*f - z*f = -8 for f.
4
Suppose -3*f - u = -f - 59, 127 = 4*f + 5*u. Suppose 3*a = 6*a - 2*h - f, 5*a - h - 49 = 0. Solve -4*k - a = 2 for k.
-3
Let x = -9 + 16. Let r = x + -11. Let b be (-2)/4 - 2/r. Solve b*g = g - 2 for g.
2
Let w = -87 - -87. Solve 5*q - 44 + 19 = w for q.
5
Suppose -5*f = -4*c - 31, 0*c + 3*c - 3 = -5*f. Let s be c/(-6)*-3 - -4. Solve s*a = 12 - 2 for a.
5
Let d(l) = -l**3 - 6*l**2 - l - 8. Let x be d(-6). Let v(j) = j**2 - 1. Let t be v(x). Suppose i + 6 = -4*i - 2*p, -p = -t*i + 3. Solve -4*s + 4 - 20 = i for s.
-4
Let i be ((-9)/(-6))/((-6)/(-8)). Suppose -2*s = s - 9. Solve -i = -h - s for h.
-1
Suppose 0 = -5*j + 7 - 32, -4*g + 5*j + 25 = 0. Suppose -5*c + v = -3*v - 62, 4*c - 3*v - 49 = 0. Solve g = t + t - c for t.
5
Let r be (-1)/(((-9)/(-15))/3). Let y = 8 + r. Solve -5*g = -y*g for g.
0
Let x(o) = o**2 + 5*o + 2. Let q be x(-7). Let v be (-1 + 3)/(2/q). Solve 2*k + 2*k = v for k.
4
Let k(w) = -w**3 - 2*w**2 + 2*w - 1. Let y be k(1). Let d = y + 3. Solve 3*l - d = 8 for l.
3
Let y be 17/3 - 12/18. Suppose 0 = y*k - 3*t + 6, -t + 0 + 2 = 5*k. Solve 5*r - 10 + k = 0 for r.
2
Suppose -3*v = -5*t - 21, -4*v = -5*v + 2*t + 8. Suppose -5*w + 15 = 5*b, -4*w - 1 - 32 = -5*b. Let o = w + 3. Solve 0 = -v*r - o - 1 for r.
-1
Let w = 3 - 3. Let g = -177 - -182. Solve g*l + 15 = -w*l for l.
-3
Let r(w) be the third derivative of w**6/120 - w**5/12 - w**4/4 + 3*w**2. Let f = 8 - 2. Let u be r(f). Solve 5 = -u*a - a for a.
-5
Let m(j) = j**3 - j**2. Let o be m(0). Suppose -p + 5*p - 24 = o. Suppose p = -x + 4*x. Solve 2*w + x - 6 = 0 for w.
2
Let o be (-780)/(-91) - (-8)/(-14). Solve 5*q - o = q for q.
2
Suppose -3*r - 1 = -13. Let k be ((-4)/8)/((-1)/r). Suppose 0 = 2*l - 4*f - 18, 2 - 14 = -l + 3*f. Solve 0 = -k*x + x - l for x.
-3
Let t(j) = j**2 + 3*j + 4. Let s be t(-4). Solve -m + 5*m - s = 0 for m.
2
Suppose 0 = 3*s - 4*s - 2. Let l be 16 + (s - (-1 - 0)). Solve 9*j = 4*j - l for j.
-3
Let w be (-99)/(-27) + 2/6. Solve -2 + 14 = w*u for u.
3
Let c(i) = i**3 + 3*i**2 - 3*i - 5. Let n be c(-4). Let r = 15 + n. Let j = -6 + r. Solve -8*h + 3*h - 15 = j for h.
-3
Let t be (-8)/20 - 14/(-10). Let b(n) = t - n - n + 3*n. Let s be b(5). Solve 2*k = -0*k - s for k.
-3
Let s(x) = x**3 - 6*x**2 + 6*x - 2. Let h be s(5). Suppose -3 - 9 = -h*a. Solve y - a*y = 12 for y.
-4
Let c be 18/(-2)*8/12. Let k be 6 + (c/2)/1. Solve k*m = m for m.
0
Let q(p) = 2*p + 1. Suppose -5*n = -0*n - 5. Let d be q(n). Solve 0 = -d*c - 1 + 4 for c.
1
Suppose 11 = 3*w - 4. Solve 3*y = -w - 1 for y.
-2
Let z(f) = f + 13. Let g be z(-10). Let t = g - 1. Solve 3*u = 4*u - t for u.
2
Suppose 3*g + 2*g = 0. Let a be 6/(-9)*-3 + 1. Solve g = -a*u + 15 - 3 for u.
4
Let i(w) be the first derivative of 4*w - 1/2*w**2 + 1. Let o be i(4). Solve o = 4*r + 12 for r.
-3
Let j be (-2*1 - 0)*-1. Let v = 1 - j. Let m be ((0/v)/3)/2. Solve m*z + 6 = -2*z for z.
-3
Suppose -5*p + 54 = p. Solve 4*b + 11 + p = 0 for b.
-5
Suppose y = -2*y + 15. Let r be y*(3 + -7)/(-4). Solve n - r*n = -20 for n.
5
Suppose 5*q - 5 + 25 = 5*a, a - 2 = 3*q. Solve -a*z - 17 = 8 for z.
-5
Suppose 2*p = -3*n + 10, -5*n - 2*p = p - 17. Suppose 3 = n*j - j. Let c be 2 + 8 + (j - -1). Solve -3 = -5*s + c for s.
3
Let r be -5*(1 - 2/1). Suppose -4*z = r*x - 20, 2*z = 3*z - 2*x - 5. Let j = -11 - -15. Solve j*p + p + z = 0 for p.
-1
Suppose -6 = -2*m - 0. Suppose -a - 2 = -2*a. Suppose -x - a*x = -5*q + 13, -3*q + 3*x = -9. Solve 0 = -m*b - q*b for b.
0
Suppose -15 - 25 = -3*q - 5*g, 0 = q - 5*g - 20. Let d(s) = -s**2 - 9*s + 12. Let j be d(-10). Suppose -5 = -3*x + j*x. Solve 5*t = x - q for t.
-2
Let x(o) = -3*o - 6. Let a be x(-5). Suppose -1 = -2*q + a. Solve -5*c + q = -20 for c.
5
Suppose 0 = 5*s - 0*s - 3*c + 8, 3*s = -3*c. Let w = 2 + s. Let p = w - -2. Solve -p*j + 2*j = -2 for j.
2
Suppose 10 = 9*o + 64. Let b(i) = -1 + 2 - 2*i - 5. Let h be b(o). Solve 0 = -3*g + g + h for g.
4
Let l be (6*-2)/(-4)*1. Suppose -5*p + 2 = -l*p. Solve 2*y + p = -7 for y.
-4
Suppose 0 = -4*h - 20, q = 3*h + 4 + 16. Suppose -3*b + 5*v = -2, 2*b - q*b + v + 10 = 0. Solve 0 = -b*g + 5 + 3 for g.
2
Suppose -y = 12 - 5. Let h(t) = t**2 + 6*t + 8. Let d be h(y). Solve 7*b + d = 2*b for b.
-3
Let n = -5 + 4. Let b = 3 + n. Let m(a) = 4*a + 2. Let g be m(b). Solve g = -3*t - 2*t for t.
-2
Suppose 0 = 2*a + 5*r - 35, -r + 72 = 4*a - 25. Suppose 0 = 5*j - 5 - 5. Solve a 