 s.
0
Let u(p) be the second derivative of p**4/12 - 5*p**3/6 + 7*p**2/2 - 44*p. Let a be u(4). Solve a*x - 2*x = 1 for x.
1
Suppose 0*w = 2*f + w - 64, -2*f - 5*w + 48 = 0. Let i = 36 - f. Solve 2*b = 4*b + i for b.
-1
Suppose 24 = -24*r + 30*r. Solve 83*c + r = 82*c for c.
-4
Let x be ((-28)/(-24))/((-4)/(-24)). Solve 0 = -2*c + 11 - x for c.
2
Let u = 8 + -15. Let x(a) = -a - 4. Let p be x(u). Let o(y) = -y**3 + 2*y**2 + 16. Let s be o(0). Solve r - s = -p*r for r.
4
Let g be ((-4)/(-8))/(2/(-4)). Let m be -1 + (g + 0)*-4. Solve -m = p - 6 for p.
3
Let g(c) = 13*c - 38. Let q(m) = -6*m + 19. Let j(r) = 4*g(r) + 9*q(r). Let b be j(8). Solve 0 = -3*o + 6 + b for o.
3
Suppose 13*n = 5*n - 32. Let g be n/24 + (-21)/(-18). Solve -5*d = 6 - g for d.
-1
Suppose 0 = 5*l - 5*l + 4*l. Suppose l = a + a - 2. Solve -3*c + 7 = a for c.
2
Let a be 3/(-2)*(-2)/5*-5. Let v(n) = n**3 + 3*n**2 + n + 3. Let j be v(a). Let x = 2 + 0. Solve j = -x*c - 3*c - 15 for c.
-3
Suppose -8*t = -13*t - 2*n + 19, -4*t + 5*n + 35 = 0. Solve 0 = t*g - 4*g + 4 for g.
-4
Let a be (-2 - (-4)/3)*240/(-32). Suppose 0 = 4*m - 20, 0*j + 25 = -3*j + 5*m. Suppose j*f + 2 = 2*f - 2*p, -5*p - 5 = 0. Solve v + a = -f*v for v.
-5
Let j be (-45)/(-4 + 1)*(-4)/(-6). Let f = -48 + 52. Solve -2 + j = -f*a for a.
-2
Suppose 0 = -0*w - 16*w + 144. Solve 4*y - w = -1 for y.
2
Let k(a) = 15*a - 63. Let z be k(5). Solve 3*i - 6 = -z for i.
-2
Let f(z) = z**3 + 18*z**2 + 3*z + 36. Let o be f(-18). Let c be (24/o)/((-2)/15). Solve c + 5 = 5*v for v.
3
Suppose 8 + 19 = 27*x. Solve -x - 4 = -h for h.
5
Let a = 1671 + -1669. Solve 26 = a*t + 30 for t.
-2
Suppose 0 = 3*b - 4 - 2. Suppose -4*i - b*x + 8 = 0, 2 = 3*i + 3*x - 1. Suppose -3*l - 4*q = -q - 24, 3*l - i*q = 0. Solve -2*c + 2 + l = 0 for c.
3
Suppose 3*b + 18 = -15. Let u = b - -19. Solve -u = -5*s - 33 for s.
-5
Let f = 31 - 28. Let y be 6*(f - (-35)/(-15)). Suppose h + y = 10. Solve h*w - w = 0 for w.
0
Let q be 3*(-16)/12*-1. Suppose -4*v = 2*g + 8, 2*v + 2 = q*g - 12. Suppose -g*k = -7*k. Solve k = m - 6 + 1 for m.
5
Let q(c) = -66*c - 751. Let s be q(-12). Solve -44*t = -s*t + 6 for t.
-2
Let n = -17624 + 17624. Let u(x) = x**3 - 5*x**2 + 3. Let w be u(5). Solve n - w = 3*b for b.
-1
Let z(v) = -1 + 13*v + v**2 - 8 - 5. Let n(r) = 14*r**3 - r**2 - r. Let f be n(-1). Let k be z(f). Solve -3*h = -k*h + 12 for h.
-4
Suppose 0 = -5*b - 3*i + 8, 4*i = b + 3*b - 32. Suppose 0 = 7*h - 11*h - 144. Let f = h - -36. Solve f*j = -b*j for j.
0
Suppose 0 = -t + 2*t + 1. Suppose -3*z = -4*k - 34, 5*k - 3*z + 39 = -z. Let d = t - k. Solve 4*c = d*c + 10 for c.
-5
Let w be (-48)/18*30/(-40). Solve 22 + w = 6*k for k.
4
Suppose s + 8 = -4*z, 0 = -3*z - 1 - 5. Solve -3*w + 69 - 78 = s for w.
-3
Let z be (-6)/(-4) - (-531)/118. Solve -7*o - z = -o for o.
-1
Suppose -308*w + 158 = -305*w - 4*n, 0 = -w - 4*n + 42. Solve -10*o - w = -0*o for o.
-5
Let q be 8 - 13 - (-1 + -8). Solve 2 = -q*z - 2 for z.
-1
Let z(d) = -d**2 + 5*d - 12. Let n be z(4). Let q(u) = u**2 + 9*u + 11. Let c be q(n). Solve -c*h + h + 2 = 0 for h.
1
Let d = 1060 - 1052. Solve 0 = -5*j + 18 - d for j.
2
Let y(h) = -h**2 + 14*h - 24. Suppose 8*g - 59 = 37. Let a be y(g). Solve a = 4*t + 12 for t.
-3
Suppose 0*y + 45 = 5*y. Suppose -3*t = -14 + 2. Solve y = -t*u - 3 for u.
-3
Let p = -297 + 302. Solve 0 = p*d - d for d.
0
Suppose 0 = 23*g - 2629 + 789. Solve y + 76 = g for y.
4
Let r(h) = h**2 + 4 + 5 + 5*h**2 - h**3 - 6 - h. Let d be r(3). Let s = d + -23. Solve 0 = -z - z + s for z.
2
Let q(j) = 2 - 6 - 8 + 4*j - 5*j. Let t be q(-12). Solve t = -4*l - 0*l - 12 for l.
-3
Let p be 2/(4/(-6)*(-15)/10). Suppose -9 = -5*m + g, -3*m + 4 = p*g - 4. Let o(s) = -2*s - 3. Let l be o(-3). Solve m*y + 11 = l for y.
-4
Suppose 0 = -5*g + 5, -y + 2*g - 3 = -9. Solve -y*d + 18 = -2*d for d.
3
Let g be 1/(-2)*0/(-9 - -17). Solve o + 44 - 40 = g for o.
-4
Let m(z) be the third derivative of z**5/60 + z**4/8 + z**3 - z**2. Let v be m(-5). Let a = v + -13. Solve a*r + 4 = r for r.
-2
Suppose 2*g + 44 + 4 = 0. Let f be g/10*20/(-6). Let t be (-2 - -2) + f/4. Solve 4*h - t*h = 0 for h.
0
Let h be (-392)/(-21)*(-4 + 7). Let l = 68 - h. Solve 5*q + l = 2*q for q.
-4
Let s be 1/(24/(-21) + 1). Let r = -3 - s. Suppose -3*u - 15 = 0, 0 = 2*f - 3*u + r*u - 15. Solve -5*a = -3*a - f for a.
5
Let p be (12/(-14))/(4/140). Let r = p + 42. Solve -s + r = 3*s for s.
3
Let t(p) = 6*p**2 + 14*p - 3. Let o(w) = 5*w**2 + 13*w - 2. Let r(i) = -5*o(i) + 4*t(i). Let b be r(-8). Solve -4*m - b = 6 for m.
-3
Suppose 4*w - 2 = 2. Let b(j) = -j**2 - 12*j + 10. Let o be b(-10). Let c = 34 - o. Solve -9 + w = -c*m for m.
2
Suppose -5*n - r + 8 + 1 = 0, 0 = -4*n - 5*r + 3. Let l(b) = b**2 + 7*b - 10. Let h be l(-7). Let c = h + 11. Solve v + n = -c for v.
-3
Let y(f) = -7*f + 47. Let b be y(6). Suppose 2*u = -b*g + 8 + 7, -4*u + g = 3. Let n be (2/(-3))/(1/(-3)). Solve u*v - 10 = n*v for v.
-5
Let c = 24 - 19. Solve -2*q + 3 = -c for q.
4
Let l(s) = -s**3 - 31*s**2 + 142*s + 76. Let g be l(-35). Solve -25*f = -g*f + 19 for f.
-1
Let o be 6/(-39) + 6*471/117. Solve 26*h = o*h - 2 for h.
-1
Suppose y - 2 + 1 = o, 5*o - 1 = 3*y. Suppose -4*j = -a - o*a + 15, -4*a = 4*j + 8. Solve 5 = 2*s - a for s.
3
Suppose 0 = y + 2*y - 2*r - 14, 4*y - 17 = r. Suppose 4*h - 3*a = -15, 0 = 3*h + 4*a - 10 - 10. Solve h*w = y*w - 12 for w.
3
Suppose 22 = -5*x + 3*x. Let t = x - -14. Solve 6 = -t*r - 6 for r.
-4
Let s = -88 - -93. Suppose s*a = -0*a + 10. Solve 0 = a*v + v for v.
0
Let d = -15 - -18. Solve -d*n = 5 + 1 for n.
-2
Let b be 46/10 - (-12)/30. Suppose -6*q + 2*q - b = 5*w, -3*q - 4*w = 4. Solve -m - 2*m + 6 = q for m.
2
Let m(h) = -h**3 - 15*h**2 - 16*h + 16. Let g be m(-14). Let k = g + -39. Solve j - k = 2*j for j.
-5
Let c = -956 + 963. Solve 2*v = c - 17 for v.
-5
Let f(q) = q**2 + 26*q + 48. Let w be f(-24). Suppose w = -2*z - 3*s - s + 12, 4*s + 6 = z. Solve g + g + z = 0 for g.
-3
Let a = -52 + 39. Let g = a + 19. Solve -l + 3*l + g = 0 for l.
-3
Let z(w) be the third derivative of -w**5/60 - w**4/24 + w**3/3 - 6*w**2. Let c be z(-2). Suppose -l + p + p + 8 = c, p = 2. Solve 0*s - 3*s - l = 0 for s.
-4
Suppose -5*v + 49 + 8 = 4*k, -4*v = -2*k + 48. Solve -k*o = -23*o - 20 for o.
-4
Suppose -5 = 5*g, -4*l - 2*g = -95 - 127. Let v = l + -50. Solve q = -1 + v for q.
5
Let p(m) = -4*m + 7. Let z be p(7). Let o be (18/z)/(4/(-14)). Suppose -4*s + 2*s + 5*i = 8, -o*s + 10 = -2*i. Solve h = 3*h + s for h.
-3
Suppose -2*t = 5*g + t - 8, -12 = g + 4*t. Let v be 2 - (-5 + -1 + g). Solve 3*i = 2*i + v for i.
4
Let d be -4 - 0/((-3)/(-3)). Let v(p) be the third derivative of p**4/24 + 4*p**3/3 + 4*p**2. Let r be v(d). Solve -r*h - 7 = 1 for h.
-2
Let b(m) = -m + 10. Let p be b(0). Let f be (-6)/p - 460/(-100). Suppose 0 = 8*k - 9*k. Solve k*z = -f*z - 4 for z.
-1
Suppose -18*p = -14*p - 5*a - 55, 4*a = p - 11. Solve -p = -5*r + 2*r for r.
5
Suppose -27*f + 1162 + 26 = 0. Solve -2*y + f = 38 for y.
3
Suppose 3*n - 5*u - 57 = -11, -3*u + 30 = 3*n. Suppose 7*h = n + 9. Solve -5*d = -4*d - h for d.
3
Let g(w) be the second derivative of -w**3/6 + 2*w**2 - 5*w. Let p be g(0). Suppose 4*f - 6 = 4*m + 10, 0 = -4*m - p. Solve f*v = 2*v for v.
0
Let w(x) = 6*x - 25. Let g be w(6). Solve -1 - g = 6*f for f.
-2
Let p be (1/3)/(4/96). Let r be 4/p - 81/6. Let l = r + 13. Solve l*o = -5*o + 20 for o.
4
Let m be 50/375 + 1/15*1723. Let c = -113 + m. Solve c = 2*h - h for h.
2
Suppose -46 = -2*c + 4*q, 2*c - 2*q - 7 = 31. Let y = c + -10. Suppose y = -z + 23. Solve 5*x + z + 2 = 0 for x.
-4
Let h(n) = -n**3 - 10*n**2 - 10*n - 8. Let f be h(-9). Suppose 4*l = b + 13 + f, -2*l - b + 4 = 0. Solve l*g + 10 = 5*g for g.
5
Suppose 0 = 15*t - 28 - 47. Suppose 8*f = 3*f + 15. Solve -t*b = -7 - f for b.
2
Suppose -5*k + 32 = -2*f, -4*f + 7*f + 4*k + 48 = 0. Let m = -18 - f. Let g be 4 - (-2 - 1 - m). Solve 0 = -5*n - 0*n - g for n.
-1
Let a be 6/9*39/2. Suppose -3*k = -a + 7. Solve -k = -d + 1 for d.
3
Let n(w) = -41*w - 119. Let i be n(-3). Solve 0 = -i*b + 5 - 21 for b.
-4
Let v(a) = a**2 - 14*a - 13. Let x(z) = z - 1. Let q(l) = -v(l) - 4*x(l). Let p be q(11). Solve 3*w + 0*w - p = 0 for w.
2
Let h(f) = 33*f**2 + f. Let c be h(1). Suppose w + 14 = i, 5*w = i - 0*i 