 Solve -j*h + 26 = b, 2*b + p - 23 = -3*h for h.
5
Let b(g) = -1066*g - 6392. Let r be b(-6). Solve -r*t + d + 4 = 0, 0*d = -3*d for t.
1
Let u(s) = 3*s + 6. Let t be u(-1). Solve l - 4 = -3*a - t, -5*a + 5 = l for l.
-5
Let o = 463 + -310. Let g = o + -153. Solve -5*w + g*w - i = -21, 0 = -3*w - 5*i - 5 for w.
5
Let q be 1*331 - (10 - (-60)/(-4)). Let u = q + -313. Solve i - 2 = -4*a - 16, 5*a + 4*i = -u for a.
-3
Let j be (-48)/(-2) - (1 - 1). Let w = -72 + 77. Suppose 2*s + 2*s = 5*y - 7, -5*y = -5*s - w. Solve y*x = -0*x - 3*u + j, 3*x - u = 4 for x.
3
Suppose -30*n + 71 = 11. Solve 5*m - 4*m - n*a = 6, 0 = -4*m - 4*a - 12 for m.
0
Let x be (-180)/(-120)*(2 + (-10)/(-3) + -2). Solve -3*q - 11 = 4*a, -5*a + 5*q = 7*q + x for a.
1
Let o = 1649 + -1143. Let x = -502 + o. Solve w + 3 = -2*u, -x*u - 3*w - 12 = -u for u.
1
Suppose -28*c - 64 = -60*c. Let i(a) = -a**3 - 13*a**2 + 11*a - 33. Let m be i(-14). Let x = 5 + -3. Solve -7*g + 4*v = -c*g - 13, m = 5*g - x*v for g.
1
Let a(i) = 86*i - 17. Let d be a(-3). Let v = d + 279. Solve -2*l + l - 20 = 4*j, -3*l + v*j + 20 = 0 for l.
0
Let f be 3 - (-1 + (4 - 4))*(3 + -1). Solve o - f*r - 19 = 3*o, 5*r = -5*o - 25 for o.
-2
Let x = -636 - -641. Suppose -10*u + 35 = x. Solve -3*b - p - 2*p + 27 = 0, 3*b - u*p = 3 for b.
5
Let s be (-18)/(-6)*(-903)/(-63). Solve -5*x - b = 19, 0 = 4*b + s - 27 for x.
-3
Suppose 5*z - 5*b - 125 = 0, -z + 2*b + 0*b + 28 = 0. Let i = 50 - z. Suppose j + 18 = 2*r + 4*j, 5*r - j = i. Solve u = 3*p + 7 + r, 2*p - 2*u = -10 for p.
-4
Let o be ((-108)/252 - (-8)/(-14))/(1/(-4)). Solve 0 = 2*v - 5*z - 9, 3*v - 6*z = -8*z + o for v.
2
Suppose 0 = 5*m - 25, -345*p + 5*m = -346*p + 71. Solve -7 = l - 2*n, 5*l - p*n = -47*n + 9 for l.
1
Let m = 5862 - 5849. Solve -3*v + 26 = -5*d, m*v = 4*d + 18*v + 6 for d.
-4
Let l be (-12 - 0/(-1))*-3. Let z = -22 + l. Let h(y) = 2*y - 23. Let s be h(z). Solve -3*b = s*r + 4, -5*r - 5*b - 9 = 1 for r.
1
Suppose -4*a + 373 + 1571 = -2*f, -5*a - f + 2430 = 0. Let o = a - 483. Solve 3*p = 7*p - o*u + 29, 5*u = 3*p + 30 for p.
-5
Let f = 2857 - 2855. Solve -2*q + f = 0, j = q - 0*q for j.
1
Suppose -9*n = -1303 + 1276. Solve 4*t + 8 = 5*d, 0 = -5*t + n*d - 8*d - 10 for t.
-2
Suppose -39 = -8*r + 17. Suppose -r*s + 30 = 8*s. Solve -s*y = 3*m - 3, -3*y + 4 = -5 for m.
-1
Let p(k) = k**2 + 14*k + 34. Let i be p(-12). Let g(v) = -10*v + 102. Let f be g(i). Solve 0 = 4*w + w + f*q - 10, -w + 29 = -5*q for w.
4
Let c = -488 + 518. Let n be (-8 - c/(-5))*-2. Solve -3*t + 7 = 3*j - 8, t = 2*j - n for t.
2
Suppose 8*y - 5*y = 15. Suppose -7 = -3*u + 11. Let d = 9 - u. Solve d*v = -y*n + 9 + 10, 6 = 2*v for n.
2
Let q be (-3 - 4) + (-1)/4*4. Let o(w) = -6*w - 38. Let a be o(q). Solve -4*c + a = -2*g, 0*g = -4*g + 4*c for g.
5
Let n = 3546 + -3541. Solve 4*u + 17 = n*z, 8 = z - 2*u + 7 for z.
5
Suppose -522 - 52 = -5*d - 3*i, -4*d - 3*i + 458 = 0. Let y = d + -113. Solve 2*t + 5*s = 13, -3*t - y*s + 11 = -4*s for t.
4
Suppose 25 = 3*r + 4*p, 0 = 2*r + 2989*p - 2993*p - 10. Solve 5*t = -4*c + 8*c - r, 4*c - 12 = 0 for t.
1
Let b be ((-3)/(6/(-10)))/(605/968). Solve -b = -2*a, -3*w + w + 4*a = 22 for w.
-3
Let r be (3 - (-2 - 0)) + -2. Let u = 8 - 6. Let o be 6*(42/(-4))/(-21). Solve -u*t - 5*n = -o*t, -t = -r*n + 2 for t.
-5
Let z be ((-32)/(-26) + -1)/(152/1976). Solve -3*l + 2 = -2*d, -4*d + l = -13 - z for d.
5
Let l = 6 - 3. Let f = 380681 + -380681. Solve f = v - 6*v + l*m + 1, 3*m - 3 = 3*v for v.
2
Let a(r) be the second derivative of 1/6*r**3 - 8*r**2 + 0 - 19*r + 1/12*r**4. Let x be a(-5). Solve -2*f = 5*z - x, -4*f - 6 = -0*f + 3*z for f.
-3
Let g = -2450 + 2455. Solve -y - 3*i + 6 = 5, 0 = -4*y - g*i - 10 for y.
-5
Let m = -72 - -63. Let k be (3/m)/((-4)/(-276)). Let s(a) = -a**2 - 24*a - 15. Let l be s(k). Solve 2*n = i + 2 - l, -3*n + 4*i = 19 for n.
-1
Let n = -49 - -54. Suppose 3*s = -0*s - 120. Let c = 40 + s. Solve 3*f - 3*x + 4 = -11, c = -n*f - 5*x - 5 for f.
-3
Let m be 15*(-14)/(-315) + 14/6. Let b(p) = -3*p**3 + p**2 + p. Let t be b(-1). Solve -3*z - 1 + 22 = -3*w, -t = -5*z - m*w for z.
3
Let n = -84 - -144. Let z be 3 - (0 + 9)/3. Suppose z = -3*o + n. Solve 5*d + f - o = 0, -d = -3*d + 4*f + 8 for d.
4
Let n(y) = -146*y - 872. Let f be n(-6). Solve -v + f*h = -4*v - 10, -v - 3*h = 10 for v.
2
Let z = -264 - -272. Suppose z*b + 462 = 494. Solve b*n - l = 11, 5*n + 5*l + 0 + 5 = 0 for n.
2
Suppose 2*q - 7 = 3*h, 3*q + 4*h - 155 = -136. Solve 3*p + 18 = -q*c + 4*c, -c = -2*p - 7 for c.
-3
Let o = 2264 + -2259. Solve -o*n - 9 = -3*z + 13, -4*z + 16 = 0 for n.
-2
Let o be (-2 + (-1 - -2))*(-405)/9. Suppose -5*p + 120 - o = 0. Suppose -45 = -5*c - 4*n, -6*c + n + 27 = -3*c. Solve 2 + c = m - 3*l, -3*l - p = 0 for m.
-4
Let d(o) = -2*o**3 + 22*o**2 - 4*o - 16. Let z be d(11). Let g be (z/(-75))/((-2)/(-5)). Solve 3*c + 1 + 0 = g*j, 2*j = -5*c - 7 for c.
-1
Suppose -191*i - 400 = -231*i. Solve -1 = t + 5*z, -9*t = -i*t - 3*z + 1 for t.
4
Let s(p) = -p**2 + 54*p - 51. Let q be s(53). Solve -2*i = -4*c - 12, -6*i + 3*i = 4*c + q for i.
2
Let f(m) = m**2 - 11*m - 956. Let u be f(-26). Solve 4 = 5*o - u*o - l, 2*o - 2*l - 4 = 0 for o.
-1
Suppose 19*r - 87 = 46. Suppose 4*j + 1 = 9, 0 = -3*b + 3*j + 21. Let g = b + r. Solve -g = 4*l, -2*l = 2*p - 0*l for p.
4
Let n = -16217 - -16226. Solve -16 = -4*l + k, 2*l + k - n = 5 for l.
5
Suppose 3*u + 21 = -15. Let t be ((-6)/12)/((-3)/u). Let w be -1*t*(-5)/(-2). Solve -5*s - 6 = -k, w*k = s + s - 16 for k.
-4
Let p be (-2)/13 - (-4)/26. Suppose v + 5*q - 2 = 0, -2*v = 3*v - 5*q - 10. Solve p = -5*f + v*u - 1, 3*u + 6 = -0 for f.
-1
Let v(h) be the third derivative of h**5/20 + 5*h**4/8 - 7*h**3/3 - h**2 + 6. Let z be v(-6). Solve 4*w + z = 0, 4*c - w - 2 = 3*c for c.
1
Let v(p) = 8*p**2 + 2. Let f be v(0). Solve 3*n - f*n - 6 = 4*k, 2*n - 7 = 3*k for n.
2
Let m = -291 + 297. Let n be (m/9)/((-2)/(-12)). Solve -12 = -5*y - 2*c, -11 = -n*y + 3*c + 17 for y.
4
Let i = 27 - 36. Let l = -27 + 21. Let m be l/i + (-10)/(-3). Solve m*p + 3*h + 13 = 0, 6*h + 14 = -4*p + 4*h for p.
-4
Suppose -2*b - 20 = 5*z, 5*z = -6*b + 2*b - 20. Let p be (-2)/2*-10 - z. Solve -a + 3*q = a + p, 2*q - 4 = -4*a for a.
-1
Suppose 172 = -2*g + 176, 3*i - 2*g - 56 = 0. Solve b - 4*f + 16 = 0, -5*b + 20 = 4*f - i for b.
4
Suppose 0 = 3*w, 0*r + 3*r - 54 = 3*w. Let v be (-104)/18 + ((-8)/r)/2. Let d be 0 + v*(-6)/9. Solve -5*q = j - 20, d = 3*j + 3*q - 20 for j.
5
Let j be 0/((-20)/6 + 9/27). Suppose 2 + j = -v, 8 = -r - 5*v. Solve -4*g + 4*q = -3*g + 11, -2*g + r*q = 10 for g.
-3
Let i(o) be the first derivative of -o**3 - 71*o**2/2 - 41*o + 171. Let m be i(-23). Solve -3*p + 2*n = 20, -2*p - n = -1 + m for p.
-4
Let v be ((-5150)/(-721))/(-3 + 23/7). Solve -5*q + 2*p = v, -2*q + p = 17 - 7 for q.
-5
Let d(r) = 4*r**3 - 4*r**2 + r + 2. Let j be d(2). Let x(a) = -7*a + 145. Let i be x(j). Solve 6 = 4*h - 4*q + 2, 15 = -i*q for h.
-2
Let l(u) = -2*u + 19. Suppose 3*s + 284 = -g + 3*g, 5*g - 5 = 0. Let t = -86 - s. Let m be l(t). Solve 23 = -m*j + 4*x, 2*j + 5*x - 30 = 6*j for j.
-5
Suppose -3*g - s = -58, -5*g + 9*g - 2*s - 64 = 0. Solve -w - 4*h = -6*w + g, w = -h for w.
2
Let h = 341 - 299. Let m be 0/(3/(-15) - h/15). Solve 16 = 5*n - 9, 4*w - 5*n + 45 = m for w.
-5
Suppose m - 237 = -5*g, -g + 2 = -3*g. Let d = 245 - m. Solve -f + 5*v = 11, -3 + 16 = -d*f + 5*v for f.
-1
Let r(a) = a**2 + 23*a + 64. Let q(b) = 10*b + 24. Let m be q(-5). Let i = -46 - m. Let t be r(i). Solve -4*j + 2*s - 12 = t*s, 22 = -3*j + 5*s for j.
-4
Let t(j) = -9*j**3 + 2*j + 1. Let o be t(-1). Let y be o + -10 + 6*1. Suppose 4*r = -4*l, 3*l + 12 = l - 5*r. Solve -4*z = -z - l*x + 12, 0 = z + 4*x + y for z.
-4
Suppose 25 = -5*d - 0. Let b = d + 7. Suppose 5*c - 9 = -3*z, -9 = -c + 2*z - b. Solve -c*k - 4 + 0 = -4*r, 4 = -4*r + k for r.
-2
Suppose 5*f - 5 = 3*r, -277*f = -275*f + 2*r - 18. Solve -4*k - f*t = -8, 3*k - 7*k = -3*t - 15 for k.
3
Suppose 5*v + 61 + 27 = 2*w, -2*v - 38 = 2*w. Let c(o) = 3*o + 56. Let h be c(v). Let t = -7 - -21. Solve h*z + 2*i = 10, -2*z - 7*i + t = -4*i for z.
1
Let f(g) = -48*g + 2452. Let n be f(51). Solve 13*o - 29 = 5*a + 9*o, -2*o = -n*a - 22 for a.
-5
Let r be 5/1 - (-308)/1. Let l = -310 + r. Solve 5*g - 2*m = -4, 4 =