5
Let t = -549 - -550. Solve -4*f = -y - 9, -3*f + 5*y + t = -5*f for f.
2
Let f be (-168)/(-30) + 2*9/(-30). Solve 0 = 3*d + f*n + 25, -3*d + 0*n + 2*n = 11 for d.
-5
Let r = 5 - -6. Let a(d) = 22*d**3 - 12*d**2 - 38*d**3 + 7*d + d + d + 23 + 17*d**3. Let c be a(r). Solve -10 = -5*x, -4*p - x + 19 = c for p.
4
Let m be 0 + 3 - (-5 - 0/(-3)). Suppose -t + m - 1 = 0. Solve -t*p + 2*s = -3*p - 2, 4*p - 4*s = 0 for p.
1
Suppose 2*r - 3*y = -18 + 15, 3*y = 9. Solve 2*x + 17 = 3*d + 2, -2*d = x - r for x.
-3
Let x be 296/48 + 2/(-12). Let g = x - 1. Suppose -z + 4 = -1, v - z - 1 = 0. Solve 2*l + 3*l = q - v, -g*q = -2*l + 16 for l.
-2
Suppose m + 39 = 5. Let v = m - -37. Let b = -8 + 13. Solve -20 = 4*t, v*h - b*t = 3 + 13 for h.
-3
Suppose d + 5 = 0, 0 = -4*p - p + 5*d + 40. Let i be (11/(-7))/(-1) + (-27)/(-63). Solve 5*s - 3*m = 2*s - 18, -i*m + 15 = -p*s for s.
-3
Suppose -3*i - 4*b + b = -75, 5*i - 3*b = 93. Let v = i + -18. Suppose 0 = 3*r + 2*r - 115. Solve 4*t - v*o = 7, -4*t - 2*o - r = o for t.
-2
Suppose 5*d + 27 = 2*j - 0*d, 0 = j - 2*d - 12. Suppose 2*t - j*t + 12 = 0. Let c be (t - 3)/(-2 - -5). Solve c = 5*p + k + 11, -p - 3*k + 6 = p for p.
-3
Let r = 43 - 40. Let i = r - 1. Solve -10 = 2*y, 5*v + 2*y = -i*y + 5 for v.
5
Let v be ((-20)/(-8) + -4)*20/(-6). Solve 2 = -a, -3*n + v = -6*a + 2*a for n.
-1
Let z be (12/2)/(23/2 + -10). Solve 2*h - 5*w + z = 0, w = -h - 3 + 1 for h.
-2
Let u = -63 - -43. Let c = u - -22. Let y be (5 + (-5 - -1))*c. Solve 6*d - 3*j = 2*d + 6, 4*j = y*d - 8 for d.
0
Let z(l) = -l**2 - 19*l - 17. Let n be z(-18). Solve p + t - 3 = -0*t, -n = p - t for p.
1
Suppose 2*o = -3*a + 6, 15 = -o + 6*o. Suppose 0 = -2*b - a*b. Suppose b = -2*g - 2*c + 6, -5*g + 11 = 4*c - 7. Solve z = 5*h + 2*z + 8, -g = h - 2*z for h.
-2
Let a(y) = 7*y**3 - 6*y**2 + 7*y - 1. Let q be a(1). Solve 17 - q = -2*t - 4*l, t = 3*l - 5 for t.
-5
Let q be 9*(-2 - (-21)/9). Suppose q*l - 23 = 1. Solve -3*d - 5*p - 8 = -d, 0 = -2*d - 2*p - l for d.
-4
Suppose q + 3*d - 14 = -0*q, 4*d = 4*q - 8. Let p = 2 + 1. Suppose p*r + 4 = -4*j - 0*r, -5*r - 20 = 0. Solve 4*h + q*s - s = 0, j*h = -3*s - 4 for h.
4
Let s be (22/(-2))/(-21 + 20). Solve 0*n = -5*n - 2*h + 17, -s = -4*n + h for n.
3
Suppose -344*u + 328*u = 0. Solve -2*l = -3*x + 19, 2*l = -x - u + 1 for x.
5
Let c = -2 - -2. Let g be 2/(-80)*5*-16. Solve c = -3*w + u - 18, 3*w + 4*u - 7 = g*w for w.
-5
Let o(g) = -g**3 - 9*g**2 - 15*g - 7. Let y be o(-7). Solve j = -j - 10, y = z - 3*j - 10 for z.
-5
Let t = -11 + 11. Let j = 46 + -41. Solve t = -z - j*s + 26, 1 = s - 4 for z.
1
Suppose 0 = -q + 26 + 23. Let y = q + -40. Suppose 0 = -4*d + 12 + 8. Solve 4*r + y = -3*t - 11, d*t - 3*r + 14 = 0 for t.
-4
Let o be (4 + -1)/(6/4). Let z(i) = 113*i + 1586. Let c be z(-14). Solve 3*s - 1 + c = -3*y, -6 = -4*s - o*y for s.
4
Suppose -3*h - 4*x + 1 = -17, 2*h - 2*x + 2 = 0. Suppose 3*s - 8 = -4*u, 4 = -3*s + 2*s + h*u. Solve s = j - 5*b - 13, 4*j + 3*b = 2*b - 11 for j.
-2
Let x(s) = -s**2 + 2*s + 3. Let i be x(3). Suppose -2*b - 18 = b. Let u = b + 9. Solve -u*d + 0*d - 9 = 0, i = -4*f + 4*d + 16 for f.
1
Let i(c) = -6*c + 86. Let g be i(14). Solve n + 3*w = 0, g*n + w = -w + 4 for n.
3
Let i(m) = m**3 + 5*m**2 + 2*m + 6. Let p(v) = v**3 - 11*v**2 - 11*v - 16. Let x be p(12). Let s be i(x). Solve -2*d - g = -s, d - g + 0 = 1 for d.
5
Let y = 50 - 11. Suppose 33 = -4*h - y. Let d = h - -22. Solve -n = -4*i - 4 - 3, -d*i - 5*n + 11 = 0 for i.
-1
Let z = -13 - -5. Let j(i) = i**3 + 7*i**2 - 8*i - 6. Let w be j(z). Let t be 20/w*(-21)/14. Solve 10 = t*u + 3*y, 2*u + 3*u + y = 0 for u.
-1
Let u(o) = 3*o**2 - o + 1. Let r be u(1). Let x be 2 - (10/(-45) + (-2)/(-9)). Solve -3*h - 5*v + 2 = 0, -5*h = -x*v - r*v + 10 for h.
-1
Let j(v) = v**3 + 3*v**2 - 4*v - 4. Let r be j(-4). Let z be (((-21)/6)/1)/(2/r). Solve -2*t + 2*y = -t + z, -19 = 3*t - 4*y for t.
-5
Suppose 4*s - 94 = -22. Let k be -1*3 + s/6. Solve 0*r + 2*y - 12 = 3*r, -2*r + 5*y - 8 = k for r.
-4
Suppose -4*s - 2*g + 44 = 0, -7 = -3*s - 0*s + 5*g. Let b(k) = -k**2 + 10*k + 3. Let l be b(s). Solve 3*a + a = -4*f + l, -4*a - 2 = -3*f for f.
2
Suppose -2*t + p = -2, -3*p + 3 = -3. Solve v + 0*v = -5*q + 6, -t*v - 2*q = 4 for v.
-4
Let l be 24/5 + (-20)/25. Solve -5*h + 19 = -3*f, l*f + 5 = 4*h - 15 for h.
2
Let i = 608 - 599. Solve i = 3*z - l, z - l = -3*l - 4 for z.
2
Suppose -2*t = 10, 5*s - 2*s - 5*t - 31 = 0. Let g(n) = n**3 - 6*n**2 + 2*n - 7. Let p be g(6). Solve -w - u + 3*u = 1, 5 = -p*w + s*u for w.
-1
Suppose 5*i = -4 - 61. Let f = 16 + i. Let y(s) = s - 11. Let t be y(16). Solve -2*g + 4*h + 1 = t, -f*h + 17 = -5*g for g.
-4
Let y(f) = 2*f**2 - 3. Let z be y(-3). Suppose -5*p = -4*p - 4. Let x(s) = -26*s - 24. Let m be x(-2). Solve -c = 5*g - z, m + 0 = 4*c + p*g for c.
5
Suppose 4*g - 28 + 8 = 0. Solve x = 5*p + 5*x + 26, 20 = -g*x for p.
-2
Suppose 5*l = -20, -3*t + 1 = -2*l - 10. Suppose 5 = 3*h - t. Let r(p) = p**3 + 4*p**2 + 4. Let m be r(-4). Solve s + 31 = -h*s - m*v, -5*s - 2*v = 33 for s.
-5
Let a(j) = j**2 + 37*j - 710. Let s be a(-51). Solve 20 = -3*m + s*o, m + o - 2 = -2*o for m.
-4
Let n = 2329 - 2329. Solve n = -3*m + 4*o - 1 + 2, -4*m - 5 = o for m.
-1
Suppose k = -4*a + 2, -3*k = 2*a - 4 - 12. Let b = -3 + k. Suppose 2*u + 12 = 4*c, -5*u = b*c - 20 - 2. Solve -5*w + w = -c*g - 28, -5*g - 15 = -w for g.
-2
Suppose -92 = 14*c - 10*c. Let q = 28 + c. Solve q*x + 2*l = x + 8, 5*l = 3*x + 20 for x.
0
Let o(j) be the first derivative of j**3 + 3*j**2/2 - 1. Let a be o(-2). Let t = -1 + a. Solve -p - 7 = -3*g, -t*p - 11 = -g + 10 for g.
1
Let v(i) = -i - 20. Let o be v(15). Let m be 1/(5/(-20)) - o. Solve 0 = -s - s - 2*r + 4, 2*r = 5*s - m for s.
5
Suppose 3*a = 4*m - 6 - 7, 2*a - 31 = -3*m. Suppose m*g = -10 + 38. Solve 22 = -2*c - 4*o, -g*o = -5*c - o - 3 for c.
-3
Suppose -5*a + 35 = 5*z, -6*z + 7*z = 0. Let i = 7 - a. Solve -n - 3 = -2*y, 2*n + 2*y - y + 6 = i for n.
-3
Suppose -30*z + 38*z - 40 = 0. Solve z*r = y + r + 9, -3*y - 7 = -2*r for y.
-1
Suppose -3*h + 10 = w - 3, 0 = 5*w - 5. Solve 0 = -h*s - 4*j - 16, 5*s - 5*j - 15 = -5 for s.
-1
Suppose -4*k = -k - 3*s + 81, -3*s - 15 = k. Let l be 2/(-2 - k/9). Let p(m) = 23*m**2 + m. Let b be p(1). Solve -5*d = -2*d - 3*z - b, l*d - z - 18 = 0 for d.
5
Suppose -k = -5*n - 4, 4*n - 5*k = -k - 16. Let q(u) = -u**3 - u**2 + 2*u + 5. Let v be q(n). Solve -4*l = 5*p - v, p = -p + 2*l - 16 for p.
-3
Suppose 0 = 2*u + 3*u - 215. Let t = u - 123. Let y be (-10)/(-4)*t/(-50). Solve -a = 4*g + 2, -4*g + 9 = -y*a + 1 for g.
0
Let b(a) = -4*a + 7*a + 2 - 4*a. Let k(z) = z**2 - 7*z + 3. Let f be k(6). Let r be b(f). Solve 0*i - 4*t = -5*i + 33, -r*i + 35 = -5*t for i.
5
Suppose -5*w + 155 = 30. Solve -2*v = -4*v - 5*k - w, k = -v - 8 for v.
-5
Let l be 54*(-4)/(40/15). Let h = l + 86. Solve -21 = -4*o - h*s, 2*o - 7 = 3*s - 2*s for o.
4
Let c(s) = 3*s**2 - 47*s - 13. Let z be c(16). Solve -i = z*n - 0*i - 1, 0 = -2*n - 2*i - 6 for n.
2
Let k be 10 + 2 + 98/(-14). Solve 5*c = 5*z - k - 10, 8 = 4*c + z for c.
1
Let x be (-9)/6*(16/(-3))/2. Solve -n = -3*f - 1 + 3, 8 = x*f for n.
4
Let q(o) = -8*o - 7. Let j be -1 + 2 - (-12)/(-3). Let c be q(j). Let d = c + -15. Solve d*l + 3 = x, -4*l - 10 = -2*x + l for x.
-5
Let s(o) = -3*o + 4. Let i be s(0). Suppose -2*f - 8 = -5*b, 9 = -4*b - 5*f - 11. Solve b = 3*n - 6*t + t + 20, -i*n = 2*t - 8 for n.
0
Let z(y) = -y**2 - 6*y + 8. Let w be z(-7). Suppose 2*l - 8 = -4*c, -3*c + 0*l - 5*l - 8 = 0. Solve 0 = -5*d + 4*x + w + 13, c*x + 4 = 0 for d.
2
Let l = 236 + -234. Solve -3*n + o = 7, -4*n = -l*o - 3*o + 2 for n.
-3
Let g(d) = d**3 + 16*d**2 - 39*d - 49. Let b be g(-18). Let t be (2/2)/((-3)/12). Let a = t - -10. Solve -5*h - z = a, -b*h = -z + 9 + 5 for h.
-2
Let x = -3 - -2. Let s = x + 6. Suppose s = t + 3. Solve 0 = p + 5*j - 15, j = 2*p + 3*j + t for p.
-5
Suppose -v - 7 = -q, q + v - 5*v = 19. Solve 0 = 4*m - 2*m + 5*j + 4, 2*j = -q*m + 5 for m.
3
Let f = 39 - 36. Suppose -3*d - 4*r + 30 = -r, f*r = 9. Solve 4*q = -5*z - d, -3*z - 1 - 2 = 3*q for z.
-3
Suppose -v - 20 = -6*v. Let f be ((-18)/4)/((-12)/(-80)). Let y = f + 62. Solve 4*i + y = -v*r, -4*i + 2 = -3*i - r for i.
-3
Let t(b) = -15*b - 95. Let d be t(-7). Solve -5*l + d = 