/(-8)*z/(-7). Solve -k = -w + 1 for w.
5
Let d be -16*2*(-6)/8*20303/514. Solve 959*l - d*l = -33 for l.
-3
Let g(y) = 31*y - 22. Let j(z) = -50*z + 33. Let h(a) = 8*g(a) + 5*j(a). Let l = 8 + -15. Let p be h(l). Solve -d = -p*d for d.
0
Let t be 1/8*-10*-96. Let m = t + -117. Suppose -6 = -0*k - m*k. Solve k*x - 8 = -2*x for x.
2
Let t(a) = -2*a**2 + 26*a - 22. Let c be t(12). Let q be ((-34)/(-170))/(c/170). Solve q + 15 = 8*p for p.
4
Suppose 2*k - 2*o = 572, 3*k + 3*o = -k + 1165. Let g = 305 - k. Solve -g*q + 15*q = -4 for q.
4
Let g be 1586/(-39) + 4/(-3). Let t(r) = -r**2 + 45. Let w be t(0). Let l = w + g. Solve 12 = l*p + p for p.
3
Suppose 92 + 104 = 7*z. Let l be 0/(5/(-25) - z/10). Solve l = -3*o - o + 16 for o.
4
Let z be (1 + -1 + 1)/(4599/1002582). Solve 90 = -16*q + z for q.
8
Let b(t) = 37*t - 689. Let n be b(52). Solve -n*z + 32 = -1231*z for z.
8
Let i be -103 + (-3)/((-12)/(-8)). Let n be 0*42/i*(-5)/4. Solve -o = -n*o for o.
0
Let h(v) = v**3 - 7*v**2 + 6*v + 3. Let g be h(6). Let a be 2*24 - (-9 - -11). Let u = a - 43. Solve g = 3*q - u for q.
2
Suppose 22*n - 19*n - 4*o + 11 = 0, -5*n + 4*o - 5 = 0. Suppose 11*a = n*l + 7*a, -3*a + 9 = 0. Let i be (-4)/2*18/(-4). Solve 0 = -l*h + h - i for h.
-3
Let i(d) = 154*d**3 - d**2 - 3*d - 1. Let l be i(-1). Let f = l + 157. Solve -f*q - 43 + 27 = 0 for q.
-4
Suppose 2*z - 16 = -3*m + 24, 5*m = -20. Let r = -142 + 142. Solve r = 2*v - z + 24 for v.
1
Let r be -28 + (44 - 23) + 12. Suppose -3*v - 5 = -4*v. Solve -r + v = -s for s.
0
Suppose 120 - 15 = 3*h. Let j be (-6 - h/(-6)) + (-38)/(-12). Suppose 0*d - 3*d = j*u, 5*d + u = 12. Solve 7*y - d*y = 16 for y.
4
Suppose 0*t - 4*t = o - 63, 0 = -o + 3. Let b be (-3 - -3)/((-18)/(-18)). Suppose q - 1 + b = f, 0 = -q + 4. Solve -2*r = f*r - t for r.
3
Let c be (-48)/240 - 71/(-5). Suppose -46*h - c = -48*h. Solve -2*l + 9 = h*l for l.
1
Suppose v + 4 = -x, -2*x = -0*v - v - 7. Let i(j) = 151*j**2 - 1 - 49*j**2 - 54*j**2 - 6*j - 49*j**2. Let h be i(v). Solve h*l = -l for l.
0
Let k(q) = -11*q - 99. Let y be k(-10). Suppose -36 - 19 = -y*t. Solve -4*r + 1 = t for r.
-1
Suppose 0 = 5*l + 5, -5*f - l + 0*l = -39. Let g be 1/f - -213*(-1)/(-24). Suppose m - 24 = -4*a, -4*m = -g*m. Solve 3*q = a*q for q.
0
Suppose 6 = -4*i + 10. Let v be (-4)/(-38) + 90/(-855). Solve v - i = -m for m.
1
Let n(w) = -w**2 + 7. Let a be n(0). Suppose -4*u = 12*j - 17*j + 21, -20 = -4*j + 4*u. Solve 0 = -2*i - a - j for i.
-4
Let q(c) = 2*c**2 - 1089*c + 7532. Let f be q(7). Let w be (-22)/4*-1*2. Solve f*u = w*u for u.
0
Suppose 1 = 5*g - 4*d - 192, 2*g + d - 72 = 0. Suppose -w - p + g = -6*p, 0 = -2*w - 3*p + 9. Solve 0 = 6*b + 12 + w for b.
-4
Suppose -4*o - u - 2 = 0, -o - 4*u = 4*o + 8. Let m be (2 + o)*(-4 + 6). Suppose -m*q + 20 + 4 = 0. Solve -2*p = -q - 0 for p.
3
Let f = 40 - 39. Let t be 1 - (-3 + -1)*f. Suppose -30*i + 75 = -25*i. Solve -t*d - i + 40 = 0 for d.
5
Let y = 3022 - 2864. Solve 164*r - y*r = -36 for r.
-6
Suppose 243*k - 983 - 4606 = 0. Solve 0 = k*z + 29*z + 52 for z.
-1
Let r(x) = 15*x**3. Let c be r(1). Let n be -1*c/(60/(-8)). Solve 10 - 4 = -n*s for s.
-3
Suppose 0 = 5*m + w + 377 + 288, -3*w - 15 = 0. Let i be -126 - 4 - (-3 + (-10)/(-5)). Let b = i - m. Solve r = -b*r for r.
0
Suppose -4*a = -2*k + 148, 155*k - 154*k = -4*a + 62. Solve 0 = 13*q - 3*q - k for q.
7
Let c = -1308 + 1395. Solve 15 + c = 17*i for i.
6
Let x = -4 + 11. Suppose -13 = -4*d + x. Suppose p - 6*p = -2*b - 15, -2*b + p + d = 0. Solve b + 1 = -2*i for i.
-3
Suppose 29 = -3*c - 19. Let i(q) = 5*q + 3. Let g be i(c). Let k = 80 + g. Solve k*u - 3 = -0 for u.
1
Suppose -2*o = -4*g + g + 28, 2*g - 2*o - 22 = 0. Suppose 2*m = g*m - 72. Suppose -21*q - m = -30*q. Solve 0 = 3*s - q - 1 for s.
1
Let p = -505 - -1119. Let d = p - 611. Let u be (-58)/(-10) + 2/10. Solve d = h + u for h.
-3
Let z = -42 - -46. Suppose -2*d + 3*t + 1 = -19, 0 = -z*d + 4*t + 40. Suppose -5*x + 15 = -d. Solve 3*g = x*g - 10 for g.
5
Let x = 7012 - 7006. Solve -16*j = -x + 38 for j.
-2
Let g = 2135 - 1479. Suppose 0 = -12*f + 28*f - g. Solve -f*q = -36*q for q.
0
Suppose 9 = -207*n + 208*n + 4*z, -2*n + 53 = z. Solve -38*g + n*g - 27 = 0 for g.
-3
Let g = 20724 + -20553. Solve -3 + g = 21*h for h.
8
Let u(n) = 3*n**2 - 58*n - 582. Let j be u(-12). Solve 0 = j*c - 547*c + 3 for c.
3
Suppose 2*a + w + 30 = 29, w + 1 = -3*a. Solve a*m + m = 3 for m.
3
Suppose 5*s = -4*c + 18, 3*c - 31 = -4*s + 9*s. Solve 13*f = -c - 6 for f.
-1
Let z be ((-11)/33)/((-2)/2232). Let c = z - 365. Solve c*r + 12 = 11*r for r.
3
Let n = 15 + -11. Suppose 5*y + n*d - 17 = 45, 45 = 3*y + 5*d. Suppose 0 = 4*b - y + 6. Solve -b = -s - 5 for s.
-4
Suppose -42 = -50*n + 258. Solve -3*a + n = -5*a for a.
-3
Suppose 0 = 12*f - 2*f - 880. Let r = f - 109. Let w be -28*-2*(-3)/r. Solve w = 4*o + 24 for o.
-4
Suppose 4*a + 2*w - 32 = 4, 3*a = 4*w + 38. Suppose -7*y - 7*r + 89 = -11*r, -r = -3*y + 36. Solve y*i = a*i for i.
0
Let o = -22266 + 22275. Solve -v = -4*v + o for v.
3
Let w be 0 + -1 - (-311 - (-16 + 9 + 1)). Solve 0 = 4*n + w - 292 for n.
-3
Let a be 26 - (-154)/(-14) - 15. Solve 3*x + 5*x + 48 = a for x.
-6
Suppose -2*w + 5 = -z - 1, -4*w + 12 = -z. Let p(d) = d**2 + 188*d + 7402. Let t be p(-56). Solve -t*u - 61 + 11 = z for u.
-5
Let f(p) = 281*p**2 + 1. Let m be f(1). Suppose 4*v + 439 = 5*l, 3*v + 54 + m = -3*l. Let z = v + 113. Solve 0*k + k = z for k.
2
Suppose 2*u = -5*a + 5, 3 = -5*u - a + 27. Suppose 2*m - 14 = -u*t, 5*m = 2*t - 3*t + 12. Solve -t*o - 3 = -o for o.
-3
Let h = 42 - 24. Let u = -6955 + 6958. Solve 5*v = -u + h for v.
3
Let q(o) = -2*o**2 - 16*o + 15. Let l be q(-8). Suppose -55 + l = -4*f. Solve -16 + f = 2*t for t.
-3
Let a(z) = 27*z + 90. Let h be a(-3). Suppose h*j - 28 = 98. Solve j*x - x - 52 = 0 for x.
4
Suppose -25*v - 410 = -710. Solve 517*q = 519*q + v for q.
-6
Suppose 70*w - 1635 = -165. Solve -10*i + w*i - 55 = 0 for i.
5
Suppose 186*h = -112*h + 34866. Let l = 86 - 200. Let q = h + l. Solve 7*g = q*g for g.
0
Let v be (4/12 - 5)/((-2)/6). Suppose -d + 26 - v = 0. Suppose t + 3*w - d = 0, 6*t + w + 4 = 7*t. Solve t*l = 2*l for l.
0
Let t = -1000 - -2416. Suppose -k - t = 11*k. Let o = k - -118. Solve o = -2*n - 2*n for n.
0
Suppose 730 + 305 = 9*i + 711. Solve -8*t = -i*t - 84 for t.
-3
Let p(l) = -2*l**2 + 35*l + 13. Let v(o) = 2*o**2 - 34*o - 14. Let t(j) = 3*p(j) + 4*v(j). Let m be t(14). Let u = m + 62. Solve u*x = 8*x - 15 for x.
3
Let y(r) = 32*r + 211. Let w be y(-7). Let c be (175/(-14) - w)*64/1. Solve 6*g = 8 - c for g.
-4
Suppose n - 6121 = -5*s + 5*n, -5*n - 1241 = -s. Let d be (-8)/(-6)*s/148 + -6. Solve 12*o - 35 = d*o for o.
5
Let c be ((1 - 3)*1)/((-3)/12). Let b be c - 3/((-6)/(-10)). Solve 3*t - 3 = b for t.
2
Let p(f) = -f**2 + 9*f - 20. Suppose 0 = -61*g + 55*g + 30. Let l be p(g). Solve l = -4*t + 7 - 19 for t.
-3
Suppose 9*q - 8*q + 22 = 0. Let h be 1*(1 + 1)*(-55)/q. Solve -h*n = -6*n - 2 for n.
-2
Let a(x) = -x**2 - 12*x - 4. Let d(u) = 2*u**2 + 23*u + 9. Suppose -61 = -3*f - 40. Let o(l) = f*a(l) + 4*d(l). Let y be o(-9). Solve -4*w - 3 - y = 0 for w.
-5
Let m be 58/493 - (-15 - -45)/((-17)/9). Solve 41 = -25*y + m for y.
-1
Suppose 30*z - 11*z - 190 = 0. Let s be 4 - (z/(-5) + 3). Solve 5*q + 7 = -s for q.
-2
Let n = 12659 + -12280. Solve n*k = 371*k - 16 for k.
-2
Let y(x) = -x**2 - 3*x + 5. Let d be y(-4). Let b = d - -13. Suppose -12 = -i + 4*s, 4*i - 3*s - b - 34 = 0. Solve -n + 8 - i = 0 for n.
-4
Let f = -2351 - -2361. Solve 12*z - f = 2*z for z.
1
Suppose 4*p - 1692 = p - 4*s, 3*p = -2*s + 1680. Solve p*h - 551*h = 0 for h.
0
Let n(g) = -13*g + 41. Let o(h) = -3*h + 10. Let s(y) = -2*n(y) + 9*o(y). Let p be s(2). Let w be 0/1*(6/(-3))/p. Solve -4*j + 9 + 3 = w for j.
3
Suppose -5*s + j + 30 = 5*j, -2*s = -2*j - 30. Solve -s*h = -36*h + 104 for h.
4
Suppose 2*n = 3*w - 25 + 303, 3*w = -n - 266. Let a(u) = -93*u + 112. Let g be a(2). Let r = g - w. Solve r = -4*l - 0 for l.
-4
Let o = 6639 - 6619. Solve o*p - 4*p = -80 for p.
-5
Let v(h) = -3*h**2 + 148*h + 114. Let k be v(50). Solve -k = -8*a + a for a.
2
Let k(g) = 22*g**2 - 111*g - 110. Let h be k(-1). Solve -5*j + 84 = h*j for j.
3
Let m(p) = 5*p**2 + 3*p + 7. Let k(u) = 4*u**2 + 3*u + 6. Let 