 Let j be d(3). Let q = 62 + -63. Let k be 10/(j + (-1 - q)). Solve 3*c = c + k for c.
5
Let u = 8 + -4. Suppose 5*f = -6 + 56. Suppose 3 - 21 = -3*g. Solve g = u*n - f for n.
4
Let c be -6*(-2)/4 - -4. Suppose -j + c = -9. Solve j = -3*t - t for t.
-4
Let t be (-2)/13 + 160/26. Solve 2*c - t = -0 for c.
3
Suppose -i - 5*z + 16 = 0, -4*i + 2*z + 86 = -0*z. Solve -i + 6 = -3*d for d.
5
Let u be (2/(-4))/((-8)/80). Solve -3*k - u + 11 = 0 for k.
2
Suppose 2*y + 0*y - 2 = 0. Suppose 0 = 4*k - 13 + y. Suppose k*l - 2*n - 2*n - 28 = 0, -n - 8 = -l. Solve -8 - l = -3*b for b.
4
Suppose -3*a + 12*y - 9*y = 9, 3*y - 9 = 4*a. Solve a = 5*u - 3 - 7 for u.
2
Let m(i) = i - 2. Let q be m(2). Let r = 23 + -22. Solve q = o - r - 1 for o.
2
Let i(u) = u**2 + 3*u. Let a be i(-5). Suppose -3*o + a = -o. Solve c - o*c = 20 for c.
-5
Let a be 6/(-9) + 2/(-6). Let j be ((-2)/4)/(a/(-10)). Let r = -5 - j. Solve r = -0*m - 2*m for m.
0
Suppose 4*p + 4*c = -c + 30, 0 = -5*p + 2*c + 21. Let l = p - 3. Solve l*b - b = 5 for b.
5
Let u(n) be the second derivative of n + 0 - 9/2*n**2 - 1/2*n**4 - 1/3*n**3 - 1/20*n**5. Let f be u(-6). Solve 2*j = -5 - f for j.
-4
Let i(t) = t**2 - t - 1. Let b(v) = 2*v**2 - 8*v + 3. Let q be (-2)/4*2*-3. Let r(f) = q*i(f) - b(f). Let p be r(-6). Solve -a = -p*a - 1 for a.
1
Suppose g + 4*x + 1 = 0, 2*g = x + 2*x + 9. Solve 0 = 3*f + g + 3 for f.
-2
Let x = -40 + 25. Let n = x + 15. Solve -1 = -n*v + v for v.
-1
Let j(u) = -4*u + 1. Let x be j(-4). Suppose -2*n - 9 = -6*m + 3*m, -m + x = 4*n. Solve -n - 5 = 2*h for h.
-4
Let l be (-276)/(-20) - (-2)/10. Let s = l + -9. Solve s*b - 20 = -0*b for b.
4
Suppose 0*n = -2*l + 4*n + 8, 16 = 4*l + 2*n. Solve 0 = -3*f + l + 5 for f.
3
Suppose -2*t - 2*t = 0. Let n = -6 - -6. Suppose n*b = -5*b + 20. Solve t = -b*o + o for o.
0
Let a(b) = -b - 2. Suppose -8 = 3*w + 4. Let j(s) = 2*s + 4. Let p be j(w). Let l be a(p). Solve -l*v - 15 = v for v.
-5
Let b = 0 - 2. Let h be 1 + (2 - 6 - b). Let s = h + 2. Solve 0 = l + s + 3 for l.
-4
Let f be (54/(-45))/(3/(-10)). Solve -2 = -f*i + 3*i for i.
2
Let h(j) = 51*j**2 - j. Let x be h(1). Let s be (-1)/(-5) - (-190)/x. Solve 0 = s*y + y for y.
0
Let u be 5/((-3)/3 + 2). Let j be (9 + -4)*(-6)/(-10). Solve 2*b = j*b - u for b.
5
Let a be (-1 + -3)*4*3/(-12). Suppose 0 = f - 0*p + p - 5, -4*f = p - 11. Solve -f*j + 0 = -a for j.
2
Let b = 22 + -20. Solve -f + b = f for f.
1
Let q(i) = -i**2 - 7*i - 1. Let o be q(-6). Suppose 5*n = -b + 4*b + 22, 3*n = o*b + 10. Let v be (-195)/(-715)*(10 + 1). Solve -8 = n*u - v for u.
-1
Let m = 17 - 11. Solve n + 1 = m for n.
5
Let r(q) = 5*q**2 - 29*q. Let x be r(6). Solve x*l + 11 + 7 = 0 for l.
-3
Let i be 8/6*9/3. Suppose -5*j = -10*j + 15, a + 2*j - 9 = 0. Suppose 3*t = c - 9, 41 = a*c + i*t + 1. Solve 0 = -0*p - 3*p + c for p.
4
Suppose -4*c = 4*c - 72. Solve c = -2*r + 3 for r.
-3
Let l be ((-5)/4)/(8/32). Suppose -5*w = -4*w - 9. Let b = w + l. Solve 5*r + b = -6 for r.
-2
Suppose -f - f + 4 = 0. Solve 15 = -f*q - q for q.
-5
Let c(w) = w**2 + 2*w - 1. Let a be c(2). Suppose f = -4, 0 = -j + 3*f + 21 - a. Let s(o) = 14*o - 3. Let v be s(j). Solve 5*k = -0*k + v for k.
5
Let x be -1*((-1 - 4) + 2). Suppose 0 = 5*k - x*k - 20. Solve -4*q - k + 2 = 0 for q.
-2
Let t = 2 - 0. Let p(x) = -x**2 + 8*x + 2. Let i be p(8). Solve t*d = d - i for d.
-2
Let r(f) = f**3 - 6*f**2 + f - 4. Let p be r(6). Solve p*x - x = 1 for x.
1
Let y(j) = j**3 + 6*j**2 + 4*j - 3. Let z be (1/(-3))/((-3)/(-45)). Let h be y(z). Solve -h = -3*n + 1 for n.
1
Suppose -t = g + 2, 12 = -3*g + 3. Solve 5*u + 21 = t for u.
-4
Suppose -3*z + 6 = -0. Let c = -2 + 3. Let t(b) = -b**2 + 2*b - 1. Let y be t(c). Solve y = 3*w + z*w for w.
0
Suppose 0*p + 60 = 3*p. Suppose 4*v = -v - p. Let i(c) = c**2 + 3*c + 1. Let f be i(v). Solve 0*j + f*j - 20 = 0 for j.
4
Suppose 4*g = 3*y + 86, 3*y - 31 - 3 = -2*g. Suppose 4*z - 6 = 10. Suppose -3 + 7 = -z*k, -4*v = -4*k - g. Solve 0 = -c + 2*c + v for c.
-4
Let h = -9 - -17. Solve h*m = 3*m for m.
0
Suppose 5*k - 109 = -34. Solve k = -4*g - g for g.
-3
Let j(t) = -t**3 + 5*t**2 - 4*t + 2. Let o be j(4). Suppose 3*m - 5*f = -o*m + 30, -m = -5*f - 6. Solve -2*y - 16 = -m*y for y.
4
Suppose 19 = 4*t + 3. Let s(n) = -3*n. Let q be s(2). Let z = q - -6. Solve z = -2*g + t*g for g.
0
Suppose -3*k + 4 = -2*p, 0*p = -5*k + 2*p + 12. Solve 3*v + k = -v for v.
-1
Let x be ((-3)/2)/((-3)/16). Let w(z) = -7*z**2 - 3*z - 2. Let d(i) = -i**2. Let j(k) = -6*d(k) + w(k). Let o be j(-2). Solve 2*s + o = -x for s.
-4
Suppose -3*n = n. Suppose n = 5*g + 1 - 16. Let a = 1 - -1. Solve 5 = -g*i + a*i for i.
-5
Let n(q) = q. Let z be n(6). Suppose 3*a + 9 = -z, 3*i - 4*a = 26. Suppose -2*o - 4*b + i = -4*o, 5*o + 3*b = 21. Solve -3*c + o + 3 = 0 for c.
2
Let l(n) = n**2 + 8*n - 4. Let q be l(-7). Let p = -6 - q. Solve 2*g = p*g + 12 for g.
-4
Let u(i) be the third derivative of i**5/60 + 5*i**4/12 + 5*i**3/6 + i**2. Let c be u(-10). Solve -4*x = -3*x - c for x.
5
Let x(p) = p**2 + 5*p - 6. Suppose 0 = -4*f - 16 - 8. Let r be x(f). Let m be 2/8 - (-1)/(-4). Solve r = -4*w + 12 - m for w.
3
Suppose -2*l = -3*l - 3*k - 2, -4*k - 43 = 5*l. Let f be 1*3 + (l - -9). Solve -f = -c - 3 for c.
-2
Let o = 0 - 1. Let t = o + 3. Solve -12 = t*n + n for n.
-4
Suppose -2*v = -4*m + 16, -3*m - v - 2*v + 30 = 0. Solve 2*s = m*s for s.
0
Let q = 54 - 50. Solve 13 = -3*a + q for a.
-3
Let h be 2*5*2/(-4). Let t be ((-6)/h)/(6/15). Solve -t*r = r for r.
0
Let v be 6/9 + 8/6. Solve 0 = g + v*g + 9 for g.
-3
Let j(r) = -r**3 + r + 2. Let t be j(-2). Suppose n - 6*n - 4*q = -t, 5*n - 5*q = -10. Solve -2*g - 2 = -n for g.
-1
Suppose -5*o = m + 3*m + 13, -3*m = -9. Let y(r) = 4 + 1 + r + 0. Let g be y(o). Solve g*d + 8 = 2*d for d.
4
Let x = -10 + 13. Solve 5*o = 4*o - x for o.
-3
Suppose 0*a = -5*a + 60. Let q(u) = -4*u + 4. Let w be q(3). Let c = w - -11. Solve 0 = c*d - 7*d - a for d.
-3
Suppose -9*n = 17 - 71. Solve -3*s + 12 = -n*s for s.
-4
Let i(f) = -f + 13. Let g be i(10). Solve w = 4*w + g for w.
-1
Let b(y) = -7*y**2 + 3*y + 3. Let v(x) = -6*x**2 + 2*x + 3. Let j(s) = 5*b(s) - 6*v(s). Let d be j(-4). Solve -6 + d = -t for t.
5
Let n be 12/(-18) + (-11)/(-3). Suppose 0 = -5*d + n*d. Let a = -41 + 62. Solve d = 4*c + a - 1 for c.
-5
Suppose 5*x + z - 82 + 341 = 0, 4*z = -2*x - 118. Let c = x + 76. Solve c = -p + 6*p for p.
5
Suppose -4*p - 5*m = -50, -3*m + 64 = 4*p - 5*m. Let r = p + -8. Let d(k) = k**3 - 6*k**2 - 7*k + 10. Let f be d(r). Solve 5*v - 10 = f for v.
4
Let b = -4 + 7. Suppose b*v - 17 = -v - m, 2*m - 25 = -5*v. Solve -1 = -p - v for p.
-2
Suppose -2*o - 25 - 11 = -3*i, 12 = -4*o. Let y(n) = -n - 1. Let b be y(-6). Suppose -2*d - i = -2*x, -5*d = 2*x - 4*d + b. Solve -2*m + 1 - 7 = x for m.
-3
Let f = 2 - 2. Suppose 12 = 4*o - f*o. Suppose -a = 25 - 37. Solve 6*i - o*i = a for i.
4
Suppose -3*z = -u - 80, 0 = -2*u - 12 + 2. Let o = -18 + z. Solve o = 5*i + 17 for i.
-2
Suppose 0 = -0*f - 7*f. Solve 4*n = -f*n for n.
0
Let o be 6 + -1 - (4 - 3). Let y be (-8)/(-12)*102/o. Let s = y - 7. Solve 15 + s = 5*j for j.
5
Suppose 4*x - 5*z = 45, 0*z - z + 20 = 5*x. Solve -2*t - x = 1 for t.
-3
Suppose 6 = 2*g - 0. Suppose -g*z - 13 = -5*r, -z = -r + 3*r - 3. Solve 0 = -a + 3*a + r for a.
-1
Let c(m) = m - 5. Let i be c(9). Suppose -3 = i*l + a, -2*l + 2*a + 6 = 2*l. Solve l = 2*w - 0*w + 2 for w.
-1
Let v(o) be the first derivative of -o**4/4 + 5*o**3/3 + 3*o**2/2 - 7*o + 3. Let q be v(5). Let g = q + -6. Solve g*h - 2 = -0 for h.
1
Let f be (-2)/(-4) - (-78)/12. Solve -4*g - 13 = f for g.
-5
Let q(b) = -b**3 + b**2 + b - 2. Let h be q(-2). Suppose -4*k - 5*g + 31 = 0, -3*k + h + 7 = g. Let c be (1/3)/((-1)/(-36)). Solve c = -0*p - k*p for p.
-3
Let c = -3 + 7. Let x be 2/6 - c/12. Solve x*m - 15 = -5*m for m.
3
Let b be 4/(-6)*(-12)/8. Suppose 0 = -3*p - 9, 0 = -4*r - 3*p - 0 - 9. Suppose 4*x + r - 8 = 0. Solve x*k - b = k for k.
1
Suppose -a + 9 = 2*a. Let c = -4 - -5. Solve -4 = -a*m - c for m.
1
Let k(m) = 10*m + 5. Let b be k(1). Solve 2*f = 7*f + b for f.
-3
Suppose -4*g + 5*s - 2*s = -2, 3*g + s - 8 = 0. Let u be g/6 + (-2)/6. Suppose -5 = -4*h + 3. Solve u + h = o for o.
2
Suppose 3*g = 4*m + 146, 0 = -4*g - 3*m - m + 148. Suppose g = -2*