Solve 2*u - 5*u - x = 0 for u.
-4
Let t(u) be the third derivative of u**5/30 + u**4/12 - 2*u**3/3 - 2*u**2. Let w be t(-3). Let l = -76 - -91. Solve 0 = -w*c + 3*c + l for c.
3
Suppose -23*s = -0*s - 253. Solve -r = 7 - s for r.
4
Suppose 0 = -5*l + 3*j - 66 + 108, 3*j = 2*l - 24. Solve -1 = l*k - 7 for k.
1
Suppose 0*h - h + 2 = 0. Suppose 0 = h*v - 2. Suppose -3*u + 2*u + v = i, 4*u - 13 = 5*i. Solve 3*w = -u*w for w.
0
Suppose 4 = -2*x + 4*x. Suppose -2*q + 3 + 11 = x*y, 4*y = 4*q - 12. Solve 3*d = 4*d - y for d.
2
Suppose -6*r + 3*r = -3*f - 3, -3 = 3*r + 3*f. Solve r = 8*c - 19*c for c.
0
Suppose 0 = -16*q + 70 + 26. Solve z - q = -7 for z.
-1
Suppose 4*o + 171 = 3*h, -7*o + 4*o = 9. Solve -3*u = -h + 59 for u.
-2
Let b = 2 - 0. Let h be (14/(-4))/(14/(-28)). Suppose -4 = 4*p - 4*c, -4*c + h = -p + 3. Solve 2*z - b - 2 = p for z.
2
Suppose -5*t + 5*n = -25, 0*n = -2*t - n + 1. Solve c = -t*c - 15 for c.
-5
Let r(b) = -b + 5 - 3 + 2*b. Let g be r(0). Solve 0 = -g*c + 3*c for c.
0
Let x(l) be the second derivative of l**4/6 - 7*l**3/6 + 2*l**2 - 6*l. Let r be x(4). Solve h - r = -3*h for h.
2
Suppose -j - 2*a - 8 = 10, 4*j = 5*a - 72. Let m be (-27)/j*(-52)/(-6). Solve 1 = 4*v + m for v.
-3
Let w = 19 - 6. Suppose -w*q = -6*q - 49. Suppose -3*i - 11 = -77. Solve i - q = -3*c for c.
-5
Let t be 72/36 - (0 - 7). Solve -f = t - 4 for f.
-5
Suppose 19*a = 14*a + g + 56, a = 4*g - 4. Solve -5*w - 3 - a = 0 for w.
-3
Suppose -4*y = y + 960. Let o be y/(-20) - (-4)/10. Suppose -2*h - 2*j = -o, 2*j = -j. Solve -h*g + 11 = -4 for g.
3
Suppose -4*q + 0 = -5*b + 17, 3*q + 14 = 4*b. Let m be 3/(15/5)*4/2. Solve m*l - 5 = b for l.
5
Suppose 9*g + 20 = 74. Suppose 0 = -2*q + g*q. Solve -2*s + 0*s + 6 = q for s.
3
Let a = -8 - -8. Suppose 0*l - l + 5 = a. Suppose 4*g + 3*n + 3 = 0, l*g + 0*g - 5*n - 40 = 0. Solve -2*z - g*z - 20 = 0 for z.
-4
Suppose -4*a - 25 = a. Let t be 23/a - (-8)/(-20). Let m be (-36)/(-10) + 3/t. Solve -4*y = m + 5 for y.
-2
Let q = -1479 - -1533. Solve 98 = -11*d + q for d.
-4
Suppose -51*j = -4*j - 47. Solve 13 = 3*v + j for v.
4
Let i be (76/(-114))/((-5)/3 - -1). Solve 2*g - i = -1 for g.
0
Let d(f) = f**3 + 16*f**2 - f - 16. Let q be d(-16). Suppose -t = -3*t + 4. Solve -4*w + t + 10 = q for w.
3
Let m be 0 - (-1 + -2) - -3. Solve 0 = l - 4*l - m for l.
-2
Let v = 13 + -7. Suppose 8 + v = s. Suppose -6*i + 4*i + s = 0. Solve -2*r - i = -1 for r.
-3
Suppose -171 = -10*c + 1049. Solve 125*h = c*h - 6 for h.
-2
Suppose 3*f = 0, 12 = 2*u - 3*f + 2. Solve u*l = 2*l + 6 for l.
2
Suppose 3*t = 110 + 82. Suppose -5*f = -4*u - t, f - 10 + 1 = -3*u. Let q be (f/(-15))/((-10)/25). Solve q*s = s for s.
0
Let x(k) = 2*k**2 + 39*k + 70. Let g be x(-18). Solve -2*m - 2*m = -g for m.
4
Let j(g) = g**2 - 9*g - 1. Let f be j(8). Let d = -5 - f. Let s be (8/(-2))/((-8)/d). Solve t = s*t + 5 for t.
-5
Suppose 150 = -28*y + 486. Solve 2*u = -y + 4 for u.
-4
Let n be 1/(-2)*(-10 - 0). Suppose 6 = -n*b + 3*b. Let g(y) = y**3 + 2*y**2 - 3*y + 2. Let c be g(b). Solve -j - 2 = c for j.
-4
Let x(f) = 2*f**2 - 5*f - 16. Let y be x(-2). Suppose 28 = -0*w + 4*w + 4*h, -2*h - 1 = -3*w. Solve w*m - 2*m - y = 0 for m.
2
Suppose -45 = -4*j + 2*f - 1, 3*j = -4*f + 33. Let r be j + (-1)/2*6. Solve -a - a = -r for a.
4
Suppose -3*l + 24 = 21. Let o be (-3)/l + 14 + 1. Solve o = 2*d + d for d.
4
Suppose -3*c - x - 81 = -8*c, 0 = 3*c - 5*x - 53. Suppose 5*o + 2*k - 25 = 0, 2*o + 2*k = -0*o + c. Solve -6*y + 3*y = -o for y.
1
Let a = 345 - 331. Solve -2*c + a = 10 for c.
2
Let m = 41 + -62. Let x = 41 + m. Solve -5*n - x = -n for n.
-5
Let y(z) = -z. Let a(l) = 4*l**2 - 4*l - 5. Let n(x) = -a(x) + 6*y(x). Let d be n(-3). Let v = 27 + d. Solve -8 = v*t - 2 for t.
-3
Let x = 11 - -1. Let r be (-108)/16 - 3/x. Let u(b) = b + 11. Let o be u(r). Solve o*c + 5 = -7 for c.
-3
Let u be (3/1)/((-6)/(-80)). Let a be (2 - 1)/(8/u). Solve -a = -2*j + j for j.
5
Suppose -3*z = -2*x + 4, -x - 3*z = x - 4. Solve 29 - 21 = -x*o for o.
-4
Suppose 0*t - 30 = -5*t - 5*r, 5*r - 3 = -2*t. Solve -t*z + 24*z + 75 = 0 for z.
-5
Suppose -30 - 2 = -4*x - 2*v, 5*x = -2*v + 38. Suppose r = -x - 11. Let o = r - -27. Solve 0 = -t + 3*t - o for t.
5
Suppose -37*o - 6*o + 1032 = 0. Solve 13*t - o - 28 = 0 for t.
4
Suppose 38 = -4*q - 26. Let o = -14 - q. Solve t + 9 = -o*t for t.
-3
Let b = -8 - -12. Let a = -4 + b. Suppose -5*i + 10 + 10 = a. Solve 0 = -3*h + 7*h - i for h.
1
Suppose 2*b + 190 = 2*u, 0*b + 5*b = 0. Let t = u + -91. Solve 0 = t*w + 16 - 0 for w.
-4
Let j(g) = 3*g - 1. Let v(l) = -3*l. Let u be (1 - (0 - 0)) + 3. Let t(y) = u*v(y) + 5*j(y). Let d be t(5). Solve i = 3*i + d for i.
-5
Let f be 8/(-5)*5/(-2). Let r(g) = -4*g**3 - 4*g**2 + 8*g - 4. Let u(t) = t**3 - t - 1. Let x(s) = r(s) + 5*u(s). Let v be x(f). Solve -v*p - 3 = 3 for p.
-2
Let c = -20 - -22. Suppose -5*y + 55 = 2*h, 0 = h + c*y + y - 30. Solve r - 4*r = -h for r.
5
Let o(b) = b**3 - 2*b**2 - 3*b - 4. Let z be ((-5)/(-20))/(1/12). Let q be o(z). Let p be -3 - 32/(0 + q). Solve -3*x - p = 2*x for x.
-1
Suppose 4*s = -1 + 9. Suppose -2*k + 19 = q + 3*k, 5*k = s*q - 23. Suppose -q = n - 18. Solve 0 = -2*w + 2 - n for w.
-1
Suppose 0 = -9*a + 14*a - 35. Solve a*k - 10 = 4 for k.
2
Let h(a) be the second derivative of a**4/12 - 2*a**2 - 22*a. Let v be h(-2). Solve -2*i + i - 2 = v for i.
-2
Let i(s) = -73*s - 69. Let d be i(-1). Solve -d*o = -5*o + 2 for o.
2
Suppose -9 = -3*n - 2*m + 5*m, 5*m = -10. Suppose 2152 = -p + 2156. Solve -p = h - n for h.
-3
Let w be 16/(-6)*27/(-18). Solve -6*p - 28 = -w for p.
-4
Let h(o) = o**2 - 9*o - 1. Let c be h(8). Let x = c + 11. Suppose -x*j - j = -4*f + 103, 5*f - 128 = 3*j. Solve -4*i = i + f for i.
-5
Let y(l) = l**3 - 5*l**2. Let q be y(5). Suppose q = -z - 2*z + 15. Solve -z = 4*x + 7 for x.
-3
Let f = 288 - 277. Solve -26 = -5*x - f for x.
3
Let u be (-232)/(-48) + 2/12. Suppose 0*x - 9 = -3*x. Solve x*n = -1 - u for n.
-2
Let n(c) = 7*c**3 - 28*c**2 - 23*c - 36. Let y(i) = 4*i**3 - 14*i**2 - 11*i - 18. Let l(v) = -3*n(v) + 5*y(v). Let x be l(15). Solve 4*u = 23 - x for u.
5
Suppose -2*i + i + 2*r + 15 = 0, 4*i = 4*r + 40. Solve d - 9 = -i for d.
4
Suppose 0 = -2*x - 0 + 4. Let l be ((-4)/4)/(x/(-10)). Let q = -114 - -116. Solve -q + 12 = -l*d for d.
-2
Suppose -1 = 2*i - 31. Suppose 5*k - m = 98, 2*k - 3*k + m + 18 = 0. Let u = k - i. Solve -7 = -4*f + u for f.
3
Let i = -80 + 83. Suppose 6 = -i*n - 5*m, -5*n + 2 + 4 = 3*m. Solve x = n + 2 for x.
5
Let k = 31 - 6. Suppose k*w = 38*w - 78. Solve -8 + w = o for o.
-2
Let q be (-2)/(-3) + (-43)/(-3). Let b = 2229 + -2227. Solve -w = b*w + q for w.
-5
Suppose -13*q + 9*q = r - 8, 2*q + 14 = -5*r. Solve q*n = n - 13*n for n.
0
Let m = -780 - -792. Solve m*r = -0*r + 48 for r.
4
Let j(u) = u**2 + 15*u + 12. Let o be j(-13). Let z = o + 16. Solve z*i = -0*i - 6 for i.
-3
Let y be (5 - 13)*(-15 - -10). Solve -10*p = -0*p + y for p.
-4
Let x = -2 - -25. Let i = x - 20. Solve i*y + y = -20 for y.
-5
Suppose 4*p = 12, -2*p - p = -5*y - 9. Solve y = 18*z - 19*z + 3 for z.
3
Let z be -3 - 4/(8/(-22)). Suppose z*d - 12 = 12. Solve d = 4*l + 7 for l.
-1
Suppose -48 = -5*z + 62. Solve -z*x + 20 = -17*x for x.
4
Let p be 7554/51 + (-2)/17. Let o = 148 - p. Solve -2 = 2*y - o*y for y.
-1
Suppose 68*t = 39*t + 870. Solve 9*u = 3*u - t for u.
-5
Let u = 68 + -43. Solve 0 = 3*b + 2*b + u for b.
-5
Let d = 92 + -77. Solve -d = 5*t + 10 for t.
-5
Suppose -3*q - 4*p + 30 = 0, -4*q + 2*q + 21 = 3*p. Let l be 588/(-36) - 4/q. Let u = l - -17. Solve k + u*k = 0 for k.
0
Let p be (-15*(3 + -5))/1. Let i be 9*5/(p/4). Solve i = l + 11 for l.
-5
Suppose 3*k + 39 = 5*m, -2*m - 17 = 5*k - 45. Suppose 7*u = m*u. Solve u*x - 5*x = -5 for x.
1
Let p be 40/(-8) - 2 - -19. Solve 0 = 39*z - 36*z - p for z.
4
Suppose -11*y + 29 + 158 = 0. Let a = y - 15. Solve -z = -a*z for z.
0
Suppose -5*m = -44 - 1. Solve -4*x = -x + m for x.
-3
Let s(b) = -b + 4. Let q be s(0). Solve 3*z + 4 = q*z for z.
4
Let f be 8/12 - (-4)/(-6)*-47. Let h be (24/(-4) - -1)*-1. Solve -12 + f = h*m for m.
4
Let k(s) = s**3 + s**2 - s. Let g be k(0). Suppose g = o + 5*o. Solve o - 4 = -2*m for m.
2
Let t be 18 - 20 - (6 + 0). Let x = -8 - t. Let o = 41 + -16. Solve x = -v + 6*v - o for v.
