= 0, -2*j + k + 5 = 1 for j.
1
Let f = 5 + -10. Let h = f - -9. Solve n + 0*n = b, 0 = -h*b - 2*n - 6 for b.
-1
Let i = -80 - -141. Suppose -2*u + i = 49. Solve 3*a + 1 = -p + u, -11 = -p - 5*a for p.
-4
Suppose 0 = -3*b - b - 4*x + 24, 0 = 5*x - 15. Suppose 4*g = 2*f, 2*f = -3*g + 1 - 8. Let o be 6/2*-1*g. Solve 1 = -o*p + 4*h - b, p + 2*h = -8 for p.
-4
Let r be -2 + -2 + 9 - 2. Suppose -4*f = 3*i + 5 - 31, 0 = 2*i - 2*f + 6. Solve -p - 5*d = 29, d - i = p - r for p.
-4
Let s be ((-15)/(-12))/(8/32). Let d be s - 2/3*3. Solve 4 = v - d*z, 2 = 4*v + z + z for v.
1
Let x be 4 + (4 + -2)/(1/(-2)). Suppose x = 5*b - 27 + 7. Solve -2 = -3*f + b*j + 13, 15 = -5*j for f.
1
Let y = -172 - -242. Let m = y - 65. Solve -w = -g - 4*g - 30, g = -m for w.
5
Let v(g) = -g + 7. Let t be v(-9). Let o be (t/10)/(4/(-110)). Let b be (-212)/o - 2/(-11). Solve 3*i = -l + b*l + 4, 2*l = -3*i - 20 for l.
-4
Let m(t) = -t**2 + 16*t - 14. Let x be m(14). Suppose x + 1 = 3*s. Solve s*p + 4 = -5*o - 1, 4*o = 4*p + 20 for o.
2
Let d be (4 + -4)/(5 - 3/1). Solve 4*w - 2*u = 10, 2*u + u - 3 = d for w.
3
Let l(n) = -n**3 - 20*n**2 - 2*n - 35. Let r be ((-16)/10)/(16/200). Let i be l(r). Solve -4*q = i*k - 12, -k - 6 = -2*q - 0 for k.
0
Suppose 0 = 7*f - 9*f - 4*c, -3*c = -f. Solve -y + 4*j - 9 = 2*y, f = -y - 2*j + 7 for y.
1
Let b = 132 - 284. Let n be b/(-26) + (-34)/(-221). Solve 3*q + 6 = n*q - 3*i, -4*i - 14 = -q for q.
-2
Suppose 3*d - 7*d = -12. Let f(b) = -b**3 - 21*b**2 - 44*b - 111. Let o be f(-19). Solve 0 = 3*r - o*c - 9, d*r = 2*r - c + 3 for r.
3
Let x be 1/(-4) - (-102)/24. Suppose k - x = -1, 2*k - 198 = -4*p. Suppose 6*m - p = -0. Solve -2*b - 20 = 4*j, 4*b - j - m = 3*j for b.
-2
Suppose a + 20 = -3*a. Let q(v) = -v**2 - 9*v - 12. Let c be q(a). Solve 4*l = -0*l - 16, -i + l = -c for i.
4
Suppose -4*v - 2*j = -112, 4*j = -4*v + 60 + 60. Solve 4*b = g - 5 + v, -3*g - 4*b + 17 = 0 for g.
-1
Let u(t) = t**2 - 5 - 2 - 2*t**2 - 10*t. Let f be (-1)/(-4)*-2*(69 - 51). Let o be u(f). Solve o*s - 2 = 0, 4*b - 6 = s + 5 for b.
3
Suppose -18 = -3*p - 5*q + 7, 0 = -2*p - 3*q + 15. Solve -2*y = -0*y + 3*g + 15, 3*g + 15 = p for y.
0
Suppose 21*v - 25*v + 36 = 0. Let a(b) = 5*b - 42. Let f be a(v). Solve -2*o - f*p + 19 = 0, -4*o + 3*o = p - 7 for o.
2
Let d be ((-18)/4 - -4)*-8. Let z be (-240)/(-108) - (-2 + 20/9). Solve z*k = -5*i + 11 - 2, -4*i + 4*k = d for i.
1
Let k be (201/9 - -4) + (-32)/24. Solve 5*s - 5*g - 5 = -k, -4*g = -20 for s.
1
Let i = 21 + -9. Suppose -f = 4*y + 2*f + i, f - 34 = 5*y. Let x be (3/y)/(1/(-10)). Solve x*m - 3*j = 2*j + 50, -m = j for m.
5
Let n be 5 - (-20)/((-28)/7). Solve n = 4*s, -3*g + 5*s = 4*s + 15 for g.
-5
Suppose 15 = -3*w + 5*m, 0 = 4*w + 5*m - 14 - 1. Suppose w*i = -5*i. Let p be 5/(-20) + (-2)/(-8). Solve l + p*l - 2*c - 11 = i, l + 5 = -2*c for l.
3
Let f = 12 - 11. Let s be 12 - (-9)/3*f. Let j = s + -12. Solve j*h + 8 = -2*v, 5*h + 5*v + 16 = v for h.
0
Let t = -6 + -36. Let s = -39 - t. Solve -4*f + 5*o + 23 = 0, 2*f - f - s*o = 11 for f.
2
Let a = -15 + -11. Let g = a - -41. Suppose 10 = -13*x + g*x. Solve -x*d - 20 = n, -4*d = -3*n + 4 + 31 for n.
5
Suppose -5*f - 2 = -5*w + 3, 5 = 3*f + w. Let j = f - -1. Suppose -2*z + 6 = -4. Solve -x - p = j*x + 16, -p - 24 = z*x for x.
-4
Let w be (-2 + 3)/1*2 + 0. Solve 0 = 2*a + h - w - 8, 0 = a - h - 5 for a.
5
Suppose -3*i + i - 2*o - 2 = 0, -3*o - 17 = -4*i. Suppose l - 9 + i = 0. Suppose 2*t = l + 7. Solve 4*y + y - 20 = 0, y - t = -3*m for m.
1
Let p = 158 - -66. Let q be p/12 + 6/(-9). Let w be 3/q + (-46)/(-12). Solve 5*u - 1 + 25 = 2*v, -u - 12 = -w*v for u.
-4
Suppose -54 = 17*k - 44*k. Suppose -7*w - 2*c = -3*w - 22, 2*w - 20 = -4*c. Solve -3 = -2*d + 4*h + 5, -k*h = 2*d + w for d.
0
Suppose 0 = 2*q - 9*q + 112. Solve 0 = x + 5, 3*o - x = -3*x - q for o.
-2
Let m(h) = -7 + 26 + 38 + 2*h. Let q be m(-17). Let a be 1*2 - (-1)/1. Solve 0 = 2*y - 10, -q + a = -d - 4*y for d.
0
Let s(i) = i**3 + 11*i**2 + 9*i + 6. Let d be s(-8). Let u = -112 + d. Solve 3*h - z - 4*z = u, -2*h + 3*z + 9 = 0 for h.
3
Let z(i) = -i**3 - 9*i**2 + 16*i + 1. Let a be z(-11). Let c = 67 - a. Solve 5*n - 10 = -c*n - 4*r, -2 = -4*n - 2*r for n.
-2
Let y be (-15)/5*-1 + 1. Suppose -4*l + 5*s = 5 - 7, y*l - 16 = -2*s. Solve -l*b - 4*a - 9 = 7, b = 2*a - 2 for b.
-4
Let z(b) = -3*b + 4. Let d(c) = -24*c + 33. Let h(v) = -4*d(v) + 33*z(v). Let i be h(-1). Solve 7 = i*l - 5*g, -g - 3 = -5*l + 3*g for l.
-1
Suppose 3*b + 18 = 3*a, 24 = 4*a + a + b. Suppose 3*w + 8 = a*w. Solve 2*n - n - d = 0, 2*d = -w*n - 24 for n.
-4
Suppose -2*g - 11 = 4*f - 47, -3*f = -g - 27. Suppose 8*y - f*y = -5. Solve y*t = 2*l - 6 + 21, -25 = -5*t for l.
5
Let f be 1 + 3 - ((-2 - -3) + 2). Let p be f/(-1)*(-4)/((-12)/(-9)). Solve 3*q = 4*g + 5, 0*q = p*q - 9 for g.
1
Let i be (-2)/((-1 + 2)*1). Let m be (14 + -16)*i/1. Solve 0 = 5*o + 5*z - 25, -o - 10 = -m*z + 10 for o.
0
Let y(k) = k**3 + 6*k**2 - 4*k - 17. Let r be y(-7). Let t = r - -40. Solve 3*u + 5 = -g - 0, 2*u + t = 0 for g.
-2
Suppose -l - 22 = 15*k - 20*k, 0 = 2*k + 2*l - 4. Solve -3*y + k*a = 0, 2*a - 6 = -0 for y.
4
Let j = 4 + -34. Let v = j - -35. Solve -10 = 2*i, -v = 3*f + 4*i - 0 for f.
5
Suppose f - 5*x + 16 = 0, 10*f = 5*f - 4*x + 36. Suppose -15 = 5*h, -f*h - 2 - 2 = 4*g. Suppose 3 = k - g. Solve k*c - 17 = -4*j, -4*c + 8*c - 16 = -2*j for c.
5
Let u(r) = -r**2 + 8*r - 9. Let x be (-13)/(3/(-6)*2). Let i = 19 - x. Let v be u(i). Solve -3*h + 3 = 0, v*h - h - 17 = -3*c for c.
5
Suppose 2*n - 14 - 26 = 0. Let t be (-3)/2*n/(-6). Suppose -t*l = 4*s - 28, -2*s + 12 = 3*l + 2*s. Solve 0 = -2*c - 5*h + 17, c + 0*c - 3*h = -l for c.
1
Suppose 463 = -23*b + 739. Solve -v + 6*v - 2*a = 9, b = -v + 5*a for v.
3
Let n = 1170 + -1166. Solve 2*u + n = -4*o, -4 = -2*o - 0*o - 4*u for o.
-2
Let n = -11 - -14. Suppose 0 = -12*w - 3*w + 30. Solve -w*z = -r + 11, -z + 6*z = -n*r for z.
-3
Let r(s) = -s**3 - 18*s**2 + 20*s + 9. Let o be r(-19). Suppose x - 15 + 1 = 0. Let h = x + o. Solve -2*p = 0, 5*n - 3*p + h*p = 0 for n.
0
Let y be 69/36 + (-15)/(-180). Solve -5*l = 2*k - 0 + 3, 3*l + 5 = y*k for k.
1
Let g(d) = 3*d**3 + 3*d - 2. Let y be g(1). Suppose -y = s - 12. Solve -4*x = -3*i, 3*i = s*i + x for i.
0
Let t = 2 - -4. Suppose -3*r - 5*h = -t*r, 3*r = -h. Solve 3*l = -4*f + 3*f + 1, r = -5*f - 25 for l.
2
Let a(w) = -w + 5. Let p be a(0). Solve p*l - l = 5*d - 7, 8 = -2*l - 2*d for l.
-3
Let i be (2 + 1 - -4)*5. Let h be (-384)/(-14) + (-15)/i. Solve 4*o + h = -3*c, 14 = -5*c - 11 for o.
-3
Let i = 62 + -57. Let a be (1 + (-1)/i)/(13/65). Solve v = -0*v + a*t - 15, 0 = 3*t - 9 for v.
-3
Suppose 155*p - 48 = 151*p. Solve 0 = 3*l - v + 12, 2*l + p = 3*v - 3 for l.
-3
Let d = 16 - 12. Suppose 144 = -d*p + 16*p. Solve 5*u = -5*z - 20, p = -4*z + z - 2*u for z.
-4
Let s(o) be the second derivative of o**4/12 - o**3/3 - 6*o**2 + 18*o. Let t be s(5). Solve 0 = -3*m + r + 13, 32 = 4*m - 2*r - t*r for m.
3
Suppose 0 = 4*n - b - 24, 0 = -11*n + 12*n + 3*b + 7. Solve 3*u + n + 3 = 5*o, 16 = 4*o for u.
4
Let k(q) = q + 2 + q**3 + 3*q + 0*q - 2*q**2 - 3*q. Let r be k(2). Solve g + 5 = -w + 3, 15 = 3*w - r*g for w.
1
Let u be 0*-1*(-4 + 2)/6. Suppose -4*m + 48 = 4*g, u = m + 8*g - 4*g. Solve -3*o - 7 = -2*b, 2*b - m + 4 = -2*o for o.
1
Suppose 2*w + 5*g = -11, -2*w - 2*w + g + 11 = 0. Solve -3*i - 3*c - 21 = 0, -w*i + 0 = -5*c - 7 for i.
-4
Let a = 16 - 27. Let c(w) = -14*w**2 - 1. Let k be c(-1). Let f = a - k. Solve 0 = -4*j - f*t + 3 + 5, -t - 4 = -5*j for j.
1
Let u be (-6)/(-15) - (-126)/10. Let o = u + -5. Suppose 14*f - 15*f + 4 = 0. Solve f = -3*m + 4*x, x + 2*x = m + o for m.
4
Suppose -10*n = 8 - 8. Suppose -2*l - 3*c - 8 = n, 9 = -4*l + 2*c + 25. Solve f - 5*u = -f + 18, l*f + 2*u - 4 = 0 for f.
4
Let n be -2 + 5/((-10)/(-4)). Let x = 3 - n. Let r = 706 + -704. Solve h + 3*g = x*h - r, 4 = 4*h - 2*g for h.
1
Let m(y) be the first derivative of y**3 + y**2/2 + 2*y - 17. Let b be m(-1). Solve -3*t = 9, -13 = 5*w + 3*t - b for w.
0
Suppose t - 3 = 1. Suppose 2*d + 3*d = -4*v + 32, 0 = -d. Let k = v - -3. Solve 0 = t*y + f - k, 3*f + 1 = 5*y - 0*f for y.
2
Let m = 609 + -601. Solve -3*b - j + 14 = 0, -5*j = -m*b + 3*b - 10 for b.
3
Let s = -59 - -101. Let u = 45 - s. S