 Let d be v(-1). Let y = -5 + d. Solve 2*j - y = 3*w - 0, -w = 5*j + 13 for w.
-3
Suppose -5*p + 2*b = -b - 21, 4*p + b = 10. Solve 3*w - 11 = 4*w - p*m, m = -5*w + 9 for w.
1
Let t = 94 - 92. Solve 4*l = 16, 0*l + 12 = -4*h + t*l for h.
-1
Suppose 25*a = a + 456. Solve 0 = 3*i + 2*z + 5, -2*z + a = 3*i - 6*z for i.
1
Let r(w) = w - 3. Let j be r(5). Suppose 16 = j*q + 10. Suppose 0 = g + 2*d - 13, -4*d = -q*g - 2 + 1. Solve 2*h - 5*h + 4*b = -32, -b - 25 = -g*h for h.
4
Let k(g) = -g**2 - 11*g - 2. Let d be k(-10). Let a be 10/40 - (-22)/d. Solve a*s = -5*n - 5, s - 4*n = -5 - 8 for s.
-5
Let u(b) = b**3 - 2*b**2 - 2*b - 3. Suppose 3 = f - 0. Let m be u(f). Solve 3*k + z + 4 = m, 3*k - 4*z - 6 = -7*z for k.
-3
Suppose 0 = 6*q - 8*q + 8. Let o be 2/9 - (-178)/9. Solve -q*v - o = -3*g + 2*g, 0 = -2*v + 3*g - 20 for v.
-4
Suppose -5 = d, -3*p + d - 8 = -49. Solve 3*l = -k - p, -2*k = -0*k - 3*l - 12 for k.
0
Suppose 2*p - 17 = 5*p - 2*i, 0 = 4*p - 5*i + 18. Let l = p + 9. Suppose l*h = h + 5. Solve 3 = -5*n + 4*f, 3*f + 2 = h*n + 3 for n.
1
Suppose 2*f - 3*v = -7, 12*f - 3*v - 5 = 7*f. Solve -5*w - 66 = -5*o - 26, -f = w for o.
4
Suppose 8*u + 5*k = 4*u + 36, 5*u + k - 24 = 0. Solve u*q = -5*b + 33, 5*q = -12*b + 11*b + 15 for b.
5
Suppose -p - 52 + 15 = -4*q, 0 = 2*q - p - 17. Suppose b - 5 = -2*a + 3, -3*a + 22 = 4*b. Let l = -31 + 33. Solve -4*s - q = -5*w, -s + w - l*w = -a for s.
0
Let y = 626 + -621. Solve -7 + 24 = -y*c + s, -c + s = 5 for c.
-3
Let j = 325 - 320. Solve 0*r + 5 = 5*r - o, j*o + 25 = -r for r.
0
Let h(s) = s**3 - 5*s**2 + s. Suppose -3*g + 6 = -15. Suppose g = c + 2. Let o be h(c). Solve 2*v = 2*t - 3*t - 7, t - 21 = o*v for v.
-4
Suppose 0 = 2*y - 2*d - 2 - 14, y = 4*d + 20. Suppose -8 - 8 = -y*p. Suppose -w = -2*w + 3. Solve -z - w = -0*t - 3*t, p*z = 0 for t.
1
Let v be 1/2 - (-3)/(30/305). Suppose v*t - 15 = 26*t. Solve -4 - 7 = 5*j - 4*h, 3*h = -t for j.
-3
Let k(u) = -u**2 + 10*u + 16. Let j be k(11). Solve f + 3*a - 11 = 0, 0*a - 16 = -j*f - 2*a for f.
2
Let b(n) = 2*n**2 + 10*n + 8. Let i be b(-6). Let o = 51 + -59. Let y(a) = a**2 + 9*a + 12. Let f be y(o). Solve 0 = -f*v + k - i, -3*v - 3*k = -0*v for v.
-4
Let h(k) = 1. Let v(r) = -9*r - 12. Let i(q) = -5*h(q) + v(q). Let g be i(-3). Solve -l - 4*o - g = -2*o, -o + 6 = -5*l for l.
-2
Let r be (-4 - -5)/((-2)/18). Let w be (r/(-6))/(3/10). Suppose 0 = -0*u - 4*u + 20, 4*m - 25 = -w*u. Solve x = -4*x - 20, -j + 4*x + 21 = m for j.
5
Let p(o) = -o**3 + 4*o**2 - 3*o + 2. Let g be p(3). Suppose 4*a = -4, -4*a - g = 5*i - 8. Let k = 1 - -28. Solve k = -5*h - w, i*h + 17 = -3*h + 2*w for h.
-5
Let o = 49 - 47. Solve 3*v = -5*x + 17, -o*x = 2*v - 9 + 3 for x.
4
Suppose 6*s + 7 = 19. Suppose -4*l + 2*h + 4 + 4 = 0, -2*l = 2*h + s. Suppose -4*j + 17 = l. Solve -i = -5*w - 20, -5*i = -j*w - 7 - 30 for i.
5
Let s(x) = 3*x + 41. Let g be s(-8). Solve -g = -4*y + z, 3*y = 5*y + 4*z - 4 for y.
4
Let s = -748 - -751. Solve 5*v = -18 + s, 5*v + 11 = 2*w for w.
-2
Let j be (10/15*4)/(2/3). Solve s + 2*s = -4*d + 11, 29 = -j*d + 5*s for d.
-1
Suppose 5*f - k - 66 = 0, 40*f = 45*f + k - 64. Solve 0*u + 2*n + f = -3*u, u = -5*n - 26 for u.
-1
Suppose 4*l - 9 = 15. Suppose -2*q + 5*n - l = 4, -q + 2*n = 4. Solve -3*p - 6 = -3*k, 16 = 5*k - q*k - 2*p for k.
4
Let h(s) = 9 + 1 - 11*s + 0*s + s**2. Let z be h(10). Suppose -6*x + 13 + 95 = 0. Solve 3*k - 2*k + 3*q = x, z = -3*k + 3*q - 6 for k.
3
Let m(a) = a**3 - 3*a**2 + 2*a - 3. Let h be m(3). Suppose -h*o - 2 = 7. Let b be (0 + -3)/o*5. Solve b*l = -3*w - 30, -2*l = -4*w + l - 11 for w.
-5
Let k = 213 - 198. Let a = 2 + 2. Let l be 1/1*(10 + -5). Solve -l*y + 6*m - m + k = 0, 0 = a*y + m - 12 for y.
3
Let h(t) = -4*t - 62. Let y be h(-16). Solve -d + z = 5, -4*d - 17 = -3*z + y for d.
-4
Let h be ((-5)/1 - -3) + (10 - 1). Suppose h*f = -13 + 48. Solve 4*d + f = -a - 0*a, -5*a - d = -13 for a.
3
Let d(t) = t**2 + 2*t + 3. Let m be d(0). Suppose n + m*h = -0*h - 7, -2*h = n + 4. Solve c = s - 1, -2*s + 25 = 3*c + n*s for c.
3
Suppose 3*p = -5*w - 83, -p + 56 = -5*w - 43. Let v = w - -25. Solve -4*f - 2*t = 0, -3*f + t + v = f for f.
1
Let f be 12 - -1*(5 - -2 - 6). Solve -11 = 3*g + 4*z - 2*z, z + f = -3*g for g.
-5
Suppose 7*a = 2*a. Solve -f - 4*t - 7 = a, 2*t - 1 = 5*f - 10*f for f.
1
Let l be (1 + -1)/(-6 - -5). Suppose 2 = -u - 3*y - 10, -5*u - 2*y - 21 = l. Let t = 1 - u. Solve -4*g = -4*n - t, 2*g - 26 = -4*n - 0*g for n.
4
Suppose -4*s + 4*i = -4, -2*i = s - 2*s. Let c = 0 - -4. Solve r + r + c = 5*j, s*r - 10 = -2*j for j.
2
Let y be -124 + (5/(15/(-9)))/(-1). Let l = y - -125. Solve 0 = -l*h - k - 3 + 7, 3*k = 2*h - 2 for h.
1
Let t be (1/2)/(4/((-240)/(-15))). Solve -t*w = -2*f - 16, 0 = 3*f - 4*f + 2*w - 11 for f.
-5
Suppose -8*l = -4*l - 16. Let d(k) = -k + 5. Let w(c) = -3*c**3 - c**2 + c - 1. Let z be w(1). Let t be d(z). Solve -5*m + h - 6 = 0, -l = t*m - 4*m + h for m.
-1
Let r(d) = -2*d - 6. Let f be r(-4). Let n be -7*(7 - 1)/(-17 - -3). Solve a = 5*u, -f*u = -n*u - 4*a - 21 for u.
-1
Suppose -5*r + 8 = -3*r. Suppose -12 = -r*u - 0. Suppose k = u*b - 68, -4*b + 2*k + 72 + 18 = 0. Solve -5*g - 2 - b = -a, 3*a = -3*g - 15 for a.
0
Suppose 175 + 57 = 4*b. Let u = b + -53. Solve -2*j = -y - 15, y - 3*y = j + u for j.
5
Suppose r - g - 6 = 0, -8*g + 4*g = -5*r + 26. Solve -r*i - 12 = -3*j, j + 0*j = -i - 1 for i.
-3
Let r = 2 - 18. Let j = 18 + r. Suppose 0 = 2*y + 3*y + j*i, 3*i = -15. Solve -y*s + 5*n = -0*s + 4, 0 = 2*n for s.
-2
Let q be (0/(-4) + -4)/2. Let b = 0 + q. Let r be ((-28)/(-35))/(b/(-5)). Solve -5*w = h + 12, -2*w - 2*h = r*h - 6 for w.
-3
Let j be (-48)/(-9)*6/8. Solve 4*t + t - 2*z = 14, 4 = -2*t + j*z for t.
4
Let a = 54 + -50. Solve 4 = 4*n, n - 23 + 2 = -a*w for w.
5
Let k = -9 + 12. Suppose k*y = 3*f, -2*f + 12 = -f + 2*y. Solve -f*s + u + 15 = -0*s, 0 = -3*s - u + 20 for s.
5
Let k(o) = -4*o + 215. Let h be k(53). Solve 4*g - 6 - 11 = w, w + g = h for w.
-1
Let o(h) = -h**2 - 10*h - 3. Suppose 2*s + 1 = -17. Let j be o(s). Let v(a) = a - 2. Let p be v(4). Solve 3*t + t = q, j = 2*q - p*t for q.
4
Let j be 7/28 + (-4)/16. Solve -c = a + 8, -c + 7 = -4*a - j*c for a.
-3
Let c be (-3)/(-1) + (-1 - 0). Suppose -6*z + z - c*t + 29 = 0, -4*t = z - 13. Solve -4*i - 4 = z*l, 5*l + 3*i = l - 3 for l.
0
Let s = 26 + -22. Suppose s*k = -0 + 96. Solve 4*y = -16, -y - k = -5*x - 0*y for x.
4
Suppose 0 = -3*b + 15, 0 = -y + 5*b - 21 - 1. Solve 0 = c + a + 2, 0 = y*a - 0*a - 6 for c.
-4
Let x be 4942/126 - (-1 - (-11)/9). Let p = 43 - x. Solve 0 = 4*r + p*w - 16, -4*w + 2*w = -6 for r.
1
Suppose 0 = -4*t - 5*s + 48, 0*s + 47 = 3*t + s. Solve -25 = -5*z, 4*z = -3*l - t + 43 for l.
2
Suppose -35 - 10 = -q. Suppose f = 6*f - q. Let x(r) = -12*r**3 + r**2. Let h be x(-1). Solve -1 + h = 5*c - u, -5*c = -2*u - f for c.
3
Let m = 1 + 2. Suppose -16 + 10 = -3*c. Suppose g - 1 = 0, c*g = l + 2*l - 7. Solve m*q - r = 12, q + 5*r - 35 = -l*q for q.
5
Let c(t) = 2*t**2 - 15*t - 11. Let u(p) = 5*p**2 - 44*p - 34. Let j(m) = 8*c(m) - 3*u(m). Let a be j(-11). Solve x + 3*v - a = 5*v, 12 = -3*v for x.
-5
Suppose 3*i - 3*r = 81, 2*r + 13 = 3. Suppose 2 = -2*h - i. Let q = h - -15. Solve 2*j + 23 - 4 = -3*u, -5*j - q*u - 34 = 0 for j.
-5
Let m(d) = d**2 - d. Let p(r) = 3*r**2 + 2*r - 4. Let h(l) = 5*m(l) - p(l). Let k be h(4). Suppose 8 = 10*v - k*v. Solve g - v*q + 4 = 0, g - 4*q = -g for g.
4
Let t = -460 - -461. Solve -5*w + 8 = c + t, 5*c - 11 = -w for c.
2
Let h = 22 + -17. Let l be h + -3 + 4 + -3. Solve l*v = -3*f, v - 2 = 4*f - 3*f for f.
-1
Suppose -5*g - 5*t + 24 + 6 = 0, -2*t - 18 = -4*g. Let p = -5 + 3. Let i be -6*(p + 8/6). Solve 4*l - g*q - 2 = 0, -5*q + 3*q - i = 0 for l.
-2
Let k = 18 - 19. Let j be k/(((-3)/(-1))/(-6)). Solve -l + 2*g - 4 = 0, j*l = g - 4*g + 20 for l.
4
Let w = 4 - 14. Let s(g) = -g**3 - 9*g**2 + 11*g + 12. Let d be s(w). Solve -19 = -u + d*u + 4*o, -3*o - 24 = 4*u for u.
-3
Suppose 18*l = 13*l - 4*n, -l - 2*n = 0. Solve 5*d + z + 2 = -z, l = -2*z - 2 for d.
0
Let z = -39 - -59. Suppose i + 4*v - z = 0, i - 5*v - 20 = -v. Solve 0 = 4*b, 6*b + i = -4*t + 4*b for t.
-5
Let t = 637 - 636. Suppose -5*i + 2*i + 10 = 2*r, -5*i + 22 = -2*r. Solve 16 = -3*y + i*s, -y - 1 - t = 2*s for y.
-4
Let y 