2*o = p, -3*l = -o - 9 for l.
3
Let d = 17 + -15. Suppose -4 = -d*f + 2. Solve 3*w = -3*m + 4*m + 14, -f = 4*w + 3*m for w.
3
Let w = 8 - 1. Let q = 11 - w. Let f be 2*1 + (1 - 0). Solve f*i - 3*s = -24, 7*s - 3*s = -q*i for i.
-4
Let b(r) = -r**3 - 3*r**2 - 4*r - 1. Let a be b(-3). Let f(v) = v + 4. Let g be f(a). Let j be 10*(36/g - 2). Solve 0 = 2*x - 2, j*z + 0*x + 15 = -5*x for z.
-5
Suppose 0 = -4*f - 26 - 6. Let x = 10 + f. Solve 0*j - x*j = 4*i + 10, 45 = -5*i + 4*j for i.
-5
Suppose -c = -u - 1, -3*u + c + 6 = -1. Solve u*j - 7 = -0*j + n, 0 = -5*n - 15 for j.
1
Suppose 2*q = 7 + 11. Suppose -5*y + 2*y - 3*n = 3, 5*y - 1 = n. Suppose y*a = a - q. Solve 3*z - p - a = 3*p, 0 = 3*p for z.
3
Let b(c) be the second derivative of -c**5/20 - c**4/12 + 5*c**3/6 + c**2 - 3*c. Let a be b(-3). Solve -1 + 7 = -a*g + 2*w, 0 = 5*w + 10 for g.
-2
Let v = 4 - 0. Let w be (6/(-5))/(v/(-10)). Solve -5*m = 5, 4*f + 2*m - w*m = 21 for f.
5
Suppose 0 = r - 3*r - 14. Let g(n) = -n**3 - 8*n**2 - 10*n - 2. Let f be g(r). Solve -3*x + i = -18, -6*x + x - 2*i = -f for x.
5
Let j(p) = -3*p**3 - 2*p**2 + 4*p - 3. Let g be j(2). Let y = -39 - g. Let f = 1 - y. Solve 4*h = 3*k + f, 1 - 6 = -5*h for k.
-3
Suppose d + 2*u = 10, u - 8 + 3 = 4*d. Suppose d = -4*f - 56 + 20. Let j = -5 - f. Solve -3*w = 0, 8 = -j*h - 4*w + 8*w for h.
-2
Suppose -i + 6 = -2*i - f, -3*i - f = 20. Let q be (1/2)/(i/(-28)). Solve k - 3 = -q*a, 5*k - a + 3*a + 9 = 0 for k.
-3
Let c be -2*(-9)/(-2)*1. Let v be -4*(c/(-6))/(-3). Solve -2*m - 2*s = -3*m + 2, 4*s = -v*m - 12 for m.
-2
Let p(v) = 2*v - 1. Let z be p(-1). Let g(f) = 11*f**2 - 5*f - 4. Let t be g(z). Suppose 5*b = -0*b + t. Solve r = -4*o - b, 17 = -4*o + 2*r + 1 for o.
-5
Suppose 4*f + f = 0. Suppose -4*q = -26 - 6. Suppose -4*r = 4*h, -3*h - q = -2*h + 5*r. Solve 5*z - a = 0, 3*a = h*z - f*z for z.
0
Let o(n) = n**2 + 6*n + 7. Let y be o(-5). Suppose -3*k - y = -4*k. Suppose -4*m + 17 = 4*x - 19, m + 6 = 2*x. Solve -3 - 3 = -k*i, -3*i = -m*v - 1 for v.
2
Let k(s) = 2*s**2 + 3*s + 2. Suppose 0 = -5*w + w - 8. Let g be k(w). Solve -4*j + 3*v = -5 - 8, -12 = g*v for j.
1
Let s(z) = -16*z**2 - 2*z - 1. Let y be s(-1). Let t(i) = i + 19. Let m be t(y). Suppose -v + 24 = -0*v. Solve 5*a = m*g - v, -5*a = -a + 2*g + 14 for a.
-4
Let w be ((-24)/10)/((-6)/20). Suppose w = 4*l + 3*g - g, l + 3*g = -8. Suppose -l - 6 = -2*f. Solve -f*d + 4*d = 3*x + 7, -5*d - 5*x = -5 for d.
5
Let l be 11/(-33) - 50/(-6). Solve c + c - 2*r = -l, 24 = 4*c + 4*r for c.
1
Suppose 0 = 4*p - 0*p + 12. Suppose -4*a + 15 = a. Let w = p + a. Solve -d = -3*l + 5, w = 4*l - 0*d - 3*d - 5 for l.
2
Let q be 0/(1 + 2) - -4. Solve 5*g = 5, -m - g + 2 = -q for m.
5
Suppose -2*t + 95 + 33 = 0. Suppose t = 5*x - 51. Solve d - 2 + x = 4*w, -2*d = -3*w + 22 for w.
4
Suppose 4*v = 5*k - 15, -2*v = 2*k - 4 - 2. Solve 3*a = a + 2*f, -a + k*f + 2 = 0 for a.
-1
Suppose k - g - 2 = 0, 3*g + 8 = -g. Solve -y - 4*x + 19 = k, 3*y + 6*x - 5*x - 2 = 0 for y.
-1
Let a(b) be the second derivative of -b**3/6 + 2*b**2 - b. Let z be a(0). Solve 0 = 2*j + x + 4*x - 9, z*x - 12 = 0 for j.
-3
Suppose 4*o + 0 = 8. Solve 4*n = 3*p - 4*p + 17, o*p - 22 = -5*n for n.
4
Let r = -3 + 7. Let p be r*(0 + (-1)/(-2)). Suppose 0 = 3*a + p*a - 15. Solve -2*l - 4*m + 9 = -3*l, 0 = a*l + m - 12 for l.
3
Let u be -1 - (-6)/(2/(-1)). Let y be ((-18)/(-4))/(3/u). Let c be 2/y + (-252)/(-27). Solve 2*r - r + 11 = -3*p, p + c = r for r.
4
Let g be 0/1*6/(-6). Solve g = 3*y + 4*i - 16, 2*y - 4*i + 14 = -2 for y.
0
Let t be (-1 - 0) + 18/3. Solve 0*h = n - 2*h - 1, -30 = -4*n - t*h for n.
5
Suppose 5*n + 10 = -0, -4*s - 5*n = -10. Let i(k) = k**3 - k**2 + k - 1. Let t be i(1). Solve h - o = -5 - t, 5*o - s = -5*h for h.
-2
Let c = -17 + 24. Let f = 5 - 3. Suppose -5*j = -4*y - j, -5*y - j + 12 = 0. Solve -2*z = y*n - 12, -f*n - c*z + 2*z + 15 = 0 for n.
5
Let x = -4 + 5. Let k = 4 - x. Solve 4*v + 2*z = -z + 29, k*v - 6 = 3*z for v.
5
Let o be (0 + -3 + 3)/(-1). Let u be (o + 1)/((-8)/(-24)). Solve u*s + 2*w = 7*w - 10, 0 = 2*s + 4*w - 30 for s.
5
Suppose -2*c = -0*c - 4. Solve 4*k = -2*l - 20 - c, -5*l = 5*k + 30 for l.
-1
Suppose 2*j = -4*f + 16, 5*f - 15 = 3*j - 8*j. Suppose f*n + 3*o = 9, -o = 5*n - 4 - 9. Solve x = -n*x - 12, -2*m - 1 = -3*x for m.
-5
Let c = -38 - -38. Solve -r + 2*r - b - 10 = c, -r = b for r.
5
Suppose -3*h - 20 = h, 2*k - 3*h + 7 = 0. Suppose -3*l + 7 = 22. Let u = l - k. Solve 5*p = m + 30, -25 = p - u*p for m.
-5
Let n = 43 + -40. Solve -3*q = n*j + 4 + 2, 3*j = -4*q - 6 for q.
0
Let w(i) = -3*i**3 - 3*i**2 + i - 6. Let b(z) = z**3 - z**2 + z + 1. Let g(p) = -4*b(p) - w(p). Let o be g(6). Solve 7 = -0*n - n - 4*d, 2*n - o = 3*d for n.
1
Let x = 16 - 22. Let z be (-20)/x + 1/(-3). Suppose -7 = -z*p + 2. Solve 3*j = 2*g - j - 16, -4 = p*g + j for g.
0
Let u be 9 - (-1 - -3 - 0). Let n = u + -6. Solve -4*o - 5 - n = -2*p, 4*o + 4 = 4*p for p.
-1
Suppose -h - h = -10. Suppose -h*l - 24 = 1, 0 = -4*u + l + 13. Solve t + 1 = s - 1, 0 = -u*t + 4*s - 14 for t.
3
Let i be 2/(-4) + 3/(-6) + 1. Solve i*k + 7 = 2*k + w, 3*w = 3*k - 15 for k.
4
Suppose 3*t - l = 2*t + 19, 15 = -3*l. Suppose 3*a + 27 = -0*a. Let z = t + a. Solve 0 = 3*p - p + 2*f, -2*p = z*f + 3 for p.
1
Suppose 4*d = -16, -a + 2*d - 3*d = 0. Suppose -3*h = -3*c - 2*h + 41, -4*c + 28 = a*h. Solve -4*p - 16 = -3*x, 6*p - 3*p - x = -c for p.
-4
Let c(u) = -u + 5. Let r be c(5). Suppose n = -4*n. Suppose n*x + 3*x = r. Solve 3*f + 0*h - h + 7 = x, -3*h - 6 = 0 for f.
-3
Let d be ((-10)/5)/(0 - -1). Let i be (2/(-6))/(d/6). Solve 2*t + 2*o = 10, -5*t - i = -3*o - 10 for t.
3
Suppose 2*p - 1 = -3. Let w = p - -4. Let q be 4/(-14) - (-46)/14. Solve -u - q = 4*u - w*n, -u - 5*n = 23 for u.
-3
Suppose c - 14 = 2*q - 0, -4*c = 5*q - 56. Suppose 2*v - 2*d + 3 = 11, 5*d + c = 2*v. Solve 3*f - l = v*l + 24, 2*f = l + 12 for f.
4
Let h be (-3 - (-1 - 5))/1 + 0. Solve -5*u = -4*d + 21, h*d + d + 4*u = 12 for d.
4
Let i(w) = w**3 - 8*w**2 + 9*w - 10. Let m(q) = q**3 + 5*q**2 - 8*q - 5. Let z be m(-6). Let b be i(z). Solve 4*n + 24 = 2*n - 5*u, -16 = b*u for n.
-2
Suppose 0 = -3*r + 6 + 3. Let y be 2/4 - 6/(-4). Suppose y*i = -i + 6. Solve -2*f + 3 = -h + i, r*f + 3 = 3*h for f.
2
Let v be 48/60 + (-31)/(-5). Solve i + 2*l - v = -1, 0 = -4*i - 4*l + 20 for i.
4
Let z be (6/(-27)*3)/((-2)/9). Solve -4*f - 3 - 12 = z*y, -f - y - 5 = 0 for f.
0
Let d = -28 + 32. Let j(x) = 5*x - 9. Let c be j(6). Suppose d*t = -9 + c. Solve 3*b - t = 0, -2 = 4*u - 5*b - 13 for u.
4
Let d(f) = 2*f + 19. Let z(p) = p**2 - 9*p + 6. Let b be z(7). Let t be d(b). Solve 0 = w + t, 5 - 20 = -4*y + 5*w for y.
0
Let g = -14 - -10. Let j = g - -3. Let l = j + 1. Solve l*a - 2 = a + 4*x, 5*a + 3*x - 7 = 0 for a.
2
Suppose -51 - 51 = -6*v. Let w = -14 + v. Solve -5*j - w*s = -3*j, -5*j - 5*s = 5 for j.
-3
Let p(x) = -2*x - 3. Let k be 3/(-2) - 3/6. Let v be p(k). Let s = -8 + 12. Solve 0 = 5*j - 3*q + 3, v = 7*j - 2*j - s*q for j.
-3
Let t = 83 - 81. Solve 0 = -t*a + 7*a + 2*b + 9, 2*b - 6 = 0 for a.
-3
Suppose 3*w = k + k + 1, 3*k + 4*w - 24 = 0. Suppose -a - 12 = -k*a. Suppose -a*h - h + 10 = 0. Solve 0 = -5*r + 4*n + 30, -h = -3*r - n - 1 for r.
2
Let c(n) = 0 - 2 + 8*n + 3. Suppose 0 = -2*p, 3*y - 1 - 2 = 3*p. Let z be c(y). Solve i + 4*r + 18 = -0*i, 2*i - z = r for i.
2
Let b = -34 + 34. Solve 4*h - 3 = 3*j, b = 3*j - 0*j - 5*h + 3 for j.
-1
Let y(q) = -q**3 + 6*q**2 + 8. Let g be (18/(-21))/(2/(-14)). Let h be y(g). Suppose 2*z + 2*z - h = 0. Solve j - z*l = -j + 4, -3*j - 4*l - 15 = 0 for j.
-1
Let d(i) = -i**3 + 6*i**2 - 2*i - 11. Let a be d(5). Solve a*c = 2*g + 3*g, 4*c - 2*g = 12 for c.
5
Let m = -9 + 4. Let a = 3 - m. Solve v - 2 = h, h - a = 5*v - 2 for v.
-2
Suppose 2*p + 28 = -0. Let o be 6/(-21) - 46/p. Solve -14 = -o*x + x - 2*m, 13 = 3*x - m for x.
5
Let s be (-23)/(-5) - 16/(-40). Let j(u) = 0 - u**2 + 5*u + 3 + 1. Let p be j(s). Solve -p*k = 5*x, -3 = x + 3*k + 8 for x.
4
Suppose -2*k = 2*i - 16, -4*i = 2*k - 7*i - 21. Suppose a = 3*p + 12, -a + 0*p = -2*p - k. Solve -4*w + 1 = -3*w - 3*x, a*w + 2 = 4*x for w.
-2
Suppose -5*l = 4*v + 10, 5*l - l + 5*v = -17. Solve -3*i + 4*p + 19 = 0, -4*p = 2*i - l*p - 8 for i.
5
Let s(f) = -2*f - 6. Let c be s(-5). Sol