-6*c - 233. Let p be y(x). Solve m = 2*h + p, -10 = -m + 4*h + 7 for m.
-3
Let d(i) = i**3 + 9*i**2 + 9*i + 3. Let g be d(-7). Suppose 9*k + 2*k - 440 = 0. Let l = k - g. Solve 12 = -5*p + 3*z, -4*z + 6 + 10 = l*p for p.
0
Suppose 7*m = -5*m + 48. Suppose -5*t - m*w = -10*t + 2, -4*t - 3*w + 14 = 0. Solve -16 = t*n - h + 5*h, h + 3 = 0 for n.
-2
Let x(h) = 10*h + 254. Let s be x(-25). Suppose 3*o - r + 3*r - 34 = 0, 2*o - 21 = -r. Solve 2*p - 12 = s*m, -5*p = 2*m + 10 + o for m.
-4
Let u be (-9 - (-45)/6)/((-3)/20). Suppose -u*s + 28 = 8. Solve 2*r - s*k - 4 = 0, -4*r + 19 - 5 = -k for r.
4
Let f = 1 + 2. Suppose 9*h = 3*h + 444. Let u = h + -72. Solve -3*y = 3*b - 3, u*b + y - 4 = -f*y for b.
0
Let o(p) be the first derivative of -p**2 - 47*p - 1. Let v be o(-25). Solve 0 = m - 1, 3*q = v*m - 15 for q.
-4
Suppose 0 = -5*p - 4*k + 44, 14 = 11*p - 10*k + 5*k. Solve -p*x + 22*u - 20 = 18*u, 0 = 2*x + 3*u for x.
-3
Suppose -4 = -m - q, -44*m = -41*m + 4*q - 14. Solve k + 8 = -a + 3, -m*k - 8 = a for k.
-3
Suppose -6*z + 55 = 5*z. Let q = 12 - z. Solve -m - 3*f = -6, q*m - 14 = 2*m + f for m.
3
Let f(b) = -12*b**3 - 2*b**2 + b. Let x be f(1). Suppose -2*j - 43 = -3*a, 5*j - 12 = -a + 8. Let g = x + a. Solve 8 = 4*d, o + g*d = -0*o for o.
-4
Let j = -4715 + 4766. Solve 5*u + 16 = 5*f + j, -4*f = 3*u for u.
4
Suppose -414 = -15*r - 123*r. Solve 2*k - 4 = 0, r*y - 4*k - 1 = -3*k for y.
1
Let y(d) = -d**2 - 10*d - 3. Let x be y(-17). Let k = -118 - x. Let h be 1/(-3) - (-98)/6. Solve 7*m = 3*m + k*c - h, -3*m + c = 6 for m.
-1
Suppose 0 = -5*l - 4*t - 12, l + 2*t = -9 + 3. Suppose 4*p - 10 - 14 = l. Suppose 8 = p*b + 2*b. Solve -3*g + 5*n - 1 = b, 4*n - 1 = 3*g for g.
1
Suppose 420 = 2*f - 4*j, -j - 411 = -2*f - 0*f. Suppose 3*x - 7*x - f = 0. Let d = x - -53. Solve v - 3*a - 16 = -0*v, -d*v + 5*a + 27 = 0 for v.
1
Suppose -d - 20*j + 19*j + 29 = 0, -105 = -5*d + 3*j. Solve 16 = 5*g - 4*b + 6*b, -5*g + 2*b = -d for g.
4
Let g be (-4 - -2 - -1)*-5. Suppose 2*t - o = 1 + 8, -5*o = g. Let r = t - 4. Solve -2*n + k - 1 = r, n = k - 3*k - 13 for n.
-3
Let l(o) = 3*o - 25. Let d be l(10). Suppose 0*h = 2*h - 4. Suppose 6*g - h*g + 3*y = 20, -5 = -g + d*y. Solve 7 = -i + 5*s, g*i + 3*s = 16 + 5 for i.
3
Let u = 10649 - 10648. Solve 5*x - 16 + u = 4*i, 3*x + 28 = -5*i for x.
-1
Suppose a + 3*a = 2*m + 6, -18 = -a - 5*m. Solve 0 = -c + 3*p - 6, 0 = -5*c + a*p + 2*p - 10 for c.
0
Suppose 7*x - 11*x - 5*s - 2 = 0, 0 = -3*x - 3*s + 3. Solve -5*i + k - 25 = 0, -4*k - 8 = 3*i + x for i.
-5
Let y(r) = r**2 - 13*r + 7. Let c be y(14). Let z(d) = -d**2 + 3*d + 13. Let x be z(-4). Let u = x + c. Solve 0 = -u*n + 2*n - 2*j + 30, -4*j + 45 = 5*n for n.
5
Suppose 16 = 4*v + 4. Suppose 8*b - v = 7*b. Suppose 0*l = z - 5*l + 23, b*z - 2*l + 4 = 0. Solve -6 = 3*k - k + z*o, 5*k = 3*o - 7 for k.
-2
Suppose -9 + 7 = -h. Suppose -3*a = 3*t - 3, -5*t + 3 + h = 4*a. Let m be 1/(2 + 14/(-8)). Solve -20 = -m*u - 4*d, a = -5*u + 5*d + 4 + 1 for u.
3
Let s be (5/2)/(69/138). Solve n - 2*k - 7 = 0, 4*k + 4 - s = -n for n.
5
Suppose 176 = 55*k + 176. Solve p + 18 = 4*c, k = 2*c + 4*p + p + 2 for c.
4
Suppose 0 = -37*u + 971 - 36602. Let p = -961 - u. Solve -b + 10 = -2*f + 2*b, -p*f = -2*b + 6 for f.
1
Let c = 6 - 4. Suppose 3*i - v - 253 + 237 = 0, -3*i = 2*v - 13. Suppose 0 = -3*x - 5*k + 93, x + 0*x - 4*k = 14. Solve -i*w + h = -x, c*w = -w + h + 16 for w.
5
Let c = -5083 - -4963. Let f be -186*(-2)/(-6)*-2. Let q = c + f. Solve -s - 11 = 2*r, 3*r + q + 12 = -s for r.
-5
Suppose 6331*f = 6319*f + 24 + 12. Solve -10*n + 19 = -7*n + 2*q, -9 = 2*n - f*q for n.
3
Let c be 8/3*1*21/(-14). Let t be 110/(-45)*-3 + c/3. Let s(b) = -b**3 + 6*b**2 - b + 11. Let i be s(t). Solve 4*n - 34 + 8 = -i*u, n = 2*u for n.
4
Let n be (-10)/125 + (-2828)/(-350). Let d(v) = 0*v**2 - 4*v + v**2 - 11 - 2*v. Let y be d(n). Solve y*p + 2*s = -2*s + 23, -s = -4*p + 10 for p.
3
Let i = -67 - -67. Suppose 31*l = -i*l + 124. Solve 4*s - 5*j = 1, 7*s = l*s + 5*j - 3 for s.
4
Suppose -2*s - 496*u = -493*u - 23, 2*s + u - 21 = 0. Solve -2*v + o + 1 = 2*o, s = 2*o for v.
-2
Let z(r) = r**3 + 22*r**2 + 50*r - 16. Let h be z(-3). Solve l = -5*x + 25, 6*l - 3*l = -x + h for x.
5
Let f(x) = -x + 20. Let w be f(15). Let c be (w*(-3)/(-10))/((-3)/(-6)). Solve 25 = 5*d - c*l, -3*d + 5*l - l + 15 = 0 for d.
5
Let g = 88 + -73. Suppose -4*u + g = -1. Suppose -u*i = 5*s - 36, 0*s - s - i = -8. Solve 0 = -j + 3*l - 7, s*j = 2*l - 5 + 17 for j.
5
Let y(o) = 4*o + 101. Let k be y(-21). Suppose d - 5*r + k = -1, 4*r = d + 14. Solve -d*n - 2*w = 6, n - 5*w = -2*n - 17 for n.
-4
Let u = 567 - 539. Let a be 105/u + 4/16. Solve -k + a*k - 2*l - 19 = 0, 0 = 2*k - 5*l - 31 for k.
3
Suppose -r = -4*r + 48. Let v = -152 - -165. Let n be (v - -1)/((-58)/(-29)). Solve -4*q = -4*a + r, 4*a + 3 - n = 0 for q.
-3
Let a = -3288 - -3296. Solve 0 = 2*c + f - 2, -4*c + a*f - 7*f + 10 = 0 for c.
2
Suppose 92 = 140*v - 1168. Solve 0 = -4*h + 4*r + 12, 2*r - v = 4*h + 5*r for h.
0
Let y be (-72)/(-10) + 1/(-5). Let m be (-15)/(-6) - (-3)/(y - 1). Solve m*z = -2*j - 7, -2*z + 1 = 3*j + 14 for j.
-5
Suppose -5*f = 5*o - 55, -2*f + 31*o = 35*o - 14. Suppose -5*h + 4*s + 2 = 0, -4*s - 1 = 3*h - f. Solve -1 = 2*i + 5*l, 0 = i + i + 2*l - h for i.
2
Suppose -525 = -39*p - 66*p. Solve 2*i + 3*j + 10 = 0, -10 = 4*i - 4*j + p*j for i.
-2
Suppose -39*i + 43 = 4*i. Solve -2*b = -2*p, -b + 5*p + i = 5 for b.
1
Let g(u) = u**3 + 23*u**2 - 28*u + 50. Let b be g(-24). Suppose -b*y + 147*y - 47 = 0. Let v = y + -45. Solve 5*t - 4*k + 18 = -19, v*t = k - 13 for t.
-5
Let v = -14640 + 14643. Solve 9 = -3*c - 4*f, f + v*f = c + 3 for c.
-3
Let j(w) = 13*w**3 + 18*w**2 - 6*w - 10. Let p be j(-4). Let m = 533 + p. Solve 2*c - m*g = 16, 3*g + 12 = -4*c - 2*g for c.
2
Let j(u) = -2*u - 18. Suppose -2*c = -40 - 2. Let s = c + -30. Let g be j(s). Solve 4*n + g = -4*y - 16, 0 = -y - 2*n - 5 for y.
-3
Suppose -2*r - 5*i + 10 = 0, 102*r = 98*r + i - 2. Solve -2*l + 2*v = 98 - 106, -4*l + v + 10 = r for l.
2
Suppose 1848 = 23*h + 307. Solve r - 5*j = 0, -j = 2*r - h + 56 for r.
5
Suppose -295 = -7*z + 475. Let j = -106 + z. Suppose j*d - 180 = -v, -d + v - 4*v + 45 = 0. Solve 1 = -0*c - c + o, 5*c = -5*o - d for c.
-5
Suppose -l - 2*l = -39. Suppose 3669*v = 3654*v + 45. Solve -5 = -v*b + 10, -4*m = 5*b - l for m.
-3
Let o = -366 + 380. Let c be 1/(1*(-3)/30). Let v = o + c. Solve v*x + 4 = 5*n - 4, 4*n - 13 = x for n.
4
Suppose 4 = -o - 3*l, -3 = -2*o + l + 4*l. Let h = o - -6. Suppose -h*w + 26 = 8*w. Solve -2*s = -0*s - w*u, 3*s - 2*u - 4 = 0 for s.
4
Let z(b) = 2*b**3 - 24*b**2 + 60*b - 401. Let k be z(11). Solve 0*v + n - 5 = v, 3*n = 4*v + k for v.
-2
Let x = 16035 - 16023. Solve -2*o - 3 = -m, 4*m - 17*o + 12*o = x for m.
3
Suppose 259 = 2*q + 2*q - 3*k, k + 1 = 0. Let z be 1/((-80)/q*(-4)/10). Suppose -3*p = -4*p. Solve z*l = p, -6 + 26 = 5*g + 3*l for g.
4
Let y = 1128 + -1128. Suppose -2*i + 5 = -4*q + 3*i, 4*i = -2*q + 4. Solve q = -3*r - 2*h - 7, -3*h - 11 = -y*r + 5*r for r.
-1
Let r = 3499 + -3494. Solve 14*l - 10 = 17*l - r*i, 3*l + 2*i + 17 = 0 for l.
-5
Suppose 5*b - a + 12 = 0, -a + 0*a = b. Let r be ((-2)/(b - -1) - 0) + 3. Suppose -3*m + 2*m + r = 0. Solve -2*d - m*i - 15 = -d, -3*i = 5*d - 13 for d.
5
Suppose -15 - 2 = -4*j + x, 32 = 4*j - 4*x. Suppose -2*g + 2*q + 4 = 0, 6*g - 3 = j*g + 4*q. Solve -2*l + g*v - 33 = 0, 0 = 3*l - v - 2 + 19 for l.
-4
Suppose 489 = -91*c + 677 + 1723. Solve 5*f + 29 = w, f + c*w - 11 = 17*w for f.
-5
Suppose 0 = -3*c - 2*a + 4 + 13, 3*a = 4*c - 17. Let v(s) = 2*s + 22. Let p be v(2). Solve -3*w + 4*t - 2 = 5, c*t = -2*w + p for w.
3
Suppose -5*n = -p + 24, 2*n - n = -5*p + 16. Suppose 3*w = -p*w. Solve 1 = -2*j + j, -4*m + j + 5 = w for m.
1
Let f = 15563 - 15560. Solve i - 3*p = -1 + 7, -i - f*p = 0 for i.
3
Suppose 10 = -y + 10. Suppose y = q - 4 + 9. Let a(v) = -3*v - 12. Let r be a(q). Solve -4*n + 16 = -h, 2*n + 1 = -h + r for n.
3
Suppose -28 = -12*b + 12 - 4. Solve 0 = 3*v - q + b, 5*q - 4*q = 0 for v.
-1
Let t be (-144)/(-168)*(9 + -2). Let f(s) = -s**3 + 8*s**2 - 10*s - 7. Let p be f(t). Solve 8*q = 3*q - 5*y + p, 5 = 4*q + 3*y for q.
2
Suppose 3*w = h - 3, -3*h + 4 = -2*w - 5. Let t be 5/(20/44) - (7 + 1). Solv