v = -t*h - 2*v - 4, 5*h = -4*v - 5 for h.
-1
Suppose 0 = -448*t + 435*t + 208. Solve 20 = -2*s - 3*f - 0*f, 4*f + t = 0 for s.
-4
Let b be 7/((-147)/(-7188)) + (-4)/14. Let x be b/144 + 9/(-24). Solve 2*h = 2, x*h = 3*j - j + 12 for j.
-5
Let d be 4 + -1 + 540/(-9). Let o = -28 - d. Let w be 12 + 49/(-14)*2. Solve -x + 0*x = 4*t + 9, 4*t + w*x = -o for t.
-1
Suppose 13*o - 15*o = 5*m - 40, 4*o = -m + 8. Solve 5*h - 85*n + 90*n = o, 0 = 5*h + 3*n for h.
0
Let o = -483 - -280. Let x = o - -205. Solve -5*t = x*q + 2*q, 0 = 5*t for q.
0
Suppose -33 - 15 = -9*r - 2*j, 4*j = r + 20. Let d be (12/9)/(2/9). Suppose -3*v = -d - 9. Solve -9 = 3*u, n + v = -r*u - 8 for n.
-1
Let b(u) = 3*u**3 - u**2 - 6*u - 3. Let g be b(2). Solve -k = -g*c - 12, -2*c - 4*k - 9 = -3*k for c.
-3
Suppose -5*s + 2 = -4*u - 0, -2*s = -4. Suppose 0 = -195*x - 73 + 322 + 141. Solve -3*z = -u*i - 15, x*i - 5*z + 24 = -i for i.
-3
Let c be -5 - ((-65)/15 - (-10)/(-15)). Suppose -10*s + 146 - 126 = c. Solve s*r = 4*k - 3*r - 8, 5*k + 35 = -5*r for k.
-3
Suppose 5 = -22*d + 27*d - 15. Solve -d*o + 2*y = -14, -o - 45*y + 48*y = -11 for o.
2
Suppose 2*u = -2*d + 20, -61*d + 65*d - 4*u = 64. Solve c - d = -4*f, -2*f - 2*c + 0 = -14 for f.
2
Suppose 49 = -2*w + 1. Let l = w - -39. Suppose 5*f - 29 - 4 = -4*c, 0 = -3*f + l. Solve 2*k + c*d = 10, -5 - 5 = -2*d for k.
0
Let i be (3 - 34/6)/((-6)/9). Suppose 2*u = -p + 3 - 0, i*u + 4*p - 12 = 0. Solve 3*a - 23 = -4*g, u*g = 4*a + 2*g - 24 for a.
5
Let g(f) = f**3 - 29*f**2 - 16*f - 41. Let k be g(30). Let d = -376 + k. Solve -13 = -5*t + 5*v + 2, t - d*v = 13 for t.
-2
Suppose -5*l - 37 = -3*i, -56*l + 53*l = 15. Solve -5*d - i*r + 16 = 0, 5*r = -5*d + d + 11 for d.
4
Let m = 195 + -1454. Let k = 2467 + m. Let c be 2/(-10) - (1 - k/40). Solve -2*d + 9 + 0 = 3*l, 3*d = 4*l - c for l.
5
Suppose 4 = -r - x, 46*r = 41*r + 4*x + 16. Solve -c = 3*i - r + 3, 4*c = -4*i - 12 for i.
0
Suppose 45 - 129 = -21*o. Solve 5*u + 4*h - 16 = 0, 0*u - o*u - 4*h = -16 for u.
0
Let i(v) = -22 - 39 + 18 - 9*v + 3*v. Let c be i(-8). Let d be (0/(-1))/3*(1 - 0). Solve 0 = -c*j + 3*x + 29, -5*x + 0*x - 15 = d for j.
4
Let t be (2 - 0 - -9) + 3. Solve 2*p - 2*k = t, -7*p + 31 = -3*p - 5*k for p.
4
Let i(s) = s + 1. Let w be i(2). Suppose 28*b - 22*b + 5*c - 135 = 0, b - 34 = 3*c. Solve 5*k - 4*u = -5, -u - b = k + w*u for k.
-5
Let b = -5 + 10. Suppose -5*z - 9 + 4 = 5*x, 3*z - 2*x - 27 = 0. Suppose -m + 23 = b*g, -z*m - 35 = -8*g + 3*g. Solve w - a - 1 = a, -g*a - 5 = -5*w for w.
1
Let h be 1 + (1 - 5) - -3. Suppose 5*t - p + 100 = 0, -2*t + t = 5*p + 46. Let z be (2 + 88/(-6))/(14/t). Solve w + 4*s = -z, -2*w + w - s - 7 = h for w.
-3
Suppose 3*d + 32 = -5*y, 4*d + 4*y + 8 = 6*d. Let c(t) = -t**3 + t**2 + 16*t - 15. Let w be c(d). Solve -4*s + 2*b = -2, -3*s + w = -0*s - b for s.
0
Suppose 122*f - 5*g + 80 = 126*f, -4*f - g = -80. Solve 3*q - 15 = -2*v - 0, 0 = -4*v - 4*q + f for v.
0
Let m be (4140/126)/((-1)/(-7)). Let w = m + -227. Solve 3*a - r = r + 5, 0 = w*a - 3*r for a.
5
Let s(x) = x**2 - 81*x + 1223. Let b be s(20). Solve -11*h + 9 = -14*h, -b*h = y + 5 for y.
4
Let q(a) = a - 12. Let t = -8 + 72. Let f = t + -52. Let c be q(f). Solve c = 3*x - 7*x - z - 5, 0 = -3*z + 9 for x.
-2
Let b(x) = -x**3 - 3*x**2 + 4*x. Let p be b(-4). Suppose p = w + 11 - 16. Solve 0 = 3*y + 5*d + 2 + 1, -w*y = 3*d - 11 for y.
4
Let r be 0 + -4 + 9 + -1. Let j be 8/r*(-60)/(-8). Solve 3*n = 2*n - 4*f + j, -n - 9 = -2*f for n.
-1
Let l = 39 - 23. Suppose -v + 2 = i, 75*v + 15 = 79*v - 3*i. Solve 0 = 5*k + 3*m - l, -5*m - v = -13 for k.
2
Suppose -9*g + j = -52, 20 = -38*g + 43*g - 5*j. Solve -7 = 2*l + r, 12*l = 8*l - g*r - 34 for l.
-1
Let c = -13165 - -13170. Solve -16 = -v - 5*p, 11*v - 8*v + 32 = c*p for v.
-4
Let j = -107 - -113. Suppose -32 = -7*g + j*g. Let x be (-6)/33 - 400/(-22). Solve 4*c = -5*h - g, -x + 2 = 4*c + h for c.
-3
Let o = -786 + 780. Let p(a) = a**2 + 33*a + 167. Let v be p(o). Solve 2*y - y - 4 = -2*h, -2*y = v*h - 8 for h.
0
Let i be (0 + 1)/(26/(-3510)). Let q = i + 139. Solve -q*n - 2*t = t, 3*n = -2*t for n.
0
Let d be -35*(34/7 - (10 + -5)). Solve 0 = -2*k + 4*w - 16, d*w - 23 = -k - 10 for k.
-2
Let g(j) = -j**3 - 5*j**2 - 4*j - 20. Let d be g(-5). Let c be 3/6*(-8 + d) + 5. Solve 3*z - c = 4*x, -1 = 5*z - 2*z - 2*x for z.
-1
Let v(r) = r**3 + 7*r**2 - 22*r - 26. Suppose 9 = -27*n + 26*n. Let b be v(n). Solve -2*l - 2*t + b - 4 = 0, 2*l = 2*t + 10 for l.
4
Suppose -26 = 10*c + 3*c. Let g be (6 - c)/(14 + -12). Solve 2*k = -g, -2*k = 2*m - 0*k + 12 for m.
-4
Let m be ((-38)/4)/(0 - 3/6). Solve -22 = 4*v + v - 4*f, m = -5*v + 3*f for v.
-2
Suppose 1341 = 18*u - 14*u - t, -2*u + 4*t = -660. Let y be 4/(-22) + u/154. Solve 0 = -y*q - 3*q + 2*n - 8, -3*q - 4*n = 10 for q.
-2
Let n = -1686 - -1694. Solve -3*h = 4*y - 7 - 9, 0 = -h + 2*y - n for h.
0
Let r = -12 - -32. Suppose r = -4*w + 5*f, 6*w - 9*w - 4*f = -16. Solve 4*v + w*v = -2*l + 2, -3*l = -4*v + 7 for l.
-1
Suppose 2 = 2*j + u, -u - 3 = 3. Solve j*x - 10 = -3*g + 4, -4*x + 10 = 5*g for g.
-2
Let v = -37 - 10. Let u = v - -35. Let y be 8 + (-6)/(u/2). Solve -5*n + 29 = -2*x, 0 = n - x - x - y for n.
5
Let z = 2250 - 2247. Solve w - 15*y = -13*y - 9, -2*w - 3*y + z = 0 for w.
-3
Let c be (-3)/((-60)/(-172))*-5. Let k = 46 - c. Solve -7 = 3*b + 5*o, 0*b + 9 = k*b - 3*o for b.
1
Suppose 3*o - 29 = -0*o - 4*p, -2*o + 18 = 3*p. Suppose -o*a - 93 = -3*f - 17*a, 0 = -4*f + 3*a + 141. Solve 2*c + 5*i - f = 0, 4*c + 3*i - 11 = 4*i for c.
4
Suppose 39 = -18*p - 33. Let m be 9/((-27)/24)*-1 + p. Solve 3*r + 4*f - 19 = 0, -2 = 2*f - m*f for r.
5
Suppose 0 = 5*d + 15, -18*x - 1653 = -23*x + d. Let a = x - 330. Solve a = -3*r - m - 2*m + 15, 17 = 4*r + m for r.
4
Suppose 2653*i - 2575*i = 3822. Solve -2*h + 4*q = -53 + i, -5*q - 2 = -h for h.
2
Suppose v + 3*a - 8 - 2 = 0, -10 = -4*v + 3*a. Solve 3*o + 9 = 3*g + 18, -2*g + v*o = 12 for g.
0
Let y(j) = j**2 + 19*j + 4. Let d(n) = -n**3 - 64*n**2 - 184*n - 80. Let g be d(-61). Let l be y(g). Solve -z = 3*i - 3*z + 2, 4*z = -i + l for i.
0
Let k = 5967 + -5963. Solve -k*c = c + 3*l + 3, 0 = 2*c + l + 2 for c.
-3
Let q be 786/4 + 35/10 + -4. Let p = 197 - q. Let a(t) = -t**3 - t**2 - t - 2. Let n be a(-2). Solve 5*c = -2*v + 1, 0 = -v - n*c - 2 + p for v.
3
Suppose -g + 2 = -0*g. Let i(d) = 0*d - d - 104*d**2 + 103*d**2 + 26 + 3*d. Let c be i(6). Solve g*x + t + 7 = -2*x, -4*x + c*t + 2 = 0 for x.
-1
Let o = 11186 + -11183. Solve 5*w = 4*h - 12, 5 + 1 = o*h - 3*w for h.
-2
Let f be (2/(-8) - 72/(-32)) + 2. Suppose -2*p = -12*p - 10. Let u be (-7 - -6)/(-1) - 1*p. Solve -5 = f*z - z - u*g, 5 = 3*z - 4*g for z.
-5
Suppose 6*m - 13 = 23. Suppose r - a - 14 = 0, a + 2*a = -m. Solve 5*o = 2*l + 9, -4*o = -5*l - 3*o + r for l.
3
Let k = 7 + -5. Let j be 60/((-40)/8) + 12. Suppose j = -x - x + k. Solve 3*g + 0*b - 5 = 2*b, -4*b - x = -3*g for g.
3
Let g(q) = 34*q + 1947. Let p be g(-56). Solve 42*m - 2*u - 2 = p*m, 3*m - 18 = 2*u for m.
4
Let r(w) = -w + 10. Let i be r(9). Let g be ((-1)/i)/(4/(-56)). Suppose v + 4*t - g = 0, 0 = -2*t - 3*t + 5. Solve -4*o - 30 = 4*a + 2, o - 5*a - v = 0 for o.
-5
Let c = 51 - 53. Let q(x) = -9*x - 4. Let t be q(c). Suppose 0 = -7*u - 0 + t. Solve 0 = -3*h + 5*z - 30, -2*z = -u*h + 7*h + 19 for h.
-5
Let n = 0 + 5. Let o(c) be the second derivative of -17*c**3/3 - 111*c + 1. Let h be o(0). Solve -n*g - 25 = -2*m + 4*m, h = -4*g + 3*m + 3 for g.
-3
Suppose 0 = -16*r + 17*r + b - 3, 0 = -5*r + 2*b + 29. Let v(o) = -o + 6. Let l be v(3). Solve 2*m = -5*g + l, -3*g + 4*g + r*m + 4 = 0 for g.
1
Let b be -49 - 21/(49/7). Let t = b + 54. Solve 3*q = 7*j - 2*j - 19, -2*q - t*j = 2 for q.
-3
Suppose -24 + 64 = 8*y. Suppose y*r = -3*v + 20, 5*v - 4 = -0*r - r. Solve 0*j + q - 14 = -4*j, v = j - 4*q - 12 for j.
4
Suppose -o = -707*s + 709*s - 9, s - 3*o + 13 = 0. Solve s*g = -7*h + 8*h - 5, 4*h - g - 13 = 0 for h.
3
Suppose 50*o - 312 = -54*o. Solve 23 = w + 4*t, 2*w = 4*w + o*t - 21 for w.
3
Let t = 10737 - 10726. Let i be ((-1)/(-2))/((-2)/12). Let s = 2 - i. Solve -4*q - 35 = -s*l + q, -5*q = l + t for l.
4
Let h(u) = u - 22*u + 101 + 15*u. Let b be h(16). Solve -2*d = 2*d + b*c + 29, -c = -5*d for d.
-1
Let u(h) = 3*h**3 + 20*h**2 + 11*