Let v be u(8). Let q be (-104)/(-48) - (3/18 + 0). Let o = q + v. Solve 3*x - o = k, 5*x + k + 4 = 24 for x.
3
Suppose 0 = 3*u - 4*f - 187, 3*u - f - 57 = 136. Suppose h + 0*a = -4*a + 13, 5*h = -a + u. Suppose h = -r + 19. Solve 2*m + r = 0, -2*t - 4*m = m + 17 for t.
-1
Let p = -19704 + 19704. Solve 2*z = -j, p = -9*j + 4*j - 3*z + 14 for j.
4
Suppose 0 = 122*h - 154*h + 512. Solve 2*q + 62 - 58 = m, -3*q + h = 4*m for q.
0
Let q = -3497 + 3500. Solve q*a - 20 = 5*s, -4*a + a + 3*s = -12 for a.
0
Let c = 43 + -38. Let j(m) = 6*m + 161. Let b be j(-22). Solve -3*k = -c*y - b, -13 = 2*y - 5 for k.
3
Let n be (0 + 0)/(-4 + 2). Suppose -g = -5*b - 88, -6*g = -g - b - 128. Solve 2*x + g = 3*q, -2*x = -n*x + q + 3 for x.
-4
Let g(u) = 2*u**3 + 33*u**2 - 239*u + 66. Let q be g(-22). Solve 7 = -p + 4*s - q*s, 0 = 8*p - 4*s for p.
1
Let g be (-1)/2 + (-2)/(-4). Let r be 6/(-8) - (-626)/(-8). Let m = 82 + r. Solve -3*n = -h + 8, 2 = -2*h - m*n - g for h.
2
Let b = 111 + -105. Suppose b*y - 32 + 8 = 0. Solve -r = -5*d - 4, -1 = -y*r - 4*d + 9*d for r.
-1
Let r = -2738 - -2741. Suppose -5*s = -4*s. Let q be (-16 - s)/2*-2. Solve -r*u + 18 = -4*n - 4, -2*u = 5*n + q for u.
2
Let t(x) = 3*x**2 - 8*x - 6. Let l be t(-6). Let y = 154 - l. Solve 5*u + 3 = 4*u - d, -d - y = 0 for u.
1
Let m(s) = s**3 + 14*s**2 - 33*s - 17. Let j be m(-16). Let g be (j - 2)/(5/(70/(-21))). Solve 4*y - 6 = -3*b + g, 2*y = -2 for b.
4
Let b(h) be the second derivative of h**4/12 - h**3/3 - 12*h**2 - 103*h. Let d be b(6). Let k be 1/4 - (-38)/8. Solve d = k*j - 10, o = 5*j - 6 + 1 for o.
5
Let n(s) = -s**3 - s**2 - s + 468. Let c be n(0). Suppose 92*q - 40*q = c. Solve 3*m + 12 = -3*b, 4*m + 2*b - 5*b + q = 0 for m.
-3
Let u be 2/5 + 56/35. Suppose -112 = -u*q - 20. Let d = q - 32. Solve 5*y - d = -5*k + y, -2*k = -2*y - 2 for k.
2
Let k(y) = -14*y - 8. Let b be k(0). Let c(o) = 5*o**2 + 39*o - 1. Let j be c(b). Let z = 8 - 4. Solve -3*p = -z*r + 4, -j*p = 3*r - 2*p + 26 for r.
-2
Let r = -6400 + 6400. Solve r = 4*b - 3*u - 30 + 6, 5 = -b - 2*u for b.
3
Suppose 4*v + 0*v - 16 = -2*g, 0 = 5*g + 4*v - 46. Suppose 0 = -g*k - 14*k + 120. Solve 0*u = 5*c - u, 4*u - 15 = k*c for c.
1
Let n = -334 - -337. Suppose -4*b - 304 = -42*b. Solve 4*p + 6 = -3*j + 29, -p + b = n*j for j.
1
Let g be (6 - 125/20)/(4/(-112)). Solve -h - z = 2, -5*z + g = -h - 7 for h.
-4
Let f(h) = -h**2 + 17*h - 44. Suppose -13*j + 4*r + 53 = -8*j, -2*r = -6. Let y be f(j). Solve 3*p + 2*p + 4*u + y = 0, 0 = 2*p - 4*u + 20 for p.
-4
Let s be 4 + (-2 - 9) - 2. Let n = s - -11. Suppose 0 - 12 = -3*z. Solve -3*t = -z*j - 17, t - 9 = n*j + j for t.
3
Let l = -88 - -89. Let r be (20/12)/(l/3). Let k be r*(-6)/(-45)*21/2. Solve 0 = f - 2*c + 9, 2*f - 3*c = -k*c + 14 for f.
-1
Suppose -3*o + 15 = -w, 0 = 5*o + 3*w - 6*w - 29. Suppose 2*s + n + 10 = -o*n, 0 = s + 2*n + 4. Solve -4*k + 4*h + 10 = -9*k, 5*k - 5*h - 35 = s for k.
2
Suppose -16 = -15*p - 61. Let s be 3 + 0 - -15*p/15. Solve x + 2*j - 2 = 0, -5*x - 2*j = -s - 2 for x.
0
Suppose -2*k + 166 + 34 = 0. Suppose -120 + k = -5*n. Solve 0*b + 2*b - 6 = -5*c, 2*c = -n*b + 12 for c.
0
Let b be ((-33)/(-9) - 4)*(-2382)/(-2). Let d = b + 400. Solve 5*w - 5*p = -30, -w + d*p - 8 = -0*p for w.
-5
Suppose -18*z - 11 = -6 - 77. Solve 0 = 5*d - w + 5*w - 28, 4*d + z*w = 24 for d.
4
Let a = 1009 - 1005. Solve -a*m + 4*u - 12 = 0, 3*u - 2 = 4*u for m.
-5
Suppose -3*h = -9, 5 = -2*r - 2*h + 5*h. Suppose -5*o = -r*o - 27. Suppose -c = -4*c - o, -39 = -3*l + c. Solve -2*i - i - l = -y, 8 = 4*y - 4*i for y.
-3
Let g = 12770 + -12764. Solve 9*m = 4*m + 6*t - g, -4*m + 4*t - 4 = 0 for m.
0
Suppose 84*b + 2*y = 86*b - 20, 3*y + 21 = 0. Solve -13 = -35*s + 37*s - b*j, -3*j = 4*s + 17 for s.
-5
Let f = -9737 + 9749. Solve q - 2*q = -4*k - f, -q - 3 = k for q.
0
Let x be 14/3 + 2/6. Suppose x*s = 4*h, -s = 7*h - 4*h - 19. Solve -s*j - d - 4 = -5*d, -3*d - 12 = 0 for j.
-5
Suppose 2*n + 21 = z + 5, -5*z + 25 = n. Let h be (-470)/50 + 12 + (-6)/(-15). Solve 2*l + 29 = y - z*y, -h*l + y - 1 = 0 for l.
-2
Suppose 7*p + 5*j - 18 = 6*p, -24 = -5*p + 8*j. Solve p*k - 3*k = o - 3, 5*k = -5 for o.
-2
Let d(r) = -3*r**2 + 22*r - 14. Let n(u) = -u**3 + 10*u**2 + u - 4. Let c be n(10). Let y be d(c). Solve 4*g + 13 = -5*a, 4*g + y = -a - a for a.
-1
Suppose 3*r + 29*p - 172 = 0, -8 + 54 = 4*r + 2*p. Let t = 13 + -9. Solve 3*y - 1 = -t*i, 0 = 3*i - 2*i - y - r for i.
4
Suppose -282*g = 6*g - 8064. Solve g = 5*s - 48*f + 45*f, -4*f = -s + 9 for s.
5
Let c(k) = -109*k - 2178. Let p be c(-20). Solve 2*b + 4*x - 6 = 0, -4*b - 2*x = -10 - p for b.
3
Let u(l) = -3*l - l - 42 - 3*l + 5*l. Let k be u(-21). Suppose 2*p - 30 = 4*j, p + 5 = -k*p - 2*j. Solve -9 = -2*y - 1, 37 = p*d + 3*y for d.
5
Suppose -2*o = -34*i + 37*i - 164, -4*i = -32. Solve 0 = -3*w + 9, -g + 69*w + 5 = o*w for g.
2
Suppose -x - 16 = -19. Suppose -8*f + 858 = x*f. Suppose -32 = -5*g + f. Solve -3*v - 4*h - g = -6*v, -4 = h for v.
2
Suppose 0*n - 5*n + 15 = 0. Let p be (-1 - 7)*(10 + 459/(-36)). Suppose v = m + 1, -p = -2*v - 6*m + 3*m. Solve -v*z - u - 3 = n, 8 = 2*u for z.
-2
Suppose 3*u - 468 - 219 = 0. Let d = u + -225. Solve w = -4*w + 4*b + 41, -w - 11 = d*b for w.
5
Let k = -89 - -94. Suppose -k*f = -13*f. Let j(i) = i**3 + i**2 - 3*i. Let a be j(f). Solve -3*g - h = g + 12, a = 3*g - 5*h - 14 for g.
-2
Suppose 2*s + 4*o = 12, -3*s - 2*o + o = 2. Let p be (40/12)/(-10)*(-14 - s). Solve -t = 0, 0*v - 3*v - p*t = 15 for v.
-5
Let b(p) = -5*p - 22. Let w be b(-6). Suppose w = 8*x - 16. Suppose -6*d + 6 = -x*d. Solve 5*c - 4*c - 3*q = 5, 2 = -d*q for c.
2
Let l = 3812 + -3811. Solve -j - 2*c = -c + l, -c = -2*j - 8 for j.
-3
Let d(n) = -2*n**2 + 78*n - 758. Let x be d(20). Solve 12 = 4*b, -x*p = b - 66 + 67 for p.
-2
Let j(l) = 2*l**2 + 2*l - 1. Suppose i - 13 = -7. Suppose i = 4*x + 14. Let d be j(x). Solve -4*p + 6 = -2*a, -a - 28 = d*p + 4*a for p.
-1
Suppose 0 = -9*m - 102 - 258. Let s be m/6*90/(-75). Solve 2*y = a - s, a = 3*y + 6 + 4 for a.
4
Let b = 556 - 548. Suppose 5*s = 2*q + 2, 2*s - 6*s = -b. Solve 5*l = g - 10, 0 = -8*l + 3*l + q*g + 5 for l.
-3
Let v be (3/(-9))/((-5)/(-6) + -1). Suppose 5*b = m - 0 + 18, 0 = -5*m + 2*b + v. Solve -2*i + 12 = x - 2*x, -14 = 2*x - m*i for x.
-2
Suppose -3*u + 278 = -5*q + 1279, 0 = 5*u - q + 1683. Let w = u + 341. Solve -w*s - t - 3 = -2, 8 = 4*s + 4*t for s.
-1
Let s be 30/(-20)*-4 - (4 + (-8)/4). Solve -3*c + 0*l = -s*l, 5*l = -3*c for c.
0
Let v(b) = 7*b - 2. Let a(q) = 13*q - 3. Let x(i) = 3*a(i) - 5*v(i). Let u be x(3). Solve 3*l + 5*o = u, -l - 11 = -2*l - 5*o for l.
1
Let i = -691 + 979. Let j = -285 + i. Solve 2*y - 3*y = 4*v + 3, 0 = -j*y + 4*v - 9 for y.
-3
Let x(n) = -54 + 14 - 52 + 17*n. Let c be x(6). Suppose -9*b + c*b = 1. Solve k = l, -2*k = l + 14 + b for l.
-5
Suppose -4*l + 1368 - 2638 = -1310. Solve -5*t - 19 - l = -q, 2*t + 14 = q for t.
-5
Suppose 11*y - 1332 + 1310 = 0. Solve -2*r - q + 6*q = 19, y*r = -4*q + 26 for r.
3
Suppose -175*a = -169*a - 1008. Suppose -a = -5*g - 158. Solve 0 = 3*d + 4*x - 11 + 1, x = g*d - 3 for d.
2
Let c(h) = -3*h**2 + 15*h - 10. Let r be c(4). Suppose 0 = -2*t + r*d + 14, -2*t - 2 - 2 = 4*d. Solve z - 3*q - 10 = 0, t*z + 4*q + 18 + 6 = 0 for z.
-2
Let j = -10 - -4. Let d(b) = -b**3 - 7*b**2 - 8*b - 8. Let g be d(j). Let n be (4 - (-2 + 1))/1. Solve 25 = -h + n*a, -1 = -5*h - a + g for h.
0
Let k be (8/4)/((-2)/(-3)). Suppose 9 - 15 = -k*q. Let z be (5 - 11)*(-1)/q. Solve -5*r + b = -z*b + 16, 0 = 5*r - 2*b + 18 for r.
-4
Suppose 3*p = 6*q - q - 390, -p = 5. Let s be (q/10)/((-1)/(-2)). Solve 5*r - 3*j = -6 - s, -4*r - 4*j - 4 = 0 for r.
-3
Let v(z) = -z**3 - 12*z**2 - 119*z - 1426. Let c be v(-12). Solve 11*k - h = 6*k + 19, -c*h - 8 = 0 for k.
3
Suppose 3*p + 9 = -155*i + 158*i, 3*i = -5*p + 33. Solve -4*u + 66 = 5*o + 41, 0 = -p*u - 2*o + 17 for u.
5
Suppose -295*g - 18 - 9 = -304*g. Solve -g*x + 4 = b, 0*b + 6 = -3*x - 3*b for x.
3
Suppose -3*g - 3*n + 456 = 0, -3*n + 248 - 96 = g. Suppose 0 = 6*d + 13*d - g. Solve l = 5*l - d, 2*l - 7 = 3*p for p.
-1
Suppose 4*y = -v + 9, 4*y - v = 36 - 29. Solve 3*c - 2*j + 4*j - 1 = 0, -y*c - 4*j = 2 for c.
1
Suppose 27 = 13*h - 4*h. Suppose 36 - 6 = 6*i. Suppose 0 = -i*p + 32 - 7. Solve 1 =