Let c be (-22)/(924/70)*(-18)/10. Solve d + 4 = -3*d - 4*v, c = -3*v for d.
0
Suppose -5 = 5*w, -8*w + 3*w - 15 = -2*r. Suppose -4*q - 5 = -9*q, 5*q - 85 = -r*a. Solve -4*h - h = m - a, 0 = -h + 4 for m.
-4
Let p = -199 + 206. Solve h - 4*m - 25 = 0, -m = -3*h + p + 13 for h.
5
Let u = -257 - -257. Solve -4*v = -5*d - 21, -5*v = -u*d - d - 21 for d.
-1
Suppose -5*w + 4*z = 32, 4 = -5*z + 3*z. Let u = -5 - w. Suppose 0 = -4*k + 32 + 4. Solve -5*h - 12 = -5*v - h, -k = 5*v + u*h for v.
0
Let n = 99 + -99. Solve -2*t = 0, n*o + t + 12 = -3*o for o.
-4
Let n = -21 - -24. Suppose -k + n = 0, 3*h - 2*h = 3*k - 1. Suppose -a + h = a. Solve x - a*x = -4*v - 2, 0 = 3*v - 3*x for v.
-2
Let s = 60 - 55. Let i(j) = j**2 - 5*j + 5. Let u be i(5). Solve -2*a - u*v = 7, 0 = v + s - 2 for a.
4
Suppose 0 = -18*i + 4*i + 126. Let g(s) = 2*s**2 - 18*s + 3. Let b be g(i). Solve 2*p - 3*z = 13, 3*p + 6*z + 18 = b*z for p.
-1
Let d be ((-22)/10)/(20/(-200)). Solve 5*c + 6*x + 22 = 3*x, 2*x = 4*c + d for c.
-5
Let t(r) = -r**3 + 6*r**2 - 5*r + 1. Suppose 6*c - c = -2*i + 27, -3*i - 12 = -3*c. Let l be t(c). Solve 2*j - l = 2*f - 3, -3*j - 15 = 0 for f.
-4
Let x(c) = c - 1. Let n be x(-4). Let i(f) = -f**3 - 5*f**2 - 3*f - 11. Let u be i(n). Solve -5*p = -u*g - 3 - 2, -3*p - 4*g = -35 for p.
5
Let i(f) = 2*f + 14. Let c be i(-11). Let u be 12 + 3 + c + 8. Solve 4*s + 2*g + 18 = 0, 0*s + 4*g = -s - u for s.
-3
Let n be (8/(-20))/((10/25)/(-2)). Solve 3*l = -2*x - l - 14, -17 = n*x + 5*l for x.
-1
Let c(z) = -z**3 + 13*z**2 + 14*z + 4. Let p be c(14). Suppose -5*r + 50 = -2*r - p*x, -r - 5*x + 23 = 0. Solve -2*i = -2*b + 6*b - r, -5 = -i for b.
2
Suppose 37*v - 38*v + 3*g = -18, 5*v - 14 = -4*g. Solve -5*q = 2*y - 6, -y + v = y - q for y.
3
Let l be ((-3)/4)/((-2)/16). Suppose -l = -z - 2*z. Suppose -4*m + 14 = 3*s + 4, 4*m - 12 = -4*s. Solve h + 1 = -s*q - z, -4*q = -4*h for h.
-1
Let z = 62 + -59. Suppose z*w - 6*w + 42 = 0. Solve -4*y - 4*h = 0, 2*h + 0 + w = 5*y for y.
2
Let j = -303 - -309. Let r = -7 + 13. Suppose 4*o = o + r. Solve c - 4 = -b, 5*b - o = -c + j for c.
3
Let v = 11 + -40. Let c = v + 31. Solve -6 = c*h - 2*p, h - 3*p + 8 + 1 = 0 for h.
0
Suppose t - 4*o + 9 = 1, -13 = -4*t + o. Solve 0*j - k = j, -3*j + t = 2*k for j.
4
Suppose 0 = -44*t + 38*t + 18. Solve q + q - 2*z = 0, -t*q + 5*z = 2 for q.
1
Suppose y = 1630 - 1625. Solve -y*r = 3*t - 4, -r + 0*r + 2 = 0 for t.
-2
Let j be ((-25)/(-30))/(1/6). Suppose 10 = j*s, 3*b - 3*s - 25 = -7. Let i be b/(-40) - 22/(-10). Solve 5*w - t - 1 = -6, i*t + 4 = -4*w for w.
-1
Let f be 5 + (-4)/2 - 0/(-1). Solve 5*g + 1 = -2*d, f*g - 3*d + 3 = -6 for g.
-1
Let f(c) = c**2 - c + 4. Let p(i) = i**2 + 6*i + 5. Let h be p(-5). Let n be f(h). Suppose 0 = 4*k + n - 28. Solve 21 = -5*u + x, -5*x - 15 = k*u - u for u.
-4
Let c(z) = 27*z + 93. Let o be c(-3). Solve 0 = -5*n + 20, 0 = h - 5*h - 4*n + o for h.
-1
Suppose 28 = 18*f - 4*f. Let y = 9 + -6. Solve -2*p + y*s = -11, f*s = -3*p + 2*p - 5 for p.
1
Let b(w) = -w - 3 + w**2 + 12*w + 5. Let z be b(-11). Let m = 29 - 26. Solve 5*s = m*h - 12, z*h + 4*s = -0*h - 14 for h.
-1
Let n(c) = 22*c + 45. Let x be n(-2). Solve 3*o = 4*k - 0*o - 32, 3*k = -4*o - x for k.
5
Let k(h) = h**3 - 20*h**2 - 2*h + 43. Let x be k(20). Solve 3*w + 2*u = 2*w + 6, 31 = -4*w + x*u for w.
-4
Suppose -40 = -0*q - 4*q. Let a be (-12)/(-28) - 33/(-21). Let k be (13/(-39))/(a/(-30)). Solve 20 = 4*n, -k*c - 5*n = -40 + q for c.
1
Suppose 8 = j - 4*u - 3, -2*u = 2*j - 62. Suppose 3*g + 2*h - 11 = 0, 5*h - 7 = 2*g - j. Solve g*m - 4*a = 6*m - 9, 5*a - 7 = 3*m for m.
1
Let x(y) = y**2 + 15*y + 28. Let h be x(-13). Solve -2*f = -0*f - 5*d + 17, -3*d = -h*f - 7 for f.
4
Let q(j) = j + 8. Let x be q(-5). Suppose 5*m = 7*m. Suppose m = -z - z + 10. Solve -2*r + x*g - 3 = 0, 2*r - 2*g - z = 3*r for r.
-3
Suppose 0 = -68*j + 91*j - 46. Solve -2*l - j*l = -20, -b - 3*l + 11 = 0 for b.
-4
Let f(k) = -k**3 + 6*k**2 - k - 4. Let n be f(4). Suppose -m - 2*m + 15 = 2*p, -5*m + n = 3*p. Solve p*l + i = -1, 3*l + 3*i + i = -13 for l.
1
Suppose 15*k = 14*k + 7. Suppose -11*c + k*c = 0. Solve 3*i + i = -5*g + 2, c = -3*i - g + 7 for i.
3
Let v(z) = -4*z + 80. Suppose 0*n = 4*n - 76. Let k be v(n). Solve 4*p + 0*p - 2*t = -10, k*p + 5*t = -31 for p.
-4
Let i = 13 + -8. Suppose 3*w + 4 - 54 = i*x, 4*w - 74 = 3*x. Let q be (w/6)/((-10)/(-75)). Solve -5*g = -3*u - q, 2*g - 25 = 5*u - 3*g for u.
0
Let v(q) = -q**3 - 15*q**2 + 35*q + 21. Let b be v(-17). Solve 0 = -b*d - 4*w + 8, -4*d - 7 = -4*w + 1 for d.
0
Let s = 334 - 321. Solve -3*x + 4*d + s = 0, 0 = -2*x - 0*x - 4*d - 18 for x.
-1
Let q be (-2)/(-4)*24/2. Suppose 4*k - q = k. Suppose -k*f + 11 = 3. Solve 0 = -2*t - 5*i - 12, -t + f*i = -0*t - 7 for t.
-1
Let z = -39 + 37. Let d(o) = -o - 2. Let w be d(z). Solve -4*c - 16 = -w*c, -2*r - 8 = c for r.
-2
Suppose 6*y + 12 = 2*y. Let z = 7 + y. Solve -5*s - 3*x = -18, -x + 13 = z*s - 0*x for s.
3
Let l = -496 - -501. Suppose 2*w - 5*z - 15 = w, 0 = -3*z - 6. Let b = 16 - 13. Solve 3*n = -k + w*k + 14, l*k - b*n = -16 for k.
-2
Let p = -109 - -217. Let s = -38 + p. Suppose 2*b - s = -2*b + 2*j, 2*b = -j + 25. Solve 12 = -4*d + 4*f - 5*f, f - b = 5*d for d.
-3
Let x(h) = -24*h**3 - 2*h - 2. Suppose -4*d + 5*m - 9 = 0, 0 = -8*d + 3*d - 5*m. Let n be x(d). Solve u + n = -4*g + 4*u, 4*g = u - 16 for g.
-3
Let r(b) = -b**3 - 21*b**2 + 100*b + 3. Let h be r(-25). Solve 0 = -h*f + 4*j + 20, -6 = 3*j - 0*j for f.
4
Let y = 13 - 10. Suppose 24 = y*c + 3*c. Suppose o - c = 12. Solve -2*p - o = 2*p, 0 = 2*q + 2*p - 2 for q.
5
Suppose -n + 3 = -3. Let f be 60/9*9/n. Let u = -6 + f. Solve u*v - 2*g - 3 = 5, v - 4*g = -12 for v.
4
Let g(f) be the second derivative of f**3/3 + 31*f**2 + f - 8. Let b be g(-22). Let h be (-21)/(-5) + 2/(-10). Solve 0*o = h*o - 5*y + 33, -o + b = 4*y for o.
-2
Let y = 2488 + -2488. Solve 2 = 4*q + 2*t, 5*t - 18 + 3 = y for q.
-1
Let u(m) = -m**2 + 6*m - 3. Let f be ((-2)/(-6))/(276/90 + -3). Let w be u(f). Let t(q) = 3*q - 2. Let n be t(6). Solve 4*i + w*y + n = 6, -3*y = 3*i for i.
-5
Suppose 4*u - 6 = 6. Suppose -u*h = -3*k + 42, -47 = -3*k - h + 5*h. Let a be 4/(-20) - 32/(-10). Solve 2*y - 3*v - k = -0*y, -4*y + v = -a for y.
0
Suppose -9*k = -4*m - 5*k - 8, -2*m - 2*k = -12. Solve -m*o - o + 17 = u, 2*u = -3*o + 19 for u.
2
Let u(y) = y**3 - 15*y**2 - 13*y - 1. Let i be u(16). Let t = i + -42. Solve 8 = 4*w - t*j + 30, -3*j + 9 = -w for w.
-3
Let x = -62 + 78. Solve -5*h + 2*h = -f - 18, 2*f = 2*h - x for h.
5
Let n(i) = i**3 + 22*i**2 + 60*i + 69. Let m be n(-19). Solve -m = -k - 4*j, 3*j - 4 = -k + 4 for k.
-4
Suppose 3*j = -2*c - 5, -c = c - 4. Let x be 12*(j - 44/(-12)). Suppose -2*m - 6 - 2 = 0, -x = 2*v + 4*m. Solve 5*y + v*g - 4 = 0, 5*g + 0*g + 20 = 0 for y.
4
Suppose -22*t = -7*t + 1455. Let q = t + 99. Solve 4*r = 3*o - 28, -q*r + 0*r = -o + 12 for r.
-4
Let k be (-12)/(-60) + (-24)/(-5). Solve 0 = -4*z + 3*w + 5 - 21, 0 = -k*w for z.
-4
Let s = -491 - -496. Solve s*w - q + 18 = 2, -5*q - 1 = 2*w for w.
-3
Let f be (-16)/44*((-385)/10)/7. Solve h - a = 0, -f*h - h + 8 = a for h.
2
Let s = 155 - 148. Solve 0*k + k + 2*q = s, 2*k - 18 = -5*q for k.
-1
Suppose -s + 4 = -0. Let k(i) = 2*i - 55. Let a = -71 + 99. Let c be k(a). Solve 2*t - c = 5*w, -t - 2*t + s = -5*w for w.
1
Suppose -b + 3 = -2*m, 2 = 2*b + 3*m - 11. Let q be 0/(b/10*-4). Solve 0 = 3*v + 5*f - 23, 3*v - 2*f + f + 1 = q for v.
1
Let h be 3/6*(4 + -2). Suppose 5 = 4*p + h. Let g = p + 4. Solve g*u + 3 = 3*o + o, -4*u - 6 = -5*o for o.
2
Let u(o) = 51*o**2 + 0*o**3 - o**3 + 5*o - 1 - 52*o**2. Let w be u(-3). Solve 2*d - w*n = 8, -3*d + n - 4 = -8 for d.
0
Suppose 0*s = 5*s + 3*k - 60, 2*s - 3 = 3*k. Let w(q) = q**2 - 5*q - 31. Let r be w(s). Solve 0 = -2*y + 3*y + r*p + 3, 5*p = -3*y - 9 for y.
-3
Suppose -3*k - v = -2*v - 6, 3*k + 2*v = 15. Suppose 2*n + n = -5*d + 20, -2*n - 8 = -2*d. Solve -8 = -g + 5*g, d*g = k*p - 23 for p.
5
Let u(d) be the first derivative of 1/4*d**4 + 0*d**3 - 4 + d**2 + 5*d. Let z be u(0). Solve -z*w + c + 0 = 5, 0 = w - c - 3 for w.
-2
Let o(h) = -6*h + 35. Let a be o(6). Let i be (((0/(-3))/(-4))/a)/1. Solve 3*p - 3*m = 3, -5*p = 3*m - i*m - 21 for p.
3
Let v be ((-4)/3)/((-6)/(-18)). Let k be (