*u + 8 for u.
3
Let u(k) be the third derivative of 0 - 5/24*k**4 - 3*k**2 + 1/60*k**5 + 0*k - 2/3*k**3. Let z be u(6). Solve 0 = z*n - n - 5 for n.
5
Suppose 0 = -0*g - 2*g + 4. Let z(c) = -c**3 + 3*c**2 + 6*c - 1. Let h be z(4). Suppose 0 = h*f - 2*f - 20. Solve -f*a - g + 10 = 0 for a.
2
Suppose 2*y + 2*y - 32 = 0. Let k be (4/y)/((-3)/114). Let p = -13 - k. Solve 18 - p = -3*g for g.
-4
Let m = -652 + 658. Suppose -1 = 5*d - 11. Solve -m + d = 2*j for j.
-2
Suppose 0*i = -22*i + 220. Solve i*b = -0 + 30 for b.
3
Suppose -t - 52 = -3*x, 52*t = -x + 49*t + 34. Solve h + x - 15 = 0 for h.
-4
Let k = -24 - -26. Let l(h) = -18*h + 94. Let i be l(5). Solve i*t + 8 = k*t for t.
-4
Suppose 3*r - 2*r = 5*s + 15, -4*s + 140 = 3*r. Let l = r + -38. Solve 0 = -g + l + 2 for g.
4
Let y(p) = -8*p**3 - p**2 + 3*p + 9*p**3 - 2*p**2. Let r be y(2). Suppose 0 = -r*d - d. Solve w + d = 1 for w.
1
Let p(r) = -2*r + 8. Let q be p(2). Solve -q*z = -z - 15 for z.
5
Suppose 63 = -0*w + 7*w. Let h = w + -5. Solve -1 = 5*r + h for r.
-1
Suppose 0 = h + 3*f - 9, -2*h + 2*f + 9 = 5*f. Suppose -8 = -2*v - h. Solve v + 1 = 5*n for n.
1
Let z(i) = -i**3 - 7*i**2 + 8*i + 6. Let y = 8 - 0. Let a be (3 - 28/y)*16. Let t be z(a). Solve b = -b + t for b.
3
Suppose 11*r = 9*r + 3*b + 39, -4*r = 3*b - 51. Solve 4*v - v = r for v.
5
Let h = 4 + 4. Suppose 0 = -h*x + 3*x. Let v be -1*(1 + 3)*-5. Solve x*c - 4*c + v = 0 for c.
5
Let j be -2 - -8 - -5*(-8)/10. Suppose 0 = 17*p - 18*p + j. Solve p*z + 10 = -0*z for z.
-5
Let z = -46 - -64. Suppose -z*o + 15*o = 0. Solve o*q - 2*q = 0 for q.
0
Let a(s) = s**2 - 35*s + 57. Let u be a(34). Solve 1 = -24*k + u*k for k.
-1
Let y be 9/(-12) + 4/((-48)/855). Let k = -52 - y. Solve 0*w + k = -4*w for w.
-5
Suppose -5*i - 55 = -3*l, -8*l = -11*l + 4*i + 56. Solve 5*b + 0 = -l for b.
-4
Let x = 1304 - 1295. Solve -x*z + 59 = 14 for z.
5
Let t(k) = 5*k - 6. Let x(u) = u + 9. Let p be x(-7). Let s be t(p). Solve -s*l + 2 = -2 for l.
1
Let g = 156 + -271. Let s = g - -118. Solve -f = 2*f + s for f.
-1
Suppose 0 = -3*z - 2*z + 10. Let r = -14 + 15. Let l be (-6)/10 + (-69)/(-15) - r. Solve -1 = -l*f + z for f.
1
Let m(d) = -20*d - 98. Let x be m(-5). Let u = 4 - -1. Suppose u*k = x*k + 18. Solve -4*v + 22 = k for v.
4
Let f be -1 + (-588)/(-36) + (-6)/(-9). Solve -13 + f = j for j.
3
Let x(g) = g - 3. Let s(y) = -y + 2. Let b(r) = 5*s(r) + 4*x(r). Let q be b(-2). Let f be q - (-2)/((-8)/(-20)). Solve -4*o = o + f for o.
-1
Let y(z) = -59 + 2*z + 97 + 0*z. Let u be y(-19). Solve -q = -u*q - 4 for q.
4
Suppose 4*k + 23 - 43 = 0. Solve -11*d + k*d = 6 for d.
-1
Let k(y) = -y**2 + 3*y + 12. Let f be k(5). Suppose f*c + 4 = 3*c. Solve 6 = -c*b - 14 for b.
-5
Let s(d) be the first derivative of -6 + 1/2*d**2 - 1/4*d**4 - 2/3*d**3 - d. Let a be s(-3). Solve 2*o - 7*o - a = 0 for o.
-1
Let a(d) = d**3 + 46*d**2 + d + 46. Let k be a(-46). Solve 2*j = -k*j - 4 for j.
-2
Let f(s) = -s - 10. Let y be f(-9). Let w be 3 - (y + 6/3). Suppose -6*x = x - 84. Solve 2*i - x = -w*i for i.
3
Let l(s) = 7*s - 6. Suppose 45 = 3*y + 2*y. Let x be l(y). Suppose 5*k - x = -17. Solve 3*f + 20 = k*f for f.
4
Let s be -1 + (-236)/7 - 4/14. Let p be (21/s)/((-1)/5). Solve 0 = i + p*i + 16 for i.
-4
Let o be 3/9 + (-1030)/(-6). Suppose 7*d + o = 11*d. Suppose 0 = 3*f - 17 - d. Solve q + f = -4*q for q.
-4
Let g be (0 - 2*-6) + 3. Let z = g + -10. Suppose -z*t = -5 - 10. Solve x + t = -2 for x.
-5
Suppose 3*l - 9 = -0*l. Let v(g) = 5*g**2 - 28*g + 2 - g**3 + 2*g**2 + 18*g. Let h be v(5). Solve -5 = -h*r - l*r for r.
1
Let h = -1 - -3. Let w = -438 + 442. Solve -w*i + h = 6 for i.
-1
Let j be (63/(-14) - -3)/(3/(-4)). Suppose 0 = g - 3*i + 10 + 2, 8 = j*g + 2*i. Solve -v - 4*v + 15 = g for v.
3
Suppose -x + 0*b = -3*b - 4, -2*x + b = -8. Let f be (-48)/(-8) + (x/2)/(-2). Solve 4*p - 3 = f*p for p.
-3
Suppose 0 = -5*g + 5 + 10. Suppose 0 = q - g - 1. Suppose 1 = -d + q. Solve d = -4*c + 5*c for c.
3
Let s be 0 + 1/((-3)/(-12)). Let i(v) = -v**3 + 7*v**2 - 6*v - 3. Let q be i(6). Let p be 2 - s - (q - 1). Solve -3 = -g + p for g.
5
Suppose 58*m = 28 + 262. Solve m = -32*s + 27*s for s.
-1
Suppose -6*a = -316 + 298. Solve a*j - 2*j = 3 for j.
3
Let c(x) = -x**2 - 24*x + 40. Let h be c(-25). Let z be 56/12 + 2/6. Solve 0*v - z*v + h = 0 for v.
3
Suppose -6 = w - 8. Suppose -4*i + 3 + 7 = r, w = -i. Solve r = 5*g + 43 for g.
-5
Let y be 11/(11/(-4)) - 1*-7. Solve -p - y = -5 for p.
2
Let a(t) = t**2 - 4*t + 16. Let r be a(3). Let y be -1 + 1 + -1 + 17. Suppose 0 = 3*f - 5*d + r, 0 = 5*f + 2*d - 46 + y. Solve -2*q + 10 = -f*q for q.
-5
Suppose 90 = 22*o - 17*o. Suppose -3*j = -b - 8*j + o, -3*b - 4*j = -21. Solve 0*s - s - b = 0 for s.
-3
Suppose 0 = -2*x - 8 - 4. Let d = -12 - x. Let u = d - -11. Solve -u + 3 = 2*l for l.
-1
Let q = 916 + -912. Let l(h) = -5*h**3 + h**2 - 1. Let b = -2 - -1. Let p be l(b). Solve -p*o + 1 = -q for o.
1
Let i(j) = 7*j - 4. Let o be i(-4). Let p = 41 + o. Solve -u + p = 2*u for u.
3
Suppose 0 = -3*y + p + 4*p - 20, -8 = 2*y - 2*p. Let x(u) = 2*u**2 - u. Let j be x(-1). Solve -j*s = -y*s for s.
0
Let i be (-5)/(-2) - 10/(-20). Let j be (-4)/(i + 28/(-9)). Let u be 0*(j/8 - 4). Solve 2*g - 4 - 4 = u for g.
4
Suppose -3*u + 177 = 3*h, -u - 2*h + 39 = -6*h. Solve -60 = -l - u for l.
5
Let f = 104 - 112. Let n = 18 + f. Let s be (6/4)/((-2)/(-4)). Solve -s*w = 1 - n for w.
3
Let p be 13 + 12/(-6) + -7. Solve -2*w = 2 + p for w.
-3
Let l = 2 + -3. Let x = l + 7. Let n be (5/(-3))/((-2)/6). Solve 0 = n*j - 3*j - x for j.
3
Suppose 2*a - 47 = -a + c, 5*c = 2*a - 14. Let i be (-4 + (4 - -2))/((-4)/(-6)). Suppose -3*y + i + 9 = 0. Solve y*q - a + 5 = 0 for q.
3
Suppose 13 - 6 = 7*a. Suppose 8*y - 59 = -35. Solve 4*k + y = -a for k.
-1
Let i(g) = 2*g + 16. Let b be i(-6). Let h be -2*(-2)/(16/b) - -1. Solve 7*o = h*o - 25 for o.
-5
Suppose 0 = -54*w + 47*w. Solve -8*p + 24 = -w for p.
3
Let s(p) = 2*p - 23. Let g be s(0). Let k = 13 + g. Let w be 18/k*(-10)/6. Solve 12 = w*h - 0*h for h.
4
Let b be (24/15)/(2/95). Suppose -6*f = -2*f - b. Let r = f - 14. Solve 0 = r*z + 2 + 3 for z.
-1
Let g be ((-38)/(-4) - -1) + 89/178. Solve 6*j = -g + 5 for j.
-1
Let l be (2 - (-20)/(-6))*6. Let k be l/(-2) + 1/1 + 1. Solve 0*m + k = -3*m for m.
-2
Let q(s) = s - 1. Let g be q(6). Suppose -4*r - r = -m + 25, 0 = 2*r + 2*m + 10. Let h = r - -17. Solve -2*w = -g*w - h for w.
-4
Let w(t) = t**3 - 5*t + 1. Let x be w(2). Let n be 3/(-6) - (-6)/(-12). Let z be n - (4 - 6 - x). Solve z*a = -a + 3 for a.
3
Suppose 7 - 11 = -2*i. Suppose -i*v + z = 1, -5*v - 3*z - 5 = -6*z. Solve v*w - w + 3 = 0 for w.
-3
Suppose -20 = -2*w - 3*w. Suppose -11 = -w*r + 21. Let h be 112/(-42)*(-6)/r. Solve 0 = -5*m - h + 7 for m.
1
Let q be (-2)/(-9) - (-4)/(-18). Let n = -6 + 10. Let o(r) = -13*r + 26. Let g be o(2). Solve g*a - n*a = q for a.
0
Suppose 4*m - 28 + 20 = 0. Let k be (-3 + 3)/(2/1). Solve m*a + 0 + 2 = k for a.
-1
Let k be (-17)/(-5) + (-2)/5. Suppose 5*a - 2*a = d - 15, -k*d = 3*a - 9. Let z = d + -6. Solve -2*n - 3*n - 15 = z for n.
-3
Let v(i) = -2*i + 10. Let s be v(5). Let p be -9*(-1 + 3 - 1). Let b = 13 + p. Solve -j + s*j = b for j.
-4
Let x(t) = 5*t**2 + 3*t + 1. Let a = -10 - 4. Let j = a - -13. Let v be x(j). Solve 23 = -5*y + v for y.
-4
Suppose -12 = -4*w - 3*v - 0*v, 4*v - 16 = 5*w. Let h be w - (5/(-10))/((-1)/(-6)). Solve -h*j + 7 = 16 for j.
-3
Suppose 1 = 2*n - n - z, -5*n + 9 = -3*z. Suppose -n*v - j + 17 = 0, -8*v = -3*v - 3*j - 5. Solve 0 = -5*s + s + v for s.
1
Suppose -3*o = q, -o = 5*q + o. Let l = 3 - q. Solve -l*t + 9 = -0*t for t.
3
Suppose -5*b + 5 + 15 = 0. Let c(s) = 4*s - 35. Let i be c(10). Solve -21 = i*p + b for p.
-5
Suppose -t - 5*t + 54 = 0. Let r be 3/t + (-44)/(-3). Solve 0*s - 5*s - r = 0 for s.
-3
Let o(j) = 3*j - 21. Let t be o(10). Suppose -2*u + 12 = 2*d, 6 = 5*u - t. Solve 3*l + 0 = d for l.
1
Let c be (-7)/21*3 + 95 + -1. Suppose c - 84 = 3*o. Solve -o*g = g + 4 for g.
-1
Let b(y) = 3*y - 66. Let f be b(25). Solve 0 = -f*d + 13 + 5 for d.
2
Let l = 92 + -41. Let g = -48 + l. Solve 0 = g*h - 3 - 0 for h.
1
Let r be 2/(-8) - 135/(-12). Solve 6 = -r*j + 5*j for j.
-1
Let d(r) be the second derivative of r**4/4 - 7*r**3/6 - 3*r**2/2 + 6*r. L