e d*j = 2 + 1 for j.
1
Let r(y) be the second derivative of -y**3/3 + y**2 - y. Let a be r(-4). Suppose 2*t - 25*c + 26*c - 5 = 0, 0 = -2*t + 2*c + 2. Solve 0*z = t*z - a for z.
5
Let k be (30/(-25))/((-2)/15). Suppose -k = -2*f + 3. Let r be (-4)/(-12)*2*f. Solve 5*o + r + 16 = 0 for o.
-4
Let y = 91 - 82. Suppose -3*d - 3 = 3*g - 24, 3*d - y = g. Solve j + g = 8 for j.
5
Let l(m) = -m - 10. Let c be l(-13). Suppose 7*q - c*q = x + 80, 0 = 3*x. Solve -3*o - o = -q for o.
5
Suppose 3*u = -95*l + 96*l + 1, -3*l + 4*u = -7. Solve l = 4*f - 3*f for f.
5
Suppose 4*j - 5 = -q + 6, -5*j = 5*q - 10. Let r be (2/(-3)*q)/(8/12). Solve 0 = 5*k - 19 - r for k.
4
Suppose -h = -3*h + 74. Let u = -33 + h. Solve m - 9 = -u for m.
5
Let w(d) = -d - 1 - 2*d**2 - 2*d**3 + 0 - 5*d**3 - d. Let k be w(-1). Let h be 62/93*(6 - 0) - 2. Solve h*u = k*u for u.
0
Let v be ((-6)/4)/(3/6). Let o(h) = -h**3 + 21*h**2 + 23*h - 47. Let m be o(22). Let k be (-1)/v + m/(-15). Solve b - k*b = -2 for b.
2
Let w = 174 - 167. Let s(i) = i**3 - 10*i**2 + 22*i + 4. Let t be s(w). Solve 1 = 4*d - t for d.
3
Let o be (65/25)/(12/60). Solve -o = -3*h - 4 for h.
3
Suppose -a + 0*a + 2 = 0. Suppose 0*f = -4*f - 20, 0 = s - a*f - 12. Solve -22 = 5*p - s for p.
-4
Suppose -5*t + 9 + 16 = 0. Let b(i) = -i. Let v be b(t). Let d be (-9)/45 + (-6)/v. Solve q + 0 = -d for q.
-1
Suppose -4*f + 4*f = -27*f. Solve f = -3*w + 3 for w.
1
Let q(x) = -x**3 - 29*x**2 - 3*x - 32. Let s be q(-29). Solve s = 32*l - 21*l for l.
5
Suppose -4*y + 5 = -9*y, 0 = -3*b - 5*y + 103. Let u be (-6)/(-15) - b/(-10). Suppose 4*f - 16 = -2*s, u*s - 2*f - 14 = -4*f. Solve h = s*h + 1 for h.
-1
Suppose 0 = -9*x + 30 - 111. Let d(g) = g**3 + 8*g**2 - 8*g + 13. Let k be d(x). Solve -2*h + 6*h + k = 0 for h.
-1
Let v = -25 - -30. Let y(d) = d**3 - 2*d**2 + d + 1. Let r be y(3). Suppose -4*j - 14 = -5*c - 0*c, 4*c = 5*j + r. Solve v*a + 6 = c*a for a.
-2
Suppose -25 = -3*g - 2*g. Suppose -g = c, c = -5*o + 2*c + 30. Solve -k = -o*k - 20 for k.
-5
Let g(t) = 3*t + 9. Let x(l) = 4*l + 8. Let u(h) = -6*g(h) + 4*x(h). Let a be u(-16). Let k be (-12)/(-9) + a/15. Solve -2*y + k = -2 for y.
2
Let f(x) = -x**3 - 17*x**2 - 19*x - 21. Let z be f(-16). Solve a + 23 = z for a.
4
Let w(l) be the third derivative of -l**6/120 + 7*l**5/60 + 7*l**4/24 + 4*l**3/3 + 4*l**2. Let d be w(8). Solve -n - 2 - 2 = d for n.
-4
Let s(o) = -o**2 + 8*o - 10*o - 9 + 16*o. Let j be s(13). Solve -j*b = -2*b for b.
0
Suppose 2*h - 107 = -5*c, -66 = 11*c - 14*c - 3*h. Solve 4 + c = 5*l for l.
5
Suppose -7 = -29*h + 109. Solve -h = v - 0*v for v.
-4
Suppose -2*c = -7*c - 5. Let f be c*(-4 - -1 - -1). Solve -3*j - 13 - f = 0 for j.
-5
Suppose -3*n - 3 = 6, 3*n = -i - 15. Suppose 57 = 6*u - 9. Let k = u + i. Solve k*y + 8 - 3 = 0 for y.
-1
Let v(w) = w**2 - 24*w + 116. Let h be v(5). Solve 15 = -h*u + 18*u for u.
-5
Let f be 136/68 - (-1 + 3). Let x(g) = 2*g**3 - 2*g**2 + g - 2. Let b be x(2). Solve f = v - 3*v + b for v.
4
Let p = -23 - -35. Let i be ((-3)/2)/(p/(-32)). Solve -i*t + 1 = 9 for t.
-2
Let t be -4 - -2 - 15/(-10)*6. Solve -4*q + t*q - 6 = 0 for q.
2
Let z be (18/(-3))/((-3)/2). Suppose -4*q - 3*g = 2*g, 9 = 5*q + z*g. Suppose d - l + 2*l = -5, -l - 5 = q*d. Solve d = -3*x - x for x.
0
Let f = 260 - 255. Let l(h) = 4*h. Let a(c) = 5*c. Let w(s) = -3*a(s) + 4*l(s). Let t be w(f). Solve -t*r = -1 + 16 for r.
-3
Let c(v) = v**3 - 12*v**2 + 9*v + 24. Let p be c(11). Suppose 2*i - 2*d + 6 = 0, p*i + 0 = d - 1. Solve h = -i*h + 9 for h.
3
Suppose -k = 2*k + z - 35, -5*k = -2*z - 73. Let p = -26 + 28. Solve -3 + k = p*g for g.
5
Let a(q) = -20*q - 297. Let f be a(-15). Solve -f*d + 13*d - 50 = 0 for d.
5
Let h be 1*4 + -7 + 7. Suppose -3*p = 2*m - 31, -2*m + 88 = 3*m + h*p. Suppose -3*g = -3*a - 21, 4*g = a + 4*a + 32. Solve g*o = -o + m for o.
5
Suppose -155*d + 190*d = 2170. Solve 3*z - d = -74 for z.
-4
Let g = -13 + 15. Suppose -x + g*x = 5, -3*s - 2*x + 22 = 0. Solve s*k = 15 - 3 for k.
3
Let a(z) = -2*z + 6. Let f(o) = -6*o + 18. Let q(x) = 14*a(x) - 5*f(x). Let s(y) = y - 1. Let d be s(6). Let m be q(d). Solve m - 7 = k for k.
-3
Let x be (-456)/(-190)*(-5)/(-2). Solve -40 = -2*j - x*j for j.
5
Suppose -2*a = -h, -5*a = -3*h - 3 + 4. Suppose h*o - 6*o + 16 = 0. Solve -7*s + o*s = 12 for s.
-4
Suppose 0 = -14*h + 1320 - 116. Solve 0 = -h*r + 81*r + 15 for r.
3
Let w be (16/(-136))/((-6)/51). Solve -k = -2*k - w for k.
-1
Let k be 21/12 + 0 + 5/20. Let t = 8 - 4. Solve t*w = k*w - 4 for w.
-2
Let z be 7 - (-7 + 5 - -7). Let i = 0 + 5. Suppose 13 = t + 5*l - 7, -2*t + 25 = -i*l. Solve -3*x + t = z*x for x.
3
Suppose 105 = 3*b + 3*i, i - 100 = -3*b - i. Let l = -26 + b. Solve 0 = l*k - 8 for k.
2
Let z = -395 + 399. Solve -z*h - 2*h = -12 for h.
2
Let b(r) = -8*r + 5. Let k(m) = 17*m - 10. Let d(l) = -5*b(l) - 2*k(l). Suppose -3*t = -4*n - 3, 4*t - n = 8*t - 23. Let p be d(t). Solve p - 5 = 5*z for z.
4
Let w = 85 - 81. Solve 5*b + 9 = w for b.
-1
Let j = -3 + 15. Let s = j + -10. Let z(u) = 2*u**2 + 2*u. Let t be z(s). Solve 0 = 5*l - t - 13 for l.
5
Let z = -261 - -268. Solve z*k = -1 + 29 for k.
4
Let r(j) = -5*j + 16*j - 3*j + 6 + j**2. Let g be r(-11). Let p = g + -35. Solve 0 = p*s + s - 15 for s.
3
Let a be 855/30 - (1/2 - -1). Suppose 0 = -4*j + 8 - 32. Let m be (-104)/(-18) - j/a. Solve 0*y = 3*y + m for y.
-2
Let y = 7 + -3. Suppose -6*f + 56 = -2*f. Let s be (-2)/f - 748/(-238). Solve -7*t + y = -s*t for t.
1
Let l(g) = 7*g**2 - 3. Let q be l(1). Solve q*m = -0 - 20 for m.
-5
Let i = -28 - -31. Suppose 10*z - 14 = i*z. Solve z*l + 2*l = 4 for l.
1
Let r(l) = -l**3 + 9*l**2 - 16*l + 16. Let h be r(7). Suppose 2*d - 4 = 14. Solve -h*z = z - d for z.
3
Let v(r) = -6*r + 1. Let m be v(2). Let w = m + 14. Solve -w*i = -4 + 16 for i.
-4
Suppose -c = -9 + 1. Suppose -2*z + 4 = -3*b, b + b = -4*z + c. Solve -u + 3 = z for u.
1
Suppose -5*z = 2*r - 9, r + r = 4*z. Suppose z = 2*l - 1. Let d = 582 - 580. Solve 0 = d*y - l - 1 for y.
1
Let k be (-4)/2 - (3 + -5). Let t = -76 + 79. Suppose -3*q + 18 = -9. Solve k*b + q = t*b for b.
3
Let b = 241 + -235. Solve -2*n + b*n = 8 for n.
2
Suppose -2*g + 6*g - 12 = 0, -3*u + 3*g = -3. Let l be 1/(4*u/80). Solve -o + 8 = -l*o for o.
-2
Let l = 348 - 336. Let n(z) = 6*z + 4. Let j be n(-4). Let q be (-45)/25*j/l. Solve 0 = -u + q*u + 6 for u.
-3
Let u(f) = -22*f - 1. Let l be u(-3). Suppose -3*y - l = -8*y. Suppose 0 = -2*r + k + y, -25 = 4*k + k. Solve 7*s = r*s for s.
0
Let c(y) be the third derivative of y**4/8 - 7*y**3/6 - 3*y**2. Let u be c(5). Solve 2*w - 2 + u = 0 for w.
-3
Let b be 8/((-200)/15) + 56/10. Solve -1 + b = 4*m for m.
1
Suppose -20 = -3*d - d. Let v be -1*(-8 + 4 - -1). Solve -2*c = -v*c + d for c.
5
Suppose 0 = 11*q + 13 - 13. Let m = 4 + 0. Suppose 0 = -m*z - o - 0 + 6, 2 = 5*z + 4*o. Solve 5*f - z*f = q for f.
0
Suppose 3*u = 3*q - 48, -5*q - 3*u = u - 125. Solve -16*b = -q*b + 20 for b.
4
Suppose 9 - 226 = -7*f. Let a = -17 + f. Solve -2*s - 4 = -a for s.
5
Let w(i) = i**2 + i + 1. Let b(y) = y**3 - 6*y**2 - 5. Let p(t) = b(t) + w(t). Let h be p(5). Solve 4*d = 5*d - h for d.
1
Suppose -2*h = 0, -4*o + h = -o - 3. Suppose -4*g = -11 - o. Solve g*r + 3 = -6 for r.
-3
Suppose 2*q - 3 = q. Let u = 57 + -49. Solve -q*d + d - u = 0 for d.
-4
Let h be 1/((-8)/8)*0. Solve h + 10 = 5*m for m.
2
Suppose -2*s + 14 = -4. Suppose 6*g = 13*g + 42. Let k be (-44)/33*(-1 + 3/g). Solve -k*w - s = w for w.
-3
Let h be (-10)/75 - 908/(-60). Solve 18*i - 3 = h*i for i.
1
Let k = 408 + -417. Let y(z) = -2*z**2 + 2. Let s be y(-2). Let i = s - k. Solve i*p - p = -8 for p.
-4
Suppose p = 3*w + 17, -3*p - p = -2*w - 18. Suppose p*t = -3*t. Let u be t/(4*2/4). Solve u = -l - 0*l for l.
0
Let u(i) = -i**3 + 2*i**2 + 7*i + 10. Let d be u(4). Solve -d*r = 2*r for r.
0
Let c be (1/(-2))/((-8)/448). Suppose c = -4*r - q + 104, -4*q - 57 = -3*r. Solve -r = 3*g - 4 for g.
-5
Let b be -5*(-8 - (-5 + -2)). Let q = 21 - 5. Solve -b*o + 1 = q for o.
-3
Suppose -390*q = -405*q + 240. Solve 15*u = q*u + 4 for u.
-4
Suppose 20 = -3*l - l. Let x be -4 - -1 - (l + -13). Suppose 4*d = 7*d - x. Solve d*r + 16 = 1 for r.
-3
Suppose 5*i + 2*r - 17 = 0, -4*i - 4 = 4*r - 20. Solve t = -5 + i for t.
-2
Let p(t) = -6*t**2 + 165