5, -2*f = -3*q + 6. Suppose 4*c - c - 9 = q. Solve -2*o + o = -c for o.
3
Suppose -c + h - 6 = 0, 0*c + h = 3*c + 20. Let l = 10 + c. Let o be (-3)/l*-1*5. Solve 2 = o*p + 17 for p.
-3
Let p be 3*(-3 + 44/12). Solve 0 = k - p*k for k.
0
Suppose 9*f - 24 = f. Solve 0*w + f*w + 9 = 0 for w.
-3
Let w(u) be the third derivative of u**4/12 - u**3 + u**2. Let f be w(4). Suppose f*h - 12 = -2. Solve 0 = -0*z + h*z - 15 for z.
3
Suppose 0 = -2*q - q + 5*x + 30, -q + 2*x = -11. Suppose 3*t + t + q*b = 28, 5*t + b - 14 = 0. Suppose 0 = 3*k - 24 + 3. Solve -t*p - 15 = -k*p for p.
3
Let l = 8 + -6. Suppose -w - l*w + 6 = 0. Solve w*j - j = 1 for j.
1
Let m(c) = -7*c - 11. Let i be m(-2). Let z be -1 + 3 + (-1 - -1). Solve -i*j = -z - 1 for j.
1
Suppose 2*n + 4 = 12. Suppose p - n*p = -24. Solve 0 = -0*w - 4*w + p for w.
2
Let h(k) = k**2 - k + 84. Let n be h(0). Let b = -47 + n. Suppose -b = -5*o + 8. Solve z - o = -4 for z.
5
Suppose 0 = -3*k - k + 48. Suppose -2*z - z + k = 0. Let w be z/6 + 16/12. Solve -w*a + 2 = -0*a for a.
1
Let k(r) = r**3 - 4*r**2 + r. Let n be k(4). Solve 4*d = 5*d - n for d.
4
Let g(y) = y - 10. Let p be g(7). Let k(n) = -2*n - 2. Let b be k(p). Let t(o) = -o**3 - 5*o**2 - 5*o. Let h be t(-4). Solve h + 0 = -b*z for z.
-1
Let v(t) = -t - 10. Let d be v(-12). Solve 3*m = m + d for m.
1
Suppose -3*f + 15 = 0, -6*l = -2*l + 3*f - 27. Solve 0 = l*i + 2*i - 15 for i.
3
Suppose 2*z = -0*z - 4*f + 46, -3*f = 2*z - 49. Suppose -2*i + 2*m - 4 = -0*i, -3*m - z = 2*i. Let s = -6 - i. Solve -t - 2 = -s for t.
-1
Let r(f) = -f - 14. Let a be r(-12). Let u(d) = -2*d - 2. Let h be u(a). Solve -m + 3 + h = 0 for m.
5
Let q(g) = g - 5. Let h be q(5). Solve h*n + 3 = -n for n.
-3
Suppose 0 = -2*i - 4, a + 4 = -5*i + 3*i. Let u(l) = -l + 15. Let g be u(a). Suppose 3*y + j + 2 = 14, 0 = y - j - 4. Solve -y*c = 5 + g for c.
-5
Let j(b) = -4*b - 3. Let x be j(-3). Let u be 0/(-3*(-6)/x). Suppose -3*o - w = -7, u = w - 0 + 2. Solve o*q = -q for q.
0
Let p(k) = -2*k**2 + 21*k - 6. Let c be p(10). Let b(d) = -d**2 + 4*d + 3. Let r be b(5). Let a be (r + -1)/((-2)/c). Solve h = 3*h + a for h.
-3
Suppose 0 = -12*b + 25 + 23. Solve -b*i - 1 = 19 for i.
-5
Suppose -3*p + 4*p + 5*g = 2, 5*p + 5*g = 10. Suppose -2*c + y = -14, -2*c + 2*y + 0*y + 18 = 0. Suppose 4*a = 7*a. Solve a = -p*k + 5 + c for k.
5
Let t be (-20)/(-9) - 6/27. Suppose t*a - a - 5*c = 8, -5*a - 4*c = -11. Suppose -a*i - 20 = -8*i. Solve -i*o + 25 = o for o.
5
Let s(n) = n + 5. Let r be s(-4). Let y(l) = 2*l**2 + l - 1. Let b be y(r). Solve -1 + b = p for p.
1
Let c(k) = 5*k. Let n be c(2). Suppose 3*z = 70 - n. Solve -2*w = -6*w + z for w.
5
Suppose 5*y = 20, q - 5*y = 2*q - 26. Let z = -3 + q. Solve 12 + z = 3*h for h.
5
Let b(g) = g**2 - 6*g + 4. Let d be b(6). Suppose -5*t + 3 = c + 1, -3*t + 8 = d*c. Solve c*k = -k - 3 for k.
-1
Let s be (2/4)/(3/30). Suppose 2*v - 8 = -2*g, -6*g + 19 = s*v - 2*g. Suppose -j = v*j. Solve j = m - 1 + 2 for m.
-1
Suppose 2*n = -2*n + 128. Suppose 2*t + 13 = -5*s + n, 0 = -3*s - 3*t + 15. Solve s*p + 1 = 4 for p.
1
Suppose 13 - 22 = -3*z. Solve -h + 0 + z = 0 for h.
3
Let k = 0 + 1. Let s(v) = v**3 + 8*v**2 - 2*v - 7. Let h be s(-8). Suppose f + 2*f = h. Solve f*x + 8 = -k for x.
-3
Let z(i) = 4*i**2 + 6*i - 13. Let q(x) = -11*x**2 - 18*x + 38. Let o(y) = 3*q(y) + 8*z(y). Let t be o(-7). Solve 2*h = t*h for h.
0
Let m be (-4)/(-6)*(2 + 0 - -1). Suppose 33 = 2*z + 3. Suppose 3*t + 0 = z. Solve t*x - m*x = -15 for x.
-5
Suppose -x + 2*m + 10 = 2, 0 = -4*m - 12. Solve 5 = x*v - 5 for v.
5
Suppose d - 95 = -4*d. Let r(a) = a + 14. Let c be r(-10). Suppose 0 = -c*v + d + 33. Solve -4 + v = -3*t for t.
-3
Suppose 0 - 16 = -4*u. Suppose 0 = -u*d + 14 - 6. Solve d = n - 1 for n.
3
Suppose -4*t + m + 20 = 0, 6 + 4 = 2*t + 5*m. Solve -2*f + t = 3*f for f.
1
Let u(b) = -b**3 - b**2 - b. Let j be u(0). Solve j*x + 9 = 3*x for x.
3
Suppose 4*x = 2*c + 16, -3*x + 15 + 0 = 0. Let m(y) = y + 15. Let u be m(0). Solve -d = c*d + u for d.
-5
Let b be (-294)/(-77) - (-2)/11. Solve -b*z - 2 = -14 for z.
3
Let w = -9 + 11. Let f be -27*(40/(-12) + 3). Solve -w*y + f = y for y.
3
Suppose 4*w - 16 = 2*z, 0 = -2*z + 3*z - 3*w + 13. Solve -y + z = y for y.
1
Suppose f - 2*w = 12, -5*f + 3*w - 2*w = -33. Let k = f - 1. Solve k*n = n for n.
0
Suppose d - g = 4, -3*d - g + 11 = -3*g. Suppose 58 = d*k + 4. Suppose 3*t - t - k = 0. Solve 3*q = -0*q - t for q.
-3
Let p be (-2)/(-5) - 92/(-20). Suppose -2*x + u + 4 = x, -2*x + p*u + 20 = 0. Solve x = 3*j - 19 + 4 for j.
5
Let f = 8 + -7. Suppose -4*v = l - 5, 5*v - 3 = -2*l + f. Solve -v*m = 2*m - 12 for m.
3
Suppose 5*h - 100 = 5*s, -6*h + 85 = -2*h + s. Solve -5*n - h = -1 for n.
-4
Suppose -t + 5 = -2*m + m, -2*t = 4*m + 8. Solve -t = 4*d - 2*d for d.
-1
Let t be (-4 + 6 - 2)*1. Solve t*i + i = 1 for i.
1
Let z(o) = 14*o + 1 + 0 + 8. Let l(m) = 5*m + 3. Let k(s) = -17*l(s) + 6*z(s). Let b be k(-5). Solve 3 - b = v for v.
-5
Let h be (2/4)/(7/(-98)). Let a = h - -10. Solve -a*o - o - 16 = 0 for o.
-4
Let k be 2*23*(-1)/(-2). Let f(n) = 2*n**2 - 4*n + 3. Let q be f(2). Suppose 3*v - 7 = 2*x + 1, q*v - 4*x = 10. Solve v + k = -5*p for p.
-5
Suppose 2*j - 20 = -4. Let l be (j/12)/((-2)/(-45)). Solve -l = -5*o + 5 for o.
4
Suppose 2*a - 7*a - 40 = 0. Let f be (-2 - a) + 1/(-1). Solve -f*g + 4 = -1 for g.
1
Let u(k) = -k**2 - 7*k - 7. Let g be u(-5). Let w be (g - (1 + -1)) + 3. Solve 4*v = -2 - w for v.
-2
Suppose -5*a - 12 = -3*a. Let r be 4 + (-5)/((-15)/a). Solve 0 = -r*z + 3*z + 4 for z.
-4
Let q(d) be the second derivative of d**4/12 + d**3/2 - d**2/2 - 3*d. Let x be q(-4). Solve -x = 2*p + 3 for p.
-3
Let o(r) = r**2 + 4*r - 10. Let t be o(-6). Solve 0 = t*h - 4 for h.
2
Let b(y) be the third derivative of -y**4/6 - y**3/3 - y**2. Let r be 0 + -2 + (3 - 3). Let t be b(r). Solve -4*i - t = 10 for i.
-4
Let g = 6 + -12. Let d(o) = -2*o - 10. Let r be d(g). Solve l = -r + 4 for l.
2
Let z(m) = -m + 5. Let l be z(5). Let i(a) = -a**2 - 16*a - 13. Let d be i(-15). Solve 2*f = -l*f + d for f.
1
Let w = -8 + 13. Let u be (-2 + 71)*5/15. Suppose -3*s = 3*a - 5*a - u, -w*s = -2*a - 33. Solve 3*i + s + 7 = 0 for i.
-4
Let b(h) = 2*h**3 - 9*h**2 + 7*h - 6. Let g be b(4). Solve i = g*i - 5 for i.
1
Let j(w) = -w**3 - 6*w**2 + 4. Let p be j(-6). Suppose p*h = -3*s + 18, 5*s + 0 = -5*h + 25. Solve -h*v = -v + 10 for v.
-5
Let s = -24 - -28. Solve -s*x + 2 - 10 = 0 for x.
-2
Let q(v) be the first derivative of v**2/2 - v - 1. Let n be -3 + 6*2 + -3. Let r be q(n). Solve -r*g + 4 = -11 for g.
3
Suppose 0*u + 4 = 2*u. Suppose -5*j + 4*d + 8 = -0*j, j + u = 2*d. Solve 29 = -j*o + 9 for o.
-5
Suppose o + 7 = -6. Let u = o - -9. Let f be 6/u*24/(-18). Solve 25 = -f*d - 3*d for d.
-5
Suppose l + 24 = 5*l. Suppose 2*u + 48 = 4*m, 5*u - 6 - l = -m. Suppose 5*o = 5*s + 20, 0 = 5*o - o - 2*s - m. Solve 0 = o*c - 1 - 9 for c.
5
Suppose 9 = 4*t - 2*u + 3, -3*t = 3*u - 9. Let k be 5/((-10)/(-4)) - 0. Suppose -11 + 1 = -3*l - 4*z, -4*l + k*z + 6 = 0. Solve l*h = 4*h + t for h.
-1
Suppose 4*i = 3*i + 15. Let u be (-2)/(-10) + (-3)/i. Suppose u = n - 5. Solve 5*h + 0*h = -n for h.
-1
Let a be 3 + 1*(-3)/1. Solve -2*j - j = a for j.
0
Suppose 5*x - 5*q - 40 = 0, 0 = 2*x + 3*x - 3*q - 44. Solve 0 = -j - j - x for j.
-5
Let x be 3/2 + (-26)/(-4). Suppose 5*f = 0, -2*k = 2*k - 5*f - x. Solve w + 1 = k*w for w.
1
Let d(j) = 2*j**2 + 4*j + 2. Let z be d(-2). Suppose -q = r, r + 4*r + 6 = q. Let u = q + z. Solve 0 = -f + u*f + 10 for f.
-5
Let i(j) = -j. Let d be i(3). Let t = d - 1. Let s = t - -6. Solve s*u + 0*u - 10 = 0 for u.
5
Let j(n) = -n**3 + 10*n**2 - 9*n + 3. Let r be j(9). Solve -4*a = -r*a for a.
0
Suppose 5*w = 4*h + 2 - 1, -2*w + 4*h - 2 = 0. Let g be w + 0 + -2 + 2. Let c be 5*g + -7 + 5. Solve 2*z + c = 5*z for z.
1
Suppose 4 = -b + 2, -6 = -5*i - 2*b. Solve -i*h + 3*h = 0 for h.
0
Suppose -11 = -4*a - 5*u + 17, -5*u + 20 = 0. Solve 0 = 3*y + a*y + 10 for y.
-2
Suppose -4*g - 3*z + 10 = -6, -5*g + 9 = z. Let a(x) = x**2 - 2*x + 1. Let b be a(1). Let k = -2 + 2. Solve -h + k*h + g = b for h.
1
Let s = 27 - 26. Solve -3*x = -4*x - s for x.
-1
Let i be (-2)/8*(-1 + 4 - 3). Solve d - 4*d = i for d.
0
Let o(g) = g**3 + 3*g**2 + 1. Let d(s) be the second 