*y - l for y.
-1
Let v(m) = 23*m - 87. Let g be v(5). Solve -12*k - 2*k + g = 0 for k.
2
Let w = 42 + -51. Let c(b) = -b**2 - 9*b + 2. Let t be c(w). Suppose -2*o - v = -8, t*o + 0*o - v - 12 = 0. Solve -3*z + o = -4 for z.
3
Let l(m) = 2*m**2 + 35*m - 15. Let z be l(-18). Suppose -2*g - 4*f + 38 = -z*f, f + 2 = 0. Solve -2*d + 6*d - g = 0 for d.
5
Suppose 10*g - 11 = 9. Let t be -11 - (g/(-3))/((-26)/(-39)). Let b be (-2)/t - (8 + 78/(-10)). Solve b + 15 = 5*c for c.
3
Suppose 0 = -19*z - 19 - 0. Let l be (72 + -73)*61*z. Solve 3*v - 49 = -l for v.
-4
Suppose -31007 = d - 31139. Solve -9*l = -d + 186 for l.
-6
Suppose 70911 = 13*m + 70898. Solve -10*u + m + 39 = 0 for u.
4
Let d(g) = -250*g - 18494. Let w be d(-74). Let a(s) = -s + 1. Let t be a(-1). Solve -t = w*v - 8*v for v.
1
Let a(t) = -t**3 - t**2 - 8*t + 13. Let k be a(-5). Let r = k - 144. Solve 4*g + r = -3 for g.
-3
Suppose -4*t - 5 = 743. Let r = t + 207. Solve 5*q - r = -0*q for q.
4
Suppose -174 = -12*z + 198. Suppose 2*l + 145 = z*l. Solve 0 = 3*c - l - 7 for c.
4
Suppose 80 + 4 = 7*t. Let g(q) = -q**3 + 13*q**2 - 14*q + 26. Let x be g(t). Solve 7*p - x*p = -25 for p.
-5
Let x(r) = 5*r - 107. Let a be x(22). Suppose 10*t + a*v = 5*t + 34, 5*v = 3*t. Suppose -3*d + 31 + 16 = j, -4*d + 66 = -2*j. Solve t*w = w + d for w.
4
Let b be 3/(-1 - -4)*2. Suppose -4*t = 5*m - 32, b*m = -m + 12. Suppose -6 = -3*h - c, 4*h - 1199*c + 1200*c - 7 = 0. Solve -t*s = -2*s + h for s.
-1
Let p = 97 - 83. Suppose p*d = 15*d - 4. Suppose w + 2 = s, -s = s - 4*w - d. Solve s*j = -0 - 2 for j.
-1
Let k = 1767 + -1736. Solve -44*x + 26 = -k*x for x.
2
Let b = 44 - 25. Let p = -11 + b. Let v(w) = w**2 - 5*w - 14. Let u be v(p). Solve 9*d - u = 4*d for d.
2
Let p(m) = 20*m**2 + 12*m + 8. Let a be p(-1). Let i(h) = 2*h**2 + 13*h - 18. Let d be i(-9). Solve d = 7*u - a*u for u.
-3
Let f(t) = t**3 - 9*t**2 - 9*t - 5. Suppose -3*h + 50 - 20 = 0. Let g be f(h). Solve v = -g*v for v.
0
Let g be -10*(0 - (-7)/(-14)). Let x be 6/g*(-85)/34*-1. Solve 17 + x = 5*h for h.
4
Suppose 0 = q - 22*l + 23*l + 3, -4*q - l - 3 = 0. Let z = -35 - -39. Solve q = -0*t - t - z for t.
-4
Suppose -48 = -5*k + 122. Let x be (-255)/k*2/3. Let h be -5*2/x*2. Solve t = h*t + 15 for t.
-5
Let g(n) = n**2 + n - 4. Let w be g(5). Let d = 30 - w. Let f be d/(-10) - 6/(-15). Solve -c - 3 = -f for c.
-3
Let a = 1706 + -1701. Solve a*o + 45 = 65 for o.
4
Let o be ((-1617)/(-22))/(-1 + (-20)/(-8)). Solve -12*g + 37 = -o*g for g.
-1
Suppose 138 = 2*b + 2*d, -4*b + 9*d + 276 = 6*d. Let g = b - 66. Solve -5*z = -g - 2 for z.
1
Let l(r) = -46*r**3 + 4 + 2*r**2 + r**2 - 9*r + 12*r - 4*r**2. Let w be l(-1). Suppose w = 5*k + 31. Solve 6*m - 6 = k*m for m.
2
Suppose -10*z + 27 = 3*s - 6*z, 0 = z. Let o(w) be the third derivative of w**4/8 - 23*w**3/6 - 16*w**2. Let q be o(9). Solve q*a + s = -3 for a.
-3
Suppose -5*d = 9*s - 33, 2*d - 4*s - 80 = -44. Solve 20*m = 26*m - d for m.
2
Suppose -710*h + 715*h - 460 = 0. Solve -5*b - 18*b = h for b.
-4
Let c(b) be the third derivative of b**6/120 - 17*b**5/30 + 11*b**4/8 + 7*b**3/6 - 70*b**2 - b. Let x be c(33). Suppose -24 = -6*o + 2*o. Solve x - o = s for s.
1
Suppose -u - 53 = -4*l - 34, -2*l = 5*u - 15. Solve -l = -19*r - 100 for r.
-5
Let f be 712/32 - (2 - (-14)/(-8)). Suppose -2*r + f = 5*o - 10, -3*r - 2*o = -26. Let n be r/(-5)*(-30)/9. Solve -n = i + 1 for i.
-5
Suppose 260*o + 276 = 266*o. Suppose 0 = 39*m - o*m + 21. Solve 18 - m = -5*l for l.
-3
Suppose 4*d = -2*t - 6, 2*d - 53*t + 50*t = 33. Let f be (-3)/2*4/(-3). Solve -d*h + h = f*h for h.
0
Let x = 16 + -12. Let b be 3/(-7 + -1*584/(-80)). Solve x*o = 9*o - b for o.
2
Suppose -j - 2*j + 6 = 0. Let h(b) = b**3 + 18*b**2 + 31*b - 12. Let t(z) = z**3 - 9*z**2 + 10*z - 32. Let a be t(8). Let q be h(a). Solve q = j*g + 6 for g.
-1
Let q(n) = -4*n - 52. Let m be q(-21). Solve 0 = -45*z + 37*z - m for z.
-4
Let o = 201 + -203. Let z be o + 0 + (-13 - -18). Solve -8 = -5*f - z for f.
1
Suppose -2*v + 5*h = -61, h - 4*h = -4*v + 87. Suppose -14*g - 20 = -v*g. Suppose m + 2*i - 11 = -g, -m + 5*i + 34 = 0. Solve m + 1 = -5*q for q.
-3
Let q(s) = 2*s**2 + 15*s - 2. Let b be q(-8). Suppose 203 = -13*i + b*i. Let r = i + 32. Solve r*n + 2*n = 0 for n.
0
Let z be 24/10 - (6/(-5))/(-3). Suppose z*i = -3*i + 140. Suppose 3*w - l = 29, w - i + 5 = -3*l. Solve -w + 1 = -2*p for p.
5
Let s = -40 + 44. Suppose 0 = s*n - 115 + 67. Solve -4*v + 0 = n for v.
-3
Let t = -24645 + 24654. Solve t*q - 191 = -164 for q.
3
Suppose -15*a = -49 - 41. Let x be (-4)/a - 680/(-30). Solve -23*z = -x*z for z.
0
Suppose 12 = 8*t - 4*t. Let n = -111 + 131. Solve -n = -t*v - v for v.
5
Suppose -67 = 4*o + 2757*k - 2762*k, -4*o - 22 = -2*k. Suppose 0 = s + 2 - 7. Solve -u + o - s = 0 for u.
-3
Suppose -1752 = 14*u + 740. Let j = u + 182. Solve j = -a + 5 for a.
1
Let y = -10685 - -10710. Solve 21 - 196 = -y*z for z.
7
Suppose o - 19 = 5*t, 3*o + 0 = -3*t + 3. Let v be 4 - (-3 - -2 - t). Let f be v/(-4) + ((-306)/4)/(-9). Solve -f - 2 = -5*r for r.
2
Let o(b) = 2*b + 3*b + 0*b. Let a = 56 + -53. Let q be o(a). Solve -4*x - 7 + q = 0 for x.
2
Suppose -3*w = -3*h + 162, -5*w + 21 - 99 = -h. Solve 52*t - 32 = h*t for t.
8
Suppose -44 = -5*v - 5*c + 41, 0 = 4*v - 3*c - 33. Suppose 2*s + 2*s = 8. Suppose u - s*u = -v. Solve p = -3*p - u for p.
-3
Suppose 0 = -3*j + 177 + 33. Let n be j/20*(0 - -2). Suppose n*r - 8*r + 4 = 0. Solve -2*f - 10 = -r for f.
-3
Suppose 3*x - k - 11 = 0, 3*x + 3*k = -2 + 17. Suppose -x*i + 7 = 3*f, -2*i = -f - 0*f + 9. Solve f*l - 7 = -2 for l.
1
Let s(v) = -v**3 + 7*v**2 - 10*v + 23. Let b be s(6). Let n be 6*-5*1*b/3. Solve 2 + n = 3*g for g.
4
Suppose -4*k = -k - 5*o + 99, 2*o = -6. Let t = 42 + k. Let u be ((-8)/4)/((-2)/4). Solve t*g + u = 16 for g.
3
Let h = -525 + 935. Let u = h + -410. Solve -11*p + 10*p - 1 = u for p.
-1
Let l = -97 + 102. Suppose a = 4*n - 20, 5*a - 25 = -0*n - l*n. Solve -3*t - t + 4 = a for t.
1
Let m(i) = 23*i**2 - 16*i + 3. Let b be m(-4). Let r be (-4)/(-30) - (-7337)/b. Solve 14*o - r*o = 0 for o.
0
Suppose 9*s - 11*s = -4. Let l be (42/10)/((-12)/(-20)). Solve l = -n + s for n.
-5
Suppose z + 28 = -3*z + 2*r, -5*r = 5*z + 35. Let l(w) = w**3 + 8*w**2 + 6*w + 16. Let m be l(z). Suppose -7*t + m + 33 = 0. Solve 5*c = t + 2 for c.
2
Let n(k) = -4*k + 19. Let j be n(6). Let x be 5 + j/(40/(-24)). Solve -3*m - m = -x for m.
2
Let p(b) = -b**2 + 6. Let r be p(0). Suppose 19 = 3*t + c, -2*c + 5 = 3*c. Suppose -6*v + 5*g + 8 = 0, 1047*v = 1050*v - g - 7. Solve -t*d + v*d = r for d.
-2
Suppose -5*w = -3*n + 6 - 52, -2*n = -6. Solve w = h + 7 for h.
4
Let w(k) = 2*k**2 + 1. Let r be w(1). Suppose 0 = 2*v - 5*y - 10, r*v - 4*v - 3*y = 6. Solve -5*a - 14 - 1 = v for a.
-3
Let p be (-34)/(-8) - 38/152. Suppose b = -0*b + p*b. Solve 3*q - 5 + 8 = b for q.
-1
Suppose -128 - 84 = 4*b. Let f = 40 - 97. Let w = b - f. Solve j - 6 = w*j for j.
-2
Suppose 96 + 444 = 135*l. Solve -27 + 7 = l*t for t.
-5
Let v = -9942 + 10216. Solve 0 = 106*f + v - 804 for f.
5
Let v(r) = 7*r + 8. Let y(j) = j - 1. Let t(b) = v(b) - 6*y(b). Let p be t(-11). Suppose 0 = p*m + m. Solve 5*c - 10 = -m*c for c.
2
Let k = 25 + -28. Let l be 2/4*-2*k + 3. Suppose 2*n - l*n + 12 = o, 4*n = 8. Solve q = o*q for q.
0
Suppose 2*u - 2*l = 10, -47*l + 28 = 4*u - 50*l. Solve u*h - 36 = -23*h for h.
1
Suppose -3045 = -19*b - 2*b. Suppose 4*h - 20 = 0, -5*r = 9*h - 12*h - b. Solve r - 26 = 2*o for o.
3
Let t(z) be the third derivative of -z**6/30 + z**5/60 + z**4/12 + z**3/6 + 2*z**2. Let n be t(-1). Solve -n*b - b = 10 for b.
-2
Let l(n) = -n**3 - 7*n**2 + 31*n + 13. Let y(x) = -14*x + 46. Let j be y(4). Let q be l(j). Solve q*a - a + 6 = 0 for a.
-3
Let n be (-2)/4 + 7/2. Let h(j) = j**2 + 31*j - 1651. Let q be h(28). Solve n*z - q = 8 for z.
3
Let k be ((-24)/(-72))/((230/(-24))/5 - -2). Solve k = 1267*r - 1269*r for r.
-2
Suppose 0 = 21*z - 157 - 158. Solve x - 80 = -z*x for x.
5
Suppose 3*p = 9, -30*y + 33*y - 4*p - 18 = 0. Suppose -t - y*t = -209. Solve -21 + t = -2*z for z.
1
Let x(r) = 2*r**2 - 28*r - 2469. Let a be x(-30). Solve -45*u + a = -9 for u.
4
Let z = 13813 + -13808. Suppose 0 = 4*q + 5*c - 30, -2*c - 38 = -3*q + 2*c. Solve -z*f + 5 = -q for f.
3
Let h be 