u.
0
Let q(k) = -k**3 - 15*k**2 + 6*k + 94. Let j be q(-15). Solve d = -j*u - 2 + 8, -3*u + 4*d = -14 for u.
2
Suppose u + 5*h - 28 = 0, -8 = -5*h + h. Suppose 0 = 13*m - u*m + 15. Solve 4*i - 6 = -m*c + 2, -4 = -2*c - 4*i for c.
4
Let m(z) = 9*z - 85. Let l be m(10). Solve 5*c - 1 = -2*j, 4*c = -c - l*j - 5 for c.
1
Let j = -581 - -597. Solve j = -4*i - 2*s, 0 = i + 3*s + 2*s - 5 for i.
-5
Let n be 1 + 3 + 3 + -4. Suppose -2*t - 2*t + 22 = -3*g, -t - 2*g + 11 = 0. Suppose 2*u = t*u. Solve 3*l = -j + 12, -3*l + j + j + n = u for l.
3
Let t(f) = -4*f + 22. Let w be t(-8). Suppose -45 = a - w. Solve 2*v - y = 6, v + 3*y + a = -2*v for v.
1
Suppose 5*i + 27 = -3. Let y be 0/((-40)/48 + 1/i). Solve -3*l + 2*k - 2 = y, -3*l - 5*k = -8*l for l.
-2
Suppose -4*f = -0*f. Suppose -3*p = -2*g - 0*g, f = -5*p - 2*g. Let l(t) = 7*t**3 - t**2. Let i be l(1). Solve -k = -i*k - y, k + y = p for k.
0
Suppose 4*d = -5*j + 10, 35*j + 5*d - 5 = 30*j. Solve 0 = -n - j*o + 9*o, 4*n + o = 0 for n.
0
Let h = -34 + 38. Suppose 5*t = -0*r + h*r, 0 = 5*r + t. Solve -9 = -2*y + u, 5*y + u - 5 = -r for y.
2
Suppose -102 = 4*u + 290. Let z = -93 - u. Solve z*w + 17 = -3*h + 3*w, -2*h = w + 11 for h.
-5
Suppose -5*j = -j - 12. Suppose 4*f + 5*m = 23, -2*f + 6*f - j*m = -1. Solve 3*k - 28 = 5*y, 2*y + f*y + 17 = -3*k for y.
-5
Suppose 0 = -2*i + 6*i - 128. Let d be i/5 - 2/5. Let a = -6609 + 6611. Solve -3*q - q + 8 = 0, -a*w + d = -q for w.
4
Let p be (5 - 4) + 5 + -3. Solve w - 4 = -y + 1, 0 = -3*w + y + p for w.
2
Suppose 5*o - 4*u + 2 = -14, -3*u + 12 = -2*o. Solve 4*c + 2*s + 18 = 0, o = -8*c + 7*c - 4*s - 22 for c.
-2
Let i(h) = h**2 - h - 3*h**3 + 2*h**2 + 2*h**3. Let g be (2/8)/((-21)/24 + 1). Let f be i(g). Solve -5*t - 40 = -3*n, -f*t = -6*t + 3*n - 35 for t.
-5
Suppose 2*p = -3*t + 41, -8*t = -2*p - 6*t + 56. Solve 3*j - j + p = 5*g, 5*g = j + 25 for g.
5
Let s(d) = -d**3 - 7*d**2 + d + 9. Let r(b) = b - 4. Let z be r(-3). Let a be s(z). Solve a*n + 3*f - 13 = -0, 2*n + 5*f = 19 for n.
2
Let s be -56*7/70 + (-6)/(-10). Let n be (3 - (-3)/(-1))*s/15. Solve d - 5*r + 7 = 0, 0 = -n*r - 3*r + 6 for d.
3
Let s be (-3 - (-3 + 0)) + 0 + 2. Solve -s*d + 2 = -j, -4*j - 5 = -5*d - 2*j for d.
1
Suppose 2*h - 3 = -4*n + 1, -3*n = 3*h - 18. Let g = 14 - h. Solve 0*a + 10 = 3*a - g*i, -i = 1 for a.
2
Let s(h) = 46*h - 46. Let g be s(1). Solve -2*y + 2*w = -g*y + 10, 0 = -3*w for y.
-5
Suppose 0 = 4*b + 2*l - 0*l, 3*b = -l. Let p(v) = -v - 5. Let u be p(-7). Suppose u*d - 2 = 2. Solve 3*r = -d*g - b*r - 5, g - r = 10 for g.
5
Let v(l) = -l**3 - 5*l**2 + 7*l + 8. Let c be v(-6). Let d = 6 - c. Suppose 0 + 40 = 5*w + 4*u, -2*u = -10. Solve a + x - w*x + 6 = 0, 2*x - d = a for a.
0
Suppose -3*c - 5*p = -0 + 8, 2*p = -2*c. Let d = -2 + 1. Let z be (c + -1 + d)/1. Solve 3 - 1 = 4*v - z*g, 4*v - 5*g = -7 for v.
2
Suppose -5*x + 0*p + p + 154 = 0, -3*x + 91 = -2*p. Solve 4*b = -5*s - x, 0 = -4*s + s - b - 13 for s.
-3
Let g = 1397 - 1393. Suppose 4 = -j, 0 = -3*o - 0*o - 2*j + 4. Suppose -l - 6 = l - o*h, l = -g*h + 21. Solve -2*x + 2*c - 4 = 8, l*x = -c - 6 for x.
-2
Let x = 348 + -346. Solve 0 = 2*v - x, -5*h = -0*v + 4*v + 6 for h.
-2
Let p(d) be the first derivative of -9/2*d**2 + 26*d + 9 - 1/3*d**3. Let h be p(-11). Solve -4*f + 9 - 1 = -5*u, 3*f = -h*u + 6 for u.
0
Suppose 0 = -3*i - 105 + 294. Let y be 6/27 + 1372/i. Let c = y - 19. Solve 5*h - 2*v = -14, c*h + v = -3*v + 2 for h.
-2
Let d(w) be the second derivative of -5*w**3/6 - 5*w**2/2 - 13*w. Let i be d(-2). Solve i = -3*o + 2*o - t, 22 = -5*o - 4*t for o.
-2
Let j = 97 - 195. Let w = -70 - j. Suppose n - 5 = -0. Solve w = z - 5*d, n*z + 3*d = -0*d for z.
3
Let i be (15 - 4)*2*1. Suppose -5 = -3*c + i. Suppose 0 = 6*o - 9*o + c. Solve 0 = o*d - 2*u + 23, 4*d - 1 = -u - 17 for d.
-5
Let i be 2 + (-1 - 1) - -10. Let a = i - 3. Suppose -3*x + 2 = -a. Solve -5*b = -0*b + d + 7, -3*d = -x*b - 15 for b.
-2
Suppose 0 = i + 4*o - 19, 1 + 12 = 4*i - 5*o. Let h be (4 - i)/(-12) - (-14)/8. Solve 2*v - 16 = -3*c + 7*v, -3*v + h = 4*c for c.
2
Suppose 7*y - 101 = -87. Solve 15 = 5*x + 4*h, y*h - 6*h = 0 for x.
3
Let h(i) = -i**2 + 6*i - 9. Let j be h(4). Let v = 3 + j. Suppose -3*u + n + 12 = 0, v - 5 = -n. Solve f - 8 = 3*s + 2*f, -u*s - 4*f = 4 for s.
-4
Let h(s) = s**3 + 8*s**2 + 3*s + 26. Let z be h(-8). Solve 4*g - 16 = 0, -3*v + 24 = -z*v + 5*g for v.
4
Let d(k) = -k**3 + 6*k**2 - 5*k - 12. Let h be d(5). Suppose -37 = -2*w - 3. Let o = w + h. Solve 5*z = o*x + 20, 0 = -3*x - 9 for z.
1
Let j(c) = -c**3 + 4*c**2 - 2*c. Let h = -12 + 13. Suppose 3 = i + h. Let x be j(i). Solve 3*b + 0*b - z = -2, -5*z - x = -b for b.
-1
Let m(i) = 4*i + 55. Let a be m(-11). Solve -r + 4*r - u - 11 = 0, 3*u = -2*r - a for r.
2
Let b = -701 - -705. Let x be 1/3 - (-16)/6. Solve -6*w - 2*a = -x*w - 19, -b*w = -a - 18 for w.
5
Suppose 2*b + 15 = u - b, 61 = 5*u - b. Suppose -7 = -2*n + 1, -z - u = -3*n. Let t(x) = x + 3. Let p be t(z). Solve 2*s - o - 2 - 7 = 0, -p = -2*s - 5*o for s.
4
Suppose -57*a = -51*a - 108. Suppose -8*z - a = -14*z. Solve l = i - 1, 4*i = 3*l - 0*l + z for i.
0
Suppose -2*j + 31 = -5*m, 7 - 22 = 3*m. Solve -2*o = 3*x - j, -4*x + 3*x + 5*o = -1 for x.
1
Suppose -3*u - 4 = -4*u. Solve 5*q = 2*t + 15 + 16, -32 = u*t - 4*q for t.
-3
Let z(h) = -7*h + 24 - 16 + h**2 + 2*h. Let i be z(4). Solve 4*l = v + 14, 3*v = -5*l + i*l + 10 for l.
4
Let k(y) = -7*y**3 + 91*y**2 - 2*y + 30. Let m be k(13). Solve 4*c + 4 + 16 = m*z, -5*c + z = 17 for c.
-3
Suppose -r - 40 = -2*j - 37, -j + 14 = 2*r. Solve 3 = -4*z + r*g - 19, -4*g = -2*z - 14 for z.
-3
Let f(o) = 9*o**2 - 3*o + 5. Let u be f(-4). Suppose 4*l + 4*a = 120, -4*l - 5*a = -u + 39. Let r = l - 9. Solve 4*i - 3*h = r, -i - 19 + 45 = -5*h for i.
1
Let r = -60 + 64. Suppose 5*q + 6*s - 25 = s, -3*q + r*s = -29. Solve 0 = i + 3*x - 11, 2*i - 3*i + q = 2*x for i.
-1
Let w be 2*-5*(-4)/(-5). Let t be (6/w)/((-3)/12). Solve -t*r - 5*s = -5*r + 1, -4*s = -5*r + 11 for r.
3
Let w(q) = -4*q**3 - 4*q**2 - 2*q + 2. Let n be w(-2). Solve 5*v = 3*c - 6*c - n, -5 = 2*v + 5*c for v.
-5
Suppose -3*s - 8 = -2*f - s, -2*f = 2*s - 4. Solve -4*c + 0*k + k + 11 = 0, f*c = -5*k + 37 for c.
4
Let j be 1 + 0 - (2 + -2). Suppose 2*g - j = 3*m, g = -g + 5*m - 5. Suppose 2*x = -g*n, -2*x - x = -2*n - 19. Solve x*v + 4 = 3*v + q, 0 = -4*v + 5*q - 8 for v.
-2
Let k(p) = 2*p**2 - 7*p + 8. Let l be k(2). Solve -5*b + 30 = -a, -10 = -l*b + 3*b + 3*a for b.
5
Let j = -230 - -233. Suppose 0 = -w - 4*h - 9, -4*h - 9 = -h. Solve w*r + 3 + 3 = -3*g, -j*r + 2*g - 21 = 0 for r.
-5
Let o be 8 - ((-2)/5 + 6/(-10)). Suppose 4*q - o*q - s + 14 = 0, 4*s = q - 7. Solve 3*j - 9 = 2*x, -j + 4*x + q = -0*j for j.
3
Let p(u) = -8*u - 24. Let x(z) = -6*z - 24. Let m(j) = -2*p(j) + 3*x(j). Let d be m(-13). Solve -3*c - 8 = 4*k, 0*c = -4*c + d*k + 4 for c.
0
Let q = 105 + -54. Suppose -9*v + q = 6. Solve -v = 5*x - 2*x + 4*z, x = 4*z + 9 for x.
1
Let k(o) = 2*o + 4*o - 5 + 9*o - 10*o. Let h = 7 - 5. Let j be k(h). Solve -j*t = -10, t - 4*t = -2*l - 10 for l.
-2
Suppose -3*k + 6 = -3, 3*h - 6*k = -6. Solve 2*p - 2*n - 16 = -6, 5*n = -h*p - 25 for p.
0
Suppose 5*h - 6 = -w, 232*w - 228*w + h = 24. Solve -6*k + 3*k = 0, 0 = -3*q - k + w for q.
2
Let h(k) = 3*k + 21. Let b be h(-7). Suppose -3*s = -4*c + 4, -3*c = -b*c - 5*s + 8. Let u be 2 + (c - 6) - -6. Solve 3*a + 6 = 4*n - 4, 2*a = 2*n - u for a.
-2
Let u(m) be the first derivative of -m**4/4 - 13*m**3/3 + m**2/2 + 15*m + 3. Let d be u(-13). Solve p + 2*p - 12 = 0, 0 = -a - d*p + 8 for a.
0
Let m(w) = -w**2 + 16*w + 32. Let y be m(16). Suppose 0 = c + 7*c - y. Solve c*z = 3*d - z + 31, -3*d - 2*z = -4 for d.
-2
Let f = -460 - -465. Solve -26 = -2*y + 4*r, r - 40 = -f*y + 6*r for y.
3
Let p = -18 + 12. Let t be 2 - -6*2/p. Solve 3*c - 5*l - 40 = t, 2*c + 10 = 3*l - 7*l for c.
5
Let s = -1003 + 1005. Suppose -3*x = 3*l - 6*l - 9, -x + 5*l + 7 = 0. Solve x*i + s*g + 1 + 3 = 0, 3*i - 4*g = 22 for i.
2
Suppose -26*f = -30*f - 40. Let m be 74/20*2 + 4/f. Solve -18 = 5*o + 5*k + m, 0 = -3*o - k - 11 for o.
-3
Suppose 12 = 3*m - 0. Suppose 0 = 5*r - 24 + 9. Suppose 0*a + m*a - 36 = 5*i, -5*i - 27 = -r*a. Solve 5*z - 14 = f, 4*z - a = -0*f + 3*f for z.
3
Let x(v) = 55*v**2 + 3*v - 3. Let 