+ 11 = -n*b + 4*b, 0 = -3*j - 2*b + 8 for j.
2
Let w be 2/(-7) - (-116)/14. Suppose -2*v - 34 = -4*i, -6*i = -5*i + 5*v - 3. Suppose -w = -4*p + i. Solve 3*a - 25 = -5*x + 2*a, p*a - 20 = -4*x for x.
5
Suppose -2 = -4*d + 5*k - 0*k, -4*d = -4*k. Let f be (4/7)/(d/7). Let t be (4/(-12))/(f/18). Solve 4*x - 2*j = 5 + 7, 4 = -x - t*j for x.
2
Let f be (-11)/(33/12) + 5. Solve -f = -2*i + 5, 5*s = 5*i for s.
3
Let d = -5 - -9. Suppose d*x + f - 15 = 0, x - f + 5*f = 0. Let h(v) = -v**3 + 12*v**2 + v - 9. Let g be h(12). Solve x*y - 6 = -2*k, 2*y + g*y = -k + 3 for y.
0
Let z be 9 + -3 + -2 - -1. Solve 0 = z*i + 5*w - 30, -2*w = -5*i - w for i.
1
Suppose -6*f + 108 = 96. Solve 0 = f*m - g - 4, 5*m - 7 = g for m.
1
Let t(x) = x**2 - 4*x - 12. Let r be ((-40)/(-50))/((-4)/(-30)). Let a be t(r). Let o = -4 + 9. Solve -4*u - 6*f + 2*f - 12 = a, -u + 1 = o*f for u.
-4
Suppose 75 = -5*c + 155. Solve 4*j - z - 10 = -2*z, -4*j + c = 4*z for j.
2
Let k be 64/24*(-6)/(-8). Let n be ((-1)/k)/(2/(-48)). Suppose n = b + 3*b. Solve -2*j - 2 = -2*h, -4*h - b*j + 6*j - 1 = 0 for h.
-4
Let t be 2/(1 + (-1)/3). Let d = 3 - t. Let u be 96/80*(-5)/(-3). Solve d = 5*y + 2*p - 12, u*p = 2*y + 3*y - 28 for y.
4
Let y be 12/10*(-1)/((-27)/90). Suppose 3*z = -8 + 17. Solve 0 = 4*w + y*c - 24, w - 4*w + z*c = -6 for w.
4
Let c(d) = -d**2 - 24*d + 57. Let k be c(-26). Solve -3*t - 10 = k*x, -4*x - 6 = -0*t + 2*t for x.
1
Let s = -11 - -14. Suppose 3*w + 25 = -4*u - 2*w, u = -4*w - 20. Let z be 1*(-4 - -3)*u. Solve 3*j + 1 + s = 4*d, -3*j - 4*d + 4 = z for j.
0
Let u be (14 - 6 - 9)/((-1)/3). Solve 5*v - z = 2 + 2, -v = -4*z + u for v.
1
Let h(o) = -10 - 4 + 4 - 4*o. Let j be h(-3). Solve 3*y - 5*y + j = 2*g, -3 = -3*y + 2*g for y.
1
Let f = 15 + -21. Suppose -4*v = -4, -2*h - 1 = 3*v - 58. Let q be 63/h - 4/f. Solve -4*b + 28 = q*u, -5*u - b + 6*b = 0 for u.
4
Suppose 0 = 4*p - 28 + 160. Let i = -29 - p. Solve -2*t - 5*v = 24, -i - 4 = 2*t + v for t.
-2
Let i = 147 - 145. Solve -3*k + h + 11 = 0, i*h + 30 = 2*k + 7*h for k.
5
Suppose -3*c + 5 = 2*w - 4*c, -2*w + 10 = -2*c. Let r be (2 - 5 - -3) + 31. Suppose 0 = -g - w + r. Solve 3*x = 4*l - g, 14 = -2*x + 2*l - l for x.
-5
Let g = -9 + -55. Let a be g/(-11) + (-10)/(-55). Solve -3*d = 15, f - a*f + 3*d = -30 for f.
3
Let l(b) = 5*b**2 + b - 2. Let o(h) = h**2 - 11*h + 22. Let j be o(8). Let i be l(j). Solve 4*a - r = -0*r + i, 0 = 2*a + r - 14 for a.
5
Let w = -55 + 50. Let a be -3*(w - -2) - (-13 + 16). Solve -5*t = 3*x - 26, x + t - a = -0*x for x.
2
Let m = -51 + 55. Let h be (-4)/(8/(-3))*(m - 2). Solve 8*l + 17 = 3*l - 2*g, -5*g = h*l + 14 for l.
-3
Let f(v) = 5*v**2 - 49*v + 108. Let k be f(7). Solve -7 = 3*y + 5, 3*s + y + k = 0 for s.
-2
Let i be (0/1)/4 + -3. Let h be -3 + i/3 + 6. Let w be (-1 + 24 + h)/1. Solve -5*m = w, -7 = -0*s + 3*s - m for s.
-4
Let c(h) be the first derivative of -h**2/2 + 4*h - 42. Let x be c(4). Solve -4*i = -2*v + 18, 3*i - 4*i + 2*v - 3 = x for i.
-5
Let l(z) = z**2 + 9*z - 4. Let k be l(-9). Let d(r) = -4*r - 11. Let u be d(k). Suppose 5*t - 17 = 3*a, t + 0*t - u = -a. Solve -q = 0, -q + a = p + 3 for p.
-2
Let z(w) = 2*w - 11. Let j be z(7). Let o be ((-15)/5)/j - -4. Solve 6*l + o*m - 9 = 3*l, -3*m + 9 = 2*l for l.
0
Let d = 201 - 196. Solve -6*b + b - d*m - 20 = 0, -3*m = b + 12 for b.
0
Suppose -5*j + 6*g - g + 20 = 0, 9 = 2*j - 3*g. Let o(t) = 2*t**2 - 4*t - 4. Let l be o(j). Solve -2*y + 3*k + 19 = 0, -3*y + 20 = -l*y - 5*k for y.
5
Let l(q) = -q**3 - 9*q**2 - 6*q - 47. Let p be l(-9). Solve -40 = -5*w - 2*i + p*i, 0 = -i - 4 for w.
4
Suppose 3*v + 14 = 44. Solve -2*c - 5*a = -7*c + v, 5*c - 3*a = 2 for c.
-2
Let q(x) = -23*x - 479. Let s be q(-21). Let z(m) = 3*m**2 + 2*m. Let y be z(-3). Suppose 0*p - y = -p. Solve 0 = -t - s*g + 20, -3*g + 3 = 3*t - p for t.
4
Suppose 108*s - 110*s = -4. Solve s*u = 5*v - 8, 3*v - 16 = 4*u - 0*v for u.
-4
Let q = 20 + -27. Let r be 7*(1 + 4/q). Solve p - 4*p = r*t + 9, -4*t - 12 = -5*p for t.
-3
Let i = -26 - -28. Solve b + 9 = -i*m + 5*m, m - 3 = 3*b for m.
3
Let o be (-4)/(-2) + 5*2. Let l(k) = 2*k**3 - 11*k**2 - 36*k + 183. Let r be l(6). Solve 3*w + w + o = 2*i, -i = -r*w - 11 for i.
-4
Suppose o = 53 - 33. Let g(l) = -l + 25. Let y be g(21). Solve y*c + o = 4, 2*m + 2 = 2*c for m.
-5
Let s = 345 + -345. Solve -3*a + 2*z + 10 = z, s = -a + z for a.
5
Suppose 4*a - 23 = -43. Let h = -1 + a. Let y(v) = -v**2 - 4*v + 12. Let o be y(h). Solve -z - t + 3 = -4*z, -5*z - t + 3 = o for z.
0
Let m(f) = -f**3 + f**2 + 6*f + 4. Let h be m(-2). Solve -15 = h*x - 3*l, 3*l - 4 = 2*x + 5 for x.
-3
Let b be (4 + -9)/((-14)/14). Solve 5*z + 0*d - b*d = 30, -3*d - 6 = 0 for z.
4
Let g = 563 - 559. Solve g*b - 9*b - 2 = 4*y, -2*b = 5*y - 6 for b.
-2
Suppose -2*o + 2 = g, -5*o + g = -4*g - 20. Let t(a) = -a**o - 3*a + 2*a + a + 12*a**3 + 1. Let d be t(1). Solve -5*u + 13 = 4*v, u - 4*u = v - d for v.
-3
Suppose 3*m + 0*m + 12 = -s, -3*s - 2*m = 8. Suppose s = j + 9 - 13. Solve 0 = -2*v - j, 0 = -5*i + 5*v - 8 - 7 for i.
-5
Let b = 770 + -767. Solve 0 = 4*h - 2*f + 18, -5*h + b*h - 4*f - 14 = 0 for h.
-5
Suppose -4*z + 12 = -0*z. Suppose -v + 7 = -z*a, 5*a + 15 = 2*v + 1. Solve c + 7 + v = -3*y, -y - 5*c - 14 = 0 for y.
-4
Let p = 86 + -60. Let o = p + -26. Solve o*m - 7 = 5*i + m, 0 = -2*i - 4*m + 8 for i.
-2
Suppose w + 39 - 49 = 0. Suppose -44 = -w*r + 6. Let m be (-1 + -2)/(6/(-4)). Solve -2*l = -4*l - 2*i, m*l + r*i = 3 for l.
-1
Let p = -535 - -540. Let d(l) = l**3 - 2*l**2 + 2. Suppose -8 = -2*j + k, 5*k = 5*j + 3*k - 18. Let z be d(j). Solve 3*c = -f + 2*c, -p*f = 3*c + z for f.
-1
Suppose -3*h = -0*n + n - 153, -h = -n - 51. Suppose -5*m - 3*x + 81 = -0*x, -3*x = 3*m - h. Solve 3*a = k + m, 5*k - a + 4 = -1 for k.
0
Let f = 17 + -13. Solve -14 = 2*d - f*w, 3*d - 14 = -4*w + 3*w for d.
3
Suppose -5*q - 5*j + 10 = 0, -1 = q + 4*j - 0. Let h(o) = -o**3 - 3*o**2 + 4*o + 3. Let f be h(-4). Solve q*n + 2*r + 7 = 2*n, -n = -f*r - 13 for n.
1
Let b = 205 - 205. Let a(j) = -j**2 + 13*j - 15. Let i be a(12). Let p be (2/4)/(i/(-18)). Solve b = -c + 2*g + 7, -1 = -c + p*c + g for c.
1
Suppose -3*j = -2*j + 5. Let g = j - -10. Let b be (18/26)/((-2412)/(-20904)). Solve -5*h - 25 = -2*f + b*f, -g*f = 3*h + 15 for f.
0
Suppose -n = 3 - 4. Let q be n*-9 + (0 - 0). Let r be (1 - (-12)/q)*-15. Solve 2*f + 14 = 7*k - 3*k, f + r*k - 21 = 0 for f.
1
Suppose -b = -5*b + 4*g - 40, -3*g - 54 = 3*b. Let d be (-206)/14 + 4/b. Let h = 22 + d. Solve -2*c = 5*s - h, -3*s + 5 = c + s for c.
1
Let g(t) = -123*t + 393. Let s be g(3). Solve 5*o = -4*p - 1, 9*p - 4*o + s = 6*p for p.
-4
Let d(f) = 4*f - 7. Let x be d(-9). Let t = -26 - x. Solve 0 = -2*j - 5*o + t, -2*j = 2*j - o - 1 for j.
1
Let w(b) = b**3 + 4*b**2 + 3*b + 14. Let o be w(-4). Solve 3*n = 4*j + o*n - 5, 2*n + 10 = -5*j for j.
0
Suppose -4*u = -4*n, 4*n = 2*n + u + 3. Solve -12 = -j - n*s, -5*j - 27 = -3*s + 3 for j.
-3
Let g(z) = -z**3 + 18*z**2 - 31*z - 12. Let n be g(16). Solve m = -n*m + 4*x + 7, -x + 5 = m for m.
3
Suppose -21*d - 40 = -16*d. Let t be 16 - 3 - d/(-2). Suppose 2*k - 7 = 11. Solve -w + 6*y + t = y, -3*y = 3*w - k for w.
4
Let j(t) = t**2 + 10*t + 15. Let p be j(-11). Let w = p - 16. Let f be 50/5*16/w. Solve 4*v = -a + 13, 4*a - f = -3*v + 2*a for v.
2
Let v = 35 - 31. Solve -18 = -v*u + 2*c, 3*u + 3 = 2*u - 2*c for u.
3
Let k = -82 + 84. Suppose c - k*c - 2*x + 12 = 0, -2*x = -6. Solve f + 4*s = 5, -f + 1 = 5*s - c for f.
-3
Let g(k) = -5*k + 19. Let o be g(4). Let c be 4 + o + -1 + 2. Solve -q - 11 = -0*f + c*f, -4*f = 4*q - 4 for q.
5
Let q be 92/9 - (-48)/(-216). Solve -h - q = 2*c, 2*c - c = -h - 6 for h.
-2
Let m(i) = 2*i**3 - 11*i**2 + 6*i. Let l be m(5). Solve -5*s = -2*u - 23, 0*s - 15 = -4*s + l*u for s.
5
Suppose -348 = -64*k - 92. Solve 6*i = -k*b + 5*i - 17, -b = -i + 8 for b.
-5
Let d = -11 - -11. Suppose d = -2*o + 5*o + 30. Let c(t) = t**2 + 10*t. Let b be c(o). Solve 3*h + 4*l - 5 = b, 0 = -3*l + l - 2 for h.
3
Let g(w) = 9*w - 22. Let x be g(3). Suppose -3*i = -6*i + 9. Let o = 1 + i. Solve o*z + 0*a - a = 5, x = -2*z - a for z.
0
Let p(x) = -x**2 - 13*x - 7. Suppose -5*d - j = -8*d - 35, -d = -5*j + 7. Let u be p(d). Solve -12 = u*t - s, -2*t = -4*t + 2*s - 8 for t.
-2
Suppo