 Solve y + 5 = -5*s, 2*i - 3*s = 9 for i.
3
Let n = 35 - 16. Suppose -2*i = -4*v + 74, -2*i = -5*v + 109 - n. Solve g + 2*q - v = -3*q, -4*q + 12 = 0 for g.
1
Suppose 4*p + 15 = 5*p - 4*d, 0 = 4*p + d - 9. Suppose -3*k + 2*k = -p. Solve 3*m - m - 23 = k*y, 3*m = 4*y + 32 for m.
4
Let o(g) be the second derivative of -g**3/2 - 29*g**2 + 25*g. Let w be o(-26). Solve -4*c + 5*y - w = 0, 4*c - 2*y - 5 = -13 for c.
0
Let r be -3*((-28)/12 + 2). Let y(f) = 9*f. Let v be y(r). Let p = 13 + v. Solve 2*a + d + 2 - 8 = 0, -3*a + 5*d = -p for a.
4
Let o(s) = s**3 - 9*s**2 - 9*s - 6. Let k be o(9). Let v = k + 91. Solve -v*j - 3*b + 0*b = 4, j - 2*b + 1 = 0 for j.
-1
Let j be 5*(-4 + (-46)/(-10)). Suppose 5*g + j*u - 134 = 0, 5*g - g = -u + 103. Solve -4*a - g = 4*b + a, -4*b = -2*a + 18 for b.
-5
Let y = -233 - -233. Solve y = 2*v - 0*v + 4, -5*k + v = 8 for k.
-2
Let m(u) = u**2 + 16*u + 65. Let f be m(-10). Suppose 2*j = -5*x + 22, f*x = 2*x - 3*j + 15. Solve 2*l - 22 = x*v - 0*v, 5*v + 26 = 2*l for v.
-4
Suppose 0 = -2*j - 29*f + 27*f + 12, -2*j + 4*f = -30. Solve 4*s - 5*w = -23, -j = -5*s + w - 22 for s.
-2
Let n(f) = 47*f + 329. Let c be n(-7). Solve 2*t + c*t = w + 15, -4*t + w + 25 = 0 for t.
5
Let t(i) = i**3 - 10*i**2 + 19*i + 34. Let p be t(6). Solve 0 = -4*j + k + 2, -4*j + 0 = -p*k + 4 for j.
1
Let s be 3/(-2 + -1 + 6) + 2. Solve 5*o + s*j = 25, -2*j + j = -4*o + 3 for o.
2
Let s(w) = -3*w**3 - 4*w - 3. Let r be (19/(-38))/(1/2). Let d be s(r). Solve 0 = -2*a + d*l - 12, -5*a + 3*a - 2*l = 0 for a.
-2
Let i be (-1)/4 + (-3)/(-12). Suppose -z + 13 = -i*z - 4*d, -4*z + 14 = 3*d. Let u be 14/6 - (-2)/3. Solve -x + 3*x = -5*q + 24, 26 = z*q + u*x for q.
4
Suppose -5*x + 26 - 96 = 0. Let n = 29 + x. Let p = n + -10. Solve -l = p, 9 = -3*o + 4*o - 2*l for o.
-1
Suppose -2*o + 132 = -8*o. Let d = o - -24. Solve -2*t + 3*j - 1 = -t, 0 = -d*t - 5*j - 13 for t.
-4
Suppose 0 = -5*i + 2*h - 20, -4 = -2*i + h - 11. Let j = i + 8. Solve -3*d = 11 - j, -3*n + 2*d - 6 = 0 for n.
-4
Suppose -6*w = -5*w - 2. Solve l = -7*h + w*h, 0 = 5*h - 2*l + 15 for h.
-1
Let z(a) = -5*a - 7. Let j be z(-2). Solve -4*t - b = 9, j*t - 3*b = -t + 11 for t.
-1
Suppose 37*k - 32*k - 180 = 0. Suppose -k = -4*l + 4*i, -11 = -3*l + 2*i - 3*i. Solve l*b - 2 = -4*d, 0*d = -d + b - 4 for d.
-2
Suppose 74*q - 54*q - 80 = 0. Solve -c + 5*w - 2 = 0, 5*w = -c - q*c + 20 for c.
3
Suppose 0*j + 5*j + 5*u = 0, -5*j - 16 = -3*u. Let l be ((-1)/((-1)/(-4)))/j. Let r = 5 + 0. Solve -6*c + c + l = -4*t, r = -3*t + 2*c for t.
-3
Suppose 0 = -2*b + 7*b - 40. Suppose 0 = -4*t + 2*m - m + 10, -b = -2*t + 2*m. Solve 5*l + 4*v = 16, 4*l + t*v = -v + 13 for l.
4
Let n be (-6*1)/(-2) + -1 + 3. Let m(r) = r**2 - 5*r + 4. Let w be m(n). Solve 20 = -5*b - p, 0*b - 5*p = -b - w for b.
-4
Let g = -15 - -21. Let w = 22 - 37. Let p be (-58)/(-6) + (-5)/w. Solve -3*b - p = -5*k, 2*k + 2*b = g*b + 18 for k.
-1
Let n be (-83)/5 + (-8)/20. Let l = -10 - n. Let s be (6 - 120/16)/((-2)/4). Solve 3*d = -3*a + 12, -d = 3*a - s*d - l for a.
3
Let y be (15 + -16)*(-2 + 2). Suppose y = 8*c - 14*c + 60. Solve -d + 0*d = 2*h - 8, 5*h + c = 5*d for h.
2
Let r(y) = -y**2 - 7. Let t(f) = 1. Let p(j) = -r(j) - 6*t(j). Let s = 2 - 2. Let n be p(s). Solve -a + 5*a - 4 = 4*g, n = a + 5*g for a.
1
Suppose -2*y = -5*i + 12, -4*y - 15*i + 19*i = 0. Solve -3*f - 11 = -m, -y*f - 12 = 5*m + 9 for m.
-1
Let u = -768 - -785. Solve -3*g + 4*p + p = 37, 3*g - p + u = 0 for g.
-4
Suppose -4*f = -0*m - 3*m + 15, 5*m = 3*f + 25. Suppose 2*j - 48 = -4*x - 0*x, m*x + 21 = 2*j. Solve -o - j = -5*h + 2*o, -3*h = -2*o - 11 for h.
3
Let v be (1/2)/(13/104). Suppose v*t + 12 = 0, -b = -6*b - 4*t + 3. Solve b*i = -2*i - 25, 4*i + 18 = 2*c for c.
-1
Suppose -6*t = -2*t - 12. Solve -t*n + 2*d - 1 = 3, -2*n + 8 = -4*d for n.
-4
Let i(m) be the second derivative of m**4/4 + m**3/6 + 2*m**2 - 21*m. Let z be i(2). Solve -j = p, -2*p + 3*j = p + z for p.
-3
Suppose 320 = 3*o + 2*c, o - 4*o - 5*c + 323 = 0. Let n = 116 - o. Solve -5*l - 4 = -2*h - 3*l, l - n = 5*h for h.
-3
Let f = 73 + -31. Let d = -8 - f. Let r be ((-60)/d)/(6/100). Solve r = -5*y + 4*l, -6*l - 12 = 3*y - l for y.
-4
Let w = -1 - -3. Let g = w + 0. Suppose -4*j + 18 = -g*j. Solve 4*m + j = i - 12, 4 = 4*i + 4*m for i.
5
Let a be ((-16)/2)/(-1) + -3. Suppose -a*h = h. Let x(q) = -2*q + 4. Let k be x(h). Solve -4 - 12 = -k*g - 3*w, -3*g = 3*w - 12 for g.
4
Suppose -3*q + 45 = -8*q. Let d be (q/(-2))/((-9)/1596). Let w be 2/9 + d/(-54). Solve -3*b + w = 0, 0 = 3*t - t - 4*b + 10 for t.
5
Let d be 1/(((-15)/(-6))/5). Let t(o) = -o**3 + 12*o**2 + o + 16. Let m be t(12). Let w = m + -26. Solve 6 = 2*p + w*c, -4*p = d*c - c for p.
-1
Suppose 0 = 4*u - 10*u - 192. Let k = u - -32. Solve -3*q + k*m - m + 5 = 0, 15 = -3*q + 3*m for q.
0
Suppose 0*o - 24 = -8*o. Solve -12 = f + o*f + 2*h, 0 = -3*f + 2*h - 9 for f.
-3
Let n = -14 + 20. Let v = -26 + 24. Let l be (1/3)/(2/6) - v. Solve -5*r + 3*t = -37, n*t - l*t + 7 = -r for r.
5
Let d(i) = 8*i - 101. Let b be d(13). Solve 2*c - c = -b*n - 7, 5*c = 3*n - 17 for n.
-1
Let f(l) = l - 2. Let j be f(3). Let q(z) = -25*z - 175. Let b be q(-7). Suppose b = p - 3 + j. Solve -c + 2 = -p*k, 3*k + 4 = 7 for c.
4
Let j = -58 - -66. Solve -3*z + 19 = 5*u - z, 2*z = 4*u - j for u.
3
Let a be (-5)/5 - (-5 + -1). Let b(h) = 19*h + 79. Let p be b(-4). Solve -3*v - n = -p, 5*v - n = -0*v + a for v.
1
Let p be -2*(-2 - 45/10). Suppose 0 = -p*l + 18*l - 95. Solve -a = -5*r + r - l, 0 = 2*r - 5*a + 23 for r.
-4
Suppose 9*r = 38 - 2. Solve r*q = -d + 8, -10 = -5*q + 14*d - 15*d for q.
2
Let a(f) = 0*f + 54*f**2 - f - 55*f**2 + 6 + 2*f. Let u be a(2). Solve 2*v + 0*v - 22 = -u*m, 3*m = -3*v + 18 for v.
1
Let z = 462 + -322. Let l = z - 114. Solve -5*u + l = 4*o, -2*u - 2*o = -u - 10 for u.
2
Let k(z) = -2*z - 6. Let s be k(-5). Suppose -2*c + 6 = -s. Suppose c*r + b = -3*b - 2, r = -2*b - 4. Solve -2*g + m - 2 = 0, 0 = -g + 5*m - r + 19 for g.
-3
Let q(j) = -j - 2. Let x(f) = -f - 1. Let h(b) = 4*q(b) - 5*x(b). Let i be h(8). Solve -1 = 4*t - i*o, -2*t - 3*o - 12 = 5 for t.
-4
Let q(w) = -w**2 - 15*w - 31. Let c be q(-13). Let i be 7 + c + (-2)/(-1). Solve 0 = -2*z - 5*a + i, -z + 0*z = -4*a + 11 for z.
-3
Suppose -55 = -14*f + 127. Solve -7 = 2*g - 3*w, 15*g - 3*w = 10*g - f for g.
-2
Let c(m) = m + 4. Let f be c(6). Let o be (-880)/(-55) - (10 - -1). Solve -4*n - 11 = -o*l + 9, 0 = -2*n + 2*l - f for n.
-5
Let c(p) = 6*p**2 + 47*p - 4. Let y be c(-8). Solve y*s + q - 10 = s, 0 = s + 2*q + 5 for s.
5
Let g(s) = -s**3 - 8*s**2 - 18*s - 33. Let h be g(-6). Solve 0 = -4*t - 2*a - 12, -3*t = -h*a - 9 for t.
-1
Let a be -4 + 3 - -3*1. Let h = a - -3. Let l(p) = -4*p + 6. Let g be l(-6). Solve 20 = -5*o - 5, -h*m - g = 5*o for m.
-1
Suppose -8*j - 100 = 2*j. Let a be -5*6/j + 1. Solve 4*c + k + a = 0, 3*c = 5*c + 4*k + 16 for c.
0
Suppose 7 + 11 = 2*n - 2*x, -2*x = 10. Suppose -3*o - 7 = 5*c + 1, 3*c - 4 = -n*o. Solve 2*f - 4 = 4*j, o*f + 4*j = 2*j + 8 for f.
2
Suppose -n - 25 + 129 = 0. Let r = -85 + n. Solve -27 = -3*d + 3*s, -3*d = -3*s + 2*s - r for d.
5
Let c be (3 - 2)/(2/(-24)). Let m = 12 + c. Suppose m = -w - 2*w + 18. Solve z + 4*x + 3 = 0, w = -2*z - 2*x + 7*x for z.
-3
Suppose 5*g - 252 = -q, 0*q + 206 = 4*g + 3*q. Let n = g - 45. Solve s = 4*p + n, -s = s - p + 4 for s.
-3
Let t(s) = -1. Let h(p) = 8*p - 24. Let v(d) = h(d) - 24*t(d). Let a be v(3). Suppose 9*u = 3*u + a. Solve -i + 11 - 2 = u*m, 0 = 4*m + 4*i - 12 for m.
2
Suppose 37 = 5*r - 4*t, 0 = 2*r - 2*t - 8 - 8. Solve -5 = -o + j, r*o + j = o for o.
1
Let m(l) be the third derivative of l**4/12 - 2*l**3 + 17*l**2. Let s be m(7). Solve a + 1 = -3*c, -s*c + c - 1 = a for c.
0
Let f(a) = 4*a + 16. Let r be f(-5). Let x be (-1)/4 + (-13)/r. Solve 0*i = 4*s + i - x, -s - i + 3 = 0 for s.
0
Suppose 10*o = 6*o - 16. Let p be (o*2/(-4))/(-2). Let b = p - -1. Solve 5*m - 2*m - a - 1 = b, -2*m - 4 = -3*a for m.
1
Let f(b) = -b**2 + 8*b - 10. Let v(s) = -s + 2. Let o be v(-2). Let i be f(o). Let x be (-3 - 0) + i/2. Solve -p + 4 = -1, x = 4*k - p - 11 for k.
4
Suppose -c + 47 - 2 = 0. Let d = c + -42. Let s = -4 - -9. Solve 8 = -4*r, -2*b + s*r + 1 + d = 0 for b.
-3
Suppose -3*b + 5*z = 29, -2*b - z = 3*b + 95.