f.
3
Let d = -894 + 934. Solve -d = -45*c + 55*c for c.
-4
Suppose 2*j = -2*t + 16, 5*t + 32 = -453*j + 457*j. Solve -111 = j*u - 127 for u.
2
Let a(v) be the second derivative of 2/3*v**3 + 0 + 25*v + 19*v**2. Let d be a(-9). Solve d*r + 4 = -2*r for r.
-1
Suppose 39 = -2*j + 39. Let p be (j - 5/(-10))*-6. Let t be 1/2*p/(-6)*8. Solve -t*g = g + 6 for g.
-2
Let x(p) = p**2 + 13*p + 38. Let u be x(-9). Let s be 40/12*3/2. Suppose s*q + 13 = 48. Solve -u + q = n for n.
5
Suppose -40 = 4*b + 4*c, 3*b + 0*c + 4*c = -33. Let p = 8 + b. Let d be (-2 - (-3 + p))/(1 + -2). Solve d = 2*k + 3*k for k.
0
Suppose 8*c + 4*p - 55 + 59 = 0, 1 = -5*c - p. Solve c = a + 37*a for a.
0
Let b(a) be the third derivative of a**5/60 + a**4/24 - 17*a**3/2 + 40*a**2. Let l be b(-8). Solve l*n + 5 = 4*n for n.
-5
Let w be ((-36)/10 - ((-88)/(-20) - 5)) + 6. Solve -3*b + w = -6 for b.
3
Let v = -29 + 32. Suppose 2*u + v*u + 67 = 2*r, -3*u - 2*r - 53 = 0. Let j be ((-35)/u - 2)*0. Solve p + j = 2 for p.
2
Suppose 3*n + 3*b - 6 = 0, b + 3 = -0*b. Let t(g) = g**3 - 4*g**2 - 6*g + 8. Let s be t(n). Solve -4 + 7 = s*o for o.
1
Let l = 1 - 1. Let b be ((-3)/(-4))/((-78)/(-104)). Suppose 4*m - b + 1 = l. Solve 3*q + 3 - 6 = m for q.
1
Suppose 116*h - 111*h + 32 = u, 5*u - 15 = -4*h. Suppose 4*i + 0*i = u*i. Solve i = 3*v - 4 - 2 for v.
2
Let h(o) be the first derivative of -2*o**2 + 0*o**3 - o + 18 + 1/2*o**4. Let i be h(2). Solve 5 = -4*p - i for p.
-3
Let z(a) = -a**3 - 1. Let x be z(-1). Suppose x = 5*y - 6 - 9. Suppose -50 = -28*n + 23*n + 4*r, -n + 2*r = -16. Solve -c - n = -y for c.
-3
Suppose 0 = -2*x - 4*s - 2, 0 = 5*x - 5*s + 4 - 14. Let l(r) = -8*r - 2. Let f be l(x). Let a = f + 15. Solve -2*i + 3*i = -a for i.
-5
Let m = -1301 + 1304. Solve m*x = 424 - 436 for x.
-4
Let w(c) be the third derivative of c**4/8 - 7*c**3/6 - 154*c**2. Let l(v) = v**3 - v**2 - 2*v + 3. Let a be l(2). Let y be w(a). Solve y*d - 8 = -0 for d.
4
Let r be -2 - (-2 + 14) - -54. Solve 23*u - 18*u - r = 0 for u.
8
Let s be (-2)/(-3) - 7/((-84)/76). Suppose -s*d - 17 + 66 = 0. Solve 12*c = d*c for c.
0
Let z = -3262 - -3259. Let n be 0 + 0 + 0 - 1. Let x be 4/z*(-2 + n/(-2)). Solve -x = -o + 1 for o.
3
Let o(j) = -3*j - 27. Let x(l) = l**2 - 12*l + 10. Suppose -4*m + 26 = 2*k - 18, 0 = -5*k + 10. Let v be x(m). Let d be o(v). Solve d*y + 8 = -4 for y.
-4
Let u = 37 + -37. Suppose u - 70 = 5*j. Let m(z) = -z**3 - 14*z**2 + 3. Let n be m(j). Solve n*r + 7 = -8 for r.
-5
Suppose 2*k - 2299 = 4*v - 2205, -5 = -5*v. Solve -61 + k = -3*p for p.
4
Let f = 514 + -595. Let u be 13/52 - (f/(-12))/(-1). Solve -2*z - 15 = -u for z.
-4
Suppose 22*j + 155 = 27*j. Suppose j = o + 27. Let k be (20/1 - -1) + -1. Solve o*w = -w - k for w.
-4
Suppose 256 = 4*a - 4*w, -a + 70 = -88*w + 93*w. Solve 44*d - 126 = a*d for d.
-6
Let o(h) = h**3 - 6*h**2 - 5*h - 2. Let a be o(7). Let s be 3/a - 0 - (-27)/4. Suppose -4*i + 5*n = -15, -2*n = -s*n - 15. Solve i*d + d - 3 = 0 for d.
3
Let s(d) = -15*d**3 - 19*d**2 - 11*d + 53. Let f(m) = -7*m**3 - 9*m**2 - 5*m + 26. Let i(k) = 13*f(k) - 6*s(k). Let g be i(0). Solve 25*j = 21*j + g for j.
5
Let u = 117 + -204. Let v = -85 - u. Solve o - v = -7 for o.
-5
Suppose 1003*v - 991*v - 48 = 0. Suppose 4*p + 5*g + 0*g = 67, 2*p - 4*g = 40. Suppose -p - 26 = -4*c. Solve c + v = -3*w for w.
-5
Suppose -4*t - 24 = -24. Suppose -3*n + 2*n = -b + 17, -4*n - 8 = t. Solve -5*u + 2*u = -b for u.
5
Let y be -9*(10/(-6) + 1). Suppose -y = 2*t - 5*b, -2*t - 8 + 26 = b. Let u(d) = -6*d - 32. Let f be u(-6). Solve -f*j - 3 = -t for j.
1
Let p = -5 - -376. Let i = 375 - p. Solve k = -i - 0 for k.
-4
Let d(l) = l**2 + l - 16. Let u(q) = -q - 1. Let k(i) = -i - 2. Let w(n) = k(n) - 2*u(n). Let p(o) = d(o) - 4*w(o). Let t be p(-3). Solve t*m = -2*m + 4 for m.
1
Suppose -i + 8 = u, 0 + 8 = 5*u - 3*i. Suppose 2*r = -u*s + 10, 2*r - r - 3*s = 0. Suppose -4*p = 5*y - 49, 0*y = 2*p - r*y + 3. Solve -l = l - p for l.
3
Let t be (-11)/(-4) + 2/8. Let z(h) = -1031*h - 5155. Let m be z(-5). Solve t*l + l + 20 = m for l.
-5
Let i = 32289 + -32222. Solve 130 = i*c - 406 for c.
8
Suppose 14 = 3*n + 11. Let t = 2 - n. Let p be (9 + -8)*3/t. Solve 4 = -p*d - 8 for d.
-4
Suppose 0*b + b - 2 = 0. Let z = -3451 - -3451. Solve z = -x - b - 1 for x.
-3
Suppose -73 + 30 = 9*p - 313. Solve -185*k = -215*k - p for k.
-1
Suppose -u = 3 + 4. Let h = u - -11. Suppose 133*p + 185*p = 120*p. Solve p = i + i + h for i.
-2
Let b(s) = -s**2 + 2*s. Let t = -93 - -95. Let p be b(t). Solve p*l + 2*l = 0 for l.
0
Suppose 89*w - 18525 = -6*w. Let c be ((-1638)/w)/(6/(-10)). Suppose 0 = -0*g - g + 4. Solve c = g*f - 6 for f.
5
Let t(o) = -183*o - 11518. Let b be t(-63). Solve 0 = 4*m - b*m - 5*m for m.
0
Let v = 1319 - 1287. Solve 41*l - v = 9 for l.
1
Suppose 22*m - 37*m + 3528 = 21*m. Solve -63*x = -m*x - 105 for x.
-3
Let s(d) be the third derivative of -5*d**4/24 + 23*d**3/2 - 28*d**2. Let b be s(13). Let n be 12*1*b/24*2. Solve -n*g = 9 + 3 for g.
-3
Let y(k) = -k**2 + 43*k + 944. Let x be y(-16). Solve x*v = -8*v - 40 for v.
-5
Let c = 2308 - 1963. Solve 0 = c*h - 334*h for h.
0
Let p be (22 + (-500)/20)*(-2)/6. Suppose 2*q - 8 = -2*q. Let b be (p + 5)*(4/(-3) + q). Solve -b*z - 4 = -5*z for z.
4
Let p be (4 - 22 - -21) + (-14)/(-2). Solve -14*a = -32 - p for a.
3
Let v(w) = -19*w - 178. Let a be v(-10). Suppose 5*d + a = 11*d. Solve -d*x + 20 - 12 = 0 for x.
4
Let b(r) = r**3 - 7*r**2 - r + 8. Let i be b(7). Let u(s) = 3*s**2 + 1. Let k be u(i). Solve -c - k = c for c.
-2
Suppose w - 1 + 23 = 0. Let y be 9/(-3) + 189/(-7). Let f = w - y. Solve 0 = 5*o - 17 - f for o.
5
Let z = 17 + -10. Suppose -5*k + 5*o + 1 = o, -2*k - 5*o + z = 0. Let u be 2 + 1 + 0 + k. Solve -2*m = -3*m - u for m.
-4
Let c(x) = 8*x - 34. Let j be c(5). Let p be (10/j)/(2/(-4 - -34)). Solve -13*z - p = -18*z for z.
5
Let v(t) = 2*t**2 - 24*t - 16. Let a be v(12). Let c be (-3 - 150/(-40))*a/(-3). Solve -c*u = -u for u.
0
Let u(v) = -2*v + 2. Let a be u(0). Suppose 17*i - 3 = 133. Suppose -a*x - 3*j = -4, 2*x = -x - 4*j + i. Solve -l - l = -x for l.
4
Let k be (-22)/(-1 + (-30)/(-24)). Let d = k - -92. Let j(h) = -h**3 - 9*h**2 + 10*h + 7. Let o be j(-10). Solve -o = -d*q + 5 for q.
3
Let f = 11891 + -11865. Solve 31*v - 228 = -f*v for v.
4
Suppose -148 = -5*j - p + 53, -p + 1 = 0. Suppose -4*x = -5*b + 121, 0 = -2*b - 4*x - 14 + j. Solve 9 = 4*m + b for m.
-3
Let a(r) = 4*r**2 + 106*r + 769. Let f be a(-14). Solve -20*i + f = -71 for i.
7
Let k(u) = u**3 - 3*u**2 - 14*u + 41. Let h be k(5). Let p be (35/h)/(20/96). Solve p - 2 = -3*c for c.
-2
Suppose 2112 = 61*u + 34 - 4327. Solve -u*s = -103*s - 4 for s.
2
Suppose -3*f + 57 = -5*v, f + 3*v - 19 = -0*f. Suppose 0 = -22*j + f*j + 36. Solve -2*t - 10 = -j for t.
1
Let u(a) be the first derivative of -a**4/4 + a**3/3 - a**2/2 + 13*a - 5. Let d be u(0). Solve d*b + 6 = 15*b for b.
3
Let j = -37272 + 37401. Solve j*u - 134*u = -40 for u.
8
Let f(t) = -t**2 + 4*t + 50. Let l be f(0). Suppose 0 = -11*q + 170 + l. Solve 15*b - q*b - 20 = 0 for b.
-4
Let o be ((-1112)/3)/(40/(-30)). Solve o*h - 280*h + 4 = 0 for h.
2
Let m be (-1206)/(-90) - (-6)/(-15). Solve m = 19*o - 6 for o.
1
Let t(c) = c**3 + 5*c**2 - 6*c + 73. Let x be t(-7). Solve x + 17 = 17*o for o.
2
Let q(k) = -4*k**2 - 184 - 5*k**2 + 8*k**2 + 35 + 31*k. Let f be q(6). Solve w = -2 + f for w.
-1
Suppose 1 - 8 = -n + p, -2*p - 20 = -4*n. Solve -n*h + 30 = 45 for h.
-5
Let k(i) = 788*i - 3859. Let d be k(5). Solve -24*a - 3*a - d = 0 for a.
-3
Let q = 38 - 143. Let w = -105 - q. Suppose 3*p - 39 + 4 = 5*k, 9 = p - k. Solve p*u + 15 = -w*u for u.
-3
Let s(q) = -q**2 - 11*q + 782. Let l be s(23). Let j = 10 - 7. Suppose -n = -j*y + 8 + 28, 2*y - 2*n - 24 = l. Solve -f = -4*f - y for f.
-4
Suppose 77 = 4*j + 17. Suppose -17*l + 14*l + 12 = 0. Suppose -3*k + k + 14 = 2*d, 10 = l*k - 2*d. Solve 0 = -a + k*a + j for a.
-5
Let b(k) = 8*k**2 - 41*k - 83. Let a be b(-2). Solve -a*z - 57 = 5 for z.
-2
Suppose 241 = 8*w + 2809. Let p = w - -325. Solve -9*f + 5*f = -p for f.
1
Suppose -5*d + 0*g + 94 = -2*g, -2*d + g + 38 = 0. Suppose 9 = 2*y - t, -15*t + d = 3*y - 12*t. Solve 7 = -y*m - 8 for m.
-3
Let x(s) = -s. Let h(t) = -t + 10. Let a(q) = 2*h(q) - 4*x(q). 