Let v(y) be the first derivative of 57*y**2/2 + 345*y + 77. Let c be v(-6). Solve 5*n + 4*x + 11 + 14 = 0, 5 = -n - c*x for n.
-5
Let d be ((-4)/(-1))/(-23*(-10)/805). Solve 4*c = -3*q + 15, 6*c = c + q + d for c.
3
Suppose 9*j + j = 860. Suppose -11*r + j = 31. Solve -8 = 2*i + 3*b, -r*i - 1 = -0*b - 2*b for i.
-1
Suppose -3*f = -4*z - 39, 4*f - 42 = z + z. Let y be -10 + 18 - (5 - 3/3). Solve 3*t - 6 = -3*a, -3*a - y*t = -f - 0 for a.
-1
Suppose 8*l - 21 = l. Suppose 0 = -12*u + l*u + 675. Let d = u - 72. Solve -10 = -y + d*s, -y = -0*s + 3*s + 20 for y.
-5
Let c(z) = -z + 12. Let v be c(8). Let w = -57 - -60. Suppose w*g - 7*g = 0. Solve 3*r = 2*x + 1, v*r - 2*x - 1 + 3 = g for r.
-3
Suppose 7*z + 5*z + 10 = 13*z. Solve z*b = -2*n + 8*b + 4, -4*n = 5*b - 6 for n.
4
Suppose -815*p + 619*p = -2352. Solve -16*a + 8 = -4*w - p*a, 0 = -w + 4*a - 14 for w.
2
Let m = -11 + 27. Suppose 0 = m*i - 17*i. Suppose 2*z - 39 + 29 = i. Solve -z*r - h = 10, -3*r + h - 2 = -4*r for r.
-3
Let k(d) = -d**2 + 46*d - 516. Let w be k(20). Solve -6 = 2*r, w*x - 5*r + 0*r = -5 for x.
-5
Let m be (-1 + -2)*(-12)/18. Suppose -16 = c - 4*j, -c + m*c - j + 1 = 0. Let h be -1 - (-7)/(-7 - -8). Solve -c*r + 11 = -3*p, -2*p + 5*r = -h + 18 for p.
-1
Let g(m) = -m**3 + m**2 - 6*m + 14. Let r(f) = -f**2 - f - 1. Let d(s) = g(s) - 3*r(s). Let l be d(4). Solve 2*x + l*a = 14, 2*x - 2*a = a - 18 for x.
-3
Suppose 0 = -8*i - i. Let s(c) = c**2 - 3*c. Let n be s(i). Let l(f) = 2*f**3 + f**2 - f + 10. Let d be l(n). Solve 2*a + d = -3*a + 3*k, -4*k + 21 = a for a.
1
Suppose -2*y + 36 = -4*r + 42, -5*r + 2*y + 9 = 0. Solve -v = 5*x + 7 + 18, 4*x + 1 = r*v for v.
-5
Suppose -2*r = -91*v + 93*v - 4, -r = -v - 4. Suppose 0 = -6*l + l + 5. Let n be 2*(l + (-2 - -5)). Solve -n = 4*d - 0*y - r*y, -8 = 4*d + 5*y for d.
-2
Suppose 81 = -3*d + 90. Solve -n - d = 0, n + 9 = 5*p + 6 for p.
0
Let v = -4527 - -4547. Solve -5*h + 5*g - 35 = 0, g = 5*g - v for h.
-2
Let s be 434/105 + ((-4)/(-15))/(-2). Suppose -56*g + s = 4*p - 52*g, 0 = 5*p + 4*g - 6. Solve 3*n = 2*c + 8, p*n + n = 0 for c.
-4
Let v be (-4)/(-18) + (4 - 76/18) + 6. Solve 4*b = -3*x + 23, x = -2*b + 3 + v for b.
2
Let y be (-5 + 4)*(9/((-45)/(-35)) + -9). Solve y*z = -2*c, 7 = -4*c + 4*z - z for c.
-1
Let w be -10 + 8 + 6 - -4. Solve 2*s + q + 5 = 5*s, -4*q + w = 2*s for s.
2
Suppose -2*r - 3 - 1 = 0. Let z be 0*(r + (5 - 4) + 2). Let m be 6 + 0/(-3 + 2). Solve -3*l - 13 = -5*d, -4*l = -2*d - z - m for l.
4
Let g(l) = -10*l**2 + 263*l - 71. Let i be g(26). Solve 0 = -3*d - 9, i*p - 6*p - 16 = 4*d for p.
4
Let l = 504 + -500. Suppose -13 = -l*m - v, 5*v = -4*m + 8*m - 31. Solve -m*f + 0*c = -c - 17, 0 = -5*f - c + 10 for f.
3
Let t = -7581 + 7584. Solve -32*m + 34*m - 2*j = 16, 5*m = t*j + 34 for m.
5
Let h be (12 + -18 - -7) + (-1 - -6). Solve 5*j + g + 7 = 0, 5*g + 10 = -h*j + 3*g for j.
-1
Suppose -c - 10*c - 11 = 0. Let w be (2/4)/(c/4). Let v = w - -4. Solve -4*s = v*p + p - 32, -22 = -3*p - 2*s for p.
4
Let n(p) = p**3 - 13*p**2 + 2*p + 8. Let a be n(13). Let j = a - 34. Solve -4*x = -j*o - o - 9, 0 = 3*o - 5*x + 20 for o.
-5
Suppose 40*c - 26*c + 5824 = 222*c. Solve 3*k = 2*d + 1, -c*d = -29*d - 2*k - 4 for d.
-2
Let f(q) = -q**2 + 17*q - 11. Let v be f(16). Suppose 3*t - 4*t = -x + v, -2*t - 12 = -3*x. Solve 0 = x*u, j = -j - u - 6 for j.
-3
Let z(w) = 5*w**2 - 47*w + 196. Let o be z(4). Suppose -o*m + 50 = -78*m. Solve 0*h - 2*h + t = m, 3*h = 5*t - 18 for h.
-1
Let y(l) be the third derivative of 1/120*l**6 + 2*l**2 + 7/6*l**3 + 13/24*l**4 - 3/20*l**5 + 0*l + 0. Let z be y(7). Solve h = -a, 2*a - 30 = 4*h - z*a for h.
-5
Let o be -7 + 3 + (-1564)/(-253) + (-4)/22. Solve -3*c + 2*y - 3 = 0, 3*y = -2*c - o*c - 21 for c.
-3
Suppose -516 + 54 = -11*s. Suppose -s = -2*l + 5*u, 2*l - 4*u - 5 = 35. Solve 2*q = 4*y - l, -4*q + 5*y + 3 - 20 = 0 for q.
2
Let n(g) = -g - 6. Suppose -16 = u + 4*v + 8, -24 = 5*u - 4*v. Let o be n(u). Solve -h + m = 3, -2*h + 2*m = -o*m + 16 for h.
2
Suppose 12*d + 137 = 7*d - 4*h, -83 = 3*d + 2*h. Let t = d - -32. Solve -o + 6*o = 2*q + 7, 0 = -4*o - t*q + 1 for o.
1
Let t(b) = -7*b + 106. Let o = 410 + -396. Let r be t(o). Solve -d + r = -0*x + 3*x, 3*d = x - 16 for x.
4
Let k(m) = -3*m - 9. Let q be k(-3). Let b = -83 + 88. Suppose -p = -b*y - 31, y = -2*p - 0*y + 7. Solve 3*s + p = -g, q = -2*s - g - 1 - 4 for s.
-1
Suppose -238*o + 214*o = -72. Let y be (o/(-3))/((-4)/8). Solve -11 = 5*j - y*r, 3*j - r = 3 - 10 for j.
-3
Let g = 406 - 402. Solve 0 = -3*b - 2*z, 22*z = -g*b + 20*z for b.
0
Suppose -258 = 4*y - 42. Let w be y/(-10) - 6/15. Let i be (93/21)/(2/14). Solve 0 = 4*o - 2*m + w*m + i, o - 21 = 5*m for o.
-4
Let a = 27 - 25. Suppose -4*f = -2*c + 26, a*c + 3*c - 20 = f. Solve 2*n - 10 = c*q - 29, 0 = -q + 2*n + 13 for q.
3
Let x = -182 - -189. Suppose -5*f = -x*f + 4. Solve 4*m + 5*j - 4 = f*j, -3*m + 32 = -5*j for m.
4
Suppose -5*y + 3*y - 546 = 0. Let b = -261 - y. Solve h - 2*h + 2*a = -6, -3*a = b for h.
-2
Let d(i) = 51*i - 409. Let j be d(7). Suppose 5*q - 3*q - 29 = -5*l, l - 9 = -2*q. Let v be q/(-4) + j/(-8). Solve -s - 5*u - v = -4*u, -s = 5*u + 10 for s.
-5
Let o be 0/6 - 0 - 0. Suppose -n - 3*s + 5 - 11 = o, -2*s = 4*n + 4. Solve n = -3*p - c + 7, 2*c + 1 + 0 = -p for p.
3
Suppose -5*d - 3*i + 28 = -4*d, -2*d - i = -41. Let v = d + -17. Suppose -6*a + 16 = 4*f - v*a, 2*a = 4*f - 22. Solve 7*j - 2*j + 5*o = -f, 0 = -2*o + 6 for j.
-4
Let f(j) be the third derivative of 0*j + 1/2*j**3 - 11/24*j**4 - 1/60*j**5 + 0 - 17*j**2. Let l be f(-11). Solve 0 = w + 2*p - 10, -4*p = -l*w - w - 20 for w.
0
Let s be (-1)/((-4)/(-6))*(-20)/(-3). Let l = -1 - s. Let u = l - 8. Solve -5*m + o + u = -o, -6 = -3*o for m.
1
Let g(b) = -6*b + 85. Let w be g(16). Suppose c + 27 = -3*c - x, -2*c = -x + 21. Let v = c - w. Solve -h - v*p + 5 = 0, 0 = -3*h - 4*p + 3 + 12 for h.
5
Let b be (-3)/15*(-19 + 4). Let y(z) = -10*z**3 - z**2 + 1. Let o be y(-1). Suppose 0 = -b*p - 1 + o. Solve -p = -s - 4*m - 28, -4*m - 10 = -2*s for s.
-5
Suppose 286*o - 272*o + 9 = 51. Solve 4*v + 55*z = 57*z - 2, -3 = o*v - 2*z for v.
1
Let h(p) = 3*p**2 - 2*p - 4. Let n be h(0). Let s(o) = -11*o**2 - 46*o - 4. Let q be s(n). Solve -z - 4*z = 2*l - 2, -q*z + 2*l + 16 = 0 for z.
2
Let b(q) = 539*q + 3. Let y be b(0). Solve 0 = y*z + d + 18 - 13, -8 = 2*z - 4*d for z.
-2
Let f be 4/6*(657/6 + 0). Let k = f - 73. Solve r - c = 1, k = -3*r + 4*r - 5*c - 13 for r.
-2
Let j(n) = -n**2 + 21*n - 66. Let k be j(4). Suppose 0 = 3*z - 0*z + 24. Let h = 11 + z. Solve -h*p + k*p = -5*d + 28, 4*d - p - 23 = 0 for d.
5
Let t be 2/3 + (1045/15)/11. Suppose t = -2*c + 15. Solve 4*s + 0*s + 15 = 3*h, -c*h + 20 = -4*s for s.
0
Suppose -12*l = 1639 + 161. Let s be (-1)/((-7)/(-2)) + l/(-35). Solve -w = 3*w + 12, s*w + 9 = g for g.
-3
Suppose 0 = -916*g + 908*g + 16. Solve 0 = g*s - j + 1, 2*s + 4*j + 20 = 4 for s.
-2
Suppose 17*n = 2*b + 12*n + 7, 3*n = 5*b + 27. Let t be (216/(-144))/(b/8). Solve -5*q = -5*g, -4*q = t + 6 for g.
-2
Let a(b) = b**3 - 6*b**2 + 8*b + 8. Let z be a(3). Solve r + j = z, r + 2*j = 4*j + 5 for r.
5
Let f be (29 - (4 + 2)) + (-95)/19. Solve -20*r + f*r = -6, 14 = 2*v + 4*r for v.
1
Suppose -n = 3*v - 70, 8*v - 7*v = 4*n + 6. Suppose -12*o = -v*o + 30. Solve -j - 4*x = -4, o*j + 2*x + 1 = 3 for j.
0
Let t be -689 - -708 - (2 - 34)/(-2). Let i = 13 - 9. Solve 40 = 4*z - i*q, 4*z - t*z = -q for z.
5
Let f(r) = r**3 - 13*r**2 + 11*r + 16. Let l be f(12). Let h be (-8)/(l + 0)*-8. Let t = -16 + h. Solve 3*q - 6 + 0 = t, 5*b + q - 27 = 0 for b.
5
Let z be (6 - 1) + (-13)/((-117)/(-18)). Suppose -2*i - z*f = 2, -25*i + 28*i + 3*f = 0. Solve -4 - 4 = -i*d, 0 = 5*o - 4*d - 4 for o.
4
Suppose 0 = -7*p - 55 + 20, -4*y - 5*p - 9 = 0. Let h be 18/(-3)*1/(-2). Let v be 1/(-4) - h/(-12). Solve -4*b = 3*m + 11 - v, 0 = -y*m + b - 21 for m.
-5
Let m be ((-2)/5)/((-4)/(-20)*-1). Suppose -4*j - 42 = -m*h, -h - 2*j = -35 + 6. Let s = -28 - -33. Solve x = -s*p + h, -2*p + 3*x - 7 = -0 for p.
4
Let s be 4*1 + 0 + -1. Let f(r) = 685*r**2 - 12329*r - 10. Let d be f(18). Solve 3 = 3*i, i + 0*i = s*x - d for x.
3
Let w = -623041 + 623048. Let h = -7 - -11. Solve 3*f - 1 = q - h, 3*q - f + w = 0 for q.
-3
Let g be 0/((12/10)/((-6)/(-15))).