 for w.
-3
Let r = 358 - 259. Let o = -88 + r. Solve 3*p = p - 2, -2*h - 3*p - o = 0 for h.
-4
Let t = 3 + -1. Let k = -61455 - -61455. Suppose 6 = 3*b - 0. Solve -2*q - 2*d + 2 = k, -22 = -b*q - t*d + 5*d for q.
5
Suppose -5*n + 37 - 25 = -4*d, -2*d + n = 0. Solve -4*v - 12 = -3*w - w, -w = -d*v - 4 for v.
-1
Let c = -12 - -14. Let a be (-1)/(20/(-8) + c) - -2. Suppose 4 - 12 = -a*j. Solve -j*x - 2*b = 3*x + 18, -3*x + 3*b - 15 = 0 for x.
-4
Let c = 2759 + -2667. Solve 5*d + 95*n = c*n - 2, 4*d - 2*n - 16 = 0 for d.
2
Suppose 2*u + v = 149, 114*u - 118*u = 5*v - 319. Solve u*q - 73*q - 3*w - 11 = 0, 2*q + w = -5 for q.
-1
Let l(h) = 3*h**2 + 103*h + 61. Let y be l(-34). Solve 25*a - y*a = -t, -a = -5*t for t.
0
Let z(f) = -f**3 - 15*f**2 - 26*f + 28. Suppose m + 4*j + 13 = -4, 34 = -3*m + 5*j. Let g be z(m). Solve 2*k - v = v, 3*v = -4*k + g for k.
4
Let h(i) = -113*i**2 + 455*i - 10. Let m be h(4). Solve 3*n = 2*n + m*t + 5, 0 = -3*n - 2*t - 25 for n.
-5
Let x = -6245 - -6248. Solve 0 = -2*z - t - 1, -5*t + x*t = 2*z + 4 for z.
1
Let z(h) = -h**2 + 27*h + 201. Let g be z(-6). Solve g*p - 4*i + 7 = -13, 4*i = 2*p + 20 for p.
0
Suppose 0 = -2*a - 3*t + 21, t - 366 + 367 = 2*a. Solve -c = 5*u + 30, a*u + 2*c + 5 + 20 = 0 for u.
-5
Let z = 3344 + -3341. Solve -a + z = c, -6*a + 4*c = -7*a for a.
4
Let j be (17 - 19)/((-2)/3). Suppose -5*o + 13 - j = 0. Suppose -o*y + 8 = 4. Solve 3*s - 19 = 5*z, -y*z = -0*s - 4*s + 2 for s.
-2
Let w(b) = 3*b**3 - 8*b**2 - 7. Let z be w(3). Suppose 3 - 2 = s, -z*s - 13 = -5*o. Solve k + 2*j = -o - 0, -j = k + 3 for k.
-3
Let y(u) = 4*u - 45 - 11*u**2 + 10*u**2 + 2*u**2. Let l be y(5). Solve 3*g - 6*r - 40 = -r, 3*g + 5*r + 10 = l for g.
5
Suppose -n = -5*q + 14, -3*q + 9*n = 7*n - 14. Solve 3*g + 8 = q*f + 7, -3*g + 29 = 4*f for g.
3
Let w = 89 + -86. Suppose -w*d + 60 - 54 = 0. Solve 3*m - u + d - 4 = 0, 0 = -4*u - 20 for m.
-1
Let z = -1279 - -1288. Solve q + 7 = -0*q + 5*b, -5*q + 3*b = -z for q.
3
Let h be (12/5)/(35/(-50) - -1). Let f = 24 + -34. Let u be f*(-2 - 0 - h/(-5)). Solve -5*c = -4*n - 8 - 28, 4*c = -5*n - u for c.
4
Suppose 3*f - 64 + 1 = 0. Suppose 4*h - f + 5 = 0. Suppose k - 13 = 2*g, 9 - 2 = h*k + g. Solve 2*m + 2 = 5*v - m, 0 = k*v - m + 2 for v.
-2
Let d be (-1)/(30/(-18)) + 628/80*4. Solve d = 4*s - 4*z, -s = 69*z - 72*z - 18 for s.
3
Suppose -2*o = -0*o. Let z(t) = -7*t**3 + 48*t**2 + 13*t - 34. Let s be z(7). Suppose s*k - 10*k + 4 = o. Solve 3*x = 4*h - 2*h - 3, -k*x = -h + 1 for h.
3
Let x = 3351 + -3348. Solve -4*z + x*y = -31, 11*y - 7 = 2*z + 14*y for z.
4
Suppose 57*x + 56*x - 339 = 0. Solve -5*d - 15*w + 18*w + 24 = 0, -x*d + 12 = -w for d.
3
Suppose h + 14 - 19 = 0. Suppose -3*x - 1 + 7 = 4*u, -h*u - 2*x + 11 = 0. Solve -u*v = z - 1, 2*z - 2*v + 12 = -3*z for z.
-2
Suppose 0 = 6*m - 1 - 23. Suppose k + m*n + 5 = 2*k, 5*k = -5*n + 50. Let o = k - -52. Solve 18 = -2*a - 2*j, 4*j - 21 = -5*a - o for a.
-4
Suppose 216 = -3*o - 15*o. Let m be ((-6)/o*0)/(-2). Solve 3*l + 14 = l + 5*f, m = 2*f - 8 for l.
3
Let d(m) = -38*m + 204. Let a be d(5). Solve -9 = -4*g + 3*o, -5*g + 21 = o - a for g.
6
Let z = 283 - 280. Suppose -z*n - 3 = -15. Solve -3*m + 4*y - n = 0, 4*y - y - 12 = 0 for m.
4
Suppose -m - 14*z = -16*z - 7, 4*m = -z + 10. Suppose -u = -m*w - 13, -u - 5*w - 3 = 2*u. Solve u*k - t = 3*t - 20, 0 = 4*k - t + 8 for k.
-1
Let p(h) = -h**3 - 52*h - 94. Let s be p(-2). Solve 0 = f - 3, 19*g = s*g - f for g.
-3
Let p = 7 + -4. Let f = 10 - p. Let o(b) = b**3 + 18*b**2 + 55*b - 9. Let r be o(-14). Solve -f*k + 2*k + 19 = -3*y, 17 = -4*y + r*k for y.
2
Let z(w) = w**3 + 4*w**2 - 2*w - 5. Suppose -i + 16 = -5*i. Let v be z(i). Suppose 1658*h = 14422 + 5474. Solve 5*q + 20 = -5*x, -6*q - h = -v*x - q for x.
-1
Let m(y) = 2*y**2 - 15*y + 44. Let o be m(7). Let s be -1 - (2 + 1 - (o + -31)). Let c = 8 + -4. Solve -3*l + 2*l + 12 = c*t, 4*l + 6 = s*t for t.
3
Let y(m) = 5*m - 7. Let p(u) = -7*u + 7. Let t(v) = -2*p(v) - 3*y(v). Let s be t(3). Solve 0 = -3*k - s*j + 24, -4*k - 4*j + 8 = -5*k for k.
4
Let m = 2988 - 2977. Solve 4*c = l + 22, -2*l + 10*c = m*c - 1 for l.
-2
Let g be 1 - (-55)/6 - 176/1056. Solve -a + 5*r = -g, 3*r + 0 = -a + 2 for a.
5
Suppose -39*r + 177 = -34*r - l, -25 = -r - 5*l. Let i be r/15 - 2/(-6)*-1. Solve 11 = 3*n + 4*k, i*n = -2*n + 2*k for n.
1
Suppose 10*o - 765 = 15*o. Let s be (o/(-12))/(1/(-4)). Let q be s/(-21) + 27/(-63). Solve 4*t = -0*t - y, t = -q*y for t.
0
Let j = -13466 - -13470. Suppose 2*t - 5*t - 12 = -3*q, 3*t + 16 = 4*q. Let n = t + 3. Solve p = y - 4, n*p + y = -2*p + j for p.
0
Suppose -35 = -17*y + 22*y. Let f be y/((-28)/(-16))*-2. Let c be (-13 + 1)*(-6)/12 + -2. Solve k + k - 3*m - f = 0, k + 2*m = c for k.
4
Suppose 12*v = -417 - 555. Let s = 82 + v. Solve d - s = 2*w, -3*w = 2*d - 0*w + 5 for d.
-1
Let z(j) = -j**3 - 29*j**2 - 29*j - 24. Let f be 42/1*(-13)/(117/6). Let g be z(f). Solve -2*s + g*n + 0*n + 6 = 0, -s + 3*n + 4 = 0 for s.
1
Let c(d) = d**2 + 7*d - 3. Let q be c(-8). Suppose -5192 = -6*u - 5*u. Let t = -457 + u. Solve -2*n + t = -5*p, -3*n + 5 = -q*p - 15 for p.
-1
Let g be (-514)/(-2570)*(0 - 0). Solve g = 2*h - 38*v + 40*v, -2*h - 5*v - 9 = 0 for h.
3
Let z = -348 + 351. Solve 5*b - 16 = b + z*d, -24 = -6*b + 5*d for b.
4
Let k be (-6)/147 + (-2376)/(-588). Solve -k*y = -3*q + 11, 5*q - 4*y + 1 = 6 for q.
-3
Suppose -19 = -h + 2*s - 9, -s = 2*h. Solve 5*k = -0*k - 4*r - h, 5*r - 12 = k for k.
-2
Suppose 0 = -2*a + 7 + 27. Let o be (-1)/12*-172 - (-32)/(-24). Solve -2 = -m + 5*x + a, -3*x - o = -m for m.
4
Let z be ((3/(-5))/3)/((-2)/70). Suppose 2*o = x + 5, -15 = -z*o + 9*o - 5*x. Solve y = -5*j + 13, o = 5*y - 10 for j.
2
Let c be ((-56)/35 + 2)*5. Let v be (-8)/c*1*(-5)/5. Solve -2*u = y - 6, 3*y - 7*y + v*u = 36 for y.
-4
Let v = 0 - 0. Suppose -r = -v*r - 4. Suppose 4888 + 8429 - 3413 = 2476*n. Solve -r*i = 5*u - 1, u + 22 = n*i - u for i.
4
Let y be (-3*5/6)/(55/(-132)). Suppose -5*i + 25 = 0, 16 = -h - i + y*i. Solve 5*j - b - 15 = 0, -3*j + 2*b - b = -h for j.
3
Suppose 5*c - 2*h + 820 = 0, -2*h = -4*c - 3*h - 643. Let s = c - -165. Solve -4*f + 12 = 0, m + s*f - 11 - 2 = 0 for m.
4
Let l(t) = -t**3 + 2*t**2 - 5*t + 3. Let x be l(3). Let z be (-4)/3*x/14. Let v be (((-15)/(-6))/5)/((-3)/(-18)). Solve -2 = z*g + 2*o - 6, -v*o + 12 = g for g.
-3
Suppose -13 + 15 = -c - 2*r, 4*r = -5*c + 2. Suppose 3*h - c*j - 20 = 0, 0*h + 14 = 2*h - 2*j. Solve -w - f = 2*w - h, -5*f = 15 for w.
3
Let x = 59 + -56. Suppose 0 = -3*l + 4 + 32. Suppose -2*c - 4*c = 78*c - 168. Solve x*s + 23 = -2*f, -f - 2 - l = c*s for s.
-5
Let x(t) = -3*t**2 - 13*t + 143. Let a be x(5). Let p(q) = q**2 - 5*q + 7. Let v be p(6). Solve -a*w + 2*i + 11 = 4, 3*w + v = -2*i for w.
-1
Let l(j) = 2*j - 13. Let k be l(8). Let x = 26 + -22. Solve -3*u + 8 = -7*u, x*u + 23 = k*g for g.
5
Let v(f) = 5*f**2 + f + 1. Let r be v(-1). Suppose 6*m - 4*j = 86, 54*m - j + 28 = 57*m. Suppose g + 4 = 2*g. Solve -m + 56 = -r*o + 5*l, o + g*l = 11 for o.
-5
Let l = 2191 - 2182. Solve -9*j + 7 = -11*j - a, -3*j - l = 3*a for j.
-4
Let x be 0/(1/1 + (-6 - -2)). Solve x = -2*f + 2*n, 0 = -17*f + 18*f - 5*n - 20 for f.
-5
Suppose -77*b = -67*b - 370. Suppose 16*h + 5 = b. Solve h*j = -2*i + 10, 4 = 5*j - 5*i - 11 for j.
4
Let u = -16 + 21. Suppose 166 = 5*r + p + 50, -3*r + p = -68. Solve -r = -u*m + 2*q, -3*m + 4*q = 2*m - 31 for m.
3
Suppose 8 = 5*d + 3*b, 0 = 4*b - 3*b + 4. Suppose -m - d*s + 3 = 0, 0 = -4*s - s. Solve -5*w + m*n = 12, 5*n + 10 + 4 = -3*w for w.
-3
Suppose 9*r + 5 = 4*r. Let x be 2835/(-210)*(r + (-1)/(-3)). Solve -3*m + 4*m - 4*g + x = 0, -12 = -3*m - g for m.
3
Let z = 20883 - 20873. Solve 57 = -5*w - 6*l + z*l, 2*l - 21 = w for w.
-5
Suppose 2*r - 66 = -5*t - 2*r, 0 = -3*t - 2*r + 38. Suppose t*u = 3*u + 56. Suppose -20 = -13*h + u*h. Solve -4*q + 5*g + 3 = 0, -h*g + 3 = -g for q.
2
Let w(j) = 535*j - 532. Let s be w(1). Solve -32*c - 5*l + 17 = -28*c, -s*c - 5*l + 14 = 0 for c.
3
Let d be 15409/(-2433)*(-9)/19. Let n = 16 + -10. Solve d*w = 4*r - 9, 0*r - 2*w = 5*r + n for r.
0
Let o(i) = i**2 - 7*i - 55. Let s be o(12). Suppose 4*j + s*k - 17 = 6*k, 4*k = -j. Solve 0 = 4*z + c + 10, -9*z + 3*c = -4*z + j for z.
-2
Let k be 24*(-3 - 74/(-24)). Solve -