 11, k*w + 3 = -x for x.
-3
Suppose -y = y - 2*m - 14, 2*y = -m + 2. Let c be (-8)/(-20) + (-432)/(-20). Suppose 2*n + c = a + 4*a, -3*n - 3 = 0. Solve a*q = y*v, -5*v - 2 = -22 for q.
3
Let i(o) = -o**2 - 27*o - 47. Let t be i(-25). Suppose 0 = 3*k + t*k - 30. Solve k*f - g - 10 = -30, 8 = -2*f + 2*g for f.
-4
Suppose 2*h - 524 = -0*y - 3*y, 3*h = 4*y - 693. Suppose 10*n - y = 4*n. Let s = n + -25. Solve -5*k - v = s*v - 20, -3*v = 0 for k.
4
Suppose 0 = -3*w + 12, w = -4*h - 2*w + 16. Let a = -1054 + 1054. Suppose -3*y + y = -4. Solve a = y*p - 6, -2*o + h = -p + 6 for o.
-1
Suppose a - 4*y - 9 = 0, y + 109 + 2 = 4*a. Solve -n - 3 = -2*n, -a = 4*w - 3*n for w.
-5
Suppose -14 = 67*l - 148. Solve 0*x - x - 11 = l*p, -5*x - 3 = -3*p for x.
-3
Let o be (-18)/(-75)*5*(-5)/(-2). Solve -3*s + s + 17 = -o*a, -4*s = -3*a - 19 for s.
1
Let k = -13 + 18. Let h(t) = -t**3 - 23*t**2 + 250*t + 67. Let x be h(-31). Solve x*r = -d - 3, 0 = -3*r + 2*r + k*d + 15 for r.
0
Let c(n) = 2*n**3 - 42*n**2 + 42*n - 25. Let v be c(20). Solve 5*p + 4*a = -31, -5*a - 14 - v = 3*p for p.
-3
Let r(u) = 4*u**2 + u + 9. Let y(a) = -3*a**2 - a - 8. Let c(z) = 4*r(z) + 5*y(z). Let t be c(-2). Solve -2*i + 12 = t, q + 5*i = 24 for q.
-1
Suppose -155*x + 2 = -154*x - b, -3*x + 10 = -b. Solve 0 = x*d - 20, 14 = 3*z + 14*d - 10*d for z.
-2
Let j(t) = -t**3 + 36*t**2 - 288*t + 3. Let k be j(24). Solve -2*s - k*c = 3, -5*s + 10*s + 3*c = -3 for s.
0
Let c(u) = 3*u**3 + 35*u**2 + 19*u - 23. Let y be c(-11). Solve -p + 5*s - 7 = y, 2*p = -3*s + 18 for p.
3
Suppose -3*c + 173 = 2*z + 36, 4*z + 156 = 4*c. Let t = 45 - c. Solve o + 3*l = 13, -5*o + 4*l - 13 + t = 0 for o.
1
Let w(v) = -v + 4. Let c be w(2). Suppose i - 34 = -0*b - 5*b, -b + i + c = 0. Solve 4*p + 4*m + 4 = 0, p + p - 2*m = b for p.
1
Suppose -21 = -3*f - 3*t, -f = f - 4*t + 10. Solve -2*r - 2 = g + 2*r, -5*g - f*r = 10 for g.
-2
Let z be (-145)/20 + 4/16. Let t = -15 + z. Let m = t - -26. Solve 0 = 4*c - v + 12, 2*v + 0 = -2*c + m for c.
-2
Let h(d) = d**2. Let u be h(-2). Suppose -u*v = -0*v - 12. Let s(r) = -2*r**2 - 15*r - 18. Let i be s(-6). Solve 3*n = -i*n + v*a, n - 3*a = 2 for n.
-1
Let t(r) = -1 + 2 + 3*r - 9 - 11. Let m be t(8). Let h be 4 - (-5)/(-15)*-3. Solve 2*k = -s - 9, -s + m*s = h*k - 10 for k.
-2
Let j be (13/13)/(2/(-126)). Let k = j - -68. Solve -4*x + 28 = 4*d, -5*x = -0*d - d - k for d.
5
Let m = -1 - -3. Solve -y + k = 4*k - 8, 0 = 2*k - m for y.
5
Let d(x) = x + 0*x - 3 + 2. Let p be d(4). Suppose 6*c - p*c - 42 = 0. Solve -3*u + c = 2*s + 3, 4*u + 3*s - 14 = 0 for u.
5
Let f = 163 - 150. Suppose -10*v = -6*v - 16. Solve l = 3*s - 9, -v*s + f = -0*s - l for s.
4
Suppose -1 = -s - j, j + 1 = 4*s + 2. Let p = 30 + -30. Let i be (2 + p)*10/4. Solve 2*k + 3*k - 15 = 0, s = 2*m + i*k - 21 for m.
3
Suppose k + 5 = 2*d - 2, 5*k = -5. Suppose -3*o + d*z = -18, 4*o + 3*z = z. Solve 0 = -o*j + j - y - 4, -5*j = -5*y - 10 for j.
-1
Let v(t) = t**2 - 11*t + 8. Let l(w) = -w - 1. Let c be l(-12). Let n be v(c). Suppose -n*i + 36 = -12. Solve -r - 16 = -2*j - i*r, -2*j - 20 = -4*r for j.
-2
Let b = 94 - 53. Suppose 40 = 4*h - 5*q, 3*h + 2*q - b + 11 = 0. Suppose 0 = -10*k + 64 - 44. Solve -y = 4*x - k*x - 10, -2*x + 5*y = -h for x.
5
Let w(s) = 31*s**3 - s - 30*s**3 + s**2 + 2*s + 14*s**2 + 20. Let u be w(-15). Solve 5*f + u*c + 33 + 12 = 0, 0 = -4*f + 3*c - 8 for f.
-5
Let m be (4 - -8) + 8/2. Suppose 0*x = 4*x - 72. Let l = x - m. Solve s = 4*k + 5, 2*k + 1 = -l*s + s for s.
1
Let p(s) = 3*s**2 - 66*s + 124. Let t be p(2). Suppose 4*u = -4*z + 4, -4*u + 9*u = z - 25. Solve n - 22 = -2*n + 5*b, t*n = z*b + 26 for n.
4
Let k = 15 - 15. Suppose -8 = -k*p - 2*p. Solve 5*x = 2*o + 10, 4*x = 12 - p for o.
0
Suppose -90 = 4*p - 5*z + 23, 5*p + z = -134. Let u be 4/((-6)/8*18/p). Solve u = 2*b + l, 14 = 2*b + l - 3*l for b.
5
Let q be ((-16)/4)/2 + -9*6. Let a = q + 60. Solve 3*p + a*r - 15 = 0, 0*r = -5*p - r + 25 for p.
5
Let t = 726 - 723. Solve 0 = h - 2*f + 4, -h - t*f - 4 = f for h.
-4
Let x = -243 + 247. Solve o = -2*b - 5, -x*o + b + 19 = 3 for o.
3
Suppose 0 = y - 2*y + i, 3*y - 14 = -4*i. Solve -2*f + 5*f + 2 = -y*h, 5*h = -3*f + 13 for h.
5
Suppose 3*z = -5*w - 15, 4*w + 3 + 2 = -z. Suppose b + 3 = 5*b + q, 5*b + 5*q = 0. Solve w = -d - 4*j + 11, 5*d + 22 = -j + b for d.
-5
Suppose -7 = -q + 4. Let f = 6 - q. Let x be (-5)/f*1*13. Solve w + 3*r = -x, -w - 2*r - 9 = -0*w for w.
-1
Suppose -4*t - 12 = -6*t. Let y = 8 - t. Suppose 29*p = 122 + 52. Solve 0 = 3*v, i + p*v - 3*v - y = 0 for i.
2
Let u(b) = -47*b**3 + 46*b**3 - b - 12*b**2 - 17*b + 21. Let i be u(-10). Solve -2*d = -3*q - i, 2*d + q + 4 = -q for d.
-1
Let x(v) = v**3 - 11*v**2 + 2*v - 14. Let i be x(11). Suppose -2*r + i = -0*r. Solve -4*f - r*m + 4 = -m, -2*f + 2 = 3*m for f.
1
Suppose 0 = a - 10*a + 27. Let z(d) = -d**3 + 3*d**2 + 3*d - 4. Let v be z(a). Solve 3*y - 8 = v*s - 4*s, 4*s = -4*y for y.
2
Let l be 11/4 + 72/(-96). Let v = -11 + 16. Solve i + 25 = -v*u - 4*i, l*u + 25 = -5*i for u.
0
Suppose 4*w - 8*w + 60 = 0. Let o = -2 + 7. Suppose 1 = 2*c - o. Solve 0 = 4*l + 5*z - 6, -w = -l + 4*z - c for l.
4
Suppose 75*o + 44 = 79*o. Solve -2*t = u, 5*t + 6 = -5*u + o for t.
-1
Let r(j) = -21*j. Let i be r(-1). Let k(w) = -13*w - 16. Let h be k(-2). Let a be (-2 - h/(-8))*36/(-9). Solve -2*n - 2*z = 4, -n + a*n - i = 3*z for n.
3
Let g(r) be the first derivative of -11*r**2/2 - 55*r + 41. Let c be g(-5). Solve 4*t - 2*h + 20 = c, t = h + 4*h - 14 for t.
-4
Suppose -4*o = f - 32, -4*o - 4 = 4. Suppose f = 7*w + 3*w. Solve -4*y - 2*j = -6*j + w, -2*y = -j for y.
1
Let i be 2*(4 + -13 + 1). Let v = i - -4. Let p = 24 + v. Solve 0 = 3*z + p, 5*q - z = z - 12 for q.
-4
Let m = 63 + -64. Let n(b) = 5*b**2. Let z be n(m). Solve -2*w = -5*r - 33, z*r + 3*w + 21 = 2*w for r.
-5
Let b be 8/(-12) + (-16)/(-6). Let x = -1 + -5. Let j(c) = c**2 + 7*c + 9. Let l be j(x). Solve b*y + 0 = -2, -l*n - 5*y = 8 for n.
-1
Suppose 6*h - 3*h = 4*j - 114, -4*j + 118 = -h. Let t = -28 + j. Solve -3*w + t*s = -5, 5*w = 4*s - 5*s - 9 for w.
-1
Let f = 329 - 326. Solve -4*o = o - 4*r + 16, -19 = 4*o + f*r for o.
-4
Let m = 182 - 182. Solve -2*o = -m*t - t + 1, -o = -2*t - 1 for o.
-1
Suppose 5*q + 5*i = -0*i + 45, 3*q = -2*i + 28. Suppose -q = -2*n - 3*n. Solve 2*h = -3*v + 4*h - 11, n*v + 4*h - 14 = 0 for v.
-1
Suppose 71 = -2*y - 77. Let j = -70 - y. Solve -6*g = 4*m - j*g - 6, g = 2*m - 13 for m.
4
Suppose -4*l - 5*g + 15 = -3*l, 3*l + 15 = 5*g. Suppose 0 = 2*y + 2 - 22. Solve l = 3*z - y - 2, -5*z + 45 = -5*f for f.
-5
Let j(h) = -h**3 + 12*h**2 - h + 15. Let m be j(12). Suppose -k + m = -0*k. Solve 0*l + k*l = z + 1, 0 = -4*z + l + 7 for z.
2
Let l(y) = y**2 - 8*y + 8. Let m be l(6). Let z(i) = i**3 + 5*i**2 + 4*i. Let r be z(m). Solve -s + 0*d + 2*d - 9 = r, 4*d = -3*s - 7 for s.
-5
Let g = -1185 + 1189. Solve -2*s + 5*l = -0*s - 24, 4*s + 8 = -g*l for s.
2
Let s = -71 + 75. Suppose -1 = -z, -t - 3*t = 2*z - 14. Suppose -t*i - 39 = -3*f, 3*f + 3*i - 7 = 2. Solve -s*x = 3*n + 1 - f, -5*n + x = -27 for n.
5
Let l = 58 - 58. Solve l = 5*j - 3*t - t - 15, -j = -4*t - 3 for j.
3
Let l = 0 - -4. Suppose -5*a + 32 = -3*b, 4*a - 2*a - b = 13. Suppose 12*d - a*d = 30. Solve 0 = l*u - 5*p - 28, 5*u - 28 = 3*p - d for u.
2
Let a be (-210)/(-10)*(-24)/(-14). Solve -2*j + 25 = 3*j + r, -a = -4*j - 4*r for j.
4
Suppose 0 = -3*i - 2 + 5. Let r(o) = -2*o**3 + o**2 - o. Let h be r(i). Let x be (-4)/(4/8*h). Solve -5*u + 25 = 0, 3*u - 25 = x*c - 2*u for c.
0
Suppose 9*q - 21 = 6*q. Suppose q*d - 30 = 2*d. Suppose 0 = -0*l - l + 3. Solve -j + d = -c + 1, -l*j = -6 for c.
-3
Let n(f) = -f**2 + 4*f + 3. Let m be n(4). Let s = 2 + m. Solve 5 = 2*a - p, -4*p = s*a - 2*p - 26 for a.
4
Suppose -4*z = 3*u - 1, 5*z + 6*u = 3*u + 5. Suppose g = -5*p + 22, 0 = p - 0*p + 4*g - 12. Solve 2*f + 1 = -d, z*f + p*d - 4 = 4 for f.
-3
Let v = 24 - 18. Let p(x) = x**2 + 2*x + 3. Let k(f) = -2*f - 10. Let w be k(-4). Let b be p(w). Solve -b*l - 15 = 0, -o - l - 11 = -v for o.
0
Suppose d - l = 5*d - 8, -6 = -3*d + l. Let i be ((-2)/2)/((-1)/4). Suppose i*c = -4*j + 20, -d*j = j - c - 11. Solve t = -2*v - 5 + 10, j*v - 9 = -3*t for t.
-1
Let i = -2 - -5. Suppose -h = -2*h + i. Let f be (-154)/198