 for w.
-3
Suppose 3*s + 11*l - 7*l + 5 = 0, 2*l = 4*s - 30. Solve -s*q - 8 = 2*c - 13, 5*q - 15 = 0 for c.
-5
Let i be 4/(-22) + (-966)/1155*-5. Let w = 5 + 5. Solve 2*b + i*s = w, -2*s + 25 = -4*b + b for b.
-5
Suppose -2*z + 3 = r, -2*r + 12*z = 17*z - 4. Solve -5*m - 2*j - 35 = 0, 0 = -3*m + 4*j + r - 2 for m.
-5
Suppose -15 = -3*u, -i = -0*u - 4*u - 4. Let q = -116 - -140. Let c = q - i. Solve c*h - 2*p = 2*h + 4, -3*p + 22 = -4*h for h.
-4
Let q be 9*(-3 - 1)/(-12). Solve g - 4*z = q, 0 = 3*g + 2*z + 41 - 36 for g.
-1
Suppose -799 = 19*y + 113. Let x = y + 54. Solve 2*j = -j + x, 2*j = d - 1 for d.
5
Let n(w) = 47*w - 21. Let d be n(3). Let x be (4/10)/(4*6/d). Solve 5*c = -x*g - 11, c = -g - g - 7 for g.
-3
Let r(j) = j**2 - 18*j + 65. Let x be r(13). Let q(v) = -6*v + 2. Let f be q(x). Solve 5*d + f = -3*y + 22, 0 = d + 5*y - 4 for d.
4
Let u = -48 - -77. Let m = u + -21. Suppose 2*g + m*g = 0. Solve -5*h - 40 = -5*k, 2*h + h - 4*k + 29 = g for h.
-3
Let j = -190 + 656. Let r = j - 463. Solve -k = -4*k, -2*n + 8 = -r*k for n.
4
Let q = 16777 + -16774. Solve q*n + 126 = 3*s + 150, -5*s - 19 = 2*n for s.
-5
Suppose 3*i = -o - 0*i + 20, 0 = 4*o - 5*i + 22. Suppose 4*g = -t - 9, 0 = -5*t - 2*g - 6 + 15. Solve 0 = -t*c + 2*q + 1, 0 = o*c - 2*q - 5 + 1 for c.
-3
Let t(n) = n + 41. Let o(k) = 39. Let x(l) = 5*o(l) - 4*t(l). Let d be x(7). Solve -4*f = -d*h - 5, 3*h - 2*f = -4*f + 25 for h.
5
Let g(h) = -h**2 + 30*h + 306. Let b be g(38). Solve -2*d - 3*f - 9 + 21 = 0, -b*d + 5*f - 20 = 0 for d.
0
Let i be -8 - (27/9 - 13). Solve f = -0*f - i*t + 13, -4*f = -3*t - 8 for f.
5
Suppose 31*y - 1116 + 1023 = 0. Suppose -3*f = 2*f - 10. Solve 0 = f*w - 2*j - 2, -2*w - y*j = j + 28 for w.
-4
Let h(q) = 2*q - 1. Let z be h(4). Suppose 0 = 346*p - 277*p - 185 - 91. Solve 2*v - z*v - p*m = 0, 5*v = -m + 15 for v.
4
Suppose 3*s - 4*n = 1480, 2*s + 2*n = 1355 - 387. Let t = 496 - s. Solve -2*g = -2*u + g, t = 2*u + g for u.
3
Let l(r) = r**3 - 2*r**2 - r + 2. Let a be l(3). Let i(q) = 6*q - 37. Let h be i(a). Solve -5*o + 17 = 3*c - c, -h = c - 4*o for c.
1
Suppose -3*v + 5*r = -7, -3*v + r = 7 - 18. Solve 4*z - 7*z = 3, -4*z - v = 5*l for l.
0
Let u be (-10)/8*(-38 + 34). Suppose -u = -2*t + 5*c, 57*t - 62*t + 28 = 3*c. Solve 3*n + 15 = 0, -4*q + 2*n - t = -q for q.
-5
Suppose 1106 = -6*c + 314. Suppose 873 = -13*z - 843. Let x = c - z. Solve x*n + 5*g + 8 = -4*n, -4*n - 2*g = -4 for n.
3
Suppose -4*c + q = -14, -2*c + 3*q - 1 = -13. Suppose 5*u + 10 = b, 8*b - 5*u = c*b + 70. Solve 6*d - b = d - 2*i, -12 = -4*d - i for d.
3
Suppose -1514 = -241*f + 340 + 2484. Solve 4*d + 20*m = f*m, 6 = d + 2*m for d.
-2
Suppose -31*x - 73 = -2*p - 26*x, 2*x - 66 = -2*p. Solve 0 = n + 5, 0 = -2*d + 39*n - p*n + 15 for d.
-5
Let c = -4354 - -4359. Solve 0 = -3*k + 2*o + c - 3, -k = 3*o - 8 for k.
2
Let k be (8/(-3))/(732/(-1098)). Solve -2*b = -4*j - 12 + 26, -k*j + 5 = b for b.
-3
Suppose 6*w - 12 = -5*b + 3*b, 3*b = -3*w - 6. Solve -8 = -2*n + 4*s, n - 4*s + w - 14 = 0 for n.
-2
Let q be 9/(-3) + 3/6*-246. Let k = q - -131. Solve -3*p - z = 6 + k, -5*z = 5*p + 25 for p.
-3
Let s be (-16)/(-36)*(-756)/(-168). Solve -5*i - 5*x - 30 = 0, -4*i + s*x = -3*x - 21 for i.
-1
Let g be (124/(-186))/((-8)/36 - 0). Solve -7*u = 4*l - 12*u + 24, -12 = -g*u for l.
-1
Let x = -3778 - -3778. Solve 2*w = -5*c - x*c + 15, -4*w - 5*c = -25 for w.
5
Let h be (-2)/(0 + 6/(-15)) + -567. Let n = h - -565. Solve -6*p - l = -5*p + 2, 2 = n*p - 5*l for p.
-1
Suppose -24 = -2*t + 2*q, -59*t - 3*q = -55*t - 104. Solve 0 = 2*d + 4*n + 18, -d - 23*n = -t*n + 11 for d.
-5
Let b be (-24654)/15 - 33/(-55). Let q = 1660 + b. Suppose 31 = 4*h + 11. Solve 5*z = -k + 11, h*z - q = -4*k - 3 for k.
1
Let i be (-754)/(-182)*1 + (-2)/14. Solve i*c - 17 = -5*d + 3*c, -5*d + 3*c = -29 for d.
4
Suppose 0 = 125*d - 116*d. Solve 3*q = 4*t - d*t + 7, -5*q = -25 for t.
2
Let c(m) = -m**2 - 50*m + 2. Let q be c(-50). Solve q*z - 2*f = -2 + 6, 5*f + 7 = 2*z for z.
1
Suppose 13*q - 672 = -3*q. Suppose -51*o - q = -53*o. Solve d = f - 9, d + o = 5*f - 4 for d.
-5
Suppose -13 = 20*j - 57 - 16. Solve j*m - 12 = 3*d, 3*m + 4 = 4*d + 4*m for d.
0
Let t be (1 + -2)/(365/(-185) - -2). Let f = t + 34. Let v be (16/6 + f)/((-3)/27). Solve 0*x - 4*w + 4 = 3*x, -4*x + 3*w = v for x.
0
Suppose -479*z - 80 = -1256 - 740. Let b(i) = i + 2. Let y be b(2). Solve -y*l + 0*n - z*n = 20, -l = -5*n - 1 for l.
-4
Let z(s) = 2*s**3 + 16*s**2 - 40*s - 315. Let c be z(-8). Solve -10*q + 25 = -5*q, c*r - 2*q + 5 = 0 for r.
1
Suppose 3*c = -2*j + 11, -21 = -3*c - 3*j - 9. Let w(n) = -1813*n - 21754. Let a be w(-12). Solve -c*m = f - 3*f - 9, 2 = a*m for f.
-3
Suppose -24 = 50*g - 58*g. Suppose 70 = 5*a - 5*k + 40, -g*a - 3*k = -18. Solve -4*r = -5*h + 7, 3*h + a*r = 5*r + 11 for h.
3
Let f(x) = 111*x - 2120. Let m be f(20). Solve h + y + 8 = 0, m*h - 99*h + 2*y + 11 = 0 for h.
-5
Suppose 12*y - 15*y + 2*y = -26. Solve -b - 27 = -5*m, 4*m - y = 4*b + 2 for m.
5
Let g = -97 - -301. Let s = -204 + g. Solve a = -3*a - 3*v, s = -a - 2*v for a.
0
Let w = -968 - -971. Solve -5*g + 14 = w*y, 3*g + y = 5*g - 10 for g.
4
Let r(o) = -o**3 - 19*o**2 - 18*o + 9. Let k be r(-18). Solve 0 = -2*w - 5*b + k, 4*w - 14 = b - 7 for w.
2
Let d = 328 + -322. Solve 5 = -2*o - 3*p, d = 3*o - p - 3 for o.
2
Let x(a) = a + 1. Let b(u) = -9. Let c(z) = -b(z) - x(z). Let l be c(8). Let v be (44 + -6)*3/6. Solve 4*g + 3*d + l = 9, 5*g - 4*d = v for g.
3
Let n(m) = -2*m + 6. Let j = 316 + -313. Let d be n(j). Solve d = -2*a - c + 14, c + 3*c - 6 = 2*a for a.
5
Suppose 3*l - 52 = -37. Let z be l/(4/16*4). Solve -4*y - 2*d = 14, 0*y + z*y + 40 = 5*d for y.
-5
Let g be 68/18 - (-12)/54. Suppose -5 = 3*b + 10, 0 = 3*p - g*b - 26. Solve -5*t + p*r - 25 = 7*r, 0 = -t - 2*r - 10 for t.
0
Let l = 21 + -21. Suppose l = 4*c - 41 - 19. Suppose -2*y - y + c = 0. Solve -1 = -4*w - i, -2*i + 11 = y*w - 4*i for w.
1
Let o = 151 + -108. Suppose 71 = 6*u - o. Let y = 21 - u. Solve 5*q - 2*w = -17, -3*q + y*w + 2*w + 1 = 0 for q.
-5
Suppose g = -4*g. Let c be 6/1 + -7 + 0 + 1. Suppose c = 113*k - 95*k - 36. Solve -4*r + 2*m - 8 = -g*m, k*m - 2 = 2*r for r.
-3
Let l(z) = z**2 - 13*z + 31. Let b be l(11). Let y(t) = -t**3 + 8*t**2 + 11*t - 14. Let r be y(b). Solve 3*m + 5*w - 2 = 0, 2*w = r*m - 18 - 2 for m.
4
Let q = 1686 + -1682. Solve q*g + 6 + 7 = -5*d, 4*d = 5*g - 35 for d.
-5
Suppose -5*u - 386 = -5*w - 381, 4*w - 12 = 2*u. Solve 3*y = 3*v + 9, -w*v - 5*y = -3*y - 6 for v.
0
Suppose -182 = -5*v - 157. Suppose 2*w + 0 = -3*c + 19, v*w - 5 = c. Solve o = u + 4*u, -c*u + 2*o = -5 for u.
-1
Let g = 87 - 87. Let f = g + 13. Suppose -q = -f*q + 48. Solve z + q*u + 0*u = 0, -5*u = z + 1 for z.
4
Suppose 23*u - 30*u = 7. Let m be -2 - 7/7 - (-4 + u). Solve -5*n = 4*o - 29, -2*o + 2 = -m*n + 10 for n.
5
Suppose -4*s = 2*k - 5 + 13, 3*s = -3*k. Solve -3*g + 7 = k*y + 18, -5*y - 4*g - 13 = 0 for y.
-5
Let n(k) = 11*k**2 + 14*k - 37. Let c(y) = -2*y**2. Let r(o) = 6*c(o) + n(o). Let f be r(6). Solve -v + 0*j = -j + 1, f = 4*v + j for v.
2
Let a = -188 + 408. Suppose 0 = 2*y - 6*y + a. Let b be (7 + -2)*44/y. Solve b*h = -3*s - 21, 32 - 2 = -5*s - 5*h for s.
-3
Let u(i) = 231*i - 16. Let v be u(-1). Let j = v - -282. Suppose 5*q = 4*y - 0*q, -5*y + 3*q = 0. Solve -s + 20 = -5*a, 4*a = -y*s - 3*s - j for a.
-5
Let r = 4696 + -4653. Solve y + 4*c + r = 49, -1 = y - 3*c for y.
2
Let t = 407 - 361. Let r = t + -46. Solve 0 = n - 3*k - 11, 5*n - 2*k + 0*k - 16 = r for n.
2
Let i(y) = 9*y - 13 + 46 - 6 - 12. Let f be i(-1). Solve 9 = 5*m - 5*d - f, 3*d = -4*m - 16 for m.
-1
Suppose 3*k = -q, 2*q + 2*k - 7 = 1. Let a = 10 - 7. Let n be 21 + 824/(-40) + (-13)/(-5). Solve 0 = -q*z + z + 5*l - 45, -a*l = n*z + 3 for z.
-5
Suppose h - 15 = -1. Let q = h + -10. Let i = 6 + -2. Solve 2*t - 30 = i*k, t - q*t = -k - 20 for k.
-5
Let a(o) = -o**3 - 51*o**2 + 50*o - 77. Let c be a(-52). Solve -f = -22*k + 27*k - c, 0 = -k + 5 for f.
2
Let x be (-425)/(-170) + 3/(-6). Solve -4*u + x = -3*r, u + 28 - 26 = 2*r for u.
2
Suppose -7*r + 10 = -6*r. Suppose 23 = r*g - 7. Suppose 3 - 12 = -g*j. Solve 3*a = -2*n - 16, j = -n - a - 3 for n.
-2
Suppose 0 = 24*v - 128 + 32. Suppose 0 = -11*x - 12*x + 30*x. Solve -q + 2*q = 