 -g - 2*c - 1, 0 = 27*g - 26*g - 3*c - 4 for g.
1
Let q(c) = -c**3 + c + 15. Let x be q(0). Suppose -12*l + x = -9*l. Let m be ((-8)/(-2))/(-2) + 13. Solve 0*y - 3*y + 4*z = m, -4*y + l*z - 15 = 0 for y.
-5
Let a = -239 + 170. Let l = a + 111. Let b = 46 - l. Solve -1 = -f, -5*n = -n - 4*f + b for n.
0
Let b(a) = -a**3 - 6*a**2 + 10*a + 1. Suppose 23*s = 26*s + 21. Let t be b(s). Let r be (30/t)/((-1)/2). Solve 4*n = 5*d + 31, 2*n - 11 = -r*d - 3*n for d.
-3
Suppose 0 = 4*g - 8*g + 16, -3*u + g + 2 = 0. Solve -2*k - 16 = -5*r, -u*k + 7*k + 7 = -4*r for r.
2
Let y be 4/32 + (-583)/(-8). Suppose 3*t = y - 10. Solve -4*n = 3*p + 23, 5*n + 5*p + t = -9 for n.
-5
Suppose l + 2 = 3*l, 11 = 3*g - 4*l. Let y(m) = -12*m**3 - 96*m**2 - 35*m - 275. Let s be y(-8). Solve 2*q - 24 = -s*v, g*q = 3*v + 2*v - 10 for q.
2
Suppose 0 = 2*f - 5*f + 123. Let k = -108 + 71. Let a = f + k. Solve 2 = a*c + 5*x, 3*c - 2*x = 5*c for c.
-2
Let n be 176/24*(34 + -31). Solve -3*b - 6*m + 2*m - n = 0, -4*b - 28 = 5*m for b.
-2
Let z(h) = 3*h**2 + 2*h - 7. Let p be z(-3). Suppose -b = -l - 4, 0 = -3*b - 0*b + 5*l + p. Solve g + 4 + 15 = -4*x, 5*x + b*g = -22 for x.
-5
Let x = -8418 + 8422. Solve 2*p = 2*q + 8, 29 - 18 = -x*p - 5*q for p.
1
Suppose 94 - 162 = 14*q - 96. Solve -222 = -5*y + u - 240, 0 = -q*u - 4 for y.
-4
Suppose 35*d - 750 = 29*d. Let m = 129 - d. Let f(i) = -i - 5. Let u be f(-10). Solve -4*x - m = 4*n, 4*n + n - u*x - 15 = 0 for n.
1
Let y = -13 - -13. Let w be y + 2/(-1) + 4/1. Suppose w*q = -13 + 17. Solve -3*p = -q*p + 3*x - 14, 3*x = 3*p + 6 for p.
2
Suppose -887 = -48*q - 74 - 477. Solve -3*v - q = -2*k, -2*k + 102*v - 11 = 105*v for k.
-1
Let t be -1 - ((-2)/4 + 35/14) - -6. Solve -2*i + 3*j = 7, 0*j + 5*j = -t*i - 1 for i.
-2
Let u(t) = -t**3 - 37*t**2 + 4*t + 150. Let s be u(-37). Solve 4*x + 36 = -4*j, -2 = -s*j + 3*x + 5 for j.
-4
Let u = -133 + 136. Let t(i) = -i**3 - 4*i**2 + 3*i - 1. Let j be t(-5). Solve -x + 5*v - j = u*x, 2*v = -2*x + 18 for x.
4
Let f be (2 - 2) + (-2 - 152). Let d = f - -154. Solve z = -w - 1, 4*w + 4 = -z - d*w for z.
0
Let g(a) = 11*a**2 + 53*a - 5. Let n be -4 - (4 + (-12)/4). Let p be g(n). Solve -p*k = -2*o - o + 20, 12 = -3*k + o for k.
-4
Suppose 71*s - 69*s = -4*a + 28, 5*a - 37 = -3*s. Solve -a*d = 4*l - 15 + 6, d - 5*l = 25 for d.
5
Let d = -3365 + 3367. Solve -10 = -d*p + 3*v, -2*v = 2*p - 6*v - 14 for p.
-1
Let s(z) = 14*z - 19 + 76 + 24*z + 29. Let t be s(-2). Let h(p) = 2*p**2 - p - 1. Let w be h(-1). Solve g + 3*u - t = 0, w*g + 6*u - 5*u = 10 for g.
4
Let f(z) = z**2 - 4*z - 3. Let h be f(5). Let c be (-210)/40 + (-928)/(-128). Solve -4*m + i + i = 20, i = -c*m - h for m.
-3
Let u be -6*(-1 - (-6)/9). Suppose -4*y = -w + 27 - 7, 0 = 3*w + u*y + 10. Let j = 3 - w. Solve -s = 2*k, k + 6 = -2*k - j*s for k.
2
Let d(r) = -22*r**2 + 348*r + 66. Let z be d(16). Solve z*m - 5*x - 23 = 0, -2*m = 4*x + 19 + 3 for m.
-1
Let t(i) = -8*i**2 + 480*i - 459. Let w be t(59). Solve g - 4*l = 1 - 16, -3*g + 4*l - w = 0 for g.
1
Let u be (6 - 3)/(2 + -1). Suppose -2*y + 1 + u = 0. Suppose -167*p + 123*p + 264 = 0. Solve 3*n + 11 = p*q - y*q, -2*q - 5*n + 25 = 0 for q.
5
Suppose 4*t + 0*t - 24 = -4*q, 2*q - 24 = -5*t. Suppose t*f - 268 = -0*f. Let a = f + -66. Solve 0 = 4*w + 3*k + 17, 4 = -4*w + k - a for w.
-2
Suppose 6476 = -2672*l + 17164. Suppose y = -5*n + 30, 0 = 2*y - 6*y + n + 15. Suppose y*u - 2*u = 48. Solve u = o - 4*w, l*w = -3 - 13 for o.
0
Suppose f + 4*o = -3*f - 20, 3*o = -2*f - 15. Let z be (-56 - f)/((2 + 1)/(-3)). Let i be 10/4*z/35. Solve -4*x + 5*g = 8, -g - g = -2*x - i for x.
-2
Suppose 1624*a - 1632*a + 40 = 0. Solve -13*h + 16*h + 5 = 5*b, 0 = -a*b - 10 for h.
-5
Suppose 3*i + 19 = h, 103 = -h + 5*h - 3*i. Let j(f) = f**2 + 8*f - 17. Let a be j(-11). Let c = h - a. Solve 0 = s - 5*n - c, 3*s + 4*n + 2 = -0*n for s.
2
Let r = 131 + -113. Suppose 5*u - r = -4*b, -3*u = 4*b + 5 - 19. Solve -2*x + b = a, 2*a + a + 5*x = 3 for a.
-4
Suppose -2*q - 5 + 21 = 0. Let a be (-32)/q + 4 + -2. Let k(w) = 3*w**2 + w - 5. Let u be k(a). Solve 2*l - 4*l - 2*z - 8 = 0, -u*z = 2*l + 17 for l.
-1
Suppose 5*v - 1035 = -4*u, 0*u + 2*u + v - 513 = 0. Suppose 8 = -253*h + u*h. Solve -2*g + 6 = -4*k - h*g, k = -g - 1 for k.
-2
Let h be 10600/220 + 6/(-33). Suppose 12*k = h - 0. Solve -k*b + 2*n = b - 15, -2*b - 8 = 2*n for b.
1
Suppose 111*w - 103*w = 40. Let p(l) = 4*l**2 + l - 5. Let b be p(2). Suppose -2*j - 3 = -b. Solve -5*h + j*n + 25 = 0, 17 = -0*h + w*h + 3*n for h.
4
Let k = 18466 - 18455. Solve h = 4*d + k, -14*d = -3*h - 17*d + 3 for h.
3
Let t be (-1)/2*-2 - -4. Let m be (-156)/(-42) - (1 + (-9)/7). Suppose -3*w = -3*v + 28 - 4, m*v - 2*w = 26. Solve -1 = -3*u + 4*u + 2*o, -t*o = v for u.
1
Suppose -88 = -2*m - 4*p, -m - 3*p - 13 = -58. Let b(s) = 47*s - 1. Let h be b(1). Let n = h - m. Solve -n*y + 7 = -t, 5*t = t - 5*y + 14 for t.
1
Let w(q) = 2*q**2 + 172*q - 859. Let g be w(5). Solve 3*s = -4*m + 15, -2*m - 43 = 2*s - g for s.
1
Let n(c) = -c - 5. Let o be n(-10). Let l(b) = -3*b**3 + 2*b**2 + b. Let d be l(-1). Let f = -3365 - -3386. Solve -o = -s - 4, 5*v - f = d*s for v.
5
Suppose 4*d = w + 18, -21*w + 9 = d - 19*w. Let c(i) = i + 1. Let t be c(4). Solve -t*q - 15 = -d*b, 5*q - b = 2*b - 13 for q.
-2
Let n be (288/(-18) - -20) + 9/6*-2. Suppose 5*r - 2*r = 12. Solve u + 0 + n = r*o, 0 = o + 5*u + 5 for o.
0
Suppose 0 = -2*f + 5*w + 197, -6*f + 173 = -4*f + 3*w. Suppose -f*h = -83*h. Solve 2*m - 18 = -h*q + 5*q, 3*q + 16 = -4*m for m.
-1
Let o be (((-1)/(-3))/1)/(18/108). Solve p + o*m = 8 - 11, 5*p = m + 18 for p.
3
Let a(o) = 732*o - 71. Let l be a(3). Suppose 0 = 2123*u - l*u + 32. Solve 3*t - 5 - 3 = 4*r, -4*r + u = 3*t for t.
4
Let w(i) = 1262*i + 8836. Let a be w(-7). Let j(q) = -q**2 + q. Let l be j(1). Solve -11 = -z + 5*f - f, l = -z + f + a for z.
-1
Suppose 2*t = w + 5, 2*w - 32 = -2*t - 30. Let j(z) = 2*z**2 - 3*z. Let v be j(3). Solve -2*a + 1 = -5*s - 5, 0 = t*s - 3*a + v for s.
0
Let s(h) = 28*h - 2013. Let q be s(72). Solve -2*f - 13*o = -17*o - 2, 3*f = q*o for f.
-1
Let c = 460 + -27. Let h = 433 - c. Solve h = 3*z + 3*f + 15, -5 - 15 = -z + 4*f for z.
0
Suppose 3*d - 752 = 7*d - 5*t, 5*d = -2*t - 940. Let u = -183 - d. Solve -u*i + 4*g = -3 - 0, g = 2*i for i.
-1
Let p be 14868/26 - 22/(-143). Let i = -547 + p. Solve 10 = 4*t - 4*x - 18, -3*t + 4*x + i = 0 for t.
3
Suppose 6*x - 1832 = 2*x - 4*c, -16 = 4*c. Let y = 471 - x. Solve 0 = -o - 2*o - y, 2*p = 2*o for p.
-3
Let k(v) = -5*v**2 + 41*v + 2. Let i be k(8). Solve -4*c = 2*u - 12, 0 = u - 3*c - 11 + i for u.
4
Suppose 0 = -3*u + 1342 + 1301. Let k = 881 - u. Solve k = 2*g + 5*v - 12, 2*v = -g - 3*g - 8 for g.
-4
Let h(g) = -g**3 - 29*g**2 + 32*g + 60. Let x be h(-30). Solve 5*t - 3*z + 5 = 6*t, x = 3*t + 5*z - 15 for t.
5
Let z = 17 - 6. Suppose z*o - 20 = 6*o. Let g be 2 + 42/(-35) + 276/30. Solve 2*k = -o*f - 10, -6*k + f = -4*k - g for k.
3
Suppose 2*u = -2*z + 6*u + 14, 5*z + 3*u = 22. Solve 3*n - 23 = z*d - 26, d = 5*n - 17 for n.
4
Let m be (-278)/(-14) - (36/14)/(-18). Solve -16*o = -5*l - m*o + 35, 0 = 2*l - 3*o + 9 for l.
3
Suppose -d = 10*p - 56, -5*d - 25 + 65 = 2*p. Solve -189*g - 10 = -188*g + p*j, 2*g - 3*j - 6 = 0 for g.
0
Let z(u) = u**3 + 3*u**2 + u + 4. Let r be z(-5). Let j = 56 + r. Suppose 6*t - 2 = j*t. Solve -d + 6 = -b, 18 = -b - 3*b - t*d for b.
-5
Let b(t) = -t**3 - 28*t**2 + 30*t + 63. Let o = -143 + 114. Let u be b(o). Solve u = 5*x + 4*y + 5, 5*y - 30 = -5*x for x.
5
Let r = 38 + -36. Suppose m + 2*v + r = 0, 2*m = m + v + 1. Suppose -3*c + 4*l + 56 = c, m = 3*c + l - 22. Solve c = 3*x, -4*w + 3*x + x = 32 for w.
-5
Suppose -5*j + 92 = 22*i - 23*i, -3*j = -4*i - 28. Solve -3*q = -3*f - 11 + j, 2*q + f = 0 for q.
-1
Suppose 10*p - 6 = 14. Let f be -2 + 6 + (-6 - (p - 6)). Solve j + 5 = 5*u, -2*u - f*u = -5*j - 25 for u.
0
Suppose -14*o + 3*o + o = -170. Solve g + 6 = k, -2*g = 8*k - 55 + o for k.
5
Suppose -x + 1 = 3*z + 5, -4*z + 16 = 4*x. Suppose 3*b - x*b + 15 = 0. Let t(f) = 3*f - 57. Let y be t(25). Solve 2*d + i = -0*i + 9, b*i - y = -3*d for d.
3
Let n be (-44)/(-10) - 10/25. Suppose 21*i - 157 = 116. Solve -2*g - 5*p = -i, 2*g - g - n*p + 13 = 0 for g.
-1
Let x be (2 - 1)/(4/(-16)). Let y = x 