k - 15 = -3*x. Solve -o - v = -4*v + 6, 0 = -o + v - k for o.
0
Suppose 4*s - 5*s + 5*v + 48 = 0, 0 = 3*s - 3*v - 120. Let u = -34 + s. Solve -5*f = -u*p + 5 + 9, 2*p + 2 = -2*f for f.
-2
Suppose -12 = 4*q, q + 27 = 2*a - 0*a. Let w be 6/18 - 8/(-3). Solve 9 = 2*b - w*j, -2*b - 4*j = b + a for b.
0
Let l(y) = 64*y - 6. Let i be l(-1). Let x be (-30)/i - (-32)/7. Solve -2*a - 2*a = -3*z - 22, x*a = -5*z + 10 for a.
4
Suppose g + 3*s = 4*g - 39, -2*g = 4*s - 8. Let u = -2 + g. Suppose 3*q = u + 67. Solve -4*v = -5*b - 6, -5*b + 1 = 4*v - q for v.
4
Suppose -2*m - m = 2*w - 9, m = 3*w + 3. Suppose 4*c - 20 = -4*o, -4*c + 13 = -o - 2. Solve -a = -d + 3, -3*d + o = 5*a - w*d for a.
-1
Let f(u) = -3*u + 136. Let o be f(45). Solve -o = -4*r + 4*x - 21, -14 = -2*r - 4*x for r.
-1
Suppose 3*d - 15 = 0, -3*d + 4 + 11 = 4*p. Let h = 2 + p. Let t be -2*1/(-10) - 361/(-95). Solve 0 = -g - h*n - 5, 2*g + t = -5*n - 7 for g.
-3
Suppose 3*h = -4 - 5. Let a be (h + (-7)/(-4))*-4. Solve 0 = a*r - 5*w + 25, 3*r - w - 3 = -12 for r.
-2
Let j be -1*14*-4*(-18)/(-48). Solve 0 = -h + 4*t + j, 2*h - 22 = 2*t + t for h.
5
Suppose -175 = -13*h - 22*h. Suppose -j + 12 - 1 = 0. Solve -3*x + 4*d = 7, h*x - 4*x + 2*d = j for x.
3
Suppose 4*h = -2*h. Suppose 5*o = 3*c - h*o + 9, 15 = 5*o. Solve -8 - 9 = -5*w + c*a, 16 = 4*a for w.
5
Let t(m) = -m**2 - 3*m + 2. Let p be t(-3). Suppose p*d = 6*d - 112. Let r be (-8)/d - (-174)/21. Solve 5*q - r = -c, -2*q + 4 = c + q for c.
-2
Suppose 10*a + 4*y - 28 = 5*a, 5*a + y = 22. Let t be -5*6/(-8)*(-84)/(-105). Solve -4 = -o - t*j, a*j = 4*o + 8 + 8 for o.
-2
Suppose -9*c + 25 = -20. Solve 5*z - c*a = -45, 5*a = -2*z - 1 + 11 for z.
-5
Suppose -3*l + l = 5*d - 104, 0 = -5*d - l + 107. Solve -3*i = 5*j + d, 2*j - 27 = -2*i + 7*j for i.
1
Let z = -438 - -440. Solve 0 = 3*d - 2*h - 3*h + 21, -2*h = -z*d - 10 for d.
-2
Suppose m = -4*m. Suppose -3*q + m*a + 181 = -5*a, 2*q - 89 = -3*a. Let g = 77 - q. Solve -3*b = -r - 5, 5*r + 2*b - b = -g for r.
-5
Let h be 3 - (32/(-8) + -8). Solve -4*x = x + h, -3*j + 18 = -2*x for j.
4
Suppose -5*g + 21 = 1. Suppose n + 4*v = 12, -g*v - 4 = -3*n - 0. Let x be (3/(-2))/(1/(-2)). Solve 9 = -3*u + x*h, -1 + 7 = -2*u + n*h for u.
-3
Suppose -4*v = -9 - 3. Let k be (-384)/15 - v/(-5). Let w = k + 29. Solve -t + 4*s - 4 = w, -2*s + 4 = 2*t for t.
0
Suppose 4*o = d, 3*d - o = 4*o. Suppose 2*g - 8 = d, -3*j + 2*j - 5 = -2*g. Let i = 119 + -115. Solve -3*c = -p - 3*p, -i*c + j*p = -7 for c.
4
Let g be -3*4/(-18)*15. Suppose -4*w + 2 = -g. Let o = 18 - 6. Solve -2*x - x - 3*a = o, 5*a = w*x + 20 for x.
-5
Let l = -275 - -286. Solve -36 = -4*u - 4*t, 3*t - 2*t = 4*u - l for u.
4
Let r(b) = -32*b - 284. Let t be r(-9). Solve -4*o - 3*f - 4 = f, -3*o - t*f - 7 = 0 for o.
3
Let m(a) = 1 + 1 + 8*a + a**2 - 2*a**2 - 18*a. Let y be m(-10). Solve -5 = -0*k + y*k - u, -k + 5 = 2*u for k.
-1
Let f(o) = o**3 - 10*o**2 - 10*o - 7. Let j be f(11). Suppose -2*h = 3*h + j*a - 17, -2*a + 6 = 2*h. Solve 2*z - 2 = -c + 3*z, 30 = -h*c - 3*z for c.
-3
Let w = 106 - 97. Solve 5 = 3*l + c, 4*l = l - 3*c + w for l.
1
Suppose -41 + 916 = 35*z. Solve -2*u + z = 5*c, 5*u - u + 3*c - 29 = 0 for u.
5
Let l be -1 + 1 - -2 - -2. Suppose b - l*x + 4 = 0, -3*b - 2*x = 5 + 7. Let k = 7 + b. Solve m - k*g + 11 = 0, -5*g + 11 = -3*m - 2 for m.
4
Let n be -3*15/(-54)*6. Suppose 4*w + 4*f - 38 = -2, 0 = 4*w - f - 31. Let o be (5/(-2))/((-2)/4). Solve -2 = i + r, -o*r = -n*i + 12 + w for i.
1
Let c(r) = -r**3 - 11*r**2 - 8*r + 23. Let a be c(-10). Solve 31 = 4*d - 0*g - a*g, 4*d = -g + 11 for d.
4
Let o be -2 + 8/(-6)*399/(-28). Solve -5*j - 3*n + o + 13 = 0, 3*n = -4*j + 27 for j.
3
Let x(n) = 2*n - 1. Let m be x(-4). Let t be (4/3)/((-2)/m). Suppose -11*j + 25 = -t*j. Solve -a = 5*d - d + 15, j*d + 18 = -2*a for a.
1
Suppose -7*w = -5*c - 5*w + 4, 5*w = -5*c + 25. Suppose 0 = 2*t - 4*t - 2*y + 4, c*t = -5*y + 10. Solve 3*v + 2*u = 9, -2*v + 2*u = -t - 6 for v.
3
Suppose 5*t = t - 3*d + 37, -4*d - 20 = 0. Suppose t*h + 6 = 14*h. Solve 0 = -5*g - 3*x, 20 = h*x - 2*x for g.
-3
Let n(f) = f**2 + 8*f + 5. Let q be n(-8). Suppose q*h - 4*m = 12 + 29, -2*h + 2*m = -18. Solve 3*b + 14 = -2*z, -2*b = h*z + 2*b + 21 for z.
-1
Let w(m) = 13*m + 69. Let a be w(-5). Solve -2*q + x - 4*x = 9, -5*q + a*x + 12 = 0 for q.
0
Let r(a) = a**2 - 4*a + 7. Let o(q) = -2*q**2 + 3*q - 8. Let s(b) = 2*o(b) + 3*r(b). Let j be s(-6). Solve -4*v - 40 = 5*p, 5*p + 37 = -j*v + 2*p for v.
-5
Let o be (-8)/(-3)*((-9)/6)/(-1). Solve 5*k + 1 = -2*h + 2*k, 0 = o*k - 12 for h.
-5
Let n be 1392/(-18)*12/8. Let r = n + 118. Solve r*b + 8 = -2*o, -5*b - 3*o + 8*o - 20 = 0 for b.
-4
Let i(n) = -11*n - 2. Let z = 26 + -20. Let t(b) = -b - 1. Let f(q) = z*t(q) - i(q). Let u be f(6). Solve -2*c - 5*a + 37 = c, -4*c - 2*a = -u for c.
4
Suppose 44 = 4*h + 20. Let x(m) = -m + 14. Let i be x(h). Solve 3*c + 5*y = -2*c, y = -5*c - i for c.
-2
Suppose -4*h + 5*r + 12 = 0, -3*h + 7*r - 3*r = -8. Suppose -v = -h*v + 28. Solve s + 3*f - 14 = -0, 0 = v*s - 3*f + 19 for s.
-1
Let o = 4 - -1. Let d be (2 - 1*-4) + -1. Suppose 0 = -0*p - 2*p + 7*p. Solve p = -k - o*v - d, 3*v = 4*k - 15 - 11 for k.
5
Suppose -16 = 15*p + 14. Let z be (p + 0 - 2) + (-13 - -17). Solve 3*h + 4*j + 12 = z, 0 = h + 3*j + j + 4 for h.
-4
Suppose 14*b = 19*b - 15. Solve -3*w = 5*o + 26, -b*w + 6 = -2*w - 2*o for w.
-2
Suppose 32 = 5*m + 7. Suppose 7*w = m*w. Suppose 8*x - 9*x + 3 = w. Solve 3 = -x*i + 2*a - 4*a, a = 0 for i.
-1
Suppose -m + 3*z + 17 = 0, -5*m - 2*z = -7 - 27. Suppose -6*s = -4*s - m. Suppose s*o = 5*o. Solve v - 2*n + 5 = o, 3*v = 2*v + 4*n - 13 for v.
3
Suppose 4*p = 10*p + 36. Let i be 195/60 + p/(-8). Solve -i*a = d - 21, 5*d - 45 = -2*a - 3*a for d.
5
Let w be 2/3*(4 - 5)*-6. Solve 3*s + w*b = -17, 0 = b - 1 + 3 for s.
-3
Let w(u) be the third derivative of u**6/120 + u**5/20 - 11*u**4/24 - u**3/2 - 13*u**2. Let s be w(-5). Solve s = -2*g - z - z, 0 = 4*g + 3*z + 6 for g.
-3
Let n(l) = 4*l**2. Let r be n(-1). Let s(d) = -3*d - 1. Let z be s(r). Let y = -8 - z. Solve -y*q = -q + 2*m, 3*q - 2*m = 7 for q.
1
Let j = 16 + -15. Suppose 0 = w - j - 2. Let i = w + 14. Solve q + 7 = -4*n - 4*q, 5*q = n - i for n.
2
Let c be -4 - (2/(-12) - 2*(-94)/(-24)). Let z be ((-3)/2)/((-6)/8). Solve -4*y = -0*a + 2*a - 12, -c*a = z*y - 6 for y.
3
Let h = -1 + 1. Let r be (-222)/(-14) - (-11)/77. Let p = r - 5. Solve -5*m - s + 3*s - 14 = h, p = -2*m - s for m.
-4
Let s(k) = 1. Let v(u) = -u - 1. Let w(c) = -s(c) - v(c). Let m = -57 - -62. Let q be w(m). Solve -10 = -0*l + 2*l + 2*n, -q*l - 3*n - 23 = 0 for l.
-4
Let g(n) = 15*n**2 + 7*n + 4. Let j be g(-3). Let u = -102 + j. Solve -x + 16 = -4*v, 0*v - 4*v - 4*x = u for v.
-4
Suppose -5*q - 126 = 29. Let f = 34 + q. Solve 0*b = 4*b + g - 6, -f*g = b + 4 for b.
2
Let d be -4 + (-45)/(-10) + 4/(-8). Solve 0 = 2*s + 2*u + 8, 0 = -s - 5*u - d*u - 8 for s.
-3
Let p be (3/2)/(-3*1/12). Let w(v) = 2*v**2 + 12*v + 2. Let u be w(p). Solve -4 = u*i - 3*y - 12, i - y - 4 = 0 for i.
4
Let h(a) be the second derivative of -5*a**3/6 - 12*a**2 - 16*a. Let c be h(-5). Solve -6 = -3*t, -w = -4*t - c + 6 for w.
3
Suppose -48*q - 1 = -50*q - n, q = -n - 2. Solve -4*h + 3 = q*k, 3*k + 4*h = -k for k.
-3
Let n = -1071 - -1077. Solve 0 = 2*r + 6 - 2, 2*q - 3*r = n for q.
0
Suppose n - 4*s = 2*n - 25, 4*n - 4*s = 0. Suppose -3*b + b + 25 = 3*z, -5*z - 19 = -b. Let j = -11 + b. Solve g + n*q = -10, -2*q + j = 9 for g.
5
Suppose r = 5*z - 5, 5*r - 5*z + 0*z - 15 = 0. Suppose 27*s - 25*s - 12 = 0. Solve 4*a - 5*n + 8 = 0, -r*a + 2*a = n + s for a.
-2
Suppose 0 = -m + 5*m + 24. Let i be (-2 - (-3)/m)*-2. Solve -i*k - 5*s - 3 = 2, 5*s - 10 = 0 for k.
-3
Suppose 0 = 8*p + 19 - 339. Solve -5*c = 5*r - 0 - p, 5*r = 2*c + 19 for c.
3
Let l be -35*9/(-30) + (-3)/2. Solve -x - 5*k - l = -7*k, 0 = -2*x - 2*k for x.
-3
Let h = 0 - -4. Let a(v) = -v**2 + 7*v + 12. Let d be a(8). Suppose 0 = -0*p + 3*p - 2*s - 8, -d*s + 2 = 3*p. Solve h*z + t - 7 = 0, -3*z - p*t = 2*t - 2 for z.
2
Let j(o) = o**2 - 7*o - 3. Let l be j(8). Suppose -l*d + 2*s = 6*s - 27, -5*s + 6 = -3*d. Solve -2*b - 2 = -0*b + p, -5*b = -d*p - 6 for b.
0
Suppose x - 15 = -13. Suppose 0 = 3*j + x*j + 5*c - 25, -10 = -j - 2*c. Solve -2*k - 