-4*l + 1 + 3, l = -5*w + 1 for w.
0
Let y(o) = -6*o - 4. Let a be y(-5). Suppose a*d = 30*d - 16. Suppose -d = -5*k + 21. Solve 4*t - 4*n = 2*t, -3*t - 22 = k*n for t.
-4
Suppose -6 + 16 = 5*u. Suppose 4*i = 0, -4*i - 4 = -3*a + 8. Let t be (-3 - a/(-2))*0. Solve -2*x + b + 8 = 0, t*b = -u*x - 3*b - 8 for x.
2
Let w(v) = -v**3 - 39*v**2 - 12*v - 466. Let j be w(-39). Solve -2*c = -m - 3, 2*c + 27 = -3*m - j*m for c.
-1
Suppose -4*h + 6*h - 2*v = 22, -h - 3*v + 19 = 0. Solve -3*u - 13 = 4*f, h*u = 10*u - 5*f - 14 for u.
-3
Let v(x) = 2*x**2 - 8*x**2 - 2*x**3 + 6 + 1 - 1 - 1. Let q be v(-3). Let c(f) = -f**2 - 3*f + 2. Let k be c(-2). Solve l + k = 0, -q*a - l - 24 = -0*l for a.
-4
Suppose 0 = -3*a - 51. Let q = 23 + a. Let j = -1224 - -1236. Solve o = 2*b + q, 4*b = 2*o + 3*o - j for b.
-3
Let x = -450 + 885. Suppose -15*o = -x + 135. Solve -5*u = 15, 5*y - 2*u - 3*u - o = 0 for y.
1
Let c = -4821 + 4826. Solve 10*q = 8*q + h + c, 0 = 5*q - 4*h - 11 for q.
3
Let m(h) be the first derivative of -h**4/4 - h**3 + 2*h**2 + 16*h - 215. Let u be m(-3). Solve 0 = 5*d - 5, -u*d + d + 3 = 4*j for j.
0
Suppose -4*g + 4 = -2*r + 6*r, -3*g + 38 = -4*r. Solve 3*o = -g, 3*f + 5*o = 6*o - 10 for f.
-4
Suppose 210*f = 203*f + 126. Suppose -15 - f = -11*s. Solve -3*q + 2*q + 7 = 2*w, s*w + 5*q = 14 for w.
3
Suppose -10 = -3*t - 4*x + 6, -5*t = 8*x - 32. Solve -5*i + 20 = -s, -3*i + t - 6 = 3*s for s.
-5
Suppose 0 = 90*b - 1135 - 665. Solve 16*s - b*s = -d - 28, 0 = -4*s + 32 for d.
4
Let c be 120/40 - (1 - (1 - 0)). Suppose 5*w - 9*w - 732 = 0. Let i = 188 + w. Solve c*u + 0*u = 3*j + 12, -i*j = -3*u + 20 for u.
0
Let t = -40 + 37. Let q be -1*2*((-369)/6)/t. Let r = 51 + q. Solve -3*d - 2*p - r = 2*d, 4*p - 20 = 0 for d.
-4
Let c be (-5)/(-10)*(2 + 1 + -3). Suppose 85*y - 93*y + 128 = c. Solve -4*u = -2*o - y, -4*o - 3 - 1 = -u for o.
0
Let a(x) = x + 9. Let z be a(-11). Let n be (24/(-14) - z)/((-3)/(-21)). Solve -2*p + 0*p = -n, -4*s - 4 = -4*p for s.
0
Let w(z) = z**3 - 4*z**2 - 75*z - 8. Let i be w(11). Solve 0 = -9*f + 13*f + m + i, -f - 7 = 2*m for f.
-3
Suppose -11 = -4*c - f, -3*c - 757*f + 759*f = 0. Solve -5*a = 10, -2*a + 16 - 10 = c*n for n.
5
Let a = 111 + -107. Let m be (-1)/((8/(-1860))/2). Let i be m/165 - 2/(-11). Solve -p - i*y = -y - 1, -a*y - 3 = p for p.
5
Let d = 11 - 7. Let m be 5 + ((-27)/(-3) - d). Suppose -19*k + 99 = -m*k. Solve 5*i - 3*y - k = -4*y, -5 = -5*y for i.
2
Let n be -7 + 18 + 2 - 5. Solve 3*s - n = 3*j + 2*s, -8 = 2*s for j.
-4
Suppose -13*v = -8*v. Let q be 20 - v*3/12. Suppose -5*u = y - 15, -2*y = -0*y + 5*u - q. Solve -3*x - 2*x - 40 = -y*c, -3*c - x = -4 for c.
3
Suppose 64 = r + 4*x, 0*r - 298 = -5*r + 2*x. Suppose -664 = 65*f - 82*f + 322. Let n = r - f. Solve n*c - 2*g - 12 = 0, g + 4*g + 18 = -c for c.
2
Let o = 14387 - 14380. Solve 0 = -5*w - s - 5, 0 = 2*w - o*s + 5*s + 2 for w.
-1
Let i(q) = -81*q + 495. Let v be i(6). Let d be (-12)/54 + 60/27. Suppose -d*s = -9*s. Solve s*p - 3 = -3*c + 4*p, c - 4*p - v = 0 for c.
-3
Let u = 20724 + -20721. Solve 197 - 207 = -c + 2*a, 3*c - u*a - 15 = 0 for c.
0
Suppose 0 = 36*u - 8631 - 28089. Suppose -15*o - u = -66*o. Solve o = -5*k + 2*y, 10 = 2*y - 0 for k.
-2
Let v(u) = 28*u + 314. Let s be v(-11). Let l be (-1520)/228*s/(-4). Solve 6*b - l = 3*w + 2*b, 13 = -4*w + 5*b for w.
-2
Let v(p) = p - 3. Let b be v(6). Suppose 0 = -5*d + b*d. Let o(u) = -121*u + 1230. Let l be o(10). Solve -l = 5*s, 4*n + 2*s + 24 = -d*s for n.
-4
Let i(f) be the second derivative of f**5/10 - f**4/6 - f**3/3 - f**2/2 - 35*f. Let b be i(2). Solve b*l - 2*r - r + 9 = 0, -8 = -4*r for l.
-1
Let h(a) = 3*a - 5 + 5. Let m be h(6). Suppose 55*r - 56*r = 2*s + 5, -5*s - 20 = -5*r. Solve 2*v - m = -4*u, u - 3 = r for v.
1
Let o(d) = 2*d**2 - 1. Let y(a) = 7*a**2 - 20*a - 25. Let u(v) = 4*o(v) - y(v). Let b be u(-19). Solve z - 6 = 4*w, -b*z - 3*w = -4*w - 5 for z.
2
Let n be 2/2 - 2 - (-120 - -95). Solve -2*l - 8 - 23 = -5*z, -3*l - n = -3*z for z.
5
Let z = -1594 - -1601. Solve 5*c - 3*q = -30, z*q - 12*q + 24 = -4*c for c.
-6
Let j(x) be the second derivative of -x**5/20 + 3*x**4/4 - 7*x**3/6 - 4*x**2 + 37*x + 1. Let h be j(8). Solve s - 2*d = -4, -2*s + d + 3 + 1 = h for s.
4
Suppose 28 = 4*w + 13*y - 12*y, 5*y = 5*w - 35. Solve -3*f - 15 + w = -4*t, -4*t - 16 = 3*f for t.
-1
Let d be 4/10 + 2/(-5). Suppose -126 = -4*l - 2*c, 0 = -d*l - 2*l - 5*c + 67. Let o = 96288 - 96263. Solve -3*g = -4*m + l, 3*m - 5*g - o = 12 for m.
4
Let v(y) = 338*y - 1012. Let h be v(3). Solve 4*k + h*l + 30 = 0, 45 = -5*k - 5*l + l for k.
-5
Let i be (-15)/(-4) - 18/24. Let p be 4/(((-2)/i)/(1/(-3))). Suppose 4*n = o + 19, 2*n + 0*n - 14 = p*o. Solve -n*r + 22 = -2*b, b - r + 4 = -4 for b.
-5
Suppose -36*m - 118 = -143 - 335. Solve -2*y - 2*h = -8, 3*h - 3 = -4*y + m for y.
1
Suppose -3*m - 571 = 13*c - 18*c, 390 = -2*m + c. Let r = m - -200. Solve -r*w + 10 = -3*g - 4*w, 2*g = -w - 6 for g.
-4
Let r = -11 - -34. Suppose -r + 2 = 5*z - 3*g, -g - 3 = 0. Let f be (3/z + 1)*10. Solve f*o + t - 32 + 3 = 0, 0 = 3*o + 5*t - 35 for o.
5
Suppose -4*j - j = 5*u - 15, -6 = -2*u - 3*j. Let a = 5 - -10. Suppose -x - a = 5*h, -2*x + 0*x - 10 = 5*h. Solve x*y + 5*v + 5 = 45, -u*y + 12 = -v for y.
5
Suppose 42*c = 56*c + 938. Let v = 69 + c. Solve 12 = -2*o - v*o, 2*o + 6 = -3*h for h.
0
Let x = -38 - -38. Suppose x = 4*y - 4 - 8. Let b be y*1/(-2) - 22/(-4). Solve 2*k + 15 = 4*h - 13, -b*h + 4 = 4*k for h.
5
Suppose -2*d - 72 = -4*v, 0*v + 3*d = 2*v - 36. Let u = -17 + 22. Suppose -5*t = 5*i - 170, 0*i + 2*i - 128 = -4*t. Solve -u*p = -2 - v, -2*y - 5*p = -t for y.
5
Let w(s) = -s**2 + 9*s + 6. Let b be w(10). Let a be 4 + ((-3)/12 - 9/b). Suppose -2*g + 4 = -a. Solve 29 = l + g*t, 5*t + 2 = 3*l + 15 for l.
4
Suppose 4*o - 3*j - 3 = -28, -5*o + 3*j = 35. Let r be 816/o + (-22)/55. Let t = r + 86. Solve t = -4*k + 2*d, 3*d - 5*d = 0 for k.
-1
Suppose 2*w = 42 + 22 - 14. Suppose -4*h + 0*h - 20 = 0, -2*h = -5*k + 60. Solve 2*q = 3*r - 4*r + k, 3*r = 5*q - w for q.
5
Suppose -6 = -12*a + 30. Suppose -4*m = -4*s + m + 35, 11 = 4*s + a*m. Solve -1 - 40 = -s*l + 4*y, 3*l + 4*y + 1 = 0 for l.
5
Suppose 0 = 3353*o - 3349*o - 128. Solve d = -5*m - o + 43, -6 = -3*m for d.
1
Let y = -7 + 10. Suppose 0 = a, 5*a - 5 - 3 = -4*n. Let z(s) = 3*s - 26. Let w be z(12). Solve -6 = 3*i + y*k - 0*k, n*i - k = -w for i.
-4
Let u(a) = -2*a - 43. Let g be (-346)/16 - 3/8. Let x be u(g). Let z be ((24 + -4)/5)/x. Solve 5*j + 9 = z*t + 26, 0 = -5*j + t + 8 for j.
1
Let g(b) be the third derivative of b**5/20 + 7*b**4/12 - 5*b**3/3 + 2*b**2. Let a = 56 + -62. Let w be g(a). Solve -4*c = 2*x + 16, c = 4*x + 3*c + w for x.
-2
Suppose -471*m + 232*m = -228*m - 165. Solve d + 5 = p, 182*p = 187*p + 5*d - m for p.
4
Suppose 3*z - 2*i + 10 = z, 0 = 4*i - 28. Solve -v + 4 = -2*h, 38*h = 2*v + 39*h + z for v.
0
Suppose -3*x - 4*m = -28, -16*x + 19*x + m = 7. Solve 0 = -3*r - 5*v - 4, 5*r - v + x + 16 = 0 for r.
-3
Let k be (5736/9)/8 + (-2)/3. Suppose 5*n = 72 - 457. Let x = n + k. Solve -q + 17 = -4*d, 2*q + 2 = x*d + 12 for q.
1
Let s(x) = x**3 + 26*x**2 + 49*x + 21. Let k be s(-24). Let j be (-33 - k)*(-11)/66. Solve -4*w - 24 - 21 = j*m, 4*m = -5*w - 45 for m.
-5
Let h = 3370 - 3366. Let z be (3 + -5)/(2/(-20)). Solve 5*b + i = 25, h*b - 2*i - z = 2*i for b.
5
Suppose h = 2*w + 18, 363*h + 2*w + 26 = 366*h. Solve -8 = z - 2*z + 3*i, h*i + 24 = -2*z for z.
-4
Let k = -76 - -105. Let x = -25 + k. Solve -5*u + 4*g = -6 + 1, x*u + 32 = -4*g for u.
-3
Let o(c) = c**3 - 8*c**2 + 9*c - 8. Let b be o(7). Let v = -1317 + 1319. Solve -15 = v*t - 5*f, 5*f = 4*t - b*t - 5 for t.
-5
Let x = 69 - 67. Let q be 0/((-1)/(-2)*x). Let p(n) = -n**2 - 2*n + 5. Let r be p(q). Solve 2*j - r = 5*s + 3, -16 = -4*j + 3*s for j.
4
Let a(j) = -2*j**3 + 10*j**2 + 2. Let w = 129 - 124. Let t be a(w). Solve 0 = -v - 2*s + 13, 3*s - 40 = -5*v - t*s for v.
3
Let x(d) = -d**2 + 2*d + 28. Let b be x(6). Suppose -8 = b*p, -3*u = -u + 2*p. Solve 20 = -5*o - u*l, -2*o - 13 = 2*o + l for o.
-2
Suppose -63*i - 46 = 306*i - 52813. Solve 148*d - i*d + 15 = 2*x, -4*d = -2*x + 10 for x.
-5
Suppose -5*j + 2*j = -6. Let v be 2/(-4)*(j + -8). Suppose 7*g = -v*g + 20. Solve -m = 4*m - z - 12, -5*m = g*z -