pose -2*p = 2*a - 4, -5*p = -2*a - 2*a + 53. Let x = -2 + a. Solve 0 = x*k - d - 0 for k.
2
Suppose -128916 = -85*x + 110167 + 67257. Solve -x = -4*g - 3632 for g.
-7
Let r be (24/(-16))/(6/4)*0. Suppose 4*a + a = -r*a. Solve y + 2*y = a for y.
0
Let y(f) = f**3 - 7*f**2 + 14*f - 18. Suppose 5*o + 20 = j, j = -4*j + 2*o + 31. Let n be y(j). Solve -n*p + p = p for p.
0
Let w(y) = -3*y**3 - 31*y**2 - 13*y - 1. Let v be w(-10). Solve 31 = q + v for q.
2
Let p(c) = -c**3 + 7*c**2 + 20*c - 14. Suppose 6*x - 497 - 631 = 0. Let r be x/20 + (-12)/30. Let g be p(r). Solve -g*a + 4 - 8 = 0 for a.
-1
Suppose 5*g + 4*d - 26 = 0, -2*d = 2*g - 4*d + 4. Suppose g*p + 12 = 5*p. Let q be p + (0 + -1 - -1). Solve 0 = 2*s + q - 2 for s.
-1
Let k be (-3)/15 + 78/15. Let m(q) = -13*q**2 - 66*q + 5. Let o be m(-5). Let r = 83 + -83. Solve k*l - o = -r*l for l.
2
Let y(v) = -v**3 - 9*v**2 + 11*v - 42. Let g be y(-8). Let m = -190 - g. Solve -3*z = -m*z - 5 for z.
-5
Let v(i) = 4*i - 39. Let x(k) = k + 4. Let u be x(-2). Suppose -y + 48 = u*y. Let c be v(y). Solve -6*h - c = -h for h.
-5
Suppose 75*n - 12 = 73*n - 3*b, 3*b + 12 = 2*n. Let h be 9 + -12 - (-6)/2. Solve k - n*k + 5 = h for k.
1
Let d(h) = 1 - 10 - 1 - 4*h - 4. Let x be d(6). Let u = -25 - x. Solve -u + 1 = -4*q for q.
3
Suppose 63 = 2*c + 3*c - 3*h, 2*c - 18 = 3*h. Suppose -19*z + c*z + 76 = 0. Suppose 4*s + 15*s - z = 0. Solve s - 3 = -n for n.
2
Let w = -11701 + 11752. Solve w - 23 = -4*g for g.
-7
Let r be (-12)/114 - (-1159200)/1900. Solve -r*y = -606*y for y.
0
Let v(t) = -9*t + 90 + 34*t**2 - t**3 + 15*t - 9*t - 4*t**2. Let i be v(30). Solve 3*d + i*d = 6 for d.
2
Let l(d) = 0*d - 2*d - 58 - 5*d - 3*d. Let t be l(-6). Solve -t*z + 6*z = -16 for z.
-4
Let h = 5808 - 5799. Solve -h*o = 1700 - 1664 for o.
-4
Suppose n + 4*w - 51 = 0, 5*n + 632*w - 399 = 628*w. Solve n*c = 555 - 33 for c.
6
Let g(o) = -5*o - 36. Let s be g(-12). Suppose -s = -k - 19. Solve -k*r - 35 = -15 for r.
-4
Let f(n) = 2*n**3 + 11*n**2 - 9*n - 21. Let a be f(-6). Let w be ((-160)/24 + 6)*a. Solve w*q = 17 - 7 for q.
5
Let u = -996 + 999. Solve 0 = -u*y + 2692 - 2683 for y.
3
Let d(u) = 4*u**2 - 16*u + 17. Let x be d(3). Solve -2*o + x*o - 15 = 0 for o.
5
Suppose 0 = -16*w + 12*w + 60. Let j be (-70)/w*6/(-4). Solve -j*l = -2*l + 25 for l.
-5
Let w = 81 - 53. Suppose 0 = -w*j + 32*j - 4. Solve -4*s + j + 3 = 0 for s.
1
Let k = 659 - 210. Let a = k - 449. Solve a = -3*q + 4*q + 5 for q.
-5
Suppose 5*j = -5*r + 10, -j - 30 = -3*r + 2*j. Suppose 0 = -r*n + 14 - 20. Let g be (n/((-3)/12))/(10/5). Solve 7*c - g*c = -20 for c.
-4
Let r be 9/3 + (-2 + -3)/1. Let f be ((2 - -2) + -1)/(3 + r). Suppose -3*z - 33 = -17*a + 14*a, 0 = -f*a - 3*z + 39. Solve 3 + a = -3*p for p.
-5
Suppose 2*o - 2*z - 2332 = 0, -14*z - 5885 = -5*o + 2*z. Solve 0 = 5*q - 1146 + o for q.
-3
Let r(q) = -28*q - 2. Let z be r(1). Let i be (-2)/(-4) + z/60. Solve 0 = -i*p + 3*p for p.
0
Let g be (38 - 46) + 28/2. Suppose -x = -0*x - 3. Let u(y) = y**3 - 2*y**2 - 3*y. Let l be u(x). Solve -2*b = -l*b - g for b.
3
Let h be ((-75)/10)/((-3)/6). Let m = 36 - h. Let s be (m - (-3 - -5)) + 2. Solve -3*q = 6 - s for q.
5
Let r(w) = -8*w + 1. Let j be r(-1). Let l be (-2600)/(-360) - 1/(j/2). Suppose l = -4*b + 23. Solve 5*c = b*c - 3 for c.
-3
Let y(p) = p**3 - 5*p**2 - 5*p - 6. Let a be y(6). Let m be 315/14*((-174)/(-30) - 5). Suppose a*u + 6*u - m = 0. Solve -8 = -u*v + 1 for v.
3
Let j(q) = -335*q + 7126. Let b be j(20). Solve 39*l = -b + 114 for l.
-8
Let q(k) = 5*k + 3. Let v(b) = -4*b - 6. Let r(d) = 3*q(d) + 4*v(d). Let h be r(-15). Suppose 0 = 2*c + 2*c - 16. Solve c = -4*w - h for w.
-1
Let h = -32522 + 32545. Solve h*x + 138 = -46 for x.
-8
Suppose -4*j - 4 + 3 = l, 0 = -5*l + j + 16. Suppose 12 = 9*h - l*h. Suppose -3*v - 13 = -22. Solve 5*n = -h - v for n.
-1
Suppose 0 = -21*y + 138 + 135. Solve y*h - 105 = -27 for h.
6
Suppose 0 = -480*o + 486*o. Solve -4*u + 61 - 45 = o for u.
4
Let a be (-2)/25 + (2541/(-275))/(-3). Solve a*x - 36 = -54 for x.
-6
Let d(y) = -y**3 - 106*y**2 + 2. Let x be d(-106). Suppose 0 = -2*g + 3*l + 16, -g - 3*l - 18 = -4*g. Solve -x*c + 3*c = -g*c for c.
0
Let f = -478 - -478. Suppose -24*h + 18*h = f. Solve h = 3*v + 3 + 3 for v.
-2
Let q = -64 - -297. Let x = 245 - q. Solve -9*s + x*s + 9 = 0 for s.
-3
Suppose 3*h + a - 247 = 0, 395*h = 391*h + 2*a + 326. Solve 61*f = -h - 162 for f.
-4
Let s = 265 - 96. Let w = 174 - s. Solve -5*b + w = -0 for b.
1
Let c(p) = -p**2 + 7*p - 2. Let y be c(3). Let n(v) = 4*v - 131. Let g be n(34). Solve y - 35 = -g*o for o.
5
Let n be 80/(-60) + (-22)/6. Let p(f) = -18*f - 86. Let v be p(n). Solve 4 = -2*b - v for b.
-4
Let j be 0 - (0 + -5 - -5). Let l(t) = -t**3 + 39*t**2 + 81*t + 44. Let m be l(41). Solve j = 4*o - m*o - 3 for o.
3
Suppose 5*l - 77 - 8 = 5*o, 5*l - 89 = o. Let z(g) = -24*g + 2. Let t be (2 - 2)*(-3 - (-7)/2). Let j be z(t). Solve j = -5*x - l for x.
-4
Let i(h) = 212*h + 1302. Let g be i(-6). Solve 50*z - g*z - 60 = 0 for z.
3
Let h = -6 + 8. Suppose 2*r + c = 10, 5*r + h*c - 26 = -3. Let a = r + 1. Solve 2*y - y = a for y.
4
Let j(o) = 19*o**2 + 2*o - 8. Let t be j(-2). Let h = t + -55. Solve 0 = -y + 7 - h for y.
-2
Let t(f) be the third derivative of f**4/8 - 3*f**3/2 - 4*f**2. Let n be t(3). Suppose 5*h - 16 = -c - n*c, 3*h + 8 = -5*c. Solve 5 = h*k + 1 for k.
1
Suppose -52 = 4*f - 60. Let g = -3 + 7. Suppose -5*n + 4*n = 0. Solve n = -g*x - 2 - f for x.
-1
Let p = -2 - -5. Let j = -33 + 40. Suppose j*k - 18 = 4*k. Solve 0 = -p*t + t - k for t.
-3
Let a be -2 + -6 - ((-68)/4 - (-28)/(6 + -13)). Suppose 73 = 5*q - 207. Solve -a*o - q = 9 for o.
-5
Let v(k) = 212*k + 433. Let z be v(-2). Solve -5*r - 8 = -z*r for r.
2
Suppose 18*b + 2881 + 144 = 73*b. Solve -47*w - b = 39 for w.
-2
Let g = -337 + 365. Let c(s) = s**3 - 8*s**2 - 8*s - 5. Let r be c(9). Let t be (-2)/(-7) + (-54)/(-7). Solve -r*x = t - g for x.
5
Suppose -1020 = -14*o + 1654. Solve -59*l = 222 + o for l.
-7
Let i(j) = 15*j**3 - 2*j**2 + 5*j - 4. Let s be i(1). Suppose -9*q - 105 = -s*q. Solve -51 = -6*y - q for y.
5
Let b(l) = -5*l**2 + 375*l + 20. Let g be b(75). Solve 25*y = g*y + 5 for y.
1
Suppose 3*c = 2*c + 2. Let v(a) = -6*a**2 - 43*a - 8. Let d be v(-7). Let r be c/8*d - (-26)/8. Solve -3*u - r = -6*u for u.
1
Let j = -1917 + 1922. Solve 0*b = j*b + 5 for b.
-1
Suppose 26*m + 119 = 19*m. Let d be 42/(-357) - 2/m. Solve 3*l - 5*l + 2 = d for l.
1
Let w(o) = -24*o - 72. Let q be w(-3). Suppose 2*d + l - 48 = 0, 0 = 4*d - 3*l - 8 - 88. Let b = d + -18. Solve 0 = -q*g - 2*g - b for g.
-3
Let h = -9577 + 9641. Solve 0 = 66*q - h*q + 14 for q.
-7
Let c = 819 + -698. Let b be 1716/c - -2*(-3)/33. Solve -2*p - b + 22 = 0 for p.
4
Suppose -3*x + 29 = 17. Let c be 6090/735 - (0 + x/14). Solve 32 = -c*k - 8 for k.
-5
Suppose -s - 303 = -3*u, 3*s + 381 + 502 = -4*u. Let p = -285 - s. Solve 7*o - 4*o = p for o.
4
Let s(j) = 6*j - 11. Let i be s(6). Suppose -12*t + 11 = -i. Solve -t = -2*m - 7 for m.
-2
Let v(o) = 3*o**2 + 7*o + 2. Suppose -57*m - 18 = -51*m. Let i be v(m). Suppose 2 = t - 0*t. Solve -t*f = -6*f + i for f.
2
Suppose 0 = 2*b - 5*c + 7*c - 6, -5 = -4*b - 5*c. Solve 8*f - 12 = b*f for f.
-6
Let s(n) = 7*n**2 - 28*n + 61. Let o(j) = j**2 - 1. Let c(w) = 6*o(w) - s(w). Let z be c(25). Solve -z - 4 = -6*d for d.
2
Suppose 78*q - 871 - 1167 - 926 = 0. Solve q = 5*p + 13 for p.
5
Let p be 4/(-32) + 13130/80. Suppose 0 = -41*y + p + 328. Solve v - y*v = 0 for v.
0
Let u(t) = t**2 - 8*t - 6. Let x = -55 + 64. Let z be u(x). Suppose -14 - 1 = -z*c. Solve 3*g = c + 10 for g.
5
Suppose -80 = -5*n - 4*u + 179, 3*n - 4*u = 149. Solve -54*z = -n*z - 9 for z.
3
Suppose 23*n - 2224 = -522. Solve -4*z + n = 90 for z.
-4
Suppose 4*p = 3*o + 35, -17 = -3*p + p + o. Let j be 6/p*-2 - (-10)/4. Let x be (72/(-16) - -6)*(j + 1). Solve 8 = d + x for d.
5
Let l = 100 - 82. Let b be (l - 20)/(-2 + 0/(-3)). Solve 4*g = 19 + b for g.
5
Suppose 4694 + 4510 = 10*g + 16*g. Solve -9*f = g - 291 for f.
-7
Let r(h) = -h**2 - 8*h + 32. Let o be r(-8). Suppose 3*t = -2*i - 3*i + 54, o = 2*i - 4*t. Solve 7*p = i*p for p.
0
Suppose 34*j - 33*j = 5. Let k = -5108 + 5123. Solve -k = 2*z - j*z for z.
5
Let r(d) be the third derivative of d**