 6 for z.
1
Suppose p = 10*j - 40, 170*p - 167*p - 2*j + 8 = 0. Solve p = s + 4*l + 5 + 5, s - 17 = 5*l for s.
2
Suppose 4*b + 4*p + 32 = 44, 0 = -3*b - 4*p + 9. Solve 2*t = -3*y - 14, -t = 4*t + b*y + 8 for t.
2
Let j(y) = -y**3 + 14*y**2 + 4*y + 60. Let h be j(15). Let r be 2/4 + h/(-14). Solve -r*b = -3*b + 4*f + 9, b - 11 = -4*f for b.
-5
Let o = -19 - -64. Let s = o + -39. Let r be (-1 + 10/s)*(-144)/(-32). Solve -l = 3*n + 7, 0*n - 1 = 4*l + r*n for l.
2
Suppose -29 + 1 = -y + 6*a, -3*y = -3*a - 24. Solve -f + y*j = -21, 4*j + 19 = -3*f + 2 for f.
1
Suppose 2 + 1 = p, -3*l - 2*p = -21. Suppose l = 2*r - 5*i, 0*i - 4 = -4*r + 4*i. Let k be r + 2 + (-28)/(-14). Solve o + 5 = -2*f, 1 = -2*o + k*f + 7 for o.
-1
Let u(j) = 2*j. Let q be u(-1). Let w(h) = -8*h - 14. Let r be w(q). Solve -5*y + r = -4*a + 6, -5*y = -2*a + 2 for y.
0
Suppose -28*m - 137*m = -495. Solve -m*w - 8 = -i + w, 2*w = 4*i + 10 for i.
-4
Suppose 0 = -3*d + 4*o + 20, -7*o - 4 = d - 3*o. Solve -d*k = -2*f - 0*f - 10, -2*k + 1 = -5*f for f.
1
Suppose -10 = -2*l + 2. Let v be (-4)/l + 2 + (-6)/18. Let c be v/(-20)*-55 + 1/4. Solve -4*u = c*s - 8*s, 4*s = u for s.
0
Let m = 435 - 294. Let l = 139 - m. Let k be (28/98)/(2/(-56)*l). Solve 2 = -3*n - 5*d + 6, -15 = -k*n + 3*d for n.
3
Let p be 65/3 - (-23 + 1904/84). Solve -16*o + 12*o = -2*w - p, 0 = 4*w - 4*o + 28 for w.
-3
Let g = -74 + 75. Let k be (g + -3)/(6/(-3)). Let v be (-2 - 1) + (0 - (-3)/k). Solve -z - 5*w - 13 = v, 2*w + 17 = -3*z - 2*w for z.
-3
Suppose 2*y + 2*y = 44. Suppose y = -2*u + 3*u. Suppose -f - 239*x + 20 = -244*x, 3*x = 3*f - 12. Solve 0 = q + 5*g - u - 10, -q + 4*g - 15 = f for q.
1
Let r(o) = -51*o + 563. Let x be r(11). Solve -5*v - 8 = 2*b, -81*b + 3 = -82*b - x*v for b.
1
Let r be (5 - (1 - 0))/(-70 - -31 - -40). Solve 3*h = -4*a - 19 + r, 3*h + 12 = -3*a for h.
-1
Suppose 0 = -11*c + 15*c + 112. Let v = c - -43. Solve 0 = 4*u - s - v, 0 = 3*u - 7*u - s + 9 for u.
3
Let g = -3134 - -3142. Solve -g*i + 16 = -4*i, 0 = 4*j - i - 8 for j.
3
Suppose -117 = -8*n + 2379. Let a = -305 + n. Solve -5 = 3*o + 2*d, a = -3*o - 5*d + d for o.
-1
Suppose -5*b + 2 = -4*a, -b + 2*a + 1 - 3 = 0. Let p be ((-6 - b)/(-2) - 4)/3. Solve 4*c + n = 2*n - 14, -3*n - 6 = p for c.
-4
Suppose -9*r - 8*r = -85. Solve -2*w - r*m + 35 = -0*w, 30 = w + 5*m for w.
5
Let q(c) = -c**3 - 18*c**2 + c + 31. Let k be q(-18). Suppose -g - k = -4*i, 3*i + 3 = 3*g + 15. Solve -1 = -5*y - 2*b + 2, i*y + 3*b = 0 for y.
1
Suppose 4*x - 2055 + 1919 = 0. Solve -22*v + 7 = -18*v + w, 3*v = 5*w + x for v.
3
Let p be (-176)/(-110) + 4/10. Suppose 5*r + 2*u - 5 = u, 2*u - 10 = p*r. Solve r = -2*j + 4*j - 4*a - 16, -3*j + a = -9 for j.
2
Suppose 3*c - 42 + 131 = 4*o, 0 = -4*o - c + 77. Suppose o = 5*a - a. Solve -a*g = -4*d + 12, 4*d = 5*g - g + 8 for g.
-4
Let c be ((-8)/18 - (-2912)/72) + -10. Suppose 4 - 1 = u. Solve a - t = 2, 5*a + 0*a + c = -u*t for a.
-3
Let h(f) = f**3 + 5*f**2 - 7*f - 2. Let r be h(-6). Let d = -161 - -169. Let z be 10 - 1 - 2 - 32/d. Solve -r*x + 20 = -7*m + 2*m, 2*x - 12 = z*m for x.
0
Let d(m) = -m**3 - 8*m**2 - 9*m - 4. Let l be d(-7). Let s be (-72)/((-10)/(-190)*-2). Suppose 0 = 38*j - s. Solve 0 = 2*c + 6, -5*p - j = c + l for p.
-5
Let z = -493 - -138. Let s = 359 + z. Solve 0 = -s*n + 5*k - 41, -n + 3*k - 7 = -3*n for n.
-4
Let l = -13216 + 13220. Solve 0 = 2*g - 2*i + 4, -6*g - 3*i + l = -7*g for g.
-1
Let w be (-4)/(-6)*3 + 3. Let o(m) = -m**2 + 8*m + 13. Let c be o(9). Let a = 1568 - 1509. Solve -w*q = -3*i + 10, -3*q - a + 24 = c*i for q.
-5
Suppose -5*y - 2*w = -27, -4*y + 5*w - w = -44. Suppose y*c - 5*c = 0. Suppose c = -i + 3 - 0. Solve 3*b = 2*b + i*r + 1, -5*r = 5*b + 15 for b.
-2
Let h be -8 + -2 + 88/9 + 62/279. Solve -5*b - 25*w + 20*w = 0, h = -2*w - 10 for b.
5
Let u(l) = l**3 + 9*l**2 + 8*l - 14. Let h be u(-8). Let v = 15 + h. Suppose b + v = 3. Solve -3 + b = -f - d, 0 = f - 4*d - 11 for f.
3
Let c = 2949 + -2937. Solve -21 = f + 4*u, -2*f + 4*u - c = -18 for f.
-5
Suppose 31*n - 28*n = 9. Suppose -n*r - 32 = -44. Solve -1 = -5*p + r*a, 2*a + 2*a + 7 = 3*p for p.
-3
Suppose -2*z = 5*h - 7*h - 10, -4*h = -12. Let s be 0/((-2)/z - 25/(-20)). Solve v + v + 4 = s, v = -3*u - 14 for u.
-4
Let j = -3 + 6. Let l(o) = -4*o. Let k be l(j). Let w = 17 + k. Solve 0 = -w*x + 3*q + q + 11, -18 = 2*x + 4*q for x.
-1
Let t = 46 - 26. Let n = t + -48. Let z be (42/(-49))/(1/n). Solve -4*u + 24 = 3*g - g, u + 5*g = z for u.
4
Suppose -3*f - 319 = 2*f - 329. Solve 1 = z + m, 0 = -2*z + f*m - 6*m + 10 for z.
-3
Suppose -428*v + 414*v - 3696 = 0. Let y = 271 + v. Solve -3*i + 1 = -p - 1, -4*p - 3*i = -y for p.
1
Let h = 751 - 1143. Let i be h/(-42) + (-2)/6. Solve -5 = 5*f + 4*k + k, 3*k - i = f for f.
-3
Let s(i) = 18*i + 3. Let t be s(1). Let f = t + -17. Suppose -8 + 2 = -3*z. Solve k + 2*n = z, 5*n + 17 = -5*k + f*n for k.
-4
Suppose -169 + 180 = -2*o + 3*r, -5*r = -25. Solve -o*k - 11 = -t, -k + 0*k = 5*t for t.
1
Suppose -28*j + 2*q + 78 = -26*j, -5*j + 3*q + 205 = 0. Suppose j*c - 15 = 41*c, 0 = 2*y + c - 19. Solve -3*w - 2*g - g + 24 = 0, -y = w - 4*g for w.
5
Let v(m) = -8*m + 159. Let p be v(-28). Let y = p + -380. Solve -2*k = z + 10, y*k = 5*z - 2*k - 25 for z.
0
Suppose -3*c + 9 = -w, 2*w + 9*c = 4*c + 26. Let o = 28 + -34. Let m = o + 11. Solve -w - 1 = -f - 2*d, -m*f + 20 = 2*d for f.
4
Let c(z) = -2*z**2 - 26*z - 40. Let t be c(-11). Suppose 0 = -2*m - 4*b - 9 + 21, m + t*b = 8. Solve -8 = -m*k - 4*i, -3*k + 2*i = 3*i - 4 for k.
1
Suppose 13 = -z - 4*b + 25, 0 = 4*z - b - 14. Solve -4*s + x + 19 - 11 = 0, s + z*x = 2 for s.
2
Let l = -12481 - -12484. Solve -1 - 1 = -t - 2*d, 0 = l*d - 9 for t.
-4
Let f = -31 + 24. Let r(u) = -u**2 - 8*u - 2. Let l be r(f). Suppose x - 4*x + l*k + 15 = 0, -k - 3 = 0. Solve 4*b - w + 6 = x, 4*b = -b + 5*w for b.
-2
Suppose 4*c + 37 = 3*o + 3, -c + 49 = 5*o. Suppose -18*r = -o*r. Solve 4*q - 18 = -2*m, 2*m = -r*q - 2*q + 8 for q.
5
Let q = -229 - -323. Let i = q - 91. Solve 5*p + 2 = 3*x - 8, -2*x + 6 = -i*p for x.
0
Let u = 36353 + -36344. Solve -3*s = a - u, -54 = -2*s + 4*a - 48 for s.
3
Let a be (72/18)/(0 - -8) - 2/(-4). Solve -39*q + 38*q + 2*b + a = 0, q = -3*b - 4 for q.
-1
Let g be ((-91)/(-52))/(5/(-15)*(-6)/8). Solve g = -3*j - 5*b, -4*j - 4*b + 566 = 570 for j.
1
Let b be 1/(-8) - ((-22)/(-110) + (-2346)/80). Suppose 0 = 2*f - 3*f + 10. Solve -5*w - b = -4*m - f*w, -m - 4 = -w for m.
1
Suppose 46*q = 43*q + 15. Suppose -u + 9 = -q*g, 2*u - 5*g - 3 - 10 = 0. Solve 3*a = -4*x + 11, 0 = -a + u*x - 4 + 13 for a.
5
Let z(a) = 5*a**2 - 17*a - 6. Let l be z(4). Let g = -254 + 255. Solve -3*x - 3*q - l = 0, g = -x - 4*q + 2 for x.
-3
Suppose -2*y - 16 = -4*h, -4*h + 38 - 28 = -5*y. Solve h*d = -3*s - 16, -18*s = -4*d - 13*s - 35 for d.
-5
Suppose -40 + 132 = 23*z. Suppose -4*o = z*n - 3*o - 21, -2*n = -5*o - 5. Solve -3*j + n = -4*j + 3*a, -13 = -j - 3*a for j.
4
Suppose -33 = 5*q + 12. Let t be q/45 + (-1 - 12/(-10)). Suppose t = -j - 0 + 2. Solve 0*l + j = -4*k + l, 7 = -3*k - 2*l for k.
-1
Let n(i) = -i**2 + 4*i. Let c be n(4). Let o = c - 0. Suppose -1 = 8*b - 33. Solve 2*d + o - 3 = -3*p, -4 = -b*p for d.
0
Let b(a) = 14*a + 96. Let r be b(-7). Let j be -6 + (4 - (r - 0)). Solve 0 = -k - 1, j = 2*q + 2*k - 3 - 1 for q.
3
Let q(o) = o**3 - 14*o**2 + 15*o - 16. Let m be q(13). Let w be m/8*440/11. Let b be w/(-4)*(57/(-15) - -3). Solve 0*r = -3*y - r - 6, -5*y = -4*r + b for y.
-2
Suppose -25*u + 18*u + 35 = 0. Suppose 2*w - u*w = -36. Solve 3*h - 3*x - 3 = 0, x + 3*x - w = 0 for h.
4
Let g = -4 - -6. Let w(h) = 64*h + 807. Let o be w(0). Let b = -803 + o. Solve -b*x - 3*m + g = -m, -3*x + 1 = m for x.
0
Suppose -88 = 5*y - 4*a, y + 4*a - a = -10. Let m be (9 + 2)*1 - -1. Let p be ((-28)/y)/(3/m). Solve 2*c = -4*o, 4*c + 0*o + o + p = 0 for c.
-2
Suppose 0 = 3*r, -u = -3*u + 4*r + 200. Let z be (493/(-4))/((-18)/(-12)) - (-3)/18. Let m = u + z. Solve -a = 5*i - 27, -a + 4*i - m = -0 for a.
2
Suppose 3*b + 4*y = 4, -644*y = -641*y - 3. Solve 0 = 5*q - q + 3*u - 5, b = 5*u + 5 for q.
2
Suppose 0 = -415*t + 429*t - 994. Solve -70*n - 6 = 3*i - t*n, 3*n - 4 = 2*i for i.
-2
Let k = -55 + -6. Let q = k + 87. Suppose 13*x = 13 + q. Solve 0 = -5*b, -a - x + 2 = 3*b 