4 = -5*z + 4*v, 3 = v for z.
-1
Let x(u) = u. Let a be x(4). Suppose a*k = -k. Let y(g) = 2*g**2 + 216*g + 1226. Let n be y(-6). Solve -h + n*t + 1 - 15 = k, 2*h - 17 = -5*t for h.
-4
Let m(j) = 2*j - 2. Let r be m(3). Suppose -r = -2*l + l. Suppose -2 = -3*c + 2*d, 0 = -5*c - 0*d + 5*d. Solve l*v + s = 2*s + 3, -1 = c*v - s for v.
2
Let h(u) = 2*u**2 + u + 1. Let f be h(-1). Suppose k + k + 3*l = 18, 0 = -k - l + 7. Solve -3*j - 21 = -2*o, -j + k*j + f*o = -4 for j.
-5
Let m(l) = -2*l - 17. Let w(a) = 3*a + 18. Let q(g) = 4*m(g) + 3*w(g). Let s be q(14). Solve s = -2*k + 10, 3*i + k = 3 - 4 for i.
-2
Let y = 806 - 803. Solve y*w = 6*a - 2*a - 32, 0 = 3*a - 15 for w.
-4
Let q = -112 - -116. Solve 3*j + 4*g = -16, -j + 6*j = q*g + 16 for j.
0
Let x(c) = -c**2 - 4*c + 34. Let q be x(4). Solve 4*r + 24 = -q*w, w + 6 + 1 = -r for w.
-2
Let n be (-9 - (-6 + -3)) + (16 - -1). Solve 2*k = -z - k - 4, n = z - 4*k for z.
5
Let u be (28/(-3))/(8/(-12)). Solve -4*l - 8 = -8*a + 4*a, 3*a = -l - u for l.
-5
Suppose 4*x + 3*l - 6 = 0, 0*l = -4*x + 2*l - 4. Solve 0*v = 3*p + 5*v - 20, x = -2*v + 8 for p.
0
Let m(f) = -f. Let k(w) = -w**3 + 6*w**2 - 6*w - 6. Let c(y) = -k(y) + 4*m(y). Let z be c(6). Let n = z + -13. Solve -16 = l - 4*i, 7*l - 3*l = -n*i + 20 for l.
0
Let p be (-3)/12 - 17/(-4). Let t(o) = 6*o**2 - 62*o + 75. Let c be t(9). Solve 0 = 5*s + c + 7, -4*m = p*s + 16 for m.
-2
Suppose -6 = -5*x + 3*z, -4*z + 3*z = x - 6. Solve x*s + i + 4*i + 16 = 0, -4 = 2*i for s.
-2
Let x(t) be the third derivative of t**5/30 - 17*t**4/24 + 4*t**3/3 + 13*t**2. Let v be x(8). Solve -a - 3*w + 0*w + 13 = v, -2*a = 2*w - 14 for a.
4
Let k be 52*(-9)/(-36) - 1. Solve r = -4*r - 4*d - 28, 5*r - 4*d = -k for r.
-4
Let z be 6/4*(-12)/(-9). Solve -4*q = -3*n + 9, 0*n - 2*q - 4 = -z*n for n.
-1
Let x(s) = -s + 5. Let k be x(-7). Suppose 40 - 12 = -7*m. Let d = k + m. Solve h = 2*j + 5, -2*h - h - j = -d for h.
3
Suppose -14*k + 9*k = -20. Suppose 64 = 3*t + 19. Solve -5*o = 2*w - w - t, k*o = 16 for w.
-5
Let i(h) = -104*h - 202. Let r be i(-2). Solve -4*z = -f - r, -6*f = -f + 2*z + 8 for f.
-2
Suppose 0 = 5*i + 2*i - 42. Let u be 20 - i/(-18)*-12. Solve -4*h = 5*f - 7*h - u, 6 = -3*h for f.
2
Let v(r) = -2*r**2 + 54*r + 1. Let g be v(27). Solve 5*u - 5 = 5*q, 0 = 5*u - q + 8 - g for u.
-2
Let i = 223 - 138. Suppose -5*y = w - i, -2*y + 5*y + 285 = 5*w. Let d = w + -42. Solve d = -5*k + l, 4*k + 0*l = 2*l - 18 for k.
-3
Let p = 1 + -1. Let m(s) be the third derivative of -s**5/60 + s**4/24 + s**3/2 + 192*s**2. Let t be m(p). Solve -13 = -t*v - a, 4*a - 3*a = -4*v + 17 for v.
4
Suppose -3*m - 2*m = -5. Let j(o) = -o**3 + 9*o**2 + o - 3. Let w be j(9). Let l = w - m. Solve -l*z - g + 40 = 2*g, z - 5*g + 20 = 0 for z.
5
Suppose -5*j + 0*y - 85 = -4*y, -j + 5*y = 38. Let q = j - -15. Solve -n = -5*b + 21, -q*b = -b - 5 for n.
4
Suppose 5*p = 3*p + 8, 0 = 4*s - 2*p. Solve -3*c + 6 = 0, s*b - 2 = -b + 5*c for b.
4
Let k(p) = -p**2 - 15*p - 12. Let x be k(-1). Solve -x*t + 0*t = 3*u - 11, -5*t - 20 = -2*u for t.
-2
Suppose 4*u - 12 = 20. Suppose 16 = 6*z - u. Solve -8 = x - z*i, i + 2*i = x + 7 for x.
-4
Let i(s) = 21*s**2 + 1 - 4*s**2 + 0*s + 2*s. Let v be i(-1). Suppose -3*c + v = 4. Solve 2*a - 2*h + 2 = 10, -2*h = -c*a + 18 for a.
5
Let v be (-2 - (-40)/24)/((-2)/18). Solve 4*f - 16 = v*t, 0 = 3*t + 2*f + 6 + 4 for t.
-4
Suppose -4*a + 11 = -1. Let y(q) = 10 + 4*q - 4 - a*q. Let f be y(11). Solve 4*z = -3*g - f, -g = 3*z - 3*g for z.
-2
Let b = -106 - -108. Let n be b/(-32)*-4*12. Let q = -4 - -9. Solve -3*z - 9 = -4*o, q*z + o + 15 = -n*o for z.
-3
Let n be (1/2)/((-3)/(-42)). Suppose p = -n - 4. Let l = 11 + p. Solve -40 = 5*u + 5*z, -2*u + l = z + 13 for u.
-5
Suppose 2*j - 5*j + 9 = 3*v, 4*j - 5*v = 12. Let f = 15 - 3. Let u be (-48)/f*(-2 - -1). Solve -u*t = -4*z - 4, -1 = -j*z - 4*t + 3 for z.
0
Suppose 0 = -12*t + 9*t + 24. Suppose -3*w - 7 = q, 2*q - 2*w = 3*q + 4. Let a be (3 - 3)*(-2 - -1). Solve -q*v = t, a = 3*l - v - 0*v + 2 for l.
-2
Let n(v) = -19*v + 133. Let h be n(7). Solve 2*w + 2*k = k + 13, h = -5*k + 15 for w.
5
Suppose 5*c + 40 = 4*r - 1, r = 3*c + 19. Let x(v) = -v + 5. Let t be x(11). Let k = t + 11. Solve -2*w = -3 - 7, k = -5*a - r*w for a.
-5
Suppose -7 - 1 = 4*s. Let w be (2 - -10)*((-2)/2 - s). Solve 0 = -3*l - 3*u - w, 5*u + 16 = -l - 3*l for l.
-4
Suppose 811 = 4*p + 791. Solve d = 2*o - 3, 3*o - p*o - 9 = -5*d for d.
3
Suppose 2*h = 4*n - 18, -n - 3*h + 2*h = 0. Let u(x) = 7*x + 9. Let k be u(-5). Let z be -3 - -6 - n - k. Solve 5*l - 3*t = -t - 15, -l - z = -5*t for l.
-1
Suppose 4236 = -6*z + 4254. Solve -3*i - 1 = -2*j, 0 = -0*i - 3*i + z*j for i.
-1
Let d(b) = 4*b + 22. Let c be d(-3). Suppose 2*w + c = 12. Solve -12 = 3*k - 2*v, 2*k + w = 5*v - 7 for k.
-4
Let v be (15/(-20) - -1) + 138/24. Solve -k = v*t - 7*t + 8, 3*k + 14 = t for t.
5
Suppose -d + 16 + 53 = 0. Suppose 2*t - d = t. Suppose 7*g - 4*g - t = 0. Solve -5*h - 2*z = -g, -h + 20 = 3*h + 2*z for h.
3
Let b = 39 - 37. Suppose 2*v + 30 = 2*q, b*q + 3*v = -v + 60. Solve -3*u - q = 5*o - 55, -4*o - 5*u + 41 = 0 for o.
4
Let p(j) be the second derivative of -2*j**3/3 - 22*j**2 - 29*j. Let d be p(-11). Solve -4*s - 3*f + 15 = -9*s, d = 2*f for s.
-3
Suppose -j - 4*j = -10. Let z(u) = u**3 - 2*u**2 - 3*u - 8. Let g be z(4). Solve -5*m - g = 3*l, 5*l + 12 = -j*m - 8 for m.
0
Suppose 0 = 203*i - 209*i. Solve -4*a - a - 2*s = i, 0 = -2*a + 3*s for a.
0
Let h(i) = -i**3 - 9*i**2 - 2*i - 15. Let z be h(-9). Let d = 1 + z. Solve g - d + 3 = l, -3*g = 3*l - 21 for l.
3
Let o be 2 - 3*(-1)/(-3). Suppose -7*h = -4*h - 9. Solve -11 = 2*w + h*p, -3*w - p = -0*p - o for w.
2
Let x be 4/22 + (-54)/(-66). Let b be 4/(-4 + 8)*5 + x. Solve -4*n - b = 3*d - 23, -2*d + 8 = n for d.
3
Let o = 1125 + -1121. Solve -4*j = 2*a + 22, o*j - 17 = 7*j + 2*a for j.
-5
Let b(q) = -2*q**3 - 12*q**2 - q - 1. Let m be b(-6). Solve -5*t - 1 = -n, -m*t - 7*n + 3 = -4*n for t.
0
Let l(p) = p**2 + p**2 - 7 - 128*p + 120*p. Let j be l(5). Suppose 6 = 2*w + w. Solve w*i = -u + 2 - 4, -j*i + 10 = -5*u for i.
0
Let u = 186 + -181. Solve 3*y - 28 = -5*w + 2*y, -34 = -u*w - 3*y for w.
5
Let l be (-3)/(4/(16/6))*-1. Suppose -2*n - 7 = -1. Let u = n - -7. Solve 1 + 1 = u*i - l*a, 4*a - 14 = 2*i for i.
3
Let d = -129 - -125. Let c(r) = r**2 + 3*r + 1. Let q be c(d). Solve -3*z = 6, -q*w - 3*z - 14 = 7 for w.
-3
Suppose 3*a + 3*a - 30 = 0. Suppose -6 = 2*c + c, i - 15 = a*c. Suppose -v - 3*f = -59, -5*v - 4*f = -3*f - 253. Solve u - 4*y = -2*y + 5, i*y + v = -5*u for u.
-5
Let j be 62/2 + -2 + (-7 - -12). Solve -2*m - m - j = 5*o, o - 1 = 2*m for o.
-5
Let n = 433 - 433. Solve 2*a - 1 = -5*u, n*u - 11 = -3*u + 4*a for u.
1
Let k(s) = -s**2 - 6*s - 5. Let h be k(-5). Suppose -4*r + 74 = 58. Solve 4*n - 2*u + 18 = h, 0 = r*n - u + 3*u - 2 for n.
-2
Let a = -305 - -315. Solve -2 = -i, -5*s - a = -i + 17 for s.
-5
Let y = 376 + -370. Solve t - y*t = 0, -4*f = -3*t - 16 for f.
4
Suppose -35 = -3*f - 2*f. Solve 3 = 3*v - 3*r, -2*v - 4*r + 9*r = f for v.
4
Let g(m) = -2*m - 1. Let z be g(3). Let n = z + 9. Solve 0*h - n*h - 2*f - 6 = 0, -3*h = -2*f + 19 for h.
-5
Let r(b) = -b + 4. Let a be r(-4). Suppose -10*f = -a*f. Suppose 3*l + 4 = -t - 1, 2*t = l + 4. Solve 0 = g + p - t, f*g + 7 = -g + p for g.
-3
Let v be (12/(-9))/(1 + (-12)/9). Solve 4*f - v*c = -24, -f + 0*f + 4*c = 21 for f.
-1
Suppose -5*y + 2*q = -18, -3*q = 3*y - 7*q - 22. Solve -y*h - 2*u - 5 = 7, 5*u = -4*h - 28 for h.
-2
Let m = 1491 - 1487. Solve -3*z - 2*x = -13, m*z + 6 = 3*x + 29 for z.
5
Let d(g) = 6328*g**2 - 6324*g**2 + 4*g + 3 + 0 + g**3. Let n = -1 - 1. Let t be d(n). Solve -3*q = 0, -t*v + 0*q = 4*q + 9 for v.
-3
Suppose 2 = 20*w + 2. Solve -3*o - 24 = 5*r, w*r = 2*r + o + 9 for r.
-3
Let o(y) = 40*y - 118. Let j be o(3). Solve 2*z + 2*b + 4 = -j, -4*b = 12 for z.
0
Let u(b) = -2*b**2 - 12*b + 3. Let v(w) = w. Let m(j) = -u(j) - v(j). Let q be m(-6). Solve z + 0 + 2 = x, x = q*z for z.
1
Let q(o) = -2*o + 11. Let x be q(4). Solve 0 = -u + x*u + 3*m + 2, m = -4*u + 6 for u.
2
Suppose -3*d = -4*d - 30. Let c be ((-2)/(-5) - (-2)/d)*15. Solve 2*f + 22 = -2*a - 2*a, 5*a + c*f = -35 for a.
-4
Let k be (-5)/10 + -1 + 99/6. Solve -3*m - 2*o - k = 2*m, -3*m -