6 + -8. Let k be c/8 - (-15)/12. Solve -3*z = -m - 0*z - k, 22 = 4*m + z for m.
5
Let p(h) = h**3 - 8*h**2 - 2*h + 11. Let f be p(8). Let c(j) = 1 - j - 1. Let a be c(f). Solve 2*t - 1 - 1 = -4*z, -a*t + z + 16 = 0 for t.
3
Let t be 3 + (2*-6)/4. Solve -4*m + 0*l = -4*l - 36, t = 4*m + 3*l - 1 for m.
4
Let l(a) = 6*a - 6. Let t be l(4). Let o = -8 + t. Suppose -2 - o = -4*b. Solve -u = -5*i + 3, -b*i - 2*u + 7 = -0*i for i.
1
Let m = 0 + 12. Solve 3*f + m = f + a, -5*f = -4*a + 36 for f.
-4
Suppose 0 = -0*y - y. Suppose x - 4 - 4 = y. Solve -m = -5*k + x, 5*m + 1 = 4*k + 3 for m.
2
Let m = 20 - 15. Solve -m*x = c - 5, c - 9 = -4*x - 4 for c.
5
Let s(j) = -j - 11. Let q be s(-13). Suppose q*h - 20 = -3*h. Solve 5*u - 23 = k + 3, -h*u + 22 = -2*k for k.
-1
Let n = 183 - 169. Solve t = 5*u + 17, -2*u + 0*t = -4*t + n for u.
-3
Suppose 2*q - 11 = -y, -q + 0*q + 8 = y. Solve 4*g = -q*x, 0 = x + x + 5*g for x.
0
Suppose 0 = 4*l + 2*h + 2, 3*h = 5*l - 0 - 14. Suppose 0 = 4*q - 9 + l. Suppose -3*w = 5*a + 10, w = 3*w + q*a. Solve 3*o + n = -14, n - w = 3*o + 5 for o.
-4
Suppose 5*r - 3 + 2 = t, 11 = 4*t - 5*r. Solve 26 = -5*o - k, -9*o = -t*o + 5*k + 30 for o.
-5
Let z(u) = -u**2 - 9*u. Let r(x) = 2*x + 13. Let l be r(-11). Let m be z(l). Solve -2*y + 6 = 3*f, -3*f - 12 = -m*y - 4*y for y.
3
Suppose 0 = 3*v - 17*v + 98. Solve -5*w = 3*z + v, 0 = -3*z + 5*w - 0*w - 17 for z.
-4
Let r be (2/(-6))/((-6)/(-234)). Let m be (-24)/r - (-6)/39. Solve 2*j = 2*i + m, -2*j - 20 = 2*j + 2*i for j.
-3
Let p = 2 - 0. Suppose -t + p*g = -2*g - 20, 25 = -5*g. Suppose 3*v = -t*v + 27. Solve 0 = -4*u + j - v, 21 = 4*u + j + 4*j for u.
-1
Suppose -3*g - 2*g = -20. Solve 2 = -g*f + 2*d, 3*d + 5 + 7 = f for f.
-3
Let b(f) = 5*f**2 - f - 1. Let j be b(2). Suppose -s = 5*m - 10 - j, -5*m + 31 = 3*s. Solve n = t + 3, 3*t - m*n + 11 = -0 for t.
-2
Let n(j) = j**2 + 12*j + 23. Let c be n(-10). Solve -c*d - 5*k = -d + 2, 2*k = -5*d + 16 for d.
4
Suppose p + 5*q - 15 = 0, 3*q = -5*p - q + 54. Suppose 0 = -5*d - p, 3*d - 5 = -3*i + d. Solve 2*k + 11 = -5*n + 5*k, -5*n - i = k for n.
-1
Suppose 5*a + 3*q - 80 = -2*q, -2*a - q = -28. Let z = 11 + a. Solve 0 = p - 3*p + 5*n + z, -5*n - 15 = 0 for p.
4
Suppose -5*i - 54 = 31. Let x = i + 21. Solve -5*t - 5*n + 11 = -4*n, -3*t + x = -2*n for t.
2
Let g be (-2)/1*(-5)/2. Suppose -27 = -g*a - 2*n, 0 = 2*a + 3*n + 7 - 20. Solve 8 = -4*r, a*f - f = -5*r - 2 for f.
2
Let p = -3 + 3. Let x = p + 5. Suppose v = 2*h - 5, x = 4*h - 0*h - 3*v. Solve 4*s - h = r, 6*s + 3 = -5*r + 4*s for r.
-1
Let r = 11 + -7. Suppose 3*n + 2 = r*n. Let g be 6/27 + (-225)/(-81). Solve 10 = 3*v - 2, -n*y - g*v = -2 for y.
-5
Let y = -1 - -3. Solve -3 = -y*p - c, 24 = p + 2*p - 5*c for p.
3
Let h(j) = j**2 - 7*j + 5. Let x be h(7). Solve -3*s + x = 5*w - 12, 0 = 2*w - s + 2 for w.
1
Let q(a) = a**3 + a - 13. Let d be q(0). Let n = d - -22. Solve b = 5*z + 28, 0 = -2*b - 2*z - z - n for b.
3
Let j be 50/4*60/75. Solve 4*o = 3*t - o - 37, 0 = 2*o + j for t.
4
Let h(l) = 4*l - 8. Let b be h(-6). Let i = b + 49. Suppose 0 = -4*w + i + 3. Solve -w = 3*x + 5*s + 4, 0 = -4*s for x.
-3
Suppose -73 = -5*f - 3*k, 3*f - 5*k + 24 = 61. Suppose 0 = -3*t + 15 - 3, -l + 3*t = 22. Let m = l + f. Solve g + m = 5*d, -5 = -4*d - g - 0*g for d.
1
Let o be ((-14)/8)/((-2)/(-16)). Let p be (-66)/o + (-2)/(-7). Let f = -64 - -76. Solve p*r + 3 = 4*b, 4*r - b = -5*b + f for r.
1
Suppose -83 = 2*w - 87. Solve 4*y - 3*t = 13, w*y - 7*y + 16 = -4*t for y.
4
Let i(u) = -4*u**2 - 4*u + 10. Let m(s) = -3*s**2 - 4*s + 9. Let q(l) = -2*i(l) + 3*m(l). Let d be q(-5). Solve d*z - 4*r - 4 = 3*z, -3*z + 5*r = -5 for z.
0
Let w = -15 + 10. Let l be (-24)/w - 3/(-15). Suppose l*y - 1 = 2*i, 3*i + 5*y - 43 = -i. Solve 4*d - i = 3*h, 4*d + h = -2*h + 25 for d.
4
Let o(j) = -14*j**2 - 32*j - 1. Let t(q) = -5*q**2 - 11*q. Let r(s) = 4*o(s) - 11*t(s). Let a be r(-6). Solve c + 17 = 3*i + a*c, 4*i = c + 11 for i.
4
Let w(f) = 4*f**2 - 1. Let y be w(-1). Suppose -4*x - 20 = -2*z, z - y*x + 11 = -8*x. Solve -4*i = z*n - 20, -4*i + 4 = n - 10 for n.
2
Let b be 4/(-14) + (-69)/(-21). Let n = 19 - b. Solve -5*o - n = 3*c, 0 = -3*o - 2*c - 14 + 4 for o.
-2
Suppose 0 = 4*a + a. Let n(i) be the third derivative of i**4/24 + 3*i**3/2 + i**2. Let w be n(a). Solve -2*d + 17 + w = -4*r, 0 = -4*r - 3*d - 11 for r.
-5
Suppose -l = 34 - 7. Let z = -22 - l. Solve -m + 24 = z*g + 2, 0 = g + 3*m + 4 for g.
5
Let p = 8 + -5. Suppose 5*y + 0*x - x = 1, 2*x + 2 = 5*y. Suppose y*b = -b. Solve t + t = b, p*f = 2*t + 9 for f.
3
Let m(q) = -q**2 + 1. Let r = -2 - -1. Let h be m(r). Suppose -12 = -h*g - 3*g. Solve -j + 26 = 4*o - g*j, 0 = -2*o + 4*j + 18 for o.
5
Let c(f) = -f**2 - 2*f - 3. Let g be c(-3). Suppose 0 = h - 0*h - 8. Let o = h + g. Solve 0*d + t - 13 = -4*d, -3*d = o*t - 11 for d.
3
Let x be (-6)/4*(9 + -11). Let f(w) = -3*w. Let d be f(-4). Let q = -2 + d. Solve -x*j + 0*g = -2*g + q, 2*j = -g - 2 for j.
-2
Let t = -8 + 11. Suppose 0 = t*i - i - 38. Solve -g + 2*j - 4 = 0, 5*g = -j + i + 5 for g.
4
Let u be 0 - (-6)/2 - 1. Solve 0*m + 5*f = -2*m + 4, u*f = 0 for m.
2
Suppose -2*q = 2*q - 16. Let c be 4 + 0 + (1 - 1). Suppose -c*m = q*w - 16, -2*w - 3*w = -m - 44. Solve 3*o + w = i - 5, 8 = 2*i for o.
-3
Suppose -2*o - 3 = -15. Solve -2*y + 0*r + 4*r + 4 = 0, o = -2*r for y.
-4
Suppose 3*r + 4 = -17. Let h be r/(-3) - 8/(-12). Suppose -h*a + 5 = 3*s + 14, 4 = -3*a - 2*s. Solve -2 = -3*o + 2*m + 17, -2*m - 16 = -a*o for o.
3
Let a be -3 - ((-1)/(-1) + -2). Let l be (-27)/6*a/3. Solve -2*y + 3*h = -6, 5*h + 8 = l*h for y.
-3
Let s be 9 + -2 - 4/2. Suppose 36 = 2*w - 2*h, -s*w + 169 = h + 61. Let z be (-6)/(-21) - 6/w. Solve 2*t - r + 8 = -0*r, -4*t - r - 10 = z for t.
-3
Let a = -3 - -8. Solve a*y - 3*m = 0, 2*m - 20 + 1 = -3*y for y.
3
Suppose 4*i = -0*i. Suppose i = 3*r - 3*t, -5*r + r - 4*t = -24. Suppose 0 = -6*m + 3*m + 6. Solve 1 = r*q + 2*f, m*f = q - f - 15 for q.
3
Suppose 0 = d - 25. Suppose 5*n - 3*j = d, 5*n = -j + 19 + 6. Solve -f + 3*f = -2*v - 6, n*v - 2*f + 8 = 0 for v.
-2
Let h be ((-12)/(-10))/((-30)/(-100)). Solve -h*f = 3*c - 15, -2*c = 2*f - 0*c - 10 for f.
0
Suppose 7 + 2 = p. Suppose 14 = 4*x - 22. Let r = -4 + x. Solve 0 = -r*l + 2*v - p, 5*l + 5*v - 7 = -2 for l.
-1
Let r = 10 - 7. Suppose 3*y = -3*j + 18, -2*y = -5*y + 4*j - 17. Let n be y - ((2 - r) + 2). Solve 3*g = -3*u + 15, -g + n*u - 2*u + 7 = 0 for g.
3
Suppose y - 23 = -3*m, -3*m + 4*m + 4*y = 4. Solve -2*v = 4*n + 12, 5*n + m = -v - 13 for v.
4
Suppose 7*d - 4 = 3*d. Solve 36 = 5*r - 5*q + d, 5*r - 31 = 3*q for r.
5
Suppose 51*l = 50*l + 3. Solve -4*j + 9 = -3, 2*u + j = -l for u.
-3
Let l = 44 - 19. Solve 5*i = -z + l, 0*z - z = -i - 1 for z.
5
Let b = 23 + -16. Let y = -5 + b. Suppose 0 = f - 0*f - y. Solve 3*l + 4 = -4*u, f*l + 5*u + 16 = 4 for l.
4
Let d be (-2)/3 - 24/(-9). Suppose -3*l - 5*m = -1, d*l - m = 3*m + 30. Let i = -4 + l. Solve 0 = -2*s + i*t + 4, 2*s + t - 6*t = 4 for s.
2
Let d(t) = t**2 + 2*t + 2. Suppose -10*w = -6*w + 12. Let h be d(w). Solve r - h*f = 15, 4 = -3*f + f for r.
5
Suppose 0 = -5*t - 2*f + 26, 1 = -2*t - 0*t + 3*f. Solve t*k - 16 = 2*o + 2*o, 5*k - 19 = 4*o for k.
3
Let p = 21 + -8. Solve o = -2*c + 11, -p = -c - 0*o - 2*o for c.
3
Let k be (24/(-20))/(6/40). Let t be 4/k*(2 + -10). Solve -t*g = 5*c + 11, 2*g = 7*g + 20 for c.
1
Let a = 18 - 10. Suppose -l = -3*g - 4, 2*g - 2 = -l - a. Let u = 4 + l. Solve -7*o + 2*o = -u*z - 21, -o - 3 = -4*z for z.
2
Suppose -2*g + 18 = 4*l, 0*l + 2*l + 4*g = 6. Let w be 3/2 + 5/10. Let d = 0 + w. Solve -2*s - 6 = -2*q, -l = d*s + 3*q - 24 for s.
2
Let n(r) = 13*r - 1. Let f = 8 - 6. Let q be n(f). Solve -10 = k - 2*z, -k + q = -0*k + 5*z for k.
0
Let v be (3/2)/3*2. Suppose -h = -l + v, 0*h - 5*l = -3*h - 9. Suppose 0*s = -h*s. Solve -5*u - 2*m - 9 = -2*u, u + m + 4 = s for u.
-1
Suppose 6*t - 30 = t - 5*x, 0 = 4*t - x - 34. Let g be t/5*20/8. Solve -g*s - 24 = 3*n, 0*n + 4*n + 28 = -4*s for s.
-3
Suppose -4*n = 23 + 5. Let i = n - -11. Let a = 6 - i. Solve -p - 2*l - 10 = 0, a*p - p + 5*l = -19 for p.
-4
Let p(j) = j**2 + 8*j. Let l be p(-8). Let g be l/(2/(-2 + 0)). Solve -3*x + 3*z - 3 = g, 2*z - 3*z = -2*x - 6 for x.
-5
Let i be 4 - (-2 - -5) - 3. Let g be 