- 14*d**2 + d + 12. Let f be z(-14). Let r = f + 6. Solve 2*i + 0*i = r for i.
2
Let u(w) be the third derivative of w**6/120 - 19*w**5/60 + 17*w**4/24 + 10*w**3/3 - 2*w**2. Let y be u(18). Solve d - y = -d for d.
1
Suppose 17*j - 440 = -5*j. Solve -j*m = 62 + 18 for m.
-4
Suppose -6*h + 108 = -2*h. Let b = 43 - h. Suppose 2*q + b = 4*q - s, q - 3*s - 18 = 0. Solve 0 = -w + 3*w + q for w.
-3
Suppose 5*w - q - 2 = -1, 2*w - q + 2 = 0. Let g(x) = 6 + 2*x**2 + 2*x - 4 + 0*x. Let l be g(0). Solve l = k - w for k.
3
Let v = 5 + -10. Let p(x) = -x - 3. Let u be p(v). Suppose -3*a + 5*t + 3 = -22, 2*a = u*t + 10. Solve w + 2 - 3 = a for w.
1
Let g = 0 - 0. Let q(w) be the third derivative of w**6/120 - w**5/60 - w**4/12 + w**3/6 + 41*w**2. Let l be q(g). Solve o - 4 + l = 0 for o.
3
Let y(g) = g**2 + 4*g + 5. Let b = 51 - 54. Let r be y(b). Solve r*t = -8 + 2 for t.
-3
Suppose 2*d + 3 = -3. Let t be (1 - d) + -8 + 6. Solve p = -t*p + 9 for p.
3
Let k be (-6 + 6)/(5/(-1)). Solve k = -19*g + 7*g - 48 for g.
-4
Suppose v - 2*v = 0. Solve v = -5*p + 10*p - 25 for p.
5
Let c(f) = f**3 + 17*f**2 + f + 20. Let n be c(-17). Solve -n*u + 6 = 18 for u.
-4
Let q(h) = h + 7. Let j be q(-5). Let c be 1*4*4/j. Let a(f) = -f**3 + 13*f**2 + 17*f - 42. Let z be a(14). Solve -3*m + m + c = z for m.
4
Let j = 111 + -106. Let c be (-5)/(3/(-2*3)). Suppose a - 3*x - 4 = -10, -5*a + j*x + c = 0. Solve a = -p + 1 for p.
-5
Let j(n) be the second derivative of -n**4/12 + 2*n**3/3 + 7*n**2/2 + n. Let y be j(5). Let k = -91 - -103. Solve -k = y*l - 6*l for l.
3
Let k be (-8)/(-2)*565/452. Solve -3*s = -8*s - k for s.
-1
Let f be -28*(2/12)/((-7)/21). Solve -12*c = -5*c - f for c.
2
Suppose 12*g + g = 6*g. Solve 7*p + g = -35 for p.
-5
Let v be (-132)/(-33) + 1/(-1 - 0). Solve -8 - 7 = v*p for p.
-5
Let m be 22/5 + (-92)/230. Solve m + 2 = -6*a for a.
-1
Suppose 2*s - 3*r = 23, 0 = -s - r - 3 + 2. Solve -9 = 5*k - s for k.
-1
Let c(r) = -27*r - 46. Let o be c(-2). Solve o = 5*t - 3*t for t.
4
Suppose 0 = 4*z + 2 + 18, 4*x + 3*z = -15. Suppose x*j = j + 3*h + 8, 4*h = -4*j. Solve -j*v = v for v.
0
Let b be 3/(-4)*(-2)/(-3)*-54. Suppose -b = 4*d - 39. Solve u + d = 4*u for u.
1
Let f(s) = s**2 - 4*s + 1. Let i be f(5). Suppose 25 = -5*b + i*y - y, -4*b - 2*y = -10. Solve -5 + b = o for o.
-5
Let g(z) = -8*z**3 - 3*z**2 - 2*z - 2. Let k be g(-1). Solve k - 15 = -2*i for i.
5
Let n = -18 + -2. Suppose -31 = -4*z + 85. Let t = n + z. Solve -4*l - t - 3 = 0 for l.
-3
Let s be 2/(-3) + (-116)/6. Let j = s - -31. Suppose 5*h - j - 9 = 0. Solve h*z = 13 - 1 for z.
3
Let h be -7 + (-190)/(-10) - -23. Solve 0 = 3*o + h - 44 for o.
3
Suppose 4*t + 19 = q + 4, 3*t = -q + 8. Solve -3*o + 24 = -q*o for o.
-3
Let z be (-4)/36 - 20/(-18). Let y be (56/196)/(z/7). Solve -2*p = -p - y for p.
2
Suppose -27 = -4*b + 3*v, 5*b - 2*v = -0*b + 25. Let f(h) = h**3 + 3*h**2 - 4*h. Let t be f(-4). Suppose 0 = 2*j - t*j - 6. Solve j = b*y - 0*y for y.
1
Let q = 212 + -205. Solve -45 = q*j - 22*j for j.
3
Let r = 19 - 3. Suppose -5*k + 19 + r = 0. Suppose 0 = -k*d + 5*d + 12. Solve z - d = -2 for z.
4
Suppose -23 = -4*h + 3*s, 7*h + 3*s = 2*h - 5. Solve 3*x = -x - h*x for x.
0
Let s(b) be the first derivative of -b**4/4 - 5*b**3/3 - b**2/2 + 3*b - 1. Let p be s(-3). Let r = p + 17. Solve -r*k - 14 - 1 = 0 for k.
-3
Let x = 51 + -73. Let h = x - -42. Solve 0 = 2*p - 7*p - h for p.
-4
Let v(g) = -20*g - 57. Let h be v(-3). Solve -h*x + 16 - 22 = 0 for x.
-2
Let f(n) = -n**3 + 17*n**2 + 18*n + 4. Let t(x) = -x + 2. Let w be t(-16). Let v be f(w). Suppose 0 = v*g + 1 - 25. Solve -2*p + 4*p - g = 0 for p.
3
Suppose 5*t - a - 11 = -4*a, -8 = -4*a. Let b = t + 2. Suppose 5*x - b*s - 14 = 15, -4*x = -5*s - 18. Solve 13 = 5*m - x for m.
4
Let i = 123 + -123. Solve i = q - 3*q for q.
0
Let f be 64/(-24)*(-9)/(-2). Let h(p) = p**3 + 13*p**2 + 12*p + 12. Let d be h(f). Suppose 51 = 5*k - 4*c, 0 = 2*k + c + 2 - d. Solve -4*j = -k - 5 for j.
3
Let w = -2 - 6. Let a = w + 12. Let m = a - -1. Solve -j + m = 1 for j.
4
Suppose -9 = -4*z + 3. Suppose z*s + 16 = q, -2*q + 32 = -3*s + 6. Suppose 0 = -2*w + 4*r + 16, r + 0*r = -3*w + q. Solve -g + w = -2*g for g.
-4
Suppose 4*x + 20 = 4*c, 0 = -3*c - x - x. Solve 9*a = c*a - 14 for a.
-2
Let o be (0 - (-3 - -2))*(118 - 5). Let t = o + -90. Solve 2 = -5*r - t for r.
-5
Let s(q) = -7*q**2 - 33*q - 10. Let i(m) = -4*m**2 - 17*m - 5. Let z(v) = 5*i(v) - 3*s(v). Let c be z(-14). Solve -4*r = -3*r + c for r.
-5
Let x be ((-18)/(-15))/((-1)/(-60)). Suppose -3*t - 6*k + 96 = -3*k, 2*t + 4*k - x = 0. Suppose 3*c - 4*g = 4*c - t, -c + 1 = -5*g. Solve -4 = 5*h + c for h.
-4
Suppose -c + 12 = c. Let y be (c*3/4)/((-40)/(-80)). Solve 0 = -6*v + 3*v + y for v.
3
Suppose -11*w + 4635 = 4*w. Solve -294 = -5*q - w for q.
-3
Let k = -48 - -48. Let u be ((k - 15) + 3)/(-2). Solve -7*f + 9*f = -u for f.
-3
Suppose 52*l - 53*l = 5, -3*p + 32 = -4*l. Solve -8 = -0*d - p*d for d.
2
Suppose -4*s = -b - 12, -4*s - 2*b + 9 = -3. Suppose -4*c + 9*c - 25 = 0. Suppose 5*p + 1 = 2*x + 10, -c*p = 4*x - 57. Solve s*j - j + x = 0 for j.
-4
Let a = 5 + -1. Solve a = -8*u + 4*u for u.
-1
Let i(f) = f**3 + 3*f**2 - 2. Let o(m) = m**2 - 7*m + 10. Let b be o(4). Let k be i(b). Suppose k*c = 6 + 2. Solve -d = c - 1 for d.
-3
Let d(a) = -4*a**2 + 15*a - 7. Let m(x) = -x**2 + x - 1. Let b(g) = d(g) - 6*m(g). Let n be b(-5). Solve -u = n - 0 for u.
-4
Suppose 4*k + 9 = 29. Suppose -k*z = -z - 24. Let t = z - 5. Solve 0 = -3*r + 2*r - t for r.
-1
Let w(s) = 2*s - 2. Let j be w(3). Let f be 112/21 - j/(-6). Solve -f*r + 20 = -r for r.
4
Suppose 4*r - 5*n = 6 + 29, 4*r - 32 = 4*n. Suppose -2*c + 3*m = -3*c + 19, -44 = -4*c - 4*m. Suppose 9*z = c*z + 12. Solve -k + r = -z*k for k.
-1
Let o be (-28)/(-7) - (-2 - 9). Solve o = 3*r + 6 for r.
3
Let t(r) = -r - 3. Let a be t(-5). Suppose 0*c + 26 = a*c. Suppose -4*n + 7 = -c. Solve n = o - 0*o for o.
5
Let x be 4 + (2 + (-3 - 0) - 3). Solve x = 6*v - 12 - 12 for v.
4
Let g be (34/10)/(3/15). Let b = 27 - g. Let c be 55/b - 9/6. Solve 0*p + c = p for p.
4
Suppose x + 0 = 2. Let b be (-8 - -7)/1*4/(-1). Solve -b*q = -x*q for q.
0
Suppose 18*z = -5*z + 966. Solve z*k = 49*k - 7 for k.
1
Let m(i) = i**3 - i**2 - 3*i + 2. Let r be m(2). Suppose 36*p = 32*p + 32. Let w be ((p/3)/8)/(2/6). Solve w = -t - r*t for t.
-1
Suppose -80 + 5 = -15*d. Solve -d*l - 4 - 11 = 0 for l.
-3
Let x be -3 + 3 + (-6)/(-3). Suppose -x*j - 5*n = 0, 0 = -j - 0*n + n + 7. Solve -j*k + k = 0 for k.
0
Let y(p) be the second derivative of -1/2*p**3 + 0 + 4*p + p**2. Let j be y(-2). Solve 4*r - j = -20 for r.
-3
Let m(i) = 4*i**2 + 17*i + 24. Let y(g) = -g**2 - g - 1. Let t(s) = -m(s) - 3*y(s). Let v be t(-12). Suppose v*l = -3*l. Solve l*z = z for z.
0
Suppose -2*b + 1 = -7, 18 = 2*r + 3*b. Suppose -6*m + r*m = -51. Suppose -4*u - 22 + 8 = -2*i, 3*i - 2*u - m = 0. Solve -2*k = -7*k - i for k.
-1
Let u(m) = -6*m**2 - 7*m + 7. Let w(j) = 5*j**2 + 6*j - 6. Let l(s) = -4*u(s) - 5*w(s). Let v be l(-2). Solve b + 5 = v for b.
-3
Suppose 2*d = y - 1, -d - 4*y + y + 3 = 0. Suppose -8*w + d = -16. Solve 5*j - w*j = 12 for j.
4
Suppose 4*a - x = 10, -x = 15*a - 17*a + 4. Solve 0 = -a*f - f for f.
0
Let n(h) = 5*h - 4. Suppose l = 3*g - 2, -2*g = l + 3*l + 36. Let i be (-2 + l)/(-3 - -1). Let j be n(i). Solve 5*s = -j + 6 for s.
-3
Let w(s) = 15*s + 165. Let d be w(-11). Let t = -4 - -7. Solve d = t*h + 2*h + 25 for h.
-5
Suppose 0 = -11*y + 12*y - 2. Let r = -20 - -24. Solve -y*z + 3*z - r = 0 for z.
4
Let s(w) = 3*w**3 - 21*w**2 + 17*w + 4. Let v be s(1). Let b be ((-4)/6)/((-1)/3). Solve -v*x = b + 13 for x.
-5
Suppose 0 = 3*t + 1 + 5. Let p = 1 - t. Suppose p*x - 3*a - 3 = 3, -3*x = -5*a - 10. Solve 4*u = -x*u for u.
0
Suppose 59 = 3*t + 47. Solve 31 - 11 = -t*d for d.
-5
Suppose 2*b = 0, 4*b - 24 = 2*w - 0*b. Let v be (-4)/w + 1/(-3). Suppose v = j + 4 - 6. Solve 0 = n + j*n for n.
0
Let c = 58 + -41. Let t = 7 + -4. Suppose -c*j - t = -18*j. Solve 0 = -f - j - 1 for f.
-4
Suppose 11 = -2*q + 5*c, 0 = q + 3*c - 13 + 2. Solve q*v = v for v.
0
Suppose -25*p + 5 = -20*p. Suppose 5*x + s - p = 2, 2*s = 2*x + 6. Solve x = 3*d - d for d.
0
Suppose -g + 2*k - 32 = 0, 4*g = -5*k - 117 + 28. Let d = -24 - g. Suppose -