+ l*u for s.
4
Let b = -3 - -4. Suppose -5*f + 5 = 3*z + 23, -5*z = 2*f + 11. Let i be f + 5 + 2 + b. Solve x - 11 = 4*x - 4*l, i*l - 15 = 5*x for x.
-1
Let p be -2 + 5 - (1 + 0)*-3. Suppose -x + p*x - 15 = 0. Let c be 3/(-2)*12/(-9). Solve -a + m + 8 = -c*a, 0 = -x*a + m - 8 for a.
-4
Let l = 47 - 39. Suppose -17 - l = -5*v. Solve -5*d - 3*m + 11 = 0, -d + 5*d = v*m - 6 for d.
1
Suppose -36*y = -6*y - 720. Solve -v + w - 6*w = -y, -4*w + 21 = -v for v.
-1
Let g(c) = -c**3 - 10*c**2 - 10*c + 7. Let v = -19 + 19. Suppose -y + 2*y + 9 = v. Let j be g(y). Solve -w + 22 = 4*u, 3*u - 5*u - 3*w + j = 0 for u.
5
Let b(s) be the third derivative of -s**6/120 - 17*s**5/60 + s**4/12 + 6*s**3 + s**2. Let h be b(-17). Solve v = -j + 5, -v + h*j = 10 - 3 for v.
1
Suppose -3*h - 2*w + 9 = -2*h, 2*w + 16 = 4*h. Solve -5*l = -5*d - 10, -d - 10 = -h*l - 0*l for l.
2
Suppose 0 = b - 3*b - 18. Let u = b + 13. Suppose -3*j = 4*t - 16, 4*j - 14 - 2 = -u*t. Solve t*v + 2*m - 22 = 0, -5*v + 2*m = -0*m - 5 for v.
3
Let z = -313 - -170. Let m = -140 - z. Solve -5*v = 4*d - 7*d + 8, 8 = -5*d + m*v for d.
-4
Suppose -2*f - 2*z = -z - 2, 4*f - z = 16. Solve 0 = 5*c, -3*w + 2*c - f = -2*w for w.
-3
Let m = -2217 - -2228. Solve f = 3*c + 9, -4*c = -f + 2 + m for c.
-4
Suppose 3*y = -4*k + 29, 10*y - 9*y = -3*k + 18. Solve -2*a - 3*a + 3*q - 16 = 0, -k*a - 5*q - 40 = 0 for a.
-5
Let b = -40 + 43. Let f be 70/3*(-1 - -4). Suppose -5*z + f = 2*h, 3*z + z - 63 = -b*h. Solve 2*p + z = -0*p + q, 5*p = -q - 23 for p.
-5
Let u be (-25)/(-5) + (0 - 1). Suppose -k + 3*k = 14. Suppose -3*s + 1 = -5. Solve u*t = s*r - 24, 23 = 4*r + k for t.
-4
Let j = 7 + -3. Suppose 0 = -4*s + 2 - 14. Let r be ((-2)/s)/((-21)/(-9) - 2). Solve k - r*b = -k - j, b = -3*k - 18 for k.
-5
Let n be 33*(-2 - 42/(-18)). Solve 3*q + 5*x - n = 4*x, -x - 13 = -3*q for q.
4
Suppose 4*b + 63 = 7*b. Suppose 5*l - b = 74. Let h = l - 10. Solve h*v - 4*v - 5*n = 0, 2*v - 4 = 4*n for v.
-2
Suppose c - 12 = -2*c. Let v(j) = -5 + j + 6*j - 3*j. Let s be v(c). Solve 2*i - 5*b = s, 0*i - 2*b - 4 = -i for i.
-2
Let u(g) = 26*g + 56. Let w be u(-2). Solve 0 = 5*a - s + 29, s + 6 = -w*a - 10 for a.
-5
Let o = -21 + -9. Let r be 3/5 + (-282)/o. Suppose -d = -3*d + r. Solve -d*y = -3*x - x + 16, -4 = -x - y for x.
4
Suppose -2*c = 3*v - 23, 25*c + 19 = 3*v + 26*c. Solve 0 = g + v*o - 13, 0 = -g + 6*o - o - 7 for g.
3
Let i(o) = 3*o - 3. Let t be i(3). Solve -y - t*h + h = -9, -h + 5 = -3*y for y.
-1
Let a(q) = q**2 - 20*q - 18. Let i be a(21). Solve 4*v = -2*o + 6, v - 6 = o + i for v.
4
Let k = 0 + 3. Suppose 0 = -l - 1 - 3, 0 = -m + k*l + 41. Let p = -19 + m. Solve 2*r = p, t + 4*t - 3*r = -10 for t.
1
Let v(x) = -x + 35 - 1 - 18*x**2 + 17*x**2. Let l be v(-6). Solve 2*a - 4*y = l, 2*a + 2*y - 18 = -2*a for a.
4
Suppose 5*b + o + 6 = 2*b, 17 = -5*b - 4*o. Let m be b + -1 + 3 - -11. Let n = m - 12. Solve n = 4*g - 12, 4*q + g = -g - 6 for q.
-3
Let o(b) = 10*b. Let i be o(1). Let l = i + -6. Suppose -2*j = -r - 5, l*r - 3 = -7. Solve -u = u - j*d - 6, 2*u - 1 = d for u.
-2
Let d(t) = 1 - 2 + 15 - t - 5*t. Suppose 3*l + 2 + 12 = -2*f, 3*l + 22 = 2*f. Let p be d(l). Solve -4*u = 4*x, x - p = 6*x - 5*u for x.
-5
Let y be 3/(-4) - (22/(-8) + -1). Solve -3*u - 2 = i, -2*u + y*u + 2*i - 1 = 0 for u.
-1
Let o = -606 - -622. Solve 2*m + q = 3*q - o, -4 = -m - 3*q for m.
-5
Suppose 0 = 2*q - y, 3*q = q - 3*y. Let i = 29 + -30. Let s be (q + i + 1)/(-2). Solve s = 3*j + l - 14, 5*l + 6 = -3*j + 28 for j.
4
Let g = -218 + 222. Solve -5*v - n - 23 = 0, -3 = g*v - 4*n + 1 for v.
-4
Suppose -32*g + 31*g = 2*t - 3, -10 = 2*g. Solve -t*q = 5*f + 5, -f + 12 = -3*q + 32 for q.
5
Suppose -10 = -2*n + 6. Suppose l + 43 = -5*v, -60 + 266 = -4*l - 3*v. Let x = l + 62. Solve -g - n*i - 15 = -3*i, 0 = -3*i - x for g.
0
Let r(l) = -6*l - 48. Let f be r(-8). Suppose f*n = 4*n + n. Solve -k = -2*z - 12, -3*k = -n*z + z - 1 for k.
2
Suppose -18*l - 21 = -25*l. Solve l*x = 2*f - 2, -f + 5*x - 4*x = -2 for f.
4
Suppose -49*i = 9*i. Solve 0 = 3*s - 3, i*a + 3*s + 22 = 5*a for a.
5
Let f be -1 - (3 - 7)*1. Suppose 3*x = -f*y + y + 13, 17 = 3*y + 2*x. Solve -c - 4*c + y*p = -30, c - 2*p - 7 = 0 for c.
5
Let t be -3*2/5*(-70)/21. Solve t*z - 3*q + 7*q = 0, q = -1 for z.
1
Let j be -1 + -2 + 6 + 1. Let x be (-20)/(2*j/(-16)). Suppose -5*u = 15 - x. Solve 2*z + 0 = -2*o - 6, 3*z - u*o + 17 = 0 for z.
-4
Suppose -5*p - 17 = -3*m, -4 = 5*p - p. Let o(a) = a - 3. Let d be o(m). Let l be (d - 1) + 3 - 1. Solve 5*f + 4*b = -22, -6*b - 12 = -l*b for f.
-2
Suppose 2*o + 2 = 0, -5*z - 4*o = -11 - 5. Solve -z*l + 14 = f, 3*l + 0*l - 10 = -f for f.
-2
Let q(c) = -c**3 - 4*c**2 - 8. Let x be q(-5). Suppose -3*f = -a - x, a = -1 - 1. Let n = -53 + 56. Solve 0*z - f = n*z - 4*h, 4*h - 12 = -4*z for z.
1
Suppose 6*i + 11 + 25 = 0. Let g be (0 + 4 + 39/(-9))*i. Solve 4*n - 7 = n - 5*y, g*n = y + 9 for n.
4
Let t be (-5 + (6 - 4))*-1. Let v be 5 + (t - (-18)/(-3)). Solve 9 = -g + 4*o + 4, -v*o + 15 = -3*g for g.
-5
Suppose 0 = -2*f + 5 + 9. Suppose -f*u + 4*u = 2*u. Solve u = -4*w + 3*w + 3, 3*z - 5*w + 12 = 0 for z.
1
Let l = -27 + 56. Suppose -25*h = -l*h + 16. Solve -h*b + 5*t = -0*t + 13, 5*b - 3*t = 0 for b.
3
Let p be ((-4)/(-2))/((-4)/(-14)). Let h(q) = 18*q + 4. Let z be h(3). Let x = 62 - z. Solve p = -x*c + 2*w - 5, 0 = -5*c + 2*w - 16 for c.
-4
Suppose 2*n - 4 = 2*u, -u + 16 = -n + 6*n. Solve o = 0, n*g - 4*o + 15 = -o for g.
-5
Suppose -2*x = -3*p - 0*p + 6, -5*x = 0. Solve -d - 4*l + 6*l = -p, -4*d = -5*l - 2 for d.
-2
Let x(g) = g**3 + 22*g**2 + 20*g - 18. Let o be x(-21). Solve -7*y = -o*y - 5*f - 41, 4*f = y - 24 for y.
4
Let x(z) = -z**2 + 20*z - 47. Let d be x(17). Solve -11 - 20 = 4*c - 3*h, 0 = -d*c + 2*h - 26 for c.
-4
Suppose 0 = 2*h + o + 4*o - 6, -4*o = 0. Solve -f - 9 = 3*x, -4*f + 28 = -x - h*x for x.
-4
Let h = 83 + -83. Solve 4*t = -2*w - 2, h = 2*w - 0*t - t + 7 for w.
-3
Let t = -23 - -25. Suppose t*r + 7 = -1. Let m(h) = -h**3 - 4*h**2 + h + 9. Let b be m(r). Solve -13 = 5*v + 4*n, 4*v + 5*n + b = -0 for v.
-5
Let d = -7 + 18. Let s = d - 8. Suppose s*l + 7 = 22. Solve 2 + 2 = -2*m - u, -3*m - 13 = l*u for m.
-1
Let d = -21 + 15. Let u be (-2)/(-10)*-2 + d/(-15). Solve i = m, -4*m + u*m = 5*i for m.
0
Suppose -3*s + 4*h - 14 = 0, 2*s - 3*h + 9 = -s. Suppose s = 3*c - c. Solve -3*t - 12 = 5*q, -t = 5*q + 5 - c for t.
-4
Let m(i) = 5*i**2 + i + 1. Let a be m(-1). Let o = 37 + -43. Let u be (-9)/o*(0 + 2). Solve -3 = -u*y, -a*y - 1 = -2*s + 4 for s.
5
Let h = -22 + 25. Let b be h/1 - 0 - 3. Solve -7 = 8*z - 4*z - f, b = z - 2*f for z.
-2
Suppose 7 = -2*r - 5. Let g be 17/r - (-7)/(-42). Let q be 0/((12/g)/4). Solve -t = -5*i - 21, -2*i - 2*t - 2*t - 26 = q for i.
-5
Let y(c) = -4*c**3 - 60*c**2 + c + 21. Let w be y(-15). Solve 4*b + a + 4 = 0, -5*b - 16 = -w*b + 4*a for b.
0
Let c = -46 + 52. Solve -3*k = 4*l - c, -5*l + 0*k = -k - 17 for l.
3
Suppose 2*s - 5*y - 16 = 0, -y + 3*y = -5*s + 11. Solve -2*h = 3*c, s*h - 6 = c - 17 for c.
2
Let b = -4 + 2. Let a = b + 6. Solve r = -3*g + 17, 0 = -4*g - a*r + 2*r + 24 for g.
5
Let u = 8 - 8. Suppose 4*i - 4*z - 32 = 0, -i + 8*z - 3*z - 8 = u. Solve -4*n - i = h - 1, 2*h = 2*n + 18 for n.
-4
Let a(f) = f**3 - 25*f**2 + 23*f + 28. Let n be a(24). Solve -3*o + h + 4 = 2*h, 0 = -h + n for o.
0
Let n = 426 - 414. Solve 0 = u - 2*j + n, 4*u + 6 = 3*j - 17 for u.
-2
Let f be -10 + -1 - 0/(-2). Let t = f + 28. Suppose 0 = -4*q - r + 22, -4*q - 3 + t = -3*r. Solve -b + 2*h = h + q, 8 = 2*h for b.
-1
Let c(v) = v**3 - 2*v**2 + v - 7. Let f be c(3). Let z = 12 - 18. Let t be (-20)/z*(-6)/(-60)*12. Solve -f*n - 3*p + 8*p = 10, -p = t*n + 13 for n.
-3
Let p = 72 + -26. Let q = -31 + p. Let l = q + -10. Solve 5*o + 2*c = 7*c, 2*c = l*o + 9 for o.
-3
Let m(h) = h - 8. Let g be m(11). Suppose -g*w + 5*b = 6, -2*w + 4*b - 27 = -7*w. Solve -2*x + 0*t = -5*t + 6, 8 = x + w*t for x.
2
Let l be (-453)/(-4) - (-15)/20. Suppose 5*f - l = -f. Solve -t + 5*t + 11 = 5*b, -5*b = 4*t - f for b.
3
Let p be (-19 - -7)/((-14)/21). Solve n = -3*s + p, 5*n - 2*n + 11 = 4*s for s.
5
Suppose -4*o + 4*l = -5*o + 3, -4*o + 5*l = 9. Let m(s) = -6*s**3 - 1. Let f be m(o). Solve 0 = i + v + 2*v - 12, -20 = -2*i - f*v for i.
0
Let i(p) = 