Solve 0 = 3*z - 3*v + m - 1, 2*z + 6 = -2*v for z.
-4
Let f = -5 - -7. Let j(c) = -5 + 8*c - c**f + 0*c**2 + 1. Let r be j(7). Solve 2*k - 1 = r*d - 0*k, 0 = 2*d + 5*k + 26 for d.
-3
Suppose -2*r = w - 20, -25 = -2*w - 2*w + 3*r. Suppose -30 = -5*x - w. Suppose -3*s = -n, -5*n - s + x = -12. Solve -3*d - 3*y + 3 = -d, -n*d - 4*y = -4 for d.
0
Let t(p) = -p**3 + 3*p**2 - 2*p. Let n be t(2). Solve -4*i - 2 = -4*j + i, n = 3*j - 5*i + 1 for j.
3
Suppose 3*x = -3*x + 42. Let l(k) = -k**3 + 6*k**2 + 9*k + 8. Let j be l(x). Solve 0*y + 2*q + j = -4*y, 4*q = -y - 16 for y.
-4
Let m(q) = q**2 + q - 2. Let b be m(-2). Suppose b*g + 6 = -g. Let z be (-1 - 11)/(9/g). Solve 3*d + 2*v = -4, -2*v - 2*v = 5*d + z for d.
0
Let u be (-6 - -4)/(1/(-4)). Suppose 0*f - 4*f = -u. Solve 3*o = -4*y - 13 - f, -4*o - 19 = 5*y for y.
-3
Suppose -2*i - 1 + 17 = -4*k, -3*i - 5*k + 13 = 0. Suppose 0 = 2*d - t + 3, -5*d + 5*t = i + 9. Solve d*v - 20 = -5*v + 5*s, 0 = 2*s for v.
4
Suppose 9*b - 2 = 8*b. Solve 3 = -5*g + b*v + 16, -5*g - 5*v = 15 for g.
1
Suppose -5*m - 16 = 4*f + 4, 5*m - 2*f - 10 = 0. Let z = 5 + m. Solve 5*i - t = -5, t = -6*i + 2*i + z for i.
0
Let b(t) = t**2 - 8*t + 7. Let f be b(7). Suppose 32 = 10*k - 58. Solve f = v, 3*h + v = -0*v + k for h.
3
Let l(f) = f + 6. Let p be l(10). Solve 5*o = -2*n + 25, -3*o = n - p + 1 for o.
5
Suppose -6*t + 1 = -5. Suppose 2*y + 0*y - 8 = 0. Solve y*n - 2 = -2*z, 0 = 3*n - 2*z + 6*z + t for n.
1
Suppose -f + m = 2*m + 1, 2*f - 3*m - 18 = 0. Suppose -d = f*d. Solve -14 = 3*v + 5*i, -4*v - 3*i - 1 - 3 = d for v.
2
Suppose -b = 5*t - 31, 3*t = -b - t + 29. Solve -5*s = 4*f - b, 3*s + 8 = -2*f + 19 for f.
4
Let c = 13 - 6. Let w be 4/(-18) - (-60)/27. Suppose -w*l + 7 + c = 0. Solve 3*n - l = f + f, 0 = 5*n - 2*f - 9 for n.
1
Suppose 4*j = -4*o + 24, 3*j - 2 = -2*o + 3*o. Suppose g - 3*g = -j. Let a = 6 - g. Solve -a*b + 3 = 3*n, -2*n - 2*n - 31 = -5*b for n.
-4
Let w(v) be the first derivative of -v**3/3 + 7*v**2/2 - 8*v - 2. Let o be w(7). Let a = 11 + o. Solve -s + 2 = 0, s = -4*u + 3 + a for u.
1
Suppose m + 4 = -4*p + 24, 4 = 5*m - 4*p. Solve 3*r = -m*d + 4*r + 15, -5*d = -2*r - 18 for d.
4
Suppose 0 = 3*x - 4*h - 88, 4*h - 139 = -4*x - 31. Solve -c + 5*d = 16, -3*c - d + x = 3*d for c.
4
Let v(s) = 7*s - 4. Suppose 4*l + 4*g = 36, -2*g + 10 = -0*g. Let z be v(l). Suppose 3*h + z = 5*h. Solve 2*q + 3*q = 3*t - h, 4*t - 16 = -2*q for q.
0
Let w(m) = 2*m + 27. Let v be w(-12). Solve -2*k = -3*b + 4, -5*k - b - 21 = -v*b for k.
-5
Suppose -2*b + 8 - 4 = 0. Suppose 0*m = -b*m. Solve 4*r + 4 = -5*y - m, 0 = -4*y + r - 20 for y.
-4
Suppose -2*y + 9 = -1. Solve 2*k = y*w + k, w + 11 = -2*k for w.
-1
Suppose p = 3*l, 4 = p - 3*l + 2*l. Solve -5*g + 14 = -7*k + 3*k, -g = -4*k - p for k.
-1
Let j(b) = 5*b - 1 - 2*b**2 + 4*b**2 - b**2 - 3*b. Let k be j(-3). Solve l = -2*x - 0*x + 4, k*l - 3*x = -20 for l.
-4
Let j(r) = -r**2 + 8*r + 2. Let s be j(8). Let z = s + 1. Solve 2*f + 2*f = 5*v - 4, -4 = z*v - 4*f for v.
4
Suppose 1 - 7 = 3*f. Let g be -1*2 - -2 - f. Let r(i) = -i**3 + 2*i**2 + 2. Let n be r(g). Solve 2*x - u = 3*x + 1, x = -n*u - 4 for x.
2
Suppose 0 = 5*x + q - 23, -3*q - 6 = -0. Suppose -s + 16 + 13 = 3*j, 0 = 3*j - x*s - 17. Solve -3*m = -3*a - j, 0 = a + 2*a + m + 9 for a.
-3
Let o = -46 - -50. Solve -2*w + 4 = -4*p, -3*p + 3*w = -2*p - o for p.
-2
Let i = 2 - -2. Solve i*n + 2*b - b = -16, -4 = n + b for n.
-4
Suppose 0 = -5*c + 25, -5*r = -3*c - c. Solve 4*v + 4 = r*l, 4*l - 3 = -2*v + 1 for l.
1
Let r be (-2)/(-6) + 2/3. Suppose 2*y = 2*q - 4*q - 2, 4*y + 2*q - 4 = 0. Let f = y - r. Solve -f*t - 3*v = -10 - 2, -4*t + 2 = -5*v for t.
3
Suppose 2*f + 0*f - 12 = 4*r, 4*f - 5*r = 9. Let t = f - -11. Suppose t*z - 2*z - 30 = 0. Solve 0 = 3*n - 3*d + 3, -1 = -5*n - 3*d - z for n.
-1
Suppose -3*c + 32 = -19. Solve -2*g = -0*g + 2*p - 10, g + 5*p = c for g.
2
Suppose -3*m - 12 = -4*j - 46, 0 = -2*m + 4. Let f be 2/((-1)/(-1)) - 5. Let z be j/f + (-7)/21. Solve 4*x = -2*c + 24, -4*c + 0*x + 24 = z*x for c.
4
Let f(h) = -h**3 - 7*h**2 - 6*h + 3. Let r be f(-6). Let x = -4 + r. Let n be (-18)/(-4) + x/2. Solve 3*m - 10 = -b, 0 = -n*b + 2*m - 9 + 21 for b.
4
Suppose 3*k - 8 = 34. Let d = -10 + k. Solve v - 4 = -3*n, -4*n + 0*v - d*v = 8 for n.
3
Let r be (-4)/6 - 77/(-3). Suppose 2*x = x + 5. Let b(y) = y**3 + y**2 - 3*y + 2. Let u be b(1). Solve -5*t - r = x*v, v - 4*v = -t - u for t.
-4
Let l be ((-10)/(-40))/((-2)/(-16)). Solve 0 = 2*y - 2*r + 4 - l, 2*r = -5*y + 9 for y.
1
Let c be (-8 - -8)/(2/2). Solve c = -2*z - 2*b + 10, 4*z + z - 13 = b for z.
3
Suppose -2 = -3*h + 2*s, 4*h - 4*s = -4 - 0. Solve -h*q = 5*t + 9, -4*t + q - 16 = 8 for t.
-5
Let v = 22 + -18. Suppose 15*k - v = 13*k. Solve -3*z + 13 = -k*f, -3*f = 4*z + 20 - 9 for f.
-5
Let h(s) = -s**2 - 9*s - 1. Let v be h(-8). Solve 0 = 3*k + 4*z - 5, 5*z - v = -5*k + k for k.
3
Suppose -3*a + 87 = 5*m, 1 - 50 = -3*m - a. Suppose m = 4*z + z. Let l = -3 + z. Solve -3*k - 4*r + 20 = l, -2 - 8 = -5*r for k.
4
Let w(q) = -q**2 - 3*q + 7. Let j be w(-4). Solve -8 = -2*x - 0*x + j*l, 0 = -x + 2*l + 6 for x.
-2
Let l = 3 + 6. Solve 2*w + w - u = l, 5*w - 25 = 5*u for w.
2
Let y = 8 - 3. Solve -y*i + 20 = -5*o, 4*i = 3*o - 2 + 19 for i.
5
Let h(y) be the second derivative of y**5/20 - y**4/2 - y**3/6 + 4*y**2 - y. Let r be h(6). Solve x + 5*n = -2*x + 3, -4*x = r*n + 10 for x.
-4
Let n(k) = -2*k - 10. Let r be n(-8). Let s be 0/((-2)/(r/(-3))). Let a be ((s/(-1))/3)/1. Solve a = -5*p - 2*t + 5*t - 13, -3*p - 4*t - 2 = 0 for p.
-2
Suppose 0 = 9*h - 7*h - 10. Solve -h*a - 10 - 11 = j, -4*j - 8 = a for a.
-4
Let x(g) = g**2 - g + 1. Suppose -3*c + 5*n + 1 = 0, n + 0 = 2*c - 3. Let b be x(c). Solve 2*o + 4*j - 6 = 0, -b*o + 0*o + 11 = 4*j for o.
5
Suppose -9*t + 80 = -4*t. Solve -5*i = g + t, 0*g = 3*g - 5*i - 12 for g.
-1
Suppose 2*m = -y + 26, -4*m - 66 + 18 = -3*y. Solve 5 + 3 = -4*b + 2*q, 2*b = 5*q - y for b.
0
Let c be (6/(-12))/((-1)/(-4)). Let s be (2 + 15)*c/(-2). Solve -5*g - 2*x = s, -x = 4*g + 22 - 6 for g.
-5
Suppose -5*v + 0*v - 10 = -4*f, 0 = -f. Let u = 2 + v. Let b be u/((-2)/6*-3). Solve -3*w - a + 3 = b, -5*w + 0*w + 5*a = -5 for w.
1
Let r(u) = 3*u**2 - 3*u - 2*u + u + u**3. Let d be r(-4). Solve -4*z - g - g + 22 = d, -z = -5*g + 11 for z.
4
Let f be (4 - 2) + -2 + 5. Let t = -1 + f. Let i be 2 - (0 - (2 + -1)). Solve -5*u = -i*v + t, 7*v - 3*v = 4*u for u.
-2
Suppose -m = -3*m + 12. Solve -1 = 4*l - o - 10, 2*o + m = 4*l for l.
3
Let y(a) = a**3 + 5*a**2 + 5. Suppose 5*o = 3*h - 13, -2*h = 4*o + 3*h + 40. Let i be y(o). Solve 0*w - 4*x = 2*w + 14, -i*x = 25 for w.
3
Let s = -15 - -18. Let y be (s - (0 + 2))*7. Let q be -2*-1*2/4. Solve -u + 0*p + 2*p = -y, -u = 2*p + q for u.
3
Let o be (-285)/(-12) + 4/16. Let c = -20 + o. Solve 2*q - 2*t = -t + 2, -18 = -5*q - c*t for q.
2
Let g be (-1)/3 + (-1)/(-3). Let k(n) = g*n**2 + n**2 + 3 + n - 5*n. Let h be k(4). Solve -10 = -2*o + 5*q, 5*o - h*q - 6 = -0 for o.
0
Suppose 2 = -y + 2*y, -5*i = 4*y - 33. Suppose i*a = 5*l - 0*a - 30, a + 1 = 0. Solve 5*p = 4*n - 16, -l*n - p + 5*p + 20 = 0 for n.
4
Let s(c) = -c**3 + c**2 + 11*c - 6. Let k be s(4). Let f = 14 + k. Solve 0 = -z - 6*o + o + 28, 0 = -3*z + o + f for z.
3
Let d(f) = -f**3 + 5*f**2 - f - 2. Let i = 13 - 9. Let p be d(i). Let u = 1 - -4. Solve -5*a + 13 = -4*w, -p = -u*a + 4*w + w for a.
5
Let j = -5 + 21. Let k = j + -11. Suppose -3*l = -k - 7. Solve 40 = -4*s + 5*b, -s + l*s + 5*b - 5 = 0 for s.
-5
Suppose 4*r = 3*x - 13, -2*x - r = 2*r - 20. Let z = -12 + x. Let t be (-4)/2 - 1*z. Solve 5*k = -2*w + 7, 8 = 4*k + 4*w - t*w for k.
3
Let g be (3 - 0) + 4/4. Suppose -3 = -g*w - 23, -2*w - 6 = h. Suppose 4*m + 5*i = 80, -m - h*i - 14 = -3*m. Solve -k - 3*o + m = -4*k, 0 = -2*o + 10 for k.
0
Suppose -23 = -5*a - 0*x + 2*x, 12 = -3*x. Solve -2 = 2*c, -t + 4*c + 5 = -a for t.
4
Let f(k) = -k**3 - 7*k**2 + 7*k - 6. Let v be f(-8). Suppose u = -2, -v*u - 2*u = -w + 5. Let a = w - -5. Solve 3 - 5 = -a*n, 3*n + 5 = 4*h for h.
2
Suppose 4*o + s + 6 = 0, -s - 5 = -5*o + 4*s. Let r = o - -5. Solve 0 = -3*f + 2*f - r, 16 = -5*d + f for d.
-4
Suppose -3*b + q + q + 15 = 0, -q = 3*b - 15. Let g = -4 + b. Let j be (g/(-2))/((-3)/30). Solve -f + k - j = -4, 2 