). Solve 3*w = 3*f + 8 + 16, 0 = -t*w - 4*f for w.
4
Let q be 340/80 - 20/16. Suppose 39 = 3*k - 0. Solve -k = o + q*y, -3*y - 10 = -o + 1 for o.
-1
Let h be (-1408)/(-231) - (65/21 + -3). Solve -2*j + 18 = -4*l, h*l + 10 = 3*l - 2*j for l.
-4
Let o be (21 - 3)*(28/(-8) + 4). Let s = o + -6. Solve 0 = -5*b + c + 7, 0 = b + 3*b + s*c - 17 for b.
2
Let d = -7 - -12. Let m be 572/143*((-3)/(-2) + 1). Solve 2*o - 1 = u, -u + m = d*o - 10 for u.
5
Let p(l) = -l**3 + l**2 - l - 6. Let v be p(0). Let c be 140/12 + (-2)/v. Solve -z - 5*r = -3*z + c, 0 = -z + 3*r + 7 for z.
1
Suppose -2*y + 65*t = 61*t + 4, t + 6 = 4*y. Let k = -4 + 7. Solve -5*g - 3 = k*j, -4*j + y*g - 5 = -1 for j.
-1
Let h(q) = -3*q**2 + 3*q - 1. Let y be h(3). Let w = y - -23. Suppose -2*b = 3*i + 9 - 24, 3*b - 3*i = 30. Solve -3*a + 4*g + b = 6*g, 3*g = w*a + 5 for a.
1
Let h be (-1)/((2/(-4))/(418/44)). Solve z + h = 3*v, -v - 3*z + 0 - 7 = 0 for v.
5
Let j(g) = g**3 + 8*g**2 + 3*g + 24. Suppose -12 = 2*y - o, 7*y + 3*o + 52 = 2*y. Let b be j(y). Solve -2*f = 5*d + 1, 0 = 4*f - b*d - 2*d - 10 for f.
2
Suppose -2*y + 3*v + 11 = 2*v, y - 4*v = 9. Solve -z + y = 0, 2*c - 2*z + 22 = 8 for c.
-2
Let y(k) = 2*k - 3. Let q be y(2). Suppose x - q = 3. Let w = 90 - 88. Solve x*d + f = 6*d - w, 4*f + 8 = -d for d.
0
Suppose 2*q - 2*y - 10 = 10, 10 = -q - 3*y. Solve -2*i + 3*h + 3 = 0, -i - q*h = -0*i - 8 for i.
3
Suppose 1 = -4*h - 3. Let p(u) = 41*u**2 + u - 1. Let j be p(h). Suppose j = 3*l - 3. Solve -3*d = m + 8, 0 = 3*d + m + 3*m + l for d.
-2
Suppose 0 = -2*b - 5891 + 5895. Solve r = z + b*r - 8, 2*z - 5*r = -19 for z.
3
Let b be ((-5)/15 - (-4 - -4))*0. Solve 4*p - l - 9 = -2*l, 2*p + 2*l - 12 = b for p.
1
Suppose 2*l + 4*a - 4 = -2, 4*l = 4*a + 16. Solve l*q - c - 2 = 1, -12 = -4*c for q.
2
Let c(k) be the second derivative of -k**5/20 + 5*k**4/6 + 25*k**3/6 + 6*k**2 - 11*k. Let o be c(12). Solve 0 = p - 2*p - 5*f - 26, -4*f = 4*p + o for p.
-1
Suppose -8*r + 4*r - 5*w = -1, 0 = -3*r + 5*w + 27. Solve r*c - x - 1 = 0, -2*c - 5*x = -0*c + 5 for c.
0
Let p(f) = -f**3 + 6*f**2 + 2*f - 10. Let u be p(7). Let v = 52 + u. Let c = 1 - -2. Solve c = w + i, -4*w + 4*i = 3*i - v for w.
2
Let a = 0 - 0. Suppose -23 + 77 = 2*q. Let w = 30 - q. Solve a*v - 21 = 3*v - 2*b, -v = -w*b + 14 for v.
-5
Let h be (-13)/((-52)/24) + 7. Solve 0*k = -5*v - 2*k + 11, h = v + 4*k for v.
1
Let a = 31 + -28. Solve a*t + 3*v = -t - 29, 3*v + 9 = 0 for t.
-5
Suppose 5*w - 4 = 6. Let n be w - 0 - 0/(-5). Let x be n/(-10) + (-42)/(-10). Solve -3*g + 7 = i, -i + 9 + 2 = x*g for i.
-5
Suppose -s + 16 - 19 = 5*w, -3*s = w - 33. Solve 4*o = 2*b - s, -o - 2 = 3 for b.
-4
Suppose -3*b = -3 - 6. Suppose 2*o - 25 = -b*o. Let u be ((-33)/(-15))/1 - (126/30 + -4). Solve 2*k + 3*k + u*m = -3, 0 = -k + m + o for k.
1
Let c(h) = -3 + 9 - 4 + h + 10. Let k be c(-9). Let b be (k/(-2))/(3/(-6)). Solve 5*p - 6 = -t, p + 7 = 5*t + b*p for t.
1
Let r = -1791 - -1037. Let x = -529 - r. Suppose 0 = 6*t - t - x. Solve 4*j = 5*l + 5, -t = 4*l + 3*j + 2*j for l.
-5
Suppose 40 = 4*v - 4*c, c - 25 = -3*v - v. Suppose n + 5*s + 2 - v = 0, 0 = -3*n - 4*s - 7. Let w = n - -7. Solve 2 = -m, w*r + 2 = -5*m - 8 for r.
0
Let v be (-4)/(-2)*5/1 - 4. Solve 9*u + 2*c - 15 = v*u, c = u for u.
3
Suppose 164 = 5*x + 24. Suppose w - 2*i = 3*w - 18, 2*w + 4*i = x. Solve 4*k + 2 = l, -3*k + w*l = -4 + 12 for k.
0
Let y(z) = -3*z**3 - 1. Let t be y(-1). Suppose -t*c - 3 + 9 = 0. Solve -6*q - 26 = -q + c*k, 0 = -2*q - 3*k - 14 for q.
-4
Let q(f) = 17*f + 121. Let n be q(-7). Solve -l - n + 4 = 5*m, 4*l = 3*m + 8 for m.
0
Let d(t) = 2*t + 43. Let r be d(-14). Suppose 5*u - 24 = 16. Solve 3*j = -3*w - r, -3*j = j + w + u for j.
-1
Suppose 12*t - 8*t = 16. Suppose 0 = t*s - 5*s - 4*l - 1, -37 = -5*s + l. Solve j - 2*g - g - s = 0, 0 = -4*j + 2*g - 12 for j.
-5
Let b = 8 + -5. Suppose 2*x = 3*h + 21, 2*x = -x - 3*h - 6. Suppose -f = -o - 6, -3*f - 2*o + x*o = -12. Solve f*m + 23 = -4*t, 6*m - b*m = 4*t - 7 for m.
-5
Let a(j) = 2 - j**2 - 7*j - 1 + 16*j. Let f be a(6). Suppose -1 = 3*v - f. Solve y - 2*n = -0*n - 3, -2*y + n = v for y.
-3
Let q = 5 + -15. Suppose 10 = -3*s + 1. Let r be ((-48)/(-16))/(s/q). Solve -2*o - r = -2*h, -o + 3*o = 5*h - 25 for o.
0
Let i be (1 - 8/5)/(174/(-870)). Solve -13 = -3*s + 5*o, -i*s - 2*o - 19 = 3 for s.
-4
Let k be (-6 - -2) + 4 + 0 + 5. Suppose -k*m = -9*m. Suppose 5*q - 10 = 4*q. Solve -3*t - f = -m*f + q, 2*f = t + 15 for t.
-5
Let l = 1 + -1. Suppose 9*a - a = l. Solve a = z + t - 1, -z - t + 3 = -2*z for z.
-1
Suppose -4*f - 20 = 0, 5*f + 11 = -5*y - 4. Suppose -5*z = 4*n - 26, 2*n = -y*z - 1 + 13. Solve -z*q - 7 = -h - 6*q, -19 = -5*h - 4*q for h.
3
Let l = 1637 + -1634. Solve -12 = v + 2*j + 3, l*j = -3*v - 30 for v.
-5
Let j be (-3)/(60/88)*(-5)/2. Suppose v + 2*v = -5*q + j, 5*q - 23 = v. Let h = -79 + 115. Solve 0 = 2*p - d + 3, 3*p + h = -p - q*d for p.
-4
Let f(g) = 314*g - 53 - 312*g + 14. Let m be f(22). Solve -3*b - 33 = m*c - 12, 8 = -4*c + 2*b for c.
-3
Let g(h) = -5*h - h**2 + 2 + 6 - 18 + 4. Suppose 3*y = 2*y - 2*s - 9, -3*y + s = 6. Let u be g(y). Solve 3*w + u*w - 1 = -k, 0 = 2*k - w + 12 for k.
-5
Let t = 35 + -95. Let f be (-264)/t + (-6)/(-10). Solve 0 = o - 2*k + 1, 4*o + 3*k - 13 = f for o.
3
Suppose 3*j + 2*x - 2 - 71 = 0, j - 27 = 2*x. Solve -4*f + 45 = -5*m, 9*m + j = 4*m for f.
5
Suppose -2 = o, 5*f - 3*o - 4 = 2. Solve f = 4*g + 5*j + 20, 2*g + j + 13 = 3 for g.
-5
Let f be -2 + 354/(-5 - -3). Let t = f + 279. Suppose -6*u + u + t = 0. Solve 5*k + u = 0, -4*p + 2*k + 34 = 6 for p.
5
Let d(g) = g**3 - 2*g**2 + g + 2. Let o = -23 + 25. Let v be d(o). Solve -3*c + c + 6 = -2*k, k = -v*c + 12 for c.
3
Let l(x) = x**3 - x**2. Let f be l(2). Suppose -t - 2*r + 6 = -r, -f*t = -4*r + 16. Let b be t*-1 - (-84)/12. Solve 2*h - 2*c = 5*h - b, 4*c = 0 for h.
2
Let c = -3 + -8. Let z = c + 16. Suppose -z + 14 = s. Solve 3*i = s, -4*q + 7*q = -i - 12 for q.
-5
Let i(j) = 2*j + 5 - 3 - 1 + 5. Let f be i(-2). Solve 14 = 3*r - 2*v, -6*r + f*r = 4*v - 12 for r.
4
Let w(i) = -51*i + 75. Let t be w(-3). Let u = 239 - t. Let y = 0 + 4. Solve 2*o + b = -2, y*o + 3*b + u = 3*o for o.
1
Let j(x) = 2 - 4 - 5*x**3 + 6 - 3. Let v be j(-1). Let d(s) = -s + 10. Let h be d(v). Solve -15 = 5*f - h*i, 0*i - i = 2*f + 6 for f.
-3
Let y be ((-21)/7)/((-12)/8). Solve y*d - 15 = -5*u, 5*d + 18 = -7 for u.
5
Let o(d) = d**2 + 15*d + 28. Let q be o(-13). Solve 6*b + 4*i - 12 = q*b, -2*b - 1 = -5*i for b.
2
Let k(j) = j**3 + 3*j**2 + j. Let f be k(-2). Solve -n = -3*l + 6, -f*n = -4*n + l - 7 for n.
-3
Let i be (-2)/(-3 - 61/(-21)). Suppose i*h + 175 = 26*h. Let k = h + -32. Solve k*u - 5*v = -12, 0 = 3*v - 3 - 6 for u.
1
Suppose 0 = -4*i + 126 - 38. Suppose i - 7 = 3*w. Solve 0 = -2*l + w*z - 4 - 5, -3*l - 3 = 3*z for l.
-2
Let j(b) = -3*b**2 - 125*b + 55. Let i be j(-42). Solve -x - i = -4*v, -3*v = -3*x - 5 - 7 for x.
-1
Let t = -15 - -20. Suppose -49 = -3*h + 2*m, 0*h + 23 = h - 2*m. Solve 0*n = t*b - 2*n - h, 2*n = -b - 7 for b.
1
Let j(w) = 9*w**3 - w**2 - 9*w + 8. Let z be j(1). Solve -5*c - 2*t - 23 = 0, 2*t - 15 = 4*c + z*t for c.
-5
Let l(c) = -c**3 - 7*c**2 - 8*c - 10. Let q be l(-6). Suppose -3*r = -q*b - 25, -25 = 2*b + 3*b. Solve 3*o - 13 = r*z + 2, -o = 0 for z.
-3
Suppose -37 - 158 = -39*b. Solve 2*q - 5*k = b*q - 24, 2*k - 15 = -3*q for q.
3
Suppose 16*v - 3 = 29. Solve 0 = -3*t + 3*p - 18, 3*t - v*p = -5*p + 12 for t.
-1
Let h(c) = c**2 + 6 - c + 0*c**2 - 6. Let y be h(2). Suppose 2*n - 3*n + y = 0. Solve 2 = -4*a - 5*k, 5*a + n*k + 23 = 6*k for a.
-3
Suppose -2*x = -5 + 1. Let w = 257 - 252. Suppose w*v - 109 = -x*k + 27, 0 = v + 2*k - 32. Solve -v = 3*r + 3*y - 11, -y - 1 = -r for r.
-2
Suppose -m = 2*c - 7, 4*m - 25 = -5*c - m. Solve -5*x + j = -27, 6*x - 26 = c*x + 3*j for x.
5
Let c(b) = 7*b - 1. Let m be c(7). Suppose -2*p - p + m = 0. Let d be (5/4)/(25/40). Solve 3*w + 5*o = p, -5*w + w - d*o = 2 for w.
-3
Let d(g) = g + 7. Let w be d(-7). Let f be w + 6 - (3 + -2). Suppose -8*b + 7 + 9 = 0. Solve 5*i - 16 = b*t, -f*i - 5*t + 4 = -3*t for i.
2
Let d(o) = -o + 3. Let z be 6/9 - 20/(-6). Let f be d(z). Let n be 1 + (1 - (-1 + f)). Solve q = n*r - 16, -r = -5*q + 1 + 14 for r.
5
Suppose -2*c - 4 - 32 = 0