2*v = 5, 5*s - 2*s - o*v + 16 = 0 for s.
3
Suppose 4*l = l + 4*v + 3, 0 = -2*v + 6. Let n be ((-13)/2)/(1/(-2)). Solve -4*x = -5*f - n, 4*x + f - 2 = l for x.
2
Let p be 0/((-1)/(2 - 3)). Suppose p*z = z + 4. Let t be z/(-6)*(-3 - -9). Solve 2*m = -r + 12, -3*m + 3 = t*r - 25 for m.
4
Suppose -s + 13 = -4*w, -4*w - 10 = -2*s + 4. Let u(r) = r**2 + 2*r. Let o be u(w). Suppose 2*i - 3*i + o = 0. Solve t = -3*z - i*t + 9, -5*z - 17 = -4*t for z.
-1
Suppose v + 4*v = 5*x - 5, -14 = -2*v - 2*x. Suppose 14 = -2*n + 6*n - v*r, -3*n - 4*r + 23 = 0. Solve n*u = i - 21, 5*i - 3*u + 3 + 2 = 0 for i.
-4
Suppose 0 = -7*i + 21 + 42. Solve 2*k + 1 + i = -4*y, 4*y + 20 = -4*k for k.
-5
Suppose -4*o + 22 = 3*x, -3*x - 2 = -4*o + 8. Solve -5*h + 4*a = -8*h - 13, -o*h + 4*a = -20 for h.
1
Suppose 3*j + 0*j = 0, 0 = -x - 3*j. Let b = -1 + -1. Let t = 4 + b. Solve -3*w + 25 = -5*n - 1, x = t*n + w + 6 for n.
-4
Suppose w = 3*w - 12. Solve 0*v - 2*v - w = -2*n, 2*n - 2 = v for n.
-1
Suppose 20 = -y + 6*y. Suppose -2*h - 49 = 4*a - 59, 0 = -5*a - 4*h + 14. Solve -5 = y*w + l + 11, -2*l - 8 = a*w for w.
-4
Suppose -16 = -6*b + 2*b. Solve -t - 26 = -5*n, -11 = -b*n + 3*t + 12 for n.
5
Suppose 4*u + t - 53 + 6 = 0, 4*t = 5*u - 43. Let z = u + -2. Solve 20 = 5*h + 5*m, -h + 4*m = 2 + z for h.
1
Let h be (-10 - -4) + 2 + -15. Let i = -19 - h. Solve r + i*r - 2*f - 3 = 0, r - 3*f = 7 for r.
-5
Suppose -4*i - 27 = -75. Suppose -38 = -3*k - 5*b, -86 = -5*k - 0*b + 3*b. Solve j - i = -3*c + c, -2*j = -4*c + k for c.
5
Suppose -3*b + 6 = -3. Let t = -22 + 16. Let o(y) = -y - 6. Let s be o(t). Solve 2*x + 10 = -b*k, s*k + 2*k = -x - 7 for k.
-4
Suppose -4*k - 3 = -5*k. Solve -5*b + k*p = -p + 33, -17 = 5*b + 4*p for b.
-5
Let c(a) be the second derivative of a**3/6 + a**2 + 3*a. Let v be c(-2). Suppose -5*s = -10, -s = 2*w - v*s - 2. Solve 6*r - r + 9 = -2*u, w = 4*u + 8 for r.
-1
Suppose 1 = -2*a - 1. Let n(o) = -4*o - 1. Let u be n(a). Solve u*f - x - 8 = x, 2*f = x + 6 for f.
4
Let m be -2*3*(-5)/15. Solve 22 = -m*i + 4*f, -4*i + 5*f = 10 + 19 for i.
-1
Suppose 5*j = j + 40. Suppose 0 = 3*x - x - j. Let u be (-10)/6*(-1 - 11). Solve -4*r = -u, 4*f + 35 = 2*r + x for f.
-5
Suppose -4*g + 0*g = -5*x + 13, 0 = -2*x - g + 13. Suppose 0 = n - 4*n. Suppose n = -h, c = -4*c + 4*h + x. Solve 2*p - p = 5*a - 2, -a + c = 0 for p.
3
Suppose 3*t - 20 = r, 0*t - 4*t = -r - 27. Let v(f) = -f**2 + 4*f + 5. Let u be v(4). Solve 3*a + i + u = 0, 0 = -4*a - i + 1 - t for a.
-1
Let q = 5 - 3. Let p(o) = -12*o**3 + 2 + 13 + o + o**2 + 0*o + 11*o**3. Let u be p(0). Solve 4*v = -q*i + 8, -5 = 3*v - 5*i + u for v.
0
Let s = 59 + -59. Solve -3*w + 0*q = -4*q - 22, -w + q + 6 = s for w.
2
Suppose 4*q = -2*p + 30, 5*p = -0*p - 3*q + 40. Solve -4 + 1 = p*t - 4*w, -t + 9 = -4*w for t.
-3
Let x(n) = n**2 - 4*n - 1. Let i be x(3). Let r(a) = -a**3 - 4*a**2 + 3*a + 2. Let d be r(i). Let g = -7 - d. Solve z - g = -c, -2*z - z + 7 = 5*c for c.
-1
Let j(c) = c**3 + 8*c**2 + 6. Let d be j(-8). Let m = -6 - -9. Let r be (8/m)/((-3)/(-9)). Solve -d = 2*a - 5*l, -5*a - 2 = -2*l - r for a.
2
Suppose j = -4*a + 12, -2*a - 5*j + 7 = 1. Let u be 3/6*(11 - 1). Suppose -2*x + 11 = -u*v - 7, -2*v = x. Solve -3*n = -k - x*n + 6, a*n - 9 = 0 for k.
3
Let x = 3 - -9. Suppose -3*j - x = j, -6 = -g + j. Solve 4 + 5 = g*y, -2*d + 1 = -3*y for d.
5
Let c = 14 + -9. Suppose -5*v = l - 20, 9 - 29 = v + c*l. Solve 0 = v*x - f + 25, 3*x = -2*x + 2*f - 25 for x.
-5
Let o be ((-16)/4 - 1)/(-1). Solve 20 = o*u + 3*x, 3*u - x = x - 7 for u.
1
Suppose 0 = u + 3*n - 14, 7*u + 4*n + 3 = 10*u. Let a be (3/2)/((-3)/(-8)). Solve -o = -u*o + a*q, 2*q - 9 = -o for o.
3
Suppose 5*s + 5*y - 49 - 21 = 0, -4*y = -5*s + 25. Suppose -3*v - 153 = -s. Let x = v - -67. Solve 2*r = -3*h - x, 2*h + 2 + 8 = 0 for r.
-2
Let l(u) = -u**3 + 4*u**2 + 11*u + 8. Let w be l(6). Solve 4*b = 2*t + w, -2*b - 3*t = -6*b + 5 for b.
-1
Let l(n) = n**3 + 7*n**2 + 4*n - 8. Let w be l(-6). Solve 0 = 4*j - 3*f + 2, j - w*f + 13 = 6*j for j.
1
Let j be (-1 + 2)/((-3)/18). Let d be j/4*(-6)/3. Solve -3*n - 5*h = 1, 6*h = -n + h + d for n.
-2
Let v be ((-39)/(-9) + -2)*3. Let n = 7 - v. Suppose 3 = j - n. Solve -4*m - x + 3*x + 10 = 0, -6 = -j*m + 2*x for m.
4
Suppose 0*o + 3*v = -3*o - 24, 35 = -5*o - 4*v. Let q = 15 + o. Suppose 4*u - q = 0, 4*u - 39 = -4*w + 17. Solve -2*f - 10 = 0, 5*f + w + 14 = -r for r.
0
Let a(n) = -2*n**3 - 7*n**2 + 3*n + 1. Let r be a(-4). Solve -2*t + 4*k = k + 2, 41 = r*t + 4*k for t.
5
Suppose 2 = u, -32 + 9 = -3*b - 4*u. Let c(s) = s**3 - 6*s**2 + 5. Let v be c(6). Suppose -v = -3*f + 2*f. Solve -2*z = f*j - 0*j + 5, 5*j = -3*z - b for z.
0
Let y(j) be the second derivative of -j**3/6 + 2*j**2 - j. Let u be y(4). Solve 5*n + 5*m + 35 = 0, -3*n - 4*m - 26 + 3 = u for n.
-5
Let k = 11 + -8. Suppose 3*l - k = -0. Let z be (l*-2 + -2)/(-1). Solve 0 = -4*q, 0 = 5*i + 5*q - 1 - z for i.
1
Suppose 10*p = 7*p. Solve -4*j + 2*j = p, 3 = 3*h + j for h.
1
Let v(x) = 2*x**2 - x + 1. Let n be v(1). Solve -n = 2*g, -5*g = 5*o + 2 + 3 for o.
0
Let w = -9 - -9. Solve 2 + 0 = -2*m + 4*l, -2*m + 3*l = w for m.
3
Let l(v) = -v + 7. Suppose -6 = -5*h + 3*h. Let k be l(h). Solve 5*g = 3*p - 5, -8*g + 5*g = k*p + 32 for g.
-4
Let w = 41 - 41. Solve w = -2*f - 4*o + 6, 4*f + 10 = 6*o - 3*o for f.
-1
Let i(v) = v**2 - 5*v - 3. Let t be i(6). Suppose -u - 5 + 0 = 3*x, 2*u + t*x + 1 = 0. Solve -4*s - u*m = 0, 5*s - m = -2 - 4 for s.
-1
Let b = 47 - 41. Solve o = b*d - 2*d - 10, 3*o = 2*d for d.
3
Let a(w) = -4*w - 9. Let n be a(-5). Solve -h - h + 9 = -b, -2*h - 3*b = n for h.
2
Suppose 3*i = -2*h + 8, h - 3 = -4*i + 1. Suppose 2*p + 3*p = i. Solve 4*s - 8 = -5*a, 2*a + 0*s + 2*s - 2 = p for a.
4
Let k = -34 - -47. Suppose 4*q = k + 7. Suppose 0*s + s - q = 0. Solve 8 = b + b + 2*o, -s*o + 30 = -5*b for b.
-1
Suppose -3*r - 17 = d, -1 = -0*d - d. Let o = 19 + r. Solve -n = 3*g + 11, 5*g - 5*n + 4*n = -o for g.
-3
Suppose -15*t - 7 = -67. Solve 4*g = i - 17, 3*g = t*i - 0*i - 16 for g.
-4
Let c = 2 - -2. Suppose n = 12 + c. Solve -2*t + 3*v - 14 = -0*v, 5*t + 2*v = -n for t.
-4
Let p = -40 - -56. Let x be p/(-40) + (-154)/(-10). Suppose i - 4*i + x = 0. Solve -i*c = 2*h + 15, -4*c - 4*h - 9 = -c for c.
-3
Let j = -9 - -8. Let x = 9 + j. Solve 3*q = -3*v - 15 - 9, 5*v + x = 3*q for v.
-4
Suppose -2*d + 16 = 4*z, 2*z + 0*z - 20 = -2*d. Solve m + 5*c - 16 = 0, 0*c + 3*c - d = 0 for m.
-4
Suppose 2*x - 5*x = -9. Suppose x*g - 56 = 31. Solve 5*m - 3*t - g = t, -3*t + 17 = 4*m for m.
5
Let t = 13 + -10. Solve 0 = -3*z - 2*x + t + 1, 5*z = 5*x + 15 for z.
2
Suppose 0*a + 3*a = -2*v, 5*a = 2*v. Solve 3*k = 2*s - a*s, -3*k - 9 = s for s.
-3
Let k = 10 - 7. Suppose k*g - 5*g = -4. Solve -4*f + 14 = -g*w, 2*w - 21 = -f - 2*f for w.
3
Suppose 6*p - p - 20 = 0. Suppose 3*h - h - 10 = c, -p*c = -h + 19. Let b = c - -9. Solve -4*q - 11 = b*o, 5*q + 3*o + o = -16 for q.
-4
Suppose 23 = 5*c + 4*j, -2*c = -4*c - 4*j + 14. Solve z - 3*h = 11, -2*z - 4*h - 21 = c*z for z.
-1
Suppose -4*r - 28*h = -25*h - 8, -r = -h - 9. Solve 3*k - 4*m - m = -8, 16 = -k + r*m for k.
4
Let l(a) = a**3 + 7*a**2 - 9*a + 2. Let j be l(-8). Solve -3 = 4*z + 3*c - 4*c, 2*c + j = 0 for z.
-2
Let v = 173 - 173. Solve -5*c = -2*n - 7, v = n - c + 3*c - 10 for n.
4
Let z be ((-10)/6)/(-1 - (-8)/12). Solve z*u + 4*t + 10 = 0, -4*u - 4 - 4 = 4*t for u.
-2
Suppose 3*q - 4*j - 65 = 0, -5*q = j + 38 - 131. Suppose -15 + q = 2*z. Solve -l = 5*n - 0*n + 15, 0 = -2*n - z*l - 6 for n.
-3
Suppose c = -3*c - 20, 4*l - 2*c = 14. Solve 5*v - 3*d = -15, -4*d = 3*v - 19 - l for v.
0
Suppose 8*g = 5*g + 12. Let u be 10*(-3 + (-14)/(-4)). Solve 2*f = g*h + 10, f + u = -5*h + 6*f for h.
-4
Let s(o) = -o**2 - 5*o - 4. Let b be s(-3). Let x = b - -6. Solve v + 4 = p, 4*v - 3*p + x = 2*v for v.
-4
Suppose 3*v + 8 = a, -4*v + 3*v = a + 4. Suppose -4*t + 4*h = -2*t - 32, -h - 13 = -t. Let n = v + t. Solve -4 = 3*p - n*p, k - 4*p = 0 for k.
4
Let j = -6 + 11. Let t = j + 0. Solve 0 = 5*r + 5*o - 10, -17 = r - 5*r + t*o for r.
3
Let k(s) = s**2 + 6*s - 9. Let a be k(-7). Let y = 1 - a. Solve 5*g - q = 13 + 5, -3*q = y*g for g.
3
Let i(p) = p**3 + 6*p**2 - 2*p - 8. Let v be i(-6). Solve -l + 5*l = 4*w - 4, 4*l + v = -w for l.
-1
Let j