 = -2*c + 3*c + 2. Let i be 1*c/4*-22. Solve 17 = -3*d + r, r + i = -d + 4*r for d.
-5
Let y = -511 + 537. Solve -3*o + 4*f = 2*o - y, 4*f + 6 = -5*o for o.
2
Let o(a) = a**2 - 4. Let i = 30 - 27. Let z be o(i). Suppose -2*x - m + 30 = -6*m, -4*x = -2*m - 28. Solve y = -z, 0*t = 4*t + 3*y - x for t.
5
Suppose -117 = -37*u - 2*u. Solve 0 = 3*i - 6*i - 4*v - 10, 2*v = -u*i - 8 for i.
-2
Suppose 2*n + 2*z + 88 = -0*n, 2*z + 10 = 0. Let c = -23 - n. Let v = c - 13. Solve -4*s - s - 2*j + 25 = 0, s - v*j = 5 for s.
5
Suppose -4*x + 2*j = -0 - 2, 0 = -j + 5. Let a be 8/52 + (-3005)/13. Let d be 4/x*a/(-14). Solve 0 = -0*w + 4*w + 3*b + 24, -4*b = 2*w + d for w.
-3
Suppose -5*n = -v + 17, 2*n = 6*v - 2*v - 14. Solve 2 = 2*f + 3*d, v*f = -2*f + 3*d - 32 for f.
-5
Suppose -6*o + 144 = -0*o. Let p = 29 - o. Solve 0 = -p*v + 2*h + h + 20, -4*v - 11 = 3*h for v.
1
Suppose 0*c = -2*k - 4*c - 146, -119 = 2*k - 5*c. Let g = k + 72. Solve 0 = v - 5*i - 4, -i = g*v + i - 20 for v.
4
Suppose -4*i = -2*m - 4, -m - 11 = -5*i - 3. Solve -2*s + 10 = g, s + 4*g - 10 = i for s.
4
Let y(w) = -62*w**3 + 2*w**2 + 4*w - 2 + 61*w**3 + 1. Let s be y(3). Solve 5*p + 2*a = 5*a + 25, s*p - 9 = a for p.
2
Let v be 1/((-4)/(-40)) + -4. Let x = v + -4. Solve 5*p = 25, -5*n - 3*p = -x*n - 6 for n.
-3
Suppose 36 = 7*r + 1. Suppose 5*u = 2*d - 5 - r, 4*u = 0. Let a(k) = k**3 - 8*k**2 + 3*k + 6. Let m be a(8). Solve -5 = -2*z - 3*w, 0 = z + d*w + 10 - m for z.
-5
Suppose 0 = -2*t - 0*t + 4. Suppose -t*i = 1 - 9. Suppose -5*n + 36 = v - 2, -v - 26 = -3*n. Solve 0 = f + p - i, -4*f - 3*p + 3 = -n for f.
-1
Let j(y) = 66*y + 540. Let o be j(-8). Solve -2*k = 2*b + 6, 4 - o = -4*k + b for k.
1
Let h(u) = u**3 - 8*u**2 + 2. Let j be h(8). Suppose 0 = -j*n + 9*n - 112. Solve -4*v - 3*q = -4, -4*v + 2*q - n + 0 = 0 for v.
-2
Suppose -f = -1, -4*w - f = -0*w - 77. Solve 5*c + 2*l - w = -l, -c = -4*l + 10 for c.
2
Let h(o) = -2*o**2 - 14*o. Let i be h(-7). Solve 3*v = 6 - i, -x - 5*v = -9 for x.
-1
Suppose -2389*h + 2390*h - 3 = -l, 2*h + 9 = 3*l. Suppose 0 = 4*g - 3*x + 2*x - 25, -4*g - 4*x + 20 = 0. Solve -27 = -5*w + 2*t, -l*t + g*t = 3*w - 18 for w.
5
Suppose 2*x - 7 = -1. Let o = -5597 + 5600. Solve -q - x*q - r + 5 = 0, -q = o*r - 15 for q.
0
Suppose -53*c = -54*c + 3. Solve -2*p = -5*g - c + 24, -3*g - 3*p = 0 for g.
3
Let y(a) = -20*a - 737. Let n be y(-37). Solve -4*s - 2*d + 26 = 0, 5*s + n*d - 30 = d for s.
4
Let w be (7 - 86/6)*(-6)/(-4). Let v = w - -29. Solve 2*i + 3*o = o + 6, -o + v = 4*i for i.
5
Let k be -13 - -9 - 16/(-2). Solve 0 = 2*g - k*f - 10, -3*f - f = 4*g - 20 for g.
5
Suppose 4*v + 4*f = -80, -v + 0*f = -3*f + 32. Let p = -15 - v. Solve 2*w - 3*w + p = 4*o, -w + 3*o = 13 for w.
-4
Suppose 2*s - 91 = -3*s + 2*o, -3*o - 43 = -2*s. Solve 0 = u - 2*u + 5*l - s, -5*u - 13 = -l for u.
-2
Let o(n) = -4*n**2 - 39*n + 15. Let l be o(-10). Solve 2*a - l*p = 24, 4*a + p - 12 = 2*p for a.
2
Let w(i) = -i**3 + 8*i**2 + 25*i - 45. Let s be w(10). Solve -s*y - 3*n = 35, 4 = 2*y - 3*n - 3 for y.
-4
Suppose z = -j + 9, -2*j + 3*j = 2*z + 3. Solve 0*p + 3*p - 16 = -w, -2*w + j = p for p.
5
Suppose -2*d + 61 = 368*w - 373*w, -34 = -3*d - 4*w. Solve -3 = -5*n + 2, 4*f - 2*n = -d for f.
-4
Suppose 9*x + 33*x - 126 = 0. Solve -z - x*i - 12 + 0 = 0, -3*i - 3 = -2*z for z.
-3
Suppose 9 = 3*n + 6. Let c be 6 + n + -2 - 0. Solve 0 = c*k - 3*w - 6, 3*k - 3 + 11 = -4*w for k.
0
Let t = 38 - 27. Let m = -15 + t. Let j(g) = -g**2 - 6*g - 5. Let d be j(m). Solve 17 = 3*f + 5*x, -d*x - x + 20 = 4*f for f.
4
Let s(g) = -g**2 + 12*g + 22. Let z be s(11). Let j = 35 - z. Solve 0 = -4*o - j*b - 0*b - 2, 0 = -4*o - 4*b for o.
-1
Let h = -23 - -34. Suppose -h*v + 1 = -10*v. Solve 0 = 4*t - 6*t + n - v, 2*t - 17 = -5*n for t.
1
Let n be (-23)/(-2) + (-3)/6. Let w be (26/4 - -1) + (-16)/32. Solve -8 = -5*v + 3*k + n, 3*k + w = -v for v.
2
Let y(r) = 3*r + 52. Let b be y(-15). Suppose b = 5*m - l, -4 = -2*l - 8. Solve 0 = 4*w + 5*g - 10, -4*g + 7 + m = 0 for w.
0
Let c be (81 + -78)/(7/4 + -1). Let y be -2*8/(-2 - 0). Suppose 0 = -n + 3*q - y*q + 17, -3*q + 5 = -2*n. Solve 2*z + n*v = v + 5, 5*z - 6 = c*v for z.
2
Let p = 59 - 54. Solve -5*r = -4*l + 2, 2*r - p*l + 3 - 9 = 0 for r.
-2
Let b be 9*(-3)/(-2)*(1 + -3). Let f = 44 + b. Solve 4*o - 3 - 11 = -w, 3*o - f = -4*w for o.
3
Suppose -3*q - 2*q - 3*v = -27, -q + 2*v - 5 = 0. Suppose -q = -y + 1. Let z be (6/15)/((-3)/(-30)*2). Solve 20 = 4*c + z*h - 0*h, y*c + h = 18 for c.
4
Suppose 0 = 2*u - 12*u. Solve -5*k - 4 = g, 0 = g - k - u*k + 4 for g.
-4
Suppose m - 5*m = -4*k + 40, -2*m + 3*k = 23. Let c = 3 - m. Solve -3*l + 2*l + 1 = -u, c = 2*u + 2*l for u.
2
Suppose 3*h - n = -0*n + 28, -h + 4*n + 24 = 0. Let z be (-1)/(-1) - (6 - h). Solve u + z + 16 = 5*r, 3*r + 5*u - 17 = 0 for r.
4
Suppose 9*w = 8*w + 3*i + 14, 0 = 2*w + i. Solve -4*j + 3*j + 2 = -u, 0 = w*u for j.
2
Let v be (-340)/(-204) - -1*1/3. Solve -5*m - 17 = -x, 4*m + 18 = -v*x - 4 for x.
-3
Let m(u) = u - 8. Let h be m(11). Let y(o) = o**3 + 8*o**2 - 11*o - 2. Let q be y(-9). Solve 2*d = 10, -24 = h*b - 5*d + q for b.
-5
Suppose 644*f - 120 = 638*f. Solve v + 3*v - 16 = -4*p, 5*v - f = 3*p for p.
0
Suppose -3*m = x - 15, m + 5 - 10 = -5*x. Solve 4*h - c + 2 = -22, x = 5*h + 5*c + 5 for h.
-5
Let r = -55 + 56. Let p be 5/(-20)*(-4)/r*5. Solve -5*s + 0*s = -5*i - p, i + s + 1 = 0 for i.
-1
Suppose -3*y = 3*w, 4*w + 37 - 2 = 3*y. Suppose 0 = -6*t + 2*t. Suppose t = 2*v - 3*v + 2. Solve 0 = -s + y*m + 16, -5*s = -v*m + 6*m + 36 for s.
-4
Let w(d) = 2*d - 26. Let q be w(17). Suppose 0 = 5*f - 33 + q. Solve f*a + v - 15 = -4*v, 4*v = 4 for a.
2
Let d = -8 + 37. Suppose 25*b = d*b - 20. Solve z - 10 = 5*m, -23 = 3*m - b*z + 5 for m.
-1
Let i be (-33 - -3)*8/(-20). Let g be 10 - i - (1 - -1). Let s(r) = r**2 + 2*r - 5. Let p be s(g). Solve -p*y + 4*l = y, -3*l = 5*y - 32 for y.
4
Let r(v) = -v**3 - 6*v**2 - 4*v + 8. Let u be r(-5). Solve 0 = -3*l - 3*j + 3, 6*j = -u*l + j + 11 for l.
-3
Let s be 50/(1/((-2)/(-4))). Suppose -2*p + 3*p = s. Let n = p - 25. Solve n*j + j + l = 9, -3*j + l = -7 for j.
4
Let d be 2/3*336/32. Suppose -d*w + 12*w = 0. Solve w = 3*r - 2*y - 16, 4*r - 2*y - 28 = -8 for r.
4
Suppose 3*m - 16 = -5*h, 7*m - 2*h = 2*m + 6. Suppose -m*k + 22 = 18. Solve -3*o - o - 22 = 2*z, -9 = k*o - z for o.
-5
Let q be 33/(-22) - (-1)/(-2). Let m = q - -6. Solve m*l - 18 = 2*c, 0 = -5*c + 2*l - 13 for c.
-1
Let l = 15 + 15. Suppose 3*u = -l + 36. Solve u*c = -4*j + j - 13, 4*j = -c - 19 for j.
-5
Let p = -7 + 18. Suppose 2*h - 3*g - 2 + p = 0, -6 = 3*h - 3*g. Solve t = -2*o + 12, h*o - 16 = o - 2*t for o.
4
Suppose -d + 16*g + 14 = 21*g, 6 = 4*d - 5*g. Solve -3*y + 7 + 6 = 4*o, 2*y + d*o - 10 = 0 for y.
3
Let m = 1598 + -1593. Let u(r) = -r - 3. Let y be u(-3). Solve 0 = 5*h - j + 2*j - 22, y = -3*h + m*j + 30 for h.
5
Let b be 16/7 - (-6)/(-21). Let p(y) = -y**b + 0 - 1 - 1 + 8*y. Let k be p(6). Solve 0 = -5*z - 4*a + 11 + 14, -2*z + 5*a + k = 0 for z.
5
Let r = -10 - -25. Suppose -15 = -y - 4. Let g = r - y. Solve -g*l + 4*u - 3 = 5, -4*l - 8 = -5*u for l.
-2
Let i be (-36)/(-10) - (-60)/150. Solve -i*d = -d + 2*s - 6, 5*d - 6 = -2*s for d.
0
Let u = -1061 + 1067. Solve -4*q + 0 = -3*v - u, -5*v + 10 = 0 for q.
3
Let r be (10 - 11) + 5 + 4/(-1). Solve r = 3*g - 6*n + 5*n, -5*n + 13 = -2*g for g.
1
Suppose 0 = -5*m - 49 - 46. Let c = m + 22. Solve -2*j = -5*u - 12, -5*j = c*u - 4 + 5 for u.
-2
Let y(b) = -6*b**3 + 3*b**3 - 34*b + 33*b - b**2. Let r be y(-1). Suppose -3*w = 2*w - 75. Solve -r*l - w = 3*f, 4*l + 25 = f - 6*f for f.
-5
Let w = 1037 - 1037. Solve 3*z + 9 = 0, 4*z + w = -2*a - 10 for a.
1
Suppose -s - 5 = -5*d + 3*d, -4*d = 5*s - 31. Solve -2*p - s*k + 16 = -k, 5*k = -p + 24 for p.
4
Let p = 8 - 1. Let m(f) = p*f + 9 + 2*f - 5*f**2 - 2*f - f**3 + 0*f. Let o be m(-6). Solve 10 = -o*t - 2*d, 2*t - d + 2 + 0 = 0 for t.
-2
Let m = 122 - 67. Suppose -4*p = -9*p + m. Let y = p - -4. Solve 0 = -2*u + 3*s - 6, 5*u - y - 12 = -3*s for u.
3
Suppose 2*l = -4*d + 6, -41 = -l + 4*d - 38. Solve l*q = 3*m + 12, 0 = 2*m - 3 + 13 for q.
-1
Let u(r) = -6*r - 34. Let g be u(-10). Solve -v + 14 = -4*i, 4*i + g = -4*v - v for i.
-4
Let i(h) = h**3 - 15*h**2 - 106*h - 27. Let v be i(-5). Let u 