 = 2*a - 2, n = 3*a + j - 13. Solve -b + a = -0*b for b.
4
Let m = 33566 - 33547. Solve -24*u + 35 = -m*u for u.
7
Let y be 2*(714/(-12) + -4). Let j = y + 135. Solve c = 6 - j for c.
-2
Suppose 4*o = -65*y + 69*y + 4, o = -4*y + 6. Solve -1 + 1 = o*t for t.
0
Suppose -3*n + 1 = 3*t - 2, -27 = -3*t + n. Solve -t*p + 7*p = 2*p for p.
0
Suppose -5*r + 112 = -104*b + 106*b, 5*r = b + 109. Solve 30*p - 16 = r*p for p.
2
Suppose 286 = -24*t + 22*t. Let v = t + 144. Solve -g - v = -5 for g.
4
Suppose -v + x = -7, -2*v + 0*v + 11 = -3*x. Let l be (-315)/(-65) + (-438)/26 + 17. Solve v*u - l*u = -25 for u.
-5
Let k(o) = -o**3 + 11*o - 10 + 20*o**2 + 1 - 18*o**2. Let p be k(4). Solve 4 - 19 = -p*w for w.
5
Let f = 687 + -675. Suppose 2*k = f + 6. Solve 2*c + k = -1 for c.
-5
Suppose 2*p - 14 = -5*o, 2*o - o - 1 = -p. Let v be (-4)/(-8) + -1 - (-6)/o. Let u be ((-1)/(-1))/(2/6). Solve 8 = -u*i - v for i.
-3
Let w(n) = -n - 73. Let j be w(-16). Let i = j + 62. Solve 7*r - 6 = i*r for r.
3
Let s(w) = -w**2 - 7*w - 6. Let x be s(-6). Let k be 1 + (-24)/6*-10. Let m = 43 - k. Solve -3*q + q - m = x for q.
-1
Suppose -60*r - 19 = -78*r + 35. Let l be 56/(-8)*(-2 - 3). Solve -10*a + r*a = l for a.
-5
Let y = -18 + 24. Suppose y*r = 3*r - 54. Let v = 19 + r. Solve -v = -h + 1 for h.
2
Let u be (55/(-25))/((-5)/25). Suppose 3*j - 2*t + 0*t + 1 = 0, 0 = -2*j - t + u. Solve 0 = -16*o + 13*o - j for o.
-1
Suppose 15*x + 25*x - 128 = 8*x. Solve -5*u = 14 - x for u.
-2
Suppose 6*w - 57 = 87. Let m be 2/2 - 424/w*-3. Solve 0 = -11*c + m + 1 for c.
5
Let q = 4301 + -4056. Solve 20*a - 55*a = q for a.
-7
Let u = -14 + 103. Suppose 5 = -14*i + u. Solve i*z + 12 - 36 = 0 for z.
4
Suppose -40*o + 35*o = -55. Let u(v) = v**3 - 9*v**2 - 24*v + 28. Let i be u(o). Solve 5*w + 1 = i*w for w.
1
Suppose 5*c - 67 = -7*d, 47 = 4*c - 5*d + 4*d. Solve 0 = -7*j + 9 + c for j.
3
Suppose 14*i + 8*i - 176 = 0. Suppose i*h = -3*h. Solve l + 1 = -h*l for l.
-1
Let l = -90 - -154. Let q be (6/4)/(48/l). Suppose -q*w - 3 + 9 = 0. Solve -18 + 3 = w*x for x.
-5
Let a be (-15*51/(-340))/(3/372). Solve 27*d - a = -4*d for d.
9
Let k(h) = -5*h - 30. Let u be k(-6). Suppose u = -4*p - p + 65. Solve 16*v = p*v - 9 for v.
-3
Let j = 711 - 511. Suppose -32*v + j = 18*v. Solve 9 = -w + v for w.
-5
Suppose -5*i - 5 = c - 3, -2 = -2*c - 4*i. Let s be (2 + c)*(2 - 1). Let z(q) = q**2 - 3*q - 9. Let d be z(s). Solve -2*f + 3 = d for f.
1
Let h(y) = y**3 - 2*y**2 - 15*y + 22. Let p be h(4). Let l be (-3*1)/(1 - (-15)/p). Solve 0 = l*j + 3*j - 5 for j.
1
Suppose -2*j + 12*j + 2*j = -17*j. Solve j = -25*u + 21*u for u.
0
Let z be ((3 - -1)/1)/((-2)/(-3)). Suppose -z*b - 3 + 63 = 0. Suppose 3*m - b*m = 0. Solve m = -4*g + 5*g + 3 for g.
-3
Suppose -54*l + 88*l = 69*l - 385. Solve -610 = -l*z - 533 for z.
7
Let c = 49 - 67. Let o = -8 - c. Suppose -o*h + 4 = -36. Solve 6*s - 8*s = h for s.
-2
Suppose 3833*h = 3824*h. Solve -8*n + 199 - 207 = h for n.
-1
Suppose 0 = -4*v - r - 36, -v + 84*r = 85*r + 9. Let z(p) = -11 - 2*p + 3 - 10. Let t be z(v). Solve 0 = o - t*o + 2 for o.
-2
Let w(l) be the third derivative of 9*l**6/10 + l**5/30 - l**4/6 + l**3/2 - 42*l**2. Let o be w(1). Let d = -104 + o. Solve j = d*j - 20 for j.
5
Let d(t) = 16*t + 226. Let v be d(-14). Suppose 0 = 5*l + 2*m - 10, -11*m = v*l - 12*m + 5. Solve l = -2*c + 10 - 0 for c.
5
Let m(g) = 3*g - 35. Let v be m(15). Suppose -55*l + 60*l = -v. Let t be (((-80)/6)/(-2))/(l/(-6)). Solve -2*k - 2*k = -t for k.
5
Suppose -5*q - l + 22 = 0, l = -4*q + 2*l + 23. Suppose 5*n - 25 = q*d, -2*n + 37 = 3*n - 2*d. Let p = n + 2. Solve -5*f + 1 = p for f.
-2
Let u = -399 - -404. Suppose -j + 9 = 3*l, -3*l + 8*j - 3*j = -9. Let g be 1*(-3 + l)/u. Solve g = 5*w - 16 + 1 for w.
3
Let q(r) = -r**2 - 33*r + 49. Let y be q(-34). Suppose y*m = 13 + 62. Let b(f) = -7*f + 3. Let v be b(-4). Solve -m*l + v - 11 = 0 for l.
4
Let q(g) be the first derivative of -2*g**3/3 + 11*g**2/2 - 6*g + 17. Let k be q(8). Let c = -42 - k. Solve c*v = -v - 10 for v.
-2
Suppose 12*w = 96, -3*j + 2*w + 1382 = 3*w. Solve 0 = -35*z - 283 + j for z.
5
Let k be 5/2*(5/10 - (-9)/(-90)). Solve 0 = -63*d + 62*d - k for d.
-1
Let j(r) = 16*r - 1012. Let d be j(65). Solve -3*c + 13 = d for c.
-5
Let m = -2746 + 4680. Solve -m*r = -1939*r for r.
0
Let t be ((-13)/(-5))/((-9)/(-45)). Suppose t*l + 21 = 16*l. Solve -10 = 3*n - l for n.
-1
Let j = -31 - -33. Suppose j*v = -5 + 15. Let r(b) = -2*b**2 + 14*b + 13. Let p be r(7). Solve p = 4*l + v for l.
2
Let w(a) = -2*a**3 + 111*a**2 - 57*a + 158. Let j be w(55). Solve 37*r + 22 = j*r for r.
2
Let b(t) = -t**2 + 5*t + 5. Let u be b(4). Suppose v + 5 = u, -x + 4 = v. Solve -2*s + x = 10 for s.
-5
Suppose 2*p - 2*t = -8, 17 = 4*p + 4*t + 57. Let s be (-39)/(-21) + (-1)/p. Solve 6 - s = 2*m for m.
2
Suppose 176*a - 183*a + 21 = 0. Let c be (-5 + a)/(-4)*(12 + -12). Solve c = 2*r + 3 - 5 for r.
1
Suppose 3*s + 4*i = 35, 0*s = 4*s - 5*i + 5. Suppose 5*h - 2*w + 7*w - 35 = 0, -s*h - 2*w = -26. Solve -1 = -h*y - 13 for y.
-3
Let l = 13492 - 13023. Solve 397 = -12*n + l for n.
6
Let c be (2/(-4))/((-1)/(-2)*-1). Suppose 67 = 3*l + 58. Solve -l*x + 16 = c for x.
5
Suppose 13 = 5*p - s, 3*p + 2*s + 4 = 2*p. Let z(d) = 5*d**2 + 10 + 3 - p*d**2 - 12*d - 2*d**2. Let b be z(11). Solve 1 = b*c + 3 for c.
-1
Let r(v) = -10*v - 54. Let b(k) = 7*k + 36. Let x(w) = -7*b(w) - 5*r(w). Suppose -5*n + 21*n + 240 = 0. Let q be x(n). Solve q*j - 1 - 8 = 0 for j.
3
Let q be (-1 - 2) + 48 + -49. Let x be (-17 + q)/3 - -11. Solve 40 = -x*p + 60 for p.
5
Suppose 5*x - 2*p - 24 = -0*p, 2*x - 3*p - 14 = 0. Suppose 0 = -4*f + 1923 - 1939. Let t = f + x. Solve o = -t*o - 5 for o.
-5
Let h be (-382)/8 + (-1)/4. Let n = h - -24. Let j be (n/15)/((-4)/20). Solve -j + 3 = 5*r for r.
-1
Let k = 760 + -755. Suppose 4*y - k*b - 29 = 50, -4*b - 80 = -4*y. Solve 0 = a - y + 17 for a.
4
Let z(y) = 3*y**3 - y**2 - 2*y + 2. Let g be z(2). Suppose 3*f = -2*b + g, 5*b + 2*f - 22 = 2*b. Let u be 2/((-7 - -3) + b). Solve -3 = 4*a + u for a.
-1
Let z = -88374 - -88376. Suppose 5*g - 15 = -0*g. Let y be (-2)/2*(-7 + 2). Solve z*h = -g - y for h.
-4
Let k(r) = -4*r - 8. Let t be k(-5). Suppose 0 = g + 2*g - t. Let d be 0 - (-16)/(-6)*(-12)/8. Solve -d*u + 0*u = -g for u.
1
Let k = -3516 - -3545. Solve k*z + 100 + 45 = 0 for z.
-5
Let c = -372 - -384. Let z be 5*1 + (-11)/(66/c). Solve 0 = z*b - 5*b + 10 for b.
5
Suppose 12*t = 9*t + 96. Let x = -26 + t. Solve 0 - x = 3*h for h.
-2
Suppose -626*h = -61*h - 23165. Solve y = -h + 38 for y.
-3
Let w = -89 + 110. Let l(p) = 4*p - 83. Let f be l(w). Solve -r = 6 - f for r.
-5
Let r(t) = -t**3 + 123*t**2 - 2*t + 550. Let w be r(123). Solve -3*a + 41*a = w for a.
8
Let c = 16 + -24. Let s(y) = 12*y**2 + y + 1. Let u(j) = -23*j**2 + 8*j + 12. Let g(x) = -2*s(x) - u(x). Let k be g(c). Solve 0 = -2*m - 12 + k for m.
-5
Suppose 4582 = -101*k + 19126. Solve 0 = d - 25*d + k for d.
6
Suppose 11*k - 6*k + 3*w = 1015, 0 = -2*w. Solve -214*u + k*u + 33 = 0 for u.
3
Let h(p) = p**3 - 13*p**2 - 13*p + 10. Let u be h(14). Suppose -u*f = 6*f - f. Solve -4*o - 14 + 14 = f for o.
0
Let d = 7446 - 7442. Solve -3*x + 8*x = d*x for x.
0
Let y(u) = 72*u**2 + 10*u + 14. Let k be y(-1). Let l(x) = -33*x + 1. Let z be l(2). Let v = z + k. Solve v*q - 6*q = 5 for q.
1
Let g(y) = -25*y - 806. Let o be g(0). Let d = 812 + o. Solve -14*t + d = -16*t for t.
-3
Let j be ((-178)/(-10))/(7/(-35)). Let y = -89 - j. Solve y = -6*t + 9*t for t.
0
Let w be (3/6)/((-12)/(-1752)). Let i = w + -68. Solve s = i*s for s.
0
Suppose -41*m + 4360 = 1408. Solve -4*k - 64 = -m for k.
2
Suppose -5*m - f = 276, -3*m + 18 - 179 = -4*f. Let h = m - -67. Let n be ((-6)/h)/((-1)/6). Solve -a - 2 = -n for a.
1
Let c(a) = a - 8. Let z(w) = w - 10. Let l(p) = 6*c(p) - 4*z(p). Let n be l(10). Suppose -9*g = -6*g - 9. Solve 6*u - n = g*u for u.
4
Let b(u) = -u**2 + 17*u + 68. Let f be b(-3). Solve -7*k + f*k = -2*k for k.
0
Suppose 0 = k - 5*r - 30, -8*r - 12 = -5*k - 6*r. Solve -15*s + 53*s + 190 = k for s.
-5
Suppose -7 = -18*i + 191. Solve 0 = -19*c + i*c for c.
0
Let f(v) = -662*v + 5958. Let z be f(9). Solve 73*a - 151*a + 77*a = z for a.
0
Let h(d) = 19*d - 15. Let j be (-350)/(-98) + (-4)/7. Let t be 