s be y(6). Suppose 3*g = h - 27, -11*h - 2*g + 94 = -7*h. Solve 4*o - 13 = s*x, -3*x + 0*o - h = 3*o for x.
-5
Let x be (-6 + 3 + 0/(-2))/1. Let q be -3 - (-2)/x*-12. Solve -w = 4*w - q*h + 20, 0 = 5*w - 2*h + 5 for w.
1
Suppose -12*m + 136 = 40. Solve 2*b = c - m, c - 2*b = 6*c + 20 for c.
-2
Let s(k) = -k**2 - 2*k + 35. Let h = -126 - -131. Let p be s(h). Solve p = -d - 2*c, 2*c - 2 = -0 for d.
-2
Suppose 0 = -3*z + 4*x - 6, 26*z - 28*z + 19 = 5*x. Solve 5*r = -z*a + 20, -14*r = -10*r + 2*a - 18 for r.
2
Suppose -911*p + 908*p + 15 = 0. Solve 10 = -5*c + p*g - 0, c = 2*g - 6 for c.
2
Suppose -24 = -2*h - 3*m, -34*h = -31*h - 4*m - 2. Solve -p + a = -h, -p = -2*p + 3*a + 12 for p.
3
Let d(g) = -86*g**3 + g**2 - 1. Let m be d(-1). Let r = -82 + m. Solve -3*k + r*y = -7, -5*k - 3*y = 2 - 4 for k.
1
Let c = -89 - -99. Solve 0 = 5*y, 5*y + 10 = 4*v - c for v.
5
Suppose 2*k = 5*n + 4*k - 26, -4*n - 2*k = -22. Suppose -6 = -n*w + 7*w. Let h be 0 + 1 - (w + 1). Solve 2*l - 15 = 5*l - 3*i, -i + 5 = -h*l for l.
0
Suppose -t - 4 + 26 = -4*x, 2*x + 10 = 0. Solve 8 = -4*a, -5*i + t*a = -5 + 1 for i.
0
Suppose -u = 4*m - 41, -2*u + 3*m = 3*u - 90. Suppose -u*o + 24 = -15*o. Solve 5*r - 50 = -5*y, 2*y + 35 = 5*y + o*r for y.
5
Let m(w) = -w**3 + 4*w**2 + w - 3. Let k be m(3). Let l = -13 - -12. Let t = l + k. Solve -4*u + t + 4 = 0, -3*a = 3*u + 3 for a.
-4
Suppose -2*l + 7*y + 30 = 9*y, 2*l + y = 30. Solve -2*b + 9 = -5*z, -9*z - 4*b - l = -8*z for z.
-3
Let w = 13 - 8. Suppose 3 - w = -v. Suppose v*d = -2*l + 10, 0 = 3*l - 0*l + 5*d - 23. Solve 0 = 2*a - 3*k + 6, 2*a - 5*k = -11 + l for a.
0
Suppose 0 = -5*s - 25, -3*c + 5*s = -0*s - 37. Suppose 102 = -3*t + 114. Solve -x = 4*k - 10, -c*k + 2*x + 8 = t*x for k.
3
Let i = 80 + -54. Suppose 2*o + 4*r = 32, 2*o + 2*r - i - 10 = 0. Solve -6 - 16 = -3*t + 5*g, 0 = 4*g + o for t.
-1
Suppose -4*j = 5*j. Solve j = -3*x + 2*h - 10, -2*h - 2*h - 8 = x for x.
-4
Suppose -39*l - 48 = -204. Solve -18 - 18 = l*p - 4*b, 4*b + 9 = -5*p for p.
-5
Suppose -9 + 1 = 4*q, 0 = -2*g - q - 8. Let o be (-1)/g + (-170)/(-30). Solve 5*h = -2*f + 16, -5*h + f = o*f - 10 for h.
4
Let j = 417 - 415. Solve 2*t - f - 2 + 4 = 0, -j*f + 4 = -5*t for t.
0
Let z be (-70)/42 - (-15)/9. Let r = 6 - -9. Suppose -r = 3*f - 6*f. Solve -2 = n - 5*o, 2*o - f*o = z for n.
-2
Suppose -5*m + 19*v - 24*v = -25, 5*m - 19 = -2*v. Solve -5*f - 22 = 4*z, -4*z + m*z + 3*f + 3 = 0 for z.
-3
Let t(p) = -5*p**2 + 38*p - 5. Let r be t(7). Solve 3*m - r = -2*c, -4*m + 6 = -c - 4*c for c.
2
Let i = 82 - 78. Solve 4*v = 5*w - 5, -v - 4*v - i*w = 37 for v.
-5
Let c(x) = 2*x**3 - 3*x**2 + 10*x. Let h(q) = q**3 - q**2 + 5*q. Let b(z) = 4*c(z) - 7*h(z). Let o be b(4). Solve -o*g + 1 = -4*t + 5, 3*t = 4*g for t.
4
Let s(t) = -t - 10. Let d be s(-11). Let r = d - -1. Let u be 15 + (0 - r)/1. Solve -2*o = y - u, -4*o + 0*y = y - 23 for o.
5
Suppose 3*v = 5*l + 29, l + 1 + 0 = 0. Suppose 0 = -6*f + 10 + v. Solve -4*s - 16 = 2*q, 5*q - 1 + 6 = -f*s for s.
-5
Let w(l) = 2*l**2 - 10*l + 32. Let x be w(3). Solve -5*g - x = 0, -g + 0*g = 3*p + 13 for p.
-3
Suppose 65 + 183 = -8*o. Let q = o - -37. Solve 2*x - q = -3*t, -5*x + 4*t = -2*x + 8 for x.
0
Let q(g) = 2*g**3 - 3*g**2 + g - 1. Let y be q(2). Let d be (-3 + 4)/(-3)*-6. Suppose -3*o + 1 = -d. Solve 24 + o = -5*s + 4*r, 25 = y*r for s.
-1
Suppose 8*b = 57 - 1. Let v(n) = n**2 - 6*n - 4. Let u be v(b). Suppose -u*s = -3*c - 9, c - 2*s - 17 = -6*s. Solve 3*q + i - c + 0 = 0, -i - 4 = -2*q for q.
1
Let j be -5 + -1 - (-6 + 3). Let a be (-2)/(-5)*(2 - j). Suppose -5*u - 3 = -23. Solve 3*i + f = -9, 0*f + u = -5*i + a*f for i.
-2
Suppose -5*t + 4*t = -1. Suppose 5*h = 3*q + 3, -t = -5*h + 5*q - 6. Solve -2*z + 0*j = j + 4, 0 = -2*z - h*j for z.
-3
Let f be (1480/(-111))/((-2)/3). Solve -f = -4*l, a - 2 = 2*l - 15 for a.
-3
Let m = -84 - -86. Solve -27 = -m*i - 3*u - 2*u, i - 6 = -u for i.
1
Let k(z) = -16*z - 332. Let c be k(-21). Solve c*w = 2*v + 14, 5*v - 3*w + 27 = -w for v.
-5
Let q(t) = -9*t - 88. Let l be q(-10). Solve -4*c = -d, d + 5 = l*d + c for d.
4
Let z(r) = r**2 + 2. Let h be z(0). Suppose 12 = 5*s - 13. Suppose 6*c - s = 55. Solve -4*o + 2*y - c = 0, 4*o - 6*o + h*y - 10 = 0 for o.
0
Let z = -131 + 151. Solve -2*a = -5*h - 28, 5*h + 0 = -z for a.
4
Suppose -2*y = -8, 4*i = -y + 804 - 260. Let k be 13/5 - (-54)/i. Solve 0*c = -k*m - 2*c, 0 = -m + 3*c for m.
0
Let s = 340 - 337. Solve 10 = -2*p + 3*u, -u + s*u - 3 = 5*p for p.
1
Let s = 362 - 358. Solve -s*y + 8*k = 3*k - 3, 2*y = -4*k + 8 for y.
2
Suppose -3*g - 5*z = -4, g - 3*z + 14 - 20 = 0. Solve -5*m = k - 3, -9 = 4*m - 2*m - g*k for m.
0
Let i(k) = -k**2 + 13*k + 19. Let z be i(14). Let v(s) = 0 + 2*s - 5 + 2 - z. Let t be v(6). Solve -2*b - 16 = -4*q - t, -q - 3*b = 4 for q.
2
Suppose 0 = -u + 3*f + 3, f + 41 - 40 = 0. Solve 0*x = -2*x - 3*v - 14, u = -2*x + 4*v for x.
-4
Let l be (5 + (-4)/(-4))*(-2)/(-4). Solve -5*t = l*a - 40, -t = -3*a + t + 5 for a.
5
Let s(n) = 4*n**3 + n**2. Let b be s(1). Suppose 25 - 90 = -b*w. Suppose 21 = 2*y + 3. Solve 5*o - y = 4*p - 1, -o = 3*p - w for o.
4
Let y be -1 + (-3)/((-2)/8*3). Solve 0 = -t - 2*q - 6, t + y*q + 10 = -t for t.
-2
Suppose -3*h - 2*h - b + 22 = 0, 3*h + 5*b = 0. Suppose 0 = -4*q + 2*n - 2 - 6, 2*n = 5*q + 9. Let c = 6 + q. Solve 5*i + 15 = -c*y, -2*i = -h*y - i - 3 for y.
-1
Suppose -14 = -239*t + 237*t - 2*p, 0 = -2*p + 8. Solve -m - t = 0, -3 + 4 = q - 2*m for q.
-5
Suppose -v + 35 = 5*a, 0 = -0*v + 4*v + 5*a - 125. Suppose -v + 18 = -3*d. Solve 4*t + 2*w - 2 = 2, -4*t + d*w + 4 = 0 for t.
1
Let s(t) = 4*t**3 + t - 4. Let n be 44/24 - 3/(-18). Let m be s(n). Let x be (80/m)/((-2)/(-3)). Solve 5*u = 3*h + u - 22, -5*u - 12 = x*h for h.
2
Let s be -1 - -2*(-65)/(-10). Suppose 7*q - s*q = -115. Solve c - 7 = -2*v, -q = 2*c + c - 5*v for c.
-1
Suppose l - 25 = 3*z, 5*z + 4 = -5*l - 11. Let k = 7 + z. Let c = k - 0. Solve c = -3*v + 5*i, 14 = -4*v - 2*i - 12 for v.
-5
Let x = 23 + -8. Let o = x + -13. Let c be (-1)/(27/(-12) - -2). Solve -c*y + 4*d = -4, -o*d - d + 12 = 0 for y.
5
Suppose -383 = 9*h + 76. Let z = h + 55. Solve -3*u - 2*k - 22 = u, -17 = z*u + k for u.
-3
Let t(b) = 3*b - 3. Let g be t(2). Suppose -5*d + g*d = -40. Solve 5*f - 27 = -2*q, -q - d = -3*f - 6 for q.
1
Let h(r) = 81*r - 400. Let u be h(5). Solve -4*i - 9 = 2*j + 11, -2*i - u*j = 18 for i.
-4
Let p be (-440)/(-99)*18/4. Solve -w + 5 = -3*w + m, 0 = -5*w + 5*m - p for w.
-1
Suppose -2*g + 8 + 2 = 2*i, -2 = -2*g. Suppose -87 = 4*y + 21. Let c be (4 + y/6)*0. Solve s - 2 = c, -2*s + 0*s - 12 = i*r for r.
-4
Let j(v) be the first derivative of -v**4/4 - 3*v**3 + 3*v - 38. Let g be j(-9). Solve 0 = -2*c - t, g*c = 2*t - 0*t - 14 for c.
-2
Let s = -3613 - -3617. Let o be (2 - (-1 + -1)) + -1. Solve -2*u + 3*p = o*u - 1, u - 7 = s*p for u.
-1
Suppose 0 = 31*y + 26 - 119. Solve 3*p - 2*h + 1 = 0, y*p + h = p - 3 for p.
-1
Suppose a - 3 = 2*i, -3*i - 4*a - 9 = -21. Solve 4*w + 1 = -m, 3*w - m = -i*w + 8 for w.
1
Suppose 3*p + 70 = -i, -22 = 4*p - 3*i + 67. Let l = p - -43. Solve -5*v - l = 3*n - 0*n, 2*v = 4*n - 8 for v.
-4
Suppose -3*k - 2*k = -25. Suppose -5*q + 10 = -k. Let l be (224/(-12))/7*6/(-8). Solve q*z - 5*c + 12 = l*z, -5*c = 5*z - 30 for z.
3
Let i(r) = -r**2 + 8*r + 20. Let t be i(10). Let x be (24/18)/((-3)/(-9) + t). Solve -6*o + 3*f = -o + 4, 0 = x*f + 8 for o.
-2
Suppose -7*k - 23 = 5. Let x be (3/1 + k)/((-2)/36). Solve l + 4*b = 13, -4*l = -0*l - b - x for l.
5
Let c = 119 - 88. Suppose -c = -4*l - 23. Solve 4*h - 3 + l = -3*y, 5*y + 2*h = -17 for y.
-5
Let g be 14/(-1)*((-208)/(-56) + -4). Suppose 4*s - 6 = 3*s. Suppose 2*t - s = g. Solve -t*x + 16 = v, -4*x + 13 = -0*x + v for x.
3
Let v = 277 - 124. Suppose -3*z = l - 3*l - v, 5*l = -z - 391. Let o be (l/4)/((-3)/4). Solve -3*s = -2*b + 7*b + o, -b = 4 for s.
-2
Let q(g) = -g**3 + 2*g**2 + 2*g - 2. Suppose 6*x = 10*x. Let z = x - -2. Let a be q(z). Solve 0 = p + a*b - 7, 2*p + 10 = 6*b - 4*b for p.
-1
Suppose -3*y - 10 = -5*c, -3*y - 10 = -2*y - 3*c. Let w = 69 + -64. Solve -w*b - 7 = -p + 2*p, p = y*b + 3 for p.
-2
Suppose -2 = 4*n + 5*y, -9*n + 4*n + 4*y + 18 = 0. Solve 5*f - 2*z + 10 = 0, -2*z - n*z = 4*f + 36 for f.
-4
Suppose 13*l = 15*l. Suppose -11*d