) = -o - 8. Let f be p(-11). Solve -b = -f*b for b.
0
Let g be (-2)/4 + (-2)/4. Let r be (g*3)/(27/(-90)). Solve u = -u - r for u.
-5
Let f = 8 - 8. Suppose -5*o - 3*m = -30, -4*o - m + 12 + 5 = 0. Solve -h - o*h + 12 = f for h.
3
Let r = -2 + 4. Solve r = -n - 3 for n.
-5
Let q(a) = -a**2 - 6*a + 9. Let j be q(-7). Suppose -2*k + 4 = -5*d, k - 3*d = -4*k + 29. Solve 5*c + j - k = 0 for c.
1
Suppose 0 = 5*b + 10, -5*j = -3*b + 4*b - 73. Suppose j = 3*t + 3. Suppose t = u + 2. Solve 0*c = -u*c for c.
0
Let q be (-5)/(-3)*(4 + -1). Solve 0 - 10 = q*v for v.
-2
Suppose -3*z - 4*c + 32 = 0, 2*z - 10 = -0*c + 3*c. Suppose 0*j - z = -4*j - m, -10 = -2*j + m. Solve -j*l = 8 + 1 for l.
-3
Suppose -22 = -2*t - 4*n, 3*n - 1 = -3*t + 5*n. Suppose -1 = 2*h - t. Let s(w) = 2*w**3 + w**2. Let c be s(h). Solve -y + 16 = c*y for y.
4
Let p = -47 - -49. Solve 2*q + p*q + 12 = 0 for q.
-3
Let x = -57 - -58. Solve -3 = b + x for b.
-4
Let u(o) = -o**3 - 13*o**2 - 2*o - 2. Let f be u(-13). Let g be (-16)/(-2) + f/12. Solve -7*j + g = -2*j for j.
2
Suppose 2 - 4 = 2*w + 4*l, l + 13 = 2*w. Suppose 2*r + 3 = 9. Let p(g) = 2*g - 4. Let y be p(3). Solve -w = y*m + r*m for m.
-1
Let y be 9/6*(2 - 0). Let z = -3 + y. Suppose 5*g - 15 = -z*g. Solve 1 = -g*f + 13 for f.
4
Suppose -3*c + c = 0. Suppose 4*a - 10 = -a + 4*u, 3*a + 3*u - 33 = 0. Solve c = -2*l - 0 - a for l.
-3
Let f be -1 - -2 - -1*2. Let m be 9 + -6 - (2 + -2). Suppose 7 = p + m. Solve p*z = f*z + 5 for z.
5
Suppose 0 = -5*p + 1 + 9. Let m = p + 3. Solve 0 = m*r - 25 - 0 for r.
5
Let u(a) = a**2 - 14*a + 3. Suppose 4*v = -v + 70. Let k be u(v). Solve k*z = z + 8 for z.
4
Suppose 4*f = 35 - 11. Solve 2 = -2*k - f for k.
-4
Let q be 164/(-14) + (-2)/7. Let l = q + 17. Solve -1 = l*f + 14 for f.
-3
Let t(b) = -b**2 + 6. Let l be t(0). Suppose 11 - 5 = 3*v. Solve -l*k + 4*k - v = 0 for k.
-1
Suppose 2*h - 5*z - 23 = -6, 5 = -5*z. Let m = -4 + h. Solve t = -m*t + 3 for t.
1
Suppose -2*h = -4*i + 12 - 4, -3*h = 0. Solve -i*j = 4 - 0 for j.
-2
Let m = -13 + 13. Solve m = 4*x - 10*x - 6 for x.
-1
Let u(m) = -m**3 + 10*m**2 - 10*m + 10. Let p be u(9). Solve -2*z + 5 = p for z.
2
Let y = 86 + -85. Solve 4*c - 3 = y for c.
1
Let u(h) = h**3 + 7*h**2 - h - 3. Let o be u(-7). Suppose -o*m + 15 = -5. Solve 5*s + 0 + m = 0 for s.
-1
Let o = -8 - -17. Let r = 18 - 14. Suppose 0 = -2*a - r*q + 14, -q - 3 = 1. Solve 0 = 4*k - o*k + a for k.
3
Let c = -22 + 25. Solve c = 3*a - 12 for a.
5
Let u = -18 + 22. Suppose 2*p - 8 = -4. Let m = u - p. Solve 3 + 7 = -m*v for v.
-5
Let x be (-34)/(-9) - 2/(-9). Suppose x*i - 2*i - 4 = 0. Solve -1 - i = -3*p for p.
1
Suppose -3*f - 8 = -7*f. Suppose -2*y = f*u - 4*u - 18, -5*y + 15 = 0. Let d be (2/6)/((-2)/u). Solve -a + 0*a = -d for a.
1
Suppose 8*k = 3*k + 75. Suppose 4*j - 15 = -3*r - 0, -k = 2*j - 3*r. Suppose o + 6 = 4*i, -20 = -2*i - 4*o - 8. Solve 0 = -q - j - i for q.
-2
Let t(j) = j**3 - 8*j**2 + 4. Let p be t(8). Solve 0 = p*d - 1 - 19 for d.
5
Suppose 0 = 9*u - 8*u - 4. Solve -2 + u = -2*q for q.
-1
Let u be (4 + -1)/(21/35). Solve 0*y = -u*y - 15 for y.
-3
Suppose 0 = -5*i + 3*z + 3, 4*i + 4*z + 3 = z. Let w = -19 - -28. Solve w = 3*k - i*k for k.
3
Let i = -1 + 1. Let f = 219 - 218. Solve -4*o - 9 + f = i for o.
-2
Suppose p + 3 = -2*y, -5*p + 0*y + 3*y + 37 = 0. Let k = 10 - p. Solve k*j - j = 12 for j.
3
Let t = 95 - 93. Solve -p - t*p = 12 for p.
-4
Suppose 3*l - 48 = -3*n, -3*l = n - 5*n + 29. Solve 4*r = 9 + n for r.
5
Let b be (1/(-3))/((-1)/6). Suppose 0 = -b*g + w + 3, w = 3*g - 5 - 1. Solve 2*v = g*v + 2 for v.
-2
Let v(r) = -2*r + 0 - 4 + r + 0*r. Suppose -8 - 2 = 2*m + w, 0 = 3*m - w + 15. Let k be v(m). Solve 0 = -5*h - 9 - k for h.
-2
Let f = -130 - -145. Solve f = -5*s - 0*s for s.
-3
Suppose 4*t + 4*y + 12 = 0, 3*t - 8*y - 15 = -3*y. Suppose -b = -t - 6. Let u = -3 + b. Solve -1 = -u*m + 4*m for m.
-1
Let p = 17 - 12. Suppose 164 - 24 = 7*j. Solve p*n = n - j for n.
-5
Suppose 0 = 5*y - 0*y - 145. Solve 0 = 4*g - y + 9 for g.
5
Suppose 3*w + 8 + 1 = -3*n, 3*w = -4*n - 9. Suppose -3*y - 5*v + 3 = 0, n = y - v - 2 + 1. Let p be 3 - (4 + -1)*y. Solve -2*b + 2 = -p*b for b.
1
Let t be (5 - (-1 - 0))*(13 + -12). Solve -6*g + t = -3*g for g.
2
Suppose -2*a + a = y - 13, 0 = 4*y - 4*a - 68. Let s(z) = -z + 5. Let v be s(6). Let q be ((-5)/y)/(v/6). Solve -c = q*c for c.
0
Let t(s) be the third derivative of -s**4/12 - 2*s**3/3 - 3*s**2. Let j be t(-4). Suppose 15 + 5 = j*q. Solve -28 = q*l - 8 for l.
-4
Let v = 60 + -60. Solve v = -0*c - 4*c for c.
0
Let w be 8/(-24) - 1/(-3). Solve w*g = 2*g + 10 for g.
-5
Suppose -2*z = -0*z - 6. Suppose -52 = -z*i - 2*r, 2 = 4*r - 3*r. Suppose -2*o + 8 = 2*d, -o + 4*d - i = -0*o. Solve -4*q + o*q = 12 for q.
-3
Let m(o) be the second derivative of o**5/20 + o**4/4 - 2*o**3/3 + 5*o**2/2 - o. Let g be m(-4). Solve -s - g = -2 for s.
-3
Let s = 3 + 1. Solve s*t + t = -15 for t.
-3
Let k be 27/5 - (-6)/(-15). Solve -k = -p - 0*p for p.
5
Suppose j - 2 = 5. Let r(t) = -t**2 + 9*t - 8. Let c be r(j). Solve -c*x + x = -15 for x.
3
Let r = -7 + 7. Suppose r = -2*g + 5 + 17. Solve -3*h + g = 5 for h.
2
Let o(l) = l + 15. Let c be o(-12). Solve c*r - 13 - 2 = 0 for r.
5
Let z = -8 - -10. Let s be (-615)/(-21) - (-4)/(-14). Suppose -5*y + s = 4*t + 9, -5*y + t - 5 = 0. Solve 0*g - z*g = y for g.
0
Let u be (-1)/(-4) - 34/8. Suppose -10 + 1 = -k. Let f = k + u. Solve -w = -f*w + 16 for w.
4
Let u be 0/1 + 3 + 1. Let g be 12 - u/(8/(-6)). Solve -3*k = -0*k - g for k.
5
Let h = 3 + -8. Let q be 3/5 + 3/h. Suppose q = -3*x + 6. Solve 3*l + 25 = -x*l for l.
-5
Let x be 4*(1 - (-2)/(-8)). Let a be (18/4 - x)*2. Solve s - a*s = 10 for s.
-5
Let l be (1 - -3 - 2)/2. Let i(x) = 3*x + 9. Let f be i(-7). Let d = -7 - f. Solve 2*v - d + l = 0 for v.
2
Let v(a) = -a**2 - 9*a - 5. Let g be v(-8). Suppose y - 1 = g. Solve 12 = -y*s - 4 for s.
-4
Suppose 2*i - 8 = 2. Suppose i*d = -5 + 25. Suppose 5*z - 35 = -d*t, 3*z + 35 = 2*t + 2*z. Solve -5*p + t = -0*p for p.
3
Let z be -1 + (2 - -1) + 2. Suppose -5*h + 3*j = -28, -z*h + 3*j + 21 = -2. Solve w - h = -3 for w.
2
Let a(i) be the third derivative of i**6/120 + i**5/20 - i**4/8 - i**3/3 + 6*i**2. Let m be a(-2). Solve 2*g + 0 = -m for g.
-4
Let j = -2 + 4. Suppose 4*b - 2*n = n + 75, j*b + 5*n = 5. Let y(p) = -p**3 - 8*p**2 + 9*p + 4. Let f be y(-9). Solve -f*t + b = t for t.
3
Let n = -4 + 9. Suppose n*c - 14 = -4*x, 4*x = -c + 2*c - 22. Solve c = z + 2*z for z.
2
Let l = 26 + -24. Solve 4*t = l*t for t.
0
Suppose 0 = 2*c - 4*d, -6*c + 28 = -c + 4*d. Solve -4*n - c = -24 for n.
5
Let i(u) = u**2 - 2*u + 5. Let z be i(5). Solve 6*l + z = 2*l for l.
-5
Let r be -1*(0 - 3 - -3). Let z = r + 4. Solve -2*s - z = -0 for s.
-2
Suppose 5 = -5*c - 15. Let t be (16/10)/(c/(-10)). Suppose 4*y + 24 - t = 0, -4*g + 31 = -3*y. Solve -g*v + v + 12 = 0 for v.
4
Let a(p) = -p - 11. Let k be a(-12). Solve 13 - k = 3*z for z.
4
Suppose 11*h - 6*h = 0. Solve h = -2*g - 3*g + 20 for g.
4
Suppose 8*s - 10 = 7*s. Suppose s*z - 20 = -0. Let g(r) = -r + 1. Let i be g(1). Solve 0*o + z*o + 4 = i for o.
-2
Let a be 12*(-49)/(-105) - 4/(-10). Solve 2*q = a*q - 16 for q.
4
Let u = 37 + -27. Solve 5 + u = 5*x for x.
3
Let p(z) = z**2 - 11*z + 4. Let k be p(11). Suppose -k*x + 4 = 0, -5*u = 3*x - 5 + 2. Solve 3*l + l = u for l.
0
Let h(b) = -b**3 + 3*b**2 - b + 3. Let u be h(3). Let g(f) = -f**3 + 5*f**2 - f + 5. Let a be g(5). Let j = u - a. Solve -2*c - 6 = -j*c for c.
-3
Let h = 45 - 25. Solve -5*a - h = -5 for a.
-3
Let b = 1 - -4. Suppose b*g + 5*j - 6*j - 20 = 0, 3*g - 20 = -j. Suppose g = x - t, -t + 2*t = -x + 3. Solve x = -0*z + z for z.
4
Let i(c) = -c**2 - 6*c + 6. Let o be i(-5). Let m = -10 + o. Solve 0 = -2*u - 3 + m for u.
-1
Suppose -2 = -k + 3. Let p(q) = q**2 + 5*q + 1. Let m be p(-5). Suppose -5*z + 4 = -6. Solve m - k = z*w for w.
-2
Suppose -4*c - 28 = -2*c. Let n be 3*c/(-3) - -1. Suppose -5*u = n, 0 = a - 2*u - 6. Solve a*v + 3*v + 12 = 0 for v.
-4
Let m(k) be the third derivative of k**5/10 - k**4/24 - 3*k**2. Let h be m(1). Solve -3*x + h = 2*x for x.
1
Suppose 0*g - 4*g = -12. Solve -v = g*v for v.
0
Let o = 44 - 29. Suppose -2*s + o = 3*v, -5*v - 2*s - s = -24. Solve -v*n = 2*n for n.
0
Let r be (1 - (-