b*t - 1 = y for t.
4
Let a be 1/(-7) - 86/(-14). Let l(n) = n**3 - 8*n**2 + 14*n - 3. Let m be l(a). Solve 0*d = 3*d + m for d.
-3
Let x(p) = 2*p**2 + 4*p + 3. Suppose -2*i - 4 = -12. Suppose -5*q - 5*u = -8*q - 26, i*u - 8 = -4*q. Let v be x(q). Solve 1 = -v*a - 2 for a.
-1
Let o(h) = -h**2. Let u be o(0). Suppose u*v = 5*v. Let y = 11554 - 11538. Solve 0 = -v*g - 4*g + y for g.
4
Let s be 18*((-291)/(-117) - 6/39). Suppose -3*q + 40 = -4*c, -5*c = 4*q - 2*q - s. Solve 4 + q = 4*y for y.
5
Let o(j) = -j**3 - 6*j**2 - 3*j - 11. Let p be o(-6). Suppose -8 = -p*t + 6. Suppose k + 10 = t*k. Solve -c + 6*c = -k for c.
-2
Let t(x) = 14*x + 2*x**2 + 11 - x**2 - 7*x + 3*x. Let r be t(-8). Let z = -5 - r. Solve 3*w - w - 2 = z for w.
1
Suppose 357*u + 29 = 358*u + 2*h, -5*u + 121 = -2*h. Suppose -3*d - 5*x + 22 = 0, x - 12 = -4*d + 23. Solve -4*c - u = -d for c.
-4
Let m(a) = -16*a**2 - a. Let o be m(-1). Let w = -6 - o. Solve 4*q - 7*q = w for q.
-3
Let l be (15/(-4) - 108/(-144)) + 3. Solve l = 10*n - 6*n for n.
0
Suppose -5*a = -166 + 146. Solve -8*b + a*b = 4 for b.
-1
Let a = 21 + -3. Let l(m) = -m**3 + 17*m**2 + 17*m + 19. Let y be l(a). Let w = 13 - 9. Solve -3*b + y = -w*b for b.
-1
Suppose 3*f + 0*t = -t + 32, 2*f = -5*t + 43. Let a(r) = 3*r - 4*r - 7*r + r**2 - 5. Let x be a(f). Solve -3*n = x + 5 for n.
-3
Let t = -13 - -17. Suppose t*d = 2*d + 20. Let o = -1 - -1. Solve o = 5*j - 0*j + d for j.
-2
Let p = -54 + -13. Let v = 71 + p. Solve 12 = -v*k - 8 for k.
-5
Let m(d) = -18*d + 3. Let c be m(2). Let k be (-4)/6 + (-22)/c. Solve -h - 1 = -k for h.
-1
Let b(s) = 3*s**3 + 6*s**2 - 12*s - 18. Let j(g) = 4*g**3 + 7*g**2 - 12*g - 17. Let d(r) = -3*b(r) + 2*j(r). Let o be d(-6). Solve -3*w = w + o for w.
-5
Let h(x) = -x**3 + 9*x**2 - x + 14. Let i be h(9). Suppose -2*j = -i*j. Suppose 0*q = -3*g - 2*q + 19, j = -3*g + 3*q - 6. Solve z - g = 2*z for z.
-3
Let q be (-8)/(-40 - 0)*100. Solve 113*l - 108*l + q = 0 for l.
-4
Let n = 248 - 247. Let j(q) = -q - q + 3*q. Let a be j(4). Solve -a*f - 13 = -n for f.
-3
Suppose 0 = 67*k - 61*k - 18. Solve -k = r - 0*r for r.
-3
Let m(d) = d**3 - 20*d**2 + 36*d. Let g be m(18). Solve 0 = -2*f - g - 4 for f.
-2
Let d = -28 - -46. Suppose d*n - 28*n = -50. Solve -3*z + n*z + 4 = 0 for z.
-2
Let o be (-12)/9*21/2. Let g(i) = 3*i - 49 - 2*i + 69. Let k be g(o). Solve 5*x - k + 1 = 0 for x.
1
Let h(v) = -v - 1. Let u be h(-7). Let d be (u/(-8))/((-12)/32). Solve q = -2 - d for q.
-4
Suppose -4*q + 14*q - 90 = 0. Solve -13*i + q*i + 12 = 0 for i.
3
Let k = -107 + 113. Solve -k*q = -3*q for q.
0
Let c be (2 + -1)*-1 + 4. Suppose a + c*n - 7*n = -15, 4*a + 16 = 5*n. Let r(i) = 9*i - 2. Let b be r(a). Solve 19 = 3*v + b for v.
4
Let j(o) = -o**2 + 17*o + 22. Suppose -4*x - 27 = -99. Let p be j(x). Solve -p*w = w + 15 for w.
-3
Let a(y) = y - 21. Let f(s) = -21. Let t(p) = -3*a(p) + 4*f(p). Let x be t(-7). Solve -2*w = -x*w + 6 for w.
-3
Let a be (-2 + -10 - -9) + 8. Solve -4*u - a = -25 for u.
5
Let b(d) = d**2 + 3*d - 16. Let z be b(-6). Suppose 6*f - 8 = z*f. Solve f*m + 2 + 8 = 0 for m.
-5
Let m(t) = t**2 - 11*t - 23. Let y be 16/(-88) + (268/22 - -1). Let u be m(y). Let h be 2 - (1 - (-8)/(-2)). Solve 4*p + h = -u for p.
-2
Let b(c) = -71*c**3 + c + 2. Let u be b(-1). Let l be (-2)/(-9) - (-128)/u. Let x = l - -1. Solve 0 = 3*r - x + 6 for r.
-1
Let i(k) = -2*k - 2. Let x be i(2). Let m be (x/15)/((-1)/10). Let t be (-9)/6 - (-30)/m. Solve 2*c - t*c - 4 = 0 for c.
-1
Let i = 6 + -4. Let o be 67/5 + (-6)/15. Suppose -6*m + o = 1. Solve 0 = i*y + m + 8 for y.
-5
Let r = 5 - 5. Let x be r/((-2)/((-4)/6)). Suppose 5*o - 52 + 22 = x. Solve -m + o = m for m.
3
Let y = 15 - 11. Let v be (-1)/(y/(-12)*1). Suppose w - d - 25 = -6*d, v*d - 27 = -3*w. Solve w = m + 2 for m.
3
Let w(y) = y**2 - 4*y + 6. Let a be w(2). Suppose 0 = 4*i, 4*q = a*q + 3*i + 8. Let l be 20/9 + (-8)/36. Solve q*s = 3*s - l for s.
-2
Suppose 0 = -6*h + 2*h. Suppose 5*b - 1 = 3*u, 6*b - 2*b - 4*u + 4 = h. Solve -b = 4*m + 18 for m.
-5
Suppose -11*d - 44 = -15*d. Suppose 4*r = -5*k + d, 0*k = -5*k + 5*r + 20. Solve -k - 9 = -3*f for f.
4
Let r be (-5)/(((-1)/12)/(1/10)). Solve 11 = -r*q - 19 for q.
-5
Suppose -3*d = -9 - 54. Suppose 28 = -d*m + 154. Solve 0 = -2*v + m + 4 for v.
5
Let g be ((-2)/(-4))/((-14)/(-336)). Suppose -2*i - i + g = 0. Suppose k - 2*u + 2 = 5, i*u = 0. Solve 6*j = 3*j + k for j.
1
Let q = -46 + 56. Suppose 3*v = -2*v. Suppose q*y - 5*y = v. Solve 5*n = -15 - y for n.
-3
Let b be ((-6)/9)/((-16)/120). Suppose -2*c + 0 = y - 2, 0 = -c + b*y + 12. Solve c*x + 2 = x for x.
-2
Suppose 0 = -7*h - 14*h. Solve u + 1 + 0 = h for u.
-1
Let d = 2264 - 2257. Solve 5*f = -32 + d for f.
-5
Let s = -10 + 13. Suppose -2*b - s*i + 12 = -3*b, 3*i - 6 = 3*b. Solve -u = b*u for u.
0
Let s = 2039 + -2039. Solve s = -4*j - 0 - 16 for j.
-4
Suppose -3*f + 0 = -6. Let v(p) = 3*p - 1. Let i be v(f). Solve -3 - 12 = i*d for d.
-3
Let g be (5 - 1) + 38/19. Suppose -g*j = -4*j - b - 31, -j + 12 = 3*b. Solve -2*c - c - j = 0 for c.
-5
Let u(c) = -2*c**2 - 4*c + 16. Let m be u(2). Solve 5 = -m*v + v for v.
5
Suppose -5 = 2*u + a, -u - 2*a - 5 = 5. Let k be 8/(-12)*3*1. Let v = 5 + k. Solve -2*q + v - 5 = u for q.
-1
Let a be (18/27)/((-6)/(-27)). Suppose -a = -2*n - 0*d - 3*d, 3*d - 3 = -n. Solve n*t - 3 = t for t.
-3
Suppose -m - 2*h + 59 = 0, -168 = -3*m - h + 29. Let g = 67 - m. Solve 5 = -5*o - g for o.
-1
Suppose 0 = -4*p - 12, 5*p = -m - 11 - 1. Suppose m*n + 70 - 7 = 0. Let s be (12/n)/((-12)/42). Solve g = -s - 2 for g.
-4
Let k(w) = -w**3 - 5*w**2 + 8*w - 3. Let u be k(-7). Let c = u - 21. Let p = -1349 - -1352. Solve p*h + c = 3 for h.
-5
Suppose 4*l + 2*c = 70, 3*c + 13 = 22. Solve 0 = -2*q + l - 8 for q.
4
Suppose -6 = 2*g + 76. Let s = g + 44. Solve -3*p + s = 9 for p.
-2
Let i = 218 - 210. Solve 5*x + 2 = -i for x.
-2
Let g = 2 - -4. Suppose 0 = 2*q - 5*q + g. Suppose 3*z + q*z - 10 = 0. Solve 3*r + z*r = 20 for r.
4
Suppose -3*h + 7 = -4*v + 24, 4*v + 4*h = -4. Solve -f - 9 = v*f for f.
-3
Let x(n) = -n**2 + 22*n - 50. Let p be x(19). Solve 0 = -p*h - 2*h - 36 for h.
-4
Suppose 6 = -f - 4*y, y + 2*y + 8 = f. Suppose -7*i - 1 = -22. Suppose 2*a = -2*k + 8, -5*k - 7 - i = -5*a. Solve -1 - k = f*m for m.
-1
Let j(q) = q**2 + 8*q + 2. Let m be j(-8). Suppose h + 3*a - m = a, 0 = 5*h + a - 19. Solve y + h*y = 5 for y.
1
Let z(a) = a**2 + 4*a + 1. Let d be z(-4). Let k = d - -39. Let x be (k/(-15))/(4/(-6)). Solve 4*b = -x - 4 for b.
-2
Suppose -8*l + 3*l = -25. Let h = -2 + -6. Let p = h - -32. Solve p = -l*q - 1 for q.
-5
Suppose -4*p - 5 = -9*p. Let h(k) = 8*k**3 + k**2 + k - 1. Let l be h(p). Let f = l - 8. Solve -r = f - 0 for r.
-1
Let c = 103 - 93. Let o be (-2)/(-6)*(53 + -2). Let k = o - 12. Solve 0*b + c = -k*b for b.
-2
Suppose 4*k + 3*o = 137, -7*o = -2*k - 9*o + 70. Solve -2*p = -10*p + k for p.
4
Suppose -5*d = -13*d + 16. Suppose 3*y = 8 + 4. Suppose -20 = -9*i + y*i. Solve d*h - i*h - 8 = 0 for h.
-4
Let z = 40 - 26. Suppose 3*d = 6*d + 5*k - z, -16 = -d + 4*k. Let j = -35 + 37. Solve 2*g = d + j for g.
5
Let j = 2287 - 2277. Solve j*d = -6*d for d.
0
Suppose -3*u + 9 = 5*b, 0 = 4*b + 3*u - 1 - 8. Solve -3*y + 2*y - 4 = b for y.
-4
Let w = 0 - 12. Let b = 7 + w. Let x = 8 + b. Solve 2*l = -x*l - 10 for l.
-2
Let c be (-2)/8*(-11 - 1). Let y be (c/2)/((-54)/(-72)). Solve 0 = -5*j + y*j + 9 for j.
3
Suppose -99 = 7*n - 120. Solve 18*p = -21 + n for p.
-1
Let b = -45 - -45. Suppose 2*l - 4*j = -l, 5*l - 3*j = b. Solve -w - w = l for w.
0
Let t be 2 - (-1 + -1) - -3*2. Let u be 4*((-5)/4 - 0). Let x be (u - -3)*t/(-4). Solve x*i + 9 + 6 = 0 for i.
-3
Suppose -x = -t + 2, 3*t = -4*x + 4 + 2. Solve -2*g + 3 + 1 = x for g.
2
Let l = 12 + -7. Suppose b - 11 - l = 0. Suppose 2*k - 4*p + 16 = 0, k + 3*p = 8 + 9. Solve -k*i = 2*i + b for i.
-4
Let d = 20 + -21. Let v be (-18 - -1)/d + 0. Solve -3*x - 2 = -v for x.
5
Let j(n) = 0 - 4*n + 0*n + 7*n - 3. Let i be j(2). Solve i = -2*g + 3*g for g.
3
Suppose -3*m - 25 = -28. Let q(y) = 2*y**2 - y + 1. Let k be q(m). Suppose 3 = -z, 5*w - k*w - 5*z = 24. Solve 9 = w*n - 3 for n.
4
Let j be (6 - -1)*(-8)/(-14). Suppose 1 = -m, 2*m - 3*m = p - j. Solve 9 + 1 = p*a for a.
2
Suppose -8*t + 10*t =