 = 2*a + 23. Let z be y(-9). Solve 5 = -z*d + 5*v, 2*v - 25 = 5*d + 7*v for d.
-3
Suppose -8 = -25*q + 23*q. Solve z + j = -2, 5*j - 2*j + 20 = q*z for z.
2
Suppose 3 = 3*j - 9. Suppose 3*k = -v + 11 + 8, 2*k - v - 6 = 0. Suppose 59 = k*w - 1. Solve t - j = -5*l + w, 3*l + 3*t = 0 for l.
4
Let c = -8 + 8. Solve 0*i - 5*z - 23 = 3*i, 3*i + 3*z + 15 = c for i.
-1
Suppose -4*v - 3 = -n + 2, 2*v - 10 = -2*n. Solve 5*m - 3*p + 10 = -12, v = m - 5*p + 22 for m.
-2
Suppose -2*v - v = -33. Let j = v + -16. Let n = -3 - j. Solve -3*t + 6 = -t - 5*k, 2 = -n*t + k for t.
-2
Suppose 21 = 6*z + 9. Solve 4*f - a = -8 - 9, -3*f = z*a + 21 for f.
-5
Let k(q) = -q**2 - 5*q + 4. Let p = -2 - 3. Let f be k(p). Suppose 0*r + 5*g = 4*r - 31, -5*g - 19 = -r. Solve 12 = 4*x + f*u, r = -4*x + 5*u - 2 for x.
1
Let g = 3 - 0. Let l = 3 - g. Let z be (-1)/2 - 5/(-2). Solve l = -z*d + 2*v, d + 3*v = 8*v - 12 for d.
3
Let u = 28 + -20. Solve 2*g = o + u, 2 = -5*o + 3*g - 3 for o.
2
Let y = 14 - 4. Solve -5*f + y = -5*i, 0*i - 2*f = 3*i + 1 for i.
-1
Let y(d) = 41*d - 1. Let b be y(1). Suppose p = h - 3*p - 22, -4*p - b = -4*h. Solve -h = 3*g - 2*l, -6 = -0*g + 3*g - 3*l for g.
-2
Let r be 8/28 + (-954)/7. Let z be r/14 + (-12)/42. Let q be (-116)/z + 6/15. Solve 2*x = -a + 3*a + q, 0 = -4*a + 3*x - 20 for a.
-2
Suppose 5*w - w = 16. Solve a - 3*t + 8 = 0, -w = t - 2*t for a.
4
Let p(g) = -g**2 - 6*g - 3. Let j be p(-4). Let v = -9 - -3. Let o = -4 - v. Solve o = 2*y + j*q, -y - 2 = -5*q - 3 for y.
1
Let l be 0 + 2 - (2 - 2). Suppose 3*p = -4*g + 6 + 10, 0 = -l*p + 5*g + 3. Let b be (p/(-5))/((-8)/60). Solve -x - 3*x = -2*o - b, -o = -3*x + 6 for x.
3
Let t be 7/2 - 1/2. Suppose u + 56 = t*u. Suppose 5*a = -u + 73. Solve 5*r + 0*q = -q - a, 0 = -2*r - 5*q - 22 for r.
-1
Let y = 2 - 1. Let x(a) = -6*a**3 + a**2 - 2*a + 1. Let z be x(y). Let u = z - -8. Solve 5*w + 4*o + 5 = 0, -1 = -u*w + 3*w - 5*o for w.
-1
Let b(q) = q**3 - 14*q**2 + 5. Let h be b(14). Suppose 4*f = 3*k + 3*f - 3, 2*k + 4*f = 16. Solve -3 = k*l - l, v = -l - h for v.
-2
Let s be (-1 - 8)/((-6)/(-4)). Let f = s - -10. Solve -2*k + 10 = -f*q, 5*q = 3*q - 2 for k.
3
Suppose 5*s - 3*d - 2*d - 25 = 0, 2*d = -4*s + 2. Suppose -4*m + 17 = -7. Suppose -s*r - 48 = -m*r. Solve -4*h - 3*w + 4 = -5*w, 3*w = r for h.
3
Let k(s) = s**3 + 8*s**2 + 10*s + 13. Let p be k(-6). Solve 5*m + 3*f + 23 = 0, p = -2*m - 3*m - 5*f for m.
-4
Suppose -w = 2*w - 9. Let j = -33 - -38. Solve -j*t = -3*z - 10, -t + 5*z + 21 = w*t for t.
-1
Let q be 6/9 - 2/3. Let m = q - -5. Let y = -2 + m. Solve 6*a - a - f + 12 = 0, -a = y*f + 12 for a.
-3
Suppose a + 0*a - 5 = 0. Let l = 0 + a. Solve 2*u - 3*y = 0, 8 - 30 = 4*u + l*y for u.
-3
Let g(v) = -v + 10. Let l be g(8). Solve 0*w + l*w - 2*n - 6 = 0, -4*w = -3*n - 7 for w.
-2
Let o(s) = s**2 + 4*s + 4. Let k be o(-3). Let r(m) = m**2 + 6*m - 3. Let j be r(-7). Let g be (k/(-1))/((-1)/j). Solve -3*t = w + 1, t + g*t - 3*w = -25 for t.
-2
Suppose -2*a - 3*x + 4 = 0, -5*a - 7 = -2*x - 17. Solve -a*y - 8 = -4*m + 2*y, 4*y + 6 = 3*m for m.
2
Let v = 12 - 7. Suppose -k + v*k - 80 = 0. Solve 0 = -4*x + 3*j - 13, 4*x + k = -2*j + 2 for x.
-4
Let q(s) = s + 1. Let x(n) = n**3 + 7*n**2 + 6*n - 5. Let d be x(-6). Let o be q(d). Let y be 1*(0 + -2) - o. Solve 2*w + 2*c = -3*w - 16, -5*c + 2 = y*w for w.
-4
Suppose 4*d - 71 = -15. Solve 6 = 3*v, -b + d = 2*v + 6 for b.
4
Let p(w) = -w + 13. Let u be p(9). Suppose -u*f + 4 = -2*g - 2, 5*f = 4*g. Solve 3*v - f*c = -0*v + 24, c - 13 = -4*v for v.
4
Let p = -8 - -11. Let m = -5 - -7. Suppose -6 = -4*i + m*i. Solve -2*k + 16 = -2*l, -i*k - p*l + 8 = 2*k for k.
4
Suppose 0 = 6*b - 9*b. Let k = 4 + b. Solve -4*s - 20 = 4*g, -5*s + 4 = k*g + 28 for g.
-1
Suppose 44 + 0 = 2*t. Solve t = 4*u - 5*h + 6, -12 = -3*u + 2*h for u.
4
Suppose -m + 7 = -4*k - 3, -3*k = -m + 7. Let w be (-9)/k - 2/(-2). Solve w*o - 3 = -2*v - 1, 4*v - 20 = 0 for o.
-2
Suppose -m = -3*n - 0*m + 74, 0 = -n - 2*m + 34. Suppose -5*l + 14 = -p - 5, 0 = -2*l + 5*p + n. Solve l*v = 4*f - 1, 2*v - 5*f - 16 = 4*v for v.
-3
Suppose 2*s - 8 = -2. Let q be ((-6)/8)/(s/24). Let i = q - -9. Solve 3*x + 10 = -5*z, -7*z - 20 = -i*z for x.
5
Suppose -2*q - 3*q = -25. Suppose -3*v - 26 = -5*j - 2*v, v = -j + 10. Suppose -5*p + j = -2*p. Solve -a = g + 4, 0*a - p*g - 5 = q*a for a.
1
Suppose -3*n - n = -20. Solve n*o = 4*l - 9, -5*o = -5*l - 0 + 10 for o.
-1
Let l = -9 - -11. Solve 4*k - 2*a = l, 0 = -k - a - 6 - 1 for k.
-2
Suppose 3*i = u - 2*u, 3*i + 9 = 2*u. Let g = -2 + u. Let k(o) = 13*o. Let q be k(g). Solve -14 = 2*f + n + n, -3*f + n = q for f.
-5
Let d(x) = -2*x**2 - 15*x + 4. Let s be d(-7). Solve 2*g + 3 = -2*o + 1, 4*g = o + s for g.
2
Let h be (-12)/(-20) - (-3)/(-5). Let y(a) = -a**2 + a + 2. Let l be y(h). Solve 0 = v - 5*v + 3*t - 7, -5*t + 21 = -l*v for v.
2
Suppose -5*u - 4*g + 27 = 0, u - 3*u + 5*g = 9. Solve u*q + 5*h - 15 = -2*q, 0 = 5*h for q.
3
Suppose -5*i + 8 = -i. Suppose -2*k - 8 = i*q - 5*q, 0 = -4*q + 3*k + 10. Solve -2*b = -q*b + j + 9, -3*b - 3*j + 9 = 0 for b.
4
Suppose -v - 4 = 3*t - 20, -5*t + 21 = -4*v. Suppose 0 = k + v - 3. Solve -s - 6*d + d + 18 = 0, -k*s = d - 9 for s.
3
Let s = 7 + -7. Suppose 78 = 3*t - s*t. Solve -5*z - t = 4*h, -5*z + 3*h + 10 = -2*h for z.
-2
Let b be 2 - -1*2*1. Let o = b - 0. Let r be -22*(-2 - 3/(-2)). Solve o*y + 4*j = -16, -9 = 5*y + 4*j + r for y.
-4
Let o(c) be the first derivative of c**3 - c**2 + c - 5. Let k be o(2). Solve -2*z + 5*z - 3*a + k = 0, 9 = -3*z - 3*a for z.
-3
Suppose d + 64 = 3*t, -t - 4*d - 58 = -4*t. Solve 3*x - 3*n = -9, -3*x = -8*x - 2*n - t for x.
-4
Let r = -10 - -5. Let h be 6/r*(-250)/20. Solve -p - 2*p + 15 = -5*y, 5*y = -3*p + h for p.
5
Let k be 86/10 - 18/30. Suppose 0*u = 4*u. Suppose 0*w - w + 3 = u. Solve -k = -3*z + 5*y, 0 = w*z + 2*z - 4*y + 4 for z.
-4
Let k be (-1*4)/((-4)/20). Solve k = -5*i, 4*c + 20 = -4*i - i for c.
0
Let s = -8 + 20. Suppose -s - 3 = -3*r. Suppose 3*z - 5*h = 66, -r*z + 46 = 3*h - 30. Solve 0 = b + f + 2 - 4, -z = 5*b - 4*f for b.
-1
Suppose 7 = d + 2*t, d - 28 = -4*d - 3*t. Suppose 0 = -3*g - 3*y + 24, -d*g - 2*y + 24 = -7. Solve 16 = 4*c + 4*m, -g*c = m - 0*m - 12 for c.
2
Suppose -b = -19 + 14. Solve 2*p = 7*p - i - 23, -35 = -5*p + b*i for p.
4
Let h(r) = r**2 - 8*r - 7. Let n be 2 + 6 + (-1 - -2). Let i be h(n). Suppose -2*z + 0*z + i = 4*w, 3*z = -5*w. Solve -b - 3 = -w*x, 4*x + 2*b - 4 = -0*b for x.
1
Suppose 4*x - 12 = -4*g, -5*x - 4*g = -g - 17. Suppose -6 = -5*a + x. Solve -4*n - 5*q + 5 = 0, -a*n + 10 = -3*n + q for n.
-5
Suppose 8*s - 5*s - 3 = 0. Let b(r) = -r**3 + 3*r**2 + r - 1. Let g be b(2). Solve -3*i - 2 + g = -3*q, -q + s = -2*i for q.
-3
Let t(k) = -k + 9. Let u be 1 + (0 + -1 - -20). Let z = u - 13. Let w be t(z). Solve -w*j - 2 = -2*p, 5*p + 0 = -5*j + 45 for p.
5
Let q(p) be the third derivative of p**5/60 - p**4/24 + 3*p**2. Let x be q(2). Solve -2*l = 2*j - 6, 4*l + x*j - 3 = -1 for l.
-2
Suppose k = 4*k + 126. Let o be k/(-8) - (-5)/(-20). Solve 0 = -5*b - r + 16, 5*b + o*r + 6 - 26 = 0 for b.
3
Let q(z) = -z**2 - 6*z - 3. Let j be q(-2). Let c(r) = -r**2 + 9*r + 8. Let n be c(10). Let o be j/2 + n/4. Solve 4*a + 2*d + 16 = 0, o*d - d = -a - 5 for a.
-3
Let s be 8 + (0 + 3 - 5). Let m be (-50)/(-2) - (3 - 0). Suppose -2 + m = 5*g. Solve -g*b + 2*r + s = 0, 10 = -5*r - 5 for b.
0
Let v = 3 - -6. Let t = v + 15. Suppose 2*s = 3*z - 22, -t = -z - 3*s + 7*s. Solve 0 = 3*j - w + z + 3, 2*j + 3*w + 1 = 0 for j.
-2
Let f = 5 - 0. Suppose 4 = 6*r - 5*r. Suppose r*k + 4*y = 28, y = -0 + 5. Solve 11 = -5*a + 3*p, -f*a + p + k = 9 for a.
-1
Let h = 29 - 19. Let f be (8/h)/(2/45). Solve -5*v + f = -3*u + u, 3*u - 23 = -5*v for u.
1
Let m be (-22)/(-77) - (-19)/7. Suppose 3*a - 9 = -m. Solve -5 = c + 2*f, a*f - f = -4*c + 1 for c.
1
Suppose -a + 17 = -3*h - 0*h, 0 = -5*a - 3*h + 13. Solve 5*d + a = 4*d - f, -f = 2 for d.
-3
Let q(a) = -2*a - 3. Let v be q(-7). Let u = v + -11. Solve u*s + 2*s - 10 = -2*j, -5*s = -2*j + 10 for s.
0
Let h(b) = -20*b - 94. Let q be h(-5). Suppose -5*d + 1 = -9. Solve -14 = 2*m - 4*c, -m + d*c - 1 = q*c for m.
-5
Suppose -7*b + 3*b = 3*z - 16, 4*b = 4*z - 12. Solve z*c - 5*p + 2 = -4, -2*p = 4 for c.
-4
Suppose b + 7 = 9. Suppose 3*f -