e ((-10)/3)/((-2)/3). Solve -x + 3*x = -o*u + 24, 0 = y*x - 2*u for x.
2
Let t be 2/(-3) + (-2)/(-3). Suppose 3*i + 2*d = d + 16, -5*d + 20 = t. Let p be ((-146)/(-14) - 3/7)*1. Solve 5*a + 1 = -3*s - 3, s = i*a + p for a.
-2
Let w = 8 - 4. Let l be 1 + (-3)/((-3)/4). Let z be 40/(-21 - -11) + (-1 - -20). Solve -z = l*m - 2*a, w*m = -a - a - 12 for m.
-3
Let f(k) = -3*k - 2. Let r be f(-2). Suppose -2*m = -4*q + 16, -q + 23 = -m + r*q. Suppose 0 = 3*b - 69 + 60. Solve -2*a - m*a = -4*j, -b*a = 2*j - 15 for j.
3
Let y = 2 - -1. Suppose 5*n + 2*m - 2 = 2, 2*m + 12 = 3*n. Suppose 0 = -n*s - s + 6. Solve -2*q = y*q + s*i + 10, 0 = 5*q - 5*i + 45 for q.
-4
Let b = -14 + 34. Solve -c + 2*h = -2*c - 8, -3*c - 4*h - b = 0 for c.
-4
Let d be 698/18 - (-10)/45. Suppose -b + 5*s - d = 0, 7*b - 4*s = 3*b - 92. Let a = 35 + b. Solve 5*g - 2*u + 8 + 9 = 0, u = 5*g + a for g.
-3
Let o be ((-9)/3 - -3) + 3. Solve -4*k + 14 = r, 19 = 3*k - o*r + 1 for k.
4
Let p(l) = -2*l**3 + l + 1. Let q be p(-1). Solve -j - 3*c - q - 8 = 0, -2*j + 4*c + 20 = 0 for j.
2
Let f(i) = i**2 + 9*i - 6. Let a be f(-10). Suppose 4*s + a*l - 88 = 0, s - l - 1 = 15. Solve -3*c - 14 = -2*o, -3*o + 2*c - 3 + s = 0 for o.
4
Let d = -55 - -60. Solve -3*w = d*f - 9 + 3, 2*f = 4*w - 8 for f.
0
Let z be (1 - (-6)/12)/((-2)/(-8)). Solve -5*k - o - z + 0 = 0, -3*k = 5*o + 8 for k.
-1
Let l(d) = -2*d + 2. Let k be l(-3). Solve -4*a - k + 48 = -4*o, -2*o + 3*a - 25 = 0 for o.
-5
Suppose -3*i = 4 - 16. Suppose x + x = 4*t - 4, i*t = -5*x + 32. Solve 4*q + 4*u - 1 - 3 = 0, t*u - 23 = 2*q for q.
-4
Let a(x) = 0*x**2 - 2*x**2 + 5 + 5*x**2 - 6*x. Let l be a(4). Let r = l - 8. Solve m = -2*m + 9, 5*m - r = 3*p for p.
-2
Let a = 30 + -28. Suppose 2*c = 5*o - 9, a*o - 5*c + 3*c = 0. Solve 4*p - 3*l = -p + 6, 4*l - o = 3*p for p.
3
Let w be (-1515)/(-60) + (-3)/(-4). Solve 0 = -4*o - 0*h - 5*h + w, 16 = 5*o - 2*h for o.
4
Let n(v) be the third derivative of v**5/60 - v**4/12 - v**3/3 - v**2. Let y be n(4). Suppose 0 = o - y*o + 155. Solve -5*m - 3*l + l = o, -8 = m + l for m.
-5
Suppose -4*p - 10 = 22. Let q = p - -16. Solve 5*d + q = 3*b, -2*d - 4*b - 8 = -4*d for d.
-4
Suppose 2 = m - 1. Suppose -4*o = -5 - 3. Solve 0 = 2*f - 2*q + 2 + o, m*f = 2*q - 6 for f.
-2
Suppose 3*l - 12 = -3*l. Solve -12 = -2*f - 0*i + l*i, 2*i + 24 = 5*f for f.
4
Suppose 0 = -43*x + 15*x + 560. Let o = 2 - -3. Solve 5*m - o*z = -x, -4*z + 2 = 2*m + 10 for m.
-4
Let s be (2 + 0 + -3)*-7. Suppose 0 = n - 11 + s. Solve -n*x + 3*p - 1 = -4, -4*p = -5*x + 5 for x.
-3
Let x(w) = 2*w**2 + 4*w + 2*w - 5 - 3*w**2. Let n be x(5). Let o be 0/(-3)*(n + -1). Solve -2*t + o*t + 5*k = 26, -5*t - 19 = -k for t.
-3
Suppose 0 = 4*d - 41 - 19. Suppose -4*x - 3*u = u - 28, -5*x + 5*u + d = 0. Solve 0*q + x*q = -2*y - 23, -4*y - 22 = 2*q for y.
-4
Let f be 12/9*(-81)/(-6). Solve 4*b - 3*x - f = 0, b - 2*x + 0 = 7 for b.
3
Suppose -5 = -3*q + 4. Let m(b) = b**3 + 4*b**2 + b + 4. Let r be m(-4). Let l be (r - 1)/(-2 - -1). Solve 0 = 3*g + 4*p + 9 - l, 4 = -q*g - 2*p for g.
0
Let t = 9 + -5. Solve t*u - 6 = -3*z, 2*u - 3*z - 21 = -3*u for u.
3
Let x(f) = -f**2 + 12*f + 17. Let g be x(13). Solve 28 = -4*k - g*l, -4*k - 4 = 3*l + 20 for k.
-3
Suppose -4 = r + 2*f, 8*r - 5*r = -4*f - 2. Let g(t) = -t + 5. Let q be g(4). Let x = r + q. Solve 1 = 3*m + x, o + 4*m = -11 for o.
-3
Let y = 62 + -59. Solve 5*n + 6 = 2*c, -2*n + y*c - 12 = 7*c for n.
-2
Suppose -35 = -3*a - 2*f + 11, 36 = 2*a + 4*f. Suppose 0 = 5*t + 15, -5 - 3 = -i + t. Solve 3*c + a = 5*q, q + i*c + 10 = -4 for q.
1
Let b(k) = -k. Let v be b(-4). Suppose -5 = -5*p + 10. Suppose -5*z + 27 - 2 = 3*u, 2*u = p*z + 4. Solve -3*f + 3 = v*m + 4, -4*f = -z*m - 6 for f.
1
Suppose -2*o + 4 = -4*r, -r + 3*r = -4*o + 58. Let t be 1 - (-7)/(21/o). Solve 0*h = -2*q + t*h + 7, -5 = 5*h for q.
1
Let a = 66 - 21. Let m be (6/(-10))/((-9)/a). Solve -m*o + 0*d = -2*d + 12, -3*d + 20 = -5*o for o.
-4
Let t(d) = -d**2 - 16*d - 24. Let b be t(-14). Solve 7*q + 20 = 4*q - 5*j, 0 = -b*j - 16 for q.
0
Let a(u) = -u**3 + 2*u**2 + u + 6. Let g be a(3). Solve 4*w = -2*j + j - 17, j - 5*w - 10 = g for j.
-5
Let f(n) = n**3 - 6*n**2 - 5*n + 1. Let g be f(7). Suppose 4*a - a = g. Solve -3*t = -t + a*w + 30, 0 = 5*t + w + 29 for t.
-5
Let l be 1/(-2) - (-7)/14. Let z be -1 - l/1 - -1. Suppose z*y - y + 4 = 0. Solve -5*p = -4*g + 33, 0 = -4*p - 2*g + y*g - 24 for p.
-5
Let d(m) = -3*m - 1. Let g = 1 + -2. Let o be d(g). Suppose -4 - o = -2*p. Solve 2*v = 2*h + 10, -v = -7 + p for h.
-1
Suppose -4*n - 5 = -13. Suppose -3*o = n*q - 79, 230 = 5*q + o - 0*o. Let l = -27 + q. Solve 5*t - l = 0, -5*d + 2 - 9 = -3*t for d.
1
Suppose 3*l + 6 = 0, -4*r + 6*l + 28 = 2*l. Let t(m) = m**2 - 3*m - 6. Let n be t(5). Solve -a + n*y + 33 = 4*a, -r*a - 2*y + 21 = 0 for a.
5
Let a be (-3 + 10/6)*-3. Suppose a*s = -0*s. Suppose s = x + 1 - 3. Solve -4*w - 14 = -3*l - 5, x*w = -4*l - 10 for w.
-3
Let h(r) = 5*r - 1. Let o be h(-9). Let p be 2*(-3)/12*o. Solve 2*t - 3*s - p = -2*t, 3*s = -2*t - 11 for t.
2
Let d(o) = -8*o - 1. Let x be 1*(2/(-1) - 0). Let z be d(x). Solve z = -f + 3*p, 1 + 1 = -2*f - p for f.
-3
Let c(j) = j**2 - 4*j + 2. Let x be c(6). Suppose -2*b - x = 3*i - 5, -i - 1 = 0. Let u = b - -6. Solve -5*g - u = 4*d + 2, -2*d = 2*g for g.
-5
Let c(q) = 3*q - 24. Let r be c(9). Solve -3*f + 5*n = -17, r*f = 3*n - 7 + 22 for f.
4
Let g = 27 + -22. Solve -j - 15 = 4*w, w - g*j = -0*w + 12 for w.
-3
Let u be (-24)/(-42)*(-14)/(-4). Solve h + 0*h + 5*y + 12 = 0, -u*h = -3*y - 2 for h.
-2
Let u(f) = f**3 - 11*f**2 + 9*f + 13. Let m = 26 + -40. Let z be (-136)/m - (-4)/14. Let i be u(z). Solve h - 4*n - 12 = 0, 0*h - 3*n = -i*h + 18 for h.
4
Let n be (-4)/(12/9) - -7. Suppose -n*p + 55 = p. Solve y + 5*r + 13 = 0, y - 5*r - 6 = p for y.
2
Let a(i) = i + 1. Let m be a(1). Suppose -m*c - 30 = -4*h, -5*h = -3*c - 4 - 35. Suppose 20 = r + h. Solve 3*f + 8 + 8 = -2*o, -2*f - r = 2*o for f.
-2
Suppose 3*g - 12 = -g. Let x = 15 - 6. Let w be 1 + 6/x*3. Solve 2*b - 29 = 5*o, 11 = g*b - w*o - 10 for b.
2
Let g(f) = -f**3 - 12*f**2 - f - 7. Let n be g(-12). Solve n*r = -l - 5, -3*r + 10 = 2*l - 4*l for l.
-5
Suppose -4*k + 8 = -12. Solve 16 = 4*p + u - 0, k*p - 5*u - 45 = 0 for p.
5
Let r(z) = -5*z. Let t be r(-1). Solve 4*h - 3*h + q = 1, -t*q = -2*h + 23 for h.
4
Suppose 0 = -4*j, 0 = -4*p + 2*j - 4*j + 440. Suppose 3*t = -2*t + p. Solve 0 = 2*x + 3*o - t, -17 + 5 = -3*o for x.
5
Let y(v) = 5*v**2 + v - 1. Let g be y(1). Solve z - 12 = g*m, -5*z - 12 = 3 for m.
-3
Suppose -5*n + 13 + 4 = 2*b, 3*n - 11 = -2*b. Solve 5*j = d - 24, -2*d - b = -2*j - 9 for j.
-5
Let q be -2*57/12*-2. Let t be 3/6 + (-7)/(-2). Solve -5*k = -2*k - 4*u - q, t*u + 16 = 0 for k.
1
Suppose 4*w = 5*j + 16, -4*w + 3*j + 32 - 8 = 0. Solve 4 = u + 1, 3*t + w = 3*u for t.
0
Let r(u) be the first derivative of -7/3*u**3 + 4*u - 1/4*u**4 - 7/2*u**2 - 2. Let l be r(-6). Solve -l = 4*z + 3*b, z - 4*b - 5 = -2*z for z.
-1
Let a = -6 - -8. Let h = 8 - 2. Suppose h = 4*o - o. Solve -18 = -4*y + x, -y + a*x - o = -3 for y.
5
Suppose 0 = -5*y + 5*o - 15, 2*o - 8 = y - 0*y. Let l be (0/1)/(6/y). Let p = l + 6. Solve 2*i - p = r, -2*i + 3 = -3*r + 1 for r.
2
Suppose -16 = -15*x + 11*x. Solve 0 = v - 3, 2 = -l + 3*v - x for l.
3
Let v be (-50)/(-15) + 8/(-6). Solve -n - z - 6 = 0, -v*n + 5*z + 12 = -n for n.
-3
Let v(o) be the third derivative of o**6/120 - 7*o**5/60 + o**4/24 + o**2. Let d be v(7). Solve 0*w + 3*s = w - d, -3*s = 3*w - 9 for w.
4
Let a = -5 - -2. Suppose -3*r = -2*c - 8*r - 8, 4*r + 16 = -4*c. Let q = a - c. Solve -x + 3 = -3*l - 8, l = -x - q for x.
2
Let i = -8 - -12. Solve m - 4*a = -m + i, 5*m + 5*a = 25 for m.
4
Let l(g) be the first derivative of 3*g**2/2 - 10*g - 10. Let a be l(4). Solve -i - 3*i - 3 = -p, i - 1 = a*p for p.
-1
Let q be (-2 + (-1 - -4))*3. Suppose -2*l + l - 13 = 0. Let b = l - -28. Solve -v = v - q*x + b, -2*v - 2*x = 0 for v.
-3
Suppose -2*s + 25 = -7*s, 4*s = -4*m - 4. Solve 0 = u + m*v + 18, 2*u - 2*v - 12 = 4*u for u.
-2
Suppose 0 = u + 7 - 9. Solve 2*o = 0, d - 2*o + 6 - u = 0 for d.
-4
Let v = 4 - 2. Suppose z + 16 = 3*z + t, 5*t + 55 = 5*z. Solve 0 = -j + y + v, 1 = -4*y + z for j.
4
Let y be (-8)/(-10) + (-1 - (-42)/10). Solve 0 = 2*