*x + 887. Solve 3*s - 4*z - 22 - 3 = 0, 2*s - x = 2*z for s.
-1
Suppose 3*c - 777 + 788 = -2*f, -5*c + 3*f = -45. Suppose 2*n + 0*n - 10 = 0. Let z = n + -3. Solve 0*k + 3*k = 4*w + 12, -z*k = c*w + 9 for k.
0
Suppose -2*m = k + 4, -3*m + 3*k - 6*k - 3 = 0. Let z(f) = -f**3 - 5*f**2 - 9*f - 3. Let y be z(m). Solve 5*x - 3*r = y - 35, -x - 1 = r for x.
-4
Let u(l) = 2*l**2 - 5*l + 5. Let z be u(2). Suppose 17*a + 9*a = -30*a + 168. Solve -3*q = z*v - 6*q - a, -3*v = 4*q + 11 for v.
-1
Let o be 9*(5 + (-18)/6). Suppose -o + 6 = -4*y. Solve y*j + 4*r = 1 - 8, 0 = -3*j + 3*r for j.
-1
Suppose -i = 3*i - 8. Let t(f) = -f**3 - 32*f**2 + 67*f - 30. Let v be -17*(-5 + 10 - (0 + 3)). Let u be t(v). Solve u*j = -4*g + 28, i*g = 15 - 5 for j.
2
Suppose 15 - 13 = 10*w + 2. Let s = 1 - -2. Solve w*k + 25 = 5*f + s*k, 4*k = 20 for f.
2
Suppose -7*c - 1699 = 1703. Let z = c + 491. Solve -2*a + 15 = 2*u - 5*u, u = 5*a - z for u.
-5
Suppose -66*u + 128*u = 74*u. Solve 10*j - w = 35, -4*w - 14 - 6 = u for j.
3
Suppose 0 = -237*h + 1122 + 300. Solve -z + o - 6 = 0, h*o - 20 = 2*o for z.
-1
Suppose 16*w + 7349 = 789. Let u = w - -410. Solve i + 5*n = -u*i + 16, i + n = 0 for i.
-4
Let b(z) = z**3 + 2*z**2 - 8*z + 5. Let j(t) = -t**2 - 19*t - 64. Let g be j(-4). Let q be b(g). Solve 5*r - q*y - 9 = 41, -5*y = 25 for r.
5
Suppose -4*k + 66 = -6*k. Let i be 4/24 + k/(-18). Suppose 0 = -4*a - s + 18, -3*a + i*s - s + 10 = 0. Solve -37 = -5*d - 3*t, 26 = 3*d + a*t - 5 for d.
5
Let x be 0 + 4 + (-63)/7. Let r be x/((-125)/120)*-5. Let y = r + 24. Solve 3*f = -4*d - y*f + 14, 4*f - 8 = 0 for d.
2
Let z = -6067 + 11702. Let b be 6/(-75) + z/125. Solve 5*x + 5*s = -b, 4*s = 2*x - s - 17 for x.
-4
Let g(o) = -2*o**2 + 12*o - 6. Let v be g(5). Suppose 0*q + v*q = -4*q. Suppose 5*a + y - 18 = -0*y, 0 = -y - 2. Solve 0*n + n + c = q, -15 = a*n + c for n.
-5
Suppose -413*u = -54*u - 1436. Solve 0 = b, -179 = -t - u*b - 177 for t.
2
Let g = -6843 - -6846. Solve -6*j + j = -5*p + 15, -12 = -4*p + g*j for p.
3
Let r be -1*((-14)/(-1) - 16)/((-2)/(-17)). Solve 2*y + r*h - 15*h = 14, -3*y + 24 = 4*h for y.
4
Let d be 1/(1 + 74/(-76)). Let a be 3/18 - (-11233)/282. Let g = a - d. Solve 3*n = -5*t + 4, 5*n - t + 8 = g*n for n.
-2
Let d be ((5 - 63/12)*6)/((-36)/120). Solve -24 = -d*v - n, -25*v + 22*v + 4*n = -19 for v.
5
Let z(l) = 3*l**2 + 4*l + 5. Let y be ((-6)/(-5))/(2/(-5)). Let g be z(y). Suppose -7 + 2 = -q. Solve -s - 4*i + 7 = -q, -s = -4*i + g for s.
-4
Let i(l) = -15*l + 68. Let p be i(4). Let m be -5*(2/(-5) + 0). Suppose -2*h - m*h = -p. Solve -h*c - 3*x - 4 = -14, -5*x = -20 for c.
-1
Suppose -5*q + 5*n + 0 = -15, 0 = 3*n + 3. Suppose 3*f - 7 - 8 = 0. Solve -u = f*a, -3*u + a = -q*u for u.
0
Let j(d) = -d**3 - 4*d**2 + 3*d + 1. Let h be j(-5). Suppose 10*s = h*s - 2. Solve -3*w - s*r + r = -14, r - 24 = -5*w for w.
5
Let u be (-18)/(-4)*320/360. Let t be 6/(u/(-14) - 667/(-644)). Solve -32 = -4*z - 4*y, 0 = 3*z - 3*y + t*y - 30 for z.
5
Let a = -170 + 173. Let g be (-17)/(-34) + 6*a/12. Solve -5*v + v + 5 = -5*c, g*v - 10 = 0 for c.
3
Suppose -297 = -235*x + 408. Let c be 4 + 2 + 6/(-2). Solve -x*l + 2 - 5 = f, c*l = 4*f - 3 for f.
0
Let t = -151 - -154. Suppose -4 = -k + 3*m, 0*m + 20 = 2*k - t*m. Solve 4*i + k = z, -i - i - 8 = 2*z for z.
0
Suppose 2*h = -8*n + 10*n - 16, 4*n = 5*h + 39. Let g be (2/h)/((-32)/336). Solve 3*c + 2*t + g = 9, 10 = 5*c - 4*t for c.
2
Let g(p) = p**2 + 72*p - 465. Let n be g(6). Solve 4*i = 3*l - 5*l - 16, 4*l - 12 = n*i for i.
-4
Suppose 291*b = 375*b - 168. Solve -c + 6 = b*p, 6*p - 4*p + 4*c = 18 for p.
1
Suppose 3 = -3*d, -4*s + 5*d + 39 = 14. Solve 3 = -n, 4*i + 0*n + 23 = -s*n for i.
-2
Let q(v) = -v**2 + 61*v - 574. Let y be q(49). Solve 3*l = 3*b, y*b = l + 10*b - 3 for l.
-1
Suppose 2*f = -3*b - 0 - 5, -5*b - 10 = 5*f. Let i be (0/((-5)/b + -4))/1. Solve u + i*u = -2*q + 1, 4*u + 6 = -3*q for q.
2
Let z = 10 + -7. Let u = z + -19. Let g(k) = 2*k + 35. Let a be g(u). Solve 3*c - n = 7 + a, 5*n - 10 = 0 for c.
4
Let x = -60 + 79. Suppose 2*v = 91 + x. Let y = 57 - v. Solve k + 4 = -y*r + r, 0 = -r + k + 4 for r.
0
Let d = 112 - 100. Suppose 0 = -4*w - d, -k - k + w = -7. Solve 15 = -p + 6*p, 5 = k*m + 5*p for m.
-5
Suppose 8*w + 13*w = 273. Let j = 41 - w. Solve -5*t - 40 = 5*i, 5*i = -4*t + 3*t - j for i.
-5
Suppose -29*t + 21 = -22*t. Suppose t*w - 2*x - 61 = 0, 39 = 2*w - 2*x + x. Solve 5*z - w = -4*q, 0*z - 5*q = 2*z for z.
5
Let m be (-54)/(-24)*40/15. Suppose 0 = -5*x + 20, -22*n - m = -24*n + x. Solve -4*g - 1 = -b + 3, -5 = b + n*g for b.
0
Suppose 180 = 10*n - 5*n. Suppose -d - n = -4*d. Suppose 3*v - k - d = 0, 4*v - 3*k - 2*k = 5. Solve -14 = -v*p + 2*z, 3*p = 2*z - 0 + 6 for p.
4
Suppose 40*f - 43*f - c = -17, -5*f + 5*c + 15 = 0. Solve 0 = 4*d + 4*i + 12, 3*d - 14*i + 16*i + f = 0 for d.
1
Let y(q) = 5 + q + 0 + 3. Let c be y(-6). Let w = -5245 - -5248. Solve 5*v + w*r + c = 0, -6 = 5*v - 0*r - r for v.
-1
Let k(i) = -2*i. Let n(u) = u**3 - 7*u**2 + 7*u - 9. Let r be n(6). Let l be k(r). Suppose 0 = -l*a + 8*a. Solve -z - w + 5 = a, 3*z + 4*w + 2 = 18 for z.
4
Suppose -15 = 2*s - 5*s. Let o be (8 - (1 + -2)) + 0. Let k = -139815 + 139819. Solve -r - r + s*t = 17, 3*r + k*t = o for r.
-1
Let w be (0 + -2)*(-28 - -26). Solve -3 = -4*l - 3*u, l - 28 = -w*u - 24 for l.
0
Let q = -317 + 311. Let y be -7 - -17 - (3 - (-1 - q)). Solve -3*x + 0*x + 4*i = y, 4*i = -5*x - 20 for x.
-4
Suppose 2*q + 14 = 4*i - q, 5*i = -4*q + 2. Let f(p) = -p**3 - 2*p**2 + 11*p + 4. Let d = -28 + 23. Let w be f(d). Solve -l = i*o, 2*l - w = -3*l + 2*o for l.
4
Let n = -1388 + 1390. Solve -2*w - 17 = 5*c + n*w, 0 = 5*c - 4*w + 33 for c.
-5
Let k = -7 + 11. Let b be ((-3 - -1)/(-6))/(k/24). Solve 4*p = 4*d + 2*p + 2, p + b = d for d.
-3
Let j = 3524 + -3524. Solve -3*i + g = -3, -2*i + j*i = 2*g + 6 for i.
0
Let t(x) = -x**3 - 16*x**2 + 6*x + 79. Let w be t(-14). Let o = w - -397. Solve -5*y - 5*u + 5 = 0, 5*y + 1 = -o*u + u for y.
0
Suppose 4*n + 12 = -0*n - 5*k, n = 2*k + 10. Suppose -3*w + 9*w - w = 0. Suppose 13*q - 26 + w = 0. Solve c - 2*o = -n*c, o + 7 = -q*c for c.
-2
Let o = 188 - 186. Suppose 20 = -4*w + 5*w + 4*d, -o*w = -2*d. Let h(i) = i**3 - 8*i**2 - 10*i + 9. Let j be h(9). Solve -5*y - p = 9, p - 2*p - w = j for y.
-1
Suppose 0 = -68*w + 75 + 469. Solve -4*y = 2*l + 14, y - 3*l - 1 = -w*l for y.
-4
Let f be ((-8)/(-20))/(2/20). Let i(r) = 2*r**2 - 8*r + 5. Let d be i(f). Solve -5*m = -3*t - 22, -2*t + d*m = 22 - 4 for t.
-4
Let r = 1474 + -1471. Solve r*k - 4*n - 3 = 0, 0 = -4*k - n - 0*n + 23 for k.
5
Let u(y) = -4*y + 7 - 25 + 2*y. Suppose 2*n = -4*s - 38, -21*s - 2*n = -24*s - 25. Let k be u(s). Solve -5*a + 9 = -2*w, 4*a + k*a + 5*w + 6 = 0 for a.
1
Let q = -15 + 15. Suppose 3*n + 21 = 0, 5*k - 4*k + 5 = -2*n. Solve -4*f - 2*t = -8, q = -5*f + 4*t - 6*t + k for f.
1
Let p(o) = o**3 + 10*o**2 - 10*o + 14. Let i be ((-8)/(-2) - -1) + -16. Let l be p(i). Solve 3*k + 18 = -u, u + 0*u = -l for k.
-5
Let d(x) = -5*x - 3. Let c be d(-5). Let z(u) = 107*u - 852. Let b be z(8). Solve -p - c = -b*m + p, p = -5*m + 17 for m.
4
Let y = 968 + -949. Solve 5*n + 8*f = 6*f - y, -n + 3*f - 14 = 0 for n.
-5
Suppose -33*h + 107 + 355 = 0. Solve 5*r + h - 2 = -3*v, -5*v = -4*r + 20 for v.
-4
Let u be 23 + -21 - (-45 - 4/(-1)). Solve -v + 30 = 3*j + u, -3*j - 17 = -v for j.
-5
Let x = -32 + 35. Suppose -7 = x*r - 16. Suppose -4*c + 3 = r*a, a = -c - 4*a - 12. Solve -4*v = -3*g + g + 10, 5*v - c*g = -13 for v.
-2
Let f be ((-9)/2)/(-1)*16/6. Let r(q) = -2*q**2 + 17*q + 89. Let p be r(f). Solve 7 = p*t - 4*y, 6*t - 3*y - 5 = 2*t for t.
-1
Suppose -304 = 115*p + 29*p - 3040. Solve 4*z + 21 = -d, 3*d = -5*z - p - 9 for z.
-5
Suppose 23*h + n - 4 = 20*h, -5*h - 4*n = -2. Solve -3*f - h*p = -f - 18, 5*f + 4*p = 40 for f.
4
Let g be -102*19/114 - -19. Solve -g*q - 9*p - 12 = -12*p, 0 = 2*q + p + 12 for q.
-6
Let s(x) = 22*x - 171. Let b be s(8). Suppose -8*p = 9*p - b*p. Solve -w - y + 1 + 1 = p, -4*y = 8 for w.
4
Let p be (1320/4620)/((-2)/(-28)). Solve 286*d - 16 = 291*d - p*z, -2*z = 2*d - 8 for d.
0
Suppose 26 = 5*p + 149*f - 150*f, 5*f = -p - 26. Solve -b + 3*z = -2*z - 19, -5*b + 11 = -p*z for b.
-1
Let h(q) = -9*q**2 - 205*q + 266. Let v be h(-