3*k - z + 3 = 0 for k.
-1
Suppose 9 - 72 = -3*t. Suppose 6 = b + 4. Suppose -2*o + b*x = -x - t, 2*o - x = 11. Solve -o + 6 = -g for g.
-3
Let k(s) = -s + 8. Let w(d) = d + 3. Let j be w(-8). Let b be k(j). Let l(o) = o - 8. Let f be l(b). Solve 3*i = f*i - 6 for i.
3
Suppose 0 = -7*i + 37 + 131. Let h = i - 21. Solve h*j = 2*j for j.
0
Let x(f) = 4*f - 1. Let r be x(2). Solve -q = r*q + 32 for q.
-4
Suppose 4*l + l = -5*h + 45, -5 = -5*h + 3*l. Suppose -5*o - 4 = -2*d + 18, h*d - 4*o = 20. Solve 4 = -5*a - d for a.
-1
Let k be 12/15 - (-124)/(-5). Let b be (((-25)/(-2))/(-5))/(6/k). Solve -5*t + b = -10*t for t.
-2
Let d be (1 + 12/(-9))*-27. Solve 0 = -5*q - d - 1 for q.
-2
Suppose -5*f - 20 = 0, f + 4*f + 22 = k. Suppose -162*q + 167*q = -3*g + 24, -2*q = -4*g + 6. Solve -k*v - q*v + 20 = 0 for v.
4
Let x be ((-5)/(-3))/((-5)/(-6)). Suppose -x*i + 26 = -8. Solve -5*c = -3 - i for c.
4
Let m(i) = 6*i - 6. Let r be m(3). Let g be 5/2*(-20)/(-25). Let c be ((4*5)/2)/g. Solve r = -2*h + c*h for h.
4
Let n = -18 - -92. Let x = n + -62. Solve -3*b - 6 = -x for b.
2
Suppose 4*d = -2*q + 2*d - 6, 3*q = 4*d - 30. Let m be ((32/(-20))/(-2))/(q/(-15)). Suppose 0 = -0*l + 4*l. Solve 10 + l = -m*n for n.
-5
Let p(x) = 351*x**2 - 14 - 6*x - 350*x**2 + x + 0. Let g be p(-2). Solve g = -6*z + z for z.
0
Suppose 23*v - 5 = 22*v. Suppose -7 - 33 = -v*h. Solve 0 = 6*k - 4*k + h for k.
-4
Let t be ((-6)/(-21))/((-4)/(-56)). Suppose t*x - 9 = 3. Let i be (-4)/(-6) + 10/(-15). Solve 4*v + x - 15 = i for v.
3
Let o = 17 - 15. Solve 0 = o*n + 2 - 4 for n.
1
Let t be 16/(16/(-4)) + 13. Suppose -t + 3 = -2*z. Solve -2*m - z*m = 25 for m.
-5
Let c be 52/(-20) - (-2)/(-5). Let s(x) = -3*x - 3. Let u be s(c). Solve -u*a = -2*a for a.
0
Suppose 6*a - a = 0. Let y = 12 + -8. Suppose -w + 0 = -2*l + y, -w = l + 4. Solve -2*m + l*m - 6 = a for m.
-3
Suppose w = -3*w + 24. Suppose o = -3*o + 12. Let n be 315/25 - 3/5. Solve -n = -w*g + o*g for g.
4
Suppose 60 = -33*h + 45*h. Solve 0 = 2*o - h - 3 for o.
4
Let x(a) be the third derivative of -a**6/60 + a**5/60 - a**4/12 - a**3/2 + 45*a**2. Let y be x(-1). Solve -y*v = v - 15 for v.
5
Suppose 0*j - 14 = -5*o + j, 0 = 2*j - 2. Suppose -f = -o*f + 4. Solve -1 = 3*w + f for w.
-1
Suppose -5*z - 3*p = -19, 0*p = -5*z - 5*p + 15. Suppose -4*d + n - 140 = 78, -2*d - 114 = -3*n. Let v = -38 - d. Solve -z*c = v + 9 for c.
-5
Let j = 2 + 0. Let o = -23 + 25. Let p be 2 - (j + o/(-1)). Solve u + p*u = -3 for u.
-1
Let m = 3 - -3. Let b be 96/18 + (-2)/m. Let u be (-1)/4 + (-27)/(-12). Solve -b + 3 = -u*t for t.
1
Suppose 0 = c - 4*m - 13, -3*c - m - 31 = m. Let w be (-6)/3*-5 - (10 + c). Solve -o + 2 - w = 0 for o.
-5
Suppose i = 3*t + 13, 0*i + 2*i + 5*t + 18 = 0. Solve 5*w + i = 4*w for w.
-1
Suppose 140 = 17*m - 3*m. Let o = -6 + 9. Suppose 2*v = o + 1. Solve -4*d = -v*d + m for d.
-5
Let h(q) be the second derivative of q**6/720 - q**5/120 - q**4/4 + q. Let s(z) be the third derivative of h(z). Let o be s(6). Solve -9 = o*u + 16 for u.
-5
Suppose -3*q + 5*q = 24. Suppose m - q = 4*m. Let b = m - -6. Solve a - 7 + b = 0 for a.
5
Let f be (-62)/((-1)/(0 + 1)). Solve -59 = h - f for h.
3
Let m(w) = -2*w**2 + 10*w - 6. Let z be m(2). Solve -z*q + 14 = 2 for q.
2
Let f be (28/(-8))/(-1 + (-21)/(-18)). Let c be (-2 - -2) + 24 + 0. Let o = f + c. Solve 0 = o*j - j + 8 for j.
-4
Suppose -31 = -v - 9. Let a = 40 - v. Suppose -4*o + 1 = -b + 2*b, 3*o - 5*b - a = 0. Solve o + 3 = -2*m for m.
-2
Let x be (-8)/(-36) + 70/9. Suppose 17*j - 15*j = x. Suppose -16 = -j*w - 0*w. Solve u = -0*u - w for u.
-4
Suppose 0 = -4*o + 5*j, -4*o + 23 = 3*j - 9. Let l(x) = -x**2 + 11*x - 4. Let k be l(10). Suppose 0 = a - k*a + 10. Solve o = a*s - 5 for s.
5
Let r = 2 - 2. Let a be (25/(-35) + (-10)/35)/(4/(-16)). Let y be 3/15 - (-28)/10. Solve r = -w + y*w + a for w.
-2
Let n(q) = -q**3 - 2*q**2 + 5*q + 1. Let o be n(-4). Let y = 15 - o. Suppose 2*b - 2*u - 10 = 0, -5*u - 18 = -y*b + 4. Solve -r - b = -3 for r.
2
Suppose 11*n + 101 = 365. Solve 29*h + 20 = n*h for h.
-4
Let z(t) = -15*t + 29. Let l be z(7). Let h = 81 + l. Solve 2*r = r + h for r.
5
Suppose 0 = 10*k - 636 - 334. Let d = k - 93. Solve -5*y = -d*y for y.
0
Let h = -79 + 114. Let p = h + -10. Suppose 3*d = -4*i + p, i = 2*i + 3*d - 13. Solve i*b + 20 = -0 for b.
-5
Let c(f) = f**2 + 3*f + 4. Let y be c(-3). Suppose 4*r - 31 = -4*h - r, y*r = -5*h + 50. Let a = h + -12. Solve 0 = -3*p - a*p + 15 for p.
3
Let c = 50 + -30. Let g be (3/(-1))/(-3) - -35. Suppose -4*f - 6*b = -4*b - g, 3*f - 3*b = 9. Solve c = -f*d + 2*d for d.
-4
Suppose -5*b = -d - 17, -15*b + 10*b + 23 = d. Solve 26 = -d*g + 11 for g.
-5
Let h(s) = s**3 - s**2 + 4. Let r be h(0). Let k be (-4 - -34)*r/5. Suppose -5*o = -o - k. Solve -o*b = -2*b - 4 for b.
1
Suppose 431 + 6 = 5*f - o, 4*f - 354 = 3*o. Solve -5*d + 107 = f for d.
4
Let l(w) = -4*w. Let f be l(-1). Suppose -f*c - 7 = -27. Solve -x + c = 1 for x.
4
Let z(m) = m**2 + 6*m + 3. Let a(g) = g**2 + 7*g + 4. Let r(s) = -3*a(s) + 2*z(s). Let j(o) = 6*o + 46. Let c be j(-9). Let f be r(c). Solve -q + f = 1 for q.
1
Let d = -802 + 805. Solve d*w + 11 - 2 = 0 for w.
-3
Let v = 616 + -614. Solve v*s + 5 = s for s.
-5
Let v = 21 + -18. Suppose -5*t + v = -3*m, -5*t + t - 3 = 3*m. Suppose 4*y - 3*s - 19 = 0, s = 5*y - 5 - 16. Solve 4*p + 0 - y = t for p.
1
Suppose -28 = -4*r - 2*d + d, -4*d + 10 = -r. Suppose 2*m + 22 = 5*k, -2*m + 3*m + 13 = 3*k. Let u = m + 5. Solve r = g + u for g.
2
Let p(f) = 7*f - 7*f + 6 + 8 + 2*f. Let j be p(-5). Solve -5*u = -4*u - j for u.
4
Let v(i) = i**2 - 17*i + 22. Let s be v(15). Let m = s + 10. Suppose 0 = -4*y - y + m*g, 0 = y - 4*g. Solve 4*t + y*t = 8 for t.
2
Let d be 40/(((21/(-2))/7)/(-3)). Solve 77 = -3*o + d for o.
1
Let u(f) = -f**2 - 15*f - 14. Let i(z) = -z**3 - 4*z**2 + z - 9. Let x be i(-4). Let c be u(x). Let b = -3 + 5. Solve -b*p + c = -6*p for p.
-3
Let g(x) = -3*x + 26. Let m be g(6). Solve 10 = -f + m for f.
-2
Let s be (9/15)/(3/40). Solve 3*r = -s*r - 55 for r.
-5
Let c(n) = -n**3 - 9*n**2 - 3*n + 9. Let p be c(-9). Let m be (-190)/(-45) + (-8)/p. Solve z - 3 = m*z for z.
-1
Let m(v) = -2*v**2 - 14*v + 4. Let c(x) = x + 2. Let b be c(-8). Let k be m(b). Solve k = -0*y - 4*y for y.
-4
Suppose -2*s + 53 = -3*m, 2*m - s + 17 = -17. Let q be 1/(27/m + 2). Suppose 5*j - 3 = 2*j - n, -25 = -q*j + 5*n. Solve -j*y = 1 + 1 for y.
-1
Let j = -3 + 3. Suppose -5*z + 0*z + 20 = j. Suppose 0*g = 7*g - 28. Solve -g*f + 6*f = -z for f.
-2
Let n(a) = -a**2 - 2*a + 2. Let o be n(-2). Let f be (4 - 2) + (o - 1). Solve 3*u + f = -0 for u.
-1
Let y = -1450 + 1463. Solve 12 + 14 = -y*t for t.
-2
Suppose 2*f + 49 = 2*d + d, 0 = 5*f + 10. Solve 2*s + d = -s for s.
-5
Let n(s) = s**3 + s**2 - s + 35. Let a be n(0). Suppose 5*p - a = -10. Solve -q - 4 = -p*q for q.
1
Suppose -10*q = -46 - 44. Suppose -2 = r + 3*r + 3*a, -3*r + q = -3*a. Solve 16 - r = 5*i for i.
3
Let j be 254/36 - 50/900. Solve j*r = 5*r + 8*r for r.
0
Let f be ((-2)/10 - (-42)/60)*10. Solve f*x + 2 = 7 for x.
1
Suppose 3*y - 28 = -13. Solve -2*m + y*m = 3 for m.
1
Suppose 35*i - 75*i + 560 = 0. Solve -i*h - 35 = -21*h for h.
5
Let c be (2/4)/(3*(-2)/(-36)). Suppose -5*u + 41 - 14 = -q, -4*u + c*q = -26. Let j(h) = h**2 - 5*h + 7. Let w be j(5). Solve u*i - 8 = w for i.
3
Let z(i) be the second derivative of -1/2*i**3 + 3*i + 0 + 5/2*i**2. Let a be z(0). Solve -3*x - 8 = -a*x for x.
4
Let l = -70 - -73. Suppose -l*z + 7 = 5*p, z + 8 = 4*z + 4*p. Solve 2*k = z*k for k.
0
Let v(d) = d**3 - 5*d**2 + 5*d - 5. Let b be v(4). Let h be (3/9)/((-2)/24*b). Solve -n - 1 = h for n.
-5
Let s(f) = f**3 + 2. Let i(m) = -m**2 - 8*m - 9. Let u be i(-6). Suppose u*x - 7*x = 0. Let p be s(x). Solve -2*a = p*a for a.
0
Let g(o) = 11*o**2 + o - 2. Let h be g(-2). Let t be 10/15 + h/12. Solve -4*a + t = -16 for a.
5
Let u be (-16)/(-24)*(-75)/(-2). Suppose -2*a - 21 = -5*v + 6, 4*v - u = 5*a. Solve v*s = 33 - 8 for s.
5
Suppose -5*r + 5 + 0 = 5*x, -r + 9 = 5*x. Suppose b - x*b = -5*l + 18, -b = 2*l - 10. Solve -b = -2*i - 10 for i.
-4
Suppose -5*z + 216 = 4*z. Let q be 0 + 16/(-6)*z/(-16). Solve q*c = -2 + 22 for c.
5
Suppose -5 = o - 5*c, -4*c = -9*o + 4*o + 17. Solve -o*u = 2*u for u.
0
Suppose -4*