
Let k(v) = 8*v**2 - 55*v - 3. Let a be k(7). Solve -3*t + 16 = -5*d, -4 = a*d + d + 3*t for d.
-2
Let z = -90 - -41. Let w = z - -51. Solve 0 = -3*q + w*q - n + 8, 3*n - 15 = 0 for q.
3
Suppose q + 1 - 3 = 0. Solve 0 = 3*n + q*s + 11, -5*n - 2*s = -4*n + 9 for n.
-1
Let x(g) = 2*g**3 - 12*g**2 + 12*g - 8. Let l be x(5). Solve o = -5*d + l*o - 23, -3*o = -d - 13 for d.
-4
Suppose 5*t - 28 = -k, 2*t + 33*k - 28*k = 25. Solve 0 = t*h - 2*b - 5, -h + 2*b - 12 = -b for h.
3
Suppose 0 = 5*j - 7 - 13. Suppose -12*a + 48 = -j*a. Solve -2*k - a = 0, 4*k = -5*g + 2*g - 24 for g.
-4
Let q be (-4)/1*(-4 - (2 + -5)). Suppose -q*c - 6*l = -l - 20, c - 2*l = -8. Solve -2*z + 5*g - 22 = g, -5*g + 20 = c for z.
-3
Suppose -4*k = -3*q - 266, 2*k + k = -3. Let i = 93 + q. Solve -10 = i*c + l - 0*l, c - 5*l = 2 for c.
-3
Suppose 4*c = 15 - 3. Let n be -2 + 4/(-2 - -3). Solve 3*s - 2*p = n*p - 4, 0 = -2*s + c*p - 2 for s.
-4
Let w = -899 - -904. Solve w*x - 3*q - 6 = -8, -6 = x - 2*q for x.
2
Suppose 12*c = -596 - 40. Let q = -51 - c. Solve x + 3 = v - 4, q*v + 7 = -5*x for x.
-3
Let z be ((-26)/6)/(5/(-15)). Suppose -4*p = 1 - 17. Suppose t + p*t = 20. Solve -5*c = -5*g + 15, 3*c + z - t = 0 for g.
0
Let c = -21 + 32. Suppose -4*u + 116 = -5*r, 2*r = -u + 5 + c. Let g(p) = p**2 - 5*p - 3. Let m be g(6). Solve -5*s = -m*n - 29, -4*n + 4*s - s - u = 0 for n.
-3
Let o = 2 + -1. Let k(p) be the first derivative of -3*p**2/2 + 10*p - 25. Let g be k(2). Solve -2*d + g*b - 2 = 0, 5*d + 2*b + o = 8 for d.
1
Let b be (12/(-7))/(9/(-126)). Suppose 10 - 25 = -5*w. Solve 12 = 2*m + m + w*g, -m + b = 5*g for m.
-1
Let n(h) = h**3 - h + 1. Let x be n(1). Let g = 2 - x. Let w(t) = t - 1. Let y be w(g). Solve f + y*b + 2*b = -8, 0 = 2*f - 5*b - 29 for f.
2
Let r be 0/(0 + (0 + -4 - -6)). Solve r = -5*t + 5*j - 45, 11 = -3*t - j + 4 for t.
-4
Suppose -8 = 37*b - 41*b. Suppose b*i - 33 = -i. Solve -4*c = 3*o - 1 - 26, i = -3*c + 4*o for c.
3
Let a(p) = 4*p**2 + 9*p + 8. Let y be a(-2). Let t = 19 + y. Solve 5*c = -d - d + t, -18 = -c - 3*d for c.
3
Let q(n) = -n**2 + 15*n - 21. Let z be q(13). Suppose 7 = -3*c + c + 3*j, -2*c + z*j = 17. Solve -4*d + p - 2*p - 2 = 0, -4*p = -c*d - 12 for d.
-1
Let w(d) = 3*d + 8. Let s be w(-2). Solve g = -3*v, 5*g = s*v + g - 14 for v.
1
Let z(r) = 3*r - 3. Let q be z(2). Solve q*b - 4*l = b + 22, 0 = 2*b + 5*l + 23 for b.
1
Suppose -93*h + 228 = -55*h. Solve -m - 1 = 0, h*m - 7 = -5*v + 8*m for v.
1
Let i(t) = 8*t + 68. Let y be i(-8). Solve y*n = 4*z + n - 14, -2*n + 4 = 0 for z.
5
Let h be ((15/6)/5)/((-2)/(-68)). Suppose 2*m - h = 29. Solve 4*d - 2*p = 2*p - 16, -5*d + 2*p - m = 0 for d.
-5
Suppose -2*o = -5*o + 15. Suppose -30 = -23*y + 20*y. Suppose -p + v = o*v - 23, -y = -2*v. Solve 0 = 5*x - 2*d - 16, 0 = 4*x - 5*x + p*d + 11 for x.
2
Suppose 0 = 4*y + 21 - 29. Solve 0 = 2*q + 2*j - 4, -j - 2 = -y*q + 2 for q.
2
Suppose 35 = -6*v - 1. Let o be 2*((-1)/v)/(5/75). Solve 0 = -2*z - 3*z + o*d - 5, -d - 1 = -3*z for z.
1
Let w(r) = 5 - 3 - 2*r - 3. Let j be w(-2). Let f be ((-36)/21)/(2/(-7)). Solve f*z - j*z + a - 3 = 0, -3 = 2*z - a for z.
0
Let y be 4*2/(-8)*1*1. Let v = y + 7. Solve 5*m + 12 = 2*g, v = m - 2*m + 4*g for m.
-2
Suppose 8 = 3*g - 5*v - 14, 3*v = 2*g - 14. Let y(r) = -4*r. Let b be y(-1). Let p(f) = f - 2. Let k be p(b). Solve i - g = 0, 10 = u + k*i - 0*i for u.
2
Suppose -f - f = 0. Let a be -2*6/(-20)*(28 - 3). Solve -h + 16 = 5*k, -a = -f*k - 5*k for h.
1
Suppose -5*v + 3*q + 72 - 8 = 0, 0 = 5*v + 3*q - 76. Suppose 0 = w + 18 + v. Let u be (w/(-48))/(2/39). Solve -5*o = -p + 23, 5*p - 10 = 2*o + u for o.
-4
Let k(y) = y**3 - 17*y**2 + 4. Let p be k(17). Suppose p*r - 16*r + 60 = 0. Solve 2*s + r = 3*w - 3, -s + 5*w - 18 = 0 for s.
2
Suppose -2*i + 21 = i + 3*v, -2 = -2*i - 5*v. Suppose -3*r = -2*h + 4*h - 26, -5*r = -4*h + 30. Let q = i - h. Solve -s - 3*t = 0, 5*t + 0*t = -2*s - q for s.
-3
Suppose -13 = -3*m - f, 1 = 3*m - 2*f - 0. Let h be (-90)/(-27) + (-1)/m. Solve -5*o - 7*y - 3 = -3*y, -h = -o + y for o.
1
Suppose k = 5*l + 15, 5*k - 4*l = -l + 119. Suppose -h - k = -5*f, 2*f + 2*h = 7*f - 30. Solve 4*x - 6 = -2*q, 0*x = f*q + 2*x + 12 for q.
-5
Suppose 21*g - 3 = -c + 25*g, 0 = -5*c + 5*g + 15. Solve 4*w = 5*d + 2 - c, -10 = -5*w - 5*d for w.
1
Let h(s) = -s**2 + 2*s - 1. Let l be h(1). Let j(f) = -f**3 - 13*f**2 - 22*f + 16. Let n be j(-11). Solve 2*g - 5*k - n = l, k + 4*k = -20 for g.
-2
Let p be (-12)/(-20)*20/(-4) - -6. Solve -4*l + q + 5 = 0, -4*l + p*l - 3*q = 15 for l.
0
Let q = -54 + 59. Let i be (-5)/(-2)*q/(-100)*-16. Solve -4*u - 3*s - 11 = i*s, -5*u + s = -8 for u.
1
Suppose -7 + 27 = -2*y. Let f = y - -13. Solve f*a - 3 = 2*o + o, 0 = a + o - 1 for a.
1
Let b(x) = 2*x - 7. Let m be b(13). Solve -5*k + w - m = 0, 2*w + 6 = -k - 0*w for k.
-4
Suppose -5*m + m + 704 = 0. Let w be (-6)/21 - m/(-28). Suppose 5 = 7*q - w*q. Solve -k + 4*k - 2 = q*z, 0 = 2*k + 2 for z.
-1
Let u(f) = -3*f**3 - 131*f**2 - 85*f + 47. Let t be u(-43). Solve 0 = 5*l - i, -6 = 4*l - t*i + 10 for l.
1
Suppose -5*t + 2*t + 43 = -5*o, -5*t = -o - 35. Suppose 0 = -6*y + 186 + t. Solve -4*z - 3*d = y, -2*z + 0*z = 3*d + 22 for z.
-5
Let l = 2054 + -2054. Solve 5*s = 3*p + 4*s - 1, -2*s - 8 = l for p.
-1
Suppose -10*y = -29*y + 285. Solve 5*v - 4*v + 11 = 3*h, -3*v - 3*h = -y for v.
1
Suppose 12*v - 12 - 168 = 0. Let i = v + -13. Suppose 0 = -5*x - 0*x + 110. Solve 0 = -q - 5*h + x, -i*q - h = q + 4 for q.
-3
Let c be (3 - -2)*(-5 - -6). Solve -c*d = -u, 2*d - 14 + 2 = -2*u for d.
1
Let i be -30*(-4)/(-144)*-6. Solve 0 = y - 3*o - 14, -4*y + o - i*o = 8 for y.
2
Suppose 4*c - 8 = -2*q, -3*q - 11*c + 16 = -7*c. Solve -2*d - 19 = 3*f, -2*f = -2*d - 2 + q for f.
-5
Let d = -85 + 91. Suppose 12 - 30 = -d*i. Solve -1 = q + 3*s, 23 = 4*q - 3*s - i for q.
5
Let k be (-52)/(-14) + (-4)/(-14). Let b be 3*(3/(-9) - -4). Suppose 4*f - 1 = b. Solve -5*w - 3 = f*i, -k*i = -w + 6 - 2 for w.
0
Suppose 4*a = 5*p - 0*a - 15, 12 = 4*p - a. Suppose -11 + p = -2*r. Solve 2*m = 5*w - 7, r*m + w - 21 + 2 = 0 for m.
4
Let f(s) = 2*s**3 + 2*s**2 - s + 2. Let h be f(-2). Let a = 4 + h. Suppose -v + 17 = -a*v. Solve 0 = -3*m - 2*q, 9*q = m + 4*q + v for m.
-2
Let m = -10 - -10. Let v be (-2 - (-24)/18) + 8/3. Solve 4*a + m*n - 7 = 5*n, 0 = v*a + 5*n - 11 for a.
3
Suppose 0 = -2*z + 2*v - 0*v + 2, -2 = -2*v. Let f be 60/z*(-4)/(-10) - 0. Solve 0 = -5*k - r - 8, -k + f = 2*k - 5*r for k.
-1
Let i = 952 + -952. Solve -2*o = -3*u - i*o - 6, 4*o + 10 = -5*u for u.
-2
Let g(l) = l**2 - 3*l. Let d be g(4). Suppose 13 = 4*x - 15. Solve a = -d*k + 10, 0*a - x = -k + 2*a for k.
3
Let v(m) = m**3 - 8*m**2 - 3*m + 2. Let d be v(8). Let x be d/99 - (-202)/18. Solve -10 = -2*y, -5*y + 20 = 2*n - x for n.
3
Let y be (-140)/(-21)*15/20. Solve -5*x - 1 = 5*j - 21, -2*j + 5 = y*x for j.
5
Let d = 465 - 462. Let t = 14 + -14. Solve -5*o = d*m - 6, -4*m + t = -4*o - 8 for o.
0
Suppose 5*f - 400 = -0*f. Let l = f - 78. Solve -g + 2*z = 3*g - 14, -l = 2*g + 2*z for g.
2
Suppose -5*t + 10*t - 10 = 0. Suppose -t*s - 12 = -34. Solve -4*o = -20, -s = -0*j - 3*j - o for j.
2
Suppose -351*a = -383*a + 128. Solve -i + a + 3 = 5*z, -3*z + 9 = -i for z.
2
Suppose 0 = 3*i + 4*f - f, 5*i - 3 = -4*f. Suppose -i*s + 5 = -7. Let k = 56 - 52. Solve k*m + 16 = -s*g, m = 3*g - 0*m + 8 for g.
-3
Suppose -2*t = -7*t. Solve t*f - 11 = f - 4*z, -z = -f + 1 for f.
5
Suppose 2*t - b = 4 + 6, t = 4*b + 19. Suppose 2*g = t*g - 12. Solve 2*u - g = -4*v, v + 5*u - 1 = 4*u for v.
5
Suppose 5*l - 24 = 4*w, w + 8 = l + 3. Solve l*m - 2*p = -0*p - 10, -2*m - 3*p + 15 = 0 for m.
0
Suppose -13*j = -107 - 244. Solve -4*n + 7 = 2*w + 1, -5*w = -2*n - j for w.
5
Let k(t) = 7*t - 1. Let w be k(1). Let p(j) = j**2 - 6*j + 15. Let n be p(w). Solve 2*m - 5*b = -n, -m + 2*b + 2*b = 15 for m.
5
Suppose 3*b + j + 0 + 16 = 0, 5*j + 32 = -3*b. Let r = 20 - b. Suppose -36 = -5*h + r. Solve -3*q - h = x, -x - q = -4*x + 14 for x.
3
Let w(f) = 4*f**2 + 7*f - 10. Let c be w(2). Solve -4*d - 5 = 2*o + 25, -d + c = -5*o for o.
-5
Let b(u) = -u**2 + 15*u - 21. Let k be b(12). Let z be k/(-5) + -51*1. Let g be 12/z + (-634)/(-18). Solve -3*o - g = 5*q, 5*o + 0*q = 3*q - 13 for o.
-5
Let d = 12 - 8. Let i be (-14)/((-784)/21)*8. 