 9*y**2 + 4*y + 36. Let n be p(-9). Suppose n = -2*s - 29 + 55. Solve -5*x + s = -a, x - 1 = a - 0*x for a.
2
Let q(c) = c**2 + 25*c - 86. Let s be q(-27). Let a = -28 - s. Solve 0*n + 5*n - 30 = y, 40 = -a*y + 4*n for y.
-5
Let v(g) = -4*g**2 - 4*g - 19. Let p(z) = 5*z**2 + 2*z + 20. Let d(l) = 3*p(l) + 4*v(l). Let i be d(-8). Solve -2*w = -3*w + f, 2*w + 3*f + 20 = i for w.
-4
Suppose 2*c = 11*u - 135 + 39, 2*c = -u. Solve -4*w = d - 8, 0 = 5*d - 3*w + u - 2 for d.
0
Let h be (-4)/14 + 90/21. Let u = 1624 + -1974. Let g be (100/u)/(1/(-7)). Solve -q + g*v + 5 = h, -5*q + 3*v + 12 = 0 for q.
3
Let d(b) = 80*b - 8958. Let r be d(112). Solve 2*f - 11*l = -8*l - 6, -5*f + r*l = -7 for f.
3
Suppose -38*p + 39*p = -6. Let r be p/(-18)*(0 - (-1 + 1)). Solve r = f - 0*f + 3*g + 10, 14 = 3*f - 2*g for f.
2
Let d = -823 - -751. Suppose 0*r - 3*r - 60 = 0. Let n be (-1 - d/r)*-5. Solve 4*a - 16 = 5*g, n = -3*a + g - 6*g for a.
-1
Let z(q) = -10*q - 8*q**2 + 1 + 0 + 6*q**2 - 3. Let b be z(-4). Solve -2*t - 4*n - 11 = -t, -3*t + n + b = 0 for t.
1
Let f = 159 + -132. Let g(a) = -7*a + 194. Let w be g(f). Solve w*b - 4*k + 0 = 5, -2*b = k - 2 for b.
1
Suppose 88*j - 18390 + 18214 = 0. Suppose 4*b + 3*t - 6 = 6, -4*b = -5*t + 20. Let g = b + 0. Solve -i + 3*r - j = -g*i, 4*r + 9 = -i for i.
-5
Suppose -783*r = -779*r - 12, 28 = 4*x + 4*r. Solve 2*z - 2 = x*f, z - 3 + 0 = 0 for f.
1
Let h = -41865 - -41876. Solve 3*m = -f - h, -23*m = 5*f - 28*m + 15 for f.
-5
Let q = 191 + -124. Suppose -q*h - 87 = -64*h. Let l = h - -37. Solve -l = -4*j - 4*x, 3*x - 15 = j - 5 for j.
-1
Let j be ((-100)/30)/(-10) + (-55)/(-33). Let f = 0 + 0. Solve -x = b - 2 + 3, f = -3*x - j*b - 7 for x.
-5
Let l(n) = -n**2 + 41*n - 76. Let u be l(39). Let q be 6*u/14*(-21)/(-9). Solve -5*d + q = -w - 13, -3*w = 3*d - 9 for w.
0
Suppose 10 = 11*l - 9*l. Suppose -4*g + 2*s = -8, l*s = -4*g + 15 + 7. Solve -6 = 3*m - g*n, -2*m = n - 4*n + 8 for m.
2
Suppose 79*j + 23*j = 204. Solve 0 = -2*f - 3*u - 13, f - 134 = j*u - 123 for f.
1
Suppose 4*g = 5*o + g - 152, 3*o = 4*g + 100. Let n(t) = 8*t**2 + 2*t + 5. Let h be n(4). Let x = h - 141. Solve 4*m - m + 13 = k, x = 4*k + 4*m + o for k.
-2
Suppose -3*i + 109 = -4*i. Let j(t) = -6*t - 28. Let n be j(-23). Let l = i + n. Solve -l - 3 = -m + r, 1 = r for m.
5
Let k = 207 + -165. Let v be (8/28)/(3/k). Solve m + v = 0, -x - 5*m = 2*x + 5 for x.
5
Let c(o) = -o**2 + 24*o + 7. Let q be c(24). Suppose q = -0*s + s - x, 0 = 4*s + 2*x - 10. Solve i + 2*i = -s*y - 18, 3*i - 3*y - 3 = 0 for i.
-2
Let r = -172 + 176. Suppose -r*c + 389 - 361 = 0. Solve 0 = -5*i - 3*m - c, m = 5*i - i - 8 for i.
1
Suppose -84 = -9*x - 21. Suppose 0 = -6*v - 11*v + x*v. Solve 4*r - 5*s - 3 = 0, s - 3 = 2*r - v*s for r.
-3
Suppose -f + 5*o = -27, -3*f + 8*f - 15 = -5*o. Let i = -3850 + 3852. Solve 4*x + 4*r + f + 25 = 0, i*r = -4*x - 22 for x.
-3
Suppose 5*r = 5, 2*r - 30 = 2*i - 6*i. Suppose -3*j = -i - 5. Suppose 2*y = -j*b - b + 14, -5*y + 3*b = -4. Solve 1 = -q + y*s - 0, q + 3*s = -1 for q.
-1
Suppose 2*k + 0 - 24 = 2*m, -5*m = -k - 4. Let v(q) = q - 5. Let n be v(5). Suppose -3*i = -1 - 5. Solve -4*p + k = -n*p, 0 = z + i*p - 11 for z.
3
Let d = 149 + -122. Let g be (1 - (d + 4))/(-4 - -2). Solve g = -5*b, 0 = 4*k - k - 4*b - 3 for k.
-3
Suppose 3*k + 14 = 4*k. Let b = 262 - 259. Suppose 0 = 2*s - 6*r + 2*r + k, 4*s + 3 = b*r. Solve -4*q + 3*a + s = q, 5 = -5*a for q.
0
Let u(v) = -2*v - 7. Let q(o) = o. Suppose -4 = 2*k - 16. Let c(p) = k*q(p) + u(p). Let h be c(3). Solve -1 = 4*z + l, -5 = -h*z - 3*l - 1 for z.
-1
Let y(q) = -q**3 - 10*q**2 + 91*q + 50. Let z be y(6). Solve -4*u + z*v - 25 = 19*v, 5*v = 3*u + 40 for u.
-5
Let v be (0*7/28)/(-1). Solve 2*m + 5*l = 6*l + 11, m - 4*l - 23 = v for m.
3
Suppose -27 = -7*p + 274. Let x = 48 - p. Solve i + 11 = -5*n, 2*i + 4 = x*n + 12 for n.
-2
Suppose 26 = 2*a + 2*l, 13*l - 71 = -5*a + 14*l. Suppose -a*b - 186 = -76*b. Solve b*w = w - 6, -2*i - 12 = 4*w for i.
0
Let o = 5506 - 5504. Solve 26 = 2*b + 3*u + 1, -b = -o*u + 5 for b.
5
Let d = 43750 + -43745. Solve -c + 4*c - d*h = -25, -5*c + 5 = h for c.
0
Suppose -3*w - 2*z = -21, -119*w + 120*w + 1 = 2*z. Solve -w*u = r - 9, 5*r = 3*u - 2*u - 7 for u.
2
Let b = -8272 - -8274. Solve -5*l - 26 = b*d, -d - 1 = 2 for l.
-4
Suppose -4*i + 10 = -2. Suppose -a - 5*z - 187 = 0, 3*a - 8*a - 4*z = 956. Let v = -188 - a. Solve v*s + 12 = 0, s + s = i*y for y.
-2
Let t be (28/(-5) - -4)/(190/25 + -8). Solve -t*d + 29 = -3*w, 4*w + 41*d - 42*d + 17 = 0 for w.
-3
Suppose -17 = -4*m + m - x, 0 = 5*m + x - 27. Solve m*w + 20 = -5*i, -4*i + 19 - 28 = -3*w for i.
-3
Suppose -4*f + 3*d = -2*f - 58, -4*d = 4*f - 136. Suppose 0 = 4*h + 20, h - 85 = 5*x - 2*x. Let z = x + f. Solve 0 = -z*l - 5*m - 10, 5*l - 6*m + m = -25 for l.
-5
Let w be (-62)/((-12 - (-5 - -5)) + 10). Solve 2*q + d - 6 = 0, -w*d + 33*d + 4 = 0 for q.
4
Let y(f) = -24*f - 22. Let t be y(-1). Solve -2*b + 7*k = 9*k - 8, 0 = t*b + 3*k - 10 for b.
2
Let h be 17/(1156/348) + (-4)/34. Solve 2*f - 20 = -3*t, h*f - 22 = -2 for t.
4
Let h(c) = -c**2 + 31*c + 71. Let a be h(33). Suppose a*b = -4*l - 5, 3*l + 2*b - 2 = -4. Solve -2*j + 5*j + w = -10, 2*w - 10 = l for j.
-5
Let c(k) = k**3 + 14*k**2 - 2*k - 28. Suppose -11*p = -3*p + 112. Let i be c(p). Solve i = -4*l - 4*r - 12, 9 = -2*l - l + r for l.
-3
Let f be 12/(-4) - (-1 + 2). Let i be (6/f)/((-1)/2). Let g be i + 10/8 + (-2)/8. Solve -7 = -3*k + 4*m, 0 = -3*k + 2*k + g*m - 3 for k.
5
Let v(b) = 30*b + 42. Let o be v(-9). Let a = o - -231. Solve p = -f - 3, -a*p + 0*p = f - 1 for p.
2
Suppose -69 = -11*t - 14. Suppose t*o = 5*a - 3*a + 23, -o - 2*a - 5 = 0. Solve -4*u = c + 3, 0 = 2*c - o*u + 7*u + 2 for c.
1
Suppose 2 = 2*o + 16*v - 14*v, -5*o = 2*v - 17. Solve 3*r + 9 = o*a, -10*a + 15 = -14*a - 5*r for a.
0
Let a(p) = -21*p**3 - 7*p**2 - 8*p - 2. Let m be a(-1). Suppose -m = -31*y + 27*y. Solve 4*f - 11 = g, 3*g + 5*f - 13 = y for g.
1
Let z(m) = 34*m + 2066. Let n be z(-58). Solve 0 = 4*l, -b = -l - 99 + n for b.
5
Suppose -6*t + 0 + 6 = 0. Let v be ((80/6)/(-4))/(t/(-3)). Suppose 8*o - v*o = -4. Solve o*c + 3 = 4*c - y, c = -2*y + 14 for c.
4
Let a be (-204)/1080*-70 - 2/9. Solve 0 = -4*h - q - 3, 10*h - a*h - 7 = -4*q for h.
-1
Let h(m) = -4*m + 44. Let u be h(0). Suppose -i - 8*x + 4*x + u = 0, -3*i + 4*x + 68 = 0. Suppose 4*y = -3*y + i. Solve -y*c + 26 = 2*r, 5*r - 8 - 7 = 0 for c.
5
Let u be (-18)/7*(-56)/12. Let l = -134 - -142. Let q be ((-6)/l)/(-3) + 21/28. Solve 2*b - z + u = 0, q = -b + z - 7 for b.
-4
Let s = -32 - -35. Suppose -s*k = 3*g - 51, -2*k + 5*k - 48 = -2*g. Suppose 9*o - k*o = -10. Solve 8 = n + o*c - 1, -2*n - 6 = -2*c for n.
1
Let k = -30 + 68. Let p = -440 - -406. Let a = k + p. Solve -a*v = 5*z + 25, -2*v - 2*v + 4*z = 16 for v.
-5
Suppose 0 = 5*q + m - 3, 0*q - q - 7 = 4*m. Suppose -a + 8 = 3*a. Let c = -802 - -804. Solve -p + 0 = a*z - q, -p - 5*z = c for p.
3
Suppose 4*v - 4 = 0, -28*c + 24*c = -2*v - 110. Solve 8 = 4*f, 0 = -c*j + 32*j + 3*f + 14 for j.
-5
Let h(k) = -k + 69. Let i be h(12). Let z = 82 - i. Solve -4*v - z = -5*o + v, -2*o + 4*v = -14 for o.
3
Let c(g) = 76*g - 289. Let f be c(4). Solve -3*p = -2*t - f, 4*t + 15 + 12 = 5*p for t.
-3
Let g(w) = -5*w - 31. Let v be g(-18). Let n = -54 + v. Suppose -4*u + 5*f - 7 = 0, -5*f = -n*u - 4 - 1. Solve -4*d + b + u = -2*d, -2*d = -2*b for d.
2
Let l(k) be the second derivative of -k**5/20 - k**4/3 + k**3/3 + k**2 + 9*k. Let c be l(-5). Let i = -14 + c. Solve -3*f = -u - 4 - 3, 3*u + i = 0 for f.
2
Suppose 5*j - 286 = -3*d, 0 = -4*j - d - d + 228. Suppose -6*w - 2*w + j = 0. Suppose -w*q = -3*q - 12. Solve i = q, -n + i = -i + 1 for n.
5
Let c = 47 + -43. Let b be (c/(-7))/((-24)/(-84)). Let x be 4/4*-2 - b. Solve -n + 15 = -5*t, x = -4*n + 2*n - 2*t - 18 for n.
-5
Let l = 1362 + -1357. Solve -8 = -5*t - 3*v, 7*t - 4*v + 2 = l*t for t.
1
Suppose l - 2 = -3*y - 1, -l = 5*y - 3. Let m be (1 - 0) + (l - -4). Let h = -1959 + 1961. Solve m*g = 4*b + 14, b + h*b + 16 = 5*g for g.
2
Let i = -618 + 594. Let y be (-126)/i - (-6 - (-116)/16). Solve 2*z - y*q = -26, -z - 4*q - q = -15 for z.
-5
Let x = 51 - 39. Let v(f) = -f**3 + 13*f**2 - 11*f + 4. Let l be v(x). Solve l = 4*n + 2*y, 7 = 2*n 