 = 2*z. Let j = 10 + z. Solve 1 = -4*k + j*k for k.
-1
Let h be (-3)/(-12) - 3/(-4). Let x = -2 - -6. Let i = h + x. Solve i*n = -22 + 7 for n.
-3
Let y be -1 - -1 - (1 - -1). Let t(k) = -k**3 + 6*k**2 - 8*k + 6. Let v be t(2). Let a = v - y. Solve g = -g - a for g.
-4
Suppose 0 = -7*l - 125 + 139. Solve 22 - l = 5*d for d.
4
Suppose 17 = 4*f + 1. Suppose -f = 4*u, -8 = -2*l + 3*u + 3. Solve j = -l*j for j.
0
Suppose 0 = 6*w - 11*w + 15. Solve -w*d - 1 = -16 for d.
5
Suppose 4*j + 2 + 2 = 0. Let o be (j + 0)*(2 - 4). Solve -o*i = -i for i.
0
Let g(p) = p**3 - p**2 + 2*p + 2. Let a(w) = -2*w**3 + 3*w**2 - 3*w - 5. Let q = 10 + -15. Let x(n) = q*g(n) - 3*a(n). Let b be x(4). Solve -3 - b = -4*t for t.
1
Let x = -30 + 35. Suppose 0 = 4*g + x*b - 1, 0*b - 3 = b. Solve f + g = 5*f for f.
1
Suppose -5*m + o - 42 = -0*o, -2*m - 2*o - 24 = 0. Suppose -9*r + 4*r - 65 = 0. Let h = m - r. Solve -q = -h*q + 6 for q.
2
Let y = 34 - 23. Let x(r) = 3*r**3 - 2*r**2 - 2*r + 3. Let f be x(2). Suppose -2*n + f = 5*p, -3*p = -3*n + p + y. Solve 0 = h - n*h for h.
0
Suppose -4*o - 2*o = 54. Let i = o + 11. Solve -m - 15 = i*m for m.
-5
Suppose 3*g + 2*f - 29 + 9 = 0, -4*g = 5*f - 36. Suppose 12 = w - g. Solve 4*y + 0*y + w = 0 for y.
-4
Let r = -132 + 147. Suppose -r = -2*u - 3*j + 8*j, 0 = 5*u + 3*j + 9. Solve u*c - 5 = c for c.
-5
Let l(v) = -v**2 - v + 2. Suppose 0 = -u - 5, 8*u + 28 = 3*d + 3*u. Let m be l(d). Solve m*b = 2*b + 6 for b.
-3
Suppose l - 7 = -4. Let z be (l + -11)/((-2)/(-4)). Let u be z/20 - 72/(-15). Solve -u*s = -3*s - 1 for s.
1
Let f(m) = -m**2 - 11*m - 10. Let c be f(-10). Suppose -y + c*y + 2 = 0. Suppose z + z = 4*z. Solve z = y*q + q for q.
0
Suppose 2*y + 6 = 3*y. Let g be (0/4)/((-4)/2). Let s = 9 + g. Solve -3*d + s = -y*d for d.
-3
Let u(b) = -b**3 + 25*b**2 + 2*b - 47. Let o be u(25). Solve c - 1 = o for c.
4
Let t(o) = -o**3 + 7*o**2 + 8*o. Let l be (8 + -4)/(2/4). Let p be t(l). Suppose -h + p*h = 0. Solve -z + h = 3 for z.
-3
Let s = 69 + -60. Solve s*t + 5 + 4 = 0 for t.
-1
Let x(w) = -4*w**2 - 2. Let l be x(2). Let a = -10 - l. Suppose 5*p - 24 = -q, -2*p + p = q - a. Solve -k - p = 1 for k.
-5
Let m = -18 - -30. Suppose -10*u = -m*u. Solve u = -0*v + v + 5 for v.
-5
Suppose -12*n + 5*n + 7 = 0. Let d be -1 + 1 - -1 - n. Solve d = -5*h - 3 - 17 for h.
-4
Suppose -108 = -13*u - 17. Solve -7 + 21 = -u*b for b.
-2
Let n(m) = -m**3 - 4*m**2 + 8*m + 62. Let w be n(-4). Solve -6*v = 36 - w for v.
-1
Let f(v) be the first derivative of v**3/3 - v**2/2 + 4*v + 2. Let g be f(3). Let d be 24/g + 16/(-40). Solve -6*a = -d*a - 20 for a.
5
Let u(z) = 3*z. Let g be u(1). Suppose -g*d - d = -16. Solve -d*c = c for c.
0
Let v = 1091 + -1081. Solve 6*h - 12 = v*h for h.
-3
Let h = 25 + -21. Let b be h/12 - (-2 - 7/(-3)). Solve b = 2*u + 5 + 1 for u.
-3
Let w = 418 - 259. Solve w*r - 154*r = 15 for r.
3
Let h be (0 + 1/(-2))*0. Solve h = 6*n + 4*n + 40 for n.
-4
Let b(w) = 4*w + 66. Let g be b(-13). Solve -4*f = -g - 2 for f.
4
Suppose t + 4*r - 23 + 1 = 0, 5*t - 5*r + 15 = 0. Solve -t = n + 3 for n.
-5
Let m(b) = -4*b**3 + b**2 - 3*b + 2. Let u be m(1). Let q be 0 - u - 3/((-3)/(-4)). Solve 4*d - 2*d + 6 = q for d.
-3
Suppose -25 = -5*y - 5. Let k be 2/y + (-4)/8. Suppose 7*s - 2*s = 3*s. Solve s = 3*z - k*z - 12 for z.
4
Let c(v) be the third derivative of -v**6/120 + v**5/30 + v**4/24 + 20*v**2. Let d be c(2). Solve 0 = t - d*t for t.
0
Let i = -1 - 9. Let q be (-6)/i + 18/(-30). Suppose -c - 2*c = 3*n - 3, c + 1 = q. Solve -n = -0*l - l for l.
2
Let k = -1207 + 1215. Solve -3*h - k = 7 for h.
-5
Suppose 5*t - 42 = -17. Suppose 3*d - 5 - 3 = -t*m, -3*m = -2*d - 1. Suppose f - 26 = -d. Solve u = 6*u + f for u.
-5
Let p = 4 + 3. Suppose -5*d - 18 = p, 3*d + 7 = -4*k. Let x(m) = 3*m**3 - 5*m**2 + 6*m - 4. Let i be x(2). Solve -k*r = 2*r - i for r.
3
Let x(u) = 68*u**3 + u**2 + u - 2. Let b be x(1). Let h = -67 + b. Suppose 0 = 2*r + r - 9. Solve -h + r = a for a.
2
Let m be 51/102 + (-1)/2. Solve m*d + d = 2 for d.
2
Let z = -48 - -51. Suppose -2*c + 0*c + 4 = 0, z*c - 6 = 5*k. Suppose d + d = 8. Solve -2*v = -k*v + d for v.
-2
Let u(o) = o**3 - 2*o**2 + 7*o - 28. Let h be u(3). Suppose -2*t + 7*t = 0. Let f be (t + -1)*1*-3. Solve z - h*z = f for z.
-3
Suppose -8*u + 4 = -20. Solve -6*p + u*p = 9 for p.
-3
Let a(s) = s**3 + 9*s**2 - 2*s - 3. Let k = 41 + -23. Suppose -o - o = k. Let b be a(o). Solve 2*p = 5*p + b for p.
-5
Suppose 100 = 5*k - g - g, -2*k + g = -39. Solve -17*u = -k*u for u.
0
Let f(b) = 4*b**2 + 4*b + 4. Let q be f(-1). Solve 5*w = -16 - q for w.
-4
Let l = 165 - 154. Solve -3*o - l + 8 = 0 for o.
-1
Let z be (-186)/(-66) + (-2)/(-11). Suppose 2*x - 12 = 5*x, k - z = x. Let d be ((-2)/k)/(-2) - -4. Solve -p = d*p - 20 for p.
5
Let r(f) = -f**3 + 3*f**2 - 7*f + 10. Let v be r(2). Let o be (-3 - v) + (-35)/(-7). Solve -o = 3*s - 2*s for s.
-2
Let w(g) = g**3 + g**2 + 4. Let a be w(-2). Suppose -3*t + 0*t + 30 = a. Solve -t = 2*d - 0 for d.
-5
Suppose -6*o + 10*o = 9*o. Let a = -5 + 9. Let r be 1/2 + 2/(-4). Solve h + a + o = r for h.
-4
Let v = -1760 - -1787. Solve -6*u - v + 39 = 0 for u.
2
Suppose -2*w + 4*w - 12 = 0. Suppose 657*r + 40 = 662*r. Solve -w*t = -4*t - r for t.
4
Let s be ((-413)/59)/(0 + -1). Solve 17 = -2*y + s for y.
-5
Let r = 714 - 709. Solve -8*o = -r*o - 15 for o.
5
Let q(d) = d**2 - 3*d + 6. Let u be q(2). Solve 8*w - u*w + 4 = 0 for w.
-1
Suppose 2*j - 3*a - 22 = 0, j = -7*a + 4*a - 7. Solve j*s = -0*s - 10 for s.
-2
Let g(q) = -q**3 - 7*q**2 - 6*q + 8. Let f be g(-6). Let l(x) = -x**2 + 8*x. Let c be l(f). Solve b + 2*b = c for b.
0
Let g(p) = p**2 + 42*p - 23. Let w be g(-43). Solve 0*h - w = -4*h for h.
5
Let s = -17 + 67. Let g be 6/(-54)*-2 - s/(-18). Solve 6 = -g*l - 0*l for l.
-2
Let a be (129/18 - 2/12)*1. Solve -5*x = -a*x - 6 for x.
-3
Let w(v) = v + 15. Let z be w(6). Let d be (-46)/(-8) - 6 - z/(-4). Solve -11 - 4 = d*r for r.
-3
Let t be (-420)/(-350) + (-438)/(-10). Solve t*k = 48*k + 3 for k.
-1
Let z(x) = 2*x**3 + 18*x**2 - 18*x + 21. Let g(p) = -p**3 - 17*p**2 + 17*p - 20. Let b(j) = -3*g(j) - 2*z(j). Let y be b(14). Solve 6*h + 8 = y*h for h.
-4
Let f = -311 + 311. Solve f = -3*g - 18 + 3 for g.
-5
Let h(k) = k**2 + 8*k + 9. Let c be h(-7). Suppose 3*z - 9 = s + c*s, 15 = 4*z - 5*s. Let r = z - -2. Solve r*l = l for l.
0
Let d(p) = 2*p**3 + 4*p**2 + 4*p + 2. Let y be d(-2). Let w = y - -8. Solve -w*v = 5 - 15 for v.
5
Suppose w = -w + 8. Suppose 24 = 4*m + w*t, 5*m - 4*t = -2 + 5. Suppose -5*q = -4*q - 25. Solve m*r = 8*r - q for r.
5
Suppose 5*p = 4*r - 38, 2*r + 5*p = -0*r + 34. Let b be (-6)/8 - (-78)/(-24). Let w = 0 - b. Solve 0 = w*q - q + r for q.
-4
Let x(j) = 3*j**2 - 40*j - 146. Let a be x(-4). Solve 77 - a = -3*s for s.
-5
Let f be 1/(-2) + 1/2. Suppose 6 = s - f. Suppose -704*t + 3 = -703*t. Solve -s*i + t*i = 0 for i.
0
Let f = 25 - 20. Let t(w) = w**3 - 4*w**2 - 7*w + 10. Let p be t(f). Solve p - 5 = 5*a for a.
-1
Let w = -248 + 253. Solve -a = -w*a for a.
0
Let o(f) = -109*f - 96. Let n be o(-1). Solve -n*v = 25 + 1 for v.
-2
Suppose 2 = -2*a + 16. Suppose 0 = -a*k + 4*k + 27. Let z = k + -9. Solve z = -2*v + 3*v + 2 for v.
-2
Suppose -4*d + 144 = -4*y, 0 = -d - y + 20 + 10. Solve -38 = i - d for i.
-5
Suppose -o + 5*n = -22, 3*o + 2*o = -5*n - 10. Suppose 9 = 3*a, 4 = -q - o*a + 12. Let g = q - 0. Solve 0 = g*u - 3 + 5 for u.
-1
Let p = -43 - -84. Let i = 44 - p. Solve -i*m = -m + 4 for m.
-2
Suppose -d + 5*d = -2*b + 8, 5*d + 3*b = 12. Let m = -11 + 25. Let f be (-8)/28 + 4/m. Solve f*o + 3*o = d for o.
0
Let t(l) = -l + 1. Let n be (-16)/(-4 + 0 - -2). Let k(m) = -m**3 + 9*m**2 - 9*m. Let b be k(n). Let p be t(b). Solve -5*w = 6 + p for w.
-3
Suppose 530*a = 511*a + 3762. Solve -3*t + 195 - a = 0 for t.
-1
Let x = -1599 - -1603. Suppose 5*c = 2*g - 29, -4*c - 16 - 10 = -3*g. Suppose -2*z + 12 = g*z. Solve x*d = z + 13 for d.
4
Let s(l) = -11*l - 3. Let d be s(6). Let f = 71 + d. Solve -q - 3 = -f*q for q.
3
Suppose -10 = -o - o. Suppose -4*l + 2*m = -40, o*m = 3*l - 7*l + 26. Let j = 7 + l. Solve 0 = i + 3*i - j for i.
4
Let l = -5 + 5. Let g(o) be the third derivative of -o**4/24 + 8*o**3/3 + o**2. Let x be g(8). Solve l = 4*a - x*a + 20 for a.
5
Let v(x) = 2*x**2 