2609556 - -2609558. Solve a = -d*y + 1 for y.
-5
Let a = 33 + -37. Let d be a/(-6)*27/6. Suppose -d*h - 4*m + 6 = 0, 2*h + 2 = 2*m + 6. Solve 0 = s - h*s - 3 for s.
-3
Let u(q) be the third derivative of 0 + 0*q - 1/12*q**4 + 11*q**2 - 1/3*q**3. Let n be u(-1). Solve 5*h - 6 + 31 = n for h.
-5
Let s = -14 + 41. Suppose -5*f - 34 = 3*o, 2*o + 2*o + 3*f = -s. Let q be 1/(-1) - o - (-6)/3. Solve 3*n + 5 = -q for n.
-3
Let y = 1240 + -1227. Solve 44 - 31 = y*s for s.
1
Let h(v) = 19*v - 55. Let r be h(10). Suppose -u = 14*u - r. Solve -4*o - u = -9 for o.
0
Let r = 3 - 1. Suppose -5*v - 55 = -70. Suppose -3*t = v*t. Solve i = -r - t for i.
-2
Let z be 0 + (-1 - (0 - 3)). Suppose 0*p + z*p - 14 = 0. Let o(r) = -4*r**3 - 25*r**2 - 22*r - 88. Let m be o(-6). Solve p + m = 3*y for y.
5
Let b = 547 - 537. Let k be b - (-6 - -7 - -3). Solve -30*z + k = -33*z for z.
-2
Suppose -2*v + 0 + 10 = 0. Suppose 2*a + 7 = -3*l - 1, 0 = v*a + 5*l + 20. Let w be a - -1 - 12/(-4). Solve w = -2*h + h for h.
0
Suppose u + 79 = 4*q + q, -4 = -4*u. Suppose -5*i + 4 + q = 0. Suppose 4*l - 3*n = 11, 2*l + 2 - 10 = i*n. Solve -c - l*c = 0 for c.
0
Suppose -5*v = -50*w + 48*w + 12, -3*w - 3*v = -18. Let t(x) = 6*x - 4*x**2 - 2 + 3*x**2 + 6. Let z be t(w). Solve l - z = 1 for l.
5
Let a(t) = -2*t**2 + 107*t - 920. Let j be a(42). Solve 206 = 32*d + j for d.
5
Let p = 157 - 157. Suppose -7*o + 33 - 5 = p. Solve -i + o = 3*i for i.
1
Suppose -6*x - 147*x + 366 + 246 = 0. Solve -19 = -x*p - 47 for p.
-7
Let n be (2 - 13) + -3 + 68. Solve 33*g - n = 111 for g.
5
Let z(c) = 2*c + 26. Let t be z(-13). Suppose t = 4*w - 3*x - 84, 2*x = 101*w - 96*w - 98. Solve 0 = k - w + 17 for k.
1
Suppose -4*r - 98 = -2*f, 0 = -8*f + 5*r + 16 + 277. Solve -73 = 26*p + f for p.
-4
Suppose 0 = u + 6*r - 56, 20*r - 18*r - 296 = -3*u. Solve 106 = 30*l - u for l.
7
Suppose -2*v - z + 10 - 38 = 0, -v = -z + 8. Let p be 4/2 + -3 - v. Solve p - 3 = -2*k for k.
-4
Suppose -10*b + 43 - 23 = 0. Suppose -o + 12 = 2*o + b*s, o - s - 4 = 0. Solve -i - o = -1 for i.
-3
Let d be ((-1)/(-2))/((-5)/(-10)). Suppose -3*y - 5*l + 7 = -d, -3*y + 5*l - 2 = 0. Let t be -2 - y/1 - -7. Solve 11 = -5*m - t for m.
-3
Suppose -40 = 20*u - 200. Let x(b) = -21*b + 172. Let k be x(u). Solve -5*z = -9*z - k for z.
-1
Suppose 2*f + 688 = 2*j + 666, 2*j - f = 13. Solve -j*o - 60 = -14*o for o.
5
Let o(t) = -102*t + 6190. Let k be o(60). Solve 47*m = 61*m + k for m.
-5
Let r = 8 - 6. Let v be (-116)/(-6)*(6 - 108/8). Let m = v - -157. Solve -r*a + 4 = m for a.
-4
Let j be -1*1/(1/(-48)). Let v be 20 + -20 - (2 - 2 - 47). Let y = j - v. Solve y + 2 = -w for w.
-3
Let f(s) = s**3 + 16*s**2 + 57*s - 9. Let v be f(-9). Solve -v*y = -33*y for y.
0
Let i be -3*2*(0 + 4 + -3). Let d be ((-28)/i)/((-6)/(-9)). Let b be 4 - (2 - (-1)/(-1)). Solve 12 = -d*w + b*w for w.
-3
Let o(d) = -d**2 + 278*d - 1365. Let p be o(5). Solve 5*j - 3 - 2 = p for j.
1
Let s(f) = 15*f**3 + 6*f**2 - 16*f + 15. Let p be s(1). Solve -108 + 8 = -p*h for h.
5
Suppose -43*w + 1407 - 1278 = 0. Solve -w = -50*b + 49*b for b.
3
Let g = 168 - 167. Let k be (-24)/60*(10/(-4))/g. Solve -r - 2 = k for r.
-3
Let w(s) = -9*s - 75. Suppose 25*c = -151 - 74. Let h be w(c). Solve 3*g - h*g - 6 = 0 for g.
-2
Let a = 3615 - 3009. Solve 24 = a*z - 614*z for z.
-3
Let z(g) = -400*g + 2820. Let c be z(7). Solve -4*n - 8 = c for n.
-7
Let h(j) = 6*j - 22. Let q be h(5). Let b(z) = -6*z - 4. Let k be b(-1). Solve k*a - q = 4*a for a.
-4
Suppose 47*g - 46*g + o = -92, -359 = 4*g + o. Let c = 94 + g. Let d(m) = 2*m - 2. Let s be d(4). Solve -c*h + 3*h = s for h.
-3
Suppose -k - 20 = -5*k, -5*k - 39 = -4*t. Suppose 0 = t*m + 10*m - 52. Solve -6 + m = -2*c for c.
2
Let c = 3233 + -3213. Solve 10*b = 80 - c for b.
6
Let r be -8 + 1413/63 + 8/14. Suppose l - 4*v + 8 = 0, 13 = -2*l + 5*v + 3. Solve l = -2*d + r - 9 for d.
3
Let b be 1*(0 - 4) - -4. Suppose 0*l - 3*l + 1 = 2*y, b = 4*l + 4*y. Let a be 66/21*3 - 12/28. Solve a = -2*x - l for x.
-5
Let v = -10326 - -10556. Solve 6*b = 52*b + v for b.
-5
Let z be 91/(-117)*78*-6. Solve -359 = 5*q - z for q.
1
Let u = -767 + 780. Let s(i) be the second derivative of i**5/20 - 13*i**4/12 + i**3/3 - 10*i**2 + i. Let h be s(u). Solve 4*b = -6 - h for b.
-3
Let c(t) = -10*t + 31. Let i be c(7). Let x(u) = u**3 - 2*u**2 + u + 4. Let d be x(4). Let l = d + i. Solve 3*j - l + 16 = 0 for j.
-5
Suppose -2*i + 5*l - 37 = 2*i, 0 = 5*l - 25. Let w(j) = -j + 2. Let x be w(i). Suppose 4*o - 29 = -3*y, -x*y + 7*y = -3*o + 18. Solve y = 4*c - c for c.
5
Let q be (-4)/(-12)*33/55*115. Solve -q*s + 16 = -7*s for s.
1
Let b(j) = -j**3 - 6*j**2 + 16*j + 3. Let d be b(-8). Let q be 12 + (2 + (-6)/d - -3). Let i = q + -11. Solve i = -4*s - 4 for s.
-2
Suppose -3*a + 12 = -4*i, -3 = i - 4*a + 13. Suppose -3*x + 8*x = 0. Suppose -2*t - 803 = 4*d - 821, -4*d + 3 = -3*t. Solve i = d*w - x*w - 6 for w.
2
Let y = -1 - -1. Suppose -h - l = -5, y = 2*l - 9 - 1. Let b be (-2)/(88/(-12)) + 2090/1210. Solve -b*z + 5*z + 6 = h for z.
-2
Let b = -9148 + 9155. Solve 0 = 11*c - b*c + 20 for c.
-5
Suppose 2*m + w - 248 = -171, 5*m - 182 = -4*w. Solve m*z + 11 = 53*z for z.
1
Let o(w) = 15*w**2 - 406*w + 27. Let a be o(27). Solve a = 144*r - 130*r - 84 for r.
6
Suppose -f = -1, 22 - 81 = -2*s + 5*f. Solve -60 + s = 4*g for g.
-7
Let t(o) = -71*o - 2811. Let h be t(-41). Solve 0 = -92*u + h*u + 24 for u.
-3
Suppose -10*t = 2*q - 14*t + 1410, t = 3. Let w = -669 - q. Solve 26*z - w*z - 8 = 0 for z.
-2
Let o = -50 + 55. Suppose -28*u - 12 = -12. Solve -2*r + o*r = u for r.
0
Suppose 0 = 158*m - 144*m - 728. Solve m*f - 16*f = 252 for f.
7
Let m(v) = -v**3 - 6*v**2 - 2*v - 8. Let w be m(-6). Suppose 9*u + 4460 = -11*u. Let f = u - -226. Solve f*l = 2 + w for l.
2
Let q = 24 - 43. Let m = q + 5. Let c = -12 - m. Solve c*w = -w - 3 for w.
-1
Suppose 6*x - 91*x + 4*x + 1701 = 0. Solve -x = 3*z - 39 for z.
6
Suppose 22*n + 152 = 131 + 2991. Solve 8*q + n = 175 for q.
5
Suppose 0*d + 14*d = -11*d. Suppose d*m + 5*n - 3 = -3*m, 1 = m + 3*n. Let x be 2 + 0 - (-1 - 0). Solve x = i - m for i.
4
Let z(y) = -5*y**2 + 11*y + 21. Let t be z(-3). Let x(p) = 52*p. Let q be x(-1). Let r = q - t. Solve -m - 2 = -r for m.
3
Let p(c) = 3*c**2 - 56*c + 285. Let f be p(5). Solve 37*o - 17*o = -f for o.
-4
Let h(j) = -3*j - 8. Let t be h(-24). Let o be (t + -68)*(-2)/((-2)/(-7)). Solve -24 = -x - o for x.
-4
Suppose 4*p - 718 = 2*b, -3*p + 85 = 5*b - 434. Let z = -175 + p. Solve 2 = z*w - 13 for w.
5
Let a be ((-30)/(-4)*(-3)/(-9))/(563/28150). Solve -6*y = -a + 143 for y.
-3
Let a = -25 + 29. Suppose 15 = -3*j, -5*j + 37 = x - a*j. Let p = x - 38. Solve m = -1 - p for m.
-5
Let l be (-12)/4*-22 + 4 + 0. Let g be 7/(l/(-15)) - (-26)/4. Suppose -1 = c - 3*s - 2, 16 = g*c - 4*s. Solve -c*h + 11 = 3 for h.
2
Let n(k) = 7*k**2 + 2. Let r be n(-1). Suppose -3*m - 2*c + 13 = 0, -4*c = -4*m - r*c + 15. Suppose -52 = -m*p - 4*h, -h + 6 + 5 = p. Solve -3*q - p = q for q.
-2
Let h(c) = -2*c**2 - 37*c - 142. Let i be h(-6). Suppose -y + 2*r - 4 = 0, 3*y = -0*y + 3*r. Solve i - 4 = -y*p for p.
-1
Let c be (-6205)/730*(-52)/34. Solve c*m = 24 - 11 for m.
1
Suppose 2*b = -5*o + 84, -5*o - 267*b + 70 = -272*b. Let g = 18 + -9. Let k(n) = n**3 - 9*n**2 + n - 3. Let s be k(g). Solve s*x - 2*x = -o for x.
-4
Suppose -2*r + b = -0*b + 105, 0 = -r + b - 53. Let y = r + 52. Let f be ((-8)/(-2))/(-2 - -3). Solve y = -2*c + 6 + f for c.
5
Suppose 4*u = -4*y + 32, -2*u = 4*y - 14 - 10. Suppose -109 - 131 = -u*g. Suppose 6*k - 2*k = -4*d + g, 3*k = -d + 9. Solve 2 = -4*o + d for o.
4
Let v(z) = -z**2 - 604*z + 3689. Let n be v(6). Solve 11 + 18 = n*l for l.
1
Let x be -1 - (59/(-118))/(2/76). Solve -x*a = -0*a - 72 for a.
4
Let s(f) = -f**2 - 14*f + 107. Let p be s(-20). Let n be (-4 - (-450)/117)*p. Solve -51*g + 50*g = n for g.
-2
Let o = -10548 + 10551. Solve 0*r = r + o for r.
-3
Let r be ((133/84)/((-10)/90))/(3/(-4)). Solve -r = 3*v - 37 for v.
6
Let n be -1 + 5 + 1 + 0. Suppose -5*t = 5*k - 55, t - n*k + 11 + 2 = 0. Let m be (((-70)/4)/t)/(2/(-4)). Solve -4 = -6*d + m*d for d.
4
Let l(p) = -8*p - 334. Let r be l(-44). Suppose -3*g = 3*f - r, -5*f = -32 + 22. Solve a = -g*a + 20 for a.
4
Let g(a) = -a**3 + 13*a**2 - 131*a +