 t be x(4). Suppose 4 = -t*i - 3*k, k + 3*k = 4*i - 12. Solve 3*h - i = -0*j + 5*j, 2*h = -2*j - 10 for j.
-2
Suppose 95*x - 100*x = 0. Solve -4*c - 3*m - 27 = x, 3*c = 5*m + 9 + 7 for c.
-3
Suppose 0 = 2*n - 2 - 0, -3*q = 3*n - 33. Solve -5*b + q = 5*w, b + 3*b - 4*w = 32 for b.
5
Let g(h) be the first derivative of -h**2/2 + 4*h - 10. Let j be g(-6). Solve -2*b + 6 = 0, -m - 2*b + j = -3*m for m.
-2
Suppose -3*h = 4*h - 2*h. Solve h*r + r + 7 = 2*f, 5*r + 4*f - 7 = 0 for r.
-1
Let u = -9 + 13. Solve -u*x - 7*n - 12 = -3*n, x - 4*n = 12 for x.
0
Suppose 2*b + j + 3 = b, -5*j + 3 = -4*b. Let m(t) = -t**2 - 6*t - 3. Let c be m(b). Suppose c = 5*u - 55. Solve 5*n = 2*x - 20, -5*x + 5*n + u + 23 = 0 for x.
5
Let m(u) = -7*u**3 - u**2 + u. Let f be m(-1). Solve 3*p - 11 = -f*z - 0*z, 0 = 5*p - 10 for z.
1
Let u(h) = h - 20. Let i be u(12). Let o be (-4)/i*14 - 0. Solve 2*f + o = 3*a, 2*f - 8 = -a - a for f.
1
Let f = -7 - -10. Suppose -4*i + f*i - 16 = 5*k, 2*i + 24 = -2*k. Let q = -9 - i. Solve 2*j = g - 7, -3*g + 2 = -q*j + 1 for j.
-5
Suppose 4*z - 2*m + 4 = 0, -20 = -7*m + 2*m. Let l be z/5 + 147/15. Solve -l = -3*a + h, -2*a + 4*h = 3*h - 8 for a.
2
Let n = -10 + 13. Suppose 6*g = n + 21. Solve 0 = -5*c + 2*l + 2*l + 17, 16 = g*c - 4*l for c.
1
Suppose d + 5*g - 23 = 0, 4*g + 27 + 5 = 2*d. Let n be (-2)/(-9) + 50/d. Solve 0*p + 8 = -5*o - n*p, 4*o - 3*p + 1 = 0 for o.
-1
Let x = 11 - 7. Suppose -x*k = -4*v + 16, v + 0*k = -k + 4. Suppose v*a = 6*a - 6. Solve -2*g = -a*s - 13 + 36, 3*s - 19 = g for g.
-4
Let c = -39 + 44. Let f be ((-10)/(-4))/((-2)/(-4)). Suppose 5*h - w - f = 0, 3*w + 0*w - 11 = 2*h. Solve -h*s - 18 = -c*u, u + 3*s - 1 + 11 = 0 for u.
2
Let w = -67 + 69. Solve -1 + 14 = 3*x + 4*k, 2*x - 4 = w*k for x.
3
Let u be ((2 - 1)*0)/1. Suppose 2*w = 6*w + 3*t + 8, -2*t = 4*w + 12. Let o = w + 5. Solve -29 = -3*h - o*k + 5*k, -2*h - 2*k - 2 = u for h.
3
Let k(b) = -b**2 - 2*b + 2. Let i be k(-2). Let y be 1/(1/(-4)) + 14. Suppose 5*h + y = 2*d, -i*h - 4 = 4*d - 0. Solve d = -v - 1, p + 4 = -2*v + 6 for p.
4
Let y = 4 - 2. Solve -z + y*r = 5, 2*z = -2*z + 4*r - 8 for z.
1
Let k(p) = p**2 - 8*p + 15. Let y be k(5). Solve -n = 4*t - 5*n - 24, 5*t - 3*n - 26 = y for t.
4
Let m be 3*(-1 + 7/3). Suppose 13 = 2*p + 3, -3*p = -2*f + 3. Suppose 4*x - 4*d - 28 = 0, d = -3*x - 4 + f. Solve n = -4*n - x*v + 35, -4*n - 4 = -m*v for n.
4
Let r = -34 - -24. Let a = r - -14. Suppose -5*m - 90 = -3*u - 2*u, 4*u + 5*m = 63. Solve 3*n - n - 2 = a*j, u = -4*j + 5*n for j.
2
Let y(k) = -305 + 297 - k + 4*k - k. Let x(t) = 2*t - 2. Let z be x(4). Let f be y(z). Solve f*o = -g + 10, -5*g - 5 = -o + 8 for g.
-2
Let q(u) = -u + 4. Let s be q(6). Let l be s*3*1/(-2). Solve -4*v = -l*i + 3, -4*i - v = -6*v - 3 for i.
-3
Suppose 4*q + 4 = 2*y, -2*y + 0*y = -3*q - 4. Solve 2 = n + 3*n - y*m, -2 = n + 2*m for n.
0
Let m(w) = -w**2 + 6*w - 6. Let l be m(4). Suppose 7*f - l*f = 0. Let x = 4 - 0. Solve f = -b - 4*k - 9, 5*b + x*k - 5 = -18 for b.
-1
Let k(b) = b + 5. Let j be k(-6). Let n be (-1 - -41)/4 - j. Let w = 3 - 1. Solve w*h + d + n = 0, 5*d = -4*h + 2*d - 27 for h.
-3
Let l(s) = 26*s**3 + s. Let j be l(1). Solve -j = -2*c + 5*b, 0 = -3*c + 5*b + 13 + 15 for c.
1
Let w = -6 - -14. Let r = w - 5. Solve -4*m = -d + r, d = 2*m - 0 + 1 for d.
-1
Let g(j) = -j**3 + 8*j**2 + 7*j - 7. Let x be g(9). Let v = x - -37. Suppose 2*c + 2*c = v. Solve -30 = -5*y - h - 4*h, -6 = y - c*h for y.
3
Let w = 11 + -6. Suppose -w + 15 = 5*r. Solve -3*y + 0*m = r*m - 1, -y - 2 = 3*m for y.
1
Let w be -2 - 12/8*(-8)/3. Solve 0 = 4*j - 5*m + 5, -5*m + 2 + 13 = -w*j for j.
5
Let s(d) = -d**2 + 5*d + 3. Let z be s(6). Suppose 5*i + 32 = i. Let w = z - i. Solve -12 = 4*u - 3*u + 3*c, 4*c + 5 = -w*u for u.
3
Suppose 2 + 0 = 2*i. Solve -5*k = -n - 10, -4*k + 7 + i = -5*n for n.
0
Suppose -4*r - 6*r = -140. Solve -2*p + r = 2*h, -4*p = -0*p + 2*h - 24 for p.
5
Suppose 2*y - 26 + 11 = 3*z, 0 = -y + z + 5. Solve -5*b - q - 18 = y, -3*b = -q - q + 16 for b.
-4
Let a(g) = -29*g**3 + 2*g**2 + g. Let k be a(-1). Let i = 44 - k. Solve -c + i = -2*m, 0*m + 2*m + 2 = -2*c for c.
4
Let q(g) = g**3 - 7*g**2 + 6*g + 5. Let m be q(6). Suppose -27 = -4*n + 3*o, -3*n = -4*o + 3 - 32. Solve -2*r = -3*c - r + n, 0 = -4*c + r + m for c.
2
Let s(q) = -q**2 + 8*q + 3. Suppose -w - 16 = -3*w. Let a be s(w). Solve b = a*o + 2 + 1, 5*b + o + 1 = 0 for b.
0
Suppose 6*z - 2*z = -4*n + 60, 0 = 4*n - 4*z - 92. Let x = -1 - -4. Solve -5 = 5*u - 5*a, -7*u + x*u - a - n = 0 for u.
-4
Let s(u) = -3 + 0*u - u - 3. Let k be s(-6). Suppose d + 0 - 4 = k. Solve 2*f - 2 = -2*a, f + d*f + 3*a - 7 = 0 for f.
2
Let j be (2 + 0 - 18)*-1. Let c = 4 - 7. Let m be (6/(-8))/(c/12). Solve 2*p - 1 - 7 = -v, -4*p + m*v = -j for p.
4
Let s(a) = a - 14. Let q be s(7). Let m be 2/q + 138/42. Solve 5*w - 4*k - 25 = -5*k, -2*w + m*k = 7 for w.
4
Let c(y) be the third derivative of -y**6/120 - y**5/6 - y**4/12 + y**3/3 - y**2. Let o be c(-10). Solve 4*n - 13 = 5*k, 0 = -2*k - 0*n - 4*n - o for k.
-5
Let t(l) = 34*l**2 + 1. Let p be t(-1). Solve u - 3*u + 5*j = 35, 4*j = 3*u + p for u.
-5
Suppose 0*t = -2*t + 4. Suppose -k + 4 = -t. Suppose k = -r + 4*r. Solve 8 = -r*d, 0*n + 2*n = 2*d + 8 for n.
0
Let a(v) = -v. Let k(x) = 3*x - 7. Let c(m) = -2*a(m) - k(m). Let j be c(5). Solve h - 7 = 4*t, -26 = 2*h + j*h + 2*t for h.
-5
Suppose 19 = 4*w + 3*n, 0 = -3*w - n - 0*n + 13. Solve 5*m - 2*m + 23 = 2*f, w*m + 4 = -4*f for m.
-5
Let f = 29 - 29. Solve 0 = -5*n - 5*q - f*q + 20, 3*n = 2*q - 3 for n.
1
Suppose -3*o = -8*o + 10. Suppose 2*s + o = t + 13, 5*t = -4*s + 1. Solve -m - s*u + 8 = -u, -5*u + 32 = -3*m for m.
-4
Let q(g) = g**2 + g. Let o = -1 - 1. Let c be q(o). Solve -2*t - 2*a = a + 22, -c*a + 12 = -4*t for t.
-5
Let t be -4*(2 - 5)/12. Let w be 1*(8 - (t - -2)). Solve -14 = -4*p + u, -w*p + 16 = u - 3*u for p.
4
Let s be (-23)/(-3) + (-8)/12. Suppose s*g - 15 = 2*g. Suppose 4*v + 28 = 4*c, g*v = -c - 4*c + 19. Solve x = -2*u - 1 - 1, -4*x - c*u = 8 for x.
-2
Let c be 35/14*(1 + 1). Solve -20 - c = 2*w - 5*h, 0 = 3*h - 9 for w.
-5
Let h be (12 + -2)/(1*-1). Suppose 3*u = -n + 10, n + u - 15 = 3*n. Let y = n - h. Solve -2*w = 4*o + 18, -o - y*w - 27 = -0 for o.
-2
Let u(x) = -x**2 - x + 44. Let l be u(-7). Let a = 9 + -43. Let n = -21 - a. Solve -l*b = -2*w + n - 3, 5*b = -2*w - 4 for b.
-2
Let i = 3 - -1. Let g be 183/21 + (-4)/(-14). Solve -4*d - g = -5*q - 2, q - i*d = 11 for q.
-1
Let f = 66 - 62. Solve -3*q + 3 = 4*v - f*q, 4*v + 2*q + 6 = 0 for v.
0
Let g be (45/(-4))/(9/(-24)). Suppose -2*c = c - g. Suppose 0 = 4*r - 6 - c. Solve -3*z - r*y = 20, 0 = -y + 2 - 4 for z.
-4
Suppose 0 = 2*j + 4*n + 16, 3*j + 5*n + 6 = -13. Solve 5*d - 4*k = d, -j*k = 4*d - 24 for d.
4
Let h(o) = 5*o**2 + 2*o + 2. Let i be h(-1). Let u = 5 + -3. Suppose -u*m + 9 = 5*x, -5 = 3*m + 4. Solve 0 = 4*f + 3*z + 4, -z = -i*f - x*z + 2 for f.
2
Let l(z) = -z**2 + 6*z + 37. Let g be l(8). Solve 2*s - 3*d + g = 1, -3*s - 16 = -d for s.
-4
Suppose -2*f - 4*x = 0, x - 1 = -2. Solve 2*m + f = -5*t - 0, -5*t + 2*m = -2 for t.
0
Suppose -5*g + 1 + 9 = 0. Suppose 1 = 4*u + f, -f + 2*f - 1 = g*u. Let o(h) = -h**2 - 4*h. Let z be o(-3). Solve -5*s + 3*i - 2*i + 9 = u, -5*s = z*i + 7 for s.
1
Suppose 4*r - 80 = -0*r. Solve 4*f + r = -3*z, -4*f + 8 = -5*z - 4 for f.
-2
Let f(d) = d**2 - 12*d + 16. Let j be f(12). Solve 0 = -4*m - 4*r - j, 2*r - 10 = 5*m + 5*r for m.
1
Let t(l) = l**3 - 3*l**2. Let w be t(3). Suppose -s - 4*k - 4 = 8, w = s + 5*k + 16. Solve h + s = 3*p, -p - 2*p = h - 14 for p.
3
Suppose 2*j = -3*j - 10. Let a = j + 4. Solve x + l = a, -x - 4*l - 2 = 2 for x.
4
Suppose 11*c - 8*c - 9 = 0. Solve 3*j + 2 = 5*y - 19, c*j + 15 = 3*y for y.
3
Let y(f) = -f - 1. Let j be y(-7). Suppose 0 = -5*s - 2*g + 37, -3*s - 5*g + j = -1. Let m be (2 - 4)/((-2)/5). Solve m*c = 5*n, 3*n - s = -4*c - 2 for n.
1
Let t = 3 - 10. Let a(j) = -j**3 - 7*j**2 - 2*j - 9. Let m be a(t). Solve -o = o + 3*l + 21, -m*l - 16 = -3*o for o.
-3
Suppose -r = y - 3*y - 4, -y + 20 = 5*r. Let q = 8 + -3. Let g = q + -2. Solve 0 = 5*f - 2*l - g*l + 5, 5*f - r*l = -3 for f.
1
Let o be 2/6 - (-19)/(-3). Suppose -l - 3 - 1 = 0. Let q = l - o. Solve -2*j + 11 = q*j + m, -2*m + 10 = 2*j for j.
2
L