the third derivative of t**4/12 - 4*t**3/3 - 3*t**2. Let g be p(5). Solve g*i + 7 = -3 for i.
-5
Let y(x) = -x**3 + 35*x**2 + 34*x + 72. Let b be y(36). Let n be -1 - (0 - (82 + -1)). Suppose b*v + 4*v = n. Solve -3*q = q + v for q.
-5
Suppose 5*u = -5*i + 55, -u + 3*i + i = -31. Solve -19 + u = 4*p for p.
-1
Let n(o) = o + 11. Let q be n(-8). Suppose -5*u + 8 = 4*d - 3, -q*d = -u + 6. Let h be (-122)/(-10) + u/(-15). Solve -h = 3*w - 0 for w.
-4
Let y = -8 - -8. Suppose 5*h - 7*h + 40 = y. Suppose z + 16 = 5*z. Solve z*a - h = -0*a for a.
5
Suppose y - k - 2 = 1, 9 = 4*y - k. Suppose -5*z - y*u + u = -166, -4*u + 52 = 2*z. Suppose -4*b = -z + 6. Solve b + 1 = 2*s for s.
4
Let m(b) be the third derivative of -b**5/120 + b**4/6 - b**3/6 - b**2. Let s(y) be the first derivative of m(y). Let o be s(-6). Solve 0 = -2*u - o - 0 for u.
-5
Let a be (0 + -2 - 9)/1. Let s = -1 - a. Suppose 0 = -2*p - 0 + 6. Solve p*k + s = -2 for k.
-4
Suppose -23*z + 23 = -46. Solve r = -z*r + 12 for r.
3
Let o(t) = -t**2 - t - 22. Let x be o(-12). Let h = 173 + x. Solve -h - 5 = -6*v for v.
4
Let q be 28/7*5*1/(-2). Let v be 2/(((-5)/1)/q). Solve 7*n = 3*n + v for n.
1
Let d = 26 - 14. Let m be 39/9 - (-3)/(-9). Suppose m*x - 2*h + 12 = 5*x, x + h = d. Solve -x = 2*j - 5*j for j.
4
Suppose 29*q + 6*q = -5*q + 120. Let y be -1*(0 - 1)*1. Solve 4*z + y = -q for z.
-1
Suppose -3*y + 74 = 23. Let q = -20 + y. Let j be 78/30 - q/(-5). Solve 3 = -o - j*o for o.
-1
Let c(z) = -z**2 + 7*z. Let a be c(4). Let j = -120 - -123. Suppose a = -h + j*h. Solve -b = b + h for b.
-3
Let i(o) = -18*o - 7. Let r be i(-1). Suppose 3*p - 3*j - r = j, -10 = -2*p + 4*j. Solve -p = 3*q + 8 for q.
-3
Suppose -g = -2*t + 2, -4*g + 0*g + 18 = 5*t. Suppose 0 = t*l - 2*q - 28, -4*l = 5*q - 51 - 14. Let p = -66 + 70. Solve -p*k = -k + l for k.
-5
Let p be (-3)/(-3) + (6 + 27 - -9). Solve 0 = -29*v + 188 - p for v.
5
Suppose -4 + 13 = 3*j. Suppose j*b = 5*b - 2. Suppose -n + b = -1. Solve -o + n = -0*o for o.
2
Let x be 17/34 - 82/(-4). Solve -24*u + 15 = -x*u for u.
5
Let k = 1430 - 1430. Solve -6*a - 7 + 13 = k for a.
1
Let p = -12 - -48. Suppose -3*g - 3*n + 50 = -7*n, 3*g + 3*n = p. Solve 1 = -3*u - g for u.
-5
Let a(v) = v + 8. Suppose f - 3 - 1 = 0. Suppose 3*t = -3*h + t - 7, 36 = -f*h + 4*t. Let o be a(h). Solve 0*s = -o*s - 3 for s.
-1
Suppose -3*a - 15 = 0, 3*i = -a + 3*a + 10. Solve -5*v + 15 + 5 = i for v.
4
Suppose 25*t - 5*t = 60. Solve 8 - t = 5*a for a.
1
Suppose q = -3*i - 15, 5*q - 25 = 5*i - 0*i. Suppose 28*v - 25 = 23*v. Suppose v*k - 32 = -f - 2*f, f + 12 = 4*k. Solve -6*u + 4*u - k = q for u.
-2
Let a(c) be the third derivative of c**4/24 - 13*c**3/6 + 8*c**2. Let u(z) = -z + 12. Let k(t) = -3*a(t) - 2*u(t). Let w be k(15). Solve w = 2*g - 3*g for g.
0
Let j = -4 + 7. Let s(a) = 111 - 58 - 59 + 2*a. Let w be s(j). Solve w = 3*k - 7 - 8 for k.
5
Let b be (1 + 0)*-3 - -100. Let c = b + -97. Solve -i + 2 + 2 = c for i.
4
Let u be 3/1 - ((3 - 3) + 4). Let i be u/(-4)*6/(-9)*-12. Solve 0 = i*m + 6 - 14 for m.
4
Let a(c) = 10*c**2 - 1. Let p(y) = y**3 + 2*y**2 - 2*y - 1. Let r be p(2). Let o = r - 10. Let w be a(o). Solve w = 3*z - 0*z for z.
3
Suppose 3*r - 38 = -5*n + 15, -n + 8 = -2*r. Suppose -5*b - 5*d = 25, 3*b = -2*b + 4*d + 20. Solve b = 4*u + u - n for u.
2
Suppose 2 - 4 = -2*t + 4*s, 5*t - 4*s - 11 = 0. Let p(w) = -w**3 + 3*w**2 + w. Let v be p(t). Solve v - 1 = h for h.
2
Let o = -91 - -67. Let s be -2 - o/(-5 - -9). Let a(y) = y**3 - 3*y**2 + y - 3. Let c be a(3). Solve 0 = -s*g - c*g + 16 for g.
4
Suppose -3*y + 14 + 1 = 0. Suppose 3*p + y*k + 55 = 0, -3*p - 4*k - 53 = -0*p. Let r = 20 + p. Solve r = 2*h - h for h.
5
Suppose -5*v + 48 = -a + 34, 4*v + 8 = -4*a. Solve 5 = -3*x - v*x for x.
-1
Let j(r) = -2*r**3 - 28*r**2 + 31*r + 16. Let x be j(-15). Suppose 17 = 3*q - 5*a, -3*a + 9 = 4*q - q. Let i be (9/12)/(x/q). Solve t + 1 = i for t.
2
Let v = 532 + -520. Solve -2*y + 8 = v for y.
-2
Suppose -3*z + 6 + 9 = -3*w, -5*w = -25. Suppose p - 4*f - 11 = 0, -p - p - 2 = 4*f. Suppose 5*m - 4*h - 29 = 0, h = m + p*h - 3. Solve -m*r = -z*r - 15 for r.
-3
Let n(z) = -3*z + 186. Let f be n(57). Solve -34 = -f*v + 41 for v.
5
Let k be (-2)/(-1) - 45/(-3). Solve -k = -12*g - 77 for g.
-5
Suppose -2*i + 13 = -2*k + 5, -4*k = -20. Suppose -i*b = -5*b - 8. Let m be b*(14/4 - 1). Solve 2 = d + m for d.
-3
Suppose -12*x + 3*x = -27. Solve -x = 6*o + 9 for o.
-2
Let i(w) = w**3 - 5*w**2 + 2*w + 3. Let l be i(5). Solve 4*a + l = -7 for a.
-5
Let p = -6 - -10. Let j = 369 + -369. Solve j = c + p - 3 for c.
-1
Suppose 5*x + 29 = 3*u, 3*x + 2 + 31 = 3*u. Solve u*v - 17*v = 0 for v.
0
Let d be (((-6)/9)/((-4)/(-72)))/(-2). Solve d*j - 7 = -j for j.
1
Let r(z) = z**2 + 6*z + 8. Let y(i) = -i - 1. Let t(j) = r(j) - y(j). Let p = 0 - 6. Let b be t(p). Solve 3*f = -0 - b for f.
-1
Suppose -14*w = -2*w - 84. Suppose -k = -w*k + 12. Solve -k*z = -6*z + 20 for z.
5
Let s be (-8)/(-2)*-1*-1. Suppose -7*g - 4 = -8*g. Suppose -l = -g, 0*l = s*n - 2*l - 40. Solve -2 + n = 5*m for m.
2
Let t(x) = -x**3 - 9*x**2 - 8*x + 2. Let m be t(-8). Suppose -m*y + 2 + 10 = 0. Suppose 0 = -4*d + d + y. Solve 0*c = d*c + 8 for c.
-4
Suppose 3*u - v - 6 = 0, 0*v = -v + 3. Suppose 4 = u*p + 1. Solve -4*n - p = -9 for n.
2
Let k = 99 + -78. Solve -k*h = -18*h + 6 for h.
-2
Suppose 3*t = 4*m + 15, -5*m - 9 + 29 = 4*t. Solve m = k - 4*k + 6 for k.
2
Let i(w) = 2*w + 11. Let v be i(8). Let z = 29 - v. Suppose -z*l + 42 = 3*r, -2*l + 4*r - 26 = -3*l. Solve -5*o + l - 43 = 0 for o.
-5
Let w(o) = o**3 - 14*o**2 + 13*o. Let a be 390/45*(-3)/(-2). Let y be w(a). Solve y = x + 3*x for x.
0
Suppose 3*q + m - 48 = 0, 3*q + 4*m = 36 + 21. Suppose 3*t + 8 = g - t, -4*g - 4*t + 12 = 0. Solve -v + q = -g*v for v.
-5
Suppose -1290*c - 28 = -1297*c. Solve -t = -0*t + c*t for t.
0
Suppose 0 = 5*d + 3*s + 6, 2*s + 3 = -3*d. Let j be -2*(-5)/2 - (4 + d). Solve 2 = j*y - 2*y for y.
1
Let w = 21 - 12. Let k = w + -3. Suppose 0 = -5*b, 0 = -4*p + 4*b - 3*b + 100. Solve k*x = x + p for x.
5
Suppose -2*g = 8*g. Solve g = 2*u + 3 + 3 for u.
-3
Let f(x) = -3*x - 2 + x + 0*x + x. Let k be f(-6). Solve k*w - 6 - 2 = 0 for w.
2
Let m(l) = l**3 + 9*l**2 + 8. Let i be m(-9). Let j be i/(-12) - (-22)/6. Suppose 3*y + 9*y - 48 = 0. Solve -v = j*v + y for v.
-1
Let i(v) = -21*v - 143. Let a be i(-7). Solve a*q + 4*q = 0 for q.
0
Let n = 648 + -643. Solve -15 = 5*s - n for s.
-2
Let y be 22/4 + 1/6*3. Solve k = y*k + 20 for k.
-4
Let k be ((-7)/14)/((-3 - 2)/180). Solve -52*f + 58*f - k = 0 for f.
3
Let u be (-81)/(-36) - 7/28. Let m(b) = -b - 7. Let n be m(-8). Solve -n = -a - u for a.
-1
Let u be (-2 - 0/(-3)) + 0. Let n(m) be the third derivative of -m**6/40 - m**5/30 - m**4/24 - m**3/3 - 4*m**2 + 5*m. Let h be n(u). Solve 3*x = -x - h for x.
-4
Let v(m) = -m**2 - 13*m - 10. Let o be v(-12). Let j(i) = 2*i**2 + i + 1. Let w be j(-1). Let a be 4 + 1/(1/w). Solve 0*q = -o*q + a for q.
3
Suppose -36*m - 8 = -40*m. Let t be (2 + 24/(-15))*20. Solve t - 2 = m*i for i.
3
Suppose 5*x - g + 5 = 4*g, 3*g = -x + 7. Let n(a) = 2 + 1 + 2*a**2 + 2*a - x - 1. Let h be n(-1). Solve l = -0*l - h for l.
-1
Suppose -5*d + d = 0. Suppose 4*h = -4*x + 41 + 3, 3*h - 3*x - 21 = d. Solve 5*t = h - 29 for t.
-4
Let t(z) = 4*z - 23. Let c be t(9). Solve 4*k - c - 7 = 0 for k.
5
Let u = -97 + 136. Solve -u*y = -43*y for y.
0
Let m(j) = -4*j**2 + 33*j - 7. Let r be m(8). Solve -r = -4*f + 3 for f.
1
Let d(l) = -3*l + 14. Let m(g) = 5*g - 29. Let i(c) = -7*d(c) - 4*m(c). Let s be i(-14). Solve -4*j = -0*j + s for j.
-1
Let s(y) = 7*y + 27. Let v(t) = 6*t + 26. Let i(r) = -5*s(r) + 6*v(r). Let z be i(-20). Solve -o + z = -1 for o.
2
Let b(n) = 7*n. Let s = 0 + -2. Let x be b(s). Let f = -12 - x. Solve 3*c = 4*c + f for c.
-2
Let g(a) = a**3 + 8*a**2 - 15*a - 99. Let m be g(-8). Solve -m*t = 22 - 85 for t.
3
Let s = 7 + -3. Suppose 14*w - 10*w - 36 = 0. Suppose -6*m + 15 = -w. Solve 0*t = -m*t + s for t.
1
Let w be (5/(-2))/5*0. Solve -r = -w*r + 3 for r.
-3
Let h be (2 - 3/(-3))*(-272)/(-48). Solve 22*a = h*a + 15 for a.
3
Let t be 24/(4 + -2) + 0. Suppose a + 2*n = 4, -3*a = -8*a - 2*n + 20. Solve t = w - a*w for w.
-4
Let d = 175 + -151. Solve d*h - 20*h - 16 = 0 for h.
4
S