
Let o(a) be the first derivative of -5 - 4*a + 3/2*a**2. Let c be o(8). Solve -2*i - 2*q + c = 0, -3*i - 4*q = -0*q - 35 for i.
5
Suppose 4*k + 2*s + 39 = 153, -3*s = -2*k + 77. Solve -4*u - 9 = 5*y, 2*u = -2*u + 3*y + k for u.
4
Suppose 0 = c - 0*c - 13. Suppose -3*a + c = -p, 2*p + 4 = 2*a - p. Let b be 33/15 - 128/(-160). Solve -b*f - 17 = m + f, a*f + 40 = -5*m for m.
-5
Let d = -467 - -472. Solve -h - 2*o + 9 = -4*o, 4*o - 17 = -d*h for h.
5
Let j(b) be the second derivative of b**4/6 - b**3/3 - 6*b**2 - 26*b. Let x be j(-4). Solve -3*s - x = -4*n - s, 4*n = -s + 16 for n.
5
Let v be 5 - 3 - 2/1. Suppose -4*m - 43 = -3*s + 4*s, 5*m - 3*s + 58 = v. Let z = m + 15. Solve r - 4*w = -11, -3*r - z*w = 4 - 3 for r.
-3
Suppose y + 4*a - 15 + 81 = 0, -3*y - 158 = 2*a. Let k = y - -52. Solve 4*f = d - 19, k*f = 2*d + 3*d - 5 for f.
-5
Suppose -12*v = -16*v + 452. Suppose 16*y - 63 = v. Suppose -4*p + 2*t = -24, -p - 2*p = -3*t - 21. Solve -2*m = -q + y, 6*m = -p*q + m - 20 for q.
1
Let r = -313 - -316. Solve -a = r, 3*a - a + 18 = 3*i for i.
4
Let b(r) = -r**2 - r + 10. Let i be b(-3). Suppose 0 = -26*j + 36*j - 30. Let w be (6/(-10))/((-2)/10). Solve -i*l - l - 10 = 0, j*l + 21 = -w*f for f.
-5
Suppose 32 = 3*t + t. Let y be ((-4)/(-10))/(22/605). Solve -3*s + y = 5*o, 5*o - 15 = s + t for s.
-3
Let s(i) = i**3 + i**2 - 9*i - 8. Let v be s(-2). Solve z - v*z = 4*o - 8, 2*z - 4*o - 20 = 0 for z.
4
Let i(d) = 3*d + 16. Let s(q) = 13*q + 65. Let t(j) = -9*i(j) + 2*s(j). Let v be t(-10). Let h be -1*(v + 2)*2. Solve u = h*n, -19 = -6*u + 2*u - 3*n for u.
4
Let g = 128 - 113. Solve -n = 2*t - g, 0 = -n - 2*n - t + 20 for n.
5
Let v(z) = 6*z**2 - 3*z. Let r be v(2). Solve 5*n - r = 3*s, 0*s - 3*s - 6 = -n for s.
-1
Suppose -3*s - s + 3*j = -2, -12 = -s - 5*j. Solve 2*v - s*t - 3 + 7 = 0, 5*v = -5*t - 20 for v.
-3
Let z = 92 + -92. Solve -4*a + 4*q - 28 = z, 4*a = -2*q - 3*q + 8 for a.
-3
Suppose -4*y = -5*r - 10, -5*r + 192 = y + 177. Solve -y = -u + 2*d - 14, 3*u - 3 = -4*d for u.
-3
Let v = 1727 - 1725. Solve -2*q - 6 = 0, -k + 5*q = -v*k - 17 for k.
-2
Suppose -7*b = -b - 48. Suppose 4*m - 2*m - 8 = -5*a, -3*a = 2*m - b. Suppose 2*p - 8 = -a. Solve 0 = 4*n + p*d, 5*n - 4*n - 20 = -5*d for n.
-5
Let k(o) = o**2 - 5*o - 21. Let i be k(-3). Solve -s - 2*s - 10 = l, i*l = -3*s - 18 for l.
-4
Let q(m) = m**2 - 4*m + 3. Suppose -5*z + 29 - 9 = 0. Let x be q(z). Solve -x*v + 2*g = -10, -5*g - 19 = -3*v - 3 for v.
2
Let j be -3 + (-6)/(-2) - -16. Let f = j + -10. Suppose f*w = w. Solve w = 3*d + 3*r - 15, d + 2*d - 5*r = -17 for d.
1
Suppose 5*m + 17 - 97 = 0. Let b be 21/5 - m/80. Suppose 2*d + 5*x = 7*d - 5, -d = x - 9. Solve b*g = 8, 0 = d*j - 3*j + g - 4 for j.
1
Let h = 258 - 253. Solve c - 2*v = 9, -c + 4*c = h*v + 25 for c.
5
Suppose -5 = -29*m + 24. Solve -4*r + m = -j, -r + 24 = -5*r - 4*j for r.
-1
Let a(j) = 3*j**2 - j - 3. Let n be a(2). Let r be 3/n + 55/35. Let v = 1 + -1. Solve -3*m = -9, r*m + v = 4*z + 10 for z.
-1
Suppose -y = -4*y + 9. Let m = -268 - -268. Solve m = 2*w - 3*i, y*i = 4*w + 3 + 3 for w.
-3
Suppose -3*i + i + i = 0. Solve -3*t - 1 = p - i*p, -4*p + 20 = 0 for t.
-2
Let v be 1/2 + (-20)/(-8). Suppose z + o = 0, -2*o + 5*o = 2*z - 20. Solve -v*y - 4 - 1 = 2*f, -1 = z*f + 3*y for f.
2
Let a = 29 - 21. Suppose -u - 7 = -a. Let o be 3 - (2 + -3 + u). Solve 2*h = 5*q - 31, -2*q + 13 = -o*h + 2*h for q.
5
Suppose -3*n = 1 - 7. Let l = 7 - n. Solve -w = 3*t + 4*w - 17, l*w - 18 = -2*t for t.
-1
Suppose -4*q = 3*u - 13, 2*u + 2*u + q - 13 = 0. Suppose -2*k = u*t - 1, -11 = -t - 0*t + 2*k. Solve t*r - o = -5, 3*o + 2 = 2*r + 17 for r.
0
Let z be (0 + 1)*50/25. Solve -4*i = -z*y, -2*i = 2*i + 3*y for i.
0
Let j(c) = c**3 + 5*c**2 + 3*c - 3. Let a be j(-4). Solve d + 3 = q - a, 12 = 4*q for d.
-1
Suppose -b - 4*b = 170. Let n = 39 + b. Suppose 3*c = n*u - 7, u - 2 = c - 1. Solve -3*p + u*k = -7*p - 14, 5*k + 25 = 0 for p.
-1
Let m = -400 - -405. Solve -4*q = -5*o + 10, m*q - o + 3*o + 29 = 0 for q.
-5
Suppose -174*y - 10 = -176*y. Solve -15 = -y*a, 3 = -2*u + 2*a - 7 for u.
-2
Let r(c) = -c**2 - 9*c - 9. Let o be r(-5). Suppose 8*l = o*l - 24. Solve 0*g + 4*g = 4*f - l, -2*g - 5*f = 25 for g.
-5
Suppose 4*l + 12 = 0, 2*n + 0*n - 2*l - 18 = 0. Solve -3*y = 3*o - n, o + 10 = -2*y + 7*y for y.
2
Let c be 1*(-1)/1 + -17. Let a be 0/((c/(-3))/(-3)). Let q = -7 - -7. Solve -3*r - 2*r - 3*n + 10 = a, -4*r + 5*n - 29 = q for r.
-1
Let u(w) = 1 + 4*w + 6*w - 4*w - 2*w**2. Let v be u(5). Let x be ((-2)/3)/(v/513). Solve 5*z - x = -3*f, -4*f + 3*z - 2 - 3 = 0 for f.
1
Let j be (-6)/12 + (-9)/(-2). Solve 3*c = 4*w + 6, 0 = -4*w + j*c + c - 10 for w.
0
Suppose -3*o + o - 10 = 0, -5*b - 2*o - 110 = 0. Let t = 22 + b. Let v = 6 + -3. Solve 0 = v*g - t*h + 5, 0 = 5*g + 2*h - 2 - 11 for g.
1
Let f(c) = -2*c**2 + 6*c - 10. Let o be f(5). Let u be o/7 + 4 - (-65)/7. Solve -s = 5*t - 2*t + u, 5*s = -4*t - 1 for s.
3
Let f(a) = 4*a - 2. Let d be f(-1). Let r be 0/((-3)/d*2). Solve 0 = 4*l + z + 12, 0 = -r*l + 3*l - z + 16 for l.
-4
Let i be 6 + -9 + (2 - -5). Solve 3*l - 5*k = 0, i*l - 2*k + 29 = -5*k for l.
-5
Let o be 3/((-21)/(-2))*(15 - 1). Suppose 2*i - 16 = -2*g, o*g - 17 = -2*i + 7. Solve -3*u = 0, -i*l + 3*u + 7 - 19 = 0 for l.
-3
Suppose -4*j - 2*l = -30, -5*j + 6*l = 10*l - 30. Suppose -4*o + 1 + 13 = -2*r, r - 9 = -2*o. Let g = 9 - o. Solve -5*z + j = b, -b + g*z = -0*b + 20 for b.
-5
Let v be 129/86*10/3. Solve 2*j - 3*q = -1, q = -v*j + 2*q - 9 for j.
-2
Let y be (5 - 8)*(0 - 1). Let l be -19 + 15 + (-1)/((-2)/16). Solve 21 = 5*m - l*o, -4*m + y*o = 5*o + 4 for m.
1
Let w(f) = -2*f**3 - f**2 + 3*f + 1. Let s be w(-2). Suppose -4*z + s*z = -4*n + 16, 16 = 4*n. Solve 2*k - 3*y = -z*k + 2, y - 16 = 4*k for k.
-5
Let x be (9/(-9))/(2/2) - -3. Suppose -d - 5*w - x = -0, -2*d + 5 = w. Let h = -9 - -11. Solve -f = -d*y - 12, 3*f = 2*y + h*y + 11 for y.
-5
Suppose 76 = 14*s - 22. Solve -i + s = -5*n, -2*i - i + 10 = -4*n for n.
-1
Let d(u) = u**2 - 3*u + 1. Let k be d(3). Suppose 0 = -f + 3*n - k, 4 = 3*f - 3*n + n. Solve 4*j - a = -9, -4 = 5*j - f*a + 8 for j.
-2
Let c = 975 + -973. Solve 2*o + 7 = -l, 0*l - 12 = c*l + 3*o for l.
-3
Let b = 63 - 58. Solve -d - 4 = -3*y, -4*y - 9 = -b*d + 4 for y.
3
Suppose 3*c = -5*y + 28, -3*c + 43 = -y + 9. Let n = c + -11. Solve n = 3*w + 2*l + 19, 0 = w - 4*l - 0*l - 3 for w.
-5
Suppose 4*a - 6 = 3*s - 74, 0 = 3*s + 4*a - 100. Solve 3*g + g + 4*d = 0, 4*d = 3*g + s for g.
-4
Suppose 3*k - 2*f + 5*f = 21, 2*k - 3*f - 9 = 0. Let v be k/(-27) + (-47)/(-9). Suppose 10 + 0 = v*g. Solve 4*t + 16 = -4*s, -g*s = -4*t - 4*s - 8 for t.
0
Let x(w) = -72*w - 4*w**3 + 69*w + 5*w**3 + 2 - 3*w**2. Let y be x(4). Solve 5*v - 8 + 3 = -5*h, -3*v = -y for h.
-1
Suppose 3*a - 5*v - 15 = 0, -2*a + 10 = 5*v - 4*v. Suppose -a*u - 8 = -3*u - 4*s, 5*s = 15. Solve r + 2 = -b - u, 2 = -2*r for b.
-3
Suppose -y + 7 = 2, 3*y = 2*o + 3. Let z = 42 + -38. Let x be ((-2)/3)/(z/(-12)). Solve -x*w = -2*b, b + o = -w - b for w.
-2
Suppose -m + 17 = 10. Suppose -39 = -m*g - 11. Solve 0 = 5*z + 4*c - 8, 2 + 2 = g*z + 4*c for z.
4
Suppose -3*p - 4*y + 30 - 27 = 0, 0 = p + 5*y + 10. Solve p*l = -2*u - 17, 6*u + 2*l - 10 = u for u.
4
Let n(h) = h. Let k be n(5). Suppose -6 = 3*p - 3*m, -p + 3*m - 7*m = -13. Let j be (-6)/24 + (9/4 - p). Solve -5*y = -y - q - j, 3*q + 3 = -k*y for y.
0
Let t = 105 - 1. Suppose 14*r + t = 10*r. Let o = r - -31. Solve -3*m - 9 = b, -4*m = o*b - 3*m - 11 for b.
3
Suppose 3*l = 709 - 694. Solve -l*t - 20 - 5 = 0, -30 = 3*m + 3*t for m.
-5
Let g be 102/(-9)*(-30)/20. Solve 4*a = -4*z - 5 - 7, 4*z - a = -g for z.
-4
Suppose u - 5 = -2. Suppose -u*j = -j. Suppose 3*m - 4*x = -x + 27, 4*m + 2*x - 48 = 0. Solve -3*v + j*v + m = 4*f, 2 = f + v for f.
5
Let y = 1326 + -1326. Solve -5*g + 3*t + 5 = y, 4*g + g + 2*t - 30 = 0 for g.
4
Let v(o) = o**2 - 25*o - 145. Let z be v(-5). Solve 3 = 3*w, -4*p + 13 = z*w - 0*w for p.
2
Let k = -21 + 18. Let t be 16*(-2)/(1 - k). Let b be 32/14 + t/28. Solve 0 = 2*q - 4*w - 12, 24 = b*q - 4*q - 5*w for q.
-2
Let k(b) = b**3 - 4*b**2 + 5*b - 4. Let j be k(3). Let v = 108 + -96. Suppose -j*n + v = 2*n. Solve n*m + 2*s - 23 = 0, -2 - 14 = -4*s for m.
5
Suppose -2*v - 20 = -3*h, 6*v = 2*h + 3*v