 9 - 5. Let l be (-1)/((10/t)/(-5)). Solve 0 = -l*r - 5*v + 17, -r - 5 = -2*v - 0 for r.
1
Suppose 0 = -2*y + 2*h, -12 = -6*h + 2*h. Let r = 1 + 3. Solve -8*q + r*q = -5*k + 16, 7 = -5*q + y*k for q.
1
Suppose 0 = 5*x + 2 - 12. Suppose 4*t - 3 - 1 = 0. Suppose -t = -j + x. Solve 2*l + 0*z + 5 = z, -j*z = 2*l + 9 for l.
-3
Suppose -3*h = 3*h - 24. Solve -h*v + 4*w = -3*v - 21, -4*v + 24 = -4*w for v.
1
Let u = -9 + 9. Solve z = 4*l - u*z - 5, -5*z = 5 for l.
1
Suppose -w + 2*w = 16. Suppose -2*t - 4*b - 32 = 0, 2*t - 2*b + 4*b = -22. Let a = w + t. Solve a = l + 2*g, g = -4*l + 2*g + 4 for l.
2
Let n be 8/12 + 10/3. Let a = n + 0. Solve -a*v = 0, -4*u - 2*v = -5*u + 5 for u.
5
Suppose 2 = -6*b + 7*b. Let c = 0 + b. Solve -5*x + g = -c*g + 26, -x + g = 6 for x.
-4
Let c = 5 - 4. Let l(b) = 3*b**3 - 2*b**2 + 1. Let o be l(c). Solve 5*h - o*r = 20, -2*r - 4 = -h - 5*r for h.
4
Let b = -23 - -8. Let q = 17 + b. Solve -5*u = 4*p + 6, 2*p = -q*u + p for u.
2
Let d be (-6 - -4 - -6) + 2/1. Solve -2*l - 3*m = -11, -d*m = l - 2*m - 18 for l.
-2
Suppose 11 = 4*v + 3. Let l be 16/v + (1 - -1). Suppose l = 3*q - 2. Solve q*y = -2*j - 0*j, 4*j + 3 = -5*y for y.
1
Let y be (-190)/(-25) - 2/(-5). Let o = y - 4. Solve k - 4*k - 9 = 0, -o*b + 5 = k for b.
2
Suppose -5*j = 4*r - j - 32, 0 = 2*r - 5*j - 2. Let w = r + -2. Suppose 0 = n - 2*n + 5*g + 9, 5*n - w*g = 24. Solve 5*h = 2*k + 23, n*k = -k - 2*h - 14 for k.
-4
Let m be ((-3)/(-6))/((-2)/(-24)). Let j = -8 + 10. Suppose -v = j - 5. Solve m = 2*c, 21 = -3*p + v*c + 3 for p.
-3
Let i(o) = o**2 - 5*o - 9. Let k be i(7). Suppose 4*b - k*s + 4 = 0, s + 8 = 3*s. Solve 5*f + 22 = 4*t, t - f = -b*f - 3 for t.
3
Suppose 5*q + 33 = 2*r, -3*r = 2*r - 4*q - 40. Let n = -219 + 221. Solve r*b = -2*g + 2, -n*b - 19 = 3*g - 7*b for g.
-3
Let y(t) = -8 + 1 + 4*t**2 - 12*t**2 - 8*t - t**3. Let o(s) = 8*s**3 - 3*s - 2. Let p be o(-1). Let x be y(p). Solve x = -2*k + r - 9, -3*r = -k - r - 9 for k.
-3
Let y = 7 + 0. Solve 5*q + 4*g = -y, 0 = -q + 3*q - g + 8 for q.
-3
Let t be (1/(-4))/(1/(-8)). Let z(u) = 2*u + 1. Let c be z(t). Solve -c*r + o = -10, -o + 3*o = r - 2 for r.
2
Suppose -8 = 4*o - 0. Let z be ((-3)/o)/((-2)/(-4)). Solve -w - z*b + 1 = -0, w + 2*b = 0 for w.
-2
Let h = 5 - 2. Solve -h*q = -3*r + 18, -6*q = -2*r - q + 24 for r.
2
Suppose 0 = 9*q - 2*q. Solve -2 = -2*v + 3*d + 3, q = -3*v - d + 13 for v.
4
Let p(s) = -s - 5. Let q be p(-7). Let n = q + 0. Let d(z) = -z + 13. Let j be d(-9). Solve -n*g + 4*k = -j, 2*g + 0*k + 4*k = -2 for g.
5
Let p(b) = 18*b + 3. Let u be p(3). Suppose -5*k - 7 + u = 0. Solve 0 = -2*w - k, -n - w - 7 = -3*n for n.
1
Let h = 29 + 5. Let s be (-2)/4*(-16)/2. Solve -h = -5*n + s*z + 7, -16 = 4*z for n.
5
Let m(r) = -r**2 - 3*r + 2. Suppose -z - 8 + 5 = 0. Let c be m(z). Solve 0 = -2*w + 5*h - 1, c = 4*w - 5*h - 1 for w.
2
Let b be (266/(-21))/((-2)/(-6) - 1). Solve -5*x + 10*x = 2*s + b, s - 10 = -4*x for x.
3
Let u(h) = -h**2 - 2*h - 4. Let s = 0 + -3. Let v be u(s). Let r = v - -14. Solve -4*f + 20 = 3*n, -5*f - n = -r - 18 for f.
5
Suppose 0 = -12*k + 16*k - 24. Solve -i + 2*i - 7 = -o, 0 = -2*o + 2*i + k for o.
5
Let m be (-5)/((-5)/(-3)) - -6. Suppose 3*h + 8 = -0*d + d, 4*d - 41 = m*h. Solve 2*a + 19 = 4*w + 5, 5*a = 2*w - d for a.
-1
Suppose 0 = 2*y - 9 + 3. Let p be (y - 15/6)*6. Suppose 9 = p*a - 3. Solve 19 = a*b + 7, -r - 2*b = -3 for r.
-3
Let j(h) = -2*h**3 + h**2. Let w be j(-1). Suppose 3*f - 19 = -4*m + w, -4*f = -2*m. Solve -f*p + 3*y + 16 = 0, 2*p + 2*y + 3*y = 0 for p.
5
Let s(i) = i**2 - 3*i - 2. Let u be s(4). Suppose -u*k = -4*k. Let y = k - -3. Solve -4*t = -2*r - 3*r - 1, y*t = -2*r - 5 for r.
-1
Let z(o) = o**2 - 6*o + 6. Let v be z(5). Suppose -h - 5*u - 24 + v = 0, 0 = -h - 2*u - 8. Solve 6 = -n + h*s, n + 3*s - 10 = 3*n for n.
-2
Suppose -2*j - 2*j = -52. Let m(u) = u**2 + u + 4. Let q be m(0). Suppose -p = -2*f + 2*p + 16, 2 = -f - p. Solve 0 = -5*i - 4*g + j, -f*i = -q*g + 3*g for i.
1
Suppose 4*s + 3 = -n + 13, -n + 2*s = 20. Let o = n + 12. Solve -5*q = -0*t + 3*t + o, 2 = -2*q for t.
1
Suppose -18 + 6 = -6*g. Solve u = -g*v, u - v = 2*v - 5 for u.
-2
Let y be (13/(13/4))/(1 - 0). Solve -y*k = 3*l - 11, -k - 4 = -3*k - 2*l for k.
5
Let f(v) = -v + 11. Let z be f(5). Suppose -5*m + 21 = z. Solve 2*y = -y - m*l, -y = -l - 4 for y.
2
Let n = -5 - -20. Let b = -4 - -7. Suppose 0 = -5*l + b*l + 8. Solve -4*v - l*r + 20 = -v, v - n = -3*r for v.
0
Let d(k) = 5*k - 48. Let m be d(10). Solve 0 = -h + y + 4 + 4, y - m = -h for h.
5
Let c be (-1)/4 + (-49)/(-4). Solve -3*g = 5*h, 5*h - c = 3 for g.
-5
Let j be (1/1)/(3/12). Let w = -2 + j. Let p(m) = -m**3 + 13*m**2 - 11*m - 6. Let l be p(12). Solve w*k = 3*z - z - 4, -k - l = z for k.
-4
Suppose 5*a - 5*i = -15, 13 = -2*a + 3*a + 3*i. Let g be a/((-1)/(-3))*3. Suppose 0 = -2*z - 1 + g. Solve -5*v - 22 = 2*h, 9*v - z*v - 4*h = -16 for v.
-4
Suppose 0*h = 4*h - 12. Suppose -1 = h*m + 2. Let n be 0/m - (-3 + -7). Solve x + 0*x + n = -4*p, 3*x + 8 = -p for x.
-2
Suppose -3*o + j = 2*j - 22, -26 = -5*o + j. Let b(v) = -v**3 + 11*v**2 - 16*v - 14. Let k be b(9). Solve -2*s + 3*r - o = 4*r, k*s + 3*r = -10 for s.
-4
Let l be (-2)/(-3) - (-22)/(-6). Let n = 3 + l. Solve -3*t = n, -3*w - 5*t + t + 3 = 0 for w.
1
Suppose 2*r = r. Let y be (-20)/((-4)/10 - (-44)/(-165)). Solve 5*k = -5*x + x + 17, r = -4*k + 5*x + y for k.
5
Let s be 16/20*(-5)/(-2). Let n be ((-4)/s)/(1/(-29)). Let f = n + -32. Solve 2*d - f = 4*l, l - d = 6*l + 15 for l.
-4
Let f(t) = t**2 + 9*t - 9. Let o(j) = j**3 - 8*j**2 + 5*j + 4. Let k be o(7). Let n be f(k). Solve s + 3*r - n = 2*r, 5*r - 26 = 2*s for s.
-3
Let x(d) be the first derivative of d**2/2 + d - 3. Let t be x(2). Solve -3*a + 2*k + 3 = -4, 4 = -2*a - t*k for a.
1
Let f = 3 - 1. Suppose -3*x = -f*x - 3. Suppose x*s = 36 + 6. Solve n = h + 3, s = 2*h - 6*h + 3*n for h.
-5
Let d be 4 - (-4 - 1 - (-20 - -13)). Suppose 0 = -2*v - v - 6. Let z be v*(-1 - (-2)/(-4)). Solve g + 0*i + 12 = -z*i, d*g + i - 1 = 0 for g.
3
Suppose -10 = -5*l + 5*s, -6 = -2*l - s + 7. Solve -5*m = 5*u - 5 + 20, -6 = -4*u + l*m for u.
-1
Let d = 80 + -47. Solve 3*c - 3*s = -c + 7, -4*c - 5*s - d = 0 for c.
-2
Let k(l) = -l. Let q be k(-4). Let y = 7 + -2. Solve 3*b - q = -4*v, -y*b = -v - 0*b - 22 for v.
-2
Let s(v) = v**2 + 15*v + 18. Let g be s(-14). Solve g*m = k + 1, -3*k - 2*m + 10 = -m for k.
3
Suppose 2*g + 8 = 0, -1 = 2*s - 5*g - 29. Suppose 11 = s*q - 3*q. Solve 0 = -0*h + 4*h - f - q, 5*f = 25 for h.
4
Suppose 68*t - 4 = 67*t. Solve -2*h + t*p = 2, 4*h = 3*h - 5*p + 20 for h.
5
Suppose -3 = u + 2. Let f(q) = q**2 + 3*q - 5. Let l be f(u). Solve 4*x + 0*x + l*j - 6 = 0, -7 = 3*x - 2*j for x.
-1
Suppose 6 = 4*m - 10. Solve 2*t - 18 = -m*j, -4*t = j + t for j.
5
Let n be -8 + ((-1)/(-1) - -1). Let t = n - -8. Suppose 5*o = 2*w - w, 9 = t*w - o. Solve 0 = -w*u + 15, -4*q + u = -0*u - 17 for q.
5
Suppose 0 = 4*o - 14 - 2. Suppose -y = -3, -o*y = -n + y + 5. Suppose -7*p + 2*p = -n. Solve 3*q + 2 = p*w + w, 0 = -3*q - 5*w - 22 for q.
-4
Suppose -5 = -5*m, -2*m + 0*m + 30 = 2*h. Suppose 4*y = 4*x - 136, x - 5*y - h = 36. Solve -a + 25 = 4*a - 4*s, -5*s = -5*a + x for a.
1
Suppose 0*v + 6 = v. Solve 2*l - 6 = -4*s, v*s = 2*s - l + 9 for s.
3
Suppose f + 8 = 27. Suppose 7*p - 2*p - 2*k - f = 0, 29 = 4*p + 3*k. Solve 4*u + 4*r = 0, p*u - 2*r = -0*u - 7 for u.
-1
Let p be (-6)/(-9) + (-14)/(-6). Suppose -n - 10 = -p*n. Suppose -3*j = 3*c - 15, -2*j - 8 = 5*c - 33. Solve 0*r - n*r - 2*u + 13 = j, 4*u - 18 = -2*r for r.
1
Let m be ((-12)/10)/(18/(-45)). Solve -5*n - 10 = -5*z, 2 = -4*z + m*z - 3*n for z.
1
Let t be ((-10)/(-4))/(3/(-6)). Let y be (0 + 1)*(-1 - t). Suppose -y*o - m = 5, 4*o - 20 = -0*o + 4*m. Solve o = -0*x - 2*x - 2*b + 16, -30 = -3*x - 5*b for x.
5
Let b be 0/11 + (1 - -4). Solve -2*x - 3*t = -5*x - 12, -2*t + 8 = b*x for x.
0
Let a = 125 - 122. Let k = 34 - 23. Solve -5*h = -3*j + k + a, -h + 4 = -4*j for h.
-4
Let o(z) = -z**3 - 3*z**2 + 4. Let m be o(-3). Suppose 0 = 5*r - 8*r - 15, -2*r = -y + 10. Solve -3*u + 6*u = -b + 3, -4*u + m = y for b.
0
Let x be 2 - 4 - (-13 + 1). Suppose b = -4*b + x. Solve 3*m - 8 = -b*n, -3*n = -3*m - 8 - 4 for n.
4
Let o(v) = 5*v**2 + 12*v + 3. Let j(g) = 4*g**2 