(-144). Solve t = -3*i - 1 for i.
-3
Let b(w) = -w**2 + 7*w - 2. Let j be b(4). Solve j = -4*z - 2 for z.
-3
Let m(t) = 2*t - 8. Let w = 3 + -1. Let r = 5 + w. Let k be m(r). Solve -2*s = -4*s + k for s.
3
Let f(u) = 2*u - 4. Let p be f(4). Solve -4*o + p = 20 for o.
-4
Suppose 4*c = -4*o - 4, 0 = 4*c + 5*o + 4 + 1. Solve c*m = 5*m + 5 for m.
-1
Let q(z) = -z**3 - 7*z**2 + 2. Let d be q(-7). Let h = d - -4. Solve 2 - h = -y for y.
4
Suppose -5*r - 5*z + 5 = 0, z - 5*z = -2*r - 10. Let s(d) = -d**3 - 8*d**2 + d + 11. Let w be s(-8). Let l be (w/6)/r*-8. Solve l*f + 15 = -f for f.
-3
Let u = -59 + 62. Solve u*y + 13 - 1 = 0 for y.
-4
Let c = 6 + -3. Solve c*g = -g for g.
0
Suppose -2*z + 8 = -0*z - 4*v, -4*v = 0. Let r = 2 + -2. Solve r = g - z - 0 for g.
4
Suppose -2*i - k = k - 6, -5*i = -5*k + 15. Solve -4*u + 2 - 6 = i for u.
-1
Let k(v) = 3*v**2 - 4*v - 2. Let z be k(2). Solve -6 = o + z*o for o.
-2
Suppose -2*h + 2 = 0, -5*h + 1 - 8 = -4*y. Let w be (-5)/(3 + -1 - y). Suppose 3*l + 5*q - 55 = 0, -w*q = 4*l - 117 + 42. Solve m + 3*m + l = 0 for m.
-5
Suppose 5*d = 13 + 37. Solve d = 3*v - v for v.
5
Let d(y) = -y**3 - 8*y**2 - 7*y. Let j be d(-7). Solve -2*x - x - 9 = j for x.
-3
Let s = 147 + -139. Solve 2*b + s = -2*b for b.
-2
Suppose w = -w. Solve -k - 3*k + 12 = w for k.
3
Suppose -w - 3*w - 4 = 0. Let o = w - -5. Let m be 6/(-4) - 22/(-4). Solve -8 = o*g + m for g.
-3
Let d(o) = o**2 - 2*o + 3. Let i be d(5). Let b = i - 18. Solve -4*m + 0*m - 4 = b for m.
-1
Let z = 317 - 185. Let t be ((-9)/(-6))/(9/z). Let j = t + -14. Solve 4*u + 0*u = -j for u.
-2
Let n = 6 - 1. Suppose -8 = n*p - s - 0*s, p + 5*s - 14 = 0. Let z(x) = 10*x**2 + x + 1. Let t be z(p). Solve -5 = -5*j + t for j.
3
Let d be (2 - 2)/(2 + -4). Let s(q) = -12*q. Let a be s(-1). Solve d = -2*h - h + a for h.
4
Let w = 1 + -1. Let t be (-16 - (-4 + 2))/2. Let j(s) = -s**2 - 7*s + 13. Let l be j(t). Solve w = 5*r - l - 12 for r.
5
Let x(f) = -f**2 + 14*f - 13. Let z be x(13). Solve 0 = g - z - 1 for g.
1
Let s be 34/10 + (-4)/10. Suppose m + 13 = 3*l + 2*m, 3*m = 3. Suppose -4*f + 1 = 5*x - 15, 0 = -f + l. Solve -s*j + 7*j = x for j.
0
Suppose -3*v - 3 = -4*d + 11, 0 = -d - 2*v + 9. Suppose d*l = 4 + 31. Solve 27 = -4*i + l for i.
-5
Suppose -3*y - 10 = -5*w, 2*y + y - 2*w + 4 = 0. Suppose 0*c + 4 = 2*c. Suppose -3 - 1 = -p. Solve -g + c - p = y for g.
-2
Suppose -5*n + 5*u + 6 = -39, -3*u - 15 = 0. Solve n*f - f = 12 for f.
4
Suppose 5*n = -15 + 5. Let p be 2*(2 - (n - -3)). Solve p*d + d = 0 for d.
0
Let q(f) = -2*f + 75. Let t be q(34). Let b be 3 + -2*(-1)/2. Solve b*p - t = 1 for p.
2
Let v = 4 + 1. Let c be (-4 - (v + -3))/(-2). Suppose 3*h - 9 = c. Solve 7*i = 3*i + h for i.
1
Let g(k) = 3 + 2*k**2 - 3*k**2 + 4*k - 2. Let z be g(4). Let s = z - -1. Solve s*a - 7 = 3 for a.
5
Suppose 9*p - 3*p - 18 = 0. Solve p*c - 2 = c for c.
1
Let g(r) = r**3 - 9*r**2 + 8*r + 6. Let t be g(8). Suppose 0 = 5*n + 10, 2*u + 20 = t*u - 4*n. Suppose -z + 8 = u*z. Solve -2*f = 2 + z for f.
-2
Suppose -j - 4*j = 0. Let a be (-4)/((-1)/((-14)/(-4) + -3)). Solve a*s - 4 = -j for s.
2
Let j be (-2)/(-9) - 56/9. Let a be (17 - 8)*(-2)/j. Solve a*y - 14 = -2 for y.
4
Let h(p) = p + 17. Let y be h(-14). Solve -y*x + 2*x + 3 = 0 for x.
3
Let y be (2*-1)/1 + 6. Suppose m = -0*m + y. Let i = 11 - 6. Solve 0 = i*c + m + 6 for c.
-2
Let p(d) = -d**2 + 8*d - 7. Let k be p(5). Suppose -o - o + k = 0. Let s be 1/4 - (-15)/o. Solve 0 = 4*n - s - 8 for n.
3
Suppose 3*f + 2*f - 55 = 0. Solve 5*w - 1 = -f for w.
-2
Let h(c) = c - 4. Let k be h(9). Suppose 10 = 5*x - f - f, -f = -k*x + 5. Solve x*d + 1 = d for d.
1
Let z = -10 + 21. Let v = z + -11. Suppose -4*w + 4 = -2*a, 5*a - w + 2*w = 12. Solve -q + a*q = v for q.
0
Let p be (-77)/(-49) + (-6)/(-14). Let r be (-2 + 3/p)*-4. Solve 10 = 3*u + r*u for u.
2
Let b = 7 + -3. Solve 0 = 5*x - 3*x + b for x.
-2
Suppose 3*w = -2*w - 20, 5*k - 2*w - 83 = 0. Solve -3*j = 3 - k for j.
4
Let c(f) = -f**2 - 4*f + 1. Let i be c(-3). Suppose 3*d - i = 5*r + 2, 0 = 3*r + d - 2. Suppose k = 3*y + 3*k - 1, 0 = 2*y + 5*k + 3. Solve w - y = -r*w for w.
1
Let p(i) = i**2 + 9*i + 12. Let v be p(-8). Solve -v*n + 0*n + 16 = 0 for n.
4
Let o(g) = -g**3 + 2*g**2 - 3*g + 3. Let v be o(2). Let k = v - -1. Let i be (-2)/(k/(0 - -4)). Solve -i*b = b for b.
0
Suppose 20 = -3*j + 5*o, 8 = 2*o - 0. Suppose 4*n + 2 = 3*a + 8, j = -5*a - 3*n + 19. Solve -z + 1 = -a for z.
3
Let t be -3*(5 - 3)*4. Let w be (4 - 1)*(-8)/t. Solve 5 - w = -h for h.
-4
Let l = -10 + 13. Let p(b) = b**2 - 9*b + 12. Let k be p(8). Suppose 2 - 6 = -k*d. Solve -l - d = -w for w.
4
Let n(b) = 8*b - 1. Let y be n(1). Suppose 5*j - 5*c - 3 - y = 0, -2*j = 4*c - 34. Solve -2*f - 10 = -j*f for f.
2
Suppose 0 = -0*m + 4*m + v - 16, -2*v = m - 11. Solve 0 = -2*x - m*x for x.
0
Let k(p) = -p**3 - p**2 - 1. Let g(d) = -5*d**3 - 5*d**2 - d - 8. Let f(a) = -g(a) + 6*k(a). Let y be f(0). Suppose -b = y*b - 18. Solve -5*i = -4 - b for i.
2
Let f = 71 + -71. Solve 0 = 2*z - f*z for z.
0
Let d be (-35)/(-21)*3 + -3. Suppose -5*x + 15 = 5*c, 5*c + 2*x + 2*x - 13 = 0. Solve -9 = -d*f + c for f.
5
Let z(l) = -l**3 + 13*l**2 + 12*l + 4. Let p(k) = -k**3 + k**2 + k. Let q(x) = -2*p(x) + z(x). Let s be q(-10). Solve -2*i - 2 = s for i.
-3
Suppose n - 3*n = b - 6, b + 6 = n. Let x be (1 - 3)*2/n. Let l(r) = -r**2 - r. Let z be l(x). Solve z*f = -3*f + 9 for f.
3
Let b be (-6)/(2*(-2 + 1)). Let g(o) = 3*o**2 - o - 2. Let v(z) = 4*z**2 - 2. Let r(j) = 5*g(j) - 4*v(j). Let h be r(-3). Solve -h*u = 1 + b for u.
-1
Suppose -4*v - 2*g + 8 = -4*g, -5*g = -5*v + 20. Solve v = -8*y + 3*y - 15 for y.
-3
Let k be (-2)/3 - (-56)/12. Solve 0 = 2*v + 2*v - k for v.
1
Let q(w) = -20*w - 2. Let c(k) = -20*k - 1. Let f(y) = -5*c(y) + 4*q(y). Let v be f(2). Solve -5*p = 12 - v for p.
5
Suppose 0 = -2*j + 5*j. Solve j*y = -y for y.
0
Let w = -8 - 0. Let x(k) = -k**2 - 8*k + 3. Let l be x(w). Solve 6*u - l = 3*u for u.
1
Suppose -2*a + 2 + 26 = 0. Solve -4 = 2*f - a for f.
5
Let d(m) be the first derivative of -m**3/3 + 7*m**2/2 - 2*m + 1. Let r be d(6). Solve g + 3*g = r for g.
1
Let h(d) = 8*d + 48. Let u be h(-6). Solve u*g = g for g.
0
Let a = -65 - -65. Solve a = -2*y - 2*y + 12 for y.
3
Let a(c) = -32*c + 1. Let s be a(-7). Suppose -x = 4*x - s. Let n be 460/x + 2/(-9). Solve 0 = -0*g + 2*g + n for g.
-5
Let i = 22 - 2. Suppose -4*h + 0 = -i. Solve h*u + 25 = 5 for u.
-4
Suppose 3*q = 5*q - 2. Suppose -q - 4 = i. Let a = i - -8. Solve 2*r + a = 1 for r.
-1
Let r = 13 + -10. Suppose -r*v = v. Solve 5*a - 8 + 28 = v for a.
-4
Let k(v) be the second derivative of -v**5/20 - 2*v**4/3 + 7*v**3/6 - 3*v**2 + 3*v. Let w be k(-9). Solve w = z + 3*z for z.
3
Let t(j) = -j**3 - 2*j**2 - j + 4. Let z be t(-2). Suppose -2 - z = q - 2*x, 5*q + 10 = 4*x. Suppose 0 = 2*p - p - 4. Solve -q*l = -p*l + 2 for l.
1
Suppose 3*s = -s + 16. Solve 0 = -2*v + v - s for v.
-4
Suppose 0 = -l - 4*i + 12, -2*i - 3*i = 5*l - 30. Solve r = -l*r - 5 for r.
-1
Suppose -2*p + 0 = -4. Solve -3 = s + p for s.
-5
Suppose -24 = -2*w - b + 4, 0 = 3*w - 2*b - 35. Solve 5*z = 33 - w for z.
4
Suppose 5*c + 3*y - y = 43, -4*c + 34 = 2*y. Suppose -2*w = 3 - c. Solve 3*f + w = 15 for f.
4
Let s(n) be the first derivative of n**2/2 + 3*n - 1. Let w be s(-3). Suppose -2*z + 0*c + 1 = 3*c, -3*z + 2*c + 34 = w. Solve -z*d = -6*d - 8 for d.
4
Let s be (-6)/1 + (3 - 0). Let n be (-35)/(-21) + (-1)/s. Solve 0 = -n*v + 3*v - 2 for v.
2
Let c(r) = r**2 - 7*r + 2. Let n be c(7). Let m = 3 + n. Solve -7*d + 2*d = m for d.
-1
Let k be (8/6)/((-14)/(-21)). Let a = k - -1. Solve 7 - a = -f for f.
-4
Let j(z) = -z**3 + 4*z**2 + 4*z + 4. Let p be j(4). Let i be 2/3 + p/6. Suppose -i*u = 5*m - 0*u - 20, -2*u + 14 = 3*m. Solve -m = -q - 3*q for q.
2
Let v = -24 - -26. Suppose -v*f = f - d - 19, 2*d = -3*f + 7. Solve -3*n = -8*n + f for n.
1
Let l = 2 + -2. Suppose -5*f + 20 = -l*f. Let j = 6 - 4. Solve j*s + f = 6*s for s.
1
Suppose 3*h = -6*h + 36. Solve 0 = -r + 1 + h for r.
5
Let g(j) = j**2 - 6*j - 9. Let x be g(7). Let i(a) be the first derivative of -7*a**2/2 - 3*a + 11. Let m be i(x). Solve 4*z = 9 + m for z.
5
Suppose -4*j + 35 = 5*v, 3*v + 21 = 5*v + 3*j. Solve -4 - 2 = v*f for f.
-2
Let z be ((-