a*v + 3*c = 3*v - 10 for v.
-1
Let w(q) = q**3 + 13*q**2 - 11*q + 44. Let a be w(-14). Suppose 0 = -f + a*m - 3 + 15, 4*m + 20 = 0. Solve -5*y = -f*d + 28, 0 = -3*y - 3*d + d - 4 for y.
-4
Let f be (-3 + 2 - -1) + 2. Let p = -37102 - -37102. Solve p*c - 16 = -f*c - 2*n, 4*c + 3*n = 28 for c.
4
Let k(q) be the third derivative of 7/60*q**5 - 18*q**2 + 1/12*q**4 + 1/120*q**6 - 4/3*q**3 + 0*q + 0. Let i be k(-6). Solve d + 0*u = 5*u + i, -3*u = 12 for d.
-4
Suppose -10065 = -5*h - 9935. Solve 5*n + h = 2*p + 3, 3*n - 7 = -4*p for n.
-3
Suppose -38*b = -2456 + 1620. Solve 8*v + 29 = -5*r + 12*v, 4*r - 3*v = -b for r.
-1
Suppose -5*a - 132 = -3*t + 2708, -935 = -t + 4*a. Let c = t - 953. Solve 5*z = k + 15, -c*z - 2*k - 1 = -k for z.
2
Suppose 0 = -16*h + 5*h. Solve -10*m + 27 = -14*m - 5*z, -3*m + 4*z + 3 = h for m.
-3
Let a = -51 + 58. Suppose -9*p = -a*p. Solve 0*t - 2*t + f + 6 = 0, p = -f for t.
3
Let q = 20472 + -20431. Solve q*v - 42*v - 10 = -3*d, 3*d - 22 = -5*v for d.
4
Let m be (-6)/18*-1*18. Suppose 39*u - 11 = 37*u - y, 0 = -u - 5*y - 8. Solve 0 = -m*z + z - d - 5, u = -z + d for z.
-2
Let l be (-210)/(-63) - 2/6 - -27. Suppose l = -38*t + 35*t. Let k be (2 + t/5)*1. Solve 0 = -4*m + 3*y + 1, y + k = 4*m - 3 for m.
1
Suppose 0 = k + 4*y - 14 + 10, -4*y - 116 = -5*k. Solve 0 = -3*c - 15, i - 6*i - 5*c - k = 0 for i.
1
Suppose 2*y = -2*u + 3*u - 22, 2*u = -3*y + 23. Suppose 163*s = 159*s + u. Solve -5*x + 4*l - 26 = 0, 4*x - s*l + 22 = -2 for x.
-2
Let r = 62 - 54. Let j(u) = -58 + 39 + 4*u - r*u. Let t be j(-6). Solve 5*w + 2*h - 6*h = t, -4*w + 4 = -3*h for w.
1
Let k(f) = 186*f + 1327. Let z be k(-7). Solve 0 = -s + 3*d + 15, d - 6 = 5*s - z for s.
3
Let i(v) = 71*v**3 + 19 - 35*v**3 - 35*v**3 + 17 - 16*v**2 - 19*v. Let p be i(17). Solve -2*s - 3*u + 12 = -u, p*u = 5*s - 9 for s.
3
Let u be (-16 + 0)/(38 - 40) - 3. Solve 2*f = u*h, -h + 0*h = 2 for f.
-5
Suppose -74 - 84 = -26*d + 24. Solve 3*z + f - d = 0, -16 = 4*z + 17*f - 22*f for z.
1
Suppose 0 = 22*z + 878 - 1098. Solve 0 = 5*s - 5*n - 30, 2*n + 11 = 5*s - z for s.
3
Let v(l) = l**2 - 2*l - 5. Let s be v(8). Let u = s - -24. Let n = u + -67. Solve -j - 4*d - 4 = 0, -3*j - d + 5*d + 20 = n for j.
4
Let r = 3184 - 3167. Solve j = y, -2*j + y - 13 = -r for j.
4
Suppose 5*v - 765 = -10*v. Suppose 4*t + 39 - v = 0. Let c be (-4)/(-6)*(-15)/(-2). Solve 0 = 2*f - c*l - 5 - 10, t*f - 5*l = 15 for f.
0
Suppose 141*y - 2948 = -403 + 980. Solve -y = -5*h + 5*n, 20 = 4*h - 0*n + 4*n for h.
5
Suppose -244*i = -45*i - 72 - 326. Let u = 13 + -6. Solve 4*z - u = h, -1 = 4*h - 9*h + i*z for h.
1
Let f(d) = d**2 - 2. Let n be f(2). Let k = n - -1. Let h = -28566 + 28586. Solve -h = b - 5*b + l, k*l + 25 = 5*b for b.
5
Suppose -100 = 7*p - 2*p. Let z = 105 - 130. Let t = p - z. Solve 1 = 5*f + 3*s, 3*s + 2*s + t = -5*f for f.
2
Suppose -5*i - 3*n + 6 = -5*n, -4*n + 4 = -2*i. Solve 3*o - 15 + 0 = -i*g, -3*o - 4*g = -21 for o.
3
Let q = -39 + 39. Let g(u) = -4 + q*u - 2 + 36 + 3*u. Let f be g(-10). Solve 0 = -4*s + 12, -3*h - 5*s + f*s = -15 for h.
0
Let u = 465 + -289. Let d be ((-1)/(-3))/(u/(-180) + 1). Suppose 0 = 8*k - 13*k + d. Solve 0 = 4*x - 3*i + 16, 0 = k*i - i for x.
-4
Let s = -2 - -4. Suppose 5*u - x = 16, -4*u - 3*x - s*x = -36. Suppose -q - 3*g = 11, 4*g + 0*g = -5*q. Solve -3*o - r - q*r - 9 = 0, -u*r = -2*o + 16 for o.
2
Suppose 3*o + 8 = 2*x, 2*o + 2*x - 52 + 44 = 0. Solve r + 2*z = 9 - 7, o = 4*r - 4*z + 28 for r.
-4
Let y(v) = 7*v - 65. Let f be y(23). Suppose -5*d = g - 33, -5*g + 0*d + f = 2*d. Solve -3*m = -3*q + g, 0 = 5*m + 2*q - 4*q + 21 for m.
-3
Suppose 25*x + 21*x + 1114 = 1206. Solve -g + 8 = 9, x*g = -3*a - 11 for a.
-3
Suppose 3*p = 2*h - 5, 47*h = 45*h + p + 7. Solve -h*b + 46 - 58 = -2*a, 4*a - 4 = -2*b for a.
2
Let v = -2583 + 2595. Solve h + v = -3*l, 3*l + 21 = 6*h - 4*h for h.
3
Let m(f) = -36*f + 33. Let d be m(-4). Let b = -175 + d. Solve -10 - 3 = w - 3*t, b*t - 3 = -5*w for w.
-1
Let v(c) = -2*c**2 + 17*c + 2. Let f be v(5). Suppose f = 28*i - 19. Suppose -3*n - 53 + 4 = -4*k, 5*n = -15. Solve i*m - 3*h = 3*m - 5, 2*m - k = 3*h for m.
5
Let p(a) = 114*a + 44. Let i be p(2). Suppose 22*b = 14*b + i. Solve 3*j = 5*z - b, -j - 2*j = -2*z + 19 for z.
5
Suppose 40 = 5*j - 5*u, 4*j + 4*u + 444 - 436 = 0. Solve j*m - 9 = 2*x, -3*x = -2*m - 0*x + 1 for m.
5
Let h(w) = -w**3 + 8*w**2 + 10*w + 3. Suppose -s - 2*c + 5 = 0, 4*s - 5 - 37 = 3*c. Let q be h(s). Solve -2*m + l + 2*l = q, m = 5*l - 20 for m.
0
Let y(n) = -n**3 + n**2 - 1. Suppose g = 2*g + 3*g. Let o be y(g). Let t be (o/(-4) + 2/(-8))/(-2). Solve -5*k - 4*f = t, -3*f = -5*k - 6*f for k.
0
Suppose -4*x + 3*k + 12 = 0, 7*x - 4*k + 28 = 9*x. Solve 3*z - 10 = x*z + 2*i, 5*i = 5*z for z.
-2
Suppose 0 = -5*a - 4*j + 8, 8*j = -2*a + 11*j + 17. Solve 0*z + 4*b + a = -2*z, 0 = -3*z - 3*b - 9 for z.
-4
Let n(g) be the third derivative of 7*g**4/24 - 5*g**3/6 + 201*g**2 - 2*g. Let x be n(1). Solve l + l + 10 = 4*q, -3*l = x*q - 1 for l.
-1
Suppose 5*h = -2 + 7, 0 = -4*r - h + 9. Suppose -7*g + r*g = -30. Let z be -2 + 5 + -5 - (-4 + -4). Solve -g*f - 4*j = -2*f + 4, z = -4*f - 2*j for f.
-2
Suppose -16091 = -19*w - 15673. Solve -5*r - 4*i + w = -7*i, r + i = 6 for r.
5
Let b be ((-129)/2)/(6/(2 + -14)). Let h = b - 128. Solve 4*p - 7*p + 2*o = -11, 0 = 5*p + o - h for p.
1
Let g(n) = -2*n**2 - 50*n + 5. Let r be g(-25). Suppose -7*d + 2*d + 30 = -r*f, -2*d - f = 0. Solve -d*q - 5*l = 7, 3 + 1 = -4*l for q.
-1
Suppose -2*y - c = -25, -79*y + 71*y + 3*c = -65. Solve 4*v = -5*j - 12, y*v + 14 = -5*j + 7*v for j.
-4
Let o be 2*1766/(-20) - (-10)/(-25). Let h = o - -178. Solve 3*g - 4*g + 4*q + h = 0, 0 = 2*g - 5*q - 2 for g.
1
Let c(z) = -3*z + 2*z - z - 4 + 3*z. Let m be c(8). Solve -6*g + g = -25, o + m*g - 16 = 0 for o.
-4
Let i(z) = -z**2 + 77*z - 1455. Let q be i(35). Solve -5 = c - 4*x, -c - q*x + 11*x + 11 = 0 for c.
3
Let c = -13764 + 13764. Solve c*i - 4*q + 11 = -i, -2*q + 2 = -4*i for i.
1
Let a(m) = m**2 - 2*m + 5. Let l be a(4). Suppose 47 = z + 6*p, -3*z - 4*p + 38 = -z. Solve 4*i - z*w - 22 = 0, 5*w + 0 = i - l for i.
3
Let u(r) = 14*r**3 - 3*r**2 + 11*r - 10. Let i be u(1). Let f = -89 + 94. Solve y - 2*k = 2*k + 1, -f*y + 3*k = i for y.
-3
Let a = -12 - -3. Let q(t) be the third derivative of t**4/12 + 7*t**3/2 - 12*t**2. Let b be q(a). Solve 3*n + 2*n + 34 = 3*k, 0 = b*n + 15 for k.
3
Let v(o) = -o**3 + 7*o**2 + o. Let l be v(3). Let a = l - 13. Suppose -3*h + 0*y = -4*y - a, -5 = y. Solve 0 = -3*w + w + 5*q - 20, h*w = q - 4 for w.
0
Let d be 27/(-18)*(-8)/(-9)*-3. Suppose 5*o = -20, -5*o + 35 = q + d*q. Suppose -2 - 3 = -c, -c + 11 = 2*p. Solve 4 = -5*w - q, k + p = -w for k.
0
Let s = -95 - -77. Let h(w) = 8*w + 146. Let q be h(s). Solve -3*l = -q*l + 4*p - 20, l + 25 = 5*p for l.
0
Let z(q) be the second derivative of 2*q**3/3 + 5*q**2 - 52*q - 2. Let w be z(-2). Solve -5*f = -w*v - 5 + 23, -4*v + 4*f = -24 for v.
4
Suppose 2*l + 2*l = -56. Suppose 5*c = -5*k + 2*c - 17, -4*c + 20 = -4*k. Let i = k - l. Solve 3*a + d - 4 = -17, -3*a = -2*d + i for a.
-4
Let s(u) = -2*u**2 - 43*u - 151. Let y be s(-5). Solve 0 = 2*i - n + 8, y*n - 12*n = -3*i - 5 for i.
-3
Suppose 0 = 2*t + k + 1, 25 = -3380*t + 3384*t - k. Solve -15 = -0*y + 5*y + 5*u, -t*y - 3*u = 11 for y.
-2
Let g be (-216)/468*(-104)/16. Solve 4*k - 22 = -5*r - 0*k, g*r - 3 = k for r.
2
Let s = 616 + -612. Suppose 4*t - s*g = 32, -46 = -4*t + g - 23. Solve -2*c + 27 = -t*c + 3*u, u = 3*c + 17 for c.
-4
Let j = -26 - -28. Solve 4*s = 3*s, 2*u - 2*s = -j for u.
-1
Let o be (367 - 367) + 2/(-4)*(-1 - -1). Solve 8*n + 5*c + 15 = 11*n, o = -2*n + 3*c + 10 for n.
5
Let p be (200/(-16))/5*-2. Solve 12*a = p*s + 16*a - 32, -3*s = a - 15 for s.
4
Let i = -15 - -26. Let v(o) = 3*o - 89. Let f = 371 + -340. Let c be v(f). Solve i = -3*w - 2*g, -c*w - 4*g = g + 10 for w.
-5
Let l be (1/((-12)/(-36)))/1. Solve -4*x - l*b = 13 - 40, 3*x = 3*b - 6 for x.
3
Let f be -2*(3/(-2) + 1). Let j = 125 + -131. Let u be (-16)/(-2) + 30/j. Solve -n - u*x = -f, 2*n + x - 3 = n for n.
4
Suppose 3*k + 428 = -w + k, -2*w + 5*k - 829 = 0. Let o = -418 - w. Let a(q) = q + 9. Let m be a(-7). Solve m*i = o*j + 14, 2*i + 3*i = -2*j - 25 for j.
-5
Suppose -3*u - 22 = 5*x, 0*u 