Solve -c = -3*o + 1, 0 = 5*h - 5*o - 20 for h.
5
Let s(h) = h**3 - 5*h - 2. Let g be s(-2). Suppose 17 = 5*p + 2*w, g*w - 4*w + 4 = 4*p. Solve -3*y - 2*y = 3*d, -p*d + 5*y + 40 = 0 for d.
5
Let l = 748 + -746. Suppose x = -19 + 17, -4*b - x - l = 0. Solve b = -3*g - 3*d + 2*d + 7, -2*g - 2*d + 10 = 0 for g.
1
Suppose 0 = 2*c - 7*c + 15. Let p(z) = -z**2 + 44*z + 479. Let r be p(53). Solve -15 = r*w - 4*w - c*u, 4*u - 20 = -4*w for w.
0
Let q be (-5)/((-150)/4) + 406*33/3465. Solve 5*h = 3*a - 2 + 38, 0 = -q*h - a + 22 for h.
6
Suppose -377*x + 1 = -374*x + 5*o, -2*o = 3*x - 4. Solve 5*y - 33 = -x*i, -i - i = -4*y + 12 for y.
5
Let l be -5 + -6 + 15 + (-2)/(12/(-30)). Solve 28*p - 5*f - 14 = 27*p, -3*p - 2*f - l = 0 for p.
-1
Suppose 0 = 36*h + 24*h - 240. Solve -5*w + 5*t = 10, -2*t - 4 + 18 = -h*w for w.
-5
Suppose 21*v - 72 - 43 = -10. Solve 5*f = 5 + 10, v*f = 2*a + 5 for a.
5
Let b(c) = c**3 + 10*c**2 + 5*c - 110. Let t be b(-6). Solve -13*v = -8*v - t*d + 26, -14 = -3*v - 5*d for v.
-2
Let m(y) = y**3 + 14*y**2 + 12*y + 170. Let b be m(-14). Solve r - 9 = 3*d, 5*d - b*r + 13 = -2 for d.
-3
Let y = -278 - -278. Suppose -22*x - 8*x + 60 = y. Solve -4*q = -4, 0 = g - 0*g + x*q - 1 for g.
-1
Let p = 3775 + -3772. Solve -5*z + p*t + 1 + 4 = 0, 5*z - 4*t = 0 for z.
4
Suppose 0 = -18*o + 20*o - 4. Suppose o*z + 4 - 8 = 0. Suppose 2*v + 4*a + 12 = -0*a, -3*v = a - 2. Solve 4*w - c + 3 - v = 0, w - 11 = -z*c for w.
1
Suppose 16 = -x - 2*m, -5*x - 4*m = 79 - 59. Suppose -s = -0*s - 3. Solve -4*k - q = 2, x*q = s*q + 2 for k.
-1
Let r(a) = a**3 + 28*a**2 + 193*a - 23. Let b be r(-13). Solve -7*x + b*x = v + 22, -3*v = -4*x - 14 for v.
-2
Suppose -6*z + 12*z = 72. Suppose -z*o + 37 + 11 = 0. Solve -j + u - o = 0, -5*u - 4 = 3*j - 0 for j.
-3
Let b(i) = -i**3 - 7*i**2 + 62*i + 27. Let k be b(-12). Solve k = d - 3*q, 2*q + 6 = 2*d - q for d.
3
Suppose 0 = 17*r + 15*r - 96. Let f(z) = -z**3 - 3*z**2 - 6*z - 6. Let b be f(-2). Solve 0 = r*x - 0*l - b*l - 6, 0 = 5*x + 5*l - 10 for x.
2
Let w(r) = -9*r**3 - 16*r**2 - 10*r - 1. Let u be w(-4). Let c = u + -357. Solve -x + 4*o + 3 = -2, -c*o = 4 for x.
-3
Suppose 80 - 76 = o. Suppose -2*v + 15 = -5*w, 3*w = o*v + v - 28. Solve 3*d = -v*k - 37, -2*k = -5*d - 3*k - 25 for d.
-4
Suppose 0 = j - 4*l - 1, 5*l = -17*j + 22*j - 20. Solve -14 = 2*p + 2*p + 5*r, -10 = j*r for p.
-1
Let t = 12 - 7. Let b = 26461 + -26457. Solve 3*z + d + 2 = b*z, t*z = -3*d - 30 for z.
-3
Suppose -10 = 2*t, 2*i + t = -i + 43. Let x = -13 + i. Suppose x*o = 11 + 7. Solve -4*m + 2*p = o, -2*p - 5 = 5*m + 16 for m.
-3
Let g = 171 - 179. Let z(d) = d**3 + 7*d**2 - 9*d - 3. Let a be z(g). Solve -4*c + 10*u + 24 = a*u, 20 = -5*u for c.
1
Let u be (0*13/(-195))/2. Solve 3*s = -4*a + 20, u = -a - 3*s + 24 - 19 for a.
5
Let q be (9/(-12))/(3/(-24)). Let a be ((-30)/(-25))/(q/50). Suppose x - 10 = 2*t, -3*t - a = x - 0*t. Solve -2*z - 3*f = -0*z - 1, -x*f = -2 for z.
-1
Let c(h) = 7*h**2 - 182*h - 602. Let p be c(29). Solve b + p*g - 8 = 4*g, 0 = -5*b + 4*g - 36 for b.
-4
Suppose 0 = -3*n - 2*n - 20, 0 = -4*h - 4*n + 40. Let r be -5 - (14/49 + (-298)/14). Suppose -r = -7*q + 5. Solve -4*m = 2 + h, q*m = -3*k - 27 for k.
-5
Let a(f) = 7*f**3 + 53*f**2 + 25*f - 18. Let v be a(-7). Solve 4*u = 3*k - 3 - 5, 2*u - 2 = v*k for u.
-5
Suppose -42*m + 1000 = 357 - 449. Solve 2*q = -4*s - 4, 23*s - m*s + 3*q = -15 for s.
1
Let c be (-327)/(-1417) + (-98)/(-26). Solve -3*w + c*a = 3, 4*w + 5*a = a - 4 for w.
-1
Let p = -53 - -82. Let w = 31 - p. Suppose 0 = w*m - 6, -m - 4*m + 18 = n. Solve 2*k - n = j - k, -5*j = 3*k - 21 for j.
3
Suppose 0 = -4*l - 20, 4*p - 47 = -0*l + 3*l. Suppose -44 = -3*g - y, -p*y = -7*y + 4. Solve 0 = 4*h, -5*h - g = -s - 3*s for s.
4
Let v(j) = -j**2 + 23*j + 52. Let b be v(25). Suppose 6*g - b - 100 = 0. Solve -2*n + m = 5, -5*m = -2*n - 0*m - g for n.
-1
Suppose 2*o = 7*o - 55. Suppose 16*m = o*m + 70. Let q(b) = -3*b + 42. Let p be q(m). Solve -4*x - 5*t = -0*x - 7, 3*x + 3*t - 6 = p for x.
3
Let y = -20869 + 20869. Solve y*u - 2*n + 21 = -3*u, -3*u - 3 = 4*n for u.
-5
Let d be 1 - 1 - (-11 + 5). Suppose -w = -3*w + d. Suppose w*v - 9 = -3*f, 0 = -v - 5*f - 1 - 0. Solve 2*m + 9 = c + 4*m, 2*c + 6 = v*m for c.
3
Let p = 51 + -48. Suppose -5*z - p*o = -2*z + 3, 4*z + 3*o + 1 = 0. Let t be (-2 + z - -3) + (0 - -2). Solve -7*f + 3*f - 5 = -t*w, 4*f = 2*w - 2 for f.
0
Let u be ((-448)/8)/(4/(-8)*-2). Let n be (u/49)/((-1)/7). Let x(a) = 5*a**2 - a. Let y be x(-1). Solve 3*c + 12 = -4*t, 2*c + 4*t - y*t = -n for c.
-4
Suppose 8*g - 10*g - 9 = -a, -5*a + g = -27. Solve -a*i = 3*h + 3, -5*i = -5*h + 4 - 9 for i.
0
Let g be (-360)/(-63) + (-16)/(-56). Suppose -23*p = -26*p - g, 4*q = -3*p + 2. Solve 25 = 5*r, -j + 6 = q*r - 3 for j.
-1
Suppose 0 = 49*l - 259*l + 4410. Solve 2*c - 9 = -24*u + l*u, 4*u - 19 = -5*c for u.
1
Let j = -344 + 135. Let t = j + 212. Solve -4*f = i + 3, -5*i + 3*f = -t*i - 5 for i.
1
Let h be ((-1)/(-2))/(1/(-10)). Let r = h + 11. Suppose -42*o - 130*o + 2752 = 0. Solve -5*f = -2*i - 1, -r*i - f - o = -i for i.
-3
Let t be 98/490*(-1 - (2 + -8)). Solve 11*y - 8*y = -3*m, 2*m + t = -y for y.
1
Let s = 27 - 24. Suppose 0 = -4*v + 9 + 27. Suppose 0 = -4*z + 11 + v. Solve 5*w + 25 = -s*d + w, -5*w = -5*d + z for d.
-3
Let d = 200 - 200. Solve -5 = -f, d = -5*b - f - 2*f + 40 for b.
5
Suppose 252*u = 89*u + 326. Solve 0 = 2*c + 4*d + 20, -1 = -u*c + 5*d + 6 for c.
-4
Let h(m) = -4*m + 157. Let x be h(33). Solve -x*l = -4*z - 22*l + 18, 5*z - l = 17 for z.
3
Let z(t) = -69*t - 1656. Let w be z(-24). Solve k + 4*u + 15 = u, w = 2*k - u - 5 for k.
0
Let t = -493 - -495. Suppose 4*c - 48 = -2*c. Suppose t*l + 0 = c. Solve 2*f - 29 = -f - l*k, -2*f - 9 = -3*k for f.
3
Let f = -29 - -189. Suppose -9*l + 4*l = f. Let s = 35 + l. Solve 2*r + 4*b - 26 = 0, 0 = -s*r - b - 3*b + 31 for r.
5
Let z be 1 + 4018/22 + (-7 - (-486)/66). Solve 5*v + 55 = -5*k, -5*k + z = 204 for v.
-7
Let t(j) = -2*j + 20. Let p be (-4)/(-10) - 7/((-105)/(-6)). Suppose p = 12*c - c - 88. Let q be t(c). Solve 0 = 2*b - 2*z - 6, q*b = 5*z + 19 - 7 for b.
3
Suppose 0 = -0*q + q + r + 10, 0 = q + 3*r + 10. Let u be (-4)/q + 96/10. Let f be 20 + -1 + (-728)/182. Solve -5*g = -3*o - 2*o - f, 0 = 4*o - 5*g + u for o.
-5
Let m be (1 - -8)*(-4 - 1)/(-5). Let h be (-1 + 2)*(-9 + m). Let x be h*2/4 - 12/(-3). Solve 0 = 4*q + 4*p + 28, 0 = -3*q + 4*q - x*p - 8 for q.
-4
Let x = -891 - -940. Solve 4*j = d + 36 - x, -5*d + 5 = 0 for j.
-3
Let w(j) = -24*j + 124. Let q(m) = -m**2 - 22*m - 91. Let y be q(-6). Let z be w(y). Solve 14 = -f + z*v, 2*f + 4 + 8 = 4*v for f.
2
Let f be 8 + 0/(-12) + -5. Solve 0*l = f*c + 3*l - 9, 4*c - 17 = -5*l for c.
-2
Let u(a) be the second derivative of a**5/20 - 3*a**4/2 + 2*a**3 + 44*a**2 + 79*a. Let m be u(17). Solve 4*s - 4*y - 7 = 3*s, 0 = -m*s - 5*y + 4 for s.
3
Let q = -4038 - -4042. Solve -5*r = 2*m - 31 + 6, 3*m + q*r = 27 for m.
5
Let t = 2581 - 2579. Solve 2*z - 8 + 3 = -m, m = t*z + 1 for z.
1
Let m = 1197 + -1193. Solve -2*p = -5*p + 3*t, -m*p = -3*t - 2 for p.
2
Let o(q) = 15*q + 2. Let r be o(-1). Let t(w) = -w - 10. Let x be t(r). Solve 0*a = -k + a, 0 = x*a - 15 for k.
5
Let v = 8068 + -7951. Let z be ((-76)/6)/(1/9). Let y = z + v. Solve c + 2*a = 9, -8*a + 25 = -y*a for c.
-1
Suppose -2*v + 51 = k + 24, -3*v + 107 = 5*k. Solve -5*x = 2*n + 23, k*n - 18*n = 5*x + 11 for n.
-4
Let v = -101 + 309. Let w = v - 199. Solve -1 + 4 = -u + 5*q, 3*u + w = -4*q for u.
-3
Suppose -y = -j + 3, -16*j = -15*j - 2*y. Suppose 22 = 11*o - j*o - k, 4 = 2*o + 2*k. Solve 3 - 5 = 3*l + o*i, -3*l - 2*i = 4 for l.
-2
Let f be (-3)/1*(-14 + 11). Suppose 0 = -5*i + f + 11, -5*t - 4*i + 21 = 0. Solve -3*j + 24 = 5*l, 2 = j - t for l.
3
Let i(o) = 72*o + 20. Let s be i(-5). Let r = s + 350. Solve 4*b = 2*n + 2*n + 12, 5*n = -r for b.
1
Suppose -l + n + 9 - 10 = 0, -n + 6 = 4*l. Suppose -6*d + d = -5. Let c(s) = s**3 - s. Let q be c(d). Solve 4*x + 20 = 4*p - q*p, 3*x = -p + l for x.
-1
Let v(f) = 2*f**3 + 15*f**2 + 4*f + 3. Let y be v(-7). Suppose y*r = 26*r - 24. Solve -3*g + 3*n = -2*n - 6, g + 3*n = -r for g.
-3
Let s = 183 - 179. Suppose 0 = -j - 3*v + 1, 9*v - s*v - 7 = -3*j. Solve 0 = 4*z + 11 + 1, -5*p - 37 = j*z for p.
-5
Let d(u