*j + 30 = 3*j. Suppose -g = -j*g + z. Solve 12 = 4*b + 2*p, b + 5*p + g + 8 = 0 for b.
5
Suppose 9*g - 10 = 4*g. Suppose -g = -x + 1. Let i = -26 - -30. Solve s = x*z, 9*s - i*s = 3*z for z.
0
Let k be (-835)/15 + (0 - (-2)/(-6)). Let d = k + 56. Solve -3*t + 4 = -d*t + 2*i, -2 = -2*t - i for t.
0
Let y be 0/(3*4/12). Suppose y = 4*x - 6*x + 6. Suppose 41 = x*p + 11. Solve -2*h - b - 1 = p, 2*b + 6 = 0 for h.
-4
Suppose -106*v + 101*v - 4*f + 33 = 0, 25 = 3*v + 5*f. Solve -4*z - 5*c - 5 + 36 = 0, -v*z + 5 = -5*c for z.
4
Let n be -4 + (4 - (-1 + -6)). Solve 2 = y + 4*o - n, -o + 4 = 2*y for y.
1
Let b be 2*3/(-30)*-35. Let o = -2 + b. Solve 2*f - 5*n = -9, -4*f - o = f + 5*n for f.
-2
Let z = 17 - 16. Suppose -2*a + 5*x - 15 = -z, -4*x = -16. Suppose 0 = g + 5*u + 20 - 57, 3*g + a*u - 63 = 0. Solve 0 = -d + 4*t + g, -3*d + 8*d - 9 = t for d.
1
Suppose 2 = -11*d + 24. Let v = -1 - -1. Suppose -d*k = -v*k. Solve 0 = -i - y + 5*y + 7, k = -y - 2 for i.
-1
Suppose 0 = -5*j + 27 + 8. Suppose 5*a = j*a - 10. Solve -a*d = q + 22, -8*d + 3*d + 3*q = 14 for d.
-4
Let v(p) = 6*p - 6. Let j be v(2). Suppose -j*z = -3*a - 2*z, 0 = -5*a - 5*z. Solve 1 + 7 = -3*g + f, 4*g - 4*f + 16 = a for g.
-2
Suppose s = -2*w - 1, 2*w + s + 13 = 4*s. Let t be 8*(3/6 - w). Let c be 2 - (t/4 - 4). Solve -4*v + c = -19, k - v + 8 = 0 for k.
-3
Let j = -114 - -116. Solve 3*i - 8 = a + j*i, -i + 3 = 0 for a.
-5
Let n(p) = -7*p - 13. Let y be n(-2). Solve 5*s + t - 21 + y = 0, 5*t - 25 = 0 for s.
3
Suppose s + 7 = u, -27*u - 4*s = -25*u + 16. Solve u*l - 7*l - 10 = -3*j, l = -j + 6 for l.
1
Suppose 4*a + 0*s - 8 = 3*s, -2*s + 10 = 5*a. Solve -2*p - d - 4 = -p, -3*d - 11 = a*p for p.
-1
Let o be (-6)/39 + (14/91 - -4). Solve 4*h + 7*z - 3 = 2*z, o*z = h + 15 for h.
-3
Let n = -173 - -173. Solve 5*h + 0*h + 2*f = 9, n = 5*h + 4*f - 13 for h.
1
Let s(c) = -2*c**3 + 11*c**2 - 4*c - 1. Let b be s(5). Suppose 0 = b*l + 3*p - 111, -4*l + p + 2*p + 105 = 0. Solve -2*o - 3*v = -4*o + 4, -l = -5*o - v for o.
5
Suppose 0 = -3*k + 8*s - 3*s + 35, 2*k = 5*s + 30. Solve 0 = -5*v - x, 0*v - k*x = 3*v + 22 for v.
1
Let w(n) = -109*n + 659. Let q be w(6). Solve -5*v - q*s = -10, -3*s + 3 + 2 = 2*v for v.
1
Let r be (-170)/136*(-2 + -2). Let l be ((-5)/(-5))/((-2)/(-40)). Suppose -3*t = t + l, 2*f + 3*t + 15 = 0. Solve -9 = 3*p + y, -3*y - 11 = -f*p + r*p for p.
-4
Let s = -92 + 291. Suppose 7*p + 38 = s. Solve 0 = 7*m - 2*m + 3*c + p, 3*m + 2*c = -14 for m.
-4
Let u(w) = -2*w**3 - 11*w**2 + 6*w + 5. Let y be u(-6). Suppose 4*c = -4*t - 4, 0*c - c - y*t = 17. Solve 9 = 2*q - 5*r, -5*q - c*r = -3*q + 15 for q.
-3
Let v(b) be the second derivative of b**3/6 - 7*b**2/2 + b. Suppose -64*t = -67*t + 39. Let w be v(t). Solve -w*r - 5 = -x - r, 5*x + 4*r = -33 for x.
-5
Suppose -102 + 24 = -3*j. Let k = 31 - j. Solve 4*r - 2*r + 3*y = 4, k*r + y - 23 = 0 for r.
5
Suppose 0 = -d + 23*d - 44. Solve -2*q - 2*q + d*l + 26 = 0, -3*q = 4*l - 3 for q.
5
Let o(q) = q**3 + 3*q**2 - 6*q - 7. Let b be o(-4). Solve 5*h + b = 4*c - 0*c, 0 = 4*c + 5*h + 9 for c.
-1
Suppose -3*h + 2 = -2*g - 20, -3*g - 15 = 0. Solve -2*q - a = -7, -2*q - 4*a + 0 + h = 0 for q.
4
Let m(o) = 12*o**3 + o**2 - o + 2. Let i be m(-2). Let w = -83 - i. Solve -f - 2*b - 23 = -6*b, 31 = -2*f + w*b for f.
-3
Let h(z) = -z**2 + 36*z + 305. Let b be h(-7). Solve -b*i - 4 = -2*o, -14*i = -16*i - 2 for o.
0
Let w = -1673 + 1677. Solve 2*i = -4*h - 6, w*i - h + 3*h = 6 for i.
3
Let p be (1 + 1 + -4)*42. Let n = 96 + p. Solve -o + 1 = -2*q - 0, 0 = -4*o + n for q.
1
Let u = -70 + 109. Let p = 41 - u. Solve p*j = -3*v - 26 + 7, 0 = j + v + 7 for j.
-2
Let k be 4 + -10*(-3)/(-6). Let g be 1*(k - -1) + 4. Suppose o + 3*o - 40 = 0. Solve -14 = d + g*j, -d - j = 2*j + o for d.
2
Suppose -14 - 40 = -27*w. Solve -4*c = -0*u + 2*u + 8, w*c = 4*u + 16 for u.
-4
Suppose 0 = 807*a - 800*a. Solve -c = -4*i + 3, a = c - 5*c - i + 5 for c.
1
Let d = 15 + 3. Let r = -16 + d. Solve -14 = -5*a - 3*n + r*n, 0 = -4*a - 3*n + 20 for a.
2
Let r(y) = -y - 2. Let k be r(-4). Solve -b = k*d - 9, 5*d - d = -4*b + 16 for b.
-1
Let y be (-30)/(-21) - (-8)/14. Suppose 0 = 3*l, -4*z - l = 3*l - 4. Let s be -1*1*-4*z. Solve w + 4*j = y*w + 20, -3*j - 4 = s*w for w.
-4
Suppose 2*x + 5 = -7. Let b be (5 + x)*(-2 + 0). Suppose 6 = b*v - 0*v. Solve -4*n + 8 = -2*d, v*d + 3*n + 2*n = 21 for d.
2
Let o = 9 - 7. Let g be -1*(-4)/o + -2. Let z be 4 + g/(8/4). Solve -z*x = -2*d - 3*d - 21, x + 1 = 0 for d.
-5
Let b(c) = -c**3 - 26*c**2 - 46*c + 53. Let p be b(-24). Solve 2*f + 5*g = -15, -p = -f + g - 2 for f.
0
Let k = 241 + -239. Solve 3*i + 0*z + k*z = 14, -5*z + 17 = 3*i for i.
4
Suppose -3*t - g - 6 = -3, g = -4*t - 3. Solve 5 = -5*h - 4*s, 3*s = h - t*s + 1 for h.
-1
Let f(w) = 2*w + 21. Let o be f(-9). Suppose 2*s + o*k = 10, -1 = 5*s - 4*k - 3. Solve -5*d - 3*v + s = -4*v, -3*v = 3*d - 12 for d.
1
Let t(g) be the third derivative of g**4/12 - g**3/3 - 13*g**2. Let c be t(1). Solve c*z = 4*s + 5*z - 45, z = s for s.
5
Suppose -59*y = -50*y. Let x(p) = -2*p + 6. Let r be x(0). Let d = r - -25. Solve d = 4*o + 5*v, y = -3*o + 3*v + 1 + 2 for o.
4
Let m(w) = -w**3 + 9*w**2 - 10*w + 19. Let l be m(8). Solve -l*g + q = 4*q - 9, -q = 0 for g.
3
Let a be (-14 + 15)*(2 + 0/(-1)). Solve -3 = -3*v + a*u, 3*u = 7*u - 12 for v.
3
Suppose -3*s = -10*y + 6*y - 28, -5*y - 8 = 3*s. Suppose 0 = s*n - 14*n + 50. Solve n*r = -4*b + 5, b - 4*r - 8 = -3*r for b.
5
Suppose -7*h = 536 - 95. Let r = -59 - h. Solve 0 = -2*n + r*u - 26, -n - 5*u + 7 = -3*u for n.
-3
Let l(v) = -64*v**3 + 2 - 60*v**3 + 126*v**3 - 3*v + 0*v + v**2. Let h be l(2). Solve -5*j - 4*z = -j + h, 2*j + 5 = z for j.
-3
Suppose -p - 5 = -2*l, -2*p = 2*l - 0 + 4. Let v be (-222)/(-18) + p/9. Let j be 48/21 + v/(-42). Solve j*w - w + 5*a = 10, 5*a - 10 = 0 for w.
0
Suppose f - 2 - 1 = 0. Suppose f*w = 11 - 2. Suppose 37 + w = 4*v. Solve -4*j = 2*d + v + 4, 5*d + 29 = -4*j for d.
-5
Suppose -4*p + 0*p + 52 = 0. Suppose 0 = 3*c - p + 7. Solve -3*r + d = -r + 12, -c*d + 9 = -r for r.
-5
Suppose -70*y = -76*y + 36. Solve -f - 1 + 4 = u, 0 = 4*u + 2*f - y for u.
0
Let w = -5 - -8. Suppose -36*d = 28*d - 128. Solve w*l + 50 - 10 = -5*x, d*x = -3*l - 25 for l.
-5
Let n be (5 - 1)*15/(-6). Let v = n - -14. Solve h + 4*b = 3*b + 3, 12 = -2*h + v*b for h.
0
Let j be (-156)/1 - (7 - 10). Let b = -149 - j. Solve -b*m - 2*s - 38 = -12, 4*m = 3*s - 11 for m.
-5
Suppose 0*o - 24 = -2*o. Let a = 36 + -22. Let r = a - o. Solve h + 14 = -4*c, -3*c = r*h - 2 + 15 for h.
-2
Suppose 10 = 3*q + 2*q. Let t = 73 - 69. Suppose -10 + 3 = -5*a + r, -5*r + 21 = 3*a. Solve a*o - y - y - 2 = 0, 0 = q*o - y - t for o.
3
Let p = -1204 + 1207. Let o be (1/(-3))/(4/(-48)). Solve -2*y = -o*t - 6, -3*t - p*y + 19 = t for t.
1
Let g be (-2)/(-8) + 149/(-4). Let h = 64 + g. Let n = 5 - 5. Solve 2*o + n*o + 16 = -4*k, o - 5*k = h for o.
2
Let b(j) = -j + 28. Let n be b(13). Suppose -7*g - n = -10*g. Solve z + 2*z = -g*d - 18, 10 = -4*d + 2*z for d.
-3
Let j = -2 + 26. Suppose -2*m + 5*h = -j, -3*h - 25 = -5*m - 3. Let w = 165 - 163. Solve -u - 2*k - k + 16 = 0, -m*k + 12 = w*u for u.
1
Let x be (-40)/(-4) - (-4 - (-10 + 1)). Solve -2*w + 3 = c - 5*w, x*c + 4 = -4*w for c.
0
Suppose 13 = -m + 3*p, m = 51*p - 54*p + 17. Solve -5*x - 4*j = 25, -m*x + 5*j = 8*j + 10 for x.
-5
Let q(m) = 3*m**3 - 19*m**2 + 10*m - 14. Let s be q(6). Let l(n) = 19*n**3 + n - 1. Let r be l(1). Solve f - 3 = a - s, -4*f = -a + r for f.
-4
Let w(r) = -3*r - 4*r**2 - 1 + 3*r**3 - 5*r**3 + 0*r**3. Let m be w(-2). Suppose -3*o + 0 = -3. Solve 0*a + a - o = -5*u, 0 = a - m*u - 1 for a.
1
Suppose -6*m = -2*m - 12. Suppose 4*j = 4*g + 8, -j - m*g = -5*j + 12. Suppose -3*i - 2*v = -23, j*v - 12 = 3*v. Solve 0 = i*z - z + 20, 5*n + 5*z = -45 for n.
-4
Suppose -20 = 5*d - 10*d. Suppose -2*b - d = -2*j - 0, 0 = -5*j - b + 22. Solve -4*l + 2*h = h - 12, -j*h + 16 = 0 for l.
4
Let k(x) = x + 15. Let c be k(-13). Suppose -3*z + 0*r + 21 = -4*r, 0 = c*r + 6. Solve -2*i + v = -3*i, -3*v + z = 4*i for i.
3
Let c(n) = n**3 - 13*n**2 + 19*n - 245. Let d be c(13). Solve 0 = 2*u + 3*j + d + 9, u = 3*j - 1 for u.
-4
Let n(p) = -p**2 - 16*p + 1. Let k(f) = -f**2 - 5*f - 2. Let x be k(-7). Let h be n(x). Solve -3*q 