 23 = 0 for b.
-2
Let i(s) = -4*s + 23. Let j be i(5). Suppose 0 = z - 4 + j. Suppose -3*k + 7 = z. Solve -3*t + k*x - 3*x = 16, 4*t + 17 = 3*x for t.
-5
Let s(v) = -6*v - 277. Let z be 5*(-26)/715 + 1030/(-22). Let f be s(z). Solve -h = f*w - 2*h - 24, -3*w + 4 = 2*h for w.
4
Suppose 2 = 2*t - 0*t - x, -5*t + 4*x - 1 = 0. Let p = -33183 + 33187. Let h = -1 + 3. Solve -4*m = -2*o - h, -p = -o - 6*m + t*m for o.
1
Suppose -4*s - 3*i + 224 = 0, 324 = 4*s + 2*i + 100. Suppose -137*j = -138*j - s. Let w be 0/6 + j/(-4). Solve -5*p + 3*p - w = n, p - 3 = 2*n for n.
-4
Let j(k) = -k**3 - 7*k**2 + 25*k - 2. Let z be j(-11). Let b = -203 + z. Solve -5*i - 6 = -4*f, -3 = b*i + 5 for f.
-1
Let j(l) = 22*l - 3. Let k be j(-4). Let q be (-1720)/(-18) + (-21)/(1512/(-32)). Let z = k + q. Solve 4*u = -d - z, d - 2 = 5*u - 7 for d.
-5
Suppose -5*k = -30, -255*i + 257*i - 34 = -4*k. Solve 0 = -4*z - s - i, 4*z - 1 + 11 = -2*s for z.
0
Let j = -26469 - -26470. Solve -3*i = -5*m - 6, -2*m - 3*i = j - 7 for m.
0
Suppose 0 = -76*n + 313 + 1815. Solve 5*c + n = 5*f - 12, c + 12 = 3*f for c.
-6
Suppose -3 = -12*f + 21. Suppose 0 = -2*g - 3*h - 1, 0 = -4*h - f + 14. Let s(r) = r**2 + r - 3. Let w be s(g). Solve -4*l = q - l - w, 0 = -5*l + 25 for q.
2
Suppose -16*a = -19*a - 372. Let l = a + 128. Solve -2*i - l*n + 6 + 2 = 0, 15 = -3*i + 3*n for i.
-2
Suppose 13*p + 3*u + 5 = 9*p, -3 = u. Solve 5*o - 3*o + p = n, 3*n + 15 = -3*o for o.
-2
Suppose 5*h - 3*o - 14 = o, 2*h + 4*o = 0. Solve h*x - 16 = -2*p, 5*p - 28 = 12*x - 14*x for p.
4
Suppose -23*n = -857 - 362. Solve 4*k + 8 = a, 41 = 3*a + n for k.
-3
Let p(w) = -43*w - 232. Let k be p(-18). Let u = k - 507. Solve -4*i + 0*i + 5*j = u, 0 = i + 2*j - 1 for i.
-5
Let a be 80/(-6)*1893/(-3155). Solve 3*t - 4*z - 3 = 0, 5*t - 4*z + 3 = a*t for t.
1
Let f be -20 - -25*(-21)/(-21). Solve -16*x + 5*g = -17*x + 20, 0 = -4*x - 5*g + f for x.
-5
Let g = 42 + -41. Let v be ((-3)/(-6)*-2)/g - -6. Suppose -m = -m + v*m. Solve 7*k - 4*k + 2*r = -6, m = 2*r + 6 for k.
0
Let s(y) = 6*y + 84. Let m be s(-14). Suppose m = -5*u - w + 13, 2*u - 4*w + 16 = 4*u. Solve -4*b = 3*i + u*i + 23, 3*i + 3 = 3*b for b.
-2
Let h(f) = -f**2 + 7*f + 20. Let b = -23 - -21. Let a = 11 + b. Let y be h(a). Solve -s = -5, 4*t + 5*s - 15 = y*s for t.
0
Let w = 1934 - 1931. Solve -5*l = 20, -2*i + 161 = -w*l + 137 for i.
6
Let n be 1/6 - (-5)/(-30). Suppose n = 8*b - 0 - 0. Suppose b*o - 21 = -7*o. Solve -o*z = 2*z + 2*y + 35, 4*z - 5*y - 5 = 0 for z.
-5
Suppose 3*c + 4*t + 41 = 60, -c - 15 = -4*t. Solve 0 = -4*i + 2*f - 6, c = -3*i + f + 4*f for i.
-2
Let x be -2 - -1 - (0 + -4). Suppose -25*k + 4*w = -21*k + 4, 3*w + 17 = -k. Let l be (0 + -5)/k - -1. Solve -l*s + 2*v + 14 = -3*v, v - 5 = x*s for s.
-3
Suppose -227*x + 229*x = -2*i + 16, 3*x - 2*i - 9 = 0. Solve 0 = 5*p + 5*d + 40, -x*d + 3 = -3*p - d for p.
-5
Suppose -10*t - 45*t = -0*t. Let s be 3/3 + 299/1. Suppose 3*o - 18*o + s = t. Solve 5*q = -4*c + 12, -2*c - o = -2*q - 2*q for q.
4
Suppose -5*y + 125 = -5*b, -5*y - b + 113 = -0*y. Suppose -y*h + 15*h = -64. Suppose -9*p + h = -7*p. Solve -7*c = -2*c + 5*a + 5, -p*a - 8 = 5*c for c.
-4
Suppose 3*z - 6 = 0, -61*z = -5*a - 64*z + 6. Solve 3 = w - s + 7, a = -3*w + 2*s - 9 for w.
-1
Let n = -225 - -232. Let z be 157/n - 3*(-20)/105. Solve 0 = 5*h + 2*j + z, -15 = 2*h - 3*j - 2*j for h.
-5
Let f = 18 + -13. Let w = 648927 - 648922. Solve -4*l + w = -2*m - 3*l, -5*m - 20 = f*l for m.
-3
Let t be 7 - ((-2)/8 - (-272)/64). Solve -7 = -4*y + t*z, -8*y = -6*y + 5*z + 3 for y.
1
Let j(k) = -k**3 - 2*k**2 - 10. Let o be j(-3). Let c be (36/(-27))/(1*o/39). Let y = 52 - c. Solve -d - 2*f - 3 = -3*f, 3*d + 4*f - 19 = y for d.
1
Suppose -18 = -4*y - 2. Let w = -480 + 474. Let c be (292/219)/((-1)/w). Solve 5*r = 3*m + 16, -2*m - c + y = -2*r for m.
3
Let a(q) = 3*q**2. Let z be a(-1). Suppose 0 = -z*w + 5 + 1. Suppose w*d = -4*o + 6, -5*d - 2*o = -4 - 3. Solve -5*n = -2*l - d, 4*l = -0*n + n + 7 for n.
1
Let v(r) = r**2 + 2*r - 1. Let b be v(-3). Solve -9*i + 13*i - 24 = 4*t, b*t + 5 = -5*i for t.
-5
Let x be -4 + ((-8)/(-3))/(2/6). Solve 8 = -x*j, -2*l = 4*j - 11 + 25 for l.
-3
Suppose 5 + 2 = s. Suppose s*d + 14 = 28. Solve -12 = -3*t + n, 9 = -2*t - 3*n - d*n for t.
3
Let s be (-32)/160*1*(5 + -20). Let f = -48 + 83. Solve -c - 3*c = -s*a + f, -4*a - 2*c = -10 for a.
5
Let n(h) = 212*h - 9708. Let p be n(46). Solve -2*s - 40*m + p*m = -4, 3*s + 2 = 2*m for s.
-2
Let x(k) = 3*k**3 - 36*k**2 + 47*k - 152. Let u be x(11). Suppose -2*g - 4 + 8 = 0. Solve -2*d - u = l, 5*l = -g*d + d + 17 for l.
4
Let a be 500/30 + (1700/30)/17. Suppose 0*n = -3*n + 12. Solve -5*b = a, n*b = 5*p - b - 25 for p.
1
Let i(b) = 139*b - 1943. Let g be i(14). Solve -6*z + 8*z + 6 = 4*u, z + 8 = -g*u for z.
-5
Let o be 0 + -2 - (23 - 52). Let u = o - 25. Let b be u + -2 + -2 - -2. Solve w - 3*k + 11 = b, -w - 3*k = -8*k + 19 for w.
1
Let r = -520 - -522. Solve 4*y + 1 = -z + 6*y, -2*z - r = 4*y for z.
-1
Let i = 2961 + -2958. Let y be 12/2 - (-1 - -4). Solve 3*d + 14 = -p, i*p + 22 = y*d - 8*d for p.
1
Let n(v) = -586*v - 3458. Let l be n(-6). Solve 2*b = a - 1, -3*a = -l*b + 60*b - 3 for a.
1
Suppose -u - 2*a - 18 + 24 = 0, 2*a = -4*u + 48. Let h(j) = -j**3 - 5*j**2 - j - 4. Let f be h(-6). Solve -u + f = 3*r + 3*m, 3*r + m = 16 for r.
4
Let t = -32775 - -32800. Solve 1 = -5*f - 2*i, 2*f + t*i + 10 = 21*i for f.
1
Let g be ((-517)/55 - -9)/(4/(-20)). Solve z + 28 = 5*z - 4*h, 10 = -g*z - 4*h for z.
3
Let i = -10363 - -10394. Solve -19*m + 22*m = -4*w + i, -4*m - 3*w = -32 for m.
5
Let k = -248 - -319. Suppose 10*j - 211 = -k. Solve 2*t - 2*b + j = -6*b, -3*b = -2*t for t.
-3
Let m(q) = -38*q - 1251. Let n be m(-33). Solve -23*i + n*b = -28*i - 15, -4*i = 2*b + 10 for i.
0
Let d be 1182/(-21) - (-12)/42. Suppose 5*l - 236 = 54. Let f = l + d. Solve -5*m + 23 = f*a - 5*a, -7 = -m + 3*a for m.
4
Let m = 18 + -37. Let d(o) = o**3 + 19*o**2 + o + 20. Let y be d(m). Let j be (0/(2 + -4*1))/y. Solve u + 0 = -4, 3*c - u - 4 = j for c.
0
Let q be (-5750)/(-920) - 39/12. Let p be 3 - (-1)/(-2)*2. Let b = 7 - p. Solve b*i = -3*l - 28, q*i = 5*l + 7*i + 25 for l.
-1
Let o(x) = -5*x - 112. Let j be o(-21). Let q be j/(-14)*(2 + 12). Solve 3*r = 4*b + 11, r + 3*b - 9 = q*b for r.
1
Let t(h) = -h**2 - 12*h - 27. Let g be t(-4). Suppose 3*n - 17 + 10 = -q, 5*n - g = 0. Solve w - 12 + q = -r, 5*w + 10 = 5*r for w.
3
Let y be (11 + 0)*(-115)/(-253). Suppose 3*q - 2*x + 4 = 6*q, -y*q = 5*x - 10. Solve -5*o - 4*p = -q*p - 6, 2*p = 8 for o.
-2
Suppose 15 = 2*y - 3*z, -4*y - 43 + 38 = z. Solve d - 4*p + 20 = y, 52*d = 48*d + p - 5 for d.
0
Let t(a) = 118*a + 2124. Let r be t(-18). Solve 6 = j + 2*s - 2, j + 5*s - 20 = r for j.
0
Suppose -117 = -39*w - 12 + 12. Solve -4*s = -t + 22, 14 = -w*t + 7*s - 11*s for t.
2
Suppose 28 = 5*t - 4*a, -30 = -2*a - 34. Solve 2*j = -4, j = -t*c + 5*j + 20 for c.
3
Let w(q) = -q**3 + 8*q**2 - 6*q - 3. Let t be w(7). Solve u = -m - 2*m - 1, t*u + 3*m + 4 = 0 for u.
-1
Let d(q) = -q + 11. Let v be d(-4). Let y be (4/(-1) + 16)/(6/v). Suppose y*h = 32*h - 10. Solve -14 - 1 = -h*g, 3*r + 4*g = 24 for r.
4
Let o be (2 + -3)/(2/(-6)). Let l = 503 + -477. Let d(i) = -i**3 + 25*i**2 + 24*i + 57. Let c be d(l). Solve y = -n, o*y + y - c*n + 45 = 0 for y.
-5
Suppose 20*c - 404 + 124 = 0. Suppose -4*w + c = -6. Solve -w*s - 15 = 5*o, -4*o - 3*s - 5 = 6 for o.
-2
Let f(j) = -10*j - 4. Let s be f(-4). Suppose s = 5*p + 26. Suppose 2*d = -p*d + 24. Solve -x + d = -o, -4*o = -x + 5*x for o.
-3
Let r = -224 + 242. Suppose 2*m - u - 1 = 0, -r*u = -16*u - 6. Solve -7*j + 2*j - 4*k = -6, 0 = -j - k + m for j.
-2
Let o(j) = 187*j - 744. Let q be o(4). Solve -2*v - 3*v - 18 = 4*m, -27 = 5*m + q*v for m.
-7
Let z(o) = 143*o + 4 + 0 - 147*o + 5*o**2. Let l be z(1). Solve -r + 3*b + 2*b + 23 = 0, 0 = -l*r + 3*b + 27 for r.
3
Suppose -80 = -39*v + 43*v. Let i = v - -23. Suppose 2*p = -2*p - i*w + 3, p - 3*w - 12 = 0. Solve p*y = -z - y, -z + y = 0 for z.
0
Let q(c) = -c**3 + 19*c**2 - 57*c + 702. Let w be q(18). Solve w = -2*s + h - 3, 6*s = 5*s + h - 1 for s.
-2
Let t(p) = -3 - 7*p + p - 3. Let v(o) = -7*o - 6. Let q(b) = 5*t(b) - 4*v(b). Let f be q(-5). Solve 0 = 5*x - 5*g + 30, f*x + g 