5*m + 17 = -23. Solve i = 5*z + 3 - m for z.
1
Let a be (1 - 0)/((-6)/(-30)). Let b be (6/(-9))/(a/(-30)). Suppose b*i + 3*c - 14 = 0, -6*i - c = -2*i - 18. Solve 3*u = i*u - 10 for u.
5
Suppose -5*a = 114 + 6. Let t be 1 + (-5)/4 + (-102)/a. Solve n = -t*n for n.
0
Suppose 5*k = 4*k - 4*i - 24, -3*i - 27 = 3*k. Let x(o) = 2*o + 8. Let c be x(k). Let q be (2/3)/((-3)/(-18)). Solve -q*d = -c*d + 12 for d.
-3
Suppose 5*w - 2*w = 0. Suppose 0 = 2*q - 4 - 6, -2*t + 4*q + 12 = w. Suppose 5*f - t = -1. Solve 20 = 2*j + f*j for j.
4
Let d be (-7 - -1)*(-2)/3. Let u(j) = 7*j + 37. Let w be u(-5). Suppose w*b + 2 = -q, -6*b = -d*q - 3*b + 3. Solve 4*n + q*n - 12 = 0 for n.
3
Let n be (3/(-2))/((-24)/(-64)). Let y = n + 8. Solve -y*s + 12 = -s for s.
4
Suppose 0 = -n + 2, -4*p + 5*n - 32 = 26. Let t = -13 - -30. Let j = p + t. Solve 2*d = j*d - 3 for d.
1
Let i be (-204)/(-10) + 4/(-10). Let f = i - 11. Suppose -3*y = d - 3, 0*y - 5*d = 3*y + f. Solve c = y*c for c.
0
Let n = -120 - -120. Solve n = -5*c - 11 + 6 for c.
-1
Let v(m) = 6*m**2. Let l be v(1). Suppose -3*z = 9 - 48. Let o be (-5)/(10/l) + z. Solve h - o = 3*h for h.
-5
Suppose -2*d + 14 = 4*b - 74, 3*b + 3*d = 66. Let f = b - 22. Solve f = -0*w + 2*w + 2 for w.
-1
Suppose 0 = -11*v + 24 + 20. Solve -v*j - 15 = j for j.
-3
Suppose l = -4*q - 3, 3*q + 16 = -0*l + 2*l. Let u be -3 + 0 + (l - 2). Solve u = -m + 2*m - 5 for m.
5
Let q be (60/(-35))/((-34)/28 + 1). Solve -q*b = b + 9 for b.
-1
Let m(i) = -i**2 + 10*i - 1. Let w = 25 - 17. Let a be m(w). Solve -n - a = 4*n for n.
-3
Let f(x) = x**3 - 4*x**2 - 5*x + 2. Let z be f(5). Let j be (-9)/6 + 19/z. Solve 3*t = 5*t + j for t.
-4
Suppose 43 = 14*u - 97. Solve 15 = u*f + 5 for f.
1
Suppose 5*q + 3*t = 2*t + 39, 3*q - 4*t - 28 = 0. Solve -2 - q = -5*m for m.
2
Let r = 27 + -21. Suppose -r*w + 2*w + 8 = 0. Solve -g - 3 - w = 0 for g.
-5
Let w(z) be the third derivative of 1/24*z**4 + 0 + 0*z - 4*z**2 + 5/6*z**3. Let i be w(13). Solve 3 - i = -3*f for f.
5
Suppose -4*b - 5*o + 25 = 0, 2*b + 14 = 4*b + 2*o. Solve 18 = b*q - 4*q for q.
3
Suppose i = z + 2, 0*z - 3*i + 3 = -2*z. Let n be z + 92/(-2)*1. Let s = n + 69. Solve -s = -5*u + u for u.
5
Let k(d) = -d**2 - 30*d + 161. Let g be k(4). Solve -15 = 10*s + g for s.
-4
Let h = 37 - 21. Let z be (-3 - -1)/(h/24). Let l be 2/(z/((-42)/4)). Solve 2*w = l*w for w.
0
Let k = 1719 - 1719. Let i = -4 + 9. Suppose -i*d + 3*h + 5 = -82, -35 = -d + 5*h. Solve -5*p + 2*p - d = k for p.
-5
Suppose 35 = 2*b - 3*k, -2*k - 2*k = -b + 5. Solve -31*r + 30 = -b*r for r.
5
Let d(u) = -u**2 - 2*u + 5. Let b be d(-2). Suppose -4*j + b*j - 4*j = 0. Solve j*w = 5*w - 10 for w.
2
Suppose 7*q - 3*q + 4 = 0. Let k be 319/(-22) - q/2. Let z = -11 - k. Solve z*i + i = 16 for i.
4
Let j(k) = 15*k - 4. Let t be j(8). Suppose -2*y - t = -6*y - 2*l, 2*l = -2*y + 56. Let b be (-24)/15*y/(-12). Solve 16 = -b*a - 4 for a.
-5
Suppose -3*n - 1 = -2*z, -4*z + n + 2*n = -5. Solve -3*u - z*u = 20 for u.
-4
Let v be 8/(-1 + 9 - 7). Solve 0*t + v*t + 16 = 0 for t.
-2
Suppose -3*d = 5*x - 0*d - 107, 2*d = -x + 20. Suppose -11*y + 9*y + x = 0. Solve 2*g - y = -13 for g.
-1
Let b be 45 + 0 + -1 - 0. Suppose 0 = -i - b. Let k = -23 - i. Solve 4 = 5*v - k for v.
5
Suppose -23*b = -2*b - 210. Solve 0 = 3*c - c - b for c.
5
Let u = 15 + -15. Let o = u + 1. Let n(p) = p - 1. Let f be n(o). Solve -2 + f = 2*m for m.
-1
Suppose -4*a - 5*j - 14 = 0, -2*j = 3*j - 10. Let m = 403 - 391. Let t = m + a. Solve 2*l - 2 = t for l.
4
Suppose -48*x + 51*x - 24 = 0. Solve -x*p + 11*p = -9 for p.
-3
Suppose 0 = -5*q + q + 32. Suppose 22 = 3*a + 4*v, -2*a + v = 2*v - q. Let i = -6 + 6. Solve 0*z + 2*z + a = i for z.
-1
Let s = 1178 - 1178. Let u(c) = 2*c**2 + 3*c + 3. Let k = 0 + -2. Let o be u(k). Solve -5*a + 5 + o = s for a.
2
Let d be (-4 - (-150)/35) + (-68)/(-7). Solve 3*w + d = 7 for w.
-1
Suppose j - 6 = 2*p, -3*p = -2*p + 1. Let f(n) = -3*n**2 - 17*n - 4. Let c be f(-4). Let b be 2/6 - (-2)/(-6). Solve j*u = -c - b for u.
-4
Let p(j) = 17. Suppose -8*n - 66 = -2*n. Let y(g) = -g - 85. Let h(t) = n*p(t) - 2*y(t). Let s be h(10). Solve -s = -0*q - q for q.
3
Let b be 6 + 2*5/(-2) + 4. Let g(t) = -4*t - 6. Let y be g(-4). Let l be y/(-2)*8/(-20). Solve -b*h - 12 = -l*h for h.
-4
Let r = -8 + 7. Let h be 3 - r*3/3. Solve 0 = -0*m - h*m for m.
0
Suppose 3 = 2*j + 9. Let b = j - -4. Suppose 4*g - 3 = -i + b, 3*i = 4*g - 4. Solve i = -2*t + 4*t - 10 for t.
5
Let u(x) = -x**2 + 9*x - 8. Let t be u(9). Let m be 2/(-2)*3 - t*1. Solve 0*a = -m*a + 15 for a.
3
Let z = -1085 - -1091. Solve -o + 5 = -z*o for o.
-1
Let v be 19/(-4 + (-4 - -7)). Let r = v + 20. Solve 3*j + r = 4*j for j.
1
Let g(k) = -k**3 - 2*k**2 - 2*k - 2. Let d be g(-2). Let s(l) = 172*l - 1199. Let i be s(7). Solve z + i = d for z.
-3
Let z be (-2)/12 + 23/138. Solve 3*j + 6 = -z*j for j.
-2
Suppose -k + 3*b = -0*k + 9, 3*k + 3*b + 3 = 0. Let a be -1 + (1 + k)*-2. Solve 3*w = a - 0 for w.
1
Suppose -79 = -4*g + 13. Suppose c - 4*r = -4*c + 25, 2*c + r = g. Solve c = 5*d - 6 for d.
3
Let k(p) = -3*p - 23. Let g be k(-9). Solve -8*v + g*v = -12 for v.
3
Let s(d) be the second derivative of -d**3/3 + 6*d**2 - d. Let b be s(5). Solve 3*v - b = 4*v for v.
-2
Suppose 0 = -5*l + 2*j + 19, -3*l + 3*j + 7 + 8 = 0. Let s = -1462 - -1466. Solve -l*t = -s - 5 for t.
3
Let m(g) = g - 9. Let s be m(10). Let u be 5 + -1 + s + -1. Let x(n) = -n**3 - n**2 + n + 4. Let q be x(0). Solve 0*h + u*h = q for h.
1
Let b(p) = p - 6. Let d be b(-7). Let n = -10 - d. Suppose -n*f = 12, 4*k = 2*f - 5*f. Solve 0*m = m - k for m.
3
Suppose -r - 4*g - 1 = -9, g - 2 = -4*r. Let h(x) = x**2 + 10*x + 11. Let s be h(-9). Solve r = 6*a - s*a - 20 for a.
5
Let z(k) = 3*k**2 - k + 2. Let v be z(2). Suppose 4*w - v = -3*h + 16, 2*w - 8 = 0. Suppose 5*o - 46 = h. Solve t = -t - o for t.
-5
Let u(c) = 171*c - 150. Let v be u(1). Solve 8*q - v - 3 = 0 for q.
3
Suppose 10*g - 32 = -6*g. Solve -g*d - 12 = d for d.
-4
Let o = -181 - -184. Let h(m) be the third derivative of m**5/30 - m**3/6 + 3*m**2. Let l be h(-2). Solve -2 = -o*k + l for k.
3
Let k(v) = 5*v + 15. Let o(z) = 6*z + 14. Let u(p) = -7*k(p) + 6*o(p). Let a be u(21). Solve -y + 3*y = a for y.
0
Let t(m) = m**2 - 2*m - 45. Let i be t(0). Let u be (4/(-6))/(10/i). Suppose -v = -u + 1. Solve -v*w + 9 = w for w.
3
Let l be 21/2*36/21. Let k be (-6)/21 - 108/14. Let t be (k/12)/((-4)/l). Solve -m = t*m for m.
0
Let k(c) = c**3 + 5*c**2 + 13*c + 16. Let r be k(-2). Suppose -h - 4*h = 0. Suppose -5*n = -h*n. Solve r*j = -n*j + 8 for j.
4
Let j(d) = -d**3 + 3*d**2 + 7*d - 10. Let c be ((-8)/4)/(-2) - -3. Let s be j(c). Solve 0 = -0*n + s*n for n.
0
Suppose 2*p + 8 = -4*j, 2*j - 32 = -5*p + 5*j. Let m be (-553)/(-56) + 33/8 + -4. Solve 0 = p*a - 9*a + m for a.
2
Suppose 0 = q + 3, -3*f - 5*q = -5*f + 79. Suppose -6*s - 2 + f = 0. Solve -6 = s*r - 2*r for r.
-2
Let t(h) be the third derivative of -h**6/120 - 3*h**5/20 + 5*h**4/12 + 2*h**3/3 - 7*h**2. Let n be t(-10). Solve 0 = j + j + n for j.
-2
Let z(r) = -r + 1. Let b(s) = 7. Let p(k) = -b(k) - 4*z(k). Let q be p(4). Solve 0*l + 20 = -q*l for l.
-4
Let u(s) = 3*s**2 + 3*s + 3. Let r(j) = -j**2. Let x(w) = 4*r(w) + u(w). Let q be x(3). Solve 2*f + 4 = q*f for f.
4
Let b be -5 + 1/((-2)/(-22)). Solve -5*h + 1 = b for h.
-1
Let p(n) be the first derivative of -n**4/4 - 11*n**3/3 + 2*n - 14. Let k be p(-11). Solve -2*q = 6 - k for q.
-2
Let w be (-18)/(-45) - (-18)/5. Suppose -2*r - 122 = 5*u, -6 = -w*u - r - 103. Let v be (u/20)/(6/(-15)). Solve v + 0 = x for x.
3
Let u = 150 - 147. Let d(f) = -f**3 + 13*f**2 - 11*f - 13. Let o be d(12). Let q = o - -1. Solve q = -v + u*v for v.
0
Suppose 3*v - 61 + 52 = 0. Solve 4*y = v*y for y.
0
Let l(j) = -2*j + 3. Let t(n) = n - 1. Let h(i) = -6*l(i) - 11*t(i). Let f be h(6). Let y = f - -6. Solve -y*k + 17 = -8 for k.
5
Suppose 2*z - 7*z + 30 = 0. Suppose 0 = z*q - 5*q. Solve w + 0*w = q for w.
0
Let k(b) = -b**3 - b**2 - b + 4. Let c be k(0). Suppose 0 = -3*q + 8*q + 10. Let t be 18/10 + q/(-10). Solve -8 = -c*n + t*n for n.
4
Let h = 3 - 3. Suppose 4*f + 19 = -3*s + 22, -2*f = 0. Solve h = -c - 0*c + s for c.
1
Let x = -15 - -13. Let f be (-2 - x)/(7 + -13). Solve -6*r + r = f for r.
0
Let 