 = o - 4. Let h be ((-6)/u)/(1/25). Solve h = -0*p - 3*p for p.
-5
Suppose 5*v + 2*x + 3*x - 20 = 0, -v - 8 = -5*x. Solve -3 = v*m - 7 for m.
2
Suppose 15 = h - 6*h. Let b = -3 - h. Let m be (b/(-1 + -2))/2. Solve x - 5*x + 20 = m for x.
5
Let c = 14 + -3. Let z = -9 + c. Solve -z*a + 2 = -0*a for a.
1
Suppose 9*y - 33 = -2*y. Solve -o = y + 1 for o.
-4
Let l(s) = s + 5. Let m be l(5). Let w(u) = -4*u - 6. Let o be w(-6). Suppose o = -5*x + 3*b + 3, 0 = -4*x + 2*b - m. Solve 3*j - j = x for j.
0
Suppose -4*r = -5*d + 40, -25 = -4*r - 5. Solve 4*t - d = t for t.
4
Suppose -3*m = 2*d - d - 13, 2*m = 2*d - 2. Solve -3 = m*v - 4*v for v.
3
Let k(s) = s - 2. Let i be k(0). Let d be ((-2)/(-6))/(i/(-60)). Solve -2*a = d - 4 for a.
-3
Suppose -x - 2*g - 31 = g, 137 = -4*x + g. Let a = -30 - x. Let u = -1 - -11. Solve -m = a*m + u for m.
-2
Let g(s) = s + 16. Let m be g(-12). Solve m*z + z = 5 for z.
1
Let n(b) be the first derivative of b**3/3 + 5*b**2/2 - 2*b - 1. Let f = -6 + 0. Let j be n(f). Solve -j - 4 = -2*t for t.
4
Let o(d) = 4*d + 1. Suppose q - 4 = 3*q. Let l be o(q). Let p(w) = -w - 7. Let r be p(l). Solve r*c = -c for c.
0
Suppose 10 = -4*m + 2*m - 3*g, -5*g - 30 = 5*m. Let j(k) = k**3 + 9*k**2 + 8*k + 3. Let u be j(m). Suppose -3*r = -4*t, 0*r - 4*t = r. Solve -l - u*l = r for l.
0
Suppose f + 2*k = 12, -25 = -k - 4*k. Let o(u) = -6*u. Let p be o(-2). Solve -f*i - 2 = -p for i.
5
Suppose -i = -3*i - 10. Let s = 3 - i. Solve 3*h + h = s for h.
2
Suppose 11 = 3*x - 4*x - 4*a, 0 = 5*x - 5*a + 30. Let m(z) = -z**3 - 7*z**2 + 2*z + 10. Let f be m(x). Let v = f - -7. Solve -v = -2*u - 11 for u.
-4
Let b be (-3 - -2) + 8 + -3. Solve 2 = -2*j - b for j.
-3
Suppose 0 = -5*a - 3 + 28. Suppose 0*s + a*s = 75. Suppose -s = -y + 3*z, -6*y - z = -y + 5. Solve -k - 4 = -y*k for k.
-4
Let c(i) = -3*i - 6. Let s be c(-7). Suppose -4*o = o + 5. Let n be -5*(9/s + o). Solve 4*u - 18 = n for u.
5
Let i(b) = -b**3 + b**2 + b + 12. Suppose 0 = 4*o - 5*t, 7*o - 4*o = -5*t. Let f be i(o). Suppose -5*u = -u - f. Solve m = -u - 2 for m.
-5
Let s(q) = -1 + q**2 - 1 - 2*q**2 + 0*q**2 - 8*q. Let p be s(-8). Let z = -2 - p. Solve 3*w + 1 - 4 = z for w.
1
Let c(j) = j**3 + 4*j**2 + j - 4. Let w be c(-3). Suppose w*i = -2*i. Solve -d - d = i for d.
0
Suppose -4*b + 5*w + 2 = -30, b - 19 = 4*w. Solve 2 = 5*g - b for g.
1
Let a(x) = -x**2 - 4*x + 2. Let d be a(-4). Solve s - d*s = 1 for s.
-1
Let j(f) = -f**2 + 4*f. Let y(m) = m**2 - 6. Let w be y(3). Let l be j(w). Solve v - 1 = -l for v.
-2
Let d = -107 + 113. Solve -d = -3*v - 0*v for v.
2
Suppose -5*z + 4*r + 124 = 0, -z + 2*r + 48 = z. Suppose z = -4*s + 2*p, -p + 1 + 7 = -s. Let j be 3/9 + (-16)/s. Solve 0 = -0*u + 3*u - j for u.
1
Suppose 5*j - 14 = 16. Let l = j + -4. Suppose 0 = 2*s - 7*s + g + 9, -s = l*g - 4. Solve 4 = s*t - 2 for t.
3
Suppose 0*w + 3*w = 12. Let r be (-1)/(-1)*1*w. Solve 4*c = -r - 0 for c.
-1
Suppose 6*v = -7 + 43. Solve -3*j + 5*j = v for j.
3
Suppose v = -3*v + 16. Suppose -v*b - f + 15 = -0, 2*b - 5*f - 35 = 0. Solve b*x = -27 + 7 for x.
-4
Let z be 32/14 + 4/(-14). Let n(r) = 3*r - 2. Let m be n(z). Solve -10 = t + m*t for t.
-2
Suppose -18 = 3*o + 5*w, -2*w - 7 = o - 0*w. Let d be o/(-1) - 15/(-5). Solve -5*a + d + 1 = 0 for a.
1
Suppose 4*d + o - 18 = 4, 5*d + 2*o = 29. Suppose v + 2*b = 4*v - 16, 0 = d*b + 10. Let t be (-1)/(-1)*(v + 1). Solve 0 = -t*l + 2*l - 6 for l.
-2
Let n(a) be the third derivative of -a**4/24 - 2*a**3/3 - 2*a**2. Suppose -6*u = -f - 3*u - 19, 0 = -2*f + 3*u - 23. Let c be n(f). Solve -5*h = -15 - c for h.
3
Let a be -2 + 4/(-6)*126/(-12). Solve a = -5*n - 0 for n.
-1
Let q(i) = -i + 35. Let f be q(0). Suppose 2*r - 14 = -2*d, -2*d + f = -r + 6*r. Let c be (-1)/(-2) - 70/(-4). Solve -5*p = -r - c for p.
5
Let a = -84 + 17. Let n = -37 - a. Suppose 0 = -4*u - 10 + n. Solve -6*g + u*g = 4 for g.
-4
Suppose -21 = 4*m - i, 2*m - 3*m = 5*i - 21. Let s be 42/m*8/(-6). Solve -4 = 5*r - s for r.
2
Suppose 4*n = -2*z + 6, 2 = z + 3*n - 0*n. Suppose -4*q + q = -z*d + 27, d + 2*q - 8 = 0. Solve d = 4*m + 2 for m.
1
Let w(t) = -t**2 - 5*t + 1. Let r be w(-4). Suppose 2*c = r*a + 15, -11 - 4 = 4*c + 5*a. Suppose 0 = -c*m - 3*m. Solve 4*l - 6*l - 4 = m for l.
-2
Suppose -2*g - 1 = -7. Suppose g = 5*r - 7. Solve x = -r*x for x.
0
Suppose 3*a + 3*w - 4 = 4*a, -3*w + 16 = 5*a. Suppose -12*v = -17*v + 10. Solve l = -v - a for l.
-4
Let f = 11 - 5. Solve -1 = o - f for o.
5
Let n = -5 - -8. Suppose -3 = 3*q, -n*f - 4*q - 19 = -3. Let b be 3/2 + 2/f. Solve -10 + b = -3*c for c.
3
Let t be (-5)/((-10)/6) - 3. Suppose -4*q + 21 - 9 = t. Solve -q*p + 8*p - 20 = 0 for p.
4
Let r(l) = -l**2 + 16*l - 27. Let z be r(14). Solve -2*p - z + 7 = 0 for p.
3
Suppose 5*a + 0*a + 9 = -4*c, -4*c - 3*a = -1. Solve -c*k - 4 = -2*k for k.
-2
Let c(l) = 2*l - 25. Let i(f) = -f + 12. Let k(x) = -4*c(x) - 7*i(x). Let o be k(10). Let y = 11 + o. Solve 5*g - 8 - y = 0 for g.
5
Let r = 15 + -13. Solve -l = r*l for l.
0
Suppose 4*q = 8 - 24. Let j = 0 - q. Solve d = -0*d + j for d.
4
Suppose 0 = -6*i + 3*i - 6. Let l be i - -8 - (-2 + 4). Solve 4 = -l*o + 16 for o.
3
Let x(r) be the first derivative of -r**3/3 - 3*r**2 - 6*r + 1. Suppose n = t + 3*n + 8, 2 = -t + n. Let v be x(t). Solve -w + 6 = v for w.
4
Suppose y + 0*y - 4 = 0. Suppose -w + 18 = 6. Solve w = -4*t + y for t.
-2
Let k(f) = -f - 1. Let n be k(-5). Suppose -2*x + 30 = -3*p, n*x - p - 30 - 20 = 0. Solve 5*m - m + x = 0 for m.
-3
Let s(h) = -h**2 + 7*h - 6. Let j be s(6). Let g = -3 - -5. Solve a - g = -j*a for a.
2
Let h = -27 + 29. Solve 0 = -p + h + 2 for p.
4
Let x = 30 + -6. Suppose -2*m = -2*n + 3*m + x, -2*n = -m - 8. Solve -5*z = -n*z + 15 for z.
-5
Let c = 17 - -28. Let i be (-3)/(-12) + c/12. Solve -i*v + 15 = v for v.
3
Suppose -4*t - 1 + 9 = 0. Solve q + 1 = t*q for q.
1
Let t be 2/4*(-36)/(-3). Suppose -l = -3*l + t. Suppose -3*y + 8 = -y - l*z, -16 = -4*y + 4*z. Solve -5*d - y = -24 for d.
4
Suppose 4 = 3*j + 2*w, -j - 3 + 6 = -w. Solve 0*r + j = -r for r.
-2
Let h = 9 - 5. Suppose 5*n - 19 = f, -3*f - n = -2 - 5. Solve -h = p + f for p.
-5
Let g be 1 + -4 - (0 + -4). Solve 3*d = 2*d - g for d.
-1
Let v(c) = 2*c - 8. Let r be v(5). Solve 3 = r*s - 5 for s.
4
Suppose 7 = 4*s + 5*p - 8, 0 = -2*p + 6. Suppose -10 = -2*f - s*f. Solve j = -4*j - f for j.
-1
Let m = -10 - -20. Let r be (-6)/(-21) + m/14. Solve -r = -2*s - 5 for s.
-2
Let t be 2/(-1)*1/(-2). Solve m = 2 - t for m.
1
Let g(i) = 9*i + 3. Let c be g(1). Solve 4*b - c = 4 for b.
4
Let o(f) = -f. Let j be o(2). Let y(q) = 5*q**2 + 3*q + 1. Let n be y(j). Suppose 0 = -2*i + 5*i - n. Solve -2*c + i = -c for c.
5
Suppose 13 - 13 = z. Solve z = 7*m - 2*m for m.
0
Let r(x) be the third derivative of x**6/120 + x**5/20 - x**4/6 + x**3/2 - 3*x**2. Let p be r(-4). Suppose -s - p*s = -8. Solve -5*u + s = -3 for u.
1
Let n = -44 + 47. Solve -c = -n*c + 2 for c.
1
Suppose -19*p + 15*p + 12 = 0. Solve -n + p = -4*n for n.
-1
Let r(m) = 0*m + 2*m - 3 - 5*m. Let q(s) = s + 3. Let n be q(-6). Let g be r(n). Solve z = g*z - 5 for z.
1
Let f = 14 + -11. Let s = 18 - 13. Let z = s - f. Solve -z*q + 0*q = -10 for q.
5
Let k(m) = 2*m + 29. Let j be k(-10). Solve 0 = 3*v - 0*v - j for v.
3
Suppose -2*u - 4*r = r - 17, 4*r - 13 = -u. Solve -u = -v - 4 for v.
-3
Let j = -12 - 2. Let n = -10 - j. Solve 0 = 2*r + n + 4 for r.
-4
Let t = -8 + 12. Suppose -t*j - j + 15 = 0. Let k = 0 + 2. Solve j = -b + k*b for b.
3
Let o(r) = -r**3 - 6*r**2 - 6*r - 1. Let a be o(-5). Let i = a + -2. Solve 0 = -4*p - 2 - i for p.
-1
Let q be 9/11 - 28/(-154). Solve -3*k - q = -10 for k.
3
Let l(f) = -2*f. Let i be l(-2). Let g = -2 - 0. Let n be (-6)/((-9)/(-12)*g). Solve 0*o + n*o = -i for o.
-1
Let s = 65 - 62. Solve -s*n + 11 = 8 for n.
1
Suppose -20 = 5*n + 4*s, 3*n + 3*s = 7*n - 15. Solve n*c + 3 = c for c.
3
Let m = -7 - -9. Let z = m - -24. Solve -1 + z = 5*j for j.
5
Let o = 78 + -74. Solve -4 = -4*z + o for z.
2
Suppose 6*y - 8*y = 20. Let t = y - -14. Solve -t*n = 4 - 0 for n.
-1
Suppose -6*k + 5*k = 0. Let c be 4/7*21/6. Suppose z + 5 = -4*v - k*v, 4*z + 5*v - c = 0. Solve -5*m = -4*m + z for m.
-3
Let l be 9/12*(-1 + 5). Suppose -2*o - s + 1 = -1, 2*s = -l*o + 1. Solve 2*h - 2 = o*h for h.
-2
Suppose