 - 2*h = -5*v for h.
5
Suppose 4*o - 4*v - 20 = 0, -6*o - 2*v = -3*o - 5. Solve 4*u = -o*y - u, -y = -2*u for y.
0
Suppose -k + 30 = 4*k. Suppose 30 = 9*c - 87. Suppose 5*f + c = -w, -2*w - f = -k*f - 19. Solve 3*m + 1 = 5*a, w*m = 3*a - 4 + 3 for a.
-1
Let o(j) = -j**2 - j. Let k be o(-2). Let l(b) = b**3 + b**2 - 2*b - 2. Let g be l(k). Let u = -2 - g. Solve 5 = 5*c + 5*h - u, 3*h + 5 = c for c.
2
Let x = -49 - -51. Suppose 4*k + 22 = 4*i + 3*k, -4*i + 5*k = -30. Suppose 0 = -i*q + 2*q + 6. Solve 4*w - 9 = x*f + 9, -8 = -q*w + 2*f for w.
5
Suppose 2*n - 6 = -3*w, -7 = -2*w - 3*n - 3. Solve 4*d - 24 = s, 0*d - w*d + 4*s + 26 = 0 for d.
5
Suppose 4 = -r + 10. Solve 2*w + 4*f - r = 0, -2*w + 4*f = 2*f - 6 for w.
3
Let g be (-1 + -1)/(-2) + 2. Let l be (12/(-36))/((-1)/3). Suppose g*f - 11 = -2*r - l, 8 = -f + 5*r. Solve -2 = 2*a + 2*p - 0*p, 5*a = -f*p - 11 for a.
-3
Let i be -6 + 2 + (-2 - -1). Let s(x) = x**2 + 7*x + 12. Let o be s(i). Let j = -11 - -16. Solve j*t = -5*l - 20, -3*l = -2*l + o for t.
-2
Let u be (-1 - 2)/(6/(-4)). Suppose 4*c - 2*j = 2*j - 16, -5*c + j - 20 = 0. Let q = c - -7. Solve 2 = 2*k - 2*z, -q - 3 = -3*k + u*z for k.
4
Let y(s) = s - 11. Let b be y(13). Let k be (-5)/(-10) + 5/b. Suppose -5*m + 153 = 4*t, -k*m = 4*t - 27 - 60. Solve g - 6*w + 27 = -w, -5*w + m = -4*g for g.
-2
Let z(s) be the third derivative of -s**6/120 - s**5/15 + 2*s**3/3 + 9*s**2. Let c be z(-4). Solve -2*q - 2*q = -5*a, c*a + 2*q + 26 = 0 for a.
-4
Suppose 0 = -k - 5*k. Let m = k - -2. Solve 0 = -m*c - 3*f + 17, -4*c + 3*f - 2*f = 1 for c.
1
Let z(o) be the third derivative of -o**4/8 + 14*o**3/3 + 26*o**2. Let r be z(8). Solve -r*f = -4*k, -k + 5*k + 8 = -4*f for k.
-1
Let r be -16 - (1 - 5) - -15. Solve 9 = -5*p - r*w - 6, 2*w - 12 = 4*p for p.
-3
Suppose 327*f + 384 = 351*f. Solve 3*o - 3*v + 4 = f, o + 6 = -v for o.
-1
Let w(z) be the first derivative of -8*z - 1/4*z**4 + 1 + 2*z**2 - 5/3*z**3. Let m be w(-6). Solve -f = -m*p + 5, -f - 5*p + 9 = -4 for f.
3
Suppose -9*l - 6 = -4*n - 12*l, -n + 3*l + 9 = 0. Solve 0 = -2*x + k + 8, 2*x = -n*k for x.
3
Suppose 1 = 3*b - 4*g + 3, 3*b = 8*g - 10. Solve -b*a + 8 = 2*a - m, -2*a + 3*m - 6 = 0 for a.
3
Suppose -t = 5 + 36. Let z = 43 + t. Let h = 1 - -1. Solve -h*p - 17 = -4*s + 3*p, 5*p + z = -s for s.
3
Let n(q) = q**3 - q**2 - 2. Let r be n(0). Let a be 6/r + 2 + 4. Solve 3*y + y - 7 = 5*g, -3*y = -3*g - a for y.
-2
Suppose -2*l = 3*x + 142 + 677, -4*l - 1637 = 5*x. Let z be l/9 - 1/(-3). Let y be (1/3)/((-5)/z). Solve 0 = n, -y*a - 2*n - 1 = 8 for a.
-3
Suppose 5*g - 72 = 3*k, -2*k = -3*g + 24 + 23. Let t = 28 + k. Solve -r = c + 2*r - t, c = 4*r - 19 for c.
-3
Let p(g) = 2*g**3 + 2*g**2 - 2*g + 1. Let v be p(1). Let n(h) = -2*h + 10. Let i be n(v). Solve -i*a - 16 = -3*m, 0*a - a - m = -3 for a.
-1
Let u = 35 + -26. Let r be 22/6 + (-6)/u. Solve 2*n - 4 = 5*z - 14, r*z - 2 = 2*n for z.
4
Suppose 8 = i + b, -4*i - 3*b + 47 - 19 = 0. Solve -7*t - i*d = -3*t + 36, -t - 4*d = 21 for t.
-5
Let c(p) = p**3 + 13*p**2 - 21*p - 17. Let y be c(-14). Let w = y + -79. Solve -w*t + 2 = 2*v - v, -3*t + 4*v + 25 = 0 for t.
3
Let a = -128 + 133. Let f = -6 + 9. Solve -a*i + 3 = 2*z, i - f*z - 1 = 3 for i.
1
Let s = -35 + 38. Suppose 3*c = -5*z + 58, -s*c + 3*z = -6*c + 60. Solve 4*h + v - 22 = 0, 3*h + 0*h - c = -3*v for h.
5
Let o = 51 - 31. Suppose 0*m - o = -4*m. Let w = 23 + -19. Solve c = n + 2, -w*c + c = m*n + 10 for c.
0
Let k = 3 + -3. Let s = k + -1. Let j be s + 4 + (-4)/4. Solve 0 = j*p + a - 6 - 1, 4*p - 4*a - 20 = 0 for p.
4
Let s be 10 - 40/32*-8. Solve -3*d = -7*d + s, 15 = -5*c + d for c.
-2
Suppose 10*m - 11*m + 7 = 0. Let s = 1 - -10. Let o = s - m. Solve -3*c - 3 = 4*z - 2, -2 = -o*z - 2*c for z.
2
Suppose 3*h = 9 + 3. Suppose -l = -0*m + 5*m + 19, 0 = -4*l + 4*m + 44. Suppose l*u = h*u + 8. Solve t + 18 = u*o + 2, 2*t + 17 = 3*o for t.
-4
Let w = -763 - -766. Solve 2*b = 3*g - 13, -w*g + 6 = -3*b - 9 for b.
-2
Suppose 3*s = 2*b + 14, 4*s = -b - 0*b + 4. Let n = 106 - 103. Suppose -1 - n = -s*d. Solve d*o = -3*j - 1, -2*o + 5 - 1 = -2*j for o.
1
Let n(q) = -3*q + 1. Let d be n(-6). Solve -u - 2*u = -4*k + d, -3*u + k = 16 for u.
-5
Let z(q) = 4*q. Let u be z(1). Solve 0 = -p - 4*c - 5, u*p + 15 + 5 = 2*c for p.
-5
Let l be (-5)/5 + 312/13. Solve -2*g - 7 = m, 0 = 3*g + m + 3*m + l for g.
-1
Let g = 63 - 45. Suppose 0 = -14*r + g*r - 60. Solve u - c = 0, 3*u + 4*c - 2*c = r for u.
3
Let h be 20/(-6)*(-6)/4. Suppose u = h*u. Suppose -b + 2 = -u. Solve -3*q = -k - 13, 3 = -k + b*q - q for k.
2
Let g be 1 - 4 - (-1 - 7). Let v(w) = -w**2 - 14*w + 18. Let n be v(-15). Solve -13 = n*b - l, -g*b + b = -4*l + 28 for b.
-3
Let o be ((-3)/(-18)*-3*0)/1. Solve -a + 5*s + o - 3 = 0, 2*s + 3 = -a for a.
-3
Let s(y) = -y**2 + 10*y - 6. Suppose 0 = -6*n + 7 + 23. Let f be s(n). Solve -25 = 5*r, 0*h = 3*h - 5*r - f for h.
-2
Suppose -u + 9 = -3*n, 2*u + 5*n = 6*u - 15. Let r be ((-5)/15 - u)/(1/(-9)). Solve -12 = 4*l + r*i, 2*i = -3*l - 3*i - 20 for l.
0
Let u(m) = m**2 + 2*m + 5. Let y be u(-5). Let z = y + -14. Suppose -3*l = -l - z. Solve 5 = 4*x - o, -l + 1 = 5*x - 4*o for x.
2
Let j(n) be the first derivative of -n**4/4 + 3*n**3 + 6*n**2 - 15*n - 3. Let l be j(10). Solve 4*v = t - l, 3 = -v - v + t for v.
-1
Let b(i) = 7*i + 92. Let o be b(-12). Solve -3*x - 3*m = -o*m - 8, 0 = -2*m - 8 for x.
-4
Suppose -5*g + 10 = -5*s, 4*s + 8 = 179*g - 174*g. Solve -4*c - 19 = 5*m - 5*c, g = 2*m + 3*c - 6 for m.
-3
Suppose 2*f = f + 4. Let s = -2 + f. Solve 4*l + 4*v - 12 = 0, v - 6*v + 1 = -s*l for l.
2
Let c = 213 - 207. Solve 3*h - c*g + 1 = -2*g, -2*h - 16 = 5*g for h.
-3
Suppose n + 18 = 4*l, -6 + 26 = 4*l - 2*n. Solve 3*v - 2 = 1, 3*j + l = 4*v for j.
0
Let i = 1129 + -1119. Solve -2*n - 3*r = -3*n - 2, -3*n + r = -i for n.
4
Let v be (0/2)/(9 + -7). Suppose v*y + 16 = 2*y. Suppose 0*q + 2*q = y. Solve g - 3*f = f + 3, 0 = q*f for g.
3
Let i(j) = 10*j - 6*j + 0*j**2 + 6 - 7 + j**2. Let u be i(-5). Solve u*n - 20 = 4*x - 4, 5*n = x + 16 for x.
-1
Let c be (3 + 4)*((13 - 8) + -4). Solve -3*o = -4*b + c*b, -4*b + 3*o = 7 for b.
-1
Let p = 6 + 26. Suppose -3*r - p - 1 = 0. Let q be -1*((5 - 3) + r). Solve 7*z - 2*z + 11 = -4*b, 2*b - z + q = 0 for b.
-4
Let d(g) = -10*g + 154. Let u be d(15). Solve a - 3*n - 11 = 0, -u*a - 4*n = -5 + 25 for a.
-1
Let i = 42 - 39. Let w be (-3)/((-9)/6) + i. Solve y + 3 = -2*j - 7, -w*j - 26 = 3*y for j.
-4
Suppose -3*v + 21 = 5*f, 5*f - 13 + 0 = v. Solve 2*o - f*n = 1 + 1, 4*n = 4*o - 4 for o.
1
Let k be (0/(-8))/((-6)/36*-6). Solve -5*i + 10 = 0, k = -2*x - 4*i + 4 + 4 for x.
0
Suppose -5*y - 48 = -4*s, 2*s - y - 30 = -0*y. Solve 4*q = 3*l - s, -3*q - 12 = -5*l + 3*l for l.
3
Let t = 133 + -106. Suppose v = -9 + t. Solve 2*m = -5*f + v, 16 = 5*m + 2*f - 4*f for m.
4
Suppose 2*j - 10 = 0, 24 = -2*a + 4*a + 4*j. Solve d - a*t - 2 = 3*d, 3*t = d + 9 for d.
-3
Let q(c) = -c**2 + 8*c + 9. Let h be q(8). Suppose j = h + 1. Solve -s + 3*w = -j, -3*w = -5*w - 6 for s.
1
Suppose -8 + 71 = 21*y. Solve y*c + 16 = -4*a, 6*c + 3*a + 12 = c for c.
0
Let s = 27 - 29. Let b be (12 - 16)*6/s. Solve -b = -3*v - 3*y, 2*v - 2*y = -v - 3 for v.
1
Suppose -2*y = -2 - 4. Solve r = -y*r - g + 7, r - 10 = -3*g for r.
1
Let s be (-602)/(-147) - (-6)/(-63). Solve -4*j + 22 - 30 = 2*h, -5*j = s*h + 16 for j.
0
Suppose 4*c - 6 - 91 = -r, 0 = -4*c + r + 87. Solve -5*q - 27 = i, 4*q + 3*i + 3 = -c for q.
-5
Let o be (32/12)/(-4) - (-4010)/(-6). Let g be 8/36 - o/27. Solve -5*t = g, -5*x + 6 = -3*t - 9 for x.
0
Let c be 6 - (-3 - (-3 - -1)). Let m = c - 6. Suppose -5*b + 4*p + 5 - m = 0, 5*b + p - 24 = 0. Solve b*u + u = -3*s - 11, -u - 13 = -3*s for u.
-4
Let g be 11 - ((-24)/3)/(-4). Let t(s) = -15*s - 14. Let p be t(-1). Solve -3*u + 5*q = -g - 2, -2*u - 3*q + p = 0 for u.
2
Let p = 11 + -7. Let b(n) be the third derivative of n**6/120 - n**5/60 - n**4/12 + 3*n**3/2 - 10*n**2. Let f be b(0). Solve t + 4 = -m + 1, f = -p*t - m for t.
-2
Suppose 105*m = -13*m + 118. Solve -v - m = 4*i - 4*v, -v = -3*i - 7 for i.
-4
Suppose -6*f + 65 - 35 = 0. Solve -x + 29 = -f*h, -4*h - 32 = 7*x - 10*x for h.
-5
Suppose 0 = 66*s - 55*s - 33. Solve 0*r = 3*r - 2*g + s, -4*g + 17 = 5*r for r.
1
Let j = 60 - 55. Suppose -j