43*a + 360. Solve 23 = a*y + 83 for y.
-5
Let v(b) = 9*b + 15. Let r be v(10). Suppose -r = -3*n + 4*d, -25*n = -21*n - d - 127. Solve 5*l = -n + 11 for l.
-4
Let b(t) = -t**3 - 8*t**2 - 6*t - 38. Suppose -2*o + 2 = 18. Let c be b(o). Solve 8*l = c*l for l.
0
Let o(m) = 19*m**2 + 3*m - 1. Let h be o(-1). Let b(j) = -j + 19. Let k be b(h). Let s be ((-12)/21)/(k/(-14)). Solve 1 - s = x for x.
-1
Let x be 8 - (-91 - 20/(-5)). Suppose -5*t + 7 = d, 5*d + 25*t = 20*t + x. Solve d - 20 = -2*g for g.
-1
Let x = -778 - -796. Suppose 3*v = -5*g + 30, g - x = 2*v - 5*v. Solve -v = -21*p + 22*p for p.
-5
Suppose 6 = -s + 2*s. Let m(i) = -i**3 + i**2 + i + 13. Let j be m(0). Suppose -3*p = 4*g + 12, j*g - 15 = 18*g. Solve p*n - 2*n = -s for n.
3
Let u(m) = 6*m**3 + 44*m**2 - 22*m - 26. Let t be u(-7). Solve -7 = t*k - 227*k for k.
7
Suppose 52 = 2*a - 2. Let y = -25 + a. Suppose -2 + y = -2*h. Solve 0*l - l - 4 = h for l.
-4
Let k = 368 - 356. Suppose 25*v = 24*v + k. Solve -7*p + v*p = 15 for p.
3
Suppose a + 5*a = 198. Let b = -107 + a. Let d = b - -80. Solve 0 = -8*m + d*m + 4 for m.
2
Let h(d) = -2*d**3 - 70*d**2 - 65*d + 109. Let l be h(-34). Solve 14*y - l*y = 0 for y.
0
Let w(v) = -v - 25*v**3 - 21 - 28*v**3 - 33*v**2 + 81*v**3 - 29*v**3. Let t be w(-33). Solve -3*x + t = 3*x for x.
2
Let y = 32129 - 32127. Suppose 2*v + 10 = 5*m - 0*m, 4*v + 3*m = 6. Suppose 2*t - 2*o + 4 = v, -o = -4*t - 0*o - 2. Solve -y = j - t for j.
-2
Let z = 285 + -266. Let f(h) = -h + 36. Let t be f(z). Solve -t = 3*m - 20 for m.
1
Let w be (4/(-14))/((-1)/14) - -35. Solve w*p - 60 = 27*p for p.
5
Let c(d) = 3*d**2 - 6*d + 7. Let b be -5 - ((-14)/(-2))/(-1). Let t be c(b). Suppose -14 = -t*r - 7. Solve r = l - 4 for l.
5
Suppose -2*x = -2*m - 4, -2*m = -x + m - 2. Suppose 0 = -4*t - 0*t + 3*y + 20, t = x*y + 5. Suppose -t*g + 11 = 1. Solve -g*n = 6 - 0 for n.
-3
Let q(h) be the first derivative of h**4/4 + 3*h**3 + 7*h**2/2 - 3*h + 7. Let k be q(-8). Let b(m) = -293*m + 303. Let z be b(1). Solve 0 = 7*c - k*c + z for c.
-5
Let n(q) be the third derivative of -q**5/60 - 5*q**4/4 + 355*q**3/6 - 310*q**2. Let g be n(-39). Solve 3*l = g*l - 2*l for l.
0
Suppose 529*y = 532*y + 5*q - 52, -y = 4*q - 1. Solve 40*v + 44 = y*v for v.
-4
Let j be (60/(-16)*5)/((-6)/32). Suppose 12*o - j = 2*o. Let u = o + -10. Solve q + 2*q = u for q.
0
Suppose -4*s + 2*k - 2 = 0, -37*k + 32*k + 5 = 2*s. Solve 9*z = -s*z - 9 for z.
-1
Suppose 2*u + 5*m + 5 = 0, -4 + 1 = -m. Let v(q) = 0 - 19 - 52*q + 40*q - q**2. Let a be v(u). Solve c = -0*c + a for c.
1
Let t(r) = -r**3 - 20*r**2 + 190*r + 45. Let m be t(-27). Solve -3*n - 60 = -m*n for n.
4
Suppose -9*y + 0 - 5 = -5. Solve 7*n - 80 + 108 = y for n.
-4
Suppose -172*z = 12*z + 23*z. Solve -8*b + 779 - 811 = z for b.
-4
Let o(y) = 7 - 5*y**2 - 556*y + 553*y + 17*y**3 - 18*y**3. Let v be o(-4). Solve -3*l = v*l + 12 for l.
-2
Let t be (520/78)/((-4)/(-6)). Solve -t*h = -14*h + 4 for h.
1
Suppose 8760 = 35*i + 111*i. Solve -76*y - i = -106*y for y.
2
Let x(m) = m**2 - 3*m + 1. Let d be x(0). Let v be (-22 - -21) + (d - 1) + 10. Solve 4*t = -21 + v for t.
-3
Suppose -11*p + 76 = -12. Suppose 48 + 72 = p*v. Suppose -3*y + v - 6 = 0. Solve -y*d + 20 = 2*d for d.
4
Let s(c) = c**2 - 24*c + 108. Let v be s(18). Let w = 2 - 3. Let u = 0 - w. Solve z + u = -v*z for z.
-1
Let l = 1862 + -1817. Solve -3*b + 12*b + l = 0 for b.
-5
Let u be (2/4)/(16/64). Let p be (u/(-4))/((-3)/240). Let m = 40 - p. Solve m = -0*g - 4*g for g.
0
Let q = -1 - -11. Let l(f) = 14*f**2 + 92*f + 56. Let o be l(-6). Solve -o*h + q = -3*h for h.
2
Suppose 49*i - 115*i = -65*i - 2235. Solve 2230*a + 5 = i*a for a.
1
Suppose -3*i - 4*k + 15 = 0, -k = -3*k. Suppose -u - i*g = -19, -15 = -9*g + 4*g. Solve l = -u*l + 5 for l.
1
Suppose -8*i = -6*i - 8. Suppose -2*s + 29 = l + 2*l, -i*s = -5*l + 19. Solve 8 - 1 = -l*x for x.
-1
Let f be (-1196)/182 + 8/14 - -6. Solve f = -3*t - 31 + 19 for t.
-4
Let v = 475 + -470. Let d(i) = -i**2 + 4*i**2 + i**3 + 1 + 1 - i - 5*i**2. Let g be d(2). Solve v*t - 7*t - 10 = g for t.
-5
Let h = -2 + -7. Let s = -9 - h. Let y = -93 - -96. Solve 0*c - 3*c - y = s for c.
-1
Let f = -273 - -306. Suppose -17 = -34*l + f*l. Solve 2*d = -15 + l for d.
1
Suppose -193*l = -29*l - 22304. Solve 143*a - l*a - 7 = 0 for a.
1
Let o(w) = w**3 + 10*w**2 - w - 5. Suppose -16*v - 140 = -2*v. Let s be o(v). Solve 10 = -s*a - 0 for a.
-2
Suppose 3*z - y + 189 - 202 = 0, 2*z - 12 = -y. Solve 15*l = 10*l + z for l.
1
Let s be 75/(-30)*12/(-3). Solve 74*w - s = 79*w for w.
-2
Suppose -10 = -2*n - 6. Suppose p + 10 = -n*l, 21*l = -3*p + 17*l - 20. Solve p = k + 4*k for k.
0
Let m(g) = g**3 - 2*g**2 + 15. Let q be m(0). Suppose 4*p - 23 - 29 = 0. Suppose 0 = -5*n + p + 12. Solve -2*r = -n*r - q for r.
-5
Let r = 57 + -53. Suppose r*j - 84 = -4*v, -3*j + 2*v - 6*v = -62. Solve -j = 5*n - 2 for n.
-4
Let k(p) be the second derivative of -6*p**3 + 15*p**2/2 + 20*p + 1. Let s be k(0). Solve s + 6 = 7*m for m.
3
Let o = -4118 - -4121. Let z = -28 + 16. Let m = z + 20. Solve 0 = o*l - l + m for l.
-4
Let d be 8/2*5*(-12)/(-15). Solve 0 = 7*u - d*u for u.
0
Suppose 27*h + 4*h = -29*h + 11280. Solve 0 = 186*c - h*c - 12 for c.
-6
Suppose -3*t + 2*x - 10 = 255, 5*x = -5*t - 450. Let c = t + 98. Solve -u - c = 2*u for u.
-3
Let p(x) = -x**3 - x**2 - 2*x - 3. Let m be p(-2). Let i = -5 + 9. Suppose -4*o - 14 = b - 1, 2*b - 26 = 5*o. Solve -b*a + i*a = -m for a.
-5
Let r be 7 - 11/7 - 52/(-91). Suppose -2*j - 6 = -5*f, 0 = -4*f + 4*j - 0*j. Solve 0 = -l - r + f for l.
-4
Let b = 192 - 142. Suppose 0 = 31*x - 105 - b. Solve 0*c - x*c = -10 for c.
2
Let y be (-192)/(-8)*1/6. Suppose 5*g - y*g = 4*g. Solve 5*j = j - g*j for j.
0
Let z be 76996/76 + 4 + (-4)/38. Solve -15 = -1022*l + z*l for l.
3
Suppose 5*i + 7*s = 3*s + 48, 2*i + 4*s = 24. Solve -2*b = i*b for b.
0
Suppose 0 = -5*l - 4*u - 406, -2*l + 2*u - 330 = 2*l. Let a = -62 - l. Let m = 9 + -5. Solve -a = -m*y - 0*y for y.
5
Let z be 1/((-3)/3)*0. Suppose z = -2*p + 8 + 42. Suppose 2*r - 22*r - 6*r = -8*r. Solve r = 2*k - 7*k + p for k.
5
Let t(d) be the second derivative of d**4/2 + d**3/2 + 32*d - 2. Let x be t(-1). Solve x*y + 2 = 2*y for y.
-2
Let w(d) be the third derivative of d**5/30 - d**4/6 + 5*d**3 - 8*d**2. Let a be w(5). Let u = 62 - a. Solve -u*q - 5 = -9 for q.
2
Suppose -2*k + 34*k = 128. Suppose 0 = 11*z - 13*z + k. Solve 20 - 30 = -z*i for i.
5
Let s(w) = 2*w - 70. Let t(y) = -37*y**3 + y + 1. Let z be t(-1). Let l be s(z). Solve -l*h - 15 = -h for h.
-5
Let k = -130 + 141. Suppose 2*m + f - 34 = 0, -k*m - 3 = -12*m + 3*f. Solve -5*n - m = -2*n for n.
-5
Suppose 36 - 21 = 2*p - 99. Solve -6 = 9*u + p for u.
-7
Let w be (-6)/(-36) - 2514/(-36). Solve w*t - 52*t = 36 for t.
2
Suppose 5*k + 0*k - 5 = 0. Let f = -13 + k. Let m be (f/(-4))/1 - 3. Solve m = c + c - 8 for c.
4
Let x = -113 + 202. Suppose 37 - x = -13*s. Suppose 4*a - 2*c - 2*c = -s, -21 = a - 5*c. Solve a*v - 11 = 1 for v.
3
Let i(y) = y**3 + 24*y**2 + 6. Let r be i(0). Solve -r*u - 5*u = 4*u for u.
0
Let d = 42194 - 42147. Solve 30*m + 43 + d = 0 for m.
-3
Suppose -4*a + 3*s = -2*a + 19, -4*s + 18 = a. Let w be (6 - 2) + -15 + a. Let l be (w - -15)*(-9)/(-2). Solve -l = n - 11 for n.
2
Suppose 5947*j = 5969*j. Solve 8*l - 337 + 313 = j for l.
3
Suppose -4*r = 11 - 23. Suppose 2*a - 8 = -4*n + 4, 9 = r*n - 5*a. Suppose 3*p + g - 6*g - 32 = 0, 12 = -n*g. Solve 0 + p = 4*l for l.
1
Let t(u) = u**3 - 6*u**2 + 3*u + 10. Let w be (2 - 3)/((-8)/16). Suppose -w*h + 4*v = 3*h - 45, -2*v - 10 = 0. Let k be t(h). Solve k = 2*r + r + 3 for r.
-1
Let l = 19709 - 19660. Solve -30*i + l = -79*i for i.
-1
Let n(x) = 139*x - 1807. Let k be n(13). Solve 71*c - 11*c - 480 = k for c.
8
Suppose -i = -3*a + 66, -2*i = -11*a - 7*i + 242. Solve -4 = -26*o + a for o.
1
Suppose -2*c = 6*c + 1688. Let q = 224 + c. Solve 0 = -q*z + 9*z - 8 for z.
-2
Suppose -2*h = -4*j - 26, 2*h + 3*h + j - 10 = 0. Suppose -3*v + 1835 = 5*p, -36*p - v = -32*p - 1475. Let m = p - 367. Solve 0 = m*q + h + 3 for q.
-2
Let o = 36 + -34. Suppose -5*f = -2*a - a + o, -f = 2*a - 10. Let r be 12/f - 0 - 2. Solve r*s - 7 - 13 = 0 for s.
5
Let i(v) = -5*v**2 - 6*v + 147. Let y be i(-6). Solve -256 = -29*d - y*d 