 Let m be 3/(-2)*(-16)/3. Let p be (-2)/j - m/(-28). Solve -3*c + 2*c + 5 = p for c.
5
Let d = 1 - -1. Suppose -d*h - h - 3 = 0. Let k(c) = 6*c**2 + c. Let u be k(h). Solve 0 = u*f - 4*f - 1 for f.
1
Let w = 6 + 4. Suppose 0 = 5*r - 2*r - 15. Suppose 0 = -2*q + r - 1. Solve 3*v + q = -w for v.
-4
Let b(o) = -o**3 + 8*o**2 - o - 8. Let q be b(8). Let t be 0 - -1 - q/8. Suppose 22 = -3*g + 5*f, -3*g + 7 = -g + f. Solve -7 = t*z - g for z.
-2
Suppose -5*h + 27 - 7 = 0. Let f = -27 - -11. Let v = 31 + f. Solve -s = h*s + v for s.
-3
Let u(r) = r**3 + 3*r**2 - 5. Let k be u(-3). Let a(g) = -g**2 - 7*g - 1. Let n be a(k). Solve -3 = -3*y - n for y.
-2
Suppose 4*l + f - 2*f - 18 = 0, -6 = -l + f. Suppose 8 = -l*v + 2*m - 4*m, 0 = 3*v - 3*m - 12. Solve v*x + 9 = -3*x for x.
-3
Suppose 53*g = 55*g - 32. Solve 4 = 4*s - g for s.
5
Let h = 64 + -61. Solve -n + 1 + h = 0 for n.
4
Let z be (1/(-3))/((-1)/9). Let o be ((-7)/3)/((-1)/z). Suppose 0 = -3*q + o*q - 48. Solve -3*k = k - q for k.
3
Let n(x) = 7*x + 2. Let p(j) = 8*j + 2. Let u(i) = 4*n(i) - 3*p(i). Let v be u(2). Suppose -3*t - v = 4*m - 38, -4*m - 4*t + 32 = 0. Solve 2*b = m*b - 10 for b.
5
Let f(s) = 5*s - 2. Let d be f(-3). Let u = -10 - d. Let w = -2 - -4. Solve -w*x + 1 = u for x.
-3
Let f = 14 - 9. Suppose -o + f*o = 244. Suppose o = 4*s + 17. Solve -2*y - 1 = -s for y.
5
Let k be 1*-2*4*1. Let q = -2 - k. Solve -2*c + 20 = -q*c for c.
-5
Let y(m) = -m**2 + 8*m - 3. Let r be y(7). Suppose 25 = -5*u, b - 16 = u + 2*u. Solve -r + b = -3*j for j.
1
Let f = -18 - -25. Suppose 5*y - f*y = 0. Solve t = -y*t for t.
0
Let s be ((-4 + 4)/(2 - 4))/(-2). Solve s = -3*d + 7*d - 16 for d.
4
Let u be 36/(-42)*7/(-2). Solve u*p + 20 = -2*p for p.
-4
Suppose 3*g - g = 6. Suppose -2*w + g*y - 6 = w, 0 = y - 5. Let v be (0 - -12)*(-2)/(-4). Solve 0 - v = w*f for f.
-2
Suppose -y - j + 9 = -0*y, 2*y - 3*j = -7. Let o be (-1 - 1)*(-14)/y. Suppose -8 = -4*h + 12. Solve -h*a - 2 + o = 0 for a.
1
Let k = 22 + -20. Solve 3 = -5*o - k for o.
-1
Suppose 9 = x + 3. Suppose -4*p = -3*r + 1, -6*r + p = -2*r - 23. Let n = r - 4. Solve -n*s = -x*s + 9 for s.
3
Let m(k) = -5*k**3 - 8*k**2 + 11*k + 3. Let b(u) = 3*u**3 + 4*u**2 - 6*u - 2. Let n(j) = -7*b(j) - 4*m(j). Let g be n(3). Solve -g = -2*c + 3*c for c.
-5
Let i(z) = -z - 6. Let t be i(-9). Solve 2*a - t - 3 = 0 for a.
3
Let b(w) = -w**2 - 4*w + 5. Let v be b(-4). Solve 11 = -v*y - 9 for y.
-4
Suppose -2*p + 16 = 4*f, 3*p - 5*f = -p - 20. Suppose -k = 4*z - 7 + 3, p = -5*z. Solve o - k = -0 for o.
4
Let a(p) = 3*p - 1. Let q be a(2). Suppose 2*y = 3 + q. Solve 5 - y = -b for b.
-1
Let p(u) = -15*u**2 - 4*u + 4. Let h(i) = -45*i**2 - 13*i + 13. Let n(j) = 2*h(j) - 7*p(j). Let a be n(1). Solve -d - 4*d = a for d.
-3
Let h(m) = -m**3 - 3*m**2 + 2*m - 2. Let r be h(-4). Solve -2*b - r = 4 for b.
-5
Suppose i - 125 = -4*j, 2*j + 3*i = -2*j + 135. Suppose 0 = 4*s - s - j. Solve -4*q = s - 30 for q.
5
Suppose -14 = -5*m + 4*f, -2*f + 15 = 5*m - 7*f. Let k = 0 + m. Suppose g + 0 - k = 0. Solve 2*d + g = -0*d for d.
-1
Suppose -10*r + 4*r = -30. Solve 0 = -3*m + r - 17 for m.
-4
Let i(s) = -s - 1. Let c(f) = -2*f - 7. Let k(x) = -c(x) + 4*i(x). Let a(g) = 3*g - 5. Let w(j) = 3*a(j) + 5*k(j). Let o be w(-2). Solve 0 = 4*p + 2 + o for p.
-1
Suppose 0 = 5*m + 15, -5*r - m - 3 = -3*r. Suppose -4*k + 4*l + 0*l = -20, r = -3*k + l + 17. Solve -3*f + f + k = 0 for f.
3
Let a be (6/(-10))/((-6)/(-60)*-2). Let j(h) = -h**3 + 4*h**2 - h. Let v be j(3). Solve -a*s = -v*s + 6 for s.
2
Let s(h) = -h + 2. Suppose -2*j = 5*u + 29, -j - 9 = 3*u + 8. Let f be s(j). Let l be 11/f - (-3)/12. Solve -l*g = g for g.
0
Suppose 9*z = 11*z - 6. Solve -15 = 6*c - z*c for c.
-5
Let z be (-12)/(-28) - (0 + (-9)/(-21)). Solve -2*k + 4 = -z for k.
2
Suppose 0 = -3*w - 2 + 11. Suppose w*b - 11 = -5. Solve -7*i = -b*i for i.
0
Let n = 123 + -121. Solve 2*y - 4 = -n for y.
1
Suppose -3*r = -4*r + 7. Let u = r + -7. Solve u = t + 2*t + 3 for t.
-1
Suppose -y = -16 + 6. Let j = y + -19. Let k = 15 + j. Solve -4 = -2*d + k for d.
5
Let j(b) be the third derivative of b**6/120 + b**5/10 - b**4/8 - 4*b**3/3 - b**2. Let v be j(-6). Solve 5*d - v = -0*d for d.
2
Let v(h) be the second derivative of -h**3 - h**2/2 + 5*h. Let a be v(-1). Solve -15 - 5 = -a*i for i.
4
Let p(g) = -g**3 + 9*g**2 + 4. Let n be p(9). Let t(o) = -o**3 + 5*o**2 - 5*o + 6. Let d be t(n). Suppose 2*u + d*u = 4. Solve -3*k = -u - 5 for k.
2
Suppose -j + 2 + 4 = 0. Suppose j*m - 6 = 3*m. Solve r + m = 3 for r.
1
Let h = 69 + -65. Solve q + h = 9 for q.
5
Suppose p - 4*p = -9. Let r(s) = 0 - 1 + s + p. Let g be r(-2). Solve -4*j + g = 16 for j.
-4
Suppose -3*i - 19 + 28 = 0. Solve i*s = s for s.
0
Let f be 4/2 - (-12)/(-6). Let l = 11 + -12. Let a be 3 + f*l/1. Solve -2*n - a*n - 5 = 0 for n.
-1
Suppose 8*m - 3*m - 25 = 0. Let l = m + 15. Let o be 52/l + (-2)/(-5). Solve o*c + 25 = -2*c for c.
-5
Let x be (-4)/8*(-120)/3. Let q = -12 + x. Let m(o) = o**3 + 6*o**2 - o - 4. Let b be m(-6). Solve -b*c + q = -0*c for c.
4
Suppose 4*i + 2*c + 2 = 0, 5*i + 2*c - 2 = c. Suppose -2*b = 4*o - 30, b + 4*o - 24 = -i. Let s = 9 - b. Solve -s - 1 = -h for h.
3
Let v = 6 - -4. Solve 0 = 5*u - v*u for u.
0
Suppose -11 = -2*b + 3*o + 2*o, 0 = 2*b - o - 7. Solve -b*p = 2*p - 20 for p.
4
Let v be 56/(-20)*((-20)/8 - 0). Solve 4*h - v = -19 for h.
-3
Let u = 6 - -4. Solve 3*j + 2*j = -u for j.
-2
Suppose 0*f - 2 = -f. Suppose 2*d - 3*d - 12 = -3*h, -4*d + 3*h - 3 = 0. Solve -f*j - j = d for j.
-1
Let v = -6 + 15. Let y(p) = -p**2 - 5*p + 6. Let r be y(-6). Suppose r = 2*g - 5*g + v. Solve -g = -d + 2 for d.
5
Let o = 3 + 0. Suppose -1 = o*m - 13. Solve -1 = m*u - 5 for u.
1
Let p be (-4)/((-4)/531)*1. Suppose 71 - p = -4*w. Suppose 5*k - 5*r - w = 0, 4*k - 8 = -2*r + 66. Solve b + 4*b = -k for b.
-4
Let q be 6/4*(-8)/(-12). Solve -q + 0 = r for r.
-1
Let y(c) = -5*c**2 + 23*c + 2. Let b(j) = -3*j**2 + 15*j + 1. Let w(a) = 8*b(a) - 5*y(a). Let l be w(-6). Solve d = -l*d for d.
0
Suppose -20 = -g - 4*o, -25 = 3*g - 0*o - 5*o. Solve g = -4*q - 11 - 1 for q.
-3
Let u(k) = k + 8. Let m = -8 + 2. Let r be u(m). Suppose w + 84 = 5*g + 4*w, 4*g = -r*w + 68. Solve 4*h - g = -2 for h.
4
Let h be (0 - -2)*(-2)/(-4). Let f be ((h + 0)*-4)/(-1). Solve -f = -y - y for y.
2
Suppose k = 3*k - 18. Let m = -23 + 37. Suppose -j + m = 3*w - 0, 5*j - 92 = -4*w. Solve 0 = -k*x + 4*x + j for x.
4
Let f(b) = -b - 13. Let v be f(-16). Solve 12 = -v*t - 0*t for t.
-4
Let h(k) = -k**3 + 14*k**2 + 17*k - 30. Let g be h(15). Solve q + g*q = 4 for q.
4
Suppose 4*t - 6*o + 2*o = -12, 2*t + 5*o - 29 = 0. Let a be -8 + (-3)/(6/(-4)). Let m = a - -6. Solve m*i = -2*i - t for i.
-1
Let f = -5 - -8. Suppose 0 = -0*m - f*m. Let j be (18/45)/(1/10). Solve -j*q + q + 15 = m for q.
5
Let w(q) = 2*q**2 - q - 1. Suppose 4*b = -3 + 11. Let z be w(b). Suppose o - 5 = -m - 0*m, -4*o - z*m + 22 = 0. Solve i + o = 1 for i.
-2
Let i(w) = 2*w - 7. Let h be i(5). Solve 0 = -c - h*c - 16 for c.
-4
Suppose 4*z + 2*j - 12 + 78 = 0, -2*j = 3*z + 51. Let x = 22 + z. Solve -4*a + 9 = -x*a for a.
-3
Let x be (42/(-4))/((-6)/8). Let o = x - 12. Solve -1 - 3 = o*s for s.
-2
Suppose 2*y - 5*t = 13, -2*t + 10 = 3*y - 19. Let n = 10 - y. Solve 0 = -h + 2 - n for h.
1
Let z(n) = n**3 + 3*n**2 - 3*n + 4. Let p(i) = -i + 7. Let t be p(5). Suppose -2*f = -5*k - t, 3*f - 4*k + 3 = -1. Let h be z(f). Solve h = 5*y - 10*y for y.
0
Let u = 48 + -44. Solve 6 + u = -5*y for y.
-2
Let a(l) = l - 6. Let t be a(8). Let u be t/10 + (-36)/(-20). Solve z - u = -z for z.
1
Let j = -21 + 25. Suppose j*f = f + 12. Solve -4 = -f*w + 3*w for w.
4
Suppose 4*d = -0*d. Solve d*b - b = 0 for b.
0
Suppose 0 + 4 = -3*u - 2*c, 0 = -5*u - c - 2. Solve -16 = -u*h - 4*h for h.
4
Let f = 19 + -9. Solve -y + f = y for y.
5
Let p(x) = -x**2 + 4*x - 1. Let h be (10/6)/((-2)/6). Let k(u) = -u**3 - 6*u**2 - 7*u - 7. Let w be k(h). Let s be p(w). Solve -i = -2*i + s for i.
2
Let a = -7 + 11. Suppose -h = -4*h - 9, -4*v - 12 = 4*h. Let k be v + 1 - (-3 - -4). Solve n = -a - k for n.
-4
Let l(i) = -2*i + 8 + i + 2 + 0*i. Let g be l(10). Solve 5*u + 10 = -g*u for u.
-2
Suppose -6*o + 22 = -20. Solve -u + o = 4 for u.
3
Let r = 31 + -26. Solve r*l = 4 + 6 for 