1. Let w(c) = 4*c - n*c + c. Let b be w(6). Solve 6 - b = 3*o for o.
-4
Let u = 90 + -90. Solve -2*c + u = -8 for c.
4
Suppose 5*w + 3*x + 2*x - 40 = 0, -4*x = -4*w - 8. Suppose w*r - 15 = -2*r. Suppose h - 2*z = 6, -h + 4*h - r*z = 12. Solve h*d + 3*d = -25 for d.
-5
Suppose -8 = -7*i + 5*i. Solve j - 1 = -i for j.
-3
Suppose 37 = 2*n + 3*r - 0, -3*n - 5*r = -57. Let f = n + -11. Solve -f = 3*i + 6 for i.
-3
Let s(k) be the second derivative of 2*k + 1/6*k**3 + 0 + 3*k**2. Let o be s(-3). Solve -4 = o*a + 5 for a.
-3
Let l(p) be the second derivative of -p**4/12 - p**3 + 3*p**2/2 - p. Let x be l(-8). Let f = x - -18. Solve v = 2*v + f for v.
-5
Let q be 1/4 + (-2)/8*1. Solve q = 3*o + 7 + 5 for o.
-4
Let d(w) = -w**3 + 4*w**2 - 4*w + 3. Suppose 3*s + 4*q - q = 3, -4*q - 11 = -s. Let g be d(s). Suppose -5*y = -9*y. Solve 2*t + y*t + 10 = g for t.
-5
Let c be ((-102)/9)/(2/(-3)). Let n = c + -17. Solve n*h - 15 = 3*h for h.
-5
Let z(f) = -f**2 - 4*f + 7. Let t(o) = 5*o**3 + o**2 + o. Let k be t(-1). Let l be z(k). Solve 0 = 7*y - l*y - 20 for y.
4
Let w = -3 - -3. Suppose w = -4*d + 13 + 19. Solve 3*j = d*j + 20 for j.
-4
Suppose -8 = -2*d + z, 0 = d + d - 4*z + 4. Solve 2*k + 2 = d for k.
2
Let a(o) = o**2 + 3*o + 2. Let j = -4 - -1. Let u be a(j). Solve -f - 3 = -u*f for f.
3
Suppose -x - x + 17 = -i, 2*i + 6 = 0. Suppose -4*s - 3*u = -1 - 11, 0 = s - 2*u - 3. Suppose -s*h + 8 = -x. Solve 20 = h*j - j for j.
5
Suppose g = -2*g. Let j = 44 - 164. Let t be 6/(-21) + j/(-28). Solve g*i - 12 = -t*i for i.
3
Let o(j) = j**3 - 6*j**2 - 4*j + 45. Let q be o(5). Solve -3*n = -q + 12 for n.
-4
Suppose j = -2*r - r, r = 4*j. Solve r = o - 2*o - 1 for o.
-1
Suppose 0 = 5*g + 5*v - 25, -4*g + v + 11 = 2*v. Suppose -3*o + 3*z + 6 = 0, g*o + 2*o - 29 = -3*z. Solve 0 = -3*x + o*x + 4 for x.
-2
Suppose -5*d - 6 - 34 = 0. Let g = d + 5. Let u be ((-2)/g)/(2/3). Solve l - u = -0*l for l.
1
Let n(a) = a**2 + 13*a - 9. Let j be n(-14). Suppose 3*s - 7*s - 8 = 2*x, -4*x = 2*s - 8. Suppose y = x*y - 15. Solve -5*z = j + y for z.
-2
Let u(f) be the third derivative of -f**7/2520 + f**6/144 - f**4/24 - f**2. Let p(q) be the second derivative of u(q). Let r be p(5). Solve -6 = -3*v - r for v.
2
Suppose -t = -q, -5*q = -0*t + 5*t - 10. Let v be (4 + -4)/(q + 1). Solve z - 4*z = v for z.
0
Let v be 246/78 + (-4)/26. Solve -z + v*z = -6 for z.
-3
Let r be (2*(-3)/(-4))/(63/84). Solve r + 1 = 3*n for n.
1
Suppose -4*y - 2 + 14 = 0. Suppose -s = -y*s - 2. Let x be (-6)/(-12) + s/2. Solve h + h + 6 = x for h.
-3
Let f(s) be the first derivative of -s**2 - s - 3. Let y be f(-2). Solve -4*j = y - 19 for j.
4
Let p = -145 - -145. Solve p = -u - u for u.
0
Let o(z) = -z - 3. Let j be o(-5). Let p = 0 - 1. Let c = j - p. Solve c*s - 3 = -0*s for s.
1
Let o be 15/(-25) - (-6)/10. Suppose z = -5, o*z = -2*k - 4*z - 16. Solve 0*s + 6 = -k*s for s.
-3
Let n(x) be the second derivative of x**3/6 + x**2 + x. Let f be n(0). Let u be (-3 - 0/(-3))*-3. Solve -u = f*r + r for r.
-3
Let p(b) = 6*b + 30. Let j be p(-5). Solve 0 = t - j*t - 4 for t.
4
Suppose -k - 14 = -3*f, 4*k - 11 = -4*f - 3. Let a = 4 - -6. Let y be 2/a + 38/10. Solve -2*l - f = -y*l for l.
2
Suppose 34 = -4*m + 42. Solve m*c = 6*c for c.
0
Let d be 4 + -3 + (-2)/1. Let i be -2 - d/(2/28). Solve -5*u + i = -u for u.
3
Let a(k) = 5*k**2 + 5*k - 5*k**2 - 6 + k**2. Let h be a(-6). Suppose -4*v + 75 = -5. Solve h = f + 4*f + v for f.
-4
Let f(k) = 2*k**2 + 10*k + 7. Let d be f(-6). Let h = d - -1. Suppose 9 = x - t, 4*x - 2*t = 55 - 21. Solve 4*b + x = h for b.
3
Let h = -190 + 192. Solve -5*t + h*t - 12 = 0 for t.
-4
Let x(k) = -k**3 + 2*k**2 + 5*k. Let h(l) = -l**2 + 1. Let m(j) = 2*h(j) - x(j). Let v be m(5). Solve -v*g + g = 0 for g.
0
Let k(n) = -n**2 - 7*n + 2. Let q be k(-7). Suppose 5*u - 65 = -5*c, u - 4*u + 3*c = -33. Suppose -r + 4 = 0, u = q*a + r + r. Solve 0 = m + 2 + a for m.
-4
Suppose 5*a + 0*a = 225. Suppose -r = 2*r - a. Suppose 5*f - r = 25. Solve 2*j + f = -2 for j.
-5
Let h = -42 - -47. Solve -h*j = 1 + 4 for j.
-1
Let t = 1 - -7. Suppose -4*r + 3*r = -6. Let c = t - r. Solve -i = -c*i - 2 for i.
-2
Let i(r) = r - 7. Let s be i(9). Let l be 6/(s*(-9)/(-12)). Solve l*j - j = -3 for j.
-1
Let r = -10 + 18. Let j(f) = -2*f**2 - 5*f + 5. Let y(c) = 5*c**2 + 9*c - 11. Let n(k) = 7*j(k) + 3*y(k). Let p be n(r). Solve v + 5 = p*v for v.
5
Let g be (6 - 1)*(15 - 14). Solve -2*n - g = -7*n for n.
1
Let f(y) be the first derivative of -5*y**2/2 - y + 1. Let m be f(-2). Suppose -7*k = -5*k - 20. Solve 4*q - m*q - k = 0 for q.
-2
Let u = -20 + 26. Solve -2 = 2*m - u for m.
2
Let a(k) = -10*k + 2. Let z be a(-2). Solve -5*u = -7 + z for u.
-3
Let t(s) = -2*s**3 - 4*s**2 - 4*s - 3. Let b be t(-2). Solve 18 + 2 = -b*o for o.
-4
Suppose -9*u = -3*u - 30. Solve k - u = -1 for k.
4
Suppose -5*m - 4 = -14. Suppose -3 + 5 = m*d. Let a = 31 - 29. Solve -a*n = -d + 3 for n.
-1
Suppose 3*y - 12 = 18. Let l(g) be the third derivative of g**5/60 - 7*g**4/24 + g**3 - g**2. Let x be l(6). Solve x = 5*o + y + 10 for o.
-4
Let a be 10/(-55) + (-395)/(-55). Solve 2*t - a + 3 = 0 for t.
2
Let i = -8 + 8. Solve i*x = -x for x.
0
Let d = -4 - -9. Solve 28 = d*i + 3 for i.
5
Suppose 0 = -0*z - 2*z. Suppose -g + 16 = -k, z = -2*k + 3*k + 1. Solve j = 4*j + g for j.
-5
Suppose 0 = 3*u + 4*l + 1, 2*u + 9*l = 4*l - 10. Suppose 3*n = u*n. Let h = n + 0. Solve -b - 4 - 1 = h for b.
-5
Let x = -3 - 1. Let w(c) = -c + 2. Let d be w(x). Solve -l + d*l - 15 = 0 for l.
3
Suppose -3*f = 2*h - 7, 5*f = h - 2*h. Suppose h*d = 3*d + 24. Solve 4*x + 4 = -d for x.
-4
Let k(u) = -2*u - 6. Let c be k(-4). Let g = 39 + -29. Suppose 2*p = g*p - 56. Solve -p + c = -f for f.
5
Let u be ((2 - 2) + -1)*1. Suppose 5*n + 3*w = 3*n + 7, -4*n - 3*w = 1. Let v be (-3)/u + (-3 - n). Solve v*a + 4 = -0*a for a.
-1
Let u = -111 + 211. Suppose 6*i - u = i. Suppose -4*t = -r - i, -4 = -2*t + 5*r + 6. Solve -h = -t*h + 4 for h.
1
Let i(m) = -m**2 - 18*m - 14. Let q be i(-17). Solve -3 = -q*o + 4*o for o.
-3
Suppose 3*s + 20 = 8*s. Let f = 6 + -6. Suppose 4*r = -3*p + 5*p + 26, f = s*r - 3*p - 27. Solve -v = -r*v - 10 for v.
-2
Let y(t) = -4*t + 3. Let b be y(0). Solve b*a = -0*a - 9 for a.
-3
Let c(w) = -10 + 4*w**2 + 1 - 9*w + 0 - 5*w**2. Let h be c(-7). Solve 0 = h*g - 5 for g.
1
Let o(q) = -q - 4. Let a be o(-6). Suppose a - 11 = -3*z. Suppose z*s = 3*i - 2*s - 15, 0 = -4*i - 5*s + 55. Solve -5*v + 7*v + i = 0 for v.
-5
Let l(z) = z**3 + 3*z**2 - 5*z + 3. Let w be l(1). Solve 2 = -w*o + 4 for o.
1
Let n be ((-1)/1)/(-1 - 0). Suppose -n = -2*q + 11. Solve q*z - 2*z - 8 = 0 for z.
2
Suppose -3*j - 50 = 2*j. Let c be ((-26)/j)/((-2)/(-10)). Solve c = -4*g + 5 for g.
-2
Let z be (-374)/(-18) + (-4)/(-18). Let k(b) be the second derivative of -b**5/20 + b**3/3 - b**2/2 - 2*b. Let v be k(1). Solve -5*h + z - 1 = v for h.
4
Let g = -21 - -23. Solve 2*z + g*z - 4 = 0 for z.
1
Let b(i) be the first derivative of -i**3/3 - 2*i**2 + 1. Let n be b(-4). Solve n = -q + 4*q for q.
0
Let q(l) be the first derivative of -l**3/3 - 5*l**2/2 + l - 1. Let y be q(-6). Let z be (-2 + -1)*y/3. Solve 0 = -c + z*c + 8 for c.
-2
Suppose -5*p + 17 = -2*h, -1 = -5*p + 4*h + 8. Solve p*i - 10 = -0*i for i.
2
Suppose 0 = 2*o + 2*o + 4. Let s be ((-11 - -2) + o)/(-1). Let v be 1 + 0 - (-36 + 12). Solve v = -s*c + 5*c for c.
-5
Suppose -4*a = -2*l - l + 7, 2*l - 4*a - 2 = 0. Solve -3*w + 4 = -l for w.
3
Let r(o) = -9*o**3 + o**2 + o - 1. Let m be r(1). Let s = -5 - m. Solve -3*a = s - 6 for a.
1
Suppose 0 = -2*t + 8, -5*t + 16 = z - t. Solve -8*r + 5*r + 6 = z for r.
2
Suppose 4*m - 17 = -1. Suppose 109 = 6*y + 61. Solve 0*n - y = -m*n for n.
2
Let c = -97 + 101. Solve -20 + 4 = -c*s for s.
4
Suppose -f - 2 = -2*n - 0, 2*n = 2*f. Solve 3*v - 5*v = f for v.
-1
Suppose -t + 26 = 3*k - 0*t, -3*t = -6. Suppose 0 = -5*s - 3*n + k, 4*s - 36 = -0*s + 5*n. Solve -m + s*m = -12 for m.
-4
Let s = 5 - 5. Let n = 15 + -10. Solve -t + 2 - n = s for t.
-3
Let q(v) be the first derivative of -v**3/3 + 3*v - 5. Let f be q(0). Solve -f*l + 0*l - 15 = 0 for l.
-5
Let f(c) be the first derivative of c**2/2 + 9*c - 2. Let v(p) = -p - 3. Let l be v(4). Let m be f(l). Solve -3*d - m*d - 10 = 0 for d.
-2
Let z = 22 - 