4*n + 4*v, 0*v + l*v + 9 = n for n.
-3
Let v(q) = q**3 + 3*q**2 - 2*q - 4. Let l be v(-3). Let y(j) = j + 1. Let d be y(2). Suppose d*i = 2*i + l. Solve 31 = u + i*u - 4*b, -5*b + 5 = 5*u for u.
5
Let t = -1 + 0. Let c(y) = y + 1. Let n be c(t). Solve 0 = -2*a - 2*a + b + 17, -4*b - 20 = n for a.
3
Suppose -37*s + 36*s = -3. Solve 4*r - 8 = 0, 1 = s*g - 2*r - 1 for g.
2
Let c(d) = 4*d + 4 - 5*d - 8. Let p be c(-6). Suppose 5*k - i - 22 = 0, -4*i + 8 + 4 = 0. Solve 0 = -k*u + 3*t - 22, -3*u = p*t + 3*t - 14 for u.
-2
Let z be 48/20 + 6/(-15). Solve 3*x - x = 5*f + 28, -z*f + 2*x - 16 = 0 for f.
-4
Let u(t) = -2*t - 5. Let o be u(-4). Let h be (-68)/(-16) - o/12. Let z = -5 - -8. Solve -h*w + 20 = -5*v, -2 = 4*v - z*w + 14 for v.
-4
Let w(p) = -3*p + 29. Let r be w(8). Solve -4*y = r*k - 12, -3*y - k = 1 + 1 for y.
-2
Let w be (-18)/(-4) - 3/6. Solve 7 = -w*z + 5*b, -1 = -2*z + 3*b - 2*b for z.
2
Suppose 2*q - 9 - 7 = 0. Suppose 0 = 5*i + 2*f - 88, 0 = 2*i - 3*f - q - 12. Solve 2*z - 4*n - i = 0, -4*z + 4*n + 5 + 15 = 0 for z.
2
Suppose 4*g = -0*g. Suppose g*z + z = 2. Solve 2*v + s = 4*s - 16, -z*v = s + 8 for v.
-5
Let b(g) = g**2 - 13*g - 9. Suppose 0 = -4*m + 19 + 37. Let a be b(m). Solve -5*f + 2*u - 14 = -2*f, -4*f = a*u + 11 for f.
-4
Suppose 4 = 3*x - 2. Let t be -12 - ((-6)/(-3) - 2). Let u = t - -24. Solve 3*m + v = -u - x, -18 = 3*m + 3*v for m.
-4
Let j(w) = -w**3 - 8*w**2 + 9*w + 2. Let l be j(-9). Solve 3*t = l*i + 3, 0 = 2*i + 4*t - t - 3 for i.
0
Suppose 5*n - 3 = f, -5*f + n = 6*n - 15. Suppose f*l - 5*l = -99. Solve -g = -3*v + 17, -5*v = -5*g + g - l for v.
5
Suppose i - 6*i = w - 7, 7 = 2*i - w. Solve -5*p + 30 = 4*y, -p + i*y + 7 = 3*y for p.
2
Let s = 2 + 7. Let w be (s/(-6))/((-15)/20). Solve -3*p = -r - 13, -r - w*p = -6*p + 17 for r.
-1
Let p be 1 + -1 + -2 + 1. Let a = 4 - p. Solve -4*w - 26 = 3*b, a = -3*w - 10 for b.
-2
Let f(c) = -3*c - 7. Let i be f(-4). Solve -2*o - 2*w - 6 = 0, -o + i*o - 2*w = 0 for o.
-1
Suppose -2*b - 10 = -b - 3*n, n + 27 = -2*b. Let w = b + 36. Suppose -4*g = -w - 29. Solve 2*x + 3*x + m = -24, 3*x + 2*m = -g for x.
-5
Let d be 2 - (-2 + 0 - -5). Let b = 6 + d. Solve -h - 4*h - 13 = -2*z, -4*h - 24 = -b*z for z.
4
Let o(y) = 2*y**2 - 12*y + 2. Let g be o(6). Solve q = g*x, 2 = 4*x - 9*x + 3*q for x.
2
Let p = -21 - -23. Solve -2*r - 3*r + 25 = 5*y, -2*r - p = -2*y for r.
2
Suppose -1 + 4 = 3*j. Let c be j/((-1)/(-9)) - -2. Solve 17 = -3*n + 4*b, 2*n - 3*n = -4*b + c for n.
-3
Let c(v) = -3*v - 1 + 0 + 4*v. Let s be c(-5). Let u be (-16)/s + (-12)/18. Solve w - u = 2*d + 2, -4*w + 16 = 5*d for d.
0
Let c(s) = s**2 - 2*s - 2. Suppose -8*i + 3*i - 20 = 0. Let f be c(i). Suppose 6 = -4*r + 2*a + 20, -5*r = -a - f. Solve -n - 18 = 3*o, 0 = 2*o - o + r for n.
-3
Let t be -5 - -5 - (-4 - 1). Let g be (-2)/6*1*-39. Suppose -f + g = -t. Solve 0 = -3*o + q - f, -2 = o + 4*q - 9 for o.
-5
Let q(a) = 2*a**2 + 9*a + 9. Let g be q(-4). Solve 5*d - g = -2*r - 0, -d = -3 for r.
-5
Suppose 3*f + 31 = -5. Let p = -8 - f. Suppose -j - 5*g = -22, 0*j + 4 = -2*j + 2*g. Solve 0 = 3*t + u + p, j*t + 2*t + 16 = 4*u for t.
-2
Suppose -3*t - 1365 = 5*n, 8 - 28 = -4*t. Let p be n/(-66) + (-2)/11. Solve -3*j - s + 6*s - 20 = 0, -p*j - 4*s = 16 for j.
-5
Suppose 2*l = 3*l. Solve 4*j - 2 = -2*k, l = -j - k + 2 - 0 for j.
-1
Let i be 6/(-27) - (-104)/(-18). Let z be (-2)/(-2)*i/(-3). Solve 6 = -z*t, 5 + 7 = -2*h - 4*t for h.
0
Let i(y) = y**2 - 3*y. Let b be i(5). Solve 0 = -2*k - b, 0*q + 5*k = -2*q - 29 for q.
-2
Suppose 0 = -4*k + 21 + 23. Solve -v = -1, 3 = 2*g + 4*v - k for g.
5
Suppose -19*l = -26*l + 35. Solve -l*g - 4*k = 3, 6 = 3*g - g - 2*k for g.
1
Suppose 0 = -2*f - 3*f + 105. Let g = -15 + f. Let x be (3/6*g)/1. Solve -3*w = -x*m - 6, -4*w - 18 - 2 = 3*m for w.
-2
Suppose -9*z = -59 - 148. Solve z = -5*v - 2*t, 0 = -v + t - 7 + 1 for v.
-5
Let c be -1 + 2 + 5 + -3. Let j be (-1 - 1) + 6/c. Let q be -3 - j - (-6 + -2). Solve -q*p = 2*h - 10, -p - 5 = 2*p - h for p.
0
Suppose 0 = 3*p - 2 + 2. Solve p = 2*o - 3*v + 16, 3*o + 5*v = o for o.
-5
Suppose 8*g + 32 - 64 = 0. Solve 2*d = 3*o - 1, d - 3*o = -g*o + 2 for d.
1
Suppose 2*n + 1 = i - 9, 2*i + 3*n = 41. Let m(s) = -s. Let c be m(4). Let r = i + c. Solve -5*k = 3*u - 37, 0 = -k + 5*k - 2*u - r for k.
5
Let x(s) = -s**3 - 2*s**2 + 2*s - 2. Let m be x(-4). Let j be -1 + 4 - (4 + 4/(-1)). Let o = m + j. Solve 3*h = -15, 9*u - 4*u = -5*h - o for u.
0
Suppose 1 = -3*i + 7. Suppose 5*b = 4*t + 15, -b + 3*t + t = -3. Solve -2*h - b*o = -i + 7, -o - 1 = 0 for h.
-1
Let b = -3 - -7. Let j = -16 - -16. Suppose -a + 5 = -j*a. Solve 3*f + 15 = i + f, -a = b*i + 5*f for i.
5
Let a(t) be the second derivative of t**5/20 + t**4/6 - t**3/6 + 2*t. Let j be a(1). Suppose 4*g - 25 + 5 = 0. Solve g*v - 2 = p + 2*p, p - 3*v = -j for p.
1
Let q = 3 - -2. Suppose 15 = 2*l + q. Solve -2*w - 2 = 2*g + 2*w, -3*w = -2*g + l for g.
1
Suppose 2*o + 2 = 3*o. Let p be (2/7)/(o/14). Solve -2*c + p*d = 2, 6*c + 17 = c - d for c.
-3
Let l(q) = -q**3 - 3*q**2 - 2*q - 1. Let d be l(-3). Suppose -8*b + d = -7*b. Solve m - 5*v + 32 = 4*m, 0 = -b*m - v + 24 for m.
4
Suppose b = 6 - 1. Solve 2*q - 4*v - 20 = 0, 4*v - 7 + 27 = b*q for q.
0
Let g be (-9)/9*-1*1. Suppose -u + 4*z + 4 = 0, u + 2*z - g + 3 = 0. Solve 2 = 3*m - m + 5*t, 4*m - 5*t + 26 = u for m.
-4
Let p(d) = d**3 - d**2 + d - 9. Let u be p(0). Let g = -6 - u. Solve -h - 13 = g*t, -t + 3 = -4*h - 10 for t.
-3
Let a(u) = -u**3 - u**2 - 2*u + 32. Let v be a(0). Solve 11 = -5*c - 2*l - 1, 5*c = 3*l - v for c.
-4
Let p(i) = i**3 - i**2 + 5. Let x be p(0). Suppose x*o = 4*w - 6, w = 4*o + 2*w - 12. Solve 4*t - 4 = -4*y, -2 = 7*t - 3*t + o*y for t.
-2
Suppose 4 = -2*y + 8. Solve 2*i - 4*t = 12, -2 - y = t for i.
-2
Let t = 4 + -1. Let d be (1/(-2))/(2/8). Let w be -3 - (d - (0 - -6)). Solve t*s + 2 = w*c, 0 = -s + 6*s - 5 for c.
1
Let z(c) = 2*c. Let h be z(8). Solve 2*u + 3*b - h = -0*b, 3*u - 11 = 2*b for u.
5
Suppose 2*s + 4*j = 20, -s - 4*j - 1 = -19. Solve -4*z = -s*y, 14 = -z - 2*y - y for z.
-2
Suppose -3*z + 4*d + 43 = 0, -3*z = 3*d - 15 - 0. Let j = 14 - z. Solve -5 = 2*h - j*m, -2*h + 5*h = m + 12 for h.
5
Let b be (-1 + 1 - -1)*1. Let y(i) = -2*i - 9. Let s be y(-6). Let p = 8 - s. Solve p*j - b = -3*w - 16, 4*w + 3*j = -9 for w.
0
Suppose -3*w = w - 32. Solve 4*k + 12 = 4*t, 3*k + w = 2*t + 1 for t.
2
Suppose 0 = -18*s + 14*s. Solve s = -4*t - t + 2*p + 16, -2*p = 5*t - 4 for t.
2
Let h(g) = -2*g + 3. Let p be h(4). Let i = 16 + p. Suppose -3*c = -4 - i. Solve -2*r + 28 = -5*q, -c*q - 4 = 3*r + 4 for r.
4
Let t(j) = j**2 - 4*j - 7. Suppose 18 = 7*o - 4*o. Let d be t(o). Let a be 1/2 + 78/4. Solve 4*w = 3*r - a, -r = -d*w - 4*r + 2 for w.
-2
Let w be (3/(-6))/(2/12). Let g be 2*(1 + w/(-2)). Solve -g*i = -5*o + 20, 2*i + o = 5*o - 10 for i.
-3
Let h(v) = 2 + v - 1 - 4 - 2. Let s be h(7). Solve 0 = -4*g + j - s*j - 10, -3*g - 8 = j for g.
-2
Suppose -4*w - j + 9 = 0, 4*w - 7 = 5*j - 4. Suppose 2*d = 4*z - 4, -3*z - w*d = -5*z. Suppose -7*s = -z*s - 15. Solve -3*m = -2*m - 2*x - 6, 3*x + s = 0 for m.
4
Let l be 6/((-3)/(-3))*1. Let z be 1*(l/3 + 0). Solve 0*n - 3*n + 9 = -g, -9 = -3*n + z*g for n.
3
Suppose -3*k = -7*k + 8. Let y be 3/(6/k) - 1. Suppose -33 = -5*w + f - y*f, -3*w - 2*f + 12 = 0. Solve 2*h + 2*z = w*z + 8, 0 = -2*h - 5*z + 8 for h.
4
Suppose -2*w = 4*a - 3*w + 23, a + 5*w + 11 = 0. Let r be 86/10 + a/10. Suppose -4*i + 5*o = -1, 4*i + 4*o + r - 36 = 0. Solve -k + f = 1, 8 = -i*f - 8 for k.
-5
Let r(c) be the third derivative of -1/60*c**5 + 0*c - c**2 + 0 - 1/8*c**4 + 2/3*c**3. Let s be r(-3). Solve 3 = -s*z + 3*w - 1, 0 = z - 2*w + 6 for z.
2
Let m(c) = -c**3 + 10*c**2 - 15*c - 5. Let b be m(8). Solve -3*d + b*v = -0*d + 15, -2*d + v = 9 for d.
-4
Let x be (-136)/(-22) - 4/22. Let n = x - 4. Let d be n - (-5 - (3 - 5)). Solve 3*c = 6*l - l + 6, 24 = -3*c - d*l for c.
-3
Let j(n) = -n**3 - 11*n**2 + 6*n - 9. Let c be j(-12). Suppose -3 = 3*s - c. Solve -4*d - a + 16 = -0*a, s = 4*d + 2*a for d.
3
Let u(f) = -f**2 + 8*f - 7. Let t be u(7). Solve t*h + 2*h = -2*m - 6, -1 = 3*h - 5*m for h.
-2
Suppose 0 = 4*z - 3*z - 3. Suppose 10 = 2*b + z*b. Solve b*l - 2*r + 8 = 2*r, -4*l - r + 20 = 0 for l.
4
Suppose 3*b = -3*w + 