v + 2*v + 3 for v.
-5
Let v be 2/(-2 - -4) + -12. Let m be (-3 + 1)/(-2)*v. Let n = 16 + m. Solve 5*a = -n*g - 35, 2*g - a + 23 = -3*g for g.
-5
Let l = -263 - -281. Solve -4*p - 2 - l = -x, x - 5*p - 24 = 0 for x.
4
Suppose 3*o - 9 = -0*o, 0 = 5*a + 5*o - 30. Solve 2*j - 19 = -a*l, 2*l - 7*j - 2 = -3*j for l.
5
Let t = 8 + 0. Let a be ((-54)/t)/((-2)/8). Let m be -3*6*(-6)/a. Solve 5*i = 7*r - 2*r, -m*r + 12 = 2*i for r.
2
Let s(c) be the third derivative of c**6/120 + 3*c**5/20 - c**4/3 + 4*c**3 - 20*c**2. Let q be s(-10). Solve 2*d = q*t - 14, -4*d + 2 - 12 = -2*t for d.
-1
Let f = -3 + -8. Let j = f + 12. Let x = j - -1. Solve -d + x*k + 2*k = -18, 0 = 4*d + 3*k + 4 for d.
2
Let h = 380 + -375. Solve 2*a = -h*r - 25, -a - 4*r - 11 = -2*r for a.
-5
Suppose 6*g - 7*g = 5*x - 18, 3 = x. Solve 0 = -4*v - 5*k + 6*k + 12, -20 = -4*v + g*k for v.
2
Let u be 10/6 - 2/3. Let c(m) = 2*m**2 - 18*m + 6. Let w be c(9). Let s be w - (-1 - (u - 4)). Solve 2*t - 3*j = -2, -s*t + 2*j + 7 = -5 for t.
5
Let a(p) = -15*p + 19. Let i be a(1). Solve 5 = i*f - 3*x, 3*f - x - 10 = -5*x for f.
2
Suppose 11 = -2*r - 5*t, -t - 15 = -5*r - 2. Suppose 5 = -r*k + 7. Suppose k - 3 = -p. Solve 3*b = -p*b - 3*w - 3, 0 = -w - 1 for b.
0
Suppose 2*m - 1975 = -1967. Solve -36 = 5*b + m*n, 6*n = n - 20 for b.
-4
Let m(i) = -i**2 - 1. Let d(p) = p**2 - p. Let w(y) = -d(y) - 2*m(y). Let x be w(-2). Solve 0*t - 18 = 5*n + 2*t, -x*t = 2*n + 4 for n.
-4
Let g = 214 - 204. Solve 2*u - g = -v, 19 = 4*u + 5*v - 1 for u.
5
Let x(y) = 2*y + 40. Let d be ((-21)/6 + 2)/(3/30). Let l be x(d). Solve 2*s - 5*a = -0*a + 25, -4*s + 2*a + l = 0 for s.
0
Suppose 13*r + 3*r - 48 = 0. Solve -9 = -3*i + 3*b, r = -3*i - 0*b - b for i.
0
Let m = -8 + 11. Suppose 0 = -5*b + z + 90, -4*b + 9*z = 4*z - 72. Suppose j = 4*r + 15, b = 3*j - 4*r + r. Solve m*v + 0*q + j = -2*q, 0 = 3*q for v.
-1
Let i be (-417)/(-12) + 4/16. Suppose -4*a = a + i. Let d(w) = -w**3 - 6*w**2 + 5*w - 13. Let c be d(a). Solve -5*b - 5 = 0, -j + 0*j - b = c for j.
0
Suppose -2*z + 6*z - 4 = 0. Suppose 9*b = 16*b - 28. Suppose 0 = 4*n, -4*a + 0*n + 88 = -b*n. Solve -a = -l - 5*d, -5*l - 11 = d - z for l.
-3
Suppose -4*u = -j + 158, j = 4*u + 2*j + 154. Let o = u - -41. Solve 4*k = -3*s + k + 6, -25 = -o*s + 5*k for s.
5
Suppose 4*o - 21 = -5. Solve 0 = 2*r + 3*b - 4*b - 6, 0 = -b - o for r.
1
Let l(t) = 2*t**2 + 23*t + 23. Let k be l(-1). Solve 0*z - k*z - 10 = -3*j, 0 = 3*z - 3 for j.
4
Let t(r) = 7*r**2 + 17*r - 62. Let l(v) = -v**2 + v + 2. Let m(j) = 6*l(j) + t(j). Let u be m(-25). Solve 3*g - 2*b - 9 = u, -4*g + 2*b = -0*b - 12 for g.
3
Let b be -14*(3 + (77/(-2))/11). Solve 0*l + b = -2*l - c, -3*c = -5*l + 10 for l.
-1
Let l(q) = -q - 1. Suppose -o = -4*o + 18. Let a be 1/(o/(-39))*2. Let c be l(a). Solve -2*b = 2*b - 5*n + 10, 0 = -4*b + 4*n - c for b.
-5
Suppose y - 26 = -3. Let r be (-1 + 1)*12/(-12). Suppose 5*k = 2*q - 6*q + 23, r = -3*k + 4*q + 33. Solve -4*w - k*t = -2*t - y, -t + 5 = w for w.
2
Let x = -1 + 6. Suppose x*k + 2*j = 5, 3*k = 2*k - 5*j + 1. Let v be (-9)/(-6)*(1 + k). Solve -3*b + 9 = 0, 3*b = -0*u + v*u + 24 for u.
-5
Suppose -3*b + 2*v + 13 = 0, 5*b + 0*v = 3*v + 22. Let g(q) = 17*q - 65. Let y be g(b). Solve i = 2*l - 4, 5*i + y = -0*l + 2*l for l.
0
Let i(q) = -2*q**2 - 17*q - 5. Let w be i(-8). Solve -k + 3*k + 3*s - w = 0, 3*k + 5*s = 5 for k.
0
Suppose 4 = 2*t - 0. Solve 2*k - 21 = -0*j + 3*j, 2*j - t = -4*k for j.
-5
Suppose 0 = -338*f + 341*f - 12. Solve -9*t + 2*l = -f*t + 13, 7 = -4*t + 5*l for t.
-3
Let r = -72 + 76. Suppose r*d - 360 = -4*d. Solve g = -4*q - 4 + 15, -5*g - d = -5*q for g.
-5
Let g = 9 + -9. Suppose -16 = 4*i - g*i. Let n = i + 9. Solve -k - k - 3*d = 25, -4*d - 45 = n*k for k.
-5
Suppose -4*p + 2*p + 32 = 0. Suppose 0 = 3*h - 3*n - 9, p + 19 = 5*h + 5*n. Let o(r) = r + 5. Let s be o(-5). Solve -z + s*z - 18 = 4*q, -q - h = 0 for z.
2
Suppose 6*u = -37 + 109. Solve -s = 4*h + u, h - 3 = -5 for s.
-4
Suppose 1848*m = 1838*m + 20. Solve 0 = 5*w - 2*f - 15 - 10, w = -f - m for w.
3
Let c = 0 - 14. Let x = c - -14. Suppose f - 3*f = x. Solve -4*h + 3*g - 16 = f, -9 = -3*h - 0*h - 3*g for h.
-1
Let s be (96/(-30))/(4/(-20)). Suppose -3*z - 8*r + 22 = -3*r, s = 2*z + 4*r. Solve 2 = -5*x - z*l, -6*x + 4*l = -2*x - 20 for x.
2
Let q be (-2)/4*-4 + 26. Let b = 84 - 108. Let g = q + b. Solve -2*h + 4*h - 4 = -2*i, -5 = -5*h - g*i for h.
-3
Let f(a) = a**2 - a - 3. Let z be f(-2). Suppose 0 = -3*d - u + 4*u - z, -u = d - 9. Solve -d*o = m - 13, m - 11 = -4*m - 2*o for m.
1
Let p(y) = 2*y + 1. Let a be p(4). Suppose -k - a = 3*z, -2*k - 2*z - 5 = -k. Solve -4*v = -k*o + 6*o - 31, -1 = v - o for v.
4
Let a(f) = -10*f - 18. Let s(q) = q + 1. Let m(x) = a(x) + 12*s(x). Let w be m(4). Solve 0 = 5*y + w*g - g - 27, -2 = -g for y.
5
Let p = -60 + 73. Solve 5*z - p = 4*y, -2*z + z = -3*y + 4 for y.
3
Suppose -13 = d - 3*g, -2*d - 3*d - g = -15. Let v = 43 + -24. Solve -4*w - 3*b + 26 = 0, 3*w + 0*w - v = -d*b for w.
5
Suppose -4*h + 3*w + 10 = 0, h + 0*h + 2*w - 8 = 0. Let x be 12/(-30) - 167/(-5). Suppose 148 = 8*v + 52. Solve -x = -h*q - 5*b, 0 = q + 2*b - v for q.
2
Let m be (26/(-13))/((-1)/4). Suppose i - t + 6*t + m = 0, 2*t - 15 = -3*i. Suppose i = -2*l + 31. Solve w - g + l = 2, 4*g = 20 for w.
-5
Let v(o) = -o**3 - 10*o**2 - 22*o - 4. Let b be v(-7). Solve -2*i = -3*p - b, -3*p - 15 = -2*i + 4*i for p.
-3
Suppose -6 = -10*j + 9*j. Let f be (56/j)/(10/15). Let n = f - 9. Solve -5 = 2*a + 2*a - i, n*a - 2*i = -7 for a.
-1
Let d be ((-24)/9)/((-26)/39). Solve o + p + 1 = -0*p, 3*o = 4*p + d for o.
0
Let w be ((-140)/56)/(10/(-16)). Solve 0 = -4*g + g + w*s - 1, -4*s - 1 = -5*g for g.
1
Suppose 0 = 2*j - 0*j + 2*y - 16, 0 = 5*j + 4*y - 37. Solve 2*v = q - 3*v + 12, j*q - 9 = 2*v for q.
3
Let p(i) = -19*i**2 - 2*i - 1. Let o be p(-1). Suppose -2*k - 4*a = -50, 4*k = 2*k + 4*a + 34. Let y = k + o. Solve -5*t + 6 = -y*j - j, -t = 5*j + 22 for t.
-2
Suppose -4*b + 3*b - 19 = -4*n, -5*n + 22 = -3*b. Solve -3*s + 4*s - 10 = n*o, -5 = -2*s + 5*o for s.
-5
Suppose -5 = -2*k + 1. Suppose -k*r + 30 + 24 = 0. Solve -3*u - r = -0*u - 3*s, 0 = -3*u - 4*s + 10 for u.
-2
Suppose -13*g + 49 = -3. Solve 0 = q - g*d - 5 - 18, -3*d - 15 = 0 for q.
3
Let u(b) = b**2 + b. Let l be u(-1). Suppose l = 2*x - 0 - 4. Suppose -26 = -x*y + 3*c, 3*y + 17 = -5*c + 75. Solve -3*v - 4 = -j, -v + 3*v + 4*j - y = 0 for v.
0
Suppose -10 = -44*b + 40*b + 2*y, 2*y - 2 = 0. Solve b*h - 2*u = -23, 4*h + 16 = -u - 0*u for h.
-5
Let v be (-2)/(7/3*16/(-56)). Solve i = 2*i - m + 2, -v*i - 3 = -4*m for i.
-5
Suppose 16 = 2*v - 2*p, 3*v - 42 = -2*p + 7. Solve -8 = -2*b - l - 0*l, -3*b - 2*l + v = 0 for b.
3
Suppose -3*a = -6, 0 = 3*y - 0*a - 3*a. Let x(k) = 3*k**3 - 59*k**2 + 39*k - 17. Let z be x(19). Solve 0*t + t - 4 = -y*q, z*t + 5*q = 8 for t.
4
Let r be 1/((10/12)/(470/141)). Solve 20 = 5*x, -3*y - r = y + 2*x for y.
-3
Let a = -26 + 21. Let v be (-145)/a + 6/(-2). Solve 2*g = 5*m + v, m = g + 3*m + 5 for g.
3
Let i be 4/(-22) - ((-1575)/55)/9. Solve -l - 11 = i*l + y, -4*l + y - 13 = 0 for l.
-3
Suppose 0 = -12*n + 11*n + 19. Let f = n + -16. Solve -5*d - 30 = -3*q, -2*q + 1 = 2*d - f for q.
5
Let x = -2 - 20. Let s be 2/(-11) + 150/x. Let t = 11 + s. Solve z = -t, 18 = -5*f - z - 1 for f.
-3
Let k be (-225)/(-9) - 2*-2. Let u = k + -27. Suppose u*h - 5*n = 4*h - 27, -h + 2*n = 9. Solve 9 = 3*g - 5*m, 0 = -2*g + 4*m + h + 7 for g.
-2
Let n be 13 + 2*6/4. Let i be (6/7)/((-5)/70). Let b be (-2)/i + (-138)/(-36). Solve 4*v + z - b = -0, 4*z - n = 4*v for v.
0
Suppose -a - 4*n + 13 = 0, 4*n = 5*a - n - 15. Let k(j) = j**2 - 8*j + 20. Let v be k(a). Solve 5*p + 25 = -2*s, -p + s + s = v for p.
-5
Suppose 7*s - 57 = -36. Solve -7 = -2*d + a, 3*d - 13 = s*a - a for d.
1
Let j be (72/(-45))/((-4)/10). Solve 0 = -5*f + 5*q + 30, -4*f - 11 = 7*q - j*q for f.
1
Let z(q) = -4*q**3 - q**2 - 5*q - 3. Let f be z(-1). Suppose g = -5*l - 13, -4*g - 1 = -2*l + f*l. Solve 0 = -5*j - g*d + 23, j - 28 = -3*j - 4*d for j.
3
Suppose 7*t - 2*t = -315. Let u = t - -65. Let l be (-1)/(-3 + 2/1). Solve -l + 6 = 2*i - 3*k, -5 = -3*i + u*k for i.
1
Suppose 5*g = -2*o + 5, -2*g - 2*o + 1 + 7 = 0. Let q be ((-3)/1 - g) + 34. Solve -2*i + 5*c = -6*i