9). Solve -4*z = -2*u - i, -l = 2*z + u + 4*u for z.
3
Let y = 11 - 8. Let g be 3/18*y*46. Suppose -g = -5*r + 2. Solve 0*f = x + f + 1, -5*x + 3*f - r = 0 for x.
-1
Let k(g) = -g**3 + 5*g**2 - 2*g - 15. Let h be k(4). Let f = 33 + -23. Let i = f - h. Solve 0 = -s - 4*m + i, 4*s + s - 13 = 4*m for s.
5
Suppose g - 19 = 2*j, -j - 3*g = -0*g - 1. Let v be 8 + 2*4/j. Solve -6*n = -3*n - 5*f + 7, n - 4*f + v = 0 for n.
1
Let k = -3 - 3. Let u = -6 - k. Solve 3*p - 4*h + 7 - 1 = u, -4 = 2*p - h for p.
-2
Let n be (-1)/(-4) + (-7)/28. Suppose -3*j + i = -10, n = -0*j - 3*j + 5*i + 26. Solve 5*x + 2*f + 0 - 1 = 0, j*x = 4*f + 10 for x.
1
Let v = 4 + -12. Let n be 12/10*(-20)/v. Let d(u) = -u - 4. Let j be d(-6). Solve -n*m + 6*m - j*t = -8, 0 = -5*m + 2*t - 16 for m.
-4
Let l = 1093 + -1091. Let a(x) = -x - 1. Let r be a(-1). Solve -1 = 2*f - 7*f + 3*p, -l*f + p = r for f.
-1
Let x(l) = -24*l**2 + 14*l + 20. Let o(m) = 8*m**2 - 5*m - 7. Let a(n) = -17*o(n) - 6*x(n). Let b be a(1). Solve 3*q + f + 17 = 0, -b*f + 4*f - 13 = q for q.
-5
Let j(b) = -b**3 - 14*b**2 + 16*b + 20. Let p be j(-15). Solve -z = 4*n - 17, 4*z - p*z - 3 = 0 for n.
5
Suppose -r = -2*r + 4. Let c = r + -3. Let g be (10 - c)/((-12)/(-8)). Solve -3*x = 4*o - g*x - 1, o + x = 9 for o.
4
Let h be -5*(1 + -2) + -2. Solve h*z - 5 = -z - 5*w, 4*z - 1 = -w for z.
0
Suppose -2*m + x + 10 = 6*x, -2*m + x = -10. Solve m*y + 0*h + 2 = -h, 8 = -4*h for y.
0
Let o(i) = 2*i - 6. Let p be o(4). Let k(r) = -r + 9. Let t be 77/(-22)*(-2 - 0). Let y be k(t). Solve 0 = -a, y*d - d - a + p = 0 for d.
-2
Let n = 2 - 2. Suppose 7 - 19 = 3*o. Let w be 5*(-3)/12*o. Solve n = -4*z + p, -p + 2 = 3*z - w for z.
1
Let n be 15/3 - (1 + -2). Suppose 0 = -n*h + h + 20. Suppose 2*x - 6 = -2*l, 3*l - 4*l + h*x + 3 = 0. Solve 0 = -l*i - 4*r + 27, 4*r = -3*i - r + 30 for i.
5
Let z(f) = f - 4. Let o be z(4). Let b(a) = 2*a + 22. Let v be b(-9). Suppose 2*u = v*x, 3*u - 18 = -o*x - 3*x. Solve 0 = u*c + 4, -3*t = -t - 2*c - 4 for t.
1
Suppose 9*q - 8 = 5*q. Solve 0*i - 5*i - 5*x = 0, q*i - 3*x - 20 = 0 for i.
4
Let g = -7 - -21. Let l be g/6 - 1/3. Solve o = 5*v - 14, -v - o + 2 = -l for v.
3
Suppose 3*i = -5*j + 6, 5*j + 3*i - 3 = -i. Let k be 9*j*(-1)/(-3). Suppose -k = -4*l + l, -5*m + 28 = l. Solve -p + 27 = -3*b - 6*p, 2*b = p - m for b.
-4
Suppose 17*t - 48 = 20. Solve -20 = -t*f - 2*b, b + 15 = 3*f - b for f.
5
Let i be (-40)/10 - (1 + -8). Solve -i*d = -h - 2, 3*h + 3*d - 8 = -2*d for h.
1
Suppose -5*w - 4*t = 49, 2*w + 0*t = -4*t - 22. Let f = -37 + 52. Let d = f + w. Solve -s = 2*s + d, 3*s = h - 2 for h.
-4
Let j(d) = d**3 - d**2 + d + 4. Let z be j(0). Suppose z*b = 3*b + 10. Solve -4*f + 30 = -2*x + 10, -2*f = -5*x - b for x.
0
Suppose 5*x - 3 - 57 = -5*c, 0 = 3*x + 12. Let h be 30/7 + c/(-56). Solve -h*f + 0 = 8, 3*f = -3*j for j.
2
Suppose 2*z - 13 = 1. Let g = 16 - z. Solve 6*t - 4*x = 4*t, -5*t + x = -g for t.
2
Suppose 0 = -j - 5, -3*n + 3*j = -15. Solve -3*c + 5*t = 30, -2*c - 2*t + n = 4 for c.
-5
Let q = -30 + 50. Suppose 0 = b, -4*o = -0*o - 2*b - q. Solve -2*f - f = -2*r - 6, o*r + 15 = 5*f for f.
0
Let k = 62 + -34. Let z be 12/(-66) - (0 + (-2)/11). Solve z*d + 2*d - k = 4*g, 0 = 3*g + d + 11 for g.
-5
Suppose -5*r - 2*f + 0*f = -21, -2*f - 4 = 0. Solve 0*y + 5 = -p + 4*y, -r*p + y = 6 for p.
-1
Let x(l) = l + 4. Let b be x(0). Let q = 6 + -1. Let m be q + (-1)/((-3)/(-6)). Solve 5*i = 2*y + m + b, -i - 3*y = 2 for i.
1
Suppose -o + 6*o = 40. Suppose s + o - 23 = 0. Let a = -10 + s. Solve -40 + 16 = -q + a*g, -4*q - 19 = 3*g for q.
-1
Let s(a) = -a**2 + 6*a - 1. Suppose 0 = 4*y + 5*l - 36, -5*l + 4 = -4*y - 0*l. Let h be s(y). Solve -5*v + 2*x + 2 = h, 5*x + 13 = 4*v for v.
-3
Suppose 4*j - 12 + 0 = 0. Suppose 2*g + g - 6 = 0. Let u = 7 + 4. Solve -s = g*v + u, 2*v = 2*s + v - j for s.
-1
Suppose -1 = -j, 0*h = -2*h + j - 37. Let v = -8 - h. Solve 0 = -5*z + 5*d - 20, -z = 2*z - 2*d + v for z.
-2
Let w(j) = 6*j - 45. Let p(l) = -l + 9. Let r(u) = 11*p(u) + 2*w(u). Let z be r(-7). Solve -2*c = 3*g - 8 + 27, -z*c - 2*g = 16 for c.
-5
Suppose 0*y = 4*y - 8. Solve 2*w - 12 = 5*h, 0*h = y*w - 4*h - 8 for w.
-4
Suppose 4*r + 13 = 4*p - 3, -2*r = 4. Suppose -2*n = -2*t + 18, -2*n = 2*t + p*t - 12. Suppose -k = -0*k - 3. Solve -a + 2 = t*w - 4, 0 = -3*a + k*w for a.
1
Let x = -25 + 17. Let d = x + 11. Solve f + 2 - 3 = 2*w, -3*f + d = 4*w for f.
1
Suppose 4*u - 6 = -2*c + 4*c, 12 = 3*u. Suppose v - 14 = 4*z - 0, -4*z = -2*v + 16. Suppose 0 = v*t - 4. Solve t*i = 5*i - c*m - 16, i + m = -8 for i.
-3
Suppose -3*z + 2 + 7 = 0. Solve -4*b - 3*x = -0*b + 8, 0 = -5*b - z*x - 7 for b.
1
Suppose -4*b + 25 = 3*x - 2*x, -5*b + 25 = 0. Solve -3*v - x*r = -v - 22, -2 = 2*v - r for v.
1
Suppose 4*y = 5*y + 2. Let n = y - -3. Let w be n/3 - (-2)/(-6). Solve -2*s + d + 10 = 0, w*d + 15 = 3*s + d for s.
5
Let x(r) be the third derivative of -r**6/120 - r**5/6 + 2*r**3/3 + 4*r**2. Let a be x(-10). Solve f = a*k + 3, 5*f + 0*k = -k - 6 for f.
-1
Let i be 11/1 - 0/(-5). Solve 4*g - g = 2*j - i, 0 = -5*j + 5*g + 20 for j.
1
Let a(f) = -f**3 + 3*f**2 + 6*f. Let b be a(5). Let s be (-8)/b - 98/(-5). Let p = 8 + -4. Solve -c = p*q - 16, 3*c - c = -4*q + s for q.
3
Suppose -3 = -q - 1. Solve 5*d + k - 18 = 0, q*d - 5*k - 14 = d for d.
4
Let k be 4/6 + 4/(-6). Let a(q) be the third derivative of q**4/24 - q**3/6 - 2*q**2. Let y be a(4). Solve 4 + 27 = 3*n - 4*p, k = -y*p - 12 for n.
5
Suppose 0 = -3*q - i + 56, 0 = 5*q - 5*i + 2*i - 98. Suppose 4*r - 8 = 0, 3*r = 2*o + q - 3. Let j = 9 + o. Solve -5*y = -j*x - 7, -3*y + 12 = -0*y - 5*x for y.
-1
Suppose 5*h = -4*u + 580, 0 = -2*u - 4*h + 181 + 115. Suppose 0 = -5*o + u - 15. Let f be (20/(-8))/(1/(-2)). Solve 4*q + 3*a + 20 = a, f*q + 3*a + o = 0 for q.
-5
Suppose 216 = -m + 10*m. Solve 0 = -5*z - 5*f + 20, -3*f - f + m = -4*z for z.
-1
Let p = -172 + 178. Solve -x + 11 = 3*b, 2*b + 3*x = p*x + 11 for b.
4
Let r(i) = i + 11. Let h = -20 + 12. Let l be r(h). Suppose -8 = -2*v - 0, -4*v + 36 = 4*g. Solve l = -f + 2*f, 5*k - g*f = -25 for k.
-2
Let v be (1/(-2))/(1/(-14)). Let h = v - 4. Solve h*o - 5 = 5*z + 4, 5*z - 15 = -5*o for z.
0
Suppose 5 = -x + 5*x - 3*o, 0 = -2*x - 5*o + 9. Solve -5*u = -4*i + 8 - 36, -2*i = -x*u + 12 for u.
4
Suppose 24 = 6*o - 6. Solve -5*n + 15 = -4*x, -5*x + 2*x + 15 = o*n for n.
3
Let m = -4 - -7. Let b be (18/(-2))/m - -5. Solve 6*v + b*a + 2 = v, v = 4*a - 18 for v.
-2
Let h be (-12)/1*(-1)/2. Suppose -r + 6*v - 2*v = 2, -2*v + h = -3*r. Let d be (-9)/(-6) + 1/r. Solve -5*c = 2*o + 9, -3*c - o = -3*o - d for c.
-1
Suppose -t = 3*t + 20, -1 = 2*i - t. Let x = 1 - 8. Let b = i - x. Solve -5*c = 5*l, -b*c = -0*c - 20 for l.
-5
Let g be (-2)/(3 - (-21)/(-6)). Suppose 5*v = -15, -3*k - 2*k + 14 = 2*v. Solve y - 1 = q, 2*q + 0*q - g*y = k for q.
-4
Let d = -14 + 18. Solve 12 = -4*t, -d*u + t = u - 18 for u.
3
Let d(g) = g**2 + 5*g + 8. Let y(p) = -p**2 - 4*p - 9. Let m(l) = 4*d(l) + 3*y(l). Let b be m(-8). Solve 5*h - b*f = -45, -19 + 7 = -2*h - 4*f for h.
-4
Suppose -u - 17 = 2*n + 3*n, -n = -5*u + 19. Let f be n/(-18) + (-16)/(-9). Solve 2*y + 3*r + r = -12, -6 = -f*y + 5*r for y.
-2
Let p be 140/(-8) - (-2)/(-4). Let z be ((-6)/(-9))/((-4)/p). Solve 2*s + 11 = -z*q, -2*s = 2*q - 5*q - 7 for s.
-1
Suppose -13 = 7*y - 48. Let z(x) = -2*x - 6. Let p be z(-4). Solve 0 = -p*v - 10, s - 3*v = y*s + 11 for s.
1
Suppose -2*w - 26 - 26 = -2*g, 4*g - 104 = -5*w. Solve -3*x + 2*x + 9 = -3*o, 5*o + 2*x + g = 0 for o.
-4
Suppose 3*x - f - 20 = 0, 0 = -2*x - f - 4*f - 15. Suppose 0*j = 5*j - b - 17, -2*j + x*b = 7. Solve -v = -5*q + 3, j*v + q + 12 = -3*q for v.
-3
Let s = 100 - 96. Solve -b = 4*k - 16, b + s = k - 2*b for k.
4
Let k be 249/12 + (-3 - (-26)/8). Solve -4*t = -j + k, t + 5 = 3*j - 3 for j.
1
Let j = 1 + 16. Let w = -15 + j. Suppose b - 3*b - 5*o + 33 = 0, -5*b - 3*o + 35 = 0. Solve -w = 3*g - 2*r + 5, 0 = -2*g + b*r - 18 for g.
1
Suppose -29 = -5*n + k - 3*k, 0 = n - 5*k + 5. Let d = 474 - 446. Solve -6*a - x = -a, n*x = 3*a + d for a.
-1
Let k(p) = p**3 - p**2 + 3*p - 1. Let n be k(1). Solve 4*z + 10 = q - 14, -4*z = n*q + 12 for q.
4
Suppose -6 = 3*u - 3*s, 2*u = -2*u - 2*s + 10. Let l be (16 + -2)/(u/2). Solve 4*t - 5*f - l = 0, -2*t = -0*t