, 0 = 2*n - z for y.
0
Let u = -17 - -18. Let a = 2870 - 2865. Solve -a*b - 2*w + 1 = 0, 4*b - w - u = 5 for b.
1
Let r(a) = -4*a - 51. Let g be r(-14). Suppose 5*s - g*k = -10, -5*k + 22 = -3. Solve 0*h + h = 3*m + 12, s*h = -2*m - 8 for h.
0
Suppose -4*w + 3*h = -38, -2*w - 3*h - 30 = -5*w. Let j be 3 - (1 + 0)*-2. Suppose -j*f + w*f = 15. Solve -f*x = 3*c - 4*x - 6, -5*c = x - 8 for c.
1
Let j be (-528)/(-15)*15/(-2). Let a = j - -269. Solve a*k + 35 = 3*q, -2*k = -6*k + q - 21 for k.
-4
Let o = 30 - -49. Suppose -40*x + 41*x = -o. Let t = -63 - x. Solve 4*q - s + t = 0, -12 + 1 = q - 2*s for q.
-3
Let x(f) = -f**3 + 19*f**2 - 20*f - 5. Let a be x(6). Let z = 351 - a. Let t be 346/14 - 4/(-14). Solve z*w - t = 3*w - 5*d, 3 = w - d for w.
4
Let c(m) = 6*m**2 - 3*m - 14. Let w be c(-5). Let x = 155 - w. Solve -2*z + 4*b + 16 = 0, -x*z - 3*b + 2 = -b for z.
2
Let g be (0 + 1)*(-4 - -2) - 0. Let q(k) = k**3 + 3*k**2 + 5*k + 8. Let p be q(g). Solve -p*b + 4*h + 6 = -2, -4*h = 4 for b.
2
Suppose 4464*m = 4475*m - 22. Solve -3*i = -2*i - 5*o + 7, 2*i - 4*o = -m for i.
3
Let o(u) = u**2 + 5*u - 1252. Let w be o(33). Solve j - 1 = -w*n, -2*n + 17 - 4 = 5*j for n.
-1
Let n be (102/12 + -7)/(-3)*-10. Solve 25*u = 20*u - 5*c + n, 3*c = -u - 1 for u.
2
Let a = -2235 - -2237. Solve -3*v - 5*o - 21 = 0, v = -a*o + o - 5 for v.
-2
Let c(a) = -a**3 - a**2 + a + 3. Let z(h) = h**2 - 11*h + 21. Let v be z(3). Let n be c(v). Solve 5*f - n = -x + 3*x, 0 = 4*x - 2*f + 4 for x.
1
Suppose 30*q - 458 = -129 - 89. Solve 0 = -2*n + 5*v - q, -n - 380*v + 381*v = 1 for n.
1
Let r be -9*13/(-117)*(-30)/(-2). Suppose -10*y = -5 - r. Solve o + 5*b - 38 + 14 = 0, y*o - 4*b + 8 = 0 for o.
4
Let m(t) = t**3 - 7*t**2 + t + 4. Let g be m(7). Suppose q + 4320 = -7*q. Let c be 4/(-22) - 11/(726/q). Solve -3*v - g = 4*k, -k - 3*k - c = 0 for v.
-1
Let q(m) = -m**2 + 8*m + 50. Let x be q(-4). Suppose 0 = -5*b + n, x*n = b + 13 - 4. Solve -a + 6*a + 20 = -5*c, 2*a - c = b for a.
-1
Suppose -25 = -3*v - 5*b + 9, -3*v + 4*b = 11. Let r(k) = -68 - 100 + 2*k + 2*k + 4*k + 2*k. Let z be r(18). Solve -2*u = -n + v - 13, -4*u = -z for n.
-4
Suppose 8*g - 2*w + 3 = 11*g, 2*g - 3*w = 15. Let t be ((-6)/(-4))/((-3)/4). Let l = 2 + t. Solve 4*a + 0*m = -g*m + 32, -4*a - 5*m + 40 = l for a.
5
Let q be -5 + -6*(-4)/12*(-252)/(-14). Solve 4*h = -4*f + 40, -f = 4*h - q + 6 for h.
5
Suppose 39 + 33 = 16*b + 24. Solve 11 - 13 = -z - 3*l, 0 = 3*z + b*l for z.
-1
Suppose -5*m + 7*m - 55 = -3*o, -5*m = 4*o - 71. Suppose -o*v + 92 = 4*v. Solve v*q - 3*q - 4*d - 8 = 0, d = -3 for q.
-4
Let v be 0/(-2) - (-2 + -2). Let c be (48 - 48)*((3 - -2) + 56/(-12)). Solve 4*o + v = c, -2*p = -3*p - 2*o + 2 for p.
4
Suppose -f + 3*f = -t - 114, 3*f = 2*t - 185. Let z = f + 51. Let s be (-2*z/20)/(3/15). Solve 0 = o - h - 5, 6*h + 20 = s*o + 4*h for o.
5
Let o(p) = p**3 - 18*p**2 + 17*p - 1. Let q be o(17). Let z be (-2 - q)*(5 + -4). Let c be 0*(z + -2 + 2). Solve -5*b - 21 = s, -2*b = -s - c*b + 7 for s.
-1
Suppose -90 = 1137*x - 1146*x. Let s be (-146)/(-6) - 2/(-3). Let o = s - x. Solve -4*p + 2*t = 0, 2*p - o - 1 = 5*t for p.
-2
Let q = -32 + 36. Let b(o) = 23*o**2 + 2*o + 3. Let h be b(-1). Solve 2*k = k + q, 0 = 5*i + k - h for i.
4
Let b(s) = s**2 + 92*s + 1870. Let d be b(-30). Solve 0 = -2*y + 3*r - d - 9, -17 = 4*y + r for y.
-5
Let l = 180 + -188. Let c(t) = t**2 + 19*t + 93. Let f be c(l). Solve 2*s - f*h = -2 - 4, s + 5*h = 12 for s.
2
Let n(s) = 3*s**3 + 10*s**2 + 2*s - 3. Let m be n(1). Solve 4*f - 5*u - m = -3*u, 0 = f - 3*u + 7 for f.
5
Suppose 2*d + 20 = 7*d. Suppose -9*l = -11*l + 6*l. Suppose l = 4*u + 4*w - 140, 2*u + 4*w - 104 = -34. Solve 3*o - u = -d*t, t = 5*o - 4*o for t.
5
Suppose 0 = k + 5*h + 32, -569*h + 571*h + 14 = 0. Solve -a - 3*b = -13, -2 = k*b - 17 for a.
-2
Let w be (-24)/66 + 15664/484. Solve m = -2*y - 5, w = -5*m - 3*y + 21 for m.
-1
Suppose 7*w = 4*w - 3*d, -3*d - 8 = d. Solve -2*z = 4*f + w*z + 20, 5*f = 5*z + 25 for f.
0
Suppose 51*o + 326 - 428 = 0. Solve -14 = -5*w - 2*j, o*w - 6 - 5 = j for w.
4
Suppose -190*h + 555 + 395 = 0. Solve h*l = -2*g + 4*l + 11, 5*l = 5 for g.
5
Let x(i) = i**3 - 9*i**2 + 70*i - 795. Let w be x(10). Solve 0 = d - 2*f + 10, 3*f + w - 2 = -3*d for d.
-4
Suppose 2*h - 4 = -i, -377*h = -3*i - 380*h + 18. Solve 0 = -2*f + r - 8, -3*f - i = -3*r + 4 for f.
-4
Let h be (-2 + 1)*((-3)/1 - -1). Solve 5*j - h*j + 3*b = 18, -3*b = 6*j - 27 for j.
3
Suppose 0 = 4*v + 3*x - 32, -2*v + 9*x - 6*x = 2. Solve 3*s - 4*z + 1 = 0, -2*s + 2 = -v*z - 2 for s.
-3
Let h(j) = 5*j**2 - 2*j - 3. Let d be h(-2). Let a = d + -53. Let w = -12 - a. Solve 4*f - w = -f + 5*c, 2*f - 17 = 5*c for f.
1
Let j = 13971 - 13955. Solve -5*c = -125 + 100, 4*c - j = -2*n for n.
-2
Let j be (0 + 2)/(3/18). Suppose -b + 0 = -11. Suppose -48 = -b*d - 15. Solve 5*c - 3*l + 12 = -6*l, -c - j = d*l for c.
0
Suppose -m = m - 26. Suppose -7 - m = -5*g. Suppose g*h - 5*p + 7 = 3, -3*h = -3*p. Solve 3*y = 7*y + h*d, 0 = 2*y - d - 6 for y.
2
Let y(h) = h**3 - 25*h**2 - 82*h - 54. Let w be y(28). Solve -3*l = -w*n + 14, 11*n - 10*n - 5 = l for n.
1
Let d = 66 - 66. Suppose -2*n - n - o + 107 = d, -3*o + 6 = 0. Suppose -3*y + 3*c = -0*y + 3, n = 5*y + 5*c. Solve 2*g = 3*h - 7, 2*h + y*h - 2*g - 9 = 0 for h.
1
Let j be 1*((0 - 2) + 7). Let c = 19624 - 19604. Solve 4*r - 3*p + 5*p - c = 0, 0 = r + j*p - 23 for r.
3
Suppose -176 = 14*r - 176. Solve z - 42 + 36 = d, r = d + z + 4 for d.
-5
Suppose -6 = 3*k - 21. Suppose -4*p - 1312 = -36*p. Suppose 5*q + k*g = -6 + p, -2*q + 16 = 3*g. Solve q*j + 4*s + 4 - 9 = 0, j - 1 = 2*s for j.
1
Let r = 106 + -137. Let f = r + 36. Solve 0*v - x = 3*v - 4, 3*v - f*x + 2 = 0 for v.
1
Suppose -252*v - 565 - 722 = -681*v. Solve -v*g - 2*l - 64 = -58, 3 = 3*g - l for g.
0
Suppose 7*x = -12 + 131. Let s(o) = 16*o - 252. Let j be s(x). Solve 6*i - 2*k = i - 14, 5*k = 5*i + j for i.
-2
Let o be (-4)/(-2)*(2/(-6) - (-812)/348). Solve -6 = 3*k + o*s, 2*k - 14*s + 4 = -10*s for k.
-2
Let i(z) = 3356*z - 40269. Let s be i(12). Let l = 4 + -3. Let a = l - -2. Solve -j + 5*k + 5 = a*j, 3*j = -s*k - 3 for j.
0
Let n(d) = -12*d**3 - d**2 - d + 2. Let x be n(1). Let y be (x/9)/(84/(-18) + 4). Let o = -12 + 17. Solve o*f + 16 = 2*g, y*f = g + 3*g for g.
-2
Let f = 1 - -1. Suppose f*g = 4*k + 5*g, 0 = g + 4. Suppose -378*o + 390 + 71 = 83*o. Solve -o - 8 = k*s + 3*x, 11 = 3*s - x for s.
2
Let n be 105/42*(-84)/(-105). Let j(i) = 4*i**2. Let g be j(-1). Solve 2*q = -3*z - n*q - 32, 2*z - 12 = g*q for z.
-4
Let x(v) = -v + 4. Let r be x(5). Let l(a) = 44*a + 1549. Let z be l(-35). Let b = z + r. Solve -3*m - b = -2*m - 4*i, 0 = 4*m + 4*i - 28 for m.
4
Let a be (3 - 209/88)*8. Solve -4*b + 28 - 5 = a*i, 0 = -4*i + 12 for b.
2
Suppose -2*h + 4 = s, 2 = -2*h - 2*s + 8. Solve -n = -8*r + 11*r - 11, n = -h for r.
4
Let q be (-2)/(2 + 4)*9. Let b = q - -5. Solve a + b*a - 9 = 3*n, 3*a - 11 = 2*n for n.
2
Let v = -35 - -39. Let p be (0 + -14)*v/(-14). Suppose 84*g = 77*g. Solve 2*r + g*r + p*q = -30, 4*r + 5*q = -45 for r.
-5
Suppose -3*t + 6 = -3. Suppose -583*k = 230*k - 10569. Solve t*j - x + 2*x - k = 0, x = -j + 5 for j.
4
Suppose 328 = 4*k - 2*d, -k + 5*d + 14 = -50. Let h = k - 81. Solve 4*u - 3*b = h, -2*b - 16 = 2*u - 0*b for u.
-3
Suppose 55*j - 4 = 51*j. Let q be j/((-40)/6 - -7). Solve -4*b + 21 = -y, 3*b - q = -3*y - 6 for b.
4
Let p = 548 - 545. Solve -p*r - 4*v + 34 = 11, r = -2*v + 9 for r.
5
Let m(g) = g + 11. Let n be m(0). Suppose -a - 5*c = 20, 4*a + 2*c + n = 3. Let i be (((-10)/2 + 5)/3)/2. Solve -3*y = 5*l + 5 - a, i = 2*y + l + 8 for y.
-5
Let u(b) = 33*b - 460. Let x be u(14). Solve k = x*s + 5, -4*k - 8*s + 20 = -5*s for k.
5
Suppose -120 = 12*i + 2736. Let l = 240 + i. Solve -l*b = w + 11, 4*b + 1 = -0*b + 5*w for b.
-4
Let m be (-1290)/(-28) - (-11)/(-154). Suppose 13 = -11*n + m. Solve 3*a - n + 0 = -4*w, 0 = -3*a - 3*w for a.
-3
Let y = 52 - 42. Suppose 5*c + 10 = 5*o, -5*c + c = 2*o + 2. Let w = 1 - c. Solve 4*g - 10 = w*t, 5*t - 3*g = -0*g + y for t.
5
Suppose 3*o + o - 155 = -27*o. Solve o*w + 23 + 0 = -4*a, -2*w + 4 = -5*a for w.
-3
Suppose 2*f - 6 = s, -8 + 20 = 3*f. Solve -5*k - 23*m = -18*m + 15, s*k = 3*m - 16 for k.
-5
Let k be 2 + 4 - (-1 + -6 + 