+ 8. Let l = -6 + g. Solve 5*d + 9 = l*y, -y + 3 = 2*d - 0*y for d.
0
Let n(l) = -l + 18. Let d be n(14). Solve 4*v - 14 = 5*c, 3*v - 7 = d*c + 4*v for c.
-2
Let t(j) = -4*j - 13. Let p be t(-4). Suppose 4*r = p*r + 3. Solve -2*q + 13 = -r*z, 5*q - 16 = z + 2*q for z.
-1
Suppose -4*v - 5 = m - 3, -2*m + 16 = -2*v. Solve -5*s + 4*n + m = 0, -4 = -2*s - s + 2*n for s.
2
Suppose -2*g + 25 = -7*g, 14 = -3*l - 4*g. Solve l*z = -z - 15, -5*c + 5*z = -35 for c.
2
Let y = 62 - 59. Solve y*a = 4*g + 19, 5 + 5 = -2*a - 3*g for a.
1
Let a be 0 + 3 + 0/(-2). Let v be 1/1*2/8*0. Solve -3*q = -15, -q + 11 = a*x - v for x.
2
Let a(b) be the first derivative of -b - 13/2*b**2 + 3. Let j be a(-1). Solve -5*x = -2*x + 3*n + j, -5*n + 25 = -4*x for x.
-5
Suppose 0*o - 7*o + 91 = 0. Let i = o - 9. Solve 0 = -2*w + 2*t - 12, 0 = i*w + 2*t - 0*t for w.
-2
Let h(p) = p**3 - 5*p**2 + 5*p. Let j be h(4). Let q = 5 - j. Solve 0*m - 5*m - 5*u = 10, -3*m = -4*u - q for m.
-1
Let x = 3 + 2. Let s = x - 5. Suppose 3*r + s*r = 6. Solve -8 = -r*q, -6*q + 7 = -u - 3*q for u.
5
Let c = -58 - -83. Let l(a) = 2*a**2 + 2. Let g be l(3). Suppose g = 6*s - s. Solve 3*z - 4*t = 30 - s, 0 = -5*t - c for z.
2
Let j = 14 - 11. Solve 6*g - 2*g + 4*h = -16, -4 = j*g - 5*h for g.
-3
Suppose 4*d + 21 = f - 0*f, -8 = 2*f + 2*d. Suppose -44 = -3*l + f. Suppose 3*c + l = 2*t, 6*c = -t + c - 25. Solve -3*i = -j + 1, 4*i - 2*j + j = t for i.
1
Let i = -26 + 28. Solve 4*k = 2*g - i, -4*g = k + 2*k - 4 for g.
1
Let a = 78 - 43. Suppose 28*k - 118 - 22 = 0. Solve -l + 0*l = 3*p + 17, 0 = 5*l + k*p + a for l.
-2
Let o be ((-40)/25)/(4/(-10)). Solve o*i = 0, -3*i + 4 + 11 = 5*q for q.
3
Let y be (30/(-4))/((-6)/12). Suppose h + 2*h + 5*s = -6, 5*s = -y. Suppose -2*r - h*d - d + 4 = 0, 5*d = -2*r. Solve 0 = n + 2*n - f + 17, -r = -5*f for n.
-5
Let c be (-6)/(-4 - -1)*2. Solve 12 = c*l + 5*s, 0*l + 5*l + 4*s - 15 = 0 for l.
3
Let o = -5 - -7. Solve -3*u - 4*q + 2 = -4, 0 = -o*q for u.
2
Suppose 7*y - 9 = 4*y. Suppose -4*f - s + 23 = -y*f, 4*s = -f + 32. Suppose 6 = -2*t + f. Solve 0 = 2*u + 5*r - t, -3*u + 2*r - 2 + 3 = 0 for u.
1
Suppose 4*q + 4 = -0*q. Let y be ((-36)/4 - -1)*q. Solve 6*d - k = 2*d + y, -3*k = 4*d - 24 for d.
3
Suppose -5*r - 2 = 4*t - 5, t = -3*r + 6. Let v = -4 + 8. Solve 7*d = r*d - v*c + 16, -2*d + 2*c + 4 = 0 for d.
3
Let z = -1 - -6. Solve -3*v - 3 = w - z*v, -3 = 4*w + v for w.
-1
Let l = -184 + 189. Solve -9 = 5*i + 4*a, -l*a = -4*i + 3*i - 25 for i.
-5
Let n(a) = a + 13. Let q be n(-6). Let y(d) = -q - d - d + 4*d. Let p be y(6). Solve 0 = l + c + c + 3, 5*l + 5*c = p for l.
5
Let p = -8 - -2. Let d = -1 - p. Solve -3*a + h - d*h = 9, 0 = -h for a.
-3
Let u be (-1)/(-6) + (-4)/24. Suppose u*h = h. Solve -4*g - 5*b - 20 = -h*b, g = 4*b + 16 for g.
0
Suppose 0 = -5*q - 3*s + 40, 40 = 5*q + 5*s - 10*s. Solve -4*c - q = -4*n - 0*n, -4*n + 8 = -c for n.
2
Let p be (-1 - 14)*1/(-3). Suppose p*c = -0*c + 30. Suppose -10 = -c*k + k. Solve 5*o + 22 = -2*t, 8 = -3*o + k*o - 4*t for o.
-4
Let d(t) = 1 - 7*t**2 + 7 - 2*t**3 + t**3 - 5*t. Let n be d(-6). Suppose 0 = -w + 3*l + 12, 9 = 4*w - 0*l + l. Solve w*i + 3 = 0, 0 = -n*r - 3*r + i - 9 for r.
-2
Suppose 0 = -40*y + 39*y + 4. Solve 6*l = 3*l + 4*t + 31, -y*t = -l + 21 for l.
5
Let h = 0 - -5. Suppose -5*p + 5*o - 5 = -0, -h*p = -2*o + 2. Let x be 0/(2*-1) - -3. Solve t + 6*s - 2*s + 9 = p, 12 = -3*t + x*s for t.
-5
Let v(q) = -2*q - 3. Let b be v(-4). Suppose 2*g - 20 = -0*g + 2*w, -b*g - 4*w + 50 = 0. Let k = -7 + g. Solve 3*a + 0*u - 18 = -k*u, 4 = 4*a - u for a.
2
Let r(k) = -k**2 + 13*k + 35. Let h be r(15). Solve 2*q - 28 = 3*x + 7*q, -h*x + 3*q + 10 = 0 for x.
-1
Let i = -16 - -21. Solve -i*t - 17 = -z, z = -t - 3*t - 19 for z.
-3
Suppose 0 = 11*r - 16*r + 60. Solve 5*q - 4 - 12 = -4*u, -q = -3*u + r for u.
4
Let q(d) = -3*d**2 - d + 4. Let r be q(3). Let i be (-5)/20 + r/(-8). Solve i*v - 2*f = -3, -2 - 12 = v - 5*f for v.
1
Suppose 3*l = 5*l. Let a(x) = 2*x**2 + 12*x + 4. Let m be a(-6). Solve 7 = 2*q - v - 5, m*q + 4*v - 12 = l for q.
5
Let m = -1095 - -1097. Suppose -3*k + 15 = -0*k. Solve 5*q = k*o + 4 + 21, -2*q - o - m = 0 for q.
1
Let k(r) = -r**3 - 6*r**2 - 8*r - 3. Let p be k(-5). Let l = p - 10. Let j be 1/2 - (-1)/(-2). Solve -l*o + 2 + 0 = f, j = 4*f + o - 1 for f.
0
Suppose 0 = 3*n - 3*t + 33, -2*n = 5*t + 60 - 10. Let h = n + 19. Solve -3*o + 2*s + 8 + 15 = 0, 4*o + h*s = 4 for o.
5
Suppose 7*n = 9 + 75. Suppose -n = -k - 5*k. Solve 0 = 3*u - 2*u - 3*v + 16, -2*u - k*v + 8 = 0 for u.
-1
Let f be (10/6)/((-2)/(-6)). Suppose 3*l - f*l = -6. Suppose -1 - 1 = -v. Solve 0 = l*n + 4*m + 4 - 0, -v*m = 2*n + 4 for n.
-4
Let o be 1 - (-2)/(-1) - -1. Let a be (-39)/(-15) + ((-48)/20)/(-6). Solve -g + a*q + 5 = o, -5*g = q + q + 9 for g.
-1
Suppose 6*z - 100 = 2*z. Let l be 995/z + 1/5. Solve 2*o - 3*u = -9, -5*o - u + l = 4*u for o.
3
Let b(s) = -2*s**2 - s - 1. Let u be b(-1). Let h be u/12 + (-104)/(-48). Let p = h + 1. Solve 5*k = 5*a, a + a = 3*k + p for k.
-3
Suppose 26*q - 25*q = 5. Solve 0 = -5*p - 5*d, 3*p = -d + q*d + 21 for p.
3
Suppose w - 9 = 3*x - 2, 5*x - 3*w + 13 = 0. Let c = 4 + x. Suppose c*o - p = -0*p + 24, 13 = o - p. Solve -4*j = 5*b + 6, 4*j = 3*b - 11 - o for b.
2
Let v(h) = 2*h**2 - 2*h. Suppose -2*k = 5*r + 1, k - 5*k + 3 = 5*r. Let x be v(k). Let d = -20 - -42. Solve 0 = -4*z - 5*o + d, 2*o - 19 = -z - x*z for z.
3
Let a(b) = b**3 - 19*b**2 + 18*b + 4. Let h be a(18). Let t(r) = 15*r. Let q be t(2). Solve 5*c - 15 = -u - 4*u, -h*c + q = -5*u for c.
5
Suppose 4*n = -0*n. Suppose n*b - 23 = -5*s - b, -s - 5*b + 19 = 0. Let u be (-1 - 0) + (-5)/((-35)/28). Solve s*j = u*l - 7, 2*j - 3*l = 2*l - 21 for j.
2
Suppose 2*z = -z - j + 16, 3*z + 4*j = 19. Suppose z*k - 12 = 8. Solve a + 4*t - k = 3*a, -5*t - 9 = a for a.
-4
Let r be 3 - 1/(3 - (-116)/(-38)). Solve 0 = 5*z + 5*b - r - 3, 3*b - 9 = -z for z.
3
Let y be -3 - 72/(-6 - -2). Let v = -9 + y. Solve -5*h + 12 + 2 = 3*s, v = 3*s - 3*h for s.
3
Let m be 6/(6/15*5). Solve -5*x + 3*a = -m, 2*x - 5 = -x + 5*a for x.
0
Let v = 13 - 8. Let q be (-3 - 0)*4/(-6). Solve v*k - q*o = 3*o + 10, 5*k = o + 14 for k.
3
Suppose 13*j = 5*j. Solve 0 = -3*c - o + 10 - 2, j = c - o for c.
2
Let x = 44 + -39. Solve 0 = 2*j - b + x, j = -3*j + 3*b - 5 for j.
-5
Let l be (4/(-3))/((-1)/3). Suppose -62 = 5*z - 12. Let i be l/10 - 36/z. Solve 2*w = o + 7, -5*o - i = 5*w + 1 for o.
-3
Let v be ((-6)/5)/((-2)/10). Suppose -28 = p - 0*n - 5*n, 2*p - n = -11. Let x be p/3 + 6/2. Solve 2*m = 5*l - 23 + x, -4*m - 2*l - v = 0 for m.
-3
Let u = 1 - 1. Suppose w - 5 = -u. Solve -3*c = -2*z - 9, -2*c = w*z + c - 30 for z.
3
Let n(y) = y**2 - 10*y + 11. Let r be n(10). Suppose 4*c + 8 = 72. Solve z - q = -4*q + c, -z - 2*q + r = 0 for z.
1
Let n(y) = -8*y + 1. Let c be n(-4). Solve 4*b + 5*a + c = 0, -a + 4*a = b - 13 for b.
-2
Suppose -v + f + 2 + 4 = 0, 4*v + 2*f = 0. Solve 0 = -t + w, 0 = -3*t + v*t - 4*w + 5 for t.
1
Let a be (-2)/11 + (-138)/(-33). Solve -2*p + 7*p = -3*t - 10, 2*p = 5*t - a for t.
0
Let c be 24/(-32) + 30/8. Solve 0 = -5*l - 2*i + 25, 0*l - 15 = -c*l - 3*i for l.
5
Let z be (3 - 4)/((-1)/3). Suppose b + z*b = 0. Let m be (b/(-4 + 3))/(-2). Solve 11 = -t - 3*x, m = 3*x + 2*x + 15 for t.
-2
Let i = -5 + 9. Let r be 0/((-3)/6*-2). Let f = 45 - 43. Solve 5*z + 5 = -f*p, -5*p = i*z - r + 4 for p.
0
Let r = -43 - -49. Solve -2*t = -2*d + 16, 0 = -t + r*t + 2*d + 12 for t.
-4
Let c(i) = i**3 + 3*i**2 - 4*i - 8. Let r be c(-3). Let n(v) = v + 7. Let y be n(-5). Solve g = y*t - 10, r*g + 10 = t + t for g.
0
Let l be (-42)/(-8) - 2/8. Let i(a) = 19*a**3 + a**2 - 1. Let g be i(1). Solve g = l*z - 2*n, -n + 0 = -z + 2 for z.
5
Let v be (-1)/(-4) + (-22)/(-8). Suppose 2*d - 2*n + 8 = 0, 0 = -3*d - 3*n - 0*n. Let u = v - d. Solve -2*i + 5*i = u*s - 23, 2*s - 4*i - 12 = 0 for s.
4
Let s(y) = y**2 + 1. Let l be s(0). Suppose 0 = 4*t - 21 + l. Let p = -2 - -5. Solve -p*w + 3*m = 18, 5*w + t*m - 5 = 3*m for w.
-1
Let l = 18 - 10. Let h be (-1)/((-2)/l) + 0. Solve -h*f = 3*o - 8, 4*o = -0*f + 4*f - 8 for o.
0
Let w(s) = -5*s - 35 + 35. Let t be w(-1). Suppose f = 3*f - 30. Solve -f = -t*p + 2*n, p = -n - 0 + 3 for p.
3
Let l be -2 - -1 - (2 + 4 + -21). Solve b + 3*x - 9 = -0