*n + 2*v + 2*v for n.
4
Let r = -18 + 25. Suppose -b - 2 = -r. Solve -2*w + b = -i, -5*w + 9 = i - 0*w for i.
-1
Let t = -63 + 66. Solve -21 = t*k + 5*q, 2 - 17 = 5*q for k.
-2
Let j be -3 + (-2)/(6/(-21)). Solve 0 = r + t, -j*r + 2*t = -0*r - 18 for r.
3
Let j be (2 + -3)/((-1)/34). Let b = j - 9. Suppose -5*q - 10 + 135 = 0. Solve 0 = -5*t - q, 9*k = 4*k - 3*t - b for k.
-2
Suppose -3*i - 10 = 2*i. Let h be (-1 - i)*(-2 - -3). Let a be (1 + -11)/(h/(-1)). Solve z = 6*z - 3*w + 4, 2*z + a = -3*w for z.
-2
Suppose 6*x - 2*y = 3*x + 16, -2*x + 5*y + 18 = 0. Solve 5 = -x*n + n - 2*s, 0 = -n + s for n.
-1
Suppose 6*d - 84 = -0*d. Let g be (2/5)/(1/(-5)). Let y be 1/(-1*g/4). Solve -5*b = 2*n - 22, 2*b - y*n - d = -2*b for b.
4
Let o(x) = -3*x - 2. Let v be o(-2). Suppose v*y = 9 - 1. Solve -4*z = -q - 7, -9 = q - 4*q + y*z for q.
5
Suppose 8*w - 3*w = 2*j + 24, -14 = -2*w + 3*j. Solve 4*k - 16 = -0*k, 4*k + w = 5*b for b.
4
Let n = -7 + 16. Solve -2*b = -3*k, 2*b - n = 3*k + 3*b for k.
-2
Let x(q) be the second derivative of -q**5/20 + q**4 + 13*q**3/6 + 2*q**2 - 4*q. Let v be x(13). Solve -3*d = -o - 1, -v*d - 5*o - 5 = -0*d for d.
0
Suppose 0*u + 25 = -5*u. Let o be (0/(-1))/(-8 - u). Solve a - 5 = o, 3*b + 10*a - 10 = 5*a for b.
-5
Let m = -14 + 9. Let j be m/(5/(-8)) - 0. Solve 2*n = 2*p - j, -7 = n - p - p for n.
-1
Let l be -6*(-1)/2*1. Let h be (9/3 - 5)*-2. Solve 0 = -h*z + 3*m + 14, 0*z = -z + l*m - 1 for z.
5
Let q be 30/(-9)*24/(-20). Solve -x + 3 = -2*j + 1, q*x - 4*j = 4 for x.
0
Let s = -1 - -2. Let n(z) = 5*z**3 - z**2 + z - 1. Let g be n(1). Solve 9 = 3*q + g*w + s, -w - 11 = 4*q for q.
-4
Let l(f) = -f**3 + 16*f**2 - f + 23. Let a be l(16). Solve -h - a*s + 13 = -2*s, 5*h + 4 = -2*s for h.
-2
Let h be (-20)/(-6) + (-1)/3. Suppose 4 = -q - h*f, 0*q = -2*q - 5*f - 6. Suppose -q*z = 1 - 9. Solve -11 - 20 = -5*s - z*j, -23 = -s - 5*j for s.
3
Suppose r + 5*z = 27, -z + 3*z - 20 = -5*r. Solve r*l + 5*b + 4 = 0, 0 = -0*l + 4*l + b - 10 for l.
3
Let g(h) = -2*h - 2. Let p be 378/(-144) + 6/(-16). Let z be g(p). Solve 2*t + s + 9 = 0, -6*t - 3 = -z*t - s for t.
-3
Suppose 28 = -7*q + 14*q. Suppose -4 = -3*y + 2. Solve -3*i = y*b + 12, q*i + 4 + 1 = b for b.
-3
Let t = 0 + -3. Let r be t/(6/(-76)) + -2. Solve -r = -4*v - 4*l - 0*l, -4*v + 26 = 2*l for v.
4
Let m be 8 - -2 - (-1 + -2). Let x = m + -12. Solve 6*u + 9 = u + t, 2*u + x = 3*t for u.
-2
Suppose -u + j = -8, 4*j + 16 = -3*u + 54. Solve 2*b + 8 = -3*n, 0*n - 2*n + b = u for n.
-4
Let n be (-4)/(-1)*-1*(-21)/28. Solve -3*u + 12 = -3*i, 6*i - i = n*u - 16 for i.
-2
Let n = 14 - 11. Solve -d = 3*d + 5*f + 1, -n*d - 27 = -5*f for d.
-4
Suppose 7 = t + 1. Let v = -4 + t. Solve v*z + 16 = 3*s, -s - 2*s = 2*z - 8 for s.
4
Let p be 0/(-4*(-2 + 44/16)). Solve -4 = -2*k, p = 5*t - 4*k + k - 14 for t.
4
Suppose -2*h + i - 15 + 41 = 0, -h + i + 15 = 0. Solve 4*k - a + 2*a + 11 = 0, 0 = 2*k - 5*a + h for k.
-3
Let w = 6 - 8. Let i = -2 - w. Solve -s - 5*o = i, -5*o + 20 = -s + 6*s for s.
5
Let a(k) = -k + 4. Let g be a(4). Let z = 0 - 7. Let q be -4 - -2 - z*1. Solve 0*m - 2*h = q*m + 9, 2*m - h + 9 = g for m.
-3
Let y = 18 + -17. Suppose -4 - y = -5*k. Solve u + 2 = -3*q + 9, 3*q = -4*u + k for q.
3
Let o(s) = s**3 - 6*s**2 + 6*s - 3. Let w be o(4). Let p = w + 15. Solve -4 = -4*j + 5*d, p*j - d + 8 + 4 = 0 for j.
-4
Let r(l) = l**3 - 9*l**2 + l. Let x be r(9). Suppose 14 = 2*j + 4*o, 0 = -4*j + 4*o - x*o + 22. Solve -y - 9 = -j*b - b, 2*y = -b for y.
-1
Suppose -4*g + 32 = 5*j - 6*j, 5*g - 61 = -4*j. Solve -4*s = -g*s + 10, 5*v + 2*s = -21 for v.
-5
Let u = 9 + -5. Let h = -10 - -15. Suppose -5*j + 4*j + 13 = -h*n, n = -2. Solve j*q - 13 = -4*m, u*q + m = -0*q for q.
-1
Suppose 8*q = 6*q + 8. Solve -4*f - 25 = -5*s, 0 = 2*f - q*f for s.
5
Let o be 18 + (-1 - -1) + 0. Let y(m) = -m**2 + 4*m + 1. Let n be y(4). Let i be 0/((-3)/(-3) + n). Solve i = 2*c - q - 7, 3*q + o = 5*c + q for c.
4
Suppose 4*y - 21 = k, -4*y + k + k + 22 = 0. Suppose 2*v - y = 5. Solve 0 = -3*z - v*n + 17, -2*n = 5*z - 4*n - 18 for z.
4
Let c(u) = u**2 + u. Let d be c(-1). Let t be 1/(d + -1 - -2). Let w = t - 1. Solve r - 15 = 4*i, w = 2*r + 4*i + 15 + 15 for r.
-5
Let u be 36/30 - 4/(-5). Suppose -4*y = y - 15. Solve -2*n + 26 = -4*g, 5*n + 2*g - u = y*n for n.
5
Let b(a) = 2*a**3 - 36*a**2 + 3*a - 54. Let j be b(18). Let k(g) = 20*g**3 + g**2. Let m be k(1). Solve -3*w + 3*f + 34 - 7 = j, 4*f = w - m for w.
5
Let j = 5 + 7. Let r be (11/2)/(6/j). Solve p + r = i + i, -4*i - 2*p + 10 = 0 for i.
4
Let f be (5 - 0)*(2 + -1). Let j = -5 + f. Let i(t) = t**2 + t + 3. Let p be i(j). Solve p*g + 8 = 2*g - w, -4*g - w = 17 for g.
-3
Let k(s) = -2*s - 6. Let x be 126/(-24) + (-1)/(-4). Let d be k(x). Solve -b = 3*r + 4 - 0, 3*b + d*r + 12 = 0 for b.
-4
Suppose 0 = -5*o - 4*s, 2*o - 3*s + 3 = 26. Solve 0*r - o*r + 16 = 3*k, 4*k - 4 = -r for k.
0
Let u(i) = -4*i**3 + 4*i + 3*i**3 - 2*i + 1. Let a be u(-2). Solve 5*s - 5*p + 5 = 0, 0 = a*s - 3*p + 1 for s.
1
Suppose -3*d + 4 = 1. Suppose 5*u + d = 6. Solve 3*q - m - u = 0, -4*m - 3 = 5*q + 1 for q.
0
Suppose -o - 24 + 64 = 0. Suppose -5*q + o = 5*h, 4*h - q - 3*q = 40. Suppose -2*k = -5*k + h. Solve -2*f - 2*w = -w + 1, k = -w for f.
1
Let l(d) = 5*d + 5. Let f(t) = -6*t - 6. Let v(y) = -6*f(y) - 7*l(y). Let x be v(4). Solve -n + 2 = -i - 1, 5*i - n - x = 0 for i.
2
Let f(k) = -k**3 + 5*k**2 + 8*k - 8. Let x be f(6). Let j = -3 + x. Let y(g) = 3*g. Let v be y(j). Solve a = 3*q + 12, q = v*q + 5*a + 8 for q.
-4
Suppose -3*j + 0*j = 0. Solve 5*u = 3*z + 5 - 25, -u + z - 4 = j for u.
-4
Suppose -3*m = -4*s + 43, -2*s - 5*m - 60 = -7*s. Solve -q - 9 = i, 2*q - s*q = -4*i + 9 for i.
-4
Let n = 3 + -4. Let f(y) = -29*y + 2. Let x be f(n). Let z(j) = j**3 + 6*j**2 + 4. Let k be z(-6). Solve k*d = d + 15, x = -3*m + 5*d for m.
-2
Suppose -r + 4*v + 5 = 0, 5*r + v - 25 = -v. Solve -3 = 2*g - r*u, -3*g - 2*u - 22 = 2*g for g.
-4
Let j(z) = -z**3 - 9*z**2 - 8*z + 2. Let v be j(-8). Suppose -5*r = 3*l - 7, v*l + 4*r - 3 = -r. Solve -25 = 5*s + 5*t, l*s + 24 = -5*t + 4 for s.
-5
Let f = 3 - -1. Let r be (-4 + -6)*(-2)/f. Solve z + t = 0, r*z - 4*t = z - 24 for z.
-3
Suppose -4*s + 3*s = -10. Let i = -7 + s. Solve -i*t + 4 + 1 = 2*a, -2*t - 14 = -3*a for t.
-1
Suppose n + 1 - 3 = 0. Suppose t + p + 4 = 2, -2 = 2*t + 4*p. Let s be 2 + ((-9)/t - 5). Solve -x - 4 = s, -2*u - n*x - 26 = 2*x for u.
-5
Suppose -2*t + 1 + 11 = 0. Let o(n) = n**3 - 6*n**2 + 2*n - 7. Let p be o(t). Solve -5*g + 3*z - 35 = 0, 3*g + p*z = 4 + 9 for g.
-4
Suppose 4*z - 26 - 38 = 0. Suppose 4*v = 3*r - 12, 0*v - 4*r = -5*v - z. Solve -10 = -5*p, -4*h = 2*p - v*p + 8 for h.
-3
Suppose d = -0*d - 6. Let j = 24 + d. Solve -17 + 5 = 3*v - t, v - 5*t + j = 0 for v.
-3
Let t(g) = g**3 + 7*g**2 + 6*g + 6. Let l be t(-6). Suppose -2*m - 2*m + f = -30, -2*m - f + 12 = 0. Solve -v + l - 1 = p, -m = p - 2*v for p.
1
Suppose 3*w = 2*w. Let g = w + 5. Solve 0 = -4*q - 2*c, 2*q + 2*c - g*c = -8 for q.
-1
Suppose a - 27 = -2*a. Solve a = 3*v + 2*z, 0 = 4*v + 3*z - 3 - 10 for v.
1
Let n = 23 - 23. Solve -5*c - 5*d + 15 = -n*d, -3 = -c - 5*d for c.
3
Let c be 68/12 + (-4)/6. Solve 4*x = 3*d - c*d - 10, -5*x = -5*d + 50 for x.
-5
Suppose -3*m = 2*m - 20. Suppose 0 = m*l - 3*l - 3. Solve -f - 6 = -l*y, -4*f + 9 + 3 = 0 for y.
3
Let m(n) = 15 + 2*n - n**3 - 13 + 2*n**3 + 3*n**2. Let f be m(-2). Solve 5*j - v = f*j + 17, -36 = -4*j + 4*v for j.
4
Let d = -22 + 38. Suppose -2*w - 4*m + d = 0, -3*m - 12 = -4*w - 2. Solve 4*b - w = 2*y, y + 1 = b + 2*y for b.
1
Let d(s) = -s**3 - 4*s**2 - 3*s + 5. Let q be d(-4). Let i(b) = -b**2 + 17*b + 5. Let c be i(q). Solve -2*j + 7 = 4*k - c, -j = k - 5 for k.
1
Let o be 15*((-3)/((-30)/(-14)) + 2). Solve 3*c = p + 19, -4*p - 2*c - 3*c = -o for p.
-4
Let b = -1 - -3. Let g be (b/4)/(2/48). Solve -a - g = -4*s - 6*a, -3*a = 0 for s.
3
Suppose 0 = 4*p - 3 - 1. Suppose p + 2 = b. Solve -2*o - 11 = b*n, -5*n + 7 = -2*o - o for n.
-1
Let f = -68 + 80. Let u(l) = 2*l. Let b be u(1). Suppose -b*a + a + 9 = -2*o, -o - 22 = -4*a. Solve -2*m + a*m - 15 = 2*c, f = -4*c for m.
3
Let j be ((-84)/(-4))/(-7) - 4*-1. Solve -4*x + v + j = -2*v, 3*v = -5*x - 19 for x.
-2
Suppose 17 - 5 = 3*f. Suppose -3*b + 14 = 2. Let