 2 - 15 = 0, 0 = -4*q - 2*k - 12 for q.
-5
Let q be -7 + 566/6 + 4/6. Let m = q + -83. Solve 0 = -m*n + 3*l - 5, 0 = -9*l + 4*l for n.
-1
Suppose -5*p + p + 24 = 0. Suppose p*g - g = 0. Let x(v) = v**2 - 4*v + 4. Let q be x(4). Solve y + q*n + 0 + 9 = g, 4*y - 4*n = 24 for y.
3
Let y be (-4)/(-6) + (-2)/(-6). Let s(g) = -2*g**3 + g**2 - g. Let q be s(y). Let f = 11 + q. Solve -2*v = x + f, x = 3*v + 9 - 3 for x.
-3
Let h = -198 + 198. Solve k + 5*d - 1 = h, 4*k + 4*d - 3 - 1 = 0 for k.
1
Suppose 4*c = -0*c + 80. Suppose 0*n + 4*p = 2*n - c, -2*n + p + 35 = 0. Let s = -17 + n. Solve 7*v - 13 = 2*v + 4*k, 0 = s*v - 3*k - 6 for v.
5
Let z(l) = -11*l - 273. Let r be z(-25). Solve -3*g = -u - r*g - 1, -5*u + g - 21 = 0 for u.
-5
Suppose d - 7 = -4. Suppose d*v = 2*v - 2*i, -2*v + 4*i = 0. Solve 4*y - 4 = 0, v = 4*n - y - 3*y + 8 for n.
-1
Let n be (-9)/(-2)*(-2 + (-40)/(-15)). Solve 4*u - j = 21, -3*u - 2*u - n*j = -5 for u.
4
Let s = 31 + -27. Let j(q) = 7*q**2 + 4*q. Let g be j(3). Suppose 0 = s*n + n - g. Solve -5*y + 0*y + 2*l = n, 0 = -2*y + 2*l for y.
-5
Let k = 12 + -2. Suppose 7*c - k*c + 9 = 0. Solve -2*q - 20 + 5 = 3*n, 4*n - c*q + 20 = 0 for n.
-5
Let s(j) = -j**3 - 3*j**2 - j. Let i be s(-3). Suppose 9*a - 5*a - 4 = 0, -u = 4*a - 19. Solve 5*p - u = h, i*p + p - 12 = -h for p.
3
Let n(q) = -q - 16. Suppose 0 = -6*h - 78 - 18. Let f be n(h). Solve -3*a = 3*p - 6, f = 2*a - 3*a - 4*p + 17 for a.
-3
Let t(y) = 3 - 24*y**2 + 24*y**2 + y**3. Suppose r = -2*r. Let l be t(r). Solve 2*i - 2 = 4*h - 20, -l*i - 7 = 4*h for h.
2
Let n = 113 + -112. Let r be n*1/(-3) - (-26)/6. Solve -r*z + 24 = 2*o + o, 0 = -2*z + 4*o - 10 for z.
3
Let k(d) = -2*d**3 - 4*d - 1. Let a be k(-1). Solve 5*q = 4*q - a*p - 1, -3*q = -p + 3 for q.
-1
Let b = 90 + -87. Suppose l + 10 = -b*l - 5*m, -3*m = -l + 6. Solve -4*a + 3*n + 2*n + 10 = 0, 5*a + 5*n - 35 = l for a.
5
Suppose -4 = -4*t + 4. Suppose 4*d - 12 = -4*q, -3*q + 5*d = t*q + 25. Let n = q - -4. Solve -6 - 3 = n*s, -5*s - 7 = 4*g for g.
2
Suppose -10*s = -7*s. Let o = -175 - -177. Solve -3*j - 7 = -s*j + n, -2*j + 2 = o*n for j.
-4
Suppose -6*b - 75 + 117 = 0. Solve -4*d - d = -q + 26, 2*q - d = b for q.
1
Let w = -306 - -314. Solve 4 - w = -4*b, 2*b = 2*a - 4 for a.
3
Let b be 12/(-7)*(-105)/(-30) + 10. Solve -12 = 4*u + 7*d - 6*d, 0 = -b*u - 2*d - 16 for u.
-2
Suppose 3*h = -4*o - 3 + 15, 4*h = -4*o + 20. Suppose h*v = 6*v. Solve v = y - f + 8, -2*y - 6*f + 2*f + 14 = 0 for y.
-3
Let t be 152/(-532) + (-44)/(-7). Solve 0 = -5*l + a - t, 2*a - 2 = -3*l - 3*a for l.
-1
Let u be (-640)/240*(-9)/8. Solve 5 = -5*y - 5, 4*q - u*y + 6 = 0 for q.
-3
Let j(l) = 50*l**2 + 4*l + 3. Let g be j(-1). Let w = g - 5. Suppose -w = -2*z - v, 2*v + v = 5*z - 88. Solve -5*n = -3*d - z, -3*d + 9 = 3*n - 3 for n.
4
Let r = 176 + -166. Solve 0 = x + 5*t + 5 + 9, -5*t - r = 5*x for x.
1
Let v be 9/4 + 2/(-8). Suppose 96 = 117*w - 93*w. Suppose -2 = m - 6. Solve 0 = 5*r + v*d - m*d - 8, -w*r + 5*d = -3 for r.
2
Suppose -b + 2*b = -6. Let l(t) = -t - 3. Let c be l(b). Solve 4*s = 3*v + c, 0 = 2*s - 0*s + 6 for v.
-5
Suppose 16*p - 70 = -38. Solve 0 = -3*x - 3*h + p + 1, -4*h - 12 = 0 for x.
4
Suppose b - 8 = 4*b - 4*j, -5*b = 5*j - 10. Suppose b = -l - 1 + 3. Let t = 12 - 10. Solve 5*h - s - 5 = 0, -3*h - l = -t*s - 5 for h.
1
Let f = 2 - -3. Suppose 0 = 4*l - l + 4*y - f, 4*l + 5*y = 7. Let z be ((-4)/5)/((-4)/10). Solve -4*c + 24 = 4*i, 4*c + z + 2 = l*i for c.
2
Let l be 4 + -3 + (-8)/(-2). Let p(y) = -y + 13. Let j be p(l). Solve 2*o - c = 2*c + j, 0 = -3*o - 2*c - 1 for o.
1
Suppose -13*r + 10*r + 28 = -2*z, -4*r + 40 = -4*z. Solve u = -1, -5*f - 8 = u + r for f.
-3
Let y(a) = -5*a - 2. Let x be y(-6). Let b = 26 - x. Let c be 15/b*6/(-9). Solve -2*d - c*w + 15 = 0, -w + 25 = 4*d + 4*w for d.
5
Let b = 331 - 328. Solve -x - 8 = 4*t + 10, 2*x + 16 = -b*t for t.
-4
Suppose -2*m = -4*g, -5*m + 34 - 29 = -5*g. Solve 0 = m*y + y, -3*y - 8 = -4*h for h.
2
Suppose -6*x + 9*x = 12. Let c(k) = k - k + 5 + x - k. Let g be c(7). Solve 4*u - g*s - 8 = 2, 5*u - 20 = 4*s for u.
0
Let c = -381 - -385. Solve 0 = p - 1 + 2, 0 = 2*v + c*p - 4 for v.
4
Let x be ((-4)/2)/(2/(-4)). Suppose x*c + 5 = 13. Solve -5*i + 4*i - 2*l = -11, c*i - 7 = -l for i.
1
Suppose m = n - 0 + 11, -4*n - 60 = -5*m. Solve w - 4*w = -12, -5*j = -w - m for j.
4
Let x = 38 + -31. Let b = x + -7. Solve b = -m - u + 4, m = 2*m + 2*u - 5 for m.
3
Let m = -17 + 52. Suppose -2*i = 5*a + 21, -2 + m = 4*i - 5*a. Solve i*f = o - 8, -2*f - 4*o - 21 + 3 = 0 for f.
-5
Let j(w) = -w + 1. Let b be j(0). Let s be (-8)/4 - -6 - b. Let y be s/(-4 + 1) - -11. Solve -4*m = m - 5*x - y, -3*m + 4*x + 5 = 0 for m.
3
Let a(z) be the third derivative of z**6/120 + z**5/4 + z**4/24 + 7*z**3/2 + 8*z**2. Let r be a(-15). Solve -2*x - 12 = -r*x, 0 = 5*c + 3*x + 6 for c.
-3
Let o be (-135)/(-25) - 4/10. Suppose -z + 5 + 2 = n, o*n + 4*z = 30. Solve 4*s - 2*h = 2, -s + n*h = h - 1 for s.
0
Let p = -48 + 50. Suppose 4*i + p*q - 26 = 0, -7*i + 2*i = -5*q - 25. Solve -3*c + 0 = -5*j - i, 2*c - 4 = -j for c.
2
Let i(r) = -r**2 + 30*r - 176. Let z be i(8). Solve 13 = 3*b - 4*t, 4*t + 17 = -z*b - b for b.
-1
Let u = 22 - -50. Suppose 5*x + 5*c = 75, 5*x + 4*c + 0*c = u. Solve -7 = -j + 3*k + 1, 3*k = -x for j.
-4
Suppose -12 = 53*j - 51*j. Let w(t) = t**3 + 6*t**2 - 2*t - 7. Let f be w(j). Solve f*u - 4 = 2*n, -u = 2*u - 3*n + 3 for u.
2
Let o = -28 + 30. Let u be 1 + o - -18 - 3. Solve -5*t + u = -p, -3*t = 2*p - 4*p - 15 for t.
3
Suppose 152 + 200 = 44*m. Solve 4*c = 2*s - m, s - 16 = -c - 3*s for c.
0
Let i = -1042 - -1045. Solve -8 = i*y - 4*z, 2*y - z = -3*z + 4 for y.
0
Let m(r) be the second derivative of r**4/12 + 17*r**3/6 + r**2 + 11*r. Let d be m(-17). Solve 3*j + 7 = -5*i, -d*i + 12 - 2 = -2*j for j.
-4
Let d be ((-310)/(-20))/((-1)/(-2)). Suppose 2*t = y - d, 109 = -5*t + 3*y + 32. Let z = t + 19. Solve 2*u = z*n + 6*u, -5*u = -5*n for n.
0
Let z be 3/9*2 + (-150)/(-45). Let u(b) = b**3 - 3*b**2 - 2*b - 5. Let x be u(4). Solve -3*c - x = -z*d, 0 = 5*c - 6*c + d - 1 for c.
-1
Suppose 0 = -4*j + 4. Solve 2*i - 4*y = y - j, 5*y = -i - 8 for i.
-3
Let c(m) = 16*m - 105. Let z be c(7). Suppose 0*l = -2*l - 3*x + 6, 2*x - 4 = 5*l. Let p be (-6)/9*(-3 + l). Solve t = p, k = 4*k - t - z for k.
3
Suppose f + f + 4 = 4*r, 3*r + 4 = -2*f. Suppose -2*d + 5*d - 12 = r. Let y be (-1)/1*(-16)/d. Solve 3*k - q - 3*q = 4, -y*k + 5*q + 4 = 0 for k.
-4
Let m = 47 - 44. Solve -5*f + 32 = -5*o + o, -5*f + m*o = -29 for f.
4
Let k = -687 + 693. Solve -7 = 4*t - 5*h + 8, 0 = t - 2*h + k for t.
0
Let h = 97 + -93. Solve 2*a - a - h = f, -5*f - 3*a + 20 = 0 for f.
1
Let h(k) = -4*k + 153. Let y be h(31). Solve 5*o = -i - 7 + y, 4*o = -2*i + 14 for o.
5
Let y = 1248 - 1221. Solve 2 = -a + 2*b - 1, 4*b = -5*a + y for a.
3
Let q = -2048 - -2076. Solve -3*x - x + 20 = 0, d - 5*x + q = 0 for d.
-3
Let f(r) = 5*r**2 - r + 3. Let w be f(3). Let z = w - 43. Solve z*o + 5 = -s, -12 = 3*s + s + 4*o for s.
-1
Suppose 4*a = 2*w + w + 12, w + 3 = a. Let g be (4/(-8))/((-2)/(-76)). Let t = g - -28. Solve 3*v + 3*r = 9, -v + 3*v - a*r + t = 0 for v.
0
Let d be 2/10 + (-9)/(-5). Suppose -5*j + 20 = 5*j. Solve 4*r + j = d*l + 2*r, -3*l + 9 = -5*r for l.
-2
Let b be (-3 + 3)/(1 - (-1 - -1)). Solve 4*a - 3*x = 9, 3*a - 4*x - 4 - 1 = b for a.
3
Suppose -28 = -3*h - 1. Suppose -h*m = -5*m - 16. Let b(f) = -3*f. Let j be b(-2). Solve -m*o = 2*y + j, -o - 12 = -4*o + 4*y for o.
0
Suppose -43*o + 10 = -41*o. Solve -u + o = 4*u - 5*r, 5 = u + 3*r for u.
2
Let w = -16 - -46. Suppose 0 = -7*l + l + w. Solve y = -l*q + 24, -4*y = 4*q + 15 - 47 for q.
4
Suppose -5*q - 3*f + 243 = 0, -2*q + f - 26 = -121. Let m = -43 + q. Solve -m*o + 3*h = 3 + 4, -2*o = -4*h for o.
-2
Let l(q) = q**2 - 20*q + 19. Let z be l(1). Solve -4*g + p - 2 + z = 0, p = 3*g + 2 for g.
0
Suppose -4*i = -p - 7, -p - 3*i - 9 = -23. Solve -3*s - 1 = k, 6*k + 20 = 8*k - p*s for k.
5
Suppose -15*g = -11*g - 20. Solve 3*h - 1 = -3*o + 2, -2*h + 17 = g*o for h.
-4
Let q be 1/4 + 7/4. Let a = -181 + 182. Suppose a = -q*m + 11. Solve -f = -3*s - 0 - 3, -f + 3 = -m*s for f.
3
Let j(c) be the third derivative of 0*c - 6*c**2 + 1/24*c**4 - 3/2*c**3 + 0. Let s be j(14). Solve 2*b = s