2*b, d = -v - 3*b - 15 for v.
-3
Suppose -7*o = -157 - 4. Let j = o - 18. Solve -a = 0, 0*l - 4*l - j*a - 20 = 0 for l.
-5
Let s(d) = -d**3 - 4*d**2 - 3*d - 9. Let f be s(-4). Solve -5*x + 4*c = f*c - 9, 0 = -2*x - 3*c - 10 for x.
1
Let g be -3 + (-15)/(-5) + -6. Let x be (-15)/g*4/2. Solve -a = 3*z + 2*a - 3, -x*z + 29 = -a for z.
5
Suppose 0 = 15*z - 136 - 239. Solve -5*c = 3*l + z, -2*c = -3*l - 2*l - 21 for c.
-2
Suppose -v - v + 20 = 4*n, -5 = 3*v - n. Let w = v - -2. Let c be w*(-4)/2 + 8. Solve 5*s + 4*a = 19, -c*s = s + 5*a - 20 for s.
3
Let z(i) = -51*i + 106. Let o be z(2). Solve 0 = 4*n - o*s + 3*s - 17, 14 = 4*n - 2*s for n.
5
Suppose 0 = -0*y + 3*y + 123. Let s = y - -51. Solve 3*l = -2*f - 2*l + s, f = l - 2 for f.
0
Let r be 8/3 + 16/(-24). Let i be (5/(-10))/(3/66). Let c = -9 - i. Solve 4*u + c = -r*g - 20, 0 = -3*g - 3*u - 24 for g.
-5
Let g(s) = -s**2 - 8*s + 11. Let p be g(-9). Suppose -5*v = -p*v - 39. Solve 0 = 4*d + 5*n + v, 2*n = -6*d + 4*d - 4 for d.
3
Suppose 5*p + 9*q = 8*q, 2*p = 2*q. Solve p = 5*m - 3*j + 8, -4 = -m - 3*j - 2*j for m.
-1
Suppose 7*g - 60 = -32. Solve -2*s - 22 = -4*m, -m - s + 0*s + g = 0 for m.
5
Suppose 3*m = -6*m - 6*m. Solve 5*r + m*r = -z + 14, -3 = 3*z for r.
3
Suppose 0 = 13*n - 14*n + 3. Solve n*q + 1 + 6 = -5*g, 2*q + 4 = -3*g for g.
-2
Let v be 1*1/(-1 + 2). Let m be 0 + 2 - (-9 + 2). Let z be ((-3)/m)/(v/(-6)). Solve z*d + 10 = -2*p, p + 4*p - 5*d = 5 for p.
-2
Let m = -99 - -148. Suppose -2*b = 2*g + 16 + 10, -m = 3*g + b. Let p = -8 - g. Solve 5*t - 2*n - 3*n = 25, -2*t = -n - p for t.
5
Let d = 40 - 34. Solve 0 = -3*u - 4*j + 8 + 13, 5*j = 3*u + d for u.
3
Let l = 42 - 27. Suppose 20*x - 15 = l*x. Solve x*h = -d, -4*d - 1 = h - 12 for d.
3
Let m = 15 + -9. Let y be (-2)/(-32) - (79/(-16) - -2). Solve 0 = -v + y*v - m, -5*n = -v - 7 for n.
2
Let y(d) = -d**2 - 16*d - 25. Let w be y(-12). Suppose -2*x = -w - 5. Solve h - 6*h + q + x = 0, -h + 3*q = 0 for h.
3
Suppose 3*d - 29*o = -31*o + 73, -4*d + o = -79. Solve -6*t + 4*t = -5*l - d, -12 = l - 3*t for l.
-3
Let t = 4 + 68. Suppose -2*z + t = 68. Solve -3*b + 2*s = 15, -z*s + 3 = -0*b + b for b.
-3
Let u = 670 - 665. Solve 9*o = 12*o - u*b + 3, 0 = 3*b for o.
-1
Suppose 0 = -0*s + 3*s - 12. Let r = 35 - 24. Suppose -p - r = -s*u, -3*p + 9 = 4*u - 6*p. Solve 0 = 2*q - 1 + 5, u*q = 2*o - 10 for o.
2
Suppose -19 = -y - 3*x, 15*y - 17*y + 2*x - 2 = 0. Solve 3*t = o - 2*t, 4*t = -y*o + 24 for o.
5
Let d(j) = -5 + 995*j + 3*j**2 - 995*j. Let g be d(-3). Solve 5*a = 4*x - 29, -3*a + g = -3*x - 8*a for x.
1
Let d = -133 - -135. Solve -5*y - 16 = -1, 0 = -2*x + d*y + 10 for x.
2
Suppose -79*n = -86*n + 28. Solve 2*w - 9 = g - n*g, 9 = w + 3*g for w.
0
Suppose -4*f - 3 + 0 = -3*j, 0 = 3*j - 3*f - 6. Suppose -3*h + 4*g + 54 = 1, -2*h = j*g - 66. Solve 4*v = -2*n + n + 3, 0 = -4*v + 3*n + h for v.
2
Suppose 0*y - 4*y = 0. Let q = 1668 + -1668. Solve -3*o + 5*d + 14 = q, d = -o - y*o + 2 for o.
3
Let u = 6 + -6. Let s be 8 + (u - (4 - 2)). Suppose v + 0*v - 2*p - s = 0, -v + p + 4 = 0. Solve -2*g = v*g - 3*c - 2, 3*g = -c + 8 for g.
2
Let q be 4 - 2*2/4. Suppose 5*y - q*y - 6 = 0. Suppose 142 = 11*h + 21. Solve 3*l + 0*l + h = -o, 3*l + 3 = -y*o for o.
4
Let g(b) = -b**3 + 7*b**2 - 10. Let l be (-6)/(-2) + 9 + -5. Let d be g(l). Let i be (-1 + 5)*d/(-4). Solve 2*w + i = 2*y, w + 1 = -3*y + 4 for y.
2
Suppose 0*p = 2*p - 54. Suppose -4*r + p = 5*q, 5*r + 2*q = -0*q + 21. Let i = 1 + r. Solve -3*w + j - 7 = 2*j, i*j = -2*w - 8 for w.
-2
Let q = 4 + 1. Let n be 15*(-1 - 1*15/(-9)). Suppose -u + n = -q. Solve u = z - 3*t, 11 = -z - 5*t - 6 for z.
3
Let f(v) = 2*v**3 + 9*v**2 - 3*v + 12. Suppose -60 = 8*r + 4*r. Let h be f(r). Solve 11 = -k - 4*x, 1 = -h*k + 3*k + x for k.
5
Let f = -13 + 9. Let o be (f/12)/((-2)/54). Suppose o = 3*s - d - 15, -9 = -3*s - 4*d. Solve -c + 8 = 2*q - s, -4*c + 45 = 5*q for q.
5
Let z(c) = -12*c - 9. Let j(r) = r**3 - 4*r**2 + 3*r - 1. Let y be j(3). Let h be z(y). Solve 0 = -4*n - h*l - 4, 5*n + 3 = -4*l - 1 for n.
-4
Suppose -6 = 10*o - 12*o. Solve 0 = 5*j + 2*h + 2*h + 6, o*j + 4*h = -2 for j.
-2
Let c(f) = f**3 - 8*f**2 + 6*f + 6. Let j be c(7). Let i be 6*(-2)/4*j. Let n = 4 + -1. Solve -s - n*q = -16, 2*s - q + 0 + i = 0 for s.
1
Let n(z) = -z**3 - 9*z**2 - 11*z - 19. Let k be n(-8). Let j = -2 + 5. Solve -v - k = v - j*l, 0 = -2*v + 5*l - 7 for v.
-1
Suppose -3*k + 3 = 0, -2*a + 2*k + 4 = a. Solve -2*j = 5*w + 5, -a*w - j + 7 = -2*j for w.
1
Suppose 6*r = 5*r + 1. Let i(k) = 4*k**3 - 2*k**2 + 1. Let t be i(r). Solve t*h + 2*q - q + 11 = 0, 0 = -2*h + 4*q + 2 for h.
-3
Let g(t) = t**3 - 2. Let n be g(2). Suppose -3*x + 37*b - 41*b = -36, 2*b - 8 = x. Solve 5 = 3*i - 4*l, -x*i + 2*i - n = 2*l for i.
-1
Let u = 75 + -71. Suppose -u = -b - 0*b. Solve 2*g - 21 = g - 4*f, -b*g + 36 = 4*f for g.
5
Let m(k) = 3 - k**3 - 3*k**2 + 0*k**2 + k - 2*k - 4. Let r be m(-3). Solve 3*w + r*i + 6 = 0, -3*i + 1 = -w - 4*i for w.
-4
Let q be (48/9)/((-2)/(-6)). Suppose -2*o + 11 = 7. Suppose o*y + 27 = 5*a, 3 = -3*a - 2*y + q. Solve 4 = 4*h, 0*c + 4*h = a*c + 4 for c.
0
Suppose -3*r = 13 + 5. Let a = 14 + r. Let g = 21 + a. Solve 4*h = -5*z - 0*h + g, 0 = 5*z - h - 24 for z.
5
Suppose 5*f - 3*f = -f. Suppose -3*t + 5 = -l - 8, f = -3*t - 3*l + 9. Solve 4 = -3*k - 5*m - 5, -17 = -t*k + 3*m for k.
2
Let z = -1474 + 1478. Solve u - 5*o = 16, -3*u - u - z*o = 32 for u.
-4
Suppose -5 = -5*c + 5*t, c + 4*t + 14 = -0*c. Let p be 5 - c*(4 + -2). Solve 0 = -5*n + 4*h - 5*h + p, 5*n + 5*h = 5 for n.
2
Let g(i) = 3*i**2 + 30*i - 25. Let l be g(-11). Solve u + l = -3*m, -23 = 5*m - 3*u + 9 for m.
-4
Let q(i) = -i**2 + 6*i + 77. Let m be q(12). Suppose -4*p + 42 = 14. Solve -3*c - m*n = -n + 10, -3*c - n - p = 0 for c.
-2
Suppose 16 = 4*o - 0. Suppose 0 = 7*t - 5*t + 2*b - 8, t = 3*b - 8. Let i be t + 1 - 0/(-15). Solve -o*c - i = -2*c + 2*r, c - r + 3 = 0 for c.
-2
Suppose 0 = 17*h - 100 - 87. Solve -h = 4*i + z, z + 0*z + 8 = -3*i for i.
-3
Let w = 17 - -9. Suppose 4*k - w = 5*u, 4*k - 2 = -5*u + 4. Solve 2*s - 8 = c + 5*s, -k*c - 5*s = 18 for c.
-2
Let z(t) = 19*t + 2 + 2*t**2 - 16*t - t**3 + 14 - 6. Let k be z(3). Solve 0 = -0*l + 2*l - 4*f + k, f + 5 = 3*l for l.
3
Let l = -2 - -142. Let r be (l/(-150) + (-6)/(-10))*-39. Solve 5*w - 4*n = 11, -5*w = 2*n - 0*n + r for w.
-1
Suppose 6*r = 3*r + 24. Let d be (-3)/((6/r)/(-1)). Solve -5*z = d*k - 12, -2*z + 10 = -3*k - 4 for z.
4
Suppose 0 = 3*q + 3*a - 9, 138*q - 4*a + 8 = 140*q. Solve -3*m + 2*k = 22, -q*m + 2*k + 2 = 4*k for m.
-4
Suppose 102 = -19*u + 159. Solve -5*m + r = -25, r = -m + u*r + 14 for m.
4
Let n(g) = -3*g**2 + 5*g + 7. Let h be n(2). Solve -4*l + 16 = -c, -h*l = -2*c - 7 - 13 for l.
4
Suppose l = 2*l - j - 16, -4 = 2*j. Let f be (24/84)/(2/l). Solve -f = -a - p, a - 5 = -5*p - 3 for a.
2
Let j = -2 - -3. Let q = j - -10. Suppose -v - w = -2*v + q, -3*w = 9. Solve 5*k + 5*x = -30, -5*k + 20 = -v*x + 3*x for k.
-1
Let y(s) = -3*s + 24. Let f be y(6). Suppose 0 = -t - 0*t - 5, 2*t + f = -i. Solve 4*b - 4*q = -i + 16, 0 = 3*b - 4*q - 13 for b.
-1
Let i = 2 + 5. Let s be 24/30*35/14. Solve -3*l + 2*x = i, -x = l - s*l - 3 for l.
-1
Suppose -3*b + 122*b = 238. Solve 0 = 5*g + 4*q + 13, b*g + 4*q - 2 = 0 for g.
-5
Suppose -2*y + 14*v - 10*v = -32, -2*v = 3*y - 16. Solve 0 = -3*x - 5*h + 22, -y*x - 2*h + 24 = -3*x for x.
4
Suppose -10 = l + 5*m - 0, -2*l + 16 = -2*m. Solve -3*h + 6*h = 4*r + 2, 5*r + l*h + 20 = 0 for r.
-2
Let c(v) be the second derivative of -v**5/20 - 3*v**4/4 + 11*v**3/6 + 6*v**2 - 7*v. Let o be c(-10). Solve 3*l - 15 = -m, -2*l - o*m = 2 - 12 for l.
5
Suppose -2*u - 106 = -4*v + u, -3*v + 77 = -u. Suppose -4*n = -59 - 17. Suppose 3*f = -n + v. Solve -2 = f*t + 2*m, -2*m - 15 = -2*t - 5 for t.
2
Let u(m) = m**3 + 11*m**2 - 30*m - 39. Let j be u(-13). Solve 4*f - 2*y = -2, 12*f - 3*y - 4 = j*f for f.
-1
Suppose 0 = -78*n + 65*n + 52. Solve 4*a + 4 = -n*h - 12, -3*h = -5*a - 12 for a.
-3
Let i = 126 - 126. Solve j = l + 4, -3*j = -4*l - i*l - 14 for j.
2
Let b(x) = 10*x**2 + 3*x**2 - 6 + 6*x**2 + 7*x - 20*x**2. Let f be b(5). Solve -o - 3*o - 12 = -f*s, 0 = s - 3 for o.
0
Let b be 0*2/(-5)*70/112. Solve -2*l - 5 = u, 5 + b = -3*l - 2*u for l.
-5
Let o(y) = y**2 + 25