Let t(v) = -v**3 + v**2 + v - 1. Let h(j) = -3*j**3 - 8*j**2 + 17*j - 21. Let f(a) = h(a) - 4*t(a). Let k be f(11). Solve k = -d, 2*b - 2*d = 5*b - 2 for b.
4
Let s = -171 - -175. Let p be (9/3)/(1/1). Suppose d = 3*l, -p*d = 2*l + l. Solve 5*v - s = -u, -3*v + 4 = u - l*u for v.
0
Let h(c) = -c**3 - 14*c**2 + 12*c - 43. Let r be h(-15). Solve 0 = -u + 14*l - 13*l - 3, -r*u + 3*l = 9 for u.
0
Suppose -5*c = -36 + 11. Suppose 0 = -0*a + 4*a. Suppose -5*h = -2*h. Solve a = -3*w - h*w - 3*j, -c*w + 4*j = -9 for w.
1
Suppose 0 = -3*j - 46 + 16. Let d = j - -13. Suppose -2*p + p - 20 = -h, d*h - 5*p - 52 = 0. Solve -3*t - t = s + h, -4*s + 9 = -5*t for s.
-4
Let x = 1205 - 1200. Solve -2*h = 4*v + v + 8, 12 = -3*h - x*v for h.
-4
Let o be (-30)/(-35)*(-9 + 2). Let a be (o/(-2))/((-10)/(-50)). Solve 3*n = -a, -4*n - 50 = -5*d + n for d.
5
Let y(u) = -13*u + 91. Let z be y(7). Solve 5*m = -25, -21 = 2*s - z*s + 5*m for s.
2
Let n be ((-3)/18)/((-4*1)/24). Let o be (4 - -1) + (-7)/7. Let c be (n - o) + 4 + -1. Solve g - 3*z - 17 = c, 4*z = -5*g + z - 5 for g.
2
Let m(s) = 2*s - 2. Let q be m(3). Suppose -n = -3*k + 7 + 2, q*n = 5*k - 8. Suppose -f = n*f. Solve 3*l - 3*a - 18 + 45 = f, -3*l = 3*a + 3 for l.
-5
Suppose 5*c + 10 = -0*c, -4*d + 16 = -4*c. Let r(y) = y. Let j be r(d). Suppose -j*u - 7 = -15. Solve -2*z + u = -2*p, p + 22 = 4*p + 4*z for p.
2
Let r(c) = -c**3 - 9*c**2 - 21*c - 17. Let x be r(-6). Solve 0 = b + x + 3, 0 = -3*q - 2*b - 20 for q.
-4
Let m(o) = o**2 + 29*o + 216. Let y be m(-12). Solve -3*b - y = 0, -l - 3*l - 8 = b for l.
-1
Let s(t) = -t - 12. Let h(k) = k + 11. Let l(r) = 5*h(r) + 4*s(r). Let p be l(-3). Suppose -9 = -p*j - 1. Solve n = -j*q + 7, -5*q = -2*n - 4 - 0 for n.
3
Let t = 388 + -386. Solve 0 = -16*z + 13*z + t*f - 17, 5*z + 2*f + 7 = 0 for z.
-3
Suppose 15 = -5*k + 3*v, 33*k = 37*k - 2*v + 10. Solve 4 = c - k*q - 4*q, 0 = -2*q - 4 for c.
-4
Let k(x) = -x - 1. Let g(c) = 20*c + 24. Let q(p) = -g(p) - 24*k(p). Let s be q(4). Solve 4*m = -j + s, -2*m - 4*j + 0*j = 6 for m.
5
Let i = -24 + 19. Let l = i - -8. Solve 5*z = l*u, 0 = 5*u - 0*z - z + 22 for u.
-5
Let z be 5*(-1 + 1 + 3). Suppose 0 = -3*c - 3*d + 5*d + z, 4*c = -d + 9. Solve -4*i = -3*g - c - 1, -4*g + 28 = 3*i for i.
4
Suppose 0 = 3*j - 8*j + 4*v + 13, 0 = 5*j + v - 28. Solve 3*f - 2*u = -15, -j*u + 3 = -f - 15 for f.
-3
Suppose -28 = -3*w + 4*u, 3*u = 5*w + 5 - 37. Suppose -d + w*d + 90 = 0. Let z be (-6)/d + 64/5. Solve 2*f = 5*b - 31, -2*b - 2*f + 3*f = -z for b.
5
Let y be ((-249)/12)/((-2)/(-8)). Let b be (-45)/75 - y/5. Solve -4*m + 2*p - b = 0, p - 22 = 4*m - 4 for m.
-5
Let s(d) be the third derivative of d**5/30 - 5*d**4/24 - 5*d**3/3 + 19*d**2. Let q be s(4). Solve 0 = q*j - 2, -m + 6*m = 2*j - 27 for m.
-5
Suppose 3*h + 5*k - 5 = 1, 0 = 4*h + 4*k - 8. Suppose 0*q - 2*q = 4*f - 68, -106 = -4*q + h*f. Solve 4 = 6*u - u + 4*l, 2*l = 5*u - q for u.
4
Suppose 5*k + 20 = 0, -4*j - k + 0*k = -4. Solve j*b - 5*w - 9 = -0*w, 5*b = -3*w + 7 for b.
2
Suppose 0 = 3*r + 16 - 1. Let v(n) = -2*n - 8. Let t be v(r). Solve t*k - 8*i = -5*i - 18, 0 = -5*i + 20 for k.
-3
Suppose -2 = d - z, -17*d - 5*z = -14*d - 10. Solve 0 = i + i - c - 7, -2*i - 4*c + 2 = d for i.
3
Let z(l) = -2*l**2 - 14*l + 3. Let m be z(-7). Suppose 0 = 4*u + 5*b - 22, 0 = 5*u - b - b - 11. Solve -6 = -2*o - w, -m*w - 4 = u*o - 8*o for o.
2
Let i be ((-5328)/171)/(-8) - 4/(-38). Solve -22 = -i*j - 3*q - 6, 0 = -3*j + 4*q + 12 for j.
4
Let x(w) = -5 + w - 4 + 8. Let i be x(5). Suppose -t + 23 = 5*g, -6*t = 3*g - t - 5. Solve -f - i*h - 7 = 0, 2*f + 2*h = -g + 3 for f.
1
Suppose 11 - 33 = -3*n + v, -2*n = -v - 16. Let o(k) = k**2 - 2*k - 7. Let i be o(n). Solve 4*h = -5*y + i, h = 1 + 2 for y.
1
Let l(m) = -3*m + 4. Let h be l(-4). Let k = -14 + h. Suppose -6 = -u - k*u. Solve -2*s - 4 = 3*w + 1, -u*w = -s + 15 for s.
5
Let r(k) = -10*k + 197. Let f be r(17). Let m = -5 - -8. Suppose -15 = -0*b - 3*b. Solve m*d = -2*l + b*d - 6, -d = 5*l + f for l.
-5
Let x be 1/2 + -4*6/(-16). Let i(d) = 3*d + 6. Let n be i(x). Solve 0*o + h = -2*o - n, -5*o - 5*h - 35 = 0 for o.
-5
Suppose 0 = -11*h + 10*h - s, 5*h + 2*s = 15. Solve 5*k = 3*i - 16, 0 = -h*i + 2*k + 4 + 10 for i.
2
Let o(m) = -2*m - 5. Let r be o(-13). Suppose -5*x - 4*k = 115, 0*x + 71 = -4*x + k. Let q = x + r. Solve -4*s + 12 = -s - q*w, -2*s + 19 = -5*w for s.
2
Let u = -3 - -13. Suppose 7*o = u*o - 6. Let l be 1/(o/6) - 0. Solve -l*p - 3 = 2*m - 5*m, 5*m - 1 = p for m.
0
Let b(r) = 6*r**2 - 1. Suppose 4*o = 3*o - 1. Let g be b(o). Suppose -f = -4 - 2. Solve f*d - 6 = 3*d, -g*d - 2 = -4*y for y.
3
Let w = -39 + 35. Let i be 0 + w + 31 + 2. Solve -2*r + 3 = -r + 2*d, -5*r + i = -4*d for r.
5
Let p(a) = -17*a - 11. Let m be p(-2). Let w = m - 18. Solve w*q = -3*o - 8, 2*q + q + 8 = -o for o.
4
Let m be -2*(12 + 9 + -23). Solve m*u = -c, 3*u + 2*c = 3*c + 7 for u.
1
Let u be (15*(-4)/(-50))/((-6)/(-20)). Solve 2 = -5*h - 5*r - 13, 20 = -u*h + 4*r for h.
-4
Let d be 8*50*(-5)/20. Let i = d + 103. Solve 2*j = 5*v - 15, 0*j - 2*j = i*v - 25 for j.
5
Let t = 1611 - 1608. Solve -5*y - 10 = -3*y, -a + t*y + 19 = 0 for a.
4
Let r be (18 - 11) + -2*2. Let o be ((-2)/(-1) - 6)*2. Let d = 10 + o. Solve -3*v + g + 14 = 0, r = 2*v - 5*g - d for v.
5
Suppose -2*g + 5 = -1. Suppose -4*q - w + 4 = -0*q, g*w - 12 = 0. Solve b + 2*r = 0, -r = -q*b + b + 1 for b.
-2
Suppose 2*c = -i - 0*i + 122, -2*i = -4*c + 260. Let n = 85 + -41. Let j = c - n. Solve -5*a - j = 2*y, -5*y - a + 4 = -6 for y.
3
Let u = -136 - -161. Solve h - 3*h = -a - 15, h = 4*a + u for h.
5
Let l(j) = j + 10. Let k be l(14). Solve -4*w + k = y, 2*y - 1 = 7 for w.
5
Let k(y) = 23*y**2 + 1. Let h be k(-1). Let o = 29 - h. Solve 4*s = -0*s - u + 9, -5*u = -o*s - 20 for s.
1
Let a = 751 + -751. Solve a = 3*l + 4*s + 23 - 9, 4*s + 8 = 0 for l.
-2
Let m(c) = -c**2 + 6*c + 5. Let z be m(6). Solve u = -2*s - z, -5*u = -s + 1 + 2 for u.
-1
Suppose -33*l + 12 = -27*l. Let s = -3 + 3. Let x be s - ((-6)/3 + -1). Solve 5*n + 9 = -l*k, -n + x*n = k for k.
-2
Let w be 1/(-4) - 2/(-8). Let z be (93 - 103)/((-15)/9). Solve 5*g = -4*m - z - w, 4*g = -4*m - 4 for m.
1
Suppose 0 = -j - 2*x, 2 = -5*j + 4*x + 30. Let b = -85 + 70. Let y be (-5)/b + 1 + 3/(-9). Solve -4*t - j*k + 40 = t, 0 = -4*t + 3*k + y for t.
4
Suppose -5*p + 4*n = -9, 3*p = -4*n - 5 + 4. Let z be (2 - p)*(-21)/(-1). Solve -1 = s - v, 0 = 5*v - 4 - z for s.
4
Let m(w) = -2*w + 17. Let c = -7 - -15. Let z be m(c). Solve -z = -2*i + a, -3*i + 3*a + 1 = -8 for i.
-2
Suppose 5*m - 18 = 2. Let c be (-10)/2*m*3/(-30). Solve -3*n = 3*a + 3, 3*a - 8 = c*n + 14 for a.
4
Suppose 5*o + f + f - 6 = 0, -f - 6 = -2*o. Solve -3*i = -o*c - 2, 5*c + 0*i = 2*i - 16 for c.
-4
Let m(x) = x + 14. Let t = -39 - -27. Let l = t - 0. Let o be m(l). Solve -5*c + 2 = z - 2, 2*z + 4 = o*c for z.
-1
Let g be 6/(-30)*2*-10. Suppose -3*x - 3 = 3*o, 5*x + g*o = 6*x - 14. Solve x*n + n = -3*k, 3*k + 5*n = -4 for k.
2
Let l(n) = 4*n - 8. Let o be l(6). Let i be 4/o - 70/(-8). Let s(b) = b**3 + 5*b**2 + 3*b - 1. Let t be s(-3). Solve t*g = -4*a + 4*g, -i = -4*a + 5*g for a.
1
Suppose 9*w = 11*w. Suppose w = q - 8 - 6. Solve 5*k + 4 = q, 5*k = -j + 11 for j.
1
Suppose -528*o - 16 = -536*o. Solve -4 = -5*w - o*p + 1, 0 = w + 3*p - 1 for w.
1
Let a be 165/4 - (-18)/24. Let b be (a/(-12))/((-3)/12). Solve -4*y + b = 2*t + 4, t - 2*y + 15 = 0 for t.
-5
Suppose -3*b = 37 + 155. Let z = -59 - b. Solve 3*i - 2*l - 1 - 2 = 0, 0 = z*l for i.
1
Suppose 22*o = -2*o + 144. Solve -2*b + o = t, 3*t = -t - 2*b + 12 for t.
2
Let n = 132 - 57. Let x be 8/(-6)*n/(-20). Solve -5*z + 5*t = x, z + 5*t + 0*t - 11 = 0 for z.
1
Suppose 0 = 2*n + 2*v + 8 - 10, -v + 1 = -2*n. Let x(l) = l**2 + 8*l + 15. Let g be x(-6). Solve n = -g*a - 6*h + 4*h, -a - 5*h + 13 = 0 for a.
-2
Let b(s) be the second derivative of s**4/2 - s**3/2 + s**2 - 5*s. Let z be 8/28 - 5/(-7). Let u be b(z). Solve 0*m - 14 = 3*q - m, -4*q + u*m = 37 for q.
-3
Let h = 43 + -28. Let v(p) = 4*p + 2. Let r be v(4). Let o = r - h. Solve -2*m - 2 - o = 5*n, -5*m + 3 = -3*n for m.
0
Let z(k) = -3*k - 2 + k**2 - 8 - 1 + 5. Let p be z(-2). Solve 3*h = p*d + 7, 0 + 3 = -2*d + h for d.
-1
Let m be -1 - 76/(-28) - 4/(-14). Solve -7*v + m*