 Solve m = -2*t + 11, -h*t + m + 15 = -9 for t.
5
Let r = 13 - 16. Let k be r*6/(18/(-5)). Solve 0*m + m - 15 = k*x, -m = 4*x + 21 for m.
-5
Let h(c) be the first derivative of c**4/4 - c**3/3 - c**2/2 - 4*c + 3. Let r be h(0). Let p = 8 + r. Solve -w = 2*t - 6, p = 2*w + 3*t - 7*t for w.
4
Suppose 0 = 3*h - 5 - 31. Let p be (-1)/2*0/1. Let w be 3*(p + 1 + 0). Solve -w*x - j - h = 0, 2*x - 2*j + 13 = -j for x.
-5
Let z be (-1)/(-2)*(7 + 1). Solve z*c + 3*i + 1 = -15, -5*c - 3*i - 20 = 0 for c.
-4
Let g(t) = t**3 + 6*t**2 - t + 6. Let l be g(-6). Suppose -4*c = 2*c - l. Solve -c*o + 18 = 4*u, -24 = 5*o - o - 4*u for o.
-1
Let b be (2 - 1)*(8 + -1). Suppose -7*u + b = -6*u. Solve -d + 2*t = -u, -d - 2*d = 2*t + 19 for d.
-3
Suppose 57 = -4*m + 7*m. Solve -23 = 5*o - x, -3*o - m = -2*x + 4*x for o.
-5
Let o(g) = -5*g - 3. Let f(d) = 9*d + 5. Let a(s) = -4*f(s) - 7*o(s). Let h be a(-3). Solve 2*r + 0*q - 6 = -3*q, h = 3*r + 2*q for r.
0
Let l(p) be the third derivative of p**5/30 - 5*p**4/24 + p**3/3 + 3*p**2. Let g be l(3). Solve 2 = -3*s + g, 1 = -x + 3*s for x.
2
Suppose -3*s + 3*h = s - 98, 4*h + 8 = 0. Let v = 12 - s. Let c = 16 + v. Solve 2*m = c*a - m - 24, 5*a = -m + 12 for a.
3
Let o(v) be the first derivative of 1/3*v**3 + 6*v - 7/2*v**2 - 1. Let t be o(7). Solve 3*s - t = 3*q - 0, -2*s + 14 = 3*q for q.
2
Let k be (-8)/28 + 2/7. Solve -4*r - 5*s - 7 = 14, k = -r + 2*s - 2 for r.
-4
Suppose 9*b - 21 = 2*b. Solve u = b*z - 0*z + 20, -3*z - 5 = 2*u for z.
-5
Let x be 11 + -12 + (-3)/1. Let d = 7 + x. Solve 0*k = -d*s - k - 4, 0 = -2*s + 5*k - 14 for s.
-2
Suppose 0 = j - 5. Solve 0 = -2*n + 5*s - s - 6, j*s + 30 = -5*n for n.
-5
Let y = 15 + -12. Suppose y*u - 5*u - 19 = -3*v, 0 = -4*u + 16. Solve 5*n - 2*s + 21 = -v, 4*n - s + 21 = 0 for n.
-4
Suppose 3*c = 2*m + 15, 0*m + 2*m - 4*c = -14. Let b(w) = -w**3 - 8*w**2 + 9*w + 4. Let j be b(m). Solve 5*h - 25 = 0, -4*k - j*h + 21 = -5*k for k.
-1
Suppose h - u - 1 = -0, -2*h = -3*u - 3. Let g = h - -5. Let n(a) = 2*a**2 - 3*a - 4. Let b be n(-3). Solve -5*z + 5*i + 25 = 0, g*z - b = 4*i - 0*i for z.
3
Suppose 5 = 3*k - 10. Solve -5*j - 4*b + 1 = 9, 0 = 3*j + k*b + 10 for j.
0
Let u(d) = 2*d. Let m be u(11). Solve 2*q + 2*q = 2*b - m, 4*b = -2*q + 4 for b.
3
Let l(z) be the first derivative of -z**2/2 + 3. Let x be l(-5). Solve -2*n + x*b = 14, -4*n + b - 7 - 3 = 0 for n.
-2
Let p be (-1 - -2 - 5)/(-2). Suppose 0 = -p*f - 2*f + 28. Suppose 5*i = -2*d + 20, -d + 0 = -4*i + 3. Solve 3*q - h - f = 0, -2*h = i*q - 4 + 2 for q.
2
Let d be 4/6 + 5/((-15)/2). Solve d = 3*y + g + 4*g - 24, -2*y - 6 = -4*g for y.
3
Let d be (-16)/(-5) - 1/5. Let o(l) = l - 4. Let t be o(-3). Let k = t - -9. Solve -k*c + 0*c = -a + 5, d*c + 3*a + 21 = 0 for c.
-4
Let z be 36/(-3)*(-3)/6. Let g be (4/(-6))/(z/(-45)). Solve -b + g*n + 4 = 0, -4*n + n = 2*b + 5 for b.
-1
Let v = -57 + 62. Solve 30 = 5*b - 5*c, 2*c - 3 - v = -2*b for b.
5
Let t(d) = -6*d + 1. Let s be t(-1). Let r = s - 4. Suppose -1 = -w + r, 0 = 4*f + 3*w - 24. Solve -q = -f*i - 8, 0 = -5*i - 0*i + 4*q - 18 for i.
-2
Let r be 4/(-16) + (-1970)/(-8). Let u be r/8 - (-5)/20. Let n = -21 + u. Solve -5*i = 3*d + n, -i - 2 = -d + 3*d for d.
0
Let f = 92 - 66. Solve -4*r + 9 + 5 = -k, 5*r + 3*k = f for r.
4
Let u(k) = -k**2 + 7*k + 1. Let z be u(7). Let q be (0 + z)/(1/3). Let d = 7 + 11. Solve -2*c = -1 + 3, -3*c - d = q*p for p.
-5
Let h = 39 - 35. Solve -h*f - 4 + 24 = -z, 0 = -4*f + 20 for z.
0
Let l(g) = -4*g - 2. Let m be l(-1). Solve -m = w - 2*s, 5*w - 4*s + s = 4 for w.
2
Suppose 5*s + 9 = 3*k, 5*k + 4 = 2*s + 19. Suppose 5 = v + k. Solve -u = 5*z + 7, 3 + 0 = z - v*u for z.
-1
Let k(i) = -4*i - 1. Let p be k(-4). Solve -4*m - m = 5*j - p, 3*j = -4*m + 9 for j.
3
Let t be -2 + 4/2 + 0. Let f(p) = t - 9*p - p**2 + 4 + 0*p**2. Let q be f(-9). Solve 0 = -5*r + 20, -q*d + r - 28 = -2*r for d.
-4
Let w be 4/(-10) + (-81)/(-15). Let q be (-2 - -1)/(-1)*2. Let d be ((-4)/w)/(q/(-5)). Solve z + 24 = -d*z + 4*k, 2*z = 5*k - 23 for z.
-4
Let u(j) = j**3 + 6*j**2 - 6*j + 7. Let y be u(-7). Solve -z + a - 4 = y, 3*z + 25 = -2*a + 8 for z.
-5
Let i be (1 - (-1 + 1))*-1. Let v(a) = 3*a**2 - a. Let z be v(i). Let w = 2 - -2. Solve z*r - w = -2*x, 5*r - 8 = -2*x + x for r.
2
Suppose -6*x = -5*x - 8. Let d = x + -5. Solve n + 2 = -d*l, 5*n - 4 = -l - 0 for l.
-1
Suppose 2 - 8 = 2*s. Let y = 7 + s. Let d be y - (-3)/(2 - -1). Solve -d*r - 23 = 2*h, 4*r + 3*h = -0*h - 17 for r.
-5
Let m(v) = -v**2 - 2*v + 4. Suppose -3 - 6 = 3*l. Let w be m(l). Let o = w - -3. Solve -5*f - o = 3*j, -3*j + 6*j = -3*f for f.
-2
Let h be 11*(6/(-3))/2. Let t = 14 + h. Solve 0 = 5*x + t*i - 19, 4*x = 8*x + 4*i - 20 for x.
2
Let b be 3/(99/6) + 42/11. Solve b*i - 3*f = 2, i = -f + 2*f for i.
2
Let z be 29 - (-1 - 0)/1. Let b be 120/55 + 2/(-11). Solve 5*m = 5*f - 0*m - z, -b*m - 24 = -5*f for f.
4
Suppose 0 = -4*z - 72 + 24. Let u be ((-2)/6)/(2/z). Let i(c) = -2*c - 9. Let f be i(-6). Solve -f*k = w - 1, -u*k + 2*w = -0*w + 2 for k.
0
Let g = 28 - 25. Solve -k + 16 = 3*k + 3*x, -g*k - 5*x = -23 for k.
1
Let k(f) = -f**2 + 3*f + 3. Let w be k(3). Suppose w*r + 29 = 83. Solve -2*a + r = -5*n, -3*a - 4*n = -2*n - 8 for a.
4
Let h = 130 + -100. Solve -6*s = 5*d - s + h, 15 = -3*d - 2*s for d.
-3
Let x(p) = -p**3 - 9*p**2 + 9*p - 6. Let t be x(-10). Solve 0 = t*w + 2*s - 22, -33 = -4*w - 3*s - 8 for w.
4
Let i = 31 - 6. Solve -4*l = -2*l + j - 10, -5*l + 5*j = -i for l.
5
Let n = 15 + -2. Suppose 3*p + 1 - n = 0. Let t = 6 - p. Solve 0*m = m - h + t, 2*h + 20 = -4*m for m.
-4
Let l be -1 + (-2 + -1 - -5). Suppose u = 6*u - 10. Solve 2*d = q, u*d - 7*d = -2*q - l for d.
1
Let d be 1/(-2)*-2*(-2)/(-1). Let c(x) = -3*x - 3. Let p be c(-2). Solve -p*z + 3*h + 9 = 0, 0 = -d*z - 0*h + 3*h + 11 for z.
-2
Let q(g) = -g - 10. Let p be q(-11). Solve p = -3*k - 5*s, 0 = 4*k - s - 2*s + 11 for k.
-2
Let n be 0 + (-3)/3 + 1. Let x be -3 + 3 + 0 + n. Suppose 4 = 5*m + c - 1, -2*m + 5*c - 25 = x. Solve m = -5*j - 0*j + 20, -2 = 5*w + 2*j for w.
-2
Let c = 1 - -4. Suppose 14*y + 14 = 21*y. Solve -a + c*g - g = 4, -y*a = 2*g - 2 for a.
0
Suppose 26*h = 25*h + 4. Solve 3*f - v + 7 = 0, 2*f + 11 = -h*v - 3 for f.
-3
Let w(m) = 2*m. Let p be w(1). Solve 0 = -4*o - 2*t + 20, -p*t = -2*o - 3*o + 16 for o.
4
Let o(w) = w**3 + 3*w**2 + 4. Let j be o(-3). Solve 0 = -2*a + k + 8, 0 = 4*a + j*k - 0 - 28 for a.
5
Suppose -3*c = -0*c. Solve 3*q - 3*f = 0, -q = 2*f - 6 - c for q.
2
Let w(y) = y + 21. Let h be w(-18). Solve 5*k = 4*l - 9, h*k - 3*l + 4 = -2 for k.
-1
Let t = -20 + 23. Solve -t*w = -4*w - 5*f - 1, -4*f = -3*w - 3 for w.
-1
Let l = 196 - 299. Let m = -66 - l. Solve 3*y + 5*f - m = 0, -5*y + 2*f = -3*f + 5 for y.
4
Let w(o) = o**3 - 3*o + 3*o**2 - 13*o**2 + 9 + 2*o. Let j(h) = h**2. Let i(u) = 3*j(u) + w(u). Let v be i(7). Solve -l + 1 = 5*c, -2 - v = -4*l + c for l.
1
Let k = 8 + -13. Let m(f) = f**2 + 5*f + 5. Let g be m(k). Solve s = g*c - 2*s - 13, -c = 4*s - 21 for c.
5
Let a be 1/(-4) - (-75)/12. Let y be -3*(-4)/a - -11. Let l = y - 8. Solve -5*q - 4*u = 0, -3*q + l*u + 13 = -6*q for q.
4
Let v = -4 - 3. Let h = -3 - v. Solve 0 = -5*n - 5*y - h - 36, -4*y - 4 = -3*n for n.
-4
Let n be 6 + (-4)/2*1. Let o(q) = -q + 1. Let z be o(1). Suppose 0 = -z*p + p. Solve p*k - k - s = 0, -n*s = -3*k + 14 for k.
2
Let f(l) = l**2 - 8*l + 9. Let o be f(8). Suppose 3*d + o = 3*v + 2*d, 2*d = -2*v - 2. Solve -v*s + 20 = 5*q, 0*q + 4 = q - 4*s for q.
4
Let h be 0 + 1/(-6) + 91/42. Solve 2*c - 6 = 3*w - 15, 0 = -h*w + 5*c + 6 for w.
3
Let c be (-6)/33 - (171/(-33) - 0). Solve 4*y - c*b = -15, 2*y - y + 9 = -4*b for y.
-5
Suppose -9*c + 30 = -15. Solve c*w = -5*g - 0*w - 35, -4*g + 5*w = 1 for g.
-4
Suppose 1 = -3*c + 49. Let b be (-18)/9*2/(-4). Solve 25 = -5*q + 4*o - b, -4*o = -c for q.
-2
Let f = 3 - 1. Let z be 3/6*5*f. Solve -z*j + o + 22 = 2*o, j = 2*o for j.
4
Let r(w) = w**2 + 16*w + 22. Let d be r(-15). Suppose -3*k + d - 1 = 0. Solve -k*p = -x + 14, -3 = 3*x + p + 2*p for x.
4
Let t(p) = 2*p**3 + 11*p**2 + 2*p - 5. Let y be t(-5). Solve -4*h + y = h + z, 2*h + 5*z = 27 for h.
1
Suppose 4 + 24 = 4*p. Let b(f) = f**2 - 6*f - 6. Let x be b(p). Let o(n) = 31*n + 1. Let l be o(x). Solve 0*g + 5 = g, 0 = 4*z - 4*g 