2*j + 40. Suppose 0 = -3*t + j*t - 20. Let v be (-2)/(-8) + (-19)/(-4). Solve 3*i - 2*i + 5 = t*p, 2*p + 25 = -v*i for i.
-5
Suppose -2*l + 30 + 16 = 0. Let o = l - 16. Let q = 15 - -5. Solve n = -4*d - o, -5*n - 2*d - q = 3*d for n.
-3
Let g be (-46)/3*-5*(-15)/(-50). Suppose 0 = 6*k - 4*k + 42. Let f = g + k. Solve -x = -f*n - 10, 5*n + 2*x + 8 + 17 = 0 for n.
-5
Let n = -11 + 19. Suppose -4*j + 9*j - 10 = 0. Suppose -n + j = -t. Solve -t*k + 3*c = -3*k, -c - 4 = 0 for k.
-4
Suppose -45 = 2*k - 11*k. Solve 0 = -4*x - 0*t - k*t, -5*x = 3*t for x.
0
Let d(a) = 3*a**2 + 13*a - 1. Let f(r) = -r**2 + r + 1. Let c(h) = d(h) + 4*f(h). Let u be c(17). Solve -4*t - 5*w = 8, -t + u*t + 10 = -4*w for t.
3
Suppose -64 = -8*o - 48. Let w(n) = n**3 - 3*n**2 + 2*n + 2. Let g be w(o). Solve -g*b + 2*u = 2*b + 8, 0 = -2*b - u for b.
-1
Suppose 0*d - 2 = d, -4*d = g. Let f be 2/(-1 + 1 + 2). Let y be f*3 - (-9)/(-3). Solve b - 4 - 14 = -4*a, y = 2*b + a - g for b.
2
Suppose 678*j - 682*j + 80 = 0. Solve 4*p - 4*d + j = 0, -5 = 4*p - 0*p + d for p.
-2
Let d be (-2)/(-6)*(-375)/(-25). Solve -3*r - 2*r = -q - 17, 0 = d*r - 20 for q.
3
Suppose -1 = 3*l - 4. Let c = 1 + l. Solve -c*f - 2*r + 10 = r, -3*r = 4*f - 20 for f.
5
Let l(d) = 3*d + 32. Let h be l(16). Let i = -69 + h. Solve 4*g + 9 = -3*r - i, 0 = 4*g + 8 for r.
-4
Suppose -3*s - 24*a + 22*a = -15, a - 9 = -2*s. Solve 10 = k - 4*r, s*k + 4*r + 6 = 2*k for k.
2
Suppose 3*z - 36 = 3*q, 6*q = 3*z + 5*q - 46. Suppose -12 = 16*r - z*r. Solve 2*u = -2*m, -m + 0 = -3*u + r for m.
-3
Suppose 0 = 4*v - f + 3, 8*v - 10 = 3*v + 4*f. Let n = v - 0. Let d be 3 + n/2 + 3. Solve d*t = -0*t + g - 30, 0 = t - 5*g + 30 for t.
-5
Let u = 19 + -23. Let s = -24 - -5. Let l be (-1)/(-4) + s/u. Solve 2*r - 2*f - 5 + 1 = 0, -3*r - l*f = 10 for r.
0
Suppose 18 = 5*o + 53. Let j(y) = -2*y - 6. Let h be j(o). Let p = -5 + h. Solve p*g = d - 5, g + d + 0*d = 5 for g.
0
Let b(g) = -5*g - 25. Let w be b(-6). Let t(u) = -u**3 - u**2 + 2*u + 3. Let s be t(-2). Let p = 23 - 19. Solve s*m = 6*m + w*z + 11, p*m - 5*z = 32 for m.
3
Let a(l) = -l**3 - 8*l**2 + 6*l + 1. Let n be a(-9). Suppose -2*d - 35*j + 26 = -31*j, -38 = -d - 7*j. Solve 0 = -2*r + d*r + 2*h + 13, -5*h = r + n for r.
-3
Let c = -150 - -151. Solve 7*k + c = l + 4*k, -3*l + k - 5 = 0 for l.
-2
Let w = 43 + -41. Let r be 1 - -26 - 4/w. Solve 5*b + 4*n = -r, -3*n + 8 = -2*b - 2 for b.
-5
Let x(t) = -2*t**2 + 37*t - 49. Let q be x(17). Solve 0 = -0*g + q*g + 5*i - 8, 5*i = 10 for g.
-1
Let r(d) = -4*d - 1. Let g be r(-1). Suppose 3*f - 96 = -g*f. Suppose 0 = f*m - 11*m - 25. Solve 4*l = m*h + 32, 2*h = -l + 3*l - 14 for l.
3
Let u be (12/21)/((-28)/(-196)). Solve -u*y + 6 = 2*r, -y = 2*r + 4*y - 9 for r.
-3
Let x = 25 + -22. Suppose -5*u + 2 = -x*u. Solve -2*t = -y + u + 3, -5*t - 5 = 0 for y.
2
Let y = 9 + -3. Let l = 8 - y. Suppose 0 = -5*v + 4*z + 48, 4*z = 2*v + 11 - 35. Solve v = -l*w - 4*r, w - 3*r + 4*r = 0 for w.
4
Let y = -55 - -60. Solve -y*k - 2*t - 34 = -5*t, -31 = 5*k - 2*t for k.
-5
Suppose y - 15 = -2*q, 4*y + 30 = 3*q + 7*y. Solve -3*v + 3*u = 6, -3*u = -4*v - 0*u - q for v.
1
Let r be 9/(-15)*935/(-51). Solve 8 = 5*s + o, r*o - 7*o - 12 = 0 for s.
1
Suppose 3*a = -f - 7, -7 = 4*f - a + 6*a. Let s be (f - (1 + -2))*(4 + -3). Solve 5*h = g + 23, 4 = s*g + 3*h - 17 for g.
2
Let r = 67 - 67. Solve r = -5*w, 3 = a - 4*a - 2*w for a.
-1
Let r(a) = -a + 12. Let f be r(5). Let b = 6966 - 6963. Solve -c + 2 + 1 = -2*z, b*z + f = 4*c for c.
1
Suppose 3*t + 2*y = 3*y - 2, -4*t - 4*y + 8 = 0. Suppose -14*w + 10*w - 128 = t. Let a = w + 35. Solve -5*n - 6 = 5*q + 9, a*q + 5*n = -5 for q.
-5
Suppose -87 = -y - 5*m - 64, 0 = -3*y - 5*m + 29. Solve 4*p - b = -y*b + 14, 3*p = 4*b + 27 for p.
5
Let v = -103 + 132. Let t be (-6)/(-3)*(-9)/(-6). Suppose 0 = 3*j - t*n + 12, -3*n + 8 = -j - n. Solve -b + 4*s + 4 = b, j = 5*b + 3*s + v for b.
-4
Suppose -4*d - 20 = -0*d, 0 = -3*a - 2*d + 44. Suppose -37 = -3*b + 5*w - 14, -7 = b + 2*w. Solve f = -5*v + 4*v - b, 4*f + a = 3*v for f.
-3
Let j(y) = 63*y + 192. Let s be j(-3). Solve 0 = -2*b - 5*q, 20*q + 21 = s*b + 17*q for b.
5
Let t be 4 + -3 + 2 + 1. Suppose 4*a - 6 = 6*a, 5*a = t*i - 27. Let p be 126/33 + -4 + 711/99. Solve i*v = 4*k + 18, -k + p = -2*k + 2*v for k.
-3
Let p(g) = -g**3 + 7*g**2 + 27*g - 6. Let d be p(-3). Solve -d*s - 8*q + 16 = -4*q, -2*s - q = -4 for s.
0
Let h = 1628 + -1626. Solve -3*w - 36 = -5*l - 1, -w + 3 = h*l for w.
-5
Let u be 15/((-1)/(((-72)/30)/4)). Solve -5*b - 20 = -3*v, u = 2*v + b - 0*b for v.
5
Let u(c) = -1 - c + 2*c - 1 - 1. Let w be u(6). Solve -6 = -2*n - f, -2*f - f - w = -n for n.
3
Let b(y) = y**2 + 6*y - 5. Let t(d) = d**3 + 6*d**2 + 5*d - 7. Let a be t(-5). Let m be b(a). Let z = m - -3. Solve 18 = -5*f + 2*k, 3*k + 24 = -z*f - k for f.
-4
Suppose 5*l = -2*d + 57, 3*d + 2*l = 4*d - 15. Suppose 0 = -4*t + 6*f - f - 44, 3*t - 4*f = -32. Let g = t + d. Solve 9 = i - g*c, 4*i - 3*i + 1 = -5*c for i.
4
Let u = 58 - 46. Suppose -u = x - 5*x. Let m(f) = -f**2 + 6*f - 5. Let v be m(5). Solve 0 = -2*c - x*c + 3*d + 6, v = 4*d + 8 for c.
0
Let u(q) = -q**3 - 25*q**2 + 3. Let s be u(-25). Solve 0 = g + 5*a - 9, 2*g + s*a = 7*g - 17 for g.
4
Let a = -10 - -30. Suppose 2*o - 2 = -0*o. Suppose o = d, g - 3*g + d + 7 = 0. Solve g*x + 6*s - 3*s - a = 0, -4*x - s + 20 = 0 for x.
5
Suppose 76 = -5*i + 16. Let j be (-2 - 21/i)*4. Let l be 3/3 + (j - -2). Solve -3*u + l = 5, 0 = 5*h - 5*u for h.
-1
Let y(i) = 2*i**2 - 6*i - 8. Let l be y(6). Let c = -26 + l. Let t be ((-5)/(-15))/(c/12). Solve 2*p = t*f - 4 + 2, 3*p = 2*f - 7 for f.
-4
Suppose 0 = -0*w + 14*w. Solve -d + 3*u - 8*u = 9, -2*d + 3*u - 5 = w for d.
-4
Suppose 3*g + 2*z - 2 = 0, -4*g - z - 2*z + 2 = 0. Suppose -2*a - 5*f = -23, 3*a - g*f - 3*f = -3. Solve 24 = j - 3*j - 4*x, 5*x + 17 = a*j for j.
-2
Let h be (-84)/6*(1 + -6). Let u = -66 + h. Solve -i - i = 3*f - 13, 0 = u*i - 5*f + 7 for i.
2
Let u be 1 - (-52)/(-4)*1. Let p = 12 + u. Suppose 3*t - 4 - 5 = p. Solve -2*b + 0*b + 15 = 5*z, -t*b + 6 = 2*z for z.
3
Let d = 960 - 960. Solve 0 = v + 4*q + 19, -q - 2 = 3*v - d*v for v.
1
Suppose -3*k - 6 = 0, 0 = -4*g + 3*k - 4*k + 18. Suppose -g*b + 16 - 6 = 0. Solve 3*m - 20 = q, 2*q - 3*q - b*m = -5 for q.
-5
Let q be (-40)/(-150)*5*(-27)/(-6). Solve 9*y - 8*y = -p - q, 4*p = -y - 21 for p.
-5
Let l(m) = -2*m. Let i be l(-1). Let r be i/(8/(-4)) - -3. Let a be (0/2 - 0)*1. Solve -3 = -r*j + c, j = -3*c - a*c + 5 for j.
2
Let z = -4 - -7. Suppose z*r + 21 - 117 = -3*a, 4*a - 161 = -5*r. Solve -9 = -4*n - 5*c, -5*c = -3*n + n - r for n.
-4
Suppose -3*k = -2*k - 6. Let g = -4 + k. Suppose -7*o + 3*n = -g*o - 160, -3*o = -4*n - 96. Solve 5*f + 5 = -5*x, f + 3*f = 3*x - o for x.
4
Suppose -3*s - 2*g + 137 = 0, -1 = -g - 0. Let j = s + -42. Solve -4*p = p - 5, -2*p - 1 = -j*v for v.
1
Suppose 4*m + 4 = 4*r, -21 + 2 = -5*r - 2*m. Let h be 4 - (-1)/2*(r + -5). Solve 13 = -h*f + z - 0*z, -5*f = z + 27 for f.
-5
Let t be (-2 - 0)*(15/3 + 5). Let k = -10 - t. Solve k = 2*j + 3*o + o, -5*j + 4*o = -25 for j.
5
Let i be (-3 - 0)/(45/24)*-10. Suppose i - 48 = -4*k - 5*h, 8 = -4*k + 5*h. Solve -17 = -6*a + a + k*v, 5*v = -20 for a.
1
Let o = 594 + -589. Solve -2*b = -3*b - 5*x - 3, 0 = o*x for b.
-3
Suppose 5*k - 3*p + 7*p + 40 = 0, 2*p + 2 = -k. Let u = -13 - k. Let o be (3/(-6))/(u/2). Solve 4*b - 5*b - 1 = -4*t, 0 = b + o for t.
0
Suppose 0 = -5*r + 5*f + 20, 34 = 3*r + 5*f + 14. Solve -3 = -2*j + i, 2*i - 3 = -3*j + r for j.
2
Suppose 0 = l - z - 0*z - 37, -2*l + 3*z + 77 = 0. Suppose 4*g - 2*w - l = 0, -5*w = 4*g + 9 - 36. Solve -4*i = 2*m + 16, -i + 3*i = 4*m - g for i.
-4
Suppose -z + 19 = -4*r, -4*z - 3*r = -9*z + 27. Solve -4 = -o - 5*v - 7, z*o + 4*v - 2 = 0 for o.
2
Let s(g) = -22*g + 399. Let i be s(18). Solve -5*z - 15 = -i*v - v, v - 4*z = 12 for v.
0
Let u(h) = 2*h**2 + 4*h + 4. Let p be u(-1). Solve -4*n + p = 5*r, 0*n + 5*r = n + 12 for n.
-2
Let j(r) = -5 + 3 + 28*r - 29*r - 4. Let z be j(-9). Suppose -3*p + 6 = 0, 0*m + 4*m - 2 = 3*p. Solve -m*o - l + 7 = 0, l = 4*l - z for o.
3
Suppose y = 2*f - 12, -4*f + 10*y - 9*y = -28. Let k = -6 + f. Solve 5*m + 2 - 3 = k*n, -11 = -m - 5*n for m.
1
Let t(b) = -b**3 + 8*b**2 - 15*b + 5. Let r be t(5).