 for y.
-1
Let j = 79 - 15. Suppose -9*u = -u - j. Solve -5*x + 5*w + 5 = -20, u = 3*x + 4*w for x.
4
Let o(s) = -17*s**2 + 11*s - 23. Let n be o(2). Let z = n + 72. Solve z*y = f - 15, 2*f + 20 = -4*y + 6*f for y.
-5
Let a be 268 - ((-5)/(-8))/(6/48). Let f = a + -248. Solve 4*q = 4*c + 3 + 17, 0 = 3*c + 3*q + f for c.
-5
Suppose -774*t = -783*t + 81. Solve 3*j = 2*k + 8, 11*j - t*j = k + 5 for k.
-1
Let d be 9 + 4 + (-3 - 4). Let n = 1623 + -1621. Solve 0 = 5*m + 4*v + n, 3*m + 4*v - d = -4 for m.
-2
Let f be (-2)/(-6)*4 - 24/(-36). Let j = -364 - -367. Solve -j*d - 9 = 3*i, i + f*d = -d - 9 for i.
0
Let z be (2 - 1)/(7 - (-374)/(-55)). Solve r - 16 = 4*c + 7, -z*c + 5*r = 40 for c.
-5
Let s = 1027 - 554. Suppose 478*l - s*l - 10 = 0. Solve 4*w - 12 - 9 = y, -l*y + w = 14 for y.
-5
Let d = -5 + 9. Suppose 35*p = -530*p - 601*p + 3498. Solve 10 = 3*m + d*f, p*f - f + 2 = -5*m for m.
-2
Let v be (4 + (-5 - -2))*(0 + 289). Let q = 294 - v. Solve 0 = -2*m - 5*o + 6 - q, -4 = 3*m + 2*o for m.
-2
Let l(o) = -o**3 + o**2 - o - 11. Let f be l(0). Suppose 0 = -17*m + 92 + 146. Let g = f + m. Solve 0 = 5*a - g*x, -x + 4*x = 3*a - 6 for a.
-3
Let s(h) = -h**3 - 21*h**2 - 60*h + 154. Let j be s(-17). Solve 5*m = n - j, 14 = -5*n - m - 0 for n.
-2
Let k(b) = b - 1. Let r be k(1). Suppose 0*v - v + 9 = r. Suppose 64*n - 5*p = 61*n + 4, -4*p + 4 = 0. Solve 3*c = 3*i - 9, 0 = 4*i - n*c - 0*c - v for i.
0
Suppose -17110 + 2270 = 14*n. Let h = n - -1062. Solve 0 = -2*i + 4*v + 10, -3*i - 2*i - h*v - 35 = 0 for i.
-5
Let j = -95 - -132. Suppose -97 + j = -4*t. Solve 0*s = 4*s - a + t, -15 = 3*a for s.
-5
Suppose 3*b = 6*b - 1017. Let g = b - 327. Solve -4*r = -2*h - 2*h + g, 3*r - 15 = -5*h for h.
3
Let h be (2/10 - 0)*(-500)/(-300)*9. Solve -5*w - 6 = 4*m, 29 - 9 = 4*w - h*m for w.
2
Suppose -78 = -71*w + 96 + 39. Solve 8 = -6*p + 2*p + w*s, 5*s = -2*p + 22 for p.
1
Let d = 5201 + -5197. Solve w - o - 7 = 0, o = -w + d*w - 9 for w.
1
Let x = -30 - -42. Suppose -52 = -x*r + 128. Suppose 3*h - 4 = 2*j + 11, -3*h = 3*j - r. Solve -3 + 4 = f - 2*o, h*f + 28 = -o for f.
-5
Suppose -3*q = -0*q - 12. Let f = -460 + 464. Solve 0 = d + k, -2*k - 20 = -f*d + q for d.
4
Let i = -29 - -30. Let g be 14*(i + 20/(-28)). Solve -2 = 5*y + 4*q + 20, 0 = g*y + q + 11 for y.
-2
Let y(o) = -o**3 + 11*o**2 - 16*o - 14. Let j be y(9). Suppose 5*q - 10 = -5*l, 9*q = -5*l + 12*q + 18. Solve 0 = -i - 2*v + l, -v + 2 = 2*i - j for i.
3
Let v = 51 - 37. Suppose -v*b + 440 = -3*b. Suppose 4*i - 2*x - b = 2*x, -2*i = 3*x. Solve -i = 2*u, n = 5*n - u - 3 for n.
0
Suppose 54*n - 73 = 143. Solve 4*d = -5*f, -d + n*f = 8*f - 11 for d.
-5
Suppose -5*x = -4*o - 25, -o + 3*x - 5 = 2*x. Suppose 9*a + 7*a - 48 = o. Solve -w - 16 = 3*m, 0 = -4*m + 2*w - a*w - 21 for m.
-5
Let k = -815 - -821. Solve -3*b = -4*c - 6, k = -c - 2*c + 3*b for c.
0
Let b = 18737 + -18722. Solve c = -2*w + 5*w - 13, 5*w = 5*c + b for w.
5
Let j = -436 + 429. Let t be (-26)/j + 94/329. Solve 0 = 2*s - 6, t*s + 2 - 18 = 2*r for r.
-2
Let n = -295 - -295. Suppose -5*k + 2*s + 21 = n, 2*k = 5*k - 5*s - 24. Solve 2*h + 4*d + 3 = -k, 8 = -4*h - 4*d for h.
-1
Let z(b) = -b - 8. Let s(a) = 4*a + 27. Let y(q) = -2*s(q) - 7*z(q). Let c be y(-1). Solve -h - 10 = 4*d + 7, c = -d for h.
-5
Suppose -15*j - 6 = k, -29*j + 27*j - 5*k - 30 = 0. Solve t + 7 = -3*l, j*t + 4*t = 4*l + 20 for t.
2
Let r(k) = -2*k**3 - 108*k**2 + 21*k + 1137. Let h be r(-54). Solve 5*s + 12 = h*l, -35*s = -31*s for l.
4
Suppose 0*t + s + 20 = -t, -5*t - 4*s - 96 = 0. Let a = 13 + t. Let z be (-2)/(a + 2) + 0 + -2. Solve 0 = 4*y - 12, 9 = -2*d + y - z for d.
-3
Let y = 110 - 108. Suppose c + 3*v = y, -8*c + 5*c - 3*v = -6. Solve 2*t = -c*o + 3 + 5, -5*t + 2*o = -27 for t.
5
Let r be 11/3*60/(260/13). Solve 0 = -g + 2, -6*l = -r*l + 3*g - 1 for l.
1
Let f(k) = 2*k - 18. Let q be f(11). Suppose 5*u + 2 = -3, -3*b - 4 = q*u. Suppose b = -4*v + 4 + 12. Solve -4*p - m - 15 = v*m, 15 = 2*p - 5*m for p.
0
Let n(c) = -c**3 - 3*c**2 + 3*c. Let b be n(-4). Let q(k) = -25*k**2 - 179*k - 170. Let f be q(-6). Solve 24 = -f*x + t + b, 3*x + 15 = -2*t for x.
-5
Suppose 142*d - z + 5 = 141*d, -5*d = 4*z - 20. Solve 2*q = -d*q - 2*n, -2*q + n + 15 = 0 for q.
5
Let c = 21410 + -21395. Solve 5*o + 17*g + 17 = 19*g, 0 = -4*o + 3*g - c for o.
-3
Let l(y) = -y**3 + 20*y**2 + 26*y - 63. Let c be l(21). Let s be (-2 - (-14)/6) + c/9. Solve -s*u = 3*h - 3*u - 9, 17 = 4*h + u for h.
5
Let k be 58/12 - ((-70)/60 - -1). Solve k*m = -d + 12, -2*d = -4*m - 0*m + 4 for d.
2
Let v = -795 - -811. Suppose -2*s = -r + v, -2*r - 3*s + 27 = -2*s. Solve r = 3*k + 4*p + 41, -5*k = p + 28 for k.
-5
Suppose 21*a - 27*a + 1590 = 0. Suppose -247 = 3*o - a. Solve -2*k - 15 = -3*g, 4*g - k = 9 + o for g.
3
Suppose -930 = -93*j + 186. Solve u - 20 = 3*u - 5*c, 2*u = 3*c - j for u.
0
Suppose 3*x = l - 14, 7*x - 5*x = -l - 6. Suppose 5*k + 4*p - 26 = 0, -3*k + 3*p - 7 + 1 = 0. Solve l*f = -3*r + 25, 2*f + 2*r + k*r = 30 for f.
5
Suppose 0 = 5*y + 3*c - 53, 5*y - 2127 = 5*c - 2122. Let v = -3 + 6. Solve y*p = -v*r + 2*p - 9, -r + p - 3 = 0 for r.
-3
Suppose -20*x + 5*o = -23*x - 2, x + 2*o + 3 = 0. Solve i + 10*j - 4 = x*j, j = 0 for i.
4
Let b(f) = f**2 + 3*f - 23. Let z be b(9). Suppose -o + 32 - z = 0. Let d = o + 73. Solve -d = -5*k - c, 2*k - 33 + 3 = 4*c for k.
5
Suppose 218*q = 214*q + 12. Suppose -3 = a + 3*v, a + 7 = q*v + 16. Solve -2*c - c - 8 = -l, -a*l - c = -4 for l.
2
Suppose -3*m = 4*z - 896, z - 4*z - 4*m + 672 = 0. Suppose -k + 9*k = -z. Let w = 33 + k. Solve 5 = -4*t + 2*o - w, -10 = -2*o for t.
0
Suppose 21*o - 16*o - 3616 = -2*h, -h = 5*o - 3618. Let c = 724 - o. Solve 5*y - 50 = -c*y + 5*q, 5*y + 4*q = 5 for y.
5
Suppose -431 = 127*c - 1066. Solve 9 = 5*m + c*y + 44, 5*y = m - 23 for m.
-2
Let r(h) = -10*h + 37. Let w be r(-6). Let p = w + -94. Solve 0 = 2*x + p*z - 7, 0*x - 4*x - 3*z - 1 = 0 for x.
-4
Suppose -3*g + 1288*m = 1289*m - 495, -4*g - 2*m = -658. Solve -5 = -5*c + 3*f, -g*c = -170*c + 4*f + 4 for c.
1
Let b(z) = -z**3 + 2*z**2 + z - 53. Let r be b(0). Let h = 3 - r. Let i = h - 53. Solve -10 = 5*c - i*w, -2*c + 21 = 2*w + 9 for c.
1
Let o(j) = -j**2 + 8*j + 4. Suppose 0 = -2*x + 4 + 12. Let l be o(x). Suppose -l*b = -12*b + 32. Solve 5*k + z + 5 = 0, -3*k + 3 = -b*z + 6 for k.
-1
Let o = 6 + -3. Suppose 5*p = -5*c + 35, c = -5*p + 4*c + 19. Let r(f) = 2*f**2 + 6*f - 62. Let n be r(p). Solve 6*g + 5*m + n = 2*g, o*m + 4 = g for g.
-2
Suppose -8 = 2*i + 5*l, -48*i + 49*i - 2*l = 23. Solve -10*u + i*u = -5*c, 3*u = c - 16 for c.
1
Let o(a) = -288*a - 1726. Let u be o(-6). Solve -2*p = u*p + 4*g + 24, -4*p = -2*g for p.
-2
Let q be (2/6 + -1)/((-8)/60). Solve q*a - 30 = 2*f - f, 2*f + a = -5 for f.
-5
Let i = -130 + 122. Let w be (i/(-16)*0)/4. Let f = 1 - -1. Solve 2*o + 3*z = -0 + f, w = -4*z for o.
1
Let i be 84/24*(3/7 + 3). Let s = i - 12. Solve s = g + 5*f + 20, -g = -5*g - 2*f - 26 for g.
-5
Let j = 352 + -310. Let o be (j/3)/(4*1/6). Solve -3*r - o = 3*c, -r - 11 - 8 = 5*c for c.
-3
Suppose 11*q + 186 - 110 = 49*q. Solve -2*o - 4*v = -28, q*o - 2*v = -5*v + 23 for o.
4
Let d(x) = -x**3 + 17*x**2 + 17*x + 23. Let i be d(18). Suppose 5*o = 5*g - 35 - 105, -15 = i*o. Solve 2*w - 4*m - 6 = -4, 2*w + 5*m = -g for w.
-5
Suppose 16 - 4 = 3*j. Let p(b) = -b**3 + 5*b**2 - 6*b + 13. Let x be p(4). Solve -2*z - x = a, -a - 10 = j*z - 3 for z.
-1
Suppose -2*o + 5*y - 2*y = 27, -4*o - y = 89. Let m be (-12)/o + (-85)/(-35). Solve 8 = m*l - 2*i + 26, 5*i - 35 = 5*l for l.
-4
Let v(g) = -8*g**2 + 2*g - 12. Let j be v(3). Let l = j - -83. Let x be 0*(-7)/42 + l/1. Solve -x*h - 22 = -4*d, 0 = 5*h - 2*d + 3*d + 7 for h.
-2
Suppose 0 = o - 4*s + 5*s - 5, -3*o + 17 = 4*s. Solve -4*y + o*m + 8 + 8 = 0, 4*m = -y + 4 for y.
4
Suppose 3*m = -x - 0*x + 86, -m + 3*x = -12. Let c be (-7)/(140/(-8))*-10. Let i(j) = j + 5. Let l be i(c). Solve -l = -5*k - 2*h - 16, 2*k = -5*h - m for k.
-1
Let s(z) = -z**2 + z + 8. Let o be s(-2). Suppose -4*b - 3 = o*v - 11, 0 = -5*v. Solve -3*i - 3 = -w, b*w + 3*i + 21 = -3*w for w.
-3
Let l(c) = -c**3 - 15*c**2 - 45*c - 4. Let n be l(-4). Solve 9*h = 5*h - 2*o, -2*h + o + 4 = n for h.
1
Suppose 3*b + 2*j = 2, b = -5*j + 196 - 191. Solve b = v - 3*c - 6, 3*v +