-4. Solve o*x - 8 = -z, 2*z - 2*x + i*x = 14 for z.
2
Suppose 2*k = 1 + 19. Let q be (12/30)/(1/k). Solve v = n + 2*n, -q*n = 0 for v.
0
Let i = 9 - 7. Solve -1 = 4*o + f - i*f, -4*f - 11 = -o for o.
-1
Suppose -a + 8 = 4*m - 5, 2*m = 2*a + 4. Let q(g) = g**3 - 3*g**2 + g - 3. Let p be q(m). Solve p = -5*r + 2*b - 5, 0*r + 2*r - 12 = -2*b for r.
1
Suppose 2 = 3*x - 7. Suppose -4*a + 1 = -5*j + 4, 0 = -4*a + 3*j - 13. Let d = a + 13. Solve -2*k + 5*g = -3*k - d, -x*k - g = 4 for k.
-1
Let j = 1 + 1. Let t = 10 + -5. Solve t*b - 11 = j*y, 10 = y + y + 2*b for y.
2
Suppose 5 - 2 = n. Solve -3*t + n*d - 6*d = -30, 0 = 4*t - d - 15 for t.
5
Let u(z) = -18*z**2 - 2*z - 1. Let d(j) = 12*j**2 + j + 1. Let h(r) = -7*d(r) - 5*u(r). Let s be h(1). Solve s*p = -4*a + 2*p - 14, 1 = -5*a + 2*p for a.
-1
Let b(y) = 5*y**2 + y - 1. Let z(i) = -6*i**2 + 3*i**2 - i**3 + 4*i**2 - i + 1. Let u be z(0). Let g be b(u). Solve 0 = -k + 5*f - g, f = 2*k + 2*k + 1 for k.
0
Let m(h) = -h**2 + 8*h - 9. Let l be m(6). Suppose 0 = -l*y - y - 5*b + 165, 0 = 4*y + 3*b - 163. Solve 2*a + 3*a = -4*o + y, -o + 5 = 0 for a.
4
Let y(q) = q**2 - q - 3. Let a be y(3). Let r(x) = x. Let g be r(-3). Let c be ((-1)/(-1))/((-1)/g). Solve c*v - 8 = -z - 2*v, -a*v = -z for z.
3
Let j(s) = 3*s - 3. Let a(z) = z - 1. Let b(w) = 5*a(w) - j(w). Let n be b(2). Solve -u - 3 = q, 6*q = n*q + 2*u - 12 for q.
-3
Let j = -74 - -79. Solve 3*w - 2*w - 4*k = 4, 2*w - j*k = 5 for w.
0
Let d = 14 - 7. Suppose -d*j = -2*j + 5, -3*q - 2*j = -31. Solve 4*a = 3*h + q, 7 = 4*a + 3*h - 22 for a.
5
Let o = 6 - 12. Let l = o - -15. Solve 4*v + 5 = m - l, -m = -2 for v.
-3
Suppose 0 = 4*b - 5 - 3. Suppose 3*l - 10 = -b*l. Solve 4*v - 2*c - 24 = 0, v = l*v - c - 7 for v.
5
Let p = -25 - -30. Solve p*r - 1 = n + 7, 5*r = 5 for n.
-3
Let b(c) = c - 4. Let n be b(4). Suppose -4*s + s + 42 = n. Solve 2*v + s = -2*g, 2*v - v + 3*g = -15 for v.
-3
Suppose -2*j + 2*m + 5 = 1, 0 = 3*j + 3*m - 24. Let k(i) = -5 + 10 + 7*i**2 - i**3 + 9*i + i**2. Let c be k(9). Solve c*n + j*x - 4*x = 14, -n - x = -6 for n.
2
Let c = -67 - -83. Solve -2*p - 4*y = -c, 0 = -0*p + 5*p + 5*y - 25 for p.
2
Suppose 5*o - w = -70, -3*o - 38 = w - 4. Let z be ((-18)/4)/((-2)/(-8)). Let h = o - z. Solve -4*l + 3*l + i = 8, -5 = 4*l + h*i for l.
-5
Let n(i) be the first derivative of -1/4*i**4 + 4 - 5*i - 6*i**2 - 3*i**3. Let y be n(-8). Solve d = -4*d - 4*f - y, 5*f + 24 = -3*d for d.
-3
Let y be (-11)/(-3) - 2/3. Solve -3*u - 2*u = y*o + 30, 3*u - 1 = 2*o for u.
-3
Suppose -43 = -s - 4*p - 4, 4*p = -2*s + 66. Solve -5*g + l - s = 0, -2*l = -l - 2 for g.
-5
Let d(u) = u**2 - u - 8. Let o be d(-3). Solve 2*k + 3*c = o, -3*k - 2*k - 15 = -5*c for k.
-1
Let z = 126 + -124. Solve -2*t - 5*i = z*t + 35, 3*i + 24 = -3*t for t.
-5
Suppose 5*l - 40 = -4*m - 0*m, 5*l = -2*m + 10. Solve -m = -5*d - 2*y, d + y = 3*y + 15 for d.
5
Let a = 27 - 19. Let m be (-4)/(12/9) + a. Solve p - 2*l - m = -1, -3*l - 5 = -p for p.
2
Let w = 5 + -2. Suppose 0 = w*y + 2*y - 10. Suppose 0 = -0*t + 2*t - 10. Solve -25 = -5*a - t*o, 25 = a + 3*o + y*o for a.
0
Let j = 24 - 15. Suppose -3*g - j = -81. Solve 4*n + g = 4*l, -7 = 4*n + 1 for l.
4
Let d be (-28)/(-8)*(-10)/(-7). Solve -5 = d*a - 3*y - 1, -3*y - 4 = -a for a.
-2
Suppose 0 = 12*x - 16*x. Solve -3*j + x - 7 = -4*v, 0 = 5*j + 5*v + 35 for j.
-5
Suppose 0 = -k + 2*k + 4*n - 10, -2*n = 3*k - 10. Let w be ((-6)/(-8))/((-2)/(-8)). Solve w*a + 4 = 4*a, -4*a = -k*t - 16 for t.
0
Let p be (-6 - -4)*(-5)/2. Solve 2*k - 3*m = -3, 6 = -p*k + 4*m + 2 for k.
0
Suppose 0 = 2*z + 3*z - y, 0 = -4*y. Suppose -2*g + 4 = -z. Suppose -m - g = 3*c - 9, -m - 25 = -5*c. Solve 19 = -5*t + 2*v, c*t - 2*v + 14 = -0*t for t.
-5
Suppose 4*x = -d + 35, 5*x + d - 49 = -2*d. Suppose -3*i + x*i - 20 = 0. Solve -3*n - 5*r + 14 = -10*r, i*r = 2*n - 12 for n.
-2
Suppose 0*l - l = -32. Suppose 0 = -u - u + l. Solve 5*f + 20 = -5*v, -2*v = 3*v + f + u for v.
-3
Let x be (1 - 5/3)/(26/(-897)). Let s(o) = o**2 - 3*o - 2. Let v be s(4). Solve 4*l - 3*h - x = 0, v*l + 3*h = 4*l - 19 for l.
2
Let y(m) = -m**2 - 4*m + 7. Let f be y(-5). Suppose r = h - 8, 4*r + f = -10. Solve 0 = -d - 3*w - 14, -5*d - 3*w - 5 = h for d.
1
Let k(b) = -2*b**2 - 9*b + 3. Let j be k(-4). Solve 4*o - j = -5*n + 2*n, n = -2*o + 1 for o.
-2
Suppose -g - 4 - 3 = 0. Let d = -3 - g. Solve 2*k = -f + d, -k - k = 0 for f.
4
Let l be 3 + 1 + 0 - 2. Suppose l + 1 = b. Solve -b*t = i + 1, 3*i - 1 = 2*i - 5*t for i.
-4
Let s(c) = -4*c + 4. Let u be s(-2). Solve -5*n + 4*q + 2 = 8, -2*n + 4*q - u = 0 for n.
2
Let o be (33/2)/(7/14) - -2. Solve 3*q + 7 = 3*i + i, o = -5*q - 5*i for q.
-5
Let w = 80 + -65. Solve 12 - 2 = -5*p + 3*c, 4*p + w = c for p.
-5
Let y = 37 + -57. Let b = -2 - y. Suppose 0 = 2*f + 2 - 6. Solve 3*n + f*k = -11, k + 0*k = -4*n - b for n.
-5
Suppose 4*x + 9 + 9 = 2*t, 2*t + 22 = -4*x. Suppose -1 - 1 = -2*z. Let d = z - t. Solve -d*h - 4*w = -10, w = -h + 2*h + 1 for h.
1
Suppose 12*p = 5*p + 35. Solve -t - 5*b - 12 = 0, 0 = -t - t - p*b - 9 for t.
3
Suppose -3 = -3*a + 2*d + d, -4*a + d = -16. Solve -a*j + x = 25, -5*j - 5*x + 9 = -j for j.
-4
Let p(j) = j**3 + 7*j**2 + 4*j - 8. Let u be p(-6). Solve a + 2 = u*k + 3*a, -3*k = 2*a for k.
2
Let f be 0/((4 + -5)*1/1). Solve u - 6 = 2*k, 5*u - 21 = k - f*k for u.
4
Let w(y) = 2*y**2 + 3*y + 3. Let r be w(-2). Suppose -r = -t - 3. Solve 0 = -2*k + 2*l + 10, 5*k = -l + 5 + t for k.
2
Let t(d) = d - 4. Let g be t(6). Suppose o + 5*m = -10, -3 - 3 = g*m. Solve -13 = o*a - 4*r, 4*r - 9 = 4*a - 1 for a.
-5
Suppose 4*f - 22 + 6 = 0. Suppose -6*k + 3*k + 9 = 0. Let d = 10 + -5. Solve f*y - k*c + 4*c = -8, d*c = -3*y - 23 for y.
-1
Let m = 2 - -1. Suppose -m*y = b - 10, 0*y - y = b - 2. Solve -2*n = -3*d + d - 6, -d = -y*n + 15 for d.
1
Suppose 2*v + 25 = 5*d, 3*d - 34 = -0*d + 5*v. Solve 0 = -3*t - d*f - 9, 3*f - 4 = -13 for t.
0
Let i(z) = 8*z + 2. Let m be i(2). Suppose -3*j + 2*j + 8 = 0. Suppose 0 = v - 4*s - 25, j*s - 3*s = 5. Solve m = o + o + 4*h, 5*o + 2*h = v for o.
5
Let c(y) = -y**3 - 2*y**2 - 2*y - 1. Let b be c(-1). Let w = -6 - -8. Solve -3*z - w*q = b, -2*z + z - 4*q = 0 for z.
0
Suppose 4*d = -4*f + 24, 3*f - 4 = 4*d - 0*f. Let b = 4 - d. Solve 5*h = -5*i - 15, 10 - 4 = 3*h - b*i for h.
0
Let h be 114/7 + 8/(-28). Suppose 0 = -4*g - h, -5*z - 3*g - 7 = -0*g. Let y(n) = n**2. Let p be y(2). Solve -2*m = -w - z, -2*m - 3*w + w + p = 0 for m.
1
Suppose 2*m + 4 = 10. Let c = 2 - -3. Suppose 5*h = 20 - c. Solve 12 = 4*l - 2*b, 2*l + h*l - 37 = -m*b for l.
5
Suppose 3*s + 71 = 4*b, -2*s = -2*b + 40 - 4. Suppose 3*v = 19 + b. Let p(m) = 6*m**2 + m - 1. Let c be p(1). Solve 7 = -3*o + 2*r, 2*o = c*o - 4*r + v for o.
-1
Suppose 4*v - 12 + 4 = 0. Solve 2*o = 2*j + 12, 4*o = v*o - 2*j - 4 for o.
2
Let f(u) = u**3 - 4*u**2 - 3*u - 6. Let l be (-3)/(-3) - (-4 - -1). Suppose -l*k + 5 = -15. Let b be f(k). Solve -b*v - m = m + 6, 27 = 2*v - 5*m for v.
1
Suppose -k + 1 = -0. Suppose -b + k + 7 = 0. Suppose 4*z = 8*z - b. Solve -6 = z*g, 0 = -m - m - 3*g + 1 for m.
5
Let d(t) = -t**3 - 8*t**2 - t - 6. Let s be ((-3)/(-1))/((-3)/(-2)). Let y be (s - -1)*(-32)/12. Let v be d(y). Solve v*r + 3*p = 3, -4*p = p - 15 for r.
-3
Suppose 5*s - 3*s + 5*t - 26 = 0, -2*s + 10 = t. Suppose -s - 5 = -2*w. Solve 2*m = -w*n + 10, 27 = 3*n - 5*m - 13 for n.
5
Suppose -2*r - 2*l = -4, -r - 4*r = -l + 2. Solve 4*k + 2*o - 2 = r, 2*o - 6*o = 5*k - 10 for k.
-2
Suppose 8*b - 120 = -16*b. Solve -3*w + b*w + 4*d - 10 = 0, d = 4*w + 16 for w.
-3
Suppose 3*h = -0*k + 4*k - 9, 5*k - 20 = -5*h. Solve -3*l + 3 = -3*r, r - 18 = k*l + 5*r for l.
-2
Let m = 8 + -3. Suppose 6*b + 12 = 2*b + 2*t, -5*b + 3*t - 17 = 0. Let q be (b - (0 - 1))/2. Solve q = 4*a + m*g + 8, -3*g = 3*a - a + 6 for a.
3
Suppose -4*j = 5*b - 24 + 1, -13 = -b - 5*j. Solve -b*x = -4*c + 11, -3*c + 7 = x + 2 for x.
-1
Let m(a) = a**2 - 5*a + 8. Let t be m(3). Solve -5*y = 5*x + 40, 0*y - t = y - x for y.
-5
Let r be (2 - (-2 + 3)) + 1. Suppose -2*p + r = -d + 2*d, 0 = -p. Suppose -2*b + 3*a + 9 = b, 0 = -d*a - 2. Solve -b*g + 3*z + 6 = z, -9 = -3*g + 2*z for g.
3
Suppose 0 = -0*z + 2*z + 4*d - 16, -2*z + d = 4. Suppose 5*h - 20 = -s, 5*s + z*s = 3*h - 12. Solve -2*u + 10 = s, -5*x = -u - u for 