k for k.
-3
Suppose -1 = -2*r + 7. Let n(x) be the third derivative of x**6/120 + x**5/60 - x**4/24 + 3*x**3/2 - 2*x**2. Let c be n(0). Solve 0 = -r*d + d - c for d.
-3
Suppose -b + 2*q - 2 = -2*q, 3 = 3*q. Suppose b*n + 6 = -10. Let p be (-10 - n) + 10/2. Solve -19 = -4*j - p for j.
4
Let u be 1/(1/(0 - 1)). Let t be u + 3 + (7 - 1). Solve 7*k = 3*k + t for k.
2
Let g(h) = 4*h + 2. Let w be g(-1). Let y be (-1 - w)*(-1 - -2). Solve -4*d = 11 + y for d.
-3
Let m be 1 + 2 + 20/(-4) + 2. Solve a + 5 = -m for a.
-5
Suppose 0 = -0*c + 5*c - 85. Suppose -o = 14 - c. Solve d + o = -1 for d.
-4
Let b(z) = z**2 - 3*z - 32. Let i be b(-5). Let n = -2 + 17. Let g be 66/10 + 6/n. Solve -i = -3*x + g*x for x.
-2
Suppose 0 = 2*n + 4*i - i - 41, 4*i - 13 = -n. Solve -n = 4*w + w for w.
-5
Suppose -2*l - 5*q = -3 - 0, -3*q = -3. Let a be 4*(l - (-14)/8). Solve 3 + a = 2*h for h.
3
Let b(a) = -a**3 - 12*a**2 - 4. Let z be b(-12). Let q be 1/(-4) + (-13)/z. Let m be (-54)/(-8) + q/(-4). Solve -16 + m = 5*u for u.
-2
Suppose 0 = -4*c + 8, -23 = -4*t + c + 15. Suppose -5*k = 3*h - t, -4*h + 3*k - 8 = -k. Solve 5*z - 3 - 12 = h for z.
3
Suppose 0 = -4*c + n + 12, -c + 5*c + 5*n + 12 = 0. Suppose -s + 19 = d, 0 = 2*s + c*s - 4*d - 44. Let z(g) = g - 3. Let y be z(6). Solve -y*r - s = 2*r for r.
-3
Suppose -i - 5*n - 30 = 0, 5*i + 0*n = -4*n - 87. Let m be (i + -3)*(-5)/15. Solve -4*h + m = 22 for h.
-4
Let u = 32 - -23. Suppose 5*z - u = -20. Solve z = -5*g - 13 for g.
-4
Suppose -5*t + 21 = -y, -4*t - 3*y - 8 = -8*t. Suppose 5*f = f, 0 = t*n + 2*f - 15. Let g = 3 + 9. Solve -n*s + g = s for s.
3
Suppose -f = 5*x - 28, 4*f + x = 4*x - 3. Solve f*u = -2 + 8 for u.
2
Let s be 0/(-1 + 3 + -3). Suppose 3*x + 0 - 6 = s. Solve -x = -h + 3 for h.
5
Let t be (-1 + -2)/((-6)/176). Let o = t - 86. Solve -o*w = -0*w for w.
0
Let j = 1970 + -1965. Solve -j = -3*g - 11 for g.
-2
Let d be (6 - 17 - -11)*(1 - 2). Solve 0*k - 2*k - 2 = d for k.
-1
Suppose -4*h + 11*y + 51 = 6*y, -5*y = -25. Solve -10*p = -h*p - 45 for p.
-5
Let h be 0 + (3 - 5) - -3. Let x be ((-5)/(-15))/(h/9). Suppose -q = x*q. Solve -s - s = q for s.
0
Let n = -4 + 2. Let j be 1/n + 231/42. Solve 2 = -j*v - 3 for v.
-1
Let m = -14 + 15. Let i be (4/(-2))/2 + -1. Let z be (1 + -1)/(3 + i). Solve -a - m = -z*a for a.
-1
Suppose 0 = -w + 2*w - 3. Let h = -9 + 9. Suppose h = 2*a + a - 9. Solve -a*n = w - 0 for n.
-1
Let c(v) = -v**3 + 5*v**2 + 8*v - 1. Let u be c(6). Let y be 14/(-4)*(4 - 8). Let n = y - u. Solve b = -n*b + 16 for b.
4
Suppose 0 = 55*i - 795 - 1625. Solve -i*j = -43*j - 3 for j.
3
Let k = 94 - 85. Solve k - 14 = y for y.
-5
Suppose 3*p - 11*c + 2 = -13*c, 2*p - c = 8. Solve 0 = -p*j + 3*j - 1 for j.
1
Suppose -4 + 8 = -2*w - q, 3*w + 5*q = -20. Suppose 5 + w = 5*i. Solve -2*u + i = -7 for u.
4
Suppose -8*r + 5*j - 16 = -7*r, -r + j = 0. Solve 3*y + y - r = 0 for y.
1
Suppose -4*k = 5*h - 35, -2*h = 3*h - 4*k - 35. Solve -v + 8 = h for v.
1
Suppose -29 - 31 = -5*r + 5*f, -3*r + 4*f + 40 = 0. Suppose r = -x - 2. Let o be -2 + x/(-5 + 0). Solve -5*w + w = o for w.
0
Let r = -16 - -20. Suppose -2*u + 10 = 0, -11 - 5 = m - r*u. Suppose 3*n + 2*n = 0. Solve n = -x - m for x.
-4
Let t(j) = -10*j - 5. Let g be t(-1). Solve g*f - 7*f = 0 for f.
0
Let r(w) = 2*w**2 + 2*w + 2. Let i be r(-1). Let l be (-3 + -1)/(-2) - -3. Suppose -l*q = v + 4, 4*q + 2 = -3*v + v. Solve -v = i*a + 1 for a.
-1
Let z = -1380 - -1385. Let k = -2 - -2. Solve 0 = -h - k*h + z for h.
5
Let q = -41 - -47. Solve 0 = q*h - 4 - 8 for h.
2
Let t = -182 - -182. Solve t = -m - 3*m - 4 for m.
-1
Suppose -75 = 4*u + 5*h, 2*u - 5*h = -19 - 26. Let o = -16 - u. Solve -7 = o*j + 5 for j.
-3
Suppose -6*l + 5*d = -l + 120, -3*l + d - 74 = 0. Let o = l + 44. Let a = -14 + o. Solve x = -0*x + a for x.
5
Let q be -1*(6 + -6)/(-2). Solve -6*n - 9 - 3 = q for n.
-2
Let x(y) = -y**3 + 37*y**2 - 2*y + 89. Let l be x(37). Let f be (-10)/(-55) + (-42)/(-11). Suppose 2*b - 6 = f. Solve -2*h + b*h = -l for h.
-5
Suppose 0 + 7 = u + i, 15 = -5*u + 5*i. Let k be (4/3)/(u/3). Suppose -c + 1 = -k*b, -3*c + 13 = 3*b - 4*b. Solve b = 3*x - 10 for x.
4
Suppose -2*z + 4*m - m + 29 = 0, -2*z - 2*m = -4. Solve 0 = 5*y + 13 + z for y.
-4
Suppose 3*m - 5*j = -32, -5*j = 3*m + 13 + 9. Let w(u) = -u**2 - 8*u + 9. Let b be w(m). Suppose 0 = 5*a - 26 + 6. Solve -a*f + 21 - 1 = b for f.
5
Suppose -3*p = 3*w - 27, -5*w + 0*p + 29 = p. Suppose -w*y + 7 = 4*i - 0*y, y = -5*i + 14. Solve i*o - 5 + 2 = 0 for o.
1
Let p be ((-4)/(-7))/((-6)/(-42)). Suppose 0 = 4*f - 3*s + 8, -5*f - 2 = -2*s + 1. Suppose -3*k = -0 - 3, p*k = g + f. Solve 2*i = -i - g for i.
-1
Let w(k) = k**3 - 4*k**2 + 3*k + 8. Let c be w(4). Let a = c - 17. Suppose -a*h + 12 = 0, 2*h + 1 = u + h. Solve 3*p + u = -1 for p.
-2
Let w be 15 + -16 - 6/(-2). Solve w*m - 1 = 9 for m.
5
Let p(v) = -2*v**2 + 5*v + 3*v + v**2 - 7*v + 6. Let l be p(2). Let s be (-34)/(-8) - 4/16. Solve 8 = l*n - s for n.
3
Let q be ((-26)/52)/(2/(1 - 73)). Let i = 20 - q. Solve -3*d + i*d = 2 for d.
-2
Let m = -34 - -23. Let u = m + 11. Solve u = -3*f + 5*f - 2 for f.
1
Suppose 0 = 3*p + 12 - 21. Solve 0 = p*t - 5 + 2 for t.
1
Let a(y) be the first derivative of -y**3/3 + 5*y**2/2 + 4*y + 18. Let r be a(5). Solve 9*l - r*l = 20 for l.
4
Suppose 2*l - 10 = -h, 4*h + 6*l - 8*l = -10. Solve 5*i + i - 6 = h for i.
1
Let c be (2/4)/((-1)/(-2)). Let o = 1 + c. Let h(r) = -25*r + 50. Let f be h(2). Solve -o*u + 2 + 8 = f for u.
5
Let f(y) = -y**2 - 7*y - 4. Suppose 0 = -a - a - 12. Let n be f(a). Solve -n - 6 = -4*b for b.
2
Let u(d) = -5*d**2 + 15*d + 62. Let y(z) = z**2 + z - 1. Let s(x) = u(x) + 6*y(x). Let i be s(-18). Solve -6*r + i*r - 4 = 0 for r.
-1
Let s = -323 + 323. Solve s = -2*r - 6 - 4 for r.
-5
Let u(k) = k**2 - 6. Let f be u(5). Let i be (624/32)/(6/4). Suppose -3*d = 2*d - m - i, 0 = 5*d - 3*m - f. Solve -d = -2*t - 0 for t.
1
Let k be -6*(2 + (-10)/4). Let r be 20 - (-3)/6*0. Suppose -d - 2*j = 2*d - r, 5*j = -2*d + 28. Solve d = -k*h + 7 for h.
1
Suppose -80*q = -77*q - 24. Suppose 2*f - q = -8. Solve f = -8*x + 4*x + 4 for x.
1
Suppose -3*r + 0*r - 24 = 0. Let s = r - 1. Let q = s - -9. Solve 6 = 3*v - q*v for v.
2
Let i = -15 - -19. Suppose -i*u = -9 - 15. Let a be 42/21*(-3)/(-2). Solve -3 = a*t - u*t for t.
1
Let k = 371 - 363. Solve k = 9*y - 11*y for y.
-4
Suppose 2*o = -0*o + 22. Let d(q) = q**2 + 0*q - 13*q - o - 3 + 10*q. Let k be d(6). Solve -20 = v + k*v for v.
-4
Suppose u - 46 = -5*r - 2*u, 5*u - 10 = 0. Solve -10*p = -2*p - r for p.
1
Let k be (-18)/45 - 23/5. Let c = k + 13. Solve -4*b - 8 - c = 0 for b.
-4
Let v = 37 - 41. Let q(m) = -m**2 - 4*m + 4. Let f be q(v). Solve 0 = f*g + 6 - 14 for g.
2
Suppose 5*l - 5*b = 95, 0 = -4*b + 1 - 13. Let n = l + 18. Let c = 35 - n. Solve -2*t = -t + c for t.
-1
Let l = -320 + 352. Solve 6*w + 8 - l = 0 for w.
4
Let w(r) = -23*r**2 + 113*r + 10. Let y be w(5). Solve y*s - 55 = 11*s for s.
-5
Let n(x) = x**2 + 14*x - 42. Let l = 47 + -64. Let c be n(l). Suppose -6*r = -r - 10. Solve -d = r*d + c for d.
-3
Let u(z) = -z**3 - 17*z**2 + 14*z - 40. Let j be u(-18). Suppose 0 = -2*t - x + 14, -4*x + j = 4*t - 0*x. Solve -t*a + 12 = -3*a for a.
4
Let v be 6 + -5 - (-24)/(-4). Let b be 0/2 - 25/v. Solve 0 = -b*m - 5 - 10 for m.
-3
Suppose 47*d - 225 = 809. Solve -12 = d*j - 25*j for j.
4
Let r(f) = 2*f**2 - 3*f + 4. Let t be r(3). Suppose 7 = g - t. Solve 7*z + g = 3*z for z.
-5
Suppose 2*s + 5 + 1 = 0. Let r be 1*(0/s)/1. Suppose 2*h + 5*o + 11 = 0, -h - 2*o = 3*h - 2. Solve -v - h = -r for v.
-2
Suppose -3*j = -j + 3*s - 65, -25 = 5*s. Let i(l) = -l - 5. Let t be i(-7). Suppose 3*h - 4*d = 31, 0 = 6*h - t*h - 5*d - j. Solve -h = -4*u + 7 for u.
3
Let i(x) = 2*x**3 - 31*x**2 - 14*x - 26. Let n be i(16). Solve -2*l + n = l for l.
2
Let n(z) = z**3 + 7*z**2 + z + 7. Let b be n(-7). Suppose 3*s - 10 = -2*s. Let u be (b - (-2 + s))/(-1). Solve -y - 2 = -u*y for y.
-2
Let z(d) = -4*d - 23. Let m be z(-7). Let h be (6/4)/(3/6)*m. Solve -4*k - k = -h for k.
3
Let c(w) = 8*w**3 + w**2 - w - 2. Let k be c(2). Let n be (-8)/6 - k/(-48). Solve -5*h = -n*h - 20 for h.
4
Let g(y) = 8*y + 64. Let p be g(-6). Solve -t - 3*t - p = 0 for t.
-4
Let d = 31 + -21. Suppose -5*r + 10 = -d. Suppose