e 5*a - 15 = -2*v + 2*a, -p*v + 2*a = -3 for v.
3
Let s be (((-525)/(-77) - 2) + -5)*-33. Solve -2*l + 17 = n - s*n, -3*n + l - 11 = 0 for n.
-5
Suppose 3*k + 24 = 5*w, 0 = 4*w + k - 5*k - 24. Let r be 3/(4 + w + -6). Solve -x = 3*i - 2*x, -3*i = -r*x for i.
0
Let b = 62 + -60. Solve -2*f - 3*t = -4*t, -b*t = -8 for f.
2
Let k be 0/(5 + (2 + 0)*-2). Suppose 0 = 5*v + 4*r - 50, 2 = 2*v + 5*r - 1. Let m be (-4)/v + 32/14. Solve 5*t - 3*t = -m*l + 4, -3*t - 3 = k for l.
3
Let b = -714 - -719. Let r be (4/6)/(-1)*-3. Solve r = -3*g - 4*q, -b*g + g + 2*q = 10 for g.
-2
Suppose o - b = 4, 3*b - 4 + 24 = 5*o. Let r = 7 - o. Solve 3*h - 12 = 3*a + r, -10 = 3*a - 2*h for a.
0
Let t(l) = 7*l**2 + 1. Let c = -11 - -10. Let d be t(c). Let k(n) = n. Let o be k(d). Solve -20 = 5*b, 4*a + o + 0 = 3*b for a.
-5
Suppose 5*b = 9*b - 4*f - 68, 3*f = 2*b - 39. Solve 4*j - 15*m = -b*m - 7, j + 2*m = 1 for j.
-1
Let u(k) = k**3 - 15*k**2 + 11*k - 15. Let y be u(14). Let m = 59 + y. Solve 7 = -2*s + m*d + 17, 0 = 4*s - 2*d - 12 for s.
1
Let t be 5/(50/(-8)) + (-208)/(-10). Suppose 0 = -3*k + 3*p + 3, 4*k + 2*p - t = -2*p. Solve k*r = -5*z + 12, 6*z - 3*z - r = 10 for z.
3
Suppose 2*s + 186 = -4*s. Let o = 34 + s. Solve 6 = -0*i - 3*i + l, 3*i = o*l for i.
-3
Let j = -20 - 16. Let g be j/(-4) - (2 - -2). Solve g = 5*c + 2*w, -5*c - 4*w - w + 20 = 0 for c.
-1
Let h(n) = n**2 + 7*n + 1. Let m be h(-4). Let i(y) = y**2 + 9*y - 18. Let l be i(m). Solve 4*d = -l*x, -2*d - 21 = -2*x + 3*d for x.
3
Suppose 5*z = 2*z + 15. Suppose 0 = 2*r - r - 5. Suppose -r*n + 3*n + z*a - 5 = 0, -2*n + 25 = 5*a. Solve -4*w = -w - 12, n*c = w - 9 for c.
-1
Suppose -4*z + 55 = 43. Suppose z*b = -3*v - 0 - 3, 6 = -2*b - 3*v. Solve 2*s - 4*u = s - b, 0 = -5*s + 4*u - 15 for s.
-3
Let g be 4/18 - 2/9. Let i(r) = r + 11. Let p be i(-7). Let x = g + p. Solve -2*b - 2 = -8, 5*h - x*b + 32 = 0 for h.
-4
Let c(l) = -5*l**3 - 15*l**2 - 5*l - 2. Let v be c(-3). Solve 5*w = -r - v, -3*r - 3*w - 2 = 1 for r.
2
Suppose 5*a + 4 = 6*a. Solve 2*y + 6 = -p + 2*p, 9 = a*p - 3*y for p.
0
Let k = -11 + 15. Let n(s) = 3*s**2 - 10*s + 5. Let u be n(k). Suppose -10 + 3 = -5*p - t, -t - u = -5*p. Solve 5*d + 20 = -5*q, 0*q - 6 = p*q + 4*d for q.
-5
Let d = -236 + 238. Solve -d*p - 2*p + 4*j = 0, -4*j = -p for p.
0
Suppose 3*g - 22 - 14 = 0. Solve 4*p - i - 3 = 0, 0 = -3*p - 3*i + g + 9 for p.
2
Let s = 559 - 559. Solve 0*j - 5 = -j - 4*l, s = 5*j - 3*l - 25 for j.
5
Let n(p) = -p**3 + 2*p**2 - p - 1. Let m be n(3). Let y be (-5)/((-15)/(-12)) + -7. Let g = y - m. Solve -g*d - 6 = -0*d - 4*b, 2*d = 2*b for d.
3
Let c = -1 + 4. Let a = 2997 - 2995. Solve c*m - 4*n + 21 = -2*m, -3*m + a*n - 11 = 0 for m.
-1
Suppose 3*n = -33 - 12. Let t be 1/(57/n - -4). Solve 4*i = -t*x - 33, 0 = -x - x - 10 for i.
-2
Let c be (0 + -1)*(3 - 3). Let i be (0 + 36)*(9 + (-68)/8). Solve -r - 3*a - i = c, -r + 0*a + 3*a = -12 for r.
-3
Let v(l) = l**2 - 12*l - 26. Let w be v(12). Let y = 26 + w. Let b be (-9)/(-2) - (-2)/(-4). Solve 5*n = h - 3, h + h + b = y for n.
-1
Let r(v) = v**2 - 2*v. Let h be r(2). Suppose a - 5*a = -h*a. Solve 0 = q + 3*u + 8, a = 4*q + 2*u + 2*u for q.
4
Let p(l) = -5*l - 7. Let j be p(-4). Suppose 6 + 18 = 2*f - 4*y, -25 = 5*y. Solve -f*i = 2*q + q - j, -3 = -3*q + 3*i for q.
3
Let d = -273 - -277. Solve o - k + 2*k + d = 0, 0 = 3*k - 3 for o.
-5
Let g(s) = s - 5. Let h be g(0). Let i = h - -8. Suppose 0 = -i*c + 4 + 2. Solve 0*n + 20 = 4*w + 4*n, 0 = -c*w - n + 5 for w.
0
Suppose 33 = 2*r + 5*k, -5*r = -14*k + 10*k. Solve 4*d + r*v - 4 = 0, d + 6*v = 3*v + 9 for d.
-3
Let l(h) = -h**3 - 9*h**2 - 14*h + 4. Let s(w) = -w**3 + 10*w**2 - 3*w + 23. Let j be s(10). Let k be l(j). Solve -3*n = -6, -5*z - k = -z - 4*n for z.
1
Let u(f) = f**2 + 8*f + 12. Let k be u(-7). Suppose 15 = 4*t - k*l, 7*t - 2*t = 3*l + 9. Solve -4*r + 0 = 8, t = -p + 2*r + 4 for p.
0
Let w be -1*1*(7 + -9). Suppose j - 4*l - 49 = 0, -3*j + w*l = -0*j - 97. Suppose 0 = -4*y + j - 9. Solve 2*a - h - y = 0, 4*h + 11 = 2*a + 3 for a.
2
Let w be (0 + 1)*(2 + -24). Let j = -18 - w. Suppose 4*c - 2*t = j, 2*c - 6 = -3*c + 2*t. Solve 4*q = 3*a + 35, -c*q - 10 = -2*a - 6*q for a.
-5
Let j = 21 + -2. Let n = 24 - j. Solve 5*t + n = -3*l, -4*t = -3*l + l + 4 for l.
0
Suppose 6*x - 1086 = 3*x. Suppose 3*h - x = -86. Suppose 5*m + 3*q = 74, -4*m + q - 26 = -h. Solve 12 = -2*g - 2*w, 3*g - g + m = -3*w for g.
-2
Let n = 39 - 36. Let u be 15/6 - (-2)/(-4). Solve -2*k - n - 13 = -4*f, u*k + 4 = f for f.
4
Let k be (-8)/(-10) + 17/(255/48). Solve -2*u = -2*q + 3*q, k*u - 5*q = 14 for u.
1
Let d = 56 + -54. Suppose 2*k = 3*m - 43, 2*k = -2*m - 2*k + 2. Solve -4 = -l - d*w, -4*w + 11 = -5*l - m for l.
-2
Suppose -3*w = 2*n + 7 - 8, -2*w + 38 = -4*n. Let v(b) = b**2 + b - 39. Let k be v(n). Solve -2*f = d - 4*f - k, 4*d - 18 = 2*f for d.
5
Let d = -244 + 246. Solve 3*n + d*g = -5, -23 + 8 = -3*g for n.
-5
Let g(w) = -w**3 + 2*w**2 + 7*w + 9. Let u be g(4). Suppose 10*b = u*b + 25. Solve 0 = -5*i - 4*r + 9, -4*r = -0*i - b*i + 1 for i.
1
Let k(m) = 32*m + 556. Let v be k(-17). Solve 6*o + 2*h - 28 = o, 0 = 3*h - v for o.
4
Suppose 0 = 3*c - 3, 4*s = c - 68 + 279. Let d = 37 - s. Let a = d - -19. Solve 0 = y + v + 2, -a*v - 10 = -y - 4 for y.
0
Let b(c) be the third derivative of c**5/60 + 5*c**4/12 - 19*c**3/6 - 8*c**2 + 2. Let k be b(3). Solve 0 = 5*i - k, 16 = -3*s + 7*i - 3*i for s.
0
Let x(n) = -34*n**3 + n**2 + n. Let d be x(-1). Let g = 56 - d. Solve 2*t + 5*h - g - 2 = 0, 0 = -t + 4*h - 14 for t.
2
Let i = -1035 - -1049. Let y(v) = -15*v**2 + v**2 - v + v**3 + 0*v + 18. Let z be y(i). Solve 2*a - 2*g - z = 0, -22 = 3*a + 2*a + 3*g for a.
-2
Let u = 301 + -297. Solve 5*h - 5*n = 8 + 37, u*h = 2*n + 26 for h.
4
Let z(a) = 36*a - 248. Let f be z(7). Solve -20 = -f*y - 4*b, y - 11 = -5*b - 2 for y.
4
Suppose 0*v + 15 = -2*v + 5*t, t = -2*v + 3. Suppose 2*f + 6*f - 40 = v. Suppose 4*b = 6 + 10, 5*b = 2*h + 12. Solve -2*n + 0 = -a - 1, a + f = h*n for n.
2
Suppose -17*l - 6 = -20*l. Let n = 51 - 41. Solve 3*g = a - 8 + 17, l*a = 4*g - n for g.
4
Suppose -5*t + 52 = -198. Let b = t + -22. Solve 4*z - 3*s = -b, -3*z = -0*z - 3*s + 24 for z.
-4
Suppose -71 = 2*c + 3*x, 0 = -4*c - 2*x - 105 - 57. Let g be (24/(-14))/((-12)/(-126)). Let n = g - c. Solve -5*r + 0 = -3*b - n, 4*b - 4*r + 28 = 0 for b.
-5
Let v(c) = -116*c - 691. Let j be v(-6). Solve 2*z + j*l + 10 = -20, 5*z + 5*l + 45 = 0 for z.
-5
Let w(f) = f**2 - 5*f - 3. Let q be w(6). Suppose 2*k + q*k = 0. Solve k = -3*x, 5*c - 6*c = 2*x - 4 for c.
4
Let y(j) = -j**3 + 6*j**2 - 9*j - 2. Let r be y(4). Let h be (-8)/(-3) + 4/r. Solve 2*a - 1 = k - h, 0 = 5*a - 5*k for a.
-1
Suppose -5*k - 2*o = 3 - 18, -5*o - 9 = -3*k. Suppose -k*i = -2*i. Solve -4*j = -3*w - 9 - i, -3*w - 2*j - 9 = 0 for w.
-3
Let i(z) = 2*z**2 + 11*z + 8. Let k be i(-5). Suppose 0 = -k*j + 3*q + 9, -q - 4 = 3*q. Solve 0*a - 3*l = -a + j, -1 = 5*a - 4*l for a.
-1
Suppose -2*c = 5*x - 26, c - 8 = -5. Solve -5*l - 3*p = 2*p - 5, x*l = -5*p + 6 for l.
-1
Let s = -89 - -97. Suppose 0 = -w + m + s, -3*w - 5*m = -m - 38. Solve -w + 4 = -2*q, -3*y = -4*q + 21 for y.
-3
Let o = 751 + -745. Solve -2*t - 18 = -o*t - 3*v, -4*t = 4*v - 20 for t.
3
Suppose 5*o = 25 + 5. Suppose -12 + 31 = b - 3*j, 25 = -5*j. Solve 0 = -d - 5*n + 15 + o, 16 = d + b*n for d.
-4
Suppose -3*h = -2*u - 2*u - 28, -4*u - 28 = -h. Let k(x) = x + 7. Let d be k(u). Suppose t + 2 - 6 = d. Solve q + 8 = t*o, -2*q - 12 + 1 = -3*o for q.
-4
Let o = 23 + -5. Suppose -4*u + 38 = o. Suppose -u*p + 7 = -q + 2*q, 0 = 3*p + q - 3. Solve p*t + 3 - 13 = 3*g, 3*t - 10 = 2*g for g.
-2
Let t(j) = -2*j + 13. Let d be t(-6). Let i = d + -22. Solve 2*p - 6*s - 6 = -4*s, -3*p - 21 = i*s for p.
-2
Let b(d) = -d**3 + 7*d**2 - 19*d + 53. Let x be b(5). Solve -4*c - 14 = -6, 2*q + 5*c + x = 0 for q.
1
Let s(b) = b**3 - 3 + 5*b - 3*b**2 - 4 + 10*b**2 - b. Let d be s(-6). Let j be (4/(-10))/(d/(-50)). Solve 5*o - 2 = -l + 16, 3*o = j*l + 20 for o.
4
Let n be 1*(265/15 + (-4)/6). Let l = 32 - 2. Suppose l = 3*v - 4*p, 2*v + 21 = 4*v - 3*p. Solve s = 4*x + v - n, 0 = s - 5 for x.
4
Let v(h) = -23*h + 142. Let x be v(6). Solve -3*g = 4*j + 14, -x*g + 2*j = g + 6 for g.
-2
Suppose -3 = -c, 3 + 9 = x + 3*c. 