
Let l = -84 + 86. Solve 0 = -l*s + 3*s for s.
0
Let b(p) = p - 14. Let x be b(11). Suppose z = 5*z. Let h be z/x + 1 + 3. Solve -m + h = 3*m for m.
1
Suppose -f + 5 = -10. Solve 0 = 7*q - 2*q + f for q.
-3
Suppose -k + 3*w - 3 = 3, 3*w + 30 = -5*k. Let z be ((-2)/k)/((-13)/(-195)). Solve z = 3*u - 1 for u.
2
Let t be ((-1)/(-2))/(2/(-44)). Let q = -8 - t. Solve 5*l - 2*l - q = 0 for l.
1
Let t = -6 - -9. Solve a - t*a - 10 = 0 for a.
-5
Suppose 2*y = 3*f - 8, -3*y + 27 = 2*f - 0*y. Solve -2*b = f + 2 for b.
-4
Let t be 5/((-10)/(-24)) - 0. Solve -4*b + b = -t for b.
4
Suppose d + 10 = 3*a, -2*d - 10 = -2*a - 2. Solve 0 = h - a - 1 for h.
4
Let c(p) be the second derivative of -p**5/20 - 3*p**4/4 + 3*p**3/2 - 3*p**2/2 - 3*p. Let d be c(-10). Solve -5*j - d - 13 = 0 for j.
-4
Let a(p) = -p**2 + 9*p + 1. Let h be a(9). Suppose -4*v - 12 = -7*v. Suppose -5*l + 1 = -v. Solve -w - h = l for w.
-2
Let d = -21 + 21. Suppose -5*o + 10 + d = 0. Let a = -4 - -10. Solve m - o = -a for m.
-4
Let p be 2/2*-2 + 18. Let z = p + -4. Solve -z = 5*h - 2 for h.
-2
Suppose 25 = 5*k - 10*k. Let p = -2 - k. Solve -p*l + 16 = l for l.
4
Let k(l) = l**3 + 4*l**2 + l - 4. Let f be k(-3). Suppose 0 = f*a + 4*n - 47 + 17, -4*a - 3*n = -35. Solve 2*x - 3*x = a for x.
-5
Suppose 0 = -2*k + 7*k - 40. Solve -3*m + k = -1 for m.
3
Let j = 8 + -5. Let h = j + 3. Solve -u - 3 = -h for u.
3
Let g(x) = -x + 3. Suppose -2*w - 2 = -n, n + 7 = -3*w - 6. Let h be g(n). Suppose 0 = 5*d - h - 18. Solve -9*j = -4*j - d for j.
1
Let i be 2*(-106)/(-18) + (-2)/(-9). Solve -2*r - i + 6 = 0 for r.
-3
Let p = 2 + -8. Let z be (-15)/p*6/15. Solve 1 = r - z for r.
2
Let w(d) = -2*d**3 + 15*d**2 + 8*d + 5. Let j(i) = -i**3 + 8*i**2 + 4*i + 3. Let g(k) = 7*j(k) - 4*w(k). Let v be g(5). Solve -2*c - 16 = -v*c for c.
4
Let l be (3 - 2)/2 + (-18)/(-12). Solve l*q - 7*q = -5 for q.
1
Suppose -4*i + 3 = -5. Let q be 5 + -9 + (-1 - -8). Solve -3*c + i*c - q = 0 for c.
-3
Let y(d) = 2*d**2 + 4*d + 2. Let f = -19 - -29. Suppose f = 3*p - 8*p. Let k be y(p). Solve -3*b - 15 = k*b for b.
-3
Let o = 103 + -83. Solve -o = -4*f - 0*f for f.
5
Let k(g) = 4*g**3 + 3*g**2 + 3*g + 2. Let a be k(-2). Let s = 34 + a. Solve o - s = 6*o for o.
-2
Suppose a = -5*d + 100, 2*a - 40 = -2*d - 0*a. Suppose -3*q + d = 8. Solve -c = q*c for c.
0
Let c = 0 + 7. Let n = 11 - c. Suppose -n*y + 20 = y. Solve -y = 3*x + 2 for x.
-2
Let f = 24 + -20. Solve 0 = 4*g - 5*g - f for g.
-4
Let s = 5 + -2. Suppose -s + 7 = y. Let c = -1 + 3. Solve -c*v = -0*v - y for v.
2
Suppose 2*l - 2 - 6 = 0. Let a(d) = d**3 - 3*d**2 + 3*d - 3. Let g be a(2). Let r be 6*g*2/(-4). Solve r*z = z + l for z.
2
Let w = -13 - -13. Solve 0 = i - w + 1 for i.
-1
Let s(y) = -2*y - 4. Let c be s(-6). Solve -3*b = -b + c for b.
-4
Suppose 3*z - 2*z - 5*h = -24, h - 9 = -4*z. Let s be -5*(-1)/4*4. Solve z = -s*g + 11 for g.
2
Let t be (-429)/(-55) - (-2)/10. Solve -w - t = w for w.
-4
Let x(o) = o**3 - o**2 - 1. Suppose -3*t - 2*t + 10 = 0. Suppose t*j = 5*p - 1, p + p - 10 = -4*j. Let v be x(j). Solve 2*a - 1 = v*a for a.
-1
Suppose 15 = 4*p - h, -2*p - 4*h - 9 = h. Solve p*l - 5 = 1 for l.
2
Let j = 3 + -13. Let w be 2/3 - j/(-6). Let m = w + 4. Solve -3*d - m = 3 for d.
-2
Let z be 3*(-8)/6*(-2)/1. Solve 6*p = 2*p - z for p.
-2
Suppose 4*h - 18 = 5*w - 0, h = 4*w + 21. Let x be (w/(-4))/(1/4). Suppose -x*r = -r. Solve -2*b = -r*b for b.
0
Let m be (-4)/14 - (-69)/21. Suppose 0 = -m*c + 6 + 39. Let j = 11 - 6. Solve -5*n = j - c for n.
2
Suppose 2*q = 7*q - 25. Solve 2*t - q*t + 15 = 0 for t.
5
Let c = 71 - 67. Solve m + c = 5*m for m.
1
Suppose 20 = -12*n + 13*n. Let w(r) = 2*r - 2. Let u be w(3). Suppose 0*o - 2*o = f, -u*o = -5*f. Solve f = -7*j + 3*j + n for j.
5
Let q(b) = 5*b**3 + b**2 - 3*b - 6. Let d(n) = -9*n**3 - 2*n**2 + 5*n + 11. Let o(u) = 6*d(u) + 11*q(u). Let i be o(3). Solve -i = -4*m - 21 for m.
-3
Suppose p - 4*p + 120 = 0. Suppose 4*x - p + 0 = -5*r, -x + 4*r = -10. Solve 5*t + 0*t + x = 0 for t.
-2
Let z(u) = u**2 + 8*u + 3. Let w be z(-7). Let j be -2*w/(8/1). Solve -t - j = -4 for t.
3
Suppose 0 = -3*o + 3 + 21. Solve o = k - 3*k for k.
-4
Suppose 0 = 4*u - 4 - 4, 0 = 5*i - 3*u + 1. Suppose l - 2 = i. Suppose -33 = 2*x - 59. Solve -l + x = 2*d for d.
5
Suppose 0*o + 165 = -5*o. Let s = o - -46. Solve 2*z - s + 5 = 0 for z.
4
Let d(x) = 5*x + 0*x**3 + 4 + 4*x**2 + 0 - x**3. Let s be d(5). Suppose 2*j - 72 = -2*j - 4*y, -j - s*y = -24. Solve 0 = -3*u - j + 1 for u.
-5
Let b(z) = -z**2 + 5. Let d be b(0). Solve -1 = d*u - 4*u for u.
-1
Let u(a) = 12*a + 1. Let z be u(1). Let l(g) = -g + 7. Let i be l(6). Let t = 2 - i. Solve -4*j - t = -z for j.
3
Let o(r) = -r**3 - 2*r**2 - 2*r. Let s be o(-2). Solve 0 = -s*h + h + 15 for h.
5
Let t(j) = 6*j - 1. Let x be t(1). Let i(b) = b**3 - 6*b**2 + 7*b - 6. Let d be i(x). Let u be (62/(-22) - -3) + 1467/99. Solve d*h - u = h for h.
5
Suppose 4*v = -2*l + 122, -v + 0*l - l + 31 = 0. Let j be 4/v - (-18)/(-135). Solve 4*g = -j*g - 16 for g.
-4
Suppose -2 = -4*m + 6. Suppose 0 = -4*s - 2 - m. Let b = s - -6. Solve -8 = -b*t - 3 for t.
1
Let w be -4*(30/8)/(-5). Let u = 1 + w. Solve y + u = 8 for y.
4
Let o(k) = k**2 - 4*k + 3. Let s be o(3). Let u = 4 + 0. Let r = 10 - u. Solve -2*f + s = r for f.
-3
Let t be (1/(-3))/((-3)/(-18)). Let q(i) = i**3 - 5*i**2 + 5*i - 3. Let g be q(3). Let o = t - g. Solve 11 = o*r - 9 for r.
5
Suppose 0 = 3*d + 3*d - 6. Let g(l) = -3*l. Let r be g(-4). Let k be -5*(2 + r/(-5)). Solve -k = -o + d for o.
3
Let o(w) = 2*w**2 - w - 1. Let d be o(-1). Let z = 7 + -11. Let x(s) = s**2 + 3*s - 4. Let j be x(z). Solve 3*c - d*c - 4 = j for c.
4
Suppose 2*i - 1 = -i + 2*y, 0 = 4*i - 3*y. Solve i = -3*o + 15 for o.
4
Let a = -12 - -12. Solve 0 = b - a*b for b.
0
Suppose 4*z - 24 = -0. Let o(u) = z - 2 + 1 + 4*u + u**2. Let n be o(-4). Solve 0 = n*r - 2*r - 3 for r.
1
Suppose 5*t = -3*f + t + 15, 4*f - 2*t - 20 = 0. Suppose 4*h - 68 = -3*g, -2*g + 85 = -0*h + f*h. Solve 5*n - 7 + h = 0 for n.
-2
Let u(q) = 3*q**2. Let r be u(1). Let s(j) = -j - 1. Let z be s(-4). Suppose -z*w - 2*w = 0. Solve -6*m + r*m + 12 = w for m.
4
Let z(d) = d - 8. Let u be z(8). Suppose q - 5 + 4 = u. Solve -b = -2*b + q for b.
1
Let v(t) = t - 4. Let p(j) = 1 + 2 - 2 - 6*j. Let h be p(-1). Let i be v(h). Solve 3*r = i + 3 for r.
2
Let s = -7 + 17. Suppose -3*u + x + s = 4, 5*u = x + 12. Solve -u*d - 2 = 1 for d.
-1
Let b(i) = -2*i. Let q be b(-4). Let t = q + -3. Solve t*g = g for g.
0
Let g(p) = 7 - 2*p + 8*p + p**2 - 4 + 4. Let y be g(-5). Solve r + 1 = -y for r.
-3
Let g = -6 - -9. Suppose -g*z = 6*a - 2*a - 45, z + 20 = a. Solve 4*f + f = -a for f.
-3
Suppose 5*k - 8 = 2*f, -4*k = 3*f + 4 - 15. Let j(g) = 16*g**2 - 1. Let z be j(f). Solve 5*o + 40 = z for o.
-5
Let a(p) = p**3 - 20*p**2 - 20*p - 11. Let v be a(21). Solve -1 + v = -3*f for f.
-3
Let f(o) = o**3 - 4*o**2 + 4*o. Let y be f(3). Suppose -3*t + 0*t = -y*v - 12, -3*t = -5*v - 12. Solve 4 + 4 = -t*n for n.
-2
Let c(p) = -3*p + 1. Let f be c(2). Let d = f + 9. Solve 2*a = a + d for a.
4
Let k = 29 - -7. Let u be (k/(-30))/((-4)/10). Solve 2*b - u*b = -2 for b.
2
Suppose 4*w = s + 12, -10 + 1 = -3*w + 5*s. Let m(i) = -i + 5. Let n be m(-4). Solve -w*q = -6*q + n for q.
3
Let u(h) = -h**3 - 4*h**2 - h - 4. Suppose -i + 4 = 0, 2 = 2*r - i - 0*i. Suppose 0 = -r*p + p - 8. Let y be u(p). Solve y = 2*k - 2 - 2 for k.
2
Let f(q) = -2*q - 12. Let a be f(-9). Suppose -3*z + 25 - a = -5*i, 3*i + 15 = 0. Let j be z + 0 + (-1 - -3). Solve j*y = -2*y - 8 for y.
-4
Suppose 12*g - 28 = 5*g. Let u = 13 - 8. Let v = 1 + -1. Solve g*i - u*i + 5 = v for i.
5
Suppose 0 = -4*v + 6*v. Solve 2*g + g + 15 = v for g.
-5
Suppose 2*v - 16 = -3*x, 0 = -v + 2*v + x - 6. Suppose 4*l = 14 - v. Suppose 0 = 3*g + 2*y - 32, -y = l*y - 16. Solve -4*h + 0 = -g for h.
2
Suppose -3*a + 9 = -12. Let q be (1 + 0)*0/a. Solve q = y + 6 - 2 for y.
-4
Let k(u) be the third derivative of -u**5/60 + u**4/6 - u**3/3 + u**2. Let z = -6 - -9. Let m be k(z). Solve w = -1 - m for w.
-2
Suppose g = -4*g + 4*v + 19, g = 4*v + 7. Solve -2*s - 2 = -g*s for s.
2
Let l(n) = -4*n**3 + 8*n**2 - 2*n - 1. Let h(t) = 9*t**3 - 17*t**2 + 4*t + 1. Let q(m) = 3*h(m) + 7*l(m). Let c be q(4). Solve 0 = -0*d