 3*r, -3*g = r - 177. Suppose -4*t = 2*u - 56, 4*t + 3*u = -0*u + g. Solve h = -d - 4, -4*d = -5*h - t + 2 for d.
-1
Suppose 2*i = -x + 3, 5*i - 5 = x - 6*x. Let m(g) = -2*g**3. Let h be m(x). Let r = -87 + 87. Solve h*c + c = -3*j - 12, r = 3*j - 3*c + 6 for j.
-3
Suppose -f + r + 3 = 0, 0 = 7*f - 5*f - 4*r. Solve 3*i + m = -f, 2*i + 0*i - 3 = -3*m for i.
-3
Let s(w) = -3*w - 14. Let x be s(-6). Solve -o + 3 = 3*u, -5*o + x*u = -13 - 2 for o.
3
Let w = 293 + -291. Solve -w*n - 18 - 5 = -3*m, 0 = -4*m + 4*n + 36 for m.
5
Let y(t) = -t + 2. Let b be y(0). Suppose -4 = -3*a + b. Suppose 0 = a*x + 11 - 15. Solve l = -l - 2*u - 6, 4*l + 18 = x*u for l.
-4
Let c = 2302 - 2289. Solve -5*l - 3*s = -2*s - c, -3*s = 6 for l.
3
Suppose 5*m = -5*i - 145, 0 = -3*m + 6*m + i + 81. Let x be m*(-3)/((-24)/(-4)). Suppose 7 = 2*u - x. Solve 20 = 5*b, 3*b + u = 5*n + 8*b for n.
-2
Let r = -206 - -209. Solve -r*q + 3*u - 2 = 1, q - 4*u = -16 for q.
4
Let t be (5 - (-174)/(-30))/(2/(-10)). Suppose 4*o + o + 4*q + 10 = 0, -t*o - 2*q - 2 = 0. Solve o*f - 4*f = 6, 4*r + 3*f - 3 = 0 for r.
3
Let h be 2 - 1*(-4 + -11). Suppose -3*r - 3 = -3*k, 5 - h = -4*k - 4*r. Solve 4*j = k*p + 30, -4*p - 2*j = 11 - 1 for p.
-5
Let x(v) = -111*v - 658. Let r be x(-6). Solve o = -j + 4 - 3, 4*o = r for j.
-1
Suppose 0 = -3*j - 0*j + 6. Suppose 2*n = -3*s - 8, -5*n - 9 = -j*s + 11. Let c be (s - 0)*(4 - 5). Solve 2*o = -10, -3*m + c*o + 2 = 2*o for m.
4
Suppose 24 = -25*d + 29*d. Solve -4*t + t = 5*r - 21, -2*r = -d for t.
2
Let s = 4 - -1. Suppose 2*d - 15 = -x, -2*d + 24 = 3*x - 1. Solve s*o = 5*v, 2*o - d*o + 5 = -4*v for v.
-5
Let q(v) = 4*v + 139. Let m be q(-34). Solve -3*s + 4*w - 2 = 5, 11 = -s - m*w for s.
-5
Let t = 34 + -22. Suppose q + 1 = 3*h, 9*q - 7*q = -4*h + 8. Let w(r) = 13*r - 21. Let l be w(q). Solve 0*a = l*b + 5*a + 30, -3*b + t = -3*a for b.
-1
Let b be (3 - 5 - -5) + 27. Let z = b + -50. Let a = 22 + z. Solve j - 5*r = -r - 5, 4*j - a*r = -6 for j.
-1
Let r = 113 - 72. Suppose 3*n = -r + 104. Let p be 11/3 + 7/n. Solve -5*m + 5 + 1 = -2*s, -5*s = p*m - 18 for m.
2
Let b = 9 - 6. Let p = 18 + -15. Solve v + 7 = 5*m - 2, -b = -p*v for m.
2
Let n be -1 - (4 - 154 - 3). Let d be 2/7 + n/56. Let u(a) = -a**2 - 6*a + 19. Let o be u(-8). Solve 4*g + 8 = -2*k, 0*g = d*g - o*k + 6 for g.
-2
Let t = -5 + 10. Suppose -176 = -5*o + 159. Suppose 3*l + j - o = 0, 4*l + 4*j = 11 + 65. Solve 2*s - t*s + 4*w = -4, -l = -4*s - 4*w for s.
4
Let s(g) = -g**3 - 44*g**2 + 45*g + 2. Let j be s(-45). Solve 0 = -j*y + 6, 0 = 4*b - b + 2*y for b.
-2
Let j be (11 + -5 - 4)/((-6)/(-9)). Solve 0 = 2*w + 3*g - 7, -2*g + j = 3*w - 5 for w.
2
Let a be (-6 - 80/(-15)) + 46/6. Suppose -4*o + a + 5 = 0. Solve -3*h = 3*y - o, -2*h - 5*y - 6 - 1 = 0 for h.
4
Suppose -7*q = -87 - 18. Suppose -q*r + 5 = -14*r. Solve o + 3*z - 1 = 0, -15 = r*o - z + 6*z for o.
-5
Let o(p) = p**2 - 11*p + 3. Let a be o(11). Suppose 2*x = a*x - 3. Suppose 3*j = -5*r + 40, j - x*j = -3*r + 24. Solve -4*m = -2*b - r, b + 2*b = 3*m - 3 for b.
2
Let u = 0 - -13. Let z(c) = -c - 2. Let a be z(-2). Let p = -177 - -179. Solve -i + 17 = 3*v, a*i + i = -p*v + u for i.
5
Let z = -27 - -54. Let l = 17 - z. Let u = l - -15. Solve 2*i = -u*h + 35, -45 = -6*h + 2*h - 5*i for h.
5
Suppose 5*t - t - 4 = 0. Let n(y) = -9 + 0*y - t - y**3 - 3*y**2 + 6*y - 4*y**2. Let i be n(-8). Solve -3*x - 4*a = -16, 2*x + 3 = 5*a + i for x.
4
Suppose 0*p = 6*p. Suppose 0 = -s + 4*b - 2, 0*s - 1 = s - 3*b. Suppose p*m - s = -m. Solve 5*t - 11 = -m*d, d + 14 = 5*t + 4*d for t.
1
Suppose -4*i + 4*i + i = 0. Suppose i = -5*l + f + 2 + 2, f + 1 = 2*l. Solve 5*d = -s - 10, s + l = 2*d - 4*d for d.
-3
Let d be (5 + -4)/(2/206). Let p = -98 + d. Solve 0*m + 1 = b - 2*m, m - p = -5*b for b.
1
Let k be 4 + 24/(-4)*1 + 6. Solve 5*g + k*z - 7 = 4*g, 3*g = z - 18 for g.
-5
Let x be 160/(-4) + -1 - -4. Let b = 39 + x. Solve v + b = -n - 2, -5*n = -v + 14 for v.
-1
Let s(d) = d**3 + 7*d**2 + 6*d - 2. Let f be s(-5). Suppose 0 = -8*g + 2*g + f. Let n be 4/14 - (-66)/14. Solve -3*v + g*c = 6, -4*c + 5 + n = -3*v for v.
2
Let s(t) = t + 6. Let d be s(-3). Suppose -5*o = 8*f - d*f, 4*f - 5*o - 18 = 0. Let r be f/4*(-1 + 11). Solve -5*m = -2*x + 22 - 4, 3*m = -r*x + 14 for m.
-2
Let x be (2*4/16)/((-9)/(-18)). Suppose -19 = -2*j + 4*r - 5, -3*r - 18 = -4*j. Solve h = f + x, -3*f + j*h = -h for f.
-4
Let h = 22 + -20. Suppose -22 = -3*q + h. Solve 2*g + 14 = 4*d, -2*d = -3*g + 5*g + q for g.
-5
Let b(g) = -3 - 2*g**2 + 12 + g**2 - 4*g + 3. Let s be b(-5). Let n be 4/((-12)/9) + s. Solve -2*q - 26 = -0*q + n*a, 2*q + 3*a = -21 for q.
-3
Let r(i) = 4*i**3 + 24*i**2 + 4*i + 26. Let c be r(-6). Solve -3*o = -3*z + 2*o, -4 = c*z - 2*o for z.
-5
Let k be 1/((2 - 0)/(-30)). Let b = -44 - -31. Let q = b - k. Solve q*m - 4 = 4*w + 12, -w - 3*m = -3 for w.
-3
Let o(s) = s**2 + s + 1. Let w be o(3). Let d(h) = h**2 - 14*h + 18. Let i be d(w). Solve 3*u - i*z = 7 + 11, -z - 8 = -5*u for u.
1
Suppose 4*z = 2*g - 8, 3*g + 3*z - 48 = -0*g. Let h be ((-7)/3)/((-4)/g). Let r be h - (3 - 0/2). Solve 3*l - 21 = -2*f - 7, 3*f = r*l + 4 for f.
4
Let h(w) = 2*w**2 - 22*w + 20. Let t be h(10). Solve -4*k - 12 = -3*l + 12, 3*k - 2*l + 17 = t for k.
-3
Suppose -6*k = -129 + 3. Let o be (2 + -2 - 16)/(-2). Let v be (o/10)/((-12)/(-30)). Solve n = q - 5, n - v*q + k = 3*q for n.
-1
Suppose 0 = -8*w + 11*w - 15. Let p = -2 + w. Solve -5*f = -2*r - 11, -f = -p*r + 4*r - 5 for f.
3
Let g(c) = 4*c**2 - 3*c - 3. Let q be g(2). Solve 3*m = 4*x - 24, -3*m + 2*x - 11 = q for m.
-4
Let h(s) = 6*s - 14. Let v be h(6). Solve -5*a - w + 20 = 0, -v = -4*a - 3*w + 5 for a.
3
Let u be (-2)/6*(-6)/2. Suppose 2*f + 6 = -f, t + f = u. Let s be (-10)/(-2) - (62 - 63). Solve w - t*b + s = -2*w, w = -b + 8 for w.
3
Let d(l) = l - 7*l**2 - 6 + 9*l - l**3 - 3*l. Suppose 213*k = 218*k + 40. Let c be d(k). Solve c*f - 1 = 3*m - 2*m, -5*m - 3*f - 5 = 0 for m.
-1
Let x(c) = 2*c + 15. Let g be x(-7). Let o be 12/(-8)*(g/3 - 3). Solve 0 = 5*p - 0*p - 10, o*n + 5*p - 14 = 0 for n.
1
Let d = -9 - -13. Solve 7 = -d*t + 3*b, 0*t + 5*b - 5 = 5*t for t.
-4
Let d be (3120/(-36))/10*-6. Suppose 8 = 3*f - 2*a, 0*f + 20 = -4*f - 5*a. Let c be d/(2 - -2) - f. Solve -3 = 2*x + n, c = x - 3*x - 3*n for x.
1
Let u(b) = -b - 5. Let p be u(-7). Suppose -319*o + 45 = -310*o. Solve -c = -3*f - 3*c, o*f = p*c for f.
0
Let o = -2339 + 2343. Solve 0 = 4*a - 8, -8 = -0*b + o*b + 2*a for b.
-3
Let s = -43 - -58. Let y(a) = -a**3 + 16*a**2 - 16*a + 19. Let k be y(s). Solve 3*r = 5*f - 25, -5*r + 2*r - k*f - 7 = 0 for r.
-5
Let q be 17 + (1 + -2 - -2). Suppose 14*y = q*y. Solve -5*v - 5*k = -y*v - 50, 0 = -5*v + 2*k + 15 for v.
5
Let c be (-8)/(3/(-2)*(-92)/(-69)). Solve -c*w + 2*m + 6 = 0, -4*w + 6 = m + 15 for w.
-1
Let s be (-4)/((-4)/(-13)) - -1. Let q = s + 14. Solve t = q*t + 5*u + 11, -4 = -2*t + 3*u for t.
-1
Let c be (-1)/5 - (-344)/20. Suppose -c*m = -7*m. Solve o + 2*r - 3*r + 8 = m, -2*o = -4*r + 22 for o.
-5
Suppose p = 5*t + 14 - 31, 0 = 4*t + p - 10. Solve -a - 10 = -2*x - 0*a, 0 = -t*a - 12 for x.
3
Suppose -3*c + 43 = 4*a, -2*c + 20 - 6 = -a. Solve 4 = -q + 3*r, 7*q - 2*r = 4*q + c for q.
5
Let s = 20 - 15. Suppose 3*a - 4 - s = 0. Solve 5 = 5*v + n, a*v - 4 = -3*n + 11 for v.
0
Let w(y) = 2*y + 7. Let r(d) = d**3 + 5*d**2 - 2*d - 7. Let t be r(-5). Let i be w(t). Solve 0 = -2*a - 4*s - 8, 0*a + i = -a - 5*s for a.
2
Suppose -4*i + q + 3 = 0, -5*q - 9 = -4*i - 26. Let j(b) = -b**2 + 6*b + 9. Let o be j(7). Solve 0 = -y + i, -2*n = 3*n + o*y - 9 for n.
1
Let s(c) = -6*c. Let a be s(-10). Suppose 2*y - a = 10. Suppose 3*i - 5*n + 55 = 7*i, y = 2*i + 5*n. Solve i = 2*g - 4*h - 0*h, g - 5 = h for g.
5
Let x be (-91)/(-35) + 4/10. Let a = 214 + -142. Suppose -5*l + 8 + a = 0. Solve -b - 4*w - l = 0, 4*b - x = -3*w - 2 for b.
4
Suppose -o + 0*o = -7. Let a be (-1 - -4)*(2 + o). Let w = 31 - a. Solve 5*m - 26 = 2*j, 5*m - w = j + 19 for m.
4
Let l be (2 + 2)*(-4)/8. Let y be 7/2 - 1/l. Solve 3*o = -y*r - 3 - 1, o = -5*r + 6 for r.
2
Let q be (-6 + (-65)/(-13))/(2/(-6)). Solve 5*i = 2*g - q*g + 15, 0 = 4*g - 3*i - 14 for g.
5
Suppose -d - 1 = 5*q - 14, -q - 2*d + 8 = 0. Let y be 5 - (-1)/2*q. Solve -4*g + 13 = 5*m, -12 = g - y*g - 2*m 