v(6). Solve o = 3*i - 5, -i - a*o + 5*o = -7 for i.
1
Let h be -77 + 4 - (0 - 1). Let a be (h/(-15) + -4)*5. Solve -4*f - 2 = -3*s, -4*s + 3*f + a - 6 = 0 for s.
-2
Let l be 8/(-3)*60/(-40). Suppose -13 - 67 = -l*c. Solve -3*b = -4*j - 5 + 37, 4*j - c = 0 for b.
-4
Let q(l) = -l - 8. Let r be q(-8). Suppose -27 = 5*w + 4*u, -4*w + 3*u = 2*u + 30. Let n be 28/6*(-36)/w. Solve p + 20 = -4*t, r*t + n = -2*t - 4*p for t.
-4
Suppose v - 2*z = 3*v - 46, -8 = 4*z. Suppose -7*m + v*m = 108. Solve -3*w = -6, -2*x + m = -4*x - w for x.
-4
Suppose 0 = -3*v - 0*v - 12, 0 = y + 4*v + 11. Solve y*s = -2*n - 23, -n - 5*s + s - 16 = 0 for n.
-4
Suppose 0 = -7*d + 11*d + 88. Let o = d + 41. Solve -q - 5*m = -24, -4*q + 3*q = 4*m - o for q.
-1
Let g(v) = -2*v**2 - 29*v - 12. Let y be g(-14). Suppose 3 = -2*u + 13. Suppose -p - 36 = -4*a, 3*a - 2*p + 18 = u*a. Solve 2*t - a = 5*t, 3*i - y*t = 0 for i.
-2
Let b = -47 - -50. Solve -b*i - 14 = -2*t, -3*t + 5*i + 0*i + 22 = 0 for t.
4
Suppose -72*u + 200 = 56. Solve 5*b - 3*c - 10 = 0, c = 3*b - u - 0 for b.
-1
Suppose -25*c - 3*c = -140. Solve -5*m - 25 = -c*l, -3*m + 0 + 9 = 3*l for l.
4
Let f = -984 - -1005. Solve -i - 26 + f = 2*a, -2*a - 14 = -2*i for i.
3
Suppose 2*r - 23 = -r + 2*g, 4*g = 4*r - 36. Solve 0 = 4*z - 2*l - 3*l + 11, z - 1 = r*l for z.
-4
Let i(x) = x**2 + 19*x + 24. Let p be i(-18). Let d = -2 + p. Solve g - 2 = 2*o + o, -g + 9 = d*o for o.
1
Let j = -978 - -984. Solve 6*k = 2*k + 3*g - j, 10 = -3*k + 5*g for k.
0
Let z = -105 + 107. Solve z = -i + 3*s, 0*i + 2*i + 4 = -3*s for i.
-2
Let r = -30 - -41. Suppose -4*k = -2*k - 3*v - 1, 5*v - r = -3*k. Solve 0 = -l - 5*p - 12, -5*l + 2*l - 10 = k*p for l.
-2
Let z = -177 - -178. Solve s + v = -2, -2*s - 2*s - v + z = 0 for s.
1
Let q be (1 + 9)/(15 - 13). Solve 0 = 5*i + q*h, -5 = 2*i + 6*h - 3*h for i.
5
Suppose -8*p + 72 = -5*p. Let m be -15*4/p*-2. Solve m*q - 3*a + 31 = -5*a, -2*q - 7 = -a for q.
-5
Suppose 0 = 31*f + 5*f - 72. Solve -n - 5*d + 0 = -f, 11 = -3*n + 2*d for n.
-3
Suppose 4*p = 3*p + 3, 5*o + p = 13. Suppose 2*r + 4*x - 3 = 3*x, o*x - 6 = -r. Let t be 0/((r + 1)/1). Solve t = 5*s - 3*d - 25, 3*s - 3*d + 4*d - 1 = 0 for s.
2
Suppose 68 = 3*g - 19. Let l be (-1)/7 + g/7. Suppose 3*h - 4*m = 0, 4*h + 8*m = l*m. Solve 4*z = -5*k + 6, -k + 3*z + 1 + 4 = h for k.
2
Let y be 5 + -1 + (6 - 12). Let n = -13 - -29. Let t be 34/n - y/(-16). Solve -4*b = 12, -t*b = -2*o - 7*b - 19 for o.
-2
Let c = -5 - -7. Suppose 2*y + 3 = 4*y + u, -9 = c*y - 3*u. Solve 4*z - 16 = -3*b - b, b + 3*z - 10 = y for b.
1
Let x be 0*(-1)/4*-2. Suppose 3*z - 185 = 2*t + 3*t, -63 = -z + 3*t. Suppose 2*p = 7*p - z. Solve x = 3*m + 3, 3*s - 3*m - 3 + p = 0 for s.
-4
Suppose -5*l - 56 = -j, 5*l = -4*j - 0*j - 51. Let m = l + 16. Solve h - t = -5*t - 4, 16 = -4*h - m*t for h.
-4
Let s(z) = z**2 - 4*z. Let h be s(5). Let k = 52 + -64. Let t be (-3)/(k/4)*35. Solve 4*c - 2*m = 24, 5*m = -0*c + h*c - t for c.
5
Let k = 12 - -1. Suppose -k = d - 11. Let i be (-1 - d) + (-6)/(-3). Solve -i*c - 5 = m, 0*m - 4*c + 2 = -3*m for m.
-2
Let b(x) = -x**3 + 35*x**2 + 70*x + 150. Let p be b(37). Solve 2*o - 5*f - 21 = 0, 6*o + p*f = 9*o - 15 for o.
3
Suppose -2*o + 12 = 11*k - 8*k, 4*k - 2*o = 16. Suppose j - 9 = -4. Solve s + 0 = -k, j*t = -3*s - 32 for t.
-4
Let n be 1 + (-1)/((-3)/537). Suppose 2*x - 68 = -4*w - n, -5*x = 0. Let y be 2/10 - w/10. Solve 20 = 2*j + 5*k - 0, 19 = 5*j - y*k for j.
5
Let z be ((-4)/(-2) - 1)*-2. Suppose -3*h + h = -6. Let a be h/9*z*-3. Solve 5*n - 2 = -3*r, 4*n + a*r - 6 = -4 for n.
1
Let k(n) = -2*n + 40. Let s(w) = -w + 20. Let b(y) = -6*k(y) + 13*s(y). Let a be b(18). Solve 0 = 2*q + 4*i + 12, 6 = 2*q - 4*i + a for q.
-2
Let o(l) = l**2 - 12*l + 6. Let z be o(10). Let t be 6/z + 403/91. Suppose r - 2 = t*b, 0*b + b + 6 = 3*r. Solve 0*u = -3*u + i - r, 0 = -5*u + 2*i - 4 for u.
0
Let l = -382 + 384. Solve -10 = -4*w + 5*t, -l*w + 8*t - 5*t + 6 = 0 for w.
0
Let b = -3 - -7. Suppose -2*n - 5*s + 7 = 0, -16*s - 14 = -14*s. Solve -5*m - 16 = 2*c, -b*c + 3*m = -9*c - n for c.
-3
Let k(y) = y**2 - y. Let g be k(2). Let p = 5997 + -5997. Solve p*h = 3*h - 2*f, 2*f + g = 2*h for h.
-2
Let j be ((-21)/(-14))/(3/10). Solve 0*y - 5*x = -5*y + 20, j*x = 4*y - 16 for y.
4
Suppose 2*o + m = 5, 0*o + 4*o + m - 5 = 0. Suppose 49*y = -23*y. Solve 2*t - 3*f = 0, -5*t + y*t - 2*f = o for t.
0
Let v(d) = -2*d**3 + 8*d**2 + d - 4. Let i be v(6). Let m = i - -147. Solve 0*q = 3*q - 4*k - 1, -2*k - 11 = -m*q for q.
3
Let m = -120 - -120. Let k = 3 + 2. Suppose m*i = k*i. Solve 0*l - 19 = -4*g + l, g + 2*l - 7 = i for g.
5
Let h be 16/10*115/46. Let x be ((-66)/(-15))/(2/10). Solve 0*c = -h*c - 3*w + 25, -4*c = 2*w - x for c.
4
Let w(q) = 3*q**2 + 7*q - 30. Let m be w(3). Solve 5*b = 2*i + m - 2, 6 = -i + 2*b for i.
2
Suppose 4*q - 3 = -i, 5 = 5*i - 10. Let d(z) = z**3 - 2*z**2 + 6*z - 27. Let g be d(3). Solve q = n + 3, 23 = -5*c - g*c - n for c.
-4
Suppose 0 = 2*h + 2 + 10. Let s be (-4)/h - (-110)/33. Let j be ((s - 4)/3)/3. Solve j*o - 22 = 2*o + 3*c, 4*o + 3*c = -32 for o.
-5
Let s = -1 + 5. Let c(n) = -3*n - 102. Let x be c(-35). Solve -x*p + 11 = d, d - 2*p - 4 = -s*d for d.
2
Suppose -4*x - 3*o = -0*o - 10, 4*x - 12 = -2*o. Solve 2*j = 5*r - 0*r - 2, -3*j + x*r + 4 = 0 for j.
4
Let t(a) = a**2 + 2*a - 3. Let b be t(1). Let s be (b/(-1))/(2 + -1). Solve -6*o + 3*o + 13 = -2*m, s = -m - 2 for o.
3
Suppose 2*d = -4*x - 16, d - 2*x + 0 = 8. Suppose z + 49 - 52 = d. Solve 30 = -4*c - z*k + 5*k, 5*c - 5*k = -50 for c.
-5
Suppose -50*i + 46*i = -24. Solve -2*t - 1 = -5*h + 16, 2*h - i = 0 for t.
-1
Let w be 1*(-11 + 4) + 7. Solve -3*n = 3*h - 8 + 2, -2*n + 2*h + 12 = w for n.
4
Let c be (0 + -3)*(-7)/3. Suppose -9*d + c*d = 0. Solve 3*u + 2*p - 16 = 0, 4*p = -2*u - d*u + 16 for u.
4
Let x(h) = h**3 - 4*h**2 + 3*h + 2. Let o be x(3). Suppose -13 = -o*p + 11. Solve -n - 3*k - 19 = 3*n, -4*n + 4*k = p for n.
-4
Let n be 20/50 - (-46)/10. Suppose 4*f = -4*w + 2*w + 20, 5*f = -2*w + 24. Solve f*u - 11 = -l + 7, 3*l - n*u = -31 for l.
-2
Let o be 2/12 + (33/(-11))/18. Solve -4*i - 14 = 2*w, -5*w - 2*i + i + 10 = o for w.
3
Let c = -19 + 19. Suppose -5*r + c*r = -185. Suppose 0 = -3*n - 10 + r. Solve 0 = 3*v - n, -2*w - 2*v = -v + 7 for w.
-5
Suppose -3*x + 3*v + 8 = -7, -2*x = -4*v - 20. Let p = -19 + 72. Let a = p - 33. Solve -2*d + 5*o - a = x, -4*o + 4 = -4 for d.
-5
Let n = -23 - -32. Suppose 0 = n*p - 11*p. Solve -3*w + 0*w + 2*i + 1 = p, -2*w = -5*i - 19 for w.
-3
Let o = 27 + -20. Solve -y + 21 = -o*h + 3*h, 3*h + 37 = 5*y for h.
-4
Let l = 2 - -1. Let w(a) = a**2 - 3*a - 2. Let k be w(l). Let z be 5 - ((-4)/k)/2. Solve -14 = 2*m - 2*g, -8 - 25 = 5*m - z*g for m.
-5
Let r be 1/2 - (-7)/2. Suppose -2*m - 4 = -r*g + m, m = -2*g + 12. Let v = -2684 + 2687. Solve -v*c = o - 19, g*o - 2*c - 21 = -3*c for o.
4
Suppose -34 + 9 = -5*v, -2*g = 5*v - 31. Solve -4*f - 19 = 1, 4*b - g*f - 35 = 0 for b.
5
Let p be 1 - (4/14 - (-27)/(-21)). Suppose p*z = -2*z + 5*f, z = -4*f. Solve 2*y + 10 = -s, 0 = 3*s - z*s for y.
-5
Suppose -2*j = -3*j + 10. Let t be (-4)/j*(-570)/12. Solve -2*k = -5*g + t, -5*k = 2*g + 4 - 0 for g.
3
Let b(w) = -w**2 - 3*w + 2. Let r = -16 - -13. Let a be b(r). Suppose 4*h + 2*i = -a*i, 14 = 5*h - 2*i. Solve -h*x - 4 = -2*f - 0*f, -5*x - 2 = -f for x.
0
Let c(x) = -x**2 + 12*x + 2. Let v be c(11). Suppose -2*r + 6*s = 2*s + 4, 3*s - v = -r. Suppose 4*u - 6 = 10. Solve f = u*n + 15, -3*n - r - 3 = -5*f for n.
-4
Let l = 6 + -3. Suppose 5*n + 59 = l*k - 12, 4*n - k + 61 = 0. Let x = -11 - n. Solve 2*o = 2*h + 8, -5*h + h - x*o + 29 = 0 for h.
1
Let w = -197 + 217. Solve -n = -4*k + w, 4*k - 3 - 17 = 4*n for k.
5
Suppose 8 - 6 = 2*h. Solve 3*g + 11 = -2*i, i + h = 2*g + g for i.
-4
Let g(h) = -h**2 + 10*h - 7. Let u be g(6). Let k = u - 15. Solve z + 12 = -3*m, -k*z + 5*z = -3*m - 6 for m.
-5
Let d(s) = 2*s - 1. Let o be d(5). Let x(k) = k**2 - 8*k - 1. Let m be x(o). Let b be 38/14 + m/28. Solve 18 = b*p + 3*t + 3, -3*p + 2*t = -10 for p.
4
Let o be -20*(-4)/16 + 0. Solve 0 = -o*r, -6*l - 2*r = -l for l.
0
Suppose 5*c - 15 = 3*k + 20, 0 = 2*k + 2*c + 50. Let n be k/40*(-3)/(6/8). Solve -r + 2 = n*o, -2*o + r + 8 = -2 for o.
3
Suppose 0 = -2*h - 13 + 89. Suppos