 Suppose 8 = 2*z - 4. Let k be (-4)/(-6)*(-3)/(-1). Solve -k*m = -3*w + q + z, 11 = -5*m - 4*w for m.
-3
Suppose 5*y - 9 = 1. Let z be (-22)/(-6) + 4/(-6). Solve y*w + j = 7, 2*j - z = 3 for w.
2
Let q be 4/(0 - -2*1). Suppose 0*k = -2*l - 2*k, -q*k = 8. Solve -5*r = -u + 24, -l*r + u - 9 = -2*r for r.
-5
Let x(t) = -t + 3. Let u be x(-19). Solve -5*j + b + 15 = 5, -3*j - 5*b - u = 0 for j.
1
Suppose 4*n = -5*b - 54 + 18, -2*b - 12 = n. Let u be 0 + 3 + n/(-1). Solve 2*c - 24 = -2*k + u*c, -4*k - 5*c = 12 for k.
2
Let l = -20 + 20. Solve q - 3*v + 4 = -l*v, 3*v = -q + 14 for q.
5
Let d(n) = -n**2 + 3*n + 3. Let x be (6/15)/((-3)/15). Let a = x - -5. Let u be d(a). Solve u*z + 5*i = 21, 0*i = -4*z - i + 11 for z.
2
Suppose -12 + 5 = -5*l - z, l - z - 5 = 0. Solve 3*f - 25 = 4*h - l*f, 5*h + 25 = 5*f for h.
0
Let n(c) = -c + 1. Let k be n(1). Suppose -j = -12*j + 99. Solve -a + j = -5*o + 38, 4*o + 2*a - 12 = k for o.
5
Let o(k) be the third derivative of -k**6/120 + 7*k**5/60 + k**4/24 - 7*k**3/6 + 2*k**2. Let t be o(7). Solve 0 - 1 = 3*c + r, t = 2*r - 10 for c.
-2
Suppose 12 = -b + 7*b. Solve 7*w - b*w + 3*f = 40, 0 = 3*w - 3*f for w.
5
Let y = 6 + -3. Suppose k - 29 = -3*q, -k = -4*q - q + 51. Let i be (-316)/(-10) - (-4)/q. Solve 2*s + 24 = 4*g, -y*g - g + 4*s + i = 0 for g.
4
Let f(v) = -v**3 + 4*v**2 + v. Let j be f(4). Suppose 6*s = 3*s - j*r + 5, -4*r = -2*s - 30. Let i = 14 + s. Solve -3*z + i = -5*q, 0*q + z = 3*q + 3 for q.
0
Let n be (0 - 8)/(-2*(-5 + 6)). Solve 0 = -3*h + 4*u - 7*u - 12, -4*h = -n*u + 24 for h.
-5
Let g(p) = 6*p - 8. Let n be g(6). Suppose -2*w + 46 = 5*v, 0 = -4*v + 2*v + 4*w + n. Solve v = -0*m - 4*m + 2*y, -5*m + 5*y - 20 = 0 for m.
-1
Suppose 5*v - 5*k - 55 = 0, 3*v - 2*v + 4*k = -4. Suppose -2*y = 3*y + 20, 4*f + 4*y = -v. Solve 4*a - a = -f*l - 23, -5*l - 5*a = 45 for l.
-4
Let a be (-2 + (-12)/(-9))*-3. Solve -l + a*x + 7 - 1 = 0, 2*l + x = -3 for l.
0
Suppose 5*i - 30 = 4*x, 5*x = -2*i + 7 - 28. Solve i*t - 3*t + 5 = 3*l, -4*l = 5*t - 25 for t.
5
Suppose 0 = 2*l - 5*l + 18. Let k = 8 - l. Suppose -3*g + 30 = 2*g + c, 5*c + 39 = 2*g. Solve -3*f + 3 = -d, -k*f - 5*d + g = -6*f for f.
2
Let x = 73 - 69. Solve x*g + 4*k + 4 = 0, -3*g + 2*k = -8*g + 7 for g.
3
Suppose 8 = -d + 3*d. Suppose -16 = -2*v - 2*v. Suppose 0 = -0*i - 4*i + 52. Solve v*o + 2*n - 30 = 0, -o = d*n + i - 38 for o.
5
Let m = 172 + -170. Solve -5*g + 11 = -2*v, -m = -0*v - v - 5*g for v.
-3
Let j(v) = v**2 - 3*v - 3. Let l be j(5). Let a be (-20)/(-6) + (-2)/6. Let x be 2/9*(38 + -20). Solve a*z - o + x = -l, -3*o = 3*z + 15 for z.
-4
Let x be (-1 - 1) + (1 - 3 - -8). Solve 0 = -5*m + x*t + 13, 4*m - 2*t = -0*t + 14 for m.
5
Let j be (-5)/((-15)/6) + -2. Let q(n) = -n**2 + 9*n + 1. Let g be q(8). Suppose -g = -b - 7. Solve j = -5*s - v + 3, -s + 6 = 2*s + b*v for s.
0
Suppose -o + 2*o - 5 = 0. Solve -6*b - w - 24 = -b, 2*b - 12 = o*w for b.
-4
Suppose 3*r - 5*c + 100 = 0, -r = 2*r - c + 104. Let d be (56/r)/((-4)/10). Solve -4*t = y, 0 = 2*t - d*y - 0*y for t.
0
Let x be (-3)/(-9)*0 + -1. Let t be -2*(15/6)/x. Solve 10 = -2*o, -3*v = 2*o + 2 + t for v.
1
Let r = -33 - -33. Solve u = -r + 2, u + 10 = 3*b for b.
4
Suppose 0 = 4*d - 2*a - 32, -4*d + 8*a = 7*a - 36. Solve y + 2*x + 8 = -2*x, 5*x + d = -3*y for y.
0
Suppose 18 = w - 5*a, 2*a - 10 = -4*w - 48. Let q(p) = p**3 + 6*p**2 - 6*p + 10. Let m be q(w). Solve 4*t + 3 + 18 = -5*v, -m*t = 3*v + 12 for v.
-5
Let k = 5 + -7. Let g be (-2)/8 - 116/(-16). Let z = k + g. Solve 3*c + 5*q = -28, z*c + 13 = -4*q - 12 for c.
-1
Let n be 2 + (-10)/2 + 1. Let s be 9/(-6)*(-2)/3. Let p = s - n. Solve 5*q - 26 = y - 6, -p*q = 4*y + 11 for y.
-5
Let a(y) = y + 6. Let p be a(-4). Solve q - 2*q = 4*k - 17, -4*k + 2*q = -p for k.
3
Let q be (3 - 2)*-1 - -3. Solve 4*d - 12 = -2*j + 3*j, q*d + 4*j = 24 for d.
4
Suppose h + 0 + 2 = 0. Let g = -2 - h. Solve -3 = 3*o + 3*x, -o - 2*x = -g*o for o.
-2
Suppose 2 = -o - 1, 3*j - o + 33 = 0. Let u = j + 15. Solve -x - 9 = -2*b, -u*b - x = 2*b - 12 for b.
3
Let k be 11 + (0 - 1) + 2. Suppose -4*b + 0 = -12. Solve -f - b*f + k = -v, -3*f + 9 = 4*v for v.
0
Let y = 25 - 0. Suppose -7*g + y = -2*g. Solve g*i - 10 = 0, n - 2*i + i + 1 = 0 for n.
1
Let m = 15 + -10. Suppose 0 = -5*o + 4*o, -m*o + 25 = 5*d. Suppose 0 = 2*z - d*z. Solve 5*c + 3*s + 13 = z, -4*s + 5*s = 5*c + 9 for c.
-2
Let h(c) = -2*c - 6. Let f be h(-5). Solve 0 = f*j - 12, -5 = 2*k - 4*j + 15 for k.
-4
Let u = 2 + -2. Let i be 0/6 - u/(-2). Solve x = 2*b - 4*x - 10, -x - 2 = i for b.
0
Let l(j) = 2*j - 10. Let q be l(7). Solve -4*o + q*b - 34 = -2, -9 = -3*b for o.
-5
Let k = 31 - 15. Suppose 0 = -5*f - 2*h + 26, -f + 2*h = -4*f + 18. Suppose 2 + 0 = -p, k = 2*u - f*p. Solve -m + 2*m - 8 = -4*z, -z - 15 = -u*m for m.
4
Let r be 6/(-42) - (-8)/7. Suppose -l + r = -1. Solve -5*d + 5*o + 45 = 0, -5*o - 11 = l*d - 1 for d.
5
Let n(w) = -w - 1. Let c be n(-5). Let t be (c/4)/(1/5). Solve 3 = 5*l + 3*j - 12, t*l + j - 5 = 0 for l.
0
Let u = -45 - -47. Solve 0*j = 2*j - u, 5*j - 6 = -z for z.
1
Let g be 31/(-2) + 2/4. Let l = 7 + g. Let w = -8 - l. Solve -f + 4 = 3*c, 2*c + f - 1 - 3 = w for c.
0
Suppose 13*b - 121 + 43 = 0. Solve -13 = c + 3*f, -b = 4*f - 2*f for c.
-4
Suppose s - 44 = -19. Solve -3*v - 2 - 3 = -m, 2*v + s = 5*m for m.
5
Suppose 145*c - 8 = 141*c. Solve -2*i + 11 = -f, 5*i + 2*f - c = 3 for i.
3
Let z = 4 + -2. Suppose -z*p + 6 = 2. Solve 5*b = j - 21, -7 = -b + p*j + j for b.
-5
Suppose 0 = -5*g - 10, -f + 1 = 2*f - 5*g. Let h = 0 - f. Solve 0 = 5*w - h*b - 1, 3*w + 5 = -5*b + 4*b for w.
-1
Let m(f) be the first derivative of f**4/4 + f**3/3 - 3. Let c be m(0). Let k be 0 + c - (-1 + -1). Solve l + k*l - 6 = 3*s, -3*l - 4*s - 22 = 0 for l.
-2
Let t = 10 + -7. Solve 19 = 4*i - t*l, 0 = 5*l + 7 + 18 for i.
1
Let t(f) = f**2 + 6*f + 6. Let g be t(-6). Solve -6 + 4 = 2*l + 2*h, -2*h + g = 4*l for l.
4
Let g(b) = -b + 5. Let c be g(8). Let x be 2/(((-9)/c)/6). Solve -5*k - 16 = x*f, 3*f + 0*f = 4*k - 12 for k.
0
Let a(s) = s - 3. Let p be a(5). Let j(y) = -y**3 - y**2 + 2*y - 2. Let m be j(p). Let k be m/((-1)/(2/4)). Solve -31 = 4*l - 5*c - 6, -k*l - 25 = -5*c for l.
0
Suppose 0 = 3*x - 0*x. Solve -5*z = -x*z + 5*i + 25, 0 = -3*z + 5*i - 15 for z.
-5
Suppose 0*d = -3*d - 4*n + 21, -18 = -d - 5*n. Let h = 12 + -10. Suppose -j + 2 = -0. Solve -q - d*x = -h, 2*q + 4*x = j*x + 8 for q.
5
Let l = 4 + -3. Let b be 1/(l - 2) - -1. Let g be (b - -3) + (-1 - 0). Solve -12 = r - 5*r, 0 = p + r - g for p.
-1
Let n be 0 - (2 - (12 - 5)). Solve 0 = 4*j + 20, -n*c + 4 = j - 1 for c.
2
Let n be ((-27)/12 + 1)*-4. Suppose 61 = n*x + 1. Let k = x + -9. Solve 13 = 5*g + k*o - 2, 5*g + 2*o = 15 for g.
3
Let p = 6 - 3. Let v(u) = u**3 - 7*u**2 + 3*u - 16. Let s be v(7). Solve -9 = -s*x - p*y, -4*x - 2*y = -10 + 4 for x.
0
Suppose 3*a + 3*w - 19 = -w, -5*w = -3*a - 17. Solve 1 + a = -4*d + 2*q, -3*q = -4*d - 7 for d.
2
Suppose -t + 31 = 11. Let b = -5 + t. Suppose -4*f + 12 = -4*o, 3*f + 4*o + 9 = -3. Solve 1 = -f*l + l - v, 0 = 5*v - b for l.
4
Suppose 0 = -y - 3*y + 12. Solve 0 = v - 2 - y, 23 = 4*l + 3*v for l.
2
Suppose -5*s - 36 = -4*p - 3*s, -s = 5*p - 31. Solve 2*q + 4 = c + 3, c - p = -q for q.
2
Suppose 0 = 3*g - 4*g. Suppose 3*r - 5 - 1 = g. Solve -r*h + 4*k = -22, -4 = k - 0 for h.
3
Suppose r + 4*y = -2*r + 141, 3*r - 168 = 5*y. Let b = -27 + r. Solve -2*q + k - 9 = -0*q, -b = 4*q + 4*k for q.
-5
Let s(a) = -a**3 + 5*a**2 - 2*a - 2. Let v be s(3). Let c = -121 + 125. Solve -5*n + 4*j = 11, -v = c*n - j - j for n.
-3
Let y(i) = i**3 + 3*i**2 + 2*i - 1. Let h be y(-2). Let l be (-13)/h + 2 + 0. Solve q - o = 6, -o = 2*o + l for q.
1
Suppose 35 = 5*v - 0*v. Suppose r - v = 8. Solve -3*k + 21 = 3*m, -r = -0*m - m - 3*k for m.
3
Suppose -6*z + 36 = -6. Suppose o - 4 = -o. Solve 3*b + n = z, -2*b = -b + o*n - 4 for b.
2
Suppose -54*a = -58*a + 8. Solve -2*s + 3*o + 5 = a*s, -5 = -2*s + o for s.
5
Let j(k) be the third derivative of -1/3*k**3 + 0*k - 1/24*k**4 + 2*k**2 + 0. Let f be j(-6). Solve f*z = 5*s + 12, -3*z + 5 = 3*s - 4 for z.
3
Suppose -3*m = -2*d - 13, 0 = m - 5*m - 2*d + 8. Suppose 5*f - 61 - 25 = 3*z, -m*z = f - 10. Solve 0 = 4*q + 3*g - 19, 5*q + 3*g - f = 7 for q.
4
Let a = 45 + -42. Solve -5*g