for z.
1
Suppose 75*b + 3*t - 42 = 70*b, 2*b - 2*t - 36 = 0. Solve -18*y + 21*y + b = 0 for y.
-4
Let t be (-12)/48 - 202/(-8). Solve 6*h - 43 = -t for h.
3
Let k(h) = 2*h**3 - 11*h**2 + 18*h - 8. Let b be k(2). Solve b = -486*c + 485*c - 4 for c.
-4
Let t = -5 + -4. Let p = t - -20. Let w(o) = o**2 - 21*o + 43. Let u be w(19). Solve u*y - p = 4 for y.
3
Suppose 0 = -4913*o + 4906*o + 168. Solve 135*d - o = 141*d for d.
-4
Suppose 281 = -10*d + 3481. Let h = d + -299. Solve -y + h = 19 for y.
2
Suppose -56 = 2*g - u, -7 = -5*g + 5*u - 157. Let f = -25 - g. Suppose -5*k + 2*k + 3*j = -3, 0 = 4*j - 8. Solve 2 = -k*w - f for w.
-1
Suppose 25*l = -3*l + 10836. Let s = l + -385. Solve 4*m = s*m - 6 for m.
-3
Let d be 3/(-2) + ((-63)/6 - -12). Suppose 2*x + 74 = 7*x + 2*z, -z + 45 = 3*x. Suppose 0 = y + 4*w - 3 - 6, -y + 5*w = 0. Solve -l + y*l + x = d for l.
-4
Suppose 5*s + 13 = -4*n + 268, 2*n = 4*s - 230. Let h be (-4)/22 + (615/s - 5). Solve -h*d - 12 = -12*d for d.
2
Let h(q) = -7*q**2 - 484*q - 64. Let t be h(-69). Solve 4*z - t*z = 2 for z.
-2
Suppose -6*j + 3*j - 29 = -4*b, -b + 5*j = -20. Suppose 89 = b*l + 74. Solve -2*n - 11 = -l for n.
-4
Let i = 1690 - 1327. Solve i = 44*d + 55 for d.
7
Let i be -1*(4/(-4) + 0) - -3. Let w(t) = 2*t**2 + 9*t - 10. Let u be w(-6). Let r be u/10 + 1 - 5/(-25). Solve p = r*p - i for p.
4
Let u be 4/(-8)*(3 + -3)*1. Let n be (-6)/51 - 36/(-306). Solve n*d - 7*d + 2*d = u for d.
0
Let g(u) = -u**2 - 110*u + 1492. Let f be g(-122). Solve f*s - 51*s = 184 for s.
-8
Suppose 26*i - 209 = -20*i - 25. Solve i*o + 125 = 29*o for o.
5
Let m = 278 + -244. Solve 3*c + 14*c + m = 0 for c.
-2
Suppose 0 = c + 11 - 9. Let k be 3/9*(-1 + (5 - c)). Let u(n) = -n**2 + n + 8. Let q be u(0). Solve -k*z + q = -0 for z.
4
Suppose 7*m - 9 = 4*m. Suppose m*g = -g + 3*s - 18, 0 = -g - 5*s - 16. Let k be (-2 - -1*2)/(g/(-3)). Solve 0 = -k*u - 4*u + 8 for u.
2
Let r be 4/(-30) - -76*(-544)/1785*-7. Solve 47*u = 29*u - r for u.
-9
Let d(s) = -3*s**3 + 31*s**2 + 2*s**3 + 3*s - 23*s**2 + 2*s**3 - 26. Let f be d(-7). Solve -f*l - 24 = 4*l for l.
-4
Let z = 145 + -92. Solve -10*f = -z + 23 for f.
3
Suppose -15*n + 24 = -7*n. Suppose -3*w - n*s = 0, 2 = w + w + s. Suppose 3*d - 31 = 14. Solve -w*r - d = -7*r for r.
3
Let j = 366 - 390. Let z be 3/(-11) - j/88. Let h = 1 - -2. Solve z = -0*i + h*i - 9 for i.
3
Let f(i) = -i**2 - 9*i - 10. Let p be f(-7). Suppose 0 = 14*w - 12*w - p. Suppose w*m = -3*x - m + 21, 3*x - 5*m - 13 = 0. Solve -3*k + k = -x for k.
3
Let w(f) = -3*f - 4. Let z be w(4). Let o = 22 + z. Suppose 21 = 5*x + o. Solve -x*b = -8*b for b.
0
Suppose -71*p + 388 - 101 = -139. Solve k - 2*k = p*k for k.
0
Let r(b) = -b - 71*b**3 + 0*b + 133*b**3 + 9*b**2 - 5 - 61*b**3. Let y be (6/(-4))/(2/12). Let u be r(y). Solve v - 12 = u*v for v.
-4
Let c(p) = -3*p + 2. Let k(r) = -36*r - 219. Let g(z) = -c(z) + k(z). Let h be g(-7). Solve h - 25 = -5*u for u.
3
Suppose 1689*c = 1685*c + 48. Solve c*p + 62 = -50*p for p.
-1
Suppose 100 = 2*f + 94. Suppose -7 = -f*l + 2*o + 1, 4*o - 8 = 0. Solve 2*i + 0 = l for i.
2
Let b(u) = -u**3 - 8*u**2 + 9*u. Let n be b(-9). Suppose 4*y + 26 = -2*r, 2*y - 3 + 1 = 0. Let o be 9/(-21) + r/(-35). Solve n = -3*g - o - 3 for g.
-1
Let h be 0/(-3) + 2 + 1*-17. Let k = h - -12. Let y be k/(-1*(-4)/(-4)). Solve -y*t = -t + 8 for t.
-4
Let f = -5190 + 5195. Let a = -1 + 1. Suppose 2*r = -4*l + 30, -r + a*r = -f*l + 55. Solve -4*s = l - 2 for s.
-2
Let f(b) = 2*b**2 + 19*b - 61. Let s be f(3). Let h(q) = q**3 - 15*q**2 + 14*q + 11. Let v be h(s). Solve -3 = -v*r + 8*r for r.
1
Suppose -7*z - 4*z + 187 = 0. Suppose 0 = 3*s - 13*f + z*f - 20, 20 = 4*f. Solve s*o = 4*o + 12 for o.
-3
Let r = 3927 - 3620. Solve -r*x = -319*x - 96 for x.
-8
Let y be -1*8/((-24)/(-9)). Let x be y/((-18)/21)*2. Suppose 25 = z - 4*g, 3*g = -x - 8. Solve -z*p - 4 = 16 for p.
-4
Let o be ((-8)/(-5))/(-4) + 6/15. Suppose o = g - 21 - 35. Let q = g - 53. Solve y - 2 - q = 0 for y.
5
Suppose -8 = v - 2*v. Let m be 48/(-10)*100/(-80). Solve m*y = v*y for y.
0
Let p = 4235 - 4216. Solve 18*i + p = -i for i.
-1
Suppose 12*r = -9*r - 2 + 44. Let s(o) = o**3 + 6*o**2 + 4*o - 5. Let k be s(-5). Solve k = r*n - 3*n for n.
0
Suppose -10*k + 16*k + 912 = 0. Let i be -4 - -4 - k/(-4). Let b = -38 - i. Solve 3*q + 1 - 16 = b for q.
5
Let x be -172*(-5 + 26/5 + 9/(-20)). Solve x*i - 16*i = -135 for i.
-5
Suppose 0 = -117*d + 3610 + 3761. Solve d = 15*i - 27 for i.
6
Let h(p) = -p**2 - 16*p + 22. Let w be h(-17). Suppose -w*v + 25 = 5*b, v - 2*b + 1 = -b. Let n be ((2 + -1)/(-2))/((-1)/12). Solve v + n = -2*o for o.
-4
Let w(v) = v**3 - 13*v**2 + 8*v - 8. Let z be w(4). Let x = z - -150. Solve x*j = 33*j + 6 for j.
-2
Let s = 436 - 421. Solve 12*k - s = -3*k for k.
1
Let s be 16/20*(-195)/6. Let v be (-3 - s/8) + 316/16. Suppose 1 = 3*q - v. Solve 0 = 2*y - q*y - 15 for y.
-3
Let f(h) = -h**3 - 11*h**2 - 11*h + 7. Let b be f(-10). Suppose -b + 5 = -3*k. Let x = -48 + 51. Solve x*p = -p + k for p.
1
Suppose 1448 = 27*p - 1495. Solve 106*v - p*v - 18 = 0 for v.
-6
Suppose -7*l = 15*l - 242. Solve 7*a + 4*a - l = 0 for a.
1
Let p(m) = 6*m - 11. Suppose t + z + z - 8 = 0, 5*t - 4*z + 2 = 0. Let r be p(t). Solve r + 0 = -k for k.
-1
Let o(y) = -59 - 3*y + 18*y**2 - 3*y - 9*y - 2*y**3 + 76. Let d be o(8). Solve -6*u - 5 = d for u.
-5
Let k be (-9)/(-18)*(226 + -4). Let i = k + -111. Solve i*b + 4*b + 8 = 0 for b.
-2
Suppose -4*k + 4*t = -396, 5*t - 9*t + 204 = 2*k. Let x be 6/2 + k/10. Solve -x + 41 = -7*r for r.
-4
Suppose 15*r - 7*r + 32 = 0. Let t(d) = 3*d**2 + 12*d + 10. Let s be t(r). Solve 0 = -y - s + 14 for y.
4
Let i be (-259)/74 - 135/(-18). Suppose 3*l - 3 = 3. Solve l = -w + i for w.
2
Suppose 0 = 3*x - 5*f + 25, -14 = x - 4*f + 6. Let p be ((-32)/(-2))/4 + 2 + 51. Suppose 5*v + p = 132. Solve x = -3*z + v for z.
5
Let o be 1/(40/(-15))*(-22288)/14. Solve 58*j - o = -249 for j.
6
Let x be 1287/36 - 2/(-8). Solve 7*y - 85 = -x for y.
7
Suppose 0 = -9*k + 18, -228*b = -231*b + k + 22. Solve b = i + 1 for i.
7
Let t(u) = -u - 35. Let w be t(-51). Let l(v) = v + 15. Let i be l(0). Suppose 2*q + w = b, 5*b - i = -4*q + q. Solve d + d = -b for d.
-3
Let t be 6/(-40) + 42/280. Solve t = -939*v + 948*v for v.
0
Let w(t) = 1499*t - 5996. Let g be w(4). Solve -25*h - 262 + 362 = g for h.
4
Let l be ((-4)/(-14))/(184/20608) + 12/(-2). Solve -12 = -l*d + 14*d for d.
1
Let g be ((-144)/(-88))/(27/198). Solve 283*n - g = 286*n for n.
-4
Suppose -5*j - 44 = -2*d, -3*d + 2*j = -6*d - 10. Solve 71*n - 70*n = -d for n.
-2
Suppose 0 = w + 2273 - 2232. Suppose 4*t - 149 - 15 = 0. Let d = w + t. Solve d*z = 3*z for z.
0
Let i(q) = q**3 + 2*q**2 - q + 8. Suppose -5*a - l - 4 - 22 = 0, -2*l = 2. Let j be (-1 + 0)/(a/(-15)). Let o be i(j). Solve 10 = o*h + 2 for h.
4
Suppose 2*z - 2*q = 28, -76*q = -5*z - 78*q + 70. Let b be 24*4/7*(-14)/(-12). Solve -z*l + b*l = -6 for l.
-3
Suppose -d = -3, 7*i + d + 169 = 8*i. Solve -195*s = -i*s - 92 for s.
4
Suppose 0 = 1313*p - 1299*p - 112. Let i(m) = -m**3 + 13*m**2 - 12*m + 9. Let t be i(12). Solve p*v - t*v = 2 for v.
-2
Let b = 1912 + -1911. Let w(h) = -h**2 + 5*h - 4. Let y be w(5). Let f be (8/(-6))/(y/6). Solve -m + f = b for m.
1
Suppose 5*q - 33 + 72 = 4*x, x + 4*q = 15. Suppose 10*c = -x*c + 105. Solve -8*n + c = -13*n for n.
-1
Let s(y) = -y**2 + 34*y - 118. Let z be s(30). Let a be (z - (7 + -5))/3. Let p(g) = 2*g - 5. Let q be p(4). Solve a = -0*t - 3*t - q for t.
-1
Let o(t) = -t**3 - t**2 - 11*t - 13. Let m be o(-5). Suppose -m + 42 = -5*n. Solve -13*p + 18*p + n = 0 for p.
-4
Let h = 38421 - 38402. Suppose 2 = u - 13. Solve u*t - h*t + 12 = 0 for t.
3
Let z(o) = o**3 + 46*o**2 + 241*o + 46. Let s be z(-40). Let q = 142 - 138. Solve -q*c - 2 = -s for c.
1
Let t be ((-1 - -1)/(-4))/2. Suppose t = -64*y + 50*y + 14. Solve -y = -d - 4 for d.
-3
Let u(m) = 54*m + 1583. Let v be u(-29). Solve 20*b = 77 - v for b.
3
Let k be 4/(-6)*(-2 + -1). Suppose 2*c = 2*n + 4, 2*c + 9 = -3*n + 28. Suppose n*o - 2 - 7 = 0. Solve 0 = -o*b + k*b - 3 for b.
-3
Let k = 455 - 443. Solve 76*o + k = 72*o for o.
-3
Let s = -65 + 61. Let z(m) = m**3 + 4*m**2 + m + 3. Let i be z(s). Let p(a) = -15*a**3 - a. Let g be p(i). Solve -3*q = q 