3 + 20933. Solve p = 2*x + 5*o + 19, -99*x + 4 = -96*x + o for x.
3
Let v be (346 + -357)*(6/44 + 1/(-2)). Solve 6*r + 4*b = 9*r + 8, -3*r - v*b - 16 = 0 for r.
-4
Suppose -2*d + 60 = -46. Let u = -48 + d. Solve -2*f + 5*f = -5*j + 14, -7 = -4*f + u*j for f.
3
Suppose -5*j + 2 = -p + 7, 0 = 4*p - 3*j - 3. Suppose p = 21*d - 20*d - 2. Let b(q) = -q + 6. Let l be b(d). Solve 2*m = 4*n - 4, 3*m - 16 = 6*m + l*n for m.
-4
Let x = 3848 + -3844. Solve -4 = -3*t + x*g, -7*g + 8*g = -5*t + 22 for t.
4
Let d = -24073 + 24084. Solve -17 = 3*p - 3*z - d, p = 2*z for p.
-4
Let i(h) = -38*h - 38*h - 30*h + 107*h + 18. Let r be i(24). Suppose 51 = 3*u + r. Solve 0*j - 2*j - u = s, -5*s - 21 = 4*j for s.
-5
Let v(p) = p**3 - 34*p**2 + 31*p + 60. Let a be v(33). Let l be (20/(-6))/(5/45*a). Solve -l*d - 30 = -c, 3*c - 40 = 4*d - 5 for d.
-5
Let p = -153 + 156. Suppose 11*n - 32 = p*n. Suppose -2*c = -v + c + 11, 8 = -n*c. Solve -4*z + 12 = -3*f + 3, 0 = v*z for f.
-3
Let w be 1/(-4) + (-66)/(-8). Let c(f) = -17*f - 167. Let z(r) = -30*r - 220. Let y be z(-7). Let t be c(y). Solve 3*a - 4*o = -5 - w, 2*o + 7 = -t*a for a.
-3
Suppose -5*a + 4 = -36. Suppose -4*z + a*z = z. Solve 1 = -3*d + 4*h - 7, z = -4*d - h + 2 for d.
0
Let c(j) = j**3 + 10*j**2 + 10*j + 13. Let v be c(-9). Suppose 3*k - 2*k = 5. Suppose 9*a - 10*a = -k. Solve -2*i - a = -13, v*w = -i - 4 for w.
-2
Suppose -3 = -v - 43. Let a(k) = -k**2 + 100*k - 1097. Let l be a(12). Let z = v - l. Solve 1 + z = 4*s + t, 2*s - 4*t + 8 = 0 for s.
0
Let z be (0 - 1)*102/6*-3. Let u = z + -3. Let l = -46 + u. Solve -2*c + 0*c + 10 = -2*m, 0 = l*c - 4 for m.
-3
Let l = -626 - -906. Let f be (-6)/9 + l/42. Solve 3*i = -3*z + f, 0 = -3*z + 3 + 6 for i.
-1
Suppose -436 = -q - 435. Suppose 2*c - 2*t - 6 = 0, -2*c - t - q = -10. Solve 8*s - c*s + 6 = -2*m, -4*s = 4*m for s.
-3
Let r be (-1)/(-11) - (1 + 56280/(-77)). Let t = 733 - r. Solve -b + m - 1 = -0*m, -t*m + 5 = -2*b for b.
2
Suppose 3*d - 72 = 5*k, -3*d + 0*d = 3. Let r be (-1)/((k/5)/9). Solve -4*b = -5*b - 2*a + 5, -r*a = 5*b - 18 for b.
3
Suppose 4*c - 5*w = 38, -218 = c + 2*w - 208. Solve -5*i = -3*o - 3, -c*i + 4 = -5*o - 1 for o.
-1
Let g(u) = u**3 - 5*u**2 + 4*u - 5. Let q = 35 + -30. Let b be g(q). Suppose 17*r - 8 = b*r. Solve r*s = -5*w + s + 5, 4*w + 33 = 5*s for w.
-2
Let h = -218 - -263. Suppose h*o - 49*o = 0. Solve 2*f - 10 = -2*l, o*l + 4 = 2*f - 4*l for f.
4
Let f = -83 + 86. Let j be -1 + (-6)/9*3 + 7. Solve i + 14 = f*i + 3*x, 8 = 4*i - j*x for i.
4
Let i(j) = 13*j + 54. Let l(n) = -2*n - 1. Let m(b) = i(b) + 3*l(b). Let y be m(-7). Solve 0 = -d + y*p - 0*p - 8, 3*d + 10 = -p for d.
-4
Let v = 0 + 0. Suppose v*q = -4*q. Suppose q = -3*x - 4*z + 30, 2*x - z = -5*z + 20. Solve -3*o = u + x + 4, 8 = -2*u - o for u.
-2
Let o(k) = -5*k**2 - 31*k + 77. Let m be o(-8). Solve 3*g = -h + 3, 7 - m = 2*g + 4*h for g.
1
Suppose 7*o - 2*o - 10 = 0. Suppose 2*p - o = p. Let l(w) = 2*w**2 - 44*w + 228. Let y be l(8). Solve 3*r = -3*h - 5 + 2, -p*h = y*r for h.
-2
Let q be -1 + 1 + -1 + 1. Let u(g) = -13*g**2 + 2*g + 18. Let d be u(0). Suppose -5*i - i + d = q. Solve -4*h - 1 = 3*f - 3*h, i*f - 3*h = -9 for f.
-1
Let y be (-7 - -6 - -1543)/(-2). Let o = -757 - y. Solve 2*l + 2*x - o = 5*l, -5*x + 18 = l for l.
-2
Let s(v) = -v**3 + 8*v**2 - 4*v - 17. Let y be s(7). Suppose 20 = y*i - 4*z, -4*z + 10 = -i - 6*z. Solve i = 2*n + 2*q - 7*q + 14, 2*n = 2*q - 8 for n.
-2
Let m(q) = q - 5. Let h be (8/10)/(32/80). Suppose -h*n + 4*w + 4 = -0*w, 0 = n + 2*w - 10. Let g be m(n). Solve d + 2 + g = 3*t, -5*d = -3*t + 3 for t.
1
Let d = 7526 - 7520. Solve 3*x = u - d, -5*u + 20*x - 17*x = -18 for u.
3
Suppose -o = -3*o + 4. Let k be 30*(5/(-10) + (-4)/(-4)). Suppose d + 2*d = i + k, -2*i = d - 12. Solve o*f - 12 = -3*a + a, -f = -5*a + d for f.
4
Suppose 6*c = 228 - 1188. Let u = c + 167. Solve 2*d + 3*l - u - 13 = 0, 4*l - 16 = 0 for d.
4
Suppose 5 = 8*f - 13*f. Let m be f/(-2*(-1)/(-4)). Suppose -3*c + 73 = -4*b - b, -75 = -3*c + 3*b. Solve -m*r - c = 4*l, -3*r + 5*l + 4 = -12 for r.
-3
Let u be -10*117/(-65) + -5. Let w(d) = d**2 - 5*d - 1. Let j be w(6). Suppose -c = 3*l - l - u, 37 = j*c + 3*l. Solve -4*h + y = -12, -c*y + 7 = -h - 9 for h.
4
Let d(u) = u**2 - 38*u - 85. Let g be d(42). Suppose 88*y - 10 = g*y. Solve -12 = -m + y*n, 2*n + 0*n + 16 = 3*m for m.
2
Suppose -5*i + y = -184, -i = -5*i - y + 140. Let a = 302 - 188. Suppose h - 5*v = 6*h - 185, -2*v = 3*h - a. Solve 5*w = 5*f - h, -4*f + 6*w - w + i = 0 for f.
4
Let j be 992/31 + (5 + -5)*-1. Solve -5*o = -3*z - 3, 5*z + 47*o = 43*o + j for z.
4
Suppose 7 + 87 + 410 = 42*q. Solve -4*t + x - q = -7*t, -x = -2*t + 8 for t.
4
Let k be (33/15 - 1)/(48/400). Solve -5*a - 9 = -o, -3*o - k*a + 5 = -14*a for o.
-1
Let w be 9*1 - (-4*(-132)/48 + -6). Solve 4*y - 7*y - 7 = -2*u, -14 = w*y + 2*u for y.
-3
Let x(l) = 47*l + 755. Let a be x(-16). Solve -3*m + 37 = -5*q, 16 = -q + 2*m + a for q.
-5
Suppose 4*u - 2*s - 2 = 0, -103*u = -102*u - 3*s + 12. Solve 0 = -m - 3, 22*l + 17 = 20*l - u*m for l.
-4
Let x be (0 - 20)/((-184)/138). Suppose x*t - 4 - 26 = 0. Solve i - 5*y - 12 = 7, -3*y = -t*i + 17 for i.
4
Suppose -w + 168 = 13*w. Suppose -w*m + 12 = -11*m. Suppose -m*t = -47 - 13. Solve -t*y - 3*r = -7, 0 = -0*y - 2*y + r + 5 for y.
2
Suppose -55*h + 146 = -19. Solve 0 = -5*u + 10, 3*m - u + 14 = h*u for m.
-2
Suppose d + 1 = 3. Solve n + 21 = d*z + 28, -2*z + 4*n = -8 for z.
-6
Let a = -3 + -5. Let g be (a/10)/((-4)/(-20)). Let b be ((-2)/(-6))/(g/(-48)). Solve 0 = 4*l + 12, -4*l = -z + b*z + 12 for z.
0
Let v(d) = 15*d - 65. Let t be v(5). Suppose t*n - 55 = 8*n + x, 5*x = 3*n - 100. Solve -b - 13 = -3*b - 3*m, -n = -5*m for b.
-1
Let a be (4 + -6)/(1/2) - 0. Let h be 78*((-36)/(-8) + a). Let j = h - 37. Solve 17 = -5*b + 3*m - j*m, -b + m - 5 = 0 for b.
-3
Let i(g) = -2*g**2 - 15*g + 31. Let p be i(-9). Suppose 0 = 4*y + p*v - 28, 13 = 5*y + 3*v - 14. Solve -6*t + 3*f = -2*t + 25, -y*t - 15 = -f for t.
-4
Suppose 0 = -2*j + 10. Solve -4*a + 6*l = j*l - 12, 5*a = 4*l + 15 for a.
3
Suppose 5*m - 7*m = -4. Let o(t) = t**3 + 12*t**2 - 28*t + 5. Let r be o(m). Solve 2*k = r*k + u, -k - 7 = -2*u for k.
-1
Let f be (-6 - 108/(-24))*(-8)/6. Solve k + f = -3*v, 2*v + 5*k - 8 = 2*k for v.
-2
Let z(g) = -87*g - 429. Let l be z(-5). Solve 2*d + 28 = 5*i, -i - 4*d = -l*d - 12 for i.
4
Suppose 5*n + 10 = 0, 150*n - 153*n = 2*h - 16. Solve 0 = -4*x + 3*f - 10, 9*f - h = 3*x + 5*f for x.
-1
Suppose 3*z + 2*n - 141 = 7*n, 30 = -5*n. Solve 4*q + 5*i - z = 0, 12*i - 5 = 11*i for q.
3
Suppose -45*c - 36 = -47*c. Suppose 28 = c*n - 4*n. Solve 2*x + 5*a = -2, 4*a - n + 1 = x for x.
-1
Let a be 10/12*(186 - 180). Solve x + 4 = -v, -2*x - a*v = -8*v - 12 for x.
0
Let y be (176/110)/(-1 + (-12)/(-10)). Let z be -3 + (-4 + y - 1). Suppose n + 0*n - 2 = z. Solve -n*o - j = 4, -2*j = -4*o - 0*o for o.
-1
Suppose 0*v + v - 1 = -3*r, -3*r - 4*v - 14 = 0. Let y(i) = 3*i + 2*i - 5*i + i**r + i. Let j be y(0). Solve -5*c - 6 - 4 = -3*t, j = 5*t - 3*c + 10 for t.
-5
Let c = -64 + 82. Let n be c/((-30)/5) + 6. Solve -4 = -m - 2, 5*m = n*x - 2 for x.
4
Let c(m) = 8*m - 179. Let s be c(23). Solve 5*y + 45 = 4*b, -2*y - 41 + 6 = -s*b for y.
-5
Let t be 34/1 + 36/(-63)*7. Solve 5*p - 4*q = 10*p + 5, t = -p + 5*q for p.
-5
Let j(w) = -w**3 + 16*w**2 - 13*w + 54. Let c be j(16). Let z be 3 + -1 + c/14 + 15. Solve 3*g - 26 = -2*g - 3*u, -z = -4*g + 5*u for g.
4
Suppose 0 = 62*s - 2185 + 2185. Solve -83 = -3*z + m - 79, s = -4*z - 4*m + 32 for z.
3
Suppose 2*k + 2*r = 3*k - 10, 5*k = 2*r + 18. Suppose -4*f - 3*z + 5 = 0, -4*f = k*z - 4*z - 10. Solve 5*s = 5*g + f*s + 22, -g + 14 = 4*s for g.
-2
Let p = 169 + -166. Let x = -78 + 80. Solve 0 = 2*h + x*q + 2, 2*h - 3 + 1 = -p*q for h.
-5
Suppose 24*z - 77 - 29 - 14 = 0. Solve b = 3*s - 30 + 9, -31 = -z*s + b for s.
5
Let t(n) = -24*n + 205. Let q(b) = -10*b + 102. Let x(l) = -14*q(l) + 6*t(l). Let s be x(-50). Solve -3*c + 18 = -3*f, f = -s - 0 for c.
4
Suppose 22*o = 20*o - 6, 0 = -3*r - 3*o + 84. Solve 29*k - r*k + 2*g - 4 = 0, 0 = -3*k + 5*g - 12 for k.
1
Let w be (-4)/(-10) - (-3108)/30. Let t = 101 - w. Let i be 4 - ((3 + t)/(-2))/(-2). Solve 0 = -i*h - b - 20, 4*b + 20 = -h - 3*h for h.
-5
Sup