= -4 for u.
-1
Suppose -21 = -6*x + 3. Solve 0 = u - x*u + 6 for u.
2
Let g(u) = -3*u. Let l be g(-4). Let v = 120 - 120. Solve v*f = 3*f - l for f.
4
Let q be 0 - (-2 + (-2)/2). Suppose 0 = q*b - 1 + 4, -13 = -2*k - 3*b. Solve 0 = 4*t - k*t - 8 for t.
-2
Let v(k) be the second derivative of k**5/60 + k**4/6 + k**3/3 - 2*k. Let f(p) be the second derivative of v(p). Let z be f(4). Solve -z = -5*l + 8 for l.
4
Let a = -253 - -256. Solve -4 = a*p - 1 for p.
-1
Let m(c) = -11*c**3 + 2*c**2 + 3*c + 1. Let p be m(-1). Let a = -5 + p. Solve 0 = 2*w + a for w.
-3
Suppose -4*c + c = -l + 17, 2*l - 2*c - 26 = 0. Suppose 10 = -6*q + l*q. Let x = q - -2. Solve 0*h + x = -h for h.
-4
Suppose -3*a + 12 + 0 = 0. Let q be 0 - (-2 - 13)/5. Suppose -22 - 53 = -q*j. Solve -5 = -a*x - j for x.
-5
Suppose 0 = 5*s + 3*d, s + 4*d = -5 - 12. Solve s*h - 4*h = -5 for h.
5
Suppose -18 = -3*a - 6. Solve -2*s = -a*s - 2 for s.
-1
Let s(i) = 3*i - i**3 - 2*i - 3*i**2 + 2*i + 2*i**3 - 4. Suppose -2*z - 4*v + 13 = -1, -4*v + 11 = z. Let n be s(z). Solve -n*a = 9 - 4 for a.
-1
Let i be 15*3/9*(1 + 0). Suppose -5*b + v + 24 = 0, i*b - 24 = 3*v - 2. Solve b*q + 15 = 2*q for q.
-5
Suppose -40 = -4*g + 4*y - 0*y, 0 = -3*y - 15. Let k be (1 - (-12)/7) + (-10)/(-35). Solve -o = k - g for o.
2
Let k(v) = 5*v + 45. Let b(g) = 6*g + 44. Let h(t) = 3*b(t) - 4*k(t). Let o be h(-25). Solve -4*l + 6 - o = 0 for l.
1
Let v = -101 + 110. Solve -3*k + 6 = -v for k.
5
Let q be 7*4/(20/(-5)). Let x = q - -7. Solve x = 4*w + 13 + 3 for w.
-4
Let c(w) = -w**2 + 4*w - 1. Let x be c(6). Let v = -51 - -42. Let f = v - x. Solve f*m = -2 - 10 for m.
-3
Suppose -10 = -2*o, 4*u - 2*o + 19 = 7*u. Solve -u = -y - 4 for y.
-1
Suppose 3 - 2 = u + 2*o, 5*u - 5 = -4*o. Let b(d) = -d**2 - 7*d - 3. Let m be b(-6). Suppose -m*v + u = -5. Solve v = c + 4 for c.
-2
Suppose -705 = 3*h - 747. Solve 5*x - h - 1 = 0 for x.
3
Let y = -39 - -24. Let h = 20 + y. Suppose w - 35 = -4*u - 0*u, 3*w - 2*u - 49 = 0. Solve -h*n + w = -6 for n.
5
Let q = -37 - -42. Suppose w - 17 = -4*n, -2 = -2*n + w + q. Solve 0 = -6*x + n*x - 4 for x.
-2
Suppose 4*j - 4 = 3*j, 4*z - 3*j + 68 = 0. Let b = -12 - z. Solve b = -c - 0 for c.
-2
Let o be ((2 - -7)*-9)/(-1). Let l = -45 + o. Let p be (-1*1)/((-3)/l). Solve 0 = -u + 5*u - p for u.
3
Suppose 5*r - 2*z + 3*z = -43, -9 = 3*z. Let h be 4 - (r/(-2) + -2). Solve -h*g - 4 = -0*g for g.
-2
Let o(r) = r + 13. Let m be o(-9). Let y be -1 + -1 - (-1 - m). Suppose 1 = y*g - 4*c, -13 = -4*c + 7. Solve 3*z - g = 5 for z.
4
Let s = 36 - 32. Suppose 0 = -s*o + 9*o - 20. Solve o*h = -h for h.
0
Let u = 44 + -38. Let x(q) = 3*q**2 + 2*q + 2. Let j be x(-2). Solve -j - u = 4*a for a.
-4
Suppose -3*o - 2*b + 25 = 2*o, -5*b + 20 = 4*o. Let z(i) = -6 + 10 - i - o. Let m be z(-3). Solve m*q + 10 = -0*q for q.
-5
Let x(a) = -2*a**3 + 5*a**2 + 3*a + 5. Let s be x(3). Suppose -8 + 3 = -5*p. Let f = s - p. Solve 6 = -l + f*l for l.
2
Let j be -1 - 0 - (-5 - -4). Solve j = -3*p + p - 10 for p.
-5
Let h be -3*((-651)/9)/7. Let v = -22 + h. Solve 5*z = v - 24 for z.
-3
Suppose -5*b = 2*l - 110, 9*b - 4*b - 105 = -l. Suppose 8444 - 8471 = -9*y. Solve 0 = y*n + n - b for n.
5
Let i(f) be the third derivative of f**5/60 - 5*f**4/12 + 5*f**3/3 - 21*f**2. Let x be i(9). Solve 0 = 3*c - x - 11 for c.
4
Let p(z) = 2*z**2 - 2*z + 43. Let n be p(0). Let u = n - 39. Solve -t = -u*t for t.
0
Let w = 59 - 59. Suppose 2*o + 2 = -3*x, w = -0*o + o - 5*x - 12. Solve 0 = 3*z - z - o for z.
1
Let s be (189/(-18))/((-6)/8). Let t(x) = -x**3 - 8*x**2 + 11*x + 4. Let y be t(-9). Let a = y + s. Solve 7*o - 3*o + 16 = a for o.
-4
Let m = -73 + 75. Suppose 0*l - 3 = 3*l + m*b, -l + 3*b + 10 = 0. Solve l = 4*c - 3 for c.
1
Suppose -54 - 22 = -4*c. Suppose 37 = -2*s - c. Let i = s + 28. Solve 2*l + i*l = 0 for l.
0
Suppose 9*j = 11*j - 22. Let x be j/55 + (-28)/(-10). Solve -2*r = x*r for r.
0
Let u(z) be the second derivative of -z**3/3 + 6*z**2 - 12*z. Let f be u(5). Solve f*m = -6 + 2 for m.
-2
Let u(j) = 19*j + 544. Let s be u(-28). Solve -15*p = -s*p - 3 for p.
1
Let g = 12 + -10. Suppose 4*l = -l - n + 4, -3*n + 12 = g*l. Solve -1 + l = -z for z.
1
Let o be -1 + -4*(-15)/10. Let f = 21 - o. Solve -4*l + 0*l + f = 0 for l.
4
Suppose 3 = -q + 14. Suppose -q - 2 = 2*f + 5*d, 2*f - 17 = 5*d. Solve 0 = 4*p + 7 + f for p.
-2
Let d be (6/(-4))/((-1)/2). Let g be (-3)/9*630/168 - (-5)/4. Solve -j + d*j = g for j.
0
Let o = -122 + 124. Solve -o*f + 10 = -0 for f.
5
Suppose -3*k = -5*d - 25, 5*k - 6*k + 12 = 2*d. Solve -6*s - 16 = -k*s for s.
4
Let i(d) = d + 13. Let x be i(-15). Let r be -3*2/27 + x/(-9). Solve 6*m - 2*m - 8 = r for m.
2
Suppose -5 = -w - 1. Let p = 53 - 19. Let i = p + -14. Solve 0 = l + w*l - i for l.
4
Suppose 5 = d - f + 2*f, -5*d = -4*f + 11. Suppose 0 = -3*m + m + 12. Suppose -6*n = -8*n + m. Solve -n*g = d + 5 for g.
-2
Let i be -4 + 8 + (-8)/(-2). Suppose -i*k = -k. Solve k*p + 9 = -3*p for p.
-3
Let j(a) = 4*a - 39. Let h be j(27). Let w = h - 58. Solve 0 = -2*o - w + 5 for o.
-3
Let m = -6 - 4. Let c be (-62)/(-5) + 4/m. Solve c = -2*u - u for u.
-4
Let k(u) = u**2 + 13*u + 8. Suppose 6*d = d + 20, -3*y = 5*d + 4. Let m be 22/(-2) - y/(-4). Let f be k(m). Solve -f*z = -3*z for z.
0
Let j = 4 - -1. Suppose -4*r = -54 + 18. Suppose -7 = w - r. Solve 0 = -j*n - 8 - w for n.
-2
Let x = -71 - -95. Suppose 4*q - x = 8. Solve q*j = 4*j for j.
0
Let h be (0 - 3 - -3)/(-2). Suppose 4*o - 2*l = -h*l, -o = l. Solve 2*b = -o*b for b.
0
Suppose -5*u - 16 = -2*x - 0*u, 2*x + 2*u - 2 = 0. Suppose 0 = -4*r - 4, 9*h - 18 = 4*h + x*r. Solve w = -h + 1 for w.
-2
Suppose 2*a = -2, -2*a + 22 = 2*h - 6. Solve -4*k + h = -5 for k.
5
Let s be 0 + 0 + (6 - 1). Let a(u) = -52*u - 154. Let j be a(-3). Suppose s*d - j = -z, d + 4 = -z + 2. Solve 0 = 2*x + 3 + d for x.
-2
Let y(x) = 19*x - 8. Let j be y(4). Let m = j - 53. Solve a + m = 6*a for a.
3
Suppose 6 = 6*x - 18. Suppose -z + 2*z - 1 = 0. Let t = 1 - z. Solve k - x = -t for k.
4
Let u(w) = 3*w**3 + 21*w**2 + 5*w + 10. Let q be u(-6). Let z = -86 + q. Let p = 2 - 2. Solve r = -z - p for r.
-2
Suppose -5*x = 5*m - 3*m - 22, 0 = -4*m - 16. Let o(c) be the second derivative of -c**3/6 + 3*c**2 - 6*c. Let d be o(x). Solve d = 4*s - 4 - 4 for s.
2
Suppose 2*q = -q. Let b be 22 - 1 - (1 - q). Suppose -10*l = -14*l + b. Solve l*j = 3*j - 8 for j.
-4
Suppose -5*s - 5*w + 25 = -10*w, -20 = -4*s - 2*w. Solve -s*i = -3*i - 10 for i.
5
Let r be ((-26)/39)/(4/(-36)). Solve 0 = 14*k - r*k + 16 for k.
-2
Let c be -1 - (5 + (1 - 168)). Let y = -136 + c. Solve s - 6*s = y for s.
-5
Let j = -10 + -3. Let c = j - -15. Suppose -2*r + 6 = 3*r + 4*h, -c = 2*h. Solve -4 = 2*y + r for y.
-3
Suppose 189 = 5*y + 4*y. Solve 11*r - y = 1 for r.
2
Suppose -9*v + 12*v = 57. Suppose 0*n - v = -n. Let s = n - 14. Solve 5*f + s = 10 for f.
1
Let q = 10 - 22. Suppose -7 = -2*a - 21. Let w = a - q. Solve -w = 2*h + 1 for h.
-3
Suppose 0 = -47*k + 15*k. Solve -8*r + 21*r + 26 = k for r.
-2
Let h(b) = 12*b**2 - 9. Let v be h(-2). Solve -v*f = -41*f + 2 for f.
1
Suppose -46 = -12*i - 11*i. Solve 21*p = -i*p + 92 for p.
4
Suppose -90*q - 15 = -85*q, 0 = 5*d - 5*q - 70. Solve 7*s + d = -17 for s.
-4
Let a be 4*(-2)/4*(-2 + 1). Solve 1 = -a*i - 1 for i.
-1
Let k(r) = -r**3 - 2*r**2 - 3*r - 2. Let s be k(-2). Suppose -20 = 3*p - 2*p. Let j be (8/(-10))/((-8)/p) + 6. Solve -s*w + j = -0*w for w.
1
Suppose 4*w = -3*i - 2*i + 1, 5*w + i = 17. Solve -w*s = -0*s + 12 for s.
-3
Let v = 10 + 6. Suppose -g + u + 12 = g, v = 4*u. Suppose -7*q = -2*q. Solve w - g + 4 = q for w.
4
Suppose -2*x - x = -3. Let u = 7 - x. Suppose -5*o = -u - 4. Solve -1 = 3*v + o for v.
-1
Suppose 4*v = 3*p - 1 - 16, 3*v + 21 = 5*p. Let z = 5 - v. Suppose 5*k + z - 31 = -3*b, -3*k = b - 12. Solve k*t + 0*t = 6 for t.
2
Let a(d) = -d**2 + 9*d + 1. Let w(j) = -j**2 + 8*j + 3. Let s(z) = 4*a(z) - 5*w(z). Let o be s(7). Solve 6*i = 4*i + o for i.
5
Let w(c) = 7*c - 4. Let m be -2*(-2)/(-12)*-1*3. Let o be w(m). Solve -5*f + 7 = -o for f.
2
Suppose 5*v + 575 = -h, 3*h - 4*h - 461 = 4*v. Let d = 120 + v. Solve -5*g - 1 = -d for g.
1
Suppose 2*t = 4*t. Let g(i) = i - 1. Let q be g(4). Suppose c = -t + q. Solve -2*u + 5 = -c*u for u.
-5
Let z(k) = -k + 24. L