a) - 2*s(a). Let v be p(-3). Solve -v + 2 = 2*x for x.
-3
Let c(o) = -2*o**2 - 13*o + 14. Suppose -32*q + 27*q - 49 = 4*z, -4*q = z + 26. Let i be c(z). Let d = 13 - 7. Solve 0 = -d*s + 11*s - i for s.
4
Suppose -10 = -0*v - v. Let m(n) = -n**3 + 12*n**2 - 20*n + 8. Let t be m(v). Solve 0 = -t*d + 3*d + 10 for d.
2
Suppose 1050*r - o = 1055*r - 13207, -15 = 5*o. Solve 2628 - r = -7*f for f.
2
Suppose -2584 + 31 = -23*t. Solve 105 = -y + t for y.
6
Let x be (-1)/(10/(-15))*132/9. Suppose 0 = 8*u - x*u - 14. Let m be (-3)/3 - (u - 0) - -2. Solve 3*o - m = 4 for o.
2
Let b be (-5583)/(-18) + (184/48 - 3). Solve b - 77 = 39*l for l.
6
Let p be 3*(1/2 + 277/(-6)). Let a = -129 - p. Solve 5*y - 9*y = -a for y.
2
Let d(j) = -22*j**2 - 485*j - 5. Let f be d(-22). Solve 45*h + f*h = 434 for h.
7
Suppose -b - 65*n + 16 = -64*n, 5*b - 2*n - 59 = 0. Suppose o = -3*o + 4. Let f be (2/(-4))/(o/(-10)). Solve f*h + 7 + b = 0 for h.
-4
Suppose 43*f = 12906 + 7347. Let y = 473 - f. Let u = 3 - 2. Solve y*p - 3 = u for p.
2
Let m(c) = 29*c**2 - 13*c**2 - 13*c**2. Let b be m(1). Solve -r = -b - 0 for r.
3
Let n = 1740 + -1719. Solve -488 + 320 = -n*f for f.
8
Let j = -560 - -563. Let m be (-18)/9 + -14*(-3)/6. Solve -2*x = -j*x - m for x.
-5
Let h = -135 + 140. Let q be (-43)/9 - 6/27. Let r be (-3 + (-2 - q))/((-6)/3). Solve u - h*u - 20 = r for u.
-5
Let j(s) = -s**3 + s**2 + 7*s - 10. Let f be j(2). Let z(i) be the first derivative of -i**2/2 + 16*i + 6. Let k be z(12). Solve f = -a - k*a + 20 for a.
4
Let a(l) = 2*l**2 + 3*l + 6. Let d be a(-5). Let x = d + -19. Let c(f) = -f + 25. Let r be c(x). Solve 0*k + r*k = 12 for k.
4
Let u = -31 + 59. Let y = 33 - u. Suppose 35 + y = 5*l - 4*d, -l = 4*d + 16. Solve 0 = -l*s + s for s.
0
Let v(i) = -i + 4. Let j be v(4). Suppose 2*p = -4*o - p, -3*o - p + 5 = j. Solve -o*u - 20 = -8 for u.
-4
Suppose 3*u + 4*t = -181, 3*u - t = 2*t - 195. Let d be (-6 - -1)*-4*u/(-140). Solve 10*x + 2 = d*x for x.
-2
Suppose -1822 + 1582 = -30*w. Solve -w*i = -i + 7 for i.
-1
Let x be 1 + ((5 - 5)/(-5) - -6). Solve -9*d - x = -16 for d.
1
Suppose 76 = -32*w + 36*w. Let j be (-56)/(-3) - 30/45. Solve l - j = -w for l.
-1
Let o = 156 + -309. Let s = 220 + o. Let m = s + -65. Solve m*d + 3*d = -10 for d.
-2
Suppose -z = 4*m - 20, -4*z - 25 + 5 = -4*m. Let v = 17 + -16. Let f be -3*v/2 + 483/138. Solve -s + f = -z for s.
2
Let x = 1244 - 1220. Solve -x*j - 20 + 116 = 0 for j.
4
Suppose 4*t - 80 = -4*z, -5*z = 3*t - 7*t - 145. Solve -z*v = -31*v + 24 for v.
4
Let s(w) = -27*w - 5. Let d(g) = 80*g + 13. Let r(z) = -3*d(z) - 8*s(z). Let n be r(-1). Solve -n = 6*b + 5 for b.
-5
Suppose -5*x - 5*f = -160, 0 = 8*x - 13*x - 2*f + 172. Let k be 8/x - (-16)/9. Solve -32 = 6*t - k for t.
-5
Let f be 4 - 325/(-20) - (-2)/(-8). Let o = f - 36. Let m = 18 + o. Solve m*u + 20 = -3*u for u.
-4
Suppose -3*z - 9 = 5*x - 58, -22 = -4*z + 2*x. Suppose -2*q + 167 = -p, -3*q - 5*p + 127 + 143 = 0. Suppose z*d - 35 = q. Solve -8*l + 3*l = -d for l.
3
Let z = -189 + -131. Let p = 323 + z. Solve -8*t = -p*t - 20 for t.
4
Let s(o) be the first derivative of o**4/4 + 3*o**3 + 8*o**2 - 12*o - 71. Let c be s(-6). Solve 3*a + 0*a - 6 = c for a.
2
Let s = -1836 - -1840. Suppose 3*n - 24 = -5*a, 5*n - 34 - 6 = -3*a. Solve n*k = 12*k + s for k.
-1
Suppose l - 3*u = 104 + 163, 5*u = -3*l + 731. Let z = l + -238. Solve 2 = -4*d - z for d.
-4
Suppose 0 = -2*l - 5*d + 97, -2*d - 976 = -990. Solve -97 + 35 = -l*w for w.
2
Let t be (28/(-6))/(6/(-9)). Suppose 5*m - 3*g = 1, -m - 3*g + t = -2*m. Let j = 49790 + -49790. Solve -m*f + 6 + 0 = j for f.
3
Let i be (2*(-3)/6)/((-1)/29). Let c = i - 24. Suppose 2*u + 4*b - 31 + 9 = 0, 0 = -c*u + 5*b + 100. Solve 0 = 5*v - 3 - u for v.
4
Let j(g) = g**3 - 26*g**2 - 29*g + 60. Let p be j(27). Let f = 6 + -6. Suppose f = -3*q + 3 + p. Solve q*c - 4*c = -1 for c.
1
Let n(g) = -g**2 - 15*g + 314. Let m be n(-17). Solve m*k + 32 = 272*k for k.
-4
Let v be 4134/318 - (1 - -12). Solve v = -14*k - 60 - 10 for k.
-5
Suppose -16*u - 44*u = -2040. Solve -u*b + 8*b = -104 for b.
4
Let l(v) = 327*v + 1317. Let k be l(-4). Solve -k - 26 = -7*g for g.
5
Suppose -2*v + 6 = 0, -4*z + 7*v - 10*v + 217 = 0. Solve 60*j - 73*j + z = 0 for j.
4
Let t be 547/(-2) - 11/22. Let u = t + 283. Solve -5*k - 29 = -u for k.
-4
Suppose -7*z = -7 - 7. Suppose z*c = -4*o - 118, 0*c - c - 91 = 3*o. Let h be (-5)/(-15) + o/(-12). Solve -h*j - j = 8 for j.
-2
Suppose 3*n = 5*n. Suppose b - 7*b = 0. Suppose -5*t - 2*g + 4*g + 35 = b, t + 2*g + 5 = 0. Solve t*f - 5 = -n*f for f.
1
Let d = -509 + 330. Let k = -179 - d. Solve -g + k - 1 = 0 for g.
-1
Suppose -95*w + 91*w + 198 = 2*g, 0 = 4*w - 3*g - 183. Solve -92 = -w*x + 100 for x.
4
Suppose 0 = h + 5*g - 26, -3*h + 5*g + 6 = 2*g. Solve -403 = -h*v - 373 for v.
5
Let j(t) = -t**2 - 24*t - 36. Let n be j(-37). Let g = n + 521. Solve -9*p - g = -8*p for p.
-4
Let r = 61 + -54. Let a(t) = 8*t - 133. Let p be a(17). Solve r = o + p for o.
4
Suppose -59*n = -56*n - 12. Suppose -3*o = -9, -n*o - 18 = -3*k - 2*o. Let y be (-4)/k*-10*(-1)/(-5). Solve 2*t + 1 + y = 0 for t.
-1
Let q be 98 - (-9 - -450)/21. Solve q = 6*g + 65 for g.
2
Suppose -2*a - 2*o + 302 = 0, 0 = -4*o + 20 - 8. Solve a*l = 155*l for l.
0
Let u = 5213 + -5174. Solve -u*p + 45*p = 6 for p.
1
Let p = 53 + -51. Let j be 4/((-36)/(-51)) + p/(-3). Solve -4*q = -9*q + j for q.
1
Let b(h) = -h**2 - 14*h - 39. Let j be b(-5). Suppose j*o = -30 + 36. Solve -i - 4 + o = 0 for i.
-3
Let f = 24 + -35. Let o(j) = -7*j + 3. Let d be o(f). Let w = 82 - d. Solve -2 - w = -p for p.
4
Let t = 2477 + -2441. Solve -26*z + t*z = 40 for z.
4
Let g be (-10 + (-154)/(-28))*(-128)/3. Solve -204 = 6*c - g for c.
-2
Let r be (-2 + 21/6)*2. Suppose 45 = -r*g + 2*g - s, 3*s + 185 = -4*g. Let x = g - -50. Solve x = o + 4*o for o.
0
Let w(b) = 7*b**2 + 158*b - 33. Let u be w(-23). Solve -u = 503*z - 509*z for z.
6
Let f be (-46)/(19320/(-2156)) + (8/15)/(-4). Let h(b) = 2*b**2 + 6*b + 1. Let u be h(-4). Solve -f*o + u*o - 8 = 0 for o.
2
Let x = 10 + -8. Let u(k) = -k**2 + 144*k + 1386. Let q be u(153). Solve q - 3 = -x*b for b.
-3
Let v(z) = -35*z + 218. Let y be v(6). Suppose -11*j - y*j = -95. Solve 14*b + j = 13*b for b.
-5
Let x(v) = -v**3 + 10*v**2 - 2*v + 23. Let m(f) = -f**3 + 10*f**2 + 11*f + 10. Let h be m(11). Let y be x(h). Solve -y*l - l = 0 for l.
0
Suppose -7*f + j = -10*f - 1066, -1418 = 4*f - 2*j. Let q = 358 + f. Solve 0 + q = v for v.
3
Suppose f - 2*z = 34, 27*f - 3*z - 101 = 23*f. Let x be ((-105)/(-10))/((-6)/(-8)). Solve 9*r - f = x*r for r.
-4
Let y(r) = -r**3 - 25*r - 2 + 8 - 16 + 12*r**2. Let z be y(9). Let a be 1/(z/(-60)*6/(-4)). Solve a*l + 20 = l for l.
-5
Let x(c) = 2*c**3 - 107*c**2 + 272*c - 158. Let j be x(51). Solve -20*n - 749 = -j for n.
-2
Let u be 108/(-11) + 0 - (-12)/(-66). Let y(d) = -d**2 - 7*d + 3. Let j be y(u). Let r = j + 37. Solve -3*i - r = -i for i.
-5
Let l be (-120)/(-28) + (-16)/56. Suppose 3*j - l*j = -4*j. Suppose -2*r + 22 = 2*a, a + r = 5*a - 19. Solve -a = -j*y - 2*y for y.
3
Suppose -10*y - 23 = -43. Let j be (-4)/(2/(2/(-2))). Suppose j*d = 3*d - y. Solve d*w - 4 = 6 for w.
5
Suppose 5*j - 126 = 479. Let z = j + -104. Solve z - 2 = -5*b for b.
-3
Let h be (-1343)/51 + 2/(-3). Let r = h + 28. Let q(w) = 2*w + 1. Let u be q(r). Solve -4 = -u*d - 1 for d.
1
Let a(h) = -5*h**2 + 2*h + 4 - 5*h + 17*h**3 - 18*h**3. Let r be a(-4). Suppose r = -n - 5*n + 72. Solve 5*d = 2*d - n for d.
-4
Let k = 1265 + -1229. Solve -3*o = -21 + k for o.
-5
Let a be (-89100)/(-1800)*(-6)/(-11). Solve -4*f + 43 - a = 0 for f.
4
Suppose 11 + 10 = 3*d. Let y = d + -5. Suppose y*x + 3*g - 10 = g, 0 = x - 4*g. Solve x*n = -6 + 2 for n.
-1
Let z be 2/(-9) + 728/36. Suppose 0 = 4*u - z + 4. Solve u*i - i + 9 = 0 for i.
-3
Suppose 27*i - 28*i + 236 = 0. Let u = 238 - i. Solve -a = u*a - 9 for a.
3
Let y be (-20 - -41) + 21/(6/2). Suppose p + 4*z - 5 = 0, -4*p = p + z - 6. Suppose -11 + p = -2*t. Solve t*u + 3 - y = 0 for u.
5
Suppose -178 = -5*z + 2*o, 2*z = 6*z + 3*o - 147. Solve 0 = x + 33 - z for x.
3
Suppose -448 = -9*f + 56. Suppose 4*o = 2*u - 4, -2*u = 51*o - f*o - 4. Solve o = 4*i - 1 + 5 for i.
-1
Suppose -2*z = -2*q - 170, 515 = 4*z + 2*q + 151. Solve 