 19*b. Let c be u(1). Let a be (-36)/c + (-6)/(-10). Solve o = -a*o + 2 for o.
2
Let a(g) be the first derivative of 9*g**2 - 1/4*g**4 + 14 - 2*g**3 + 20*g. Let m be a(-8). Solve j + 0*j = m for j.
4
Let d(t) = t**3 + 1. Let i be d(1). Suppose -p - 5*k + 17 = -3*p, -2*p + 4*k - 16 = 0. Let h be (0*3/p)/(6 + -7). Solve h = -i*j - 5 - 3 for j.
-4
Let y(n) be the first derivative of n**2/2 + 65*n + 16. Let j be y(-53). Solve 0 = 2*v - 6*v - j for v.
-3
Let a = -2618 - -2665. Solve 16 = -21*d - a for d.
-3
Let x(u) = 4*u**3 - u + 1. Let c be x(1). Let p = -15166 - -15170. Solve -c*m - p = 4 for m.
-2
Suppose 4*o - 8 + 1 = v, 3*v + o - 18 = 0. Suppose 0 = -0*u + 5*u + 10, v*p = 2*u + 64. Suppose -p*i - 10 = -14*i. Solve -c + i*c = 12 for c.
3
Let h(v) = v**3 + 2*v**2 - 14*v - 2. Let i be h(-5). Let m = -5 - i. Solve -m*t = 4 - 10 for t.
3
Suppose 0 = a - 2. Suppose 9*u - 134 = -125. Solve a = r + u for r.
1
Let w(n) be the first derivative of -n**3/3 - 9*n**2/2 + 5*n + 31. Let g be w(-9). Solve g*l + 30 = -l for l.
-5
Let d(a) = -3*a**2 + 5*a. Let i(z) = -z**2 + z + 1. Let w(n) = d(n) - 4*i(n). Let l be w(2). Suppose 0 = r - 6 + l. Solve -8 - 12 = -r*s for s.
5
Let u(y) = 3*y**3 + 16*y**2 + y - 6. Let s be u(-5). Solve -33 = -s*b + 25*b for b.
-3
Let u = 14062 + -14052. Solve 36*h - 38*h = -u for h.
5
Let v(f) = f**2 + 523*f - 6853. Let u be v(13). Solve -u*s = -103*s + 72 for s.
-6
Let z(n) = n**3 - 21*n**2 + 20*n. Let t be z(20). Suppose -u = i, 5*u + t*u + 18 = 4*i. Solve -4*w = -i + 6 for w.
-1
Suppose f = -5*m - 19, 34 = -7*f + 11*f - 2*m. Solve -16 + 10 = f*p for p.
-1
Let o be (0 - -3*3/(-9))*(-1 - 22). Solve -15*v - 40 = -o*v for v.
5
Let k = -12524 + 12529. Let r be 1 - 1 - (1 + -1). Suppose r*l - l + 9 = 0. Solve -16 - l = -k*a for a.
5
Let v(a) = 13*a - 83. Suppose 12*f - 10 = 14*f. Let r(h) = 6*h - 42. Let k(y) = f*r(y) + 2*v(y). Let t be k(10). Solve t - 3 = -g for g.
-1
Let g(x) = -x. Let a(y) = -4*y - 4. Let d(v) = -a(v) - 3*g(v). Let k be d(2). Solve 7*b = b - k for b.
-3
Let x be 2/4 + (-9504)/(-64). Let z = -126 + x. Solve z*j = 28*j - 5 for j.
1
Suppose 0 = 11*k - 7*k - 12. Let t = 317 - 319. Let p be k - 1*(t + -4). Solve a = -2*a + p for a.
3
Let q = 195 - 195. Solve 47*c - 51*c - 12 = q for c.
-3
Let o(w) be the second derivative of w**3/2 + 3*w**2/2 + 13*w. Let a be o(-1). Let s(n) = n**3 - n. Let x be s(1). Solve -3*q + x - 12 = a for q.
-4
Suppose -48 = 223*y - 231*y. Let p be 18 - (0 - 12/y). Solve -p = -x - 4*x for x.
4
Let c = -230 + 219. Let v be (6 + 2)/88 - (-1)/c. Solve v*l + 4*l = -6*l for l.
0
Let p(g) = 34*g + 4. Let z be p(-1). Let w be (16/(-20))/(2/z - 0). Suppose 4*k + 2*m - w = 2, -2*m + 10 = 0. Solve 0 = -2*s - 5 - k for s.
-3
Let d(i) = -10*i**2 + 4000. Let g be d(0). Solve -2*u - 3992 = -g for u.
4
Let y(l) = 3*l**2 - 17*l - 36. Let v be y(-2). Suppose 5*s = v + 20. Solve f + f - s = 0 for f.
3
Suppose 5*d = -4*g + 413, -39*g + d = -36*g - 305. Solve 7*v + g = -10*v for v.
-6
Let h(f) = 3*f**2. Let o = 156 - 156. Let s be h(o). Solve s*k = k - 5 for k.
5
Let s(t) = -478*t - 2418. Let p be s(-6). Solve 0 = -465*f + p*f + 60 for f.
4
Let f(j) = 132*j - 214. Let n be f(2). Solve 6*u - n = -68 for u.
-3
Let m = 27 - 24. Suppose 5*q + 5*o - 315 = 0, o + 20 = -m*o. Let s = -65 + q. Solve 0 = -3*y - s - 3 for y.
-2
Let j be 254/4 - ((-12)/(-8))/(-3). Solve j*b = 33*b for b.
0
Suppose 4*j = -5*j + 45. Suppose 3*a = -z + 53, j*a + 7*z - 2*z = 105. Let w = -2 + 2. Solve w = -3*n - n + a for n.
4
Let b = 14 - 14. Let v(k) = k**2 + 153*k - 625. Let p be v(4). Solve b = p*j - 2*j - 5 for j.
5
Let l(d) be the second derivative of -19*d**3/6 + 145*d**2/2 + 138*d. Let j be l(7). Solve -8*u - j = -5*u for u.
-4
Let o(g) = g**2 + 6*g - 232. Let r be o(14). Solve -r*y + 10 = -38*y for y.
1
Suppose 112*s - 249*s = -548. Suppose -2*y + 18 = y + 3*k, -4*y - 3*k + 22 = 0. Suppose y*o = 5*o. Solve o = s*d - 0*d for d.
0
Let j = -3350 - -3468. Solve 116 = -u + j for u.
2
Let h = 329 - 202. Suppose 128 + h = 17*d. Solve d*x - 19*x = 4 for x.
-1
Suppose 0 = 339*c - 337*c - 16. Solve -8*y = -c - 8 for y.
2
Suppose -54*c - 3*o + 3 = -57*c, 0 = 4*c - 5*o + 5. Solve -18*f - 10*f - 56 = c for f.
-2
Let c be 2 + (-4 - -6)*92/8. Suppose -c = -r - 4*r. Solve -g - 4*g = r for g.
-1
Let t = -3242 + 3310. Solve -4*n + t = 13*n for n.
4
Let y(b) = b**3 - 8*b**2 - 68*b + 559. Let u be y(8). Solve u = 25*h + 115 for h.
-4
Suppose 4*n = -4*f + 96, 0 = -2*f - 3*n + 184 - 141. Solve -19*o - 10 = -f for o.
1
Let j = -4182 - -4220. Solve -j*w + 48 - 200 = 0 for w.
-4
Let i = 3844 + -3727. Let s = -204 + 314. Let w = i - s. Solve -5*a + 8 = -w for a.
3
Suppose -43*b + 1276 = b. Let p = b + -24. Solve -14*i + 9*i - p = 0 for i.
-1
Let s(d) = d + 4. Let j be s(-4). Let p(v) = 3 - 2*v**3 - v**2 + 0*v**2 + v**3 + 1. Let w be p(j). Solve -w = 3*z + z for z.
-1
Let m(f) = 3*f**3 + 33*f**2 + 8*f + 103. Let b be m(-11). Solve -2*c = -b*c for c.
0
Suppose 5*r - 4*l - 426 = 0, -5*r - 145 = 5*l - 535. Solve -55 = -93*y + r*y for y.
5
Suppose 170*w = 121*w + 7448. Solve 0 = -141*a + w*a + 22 for a.
-2
Suppose 2*r = -5*x - 3, -4*r + 34*x = 30*x - 36. Solve r*t = -16 + 16 for t.
0
Suppose -2*k - 2*k + 16 = 0. Let m = -234 + 238. Suppose m*d - 40 = -7*o + 3*o, 26 = 5*o - d. Solve k*t + 2 + o = 0 for t.
-2
Let a = 5878 + -5631. Solve 0 = a*u - 238*u - 9 for u.
1
Let a(b) = b**2 - 5*b - 32. Let c be 15 + (-4 - 0) - 2. Let o be a(c). Solve -o*s = s - 0*s for s.
0
Suppose -11*w = -5*m - 6*w + 10, 25 = 2*m + 5*w. Suppose 37 = m*j + 4*o, -3*j - 5*o = -0*o - 30. Solve 5*v = -j*v + 50 for v.
5
Let o(h) = h**2 - 14*h + 47. Let t be o(11). Suppose t*c - 12 = 2. Solve 0*s = -s + c for s.
1
Suppose -h - 4*s + 15 = -2*h, -5*h = -s - 20. Suppose -r + h*r + 4*m = 104, -3*r + 81 = 4*m. Solve -11*f + r = 1 for f.
2
Let v(p) be the second derivative of -p**3/6 + 19*p**2/2 + 2*p + 61. Let a be v(15). Solve -4 = -8*g + a*g for g.
1
Suppose 1 + 9 = 2*p. Suppose 0 = -p*h + 8 + 17, -3*d + 31 = 5*h. Let a = 16552 + -16552. Solve a = -0*z + z + d for z.
-2
Let c(m) = -5*m - 6. Let i be c(-3). Suppose 3*x - 15 = -2*s + 2*x, -s = x - i. Suppose s - 11 = -f. Solve 2*y + f = y for y.
-5
Let u(t) = 5*t**2 - 37*t + 283. Let y be u(8). Solve 0 = -304*c + y*c for c.
0
Suppose 998 = 2*f + 20*z - 16*z, -4*f + 2056 = -2*z. Solve -f*l + 518*l - 42 = 0 for l.
6
Let w = -719 - -737. Solve 0 = w*h - 3*h + 30 for h.
-2
Let h be ((-264)/(-15))/(((-252)/(-35))/9). Solve 21*a = 32*a - h for a.
2
Let y = -8721 + 8745. Solve 116*h + y = 108*h for h.
-3
Let x(m) = -2*m**3 + 31*m**2 - 16*m + 19. Let d be (3/6 + 0)*38 + -4. Let p be x(d). Suppose 4*r = -3*t - 6, -5*t + 20 - 4 = -2*r. Solve -p*h = 14 - t for h.
-3
Suppose 1007 + 616 = 81*u - 402. Solve u*m - 49*m + 192 = 0 for m.
8
Let d(q) = -112*q - 1189. Let w be d(-13). Solve -w = 8*o - 235 for o.
-4
Suppose 3*k + k = 816. Let x be (-1)/(2/(k/(-3))). Suppose 5*y - 6 = x. Solve -y + 3 = 5*i for i.
-1
Let a(k) = k**3 - 4*k**2 - 2*k + 9. Let w(f) = 41*f - 328. Let s be w(8). Let c be a(s). Solve -l + c = 4 for l.
5
Suppose -8*o + 15 = -3*o. Let r = 102 - 100. Let i(g) = 2*g**2 - 6*g + 12. Let b be i(r). Solve b + 4 = -o*k for k.
-4
Let t(h) = 5*h - 121 + 56 + 60. Let a be t(-4). Let j be -5*5/a + 3. Solve 0 = j*y - 16 for y.
4
Let h = -53 + 86. Let k = h + -28. Suppose 2*o - 3 = -o. Solve -k*s - o = 9 for s.
-2
Suppose 0 = m + a - 97, 7*m - 471 = 2*m - 3*a. Solve 18 = -93*l + m*l for l.
-6
Suppose -4*v - 56 = c - 458, -2*c + 5*v = -778. Let x = -372 + c. Solve 4*f + x = 6 for f.
-4
Suppose j - 16*j + 78 = -2*j. Let f = 6 + 3. Let t = -2 + 7. Solve -t*a - j = f for a.
-3
Let j = 224 - 246. Let p = j - -23. Let b(v) = v**3 - 3*v**2 + 3*v - 4. Let u be b(4). Solve -5*i + u = -p for i.
5
Let f be (-3 - 3/(-6))/((-2)/12). Suppose f*h - 100 = 50. Solve -3*r + h = 2*r for r.
2
Suppose -5*o = -20, -2*f - 202*o = -203*o - 28. Solve -54*z - f*z - 560 = 0 for z.
-8
Suppose 80 = -5*l - 5*n, -2*n + 70 = -5*l - 5*n. Let b(i) be the first derivative of i**2/2 + 13*i - 18. Let x be b(l). Solve 3*p + 5 = -x*p for p.
-1
Let o(a) = -a**3 + 30*a**2 - 13*a - 27. Let d be o(18). Let n be d/(-45) - 2/5. Let h = 81 + n. Solve 4*k + k - 5 = h for k.
1
Suppose 0 = -2*a + 5*q + 25, -q +