*3 + 7*v**2 + 5*v + 6. Let k be z(-6). Let t be (1 + -3)/(k/9 + -2). Solve 0 = t*y - 5*h + 24, 5*h = 4*y - 0*y + 27 for y.
-3
Suppose 2*y - 15 = -3. Suppose -7 = -5*w + x + 18, 4*w + 2*x - 6 = 0. Let j be w/(-12)*27/(-3). Solve 4*p - 12 = -n, 22 = y*p - p + j*n for p.
2
Let g = 696 + -691. Solve t = 4*y + 11, -g*t + 2*y = 4*y + 11 for t.
-1
Let u = 539 - 534. Let w be (-8 + -1)*8/(-3). Solve 5 = -2*r - 3*r, -u*h = r - w for h.
5
Let w = -324 - -328. Solve -7*s - 9 = -w*s - 3*z, 0 = 2*s + 4*z for s.
-2
Suppose 8*b - 549 = -517. Solve 4*j = -3*o, 3*j = b*o - j + 28 for o.
-4
Let i be 16/(-32) + 45/6. Solve -n + 5*d = -18, n - 7 - i = 4*d for n.
-2
Let q = -62 - -36. Let l = -29 - q. Let r be -4 + (12 - 3) + l. Solve 0 = 4*d + y - 5, -r = -3*y + 1 for d.
1
Suppose -3*c = -13 - 5. Suppose 3*m = c*m - 84. Solve -24 = 2*v + 4*q, -m = 4*v - 0*v + 3*q for v.
-4
Let g be (-1)/(-5) + 72/15. Suppose x + 0*x = 1. Let j(v) = 45*v + 4. Let z be j(0). Solve 19 = z*w + 3*n, 2*w - 4*n + x = g for w.
4
Let b be -2*((-3)/(-15) + 30/(-25)). Solve -4*c = q - 0*c - 7, b*q - 5*c = -25 for q.
-5
Suppose 2*v - 3*h = -5 + 2, 2 = -4*v + 2*h. Suppose -3*k - 32 = m - 34, 0 = 3*k - 4*m - 22. Solve 4*s - 3*s = -5, -k*f + 3*s + 13 = v for f.
-1
Suppose -22 = -v + 4*d, -5*v + 0*v - d = -26. Suppose -4*l + v*r = 7*r - 17, l - 5*r = -22. Solve -2*q + 3*w = -5, -w + 4*w + l = 0 for q.
1
Let m(b) = -b**3 + 2*b + 11. Let k be m(0). Solve 1 = o - f, 8*o - 3*o - 3*f = k for o.
4
Suppose 2*w + 52 = 2*h, -2*h + w = -3*h + 24. Solve -4*i + i = s - 9, -5*i + h = 5*s for s.
3
Suppose 55*k = 45*k + 40. Solve 5*r + 40 = -5*h, -k*r - 1 - 1 = -2*h for r.
-3
Let s be (((-135)/30)/9)/(1/(-26)). Solve -2*b = 4, 5*t + s = 3*b - 6 for t.
-5
Let n(h) = -h - 5. Let z be n(-6). Let x be (z/4)/(14/168). Solve -2*w = -x*m - 9, 4*m + 4*w + 7 = 5*m for m.
-5
Suppose -2*x - g = x - 4, -5*g = 2*x + 6. Suppose 6 = w + 5*k - 8, 5*w + x*k - 24 = 0. Solve -5*j = -y + 32 - 10, 0 = -2*y + w for j.
-4
Let d(a) = a**2 - a - 4. Let i be d(3). Suppose -l - 6 = -i*p, p - 3 = -l - l. Solve 5*s = y + 14, -2*s + 11 = p*s - 4*y for s.
3
Suppose -l - 10*n - 26 = -9*n, -n - 138 = 5*l. Let x be (-72)/(-21) - (-12)/l. Solve -i = -3*r + 18, 3*r - r = x*i + 19 for i.
-3
Suppose 4*f - 63 = -3*p, 8*p - 4*p = -f + 19. Solve 3*v + v = r + 8, -4*r - v = f for r.
-4
Suppose 4 = -4*z, 5*i - 3 = z - 2. Suppose -3*b + 2*b + 2 = i. Suppose 2 = b*q - q. Solve u = 5*s + 26, 3*u + q*s = 4*s + 13 for u.
1
Let j be -1*(-4)/(-3)*-3. Let u be (-8)/2 + 8 + -1. Suppose 5 = -5*q - u*d, 5*d = -2*q - 3 - 18. Solve -j*i + 2*i = 5*n - 13, -7 = -3*n - q*i for n.
3
Let t = 1 + 2. Let y(u) = u**2 - 8*u + 9. Let c be y(7). Suppose -c*v + 6 = v. Solve h + v = t*k + 4, 0 = -3*h + 6 for k.
0
Suppose 4*l - 11 = -2*b + 9, -5*b + 2 = -2*l. Solve -y + 3*y = -2*c - 4, -c = 4*y + b for c.
-2
Let i = -112 + 67. Let l = i - -45. Solve d = -5*t - 12, l = 5*t + 4*d + 18 for t.
-2
Suppose -41 = -4*r + n, -5*n = 3*r - 0 - 2. Suppose -2*p + v - r = -4*p, -3*p - 4*v + 16 = 0. Solve -5*s - 18 = -4*a, -1 + 5 = 2*s + p*a for s.
-2
Suppose -3*c + 19 = -17. Let f = -9 + c. Suppose -2*k = f*u + 2*k - 37, -4*u - 2*k + 56 = 0. Solve -4*z - u = -2*q + 3*q, 2*q + 3*z = -15 for q.
-3
Let a be (-11 - -7)/(1/(-4)). Let q be a/(-6)*9/(-6). Suppose -2*o + o - 1 = -3*n, 6 = -q*n + 5*o. Solve -5*t - 25 = 0, -2*f = -0*f - t - n for f.
-2
Let n = -57 + 65. Solve 2*v - n = -a + 3*a, -a = -4*v + 13 for v.
3
Suppose 0 = -10*z + 14*z + 20, -5 = -4*s + z. Solve 2*c + i + 6 + 0 = s, -3*i = 0 for c.
-3
Suppose -3*i = 5*s - 16, i - 14 = -5*s - i. Solve 0 = -y - s*k + 3*k, -2*y - 12 = k for y.
-4
Let a = 29 - 24. Suppose -a*n - 16 = -3*o, 2*n + 12 = o - 3*n. Solve 2*c = -o*t - 2, -t = 4*c - 2*c - 2 for t.
-4
Let g(q) = -4*q - 26. Let o be g(-7). Solve -3*c - n = -0*n + 2, -3*n + 5 = -o*c for c.
-1
Suppose -k - 5*k - 12 = 0. Let t be ((-156)/91)/(k/7). Solve -2*c + 12 = -5*s, -s - t = -0*s - 4*c for s.
-2
Let s be (-4)/8*2*(2 - 0). Let b be (s/(-11))/(1/11). Solve 4*k - 12 = -m - 3*m, k - b*m = -9 for k.
-1
Let m = 31 + -18. Suppose 5*g - 12 = -y + m, 0 = -2*g + 3*y - 7. Suppose g + 11 = 5*s. Solve 7*z - 2*z + 40 = -5*n, s*z + 19 = -2*n for z.
-3
Let u(o) = 2*o + 2. Let g be u(2). Suppose 0 = -g*q + 3*q - 9. Let l be q + 1 - 7/(-1). Solve 2*n + 12 = r - 2*n, -5*r - l*n - 40 = 0 for r.
-4
Let j be (4/(-4))/((-3)/60). Suppose 0 = -5*x - j, 4*q - 2*x = -4*x + 4. Solve 4*y - 4 = 4*r, -q*y + 0*r + 17 = 4*r for y.
3
Suppose 0 = 3*y - 2*y - 4. Suppose 0 = d - 4*d. Solve d = -z - x + 3, y*z = -3*x - 7 + 14 for z.
-2
Let w(h) = -5*h - 22. Let g be w(-5). Suppose -29 = -3*q - 4*v + g, -5*v + 21 = -q. Solve 3*m - x = 4*m, 0 = -m + q*x - 15 for m.
-3
Suppose 0 = -32*q + 26*q + 30. Solve z + 3 = 2*z + w, 11 = q*z + 3*w for z.
1
Suppose -3*w + 5*k = k - 22, 4*w - 5*k = 30. Suppose 2*n - l = l + w, -3*l - 1 = 4*n. Solve -4 = -h + n*f, -3*f - 28 = 3*h + h for h.
-4
Let m(h) = -h**3 + 8*h**2 + 7*h + 21. Suppose -2*y - 33 = -4*y - 5*u, -u = -5*y + 42. Let s be m(y). Solve 2*d = 2*x, -30 = -x - 2*x - s*d for x.
5
Suppose -22 - 4 = -13*c. Solve -2*h + g - 8 = 0, 5*h + 4*g - 10 = c*h for h.
-2
Let m be (216/(-15))/(-3) + (-2)/(-10). Solve q + q - m*j = -25, -4*q + 20 = 4*j for q.
0
Let s be (-2)/(-3) - (-68)/6. Suppose -3*v - d = -0*d - s, 0 = -2*d - 6. Solve -4*h + 7*h = 2*i - 13, i - 24 = v*h for h.
-5
Let a(n) = -32*n**3 - n**2 + 1. Let z be a(-1). Let m(q) = q + 40. Let i be m(0). Let w = i - z. Solve -3*d - c = 0, 4*d - 2*d - 2*c - w = 0 for d.
1
Let q = 15 - 9. Suppose -2*n - q = -5*k - 1, 18 = 3*n + k. Solve -3*d + n*d - 2*m = 10, -5 = 4*d + m for d.
0
Suppose -4*y = -b - 3*b - 16, -3*b - 14 = -5*y. Let z be (9/(-6))/(y/4). Let d be (-1)/(-2) + (-9)/z. Solve -2*i + 6 = 4*a - 2, 0 = -d*i - a + 8 for i.
4
Let q be -6*3/(6/(-4)). Suppose 5*n = 7 + 13. Suppose 9*x - n*x = 40. Solve -3*r - x = 4*v + q, 4*r = 3*v + 15 for v.
-5
Suppose 4 = 5*b + 5*w - 1, 4 = -b - 2*w. Suppose b*h = 34 + 74. Solve 4*r + h = 4*u + u, -3*r + 4*u = 14 for r.
-2
Let p(v) = v**3 - 20 + 5*v**2 + 47 - 20 + 5*v. Let d be p(-4). Solve -z + 3*b + 7 = -2*z, -d*z - 5*b - 13 = 0 for z.
-1
Let y(i) = -i**3 + i**2 + 8. Let n be (0/(0 - 1))/(-2). Let w be y(n). Let t(a) = a - 4. Let f be t(w). Solve 2*z - 5*u = 4, f*z = -3*u - 2*u + 8 for z.
2
Suppose -w + 1 = 1. Let p = 51 - 31. Solve 4*n = 0, -4*v - 3*n = -w*n + p for v.
-5
Let s = 31 - 30. Suppose -f - s = -4*a, 0*f = -2*f + 5*a + 1. Solve 4*r - 4*t + 12 + 16 = 0, f*r = t - 11 for r.
-2
Suppose 0 = -143*n + 127*n + 64. Solve 0 = 3*u + 4*l + 8, n*u + 21 = 5*l for u.
-4
Let t = 1808 - 1804. Suppose 3*i + 29 - 10 = -5*h, -2*i + h = -9. Solve -3 = -4*g + r, 0*g - t*r + 16 = -i*g for g.
2
Let x be 562/(-28)*-4 - 4/14. Let k = x - 76. Solve -4*i + 4 = -4*l, 0 = -i + k*l + l - 3 for i.
2
Suppose 56*c + 30 - 142 = 0. Solve c*j - 5 + 0 = k, 3*j - 12 = -3*k for k.
1
Let j be (471/21 - 4/(-7))*-1. Let k be 2*(-3)/(-6)*23. Let o = j + k. Solve -z - 11 = -3*i, o*z + z + 15 = 5*i for z.
-5
Let a(z) = -z**2 - 11*z + 63. Let r be a(-15). Suppose -5*k = -0*b + b, -16 = -b + r*k. Solve i - 3*w = 7, -w - b = 2*i + w for i.
-2
Let u = -157 - -162. Solve d - 4*d - 4*z = -23, u*d + 4*z = 25 for d.
1
Let s be (-156)/(-10) + 11 + 696/(-60). Solve f = -2*f - 5*v + 15, v = -3*f + s for f.
5
Suppose -4*z - 24 - 10 = 2*q, 2*q + 5*z + 38 = 0. Let a(y) = -y**3 - 8*y**2 + 7*y - 13. Let h be a(q). Solve 5*l - 10 = -3*f, -h*l + 10 = 2*f - 5 for l.
5
Let u = -249 - -253. Solve t - 4 = -t - 3*z, u*z = -t + 7 for t.
-1
Let u = -69 - -72. Solve -5*m + 1 = u*v - 6*v, 3*v + 5*m = -11 for v.
-2
Let n = 19 - 12. Suppose -4*k + 24 = 4*c, 3*c + 11*k - 9*k = 17. Let b = n - c. Solve 0 = 4*u - 5*a - 17, -b = 2*u - a - 3 for u.
-2
Let f be ((-5)/2)/(165/(-132)). Solve g + 4 = -g, 0 = 5*h - g - f for h.
0
Let i(l) = -2*l - 32. Let m be i(-16). Suppose 2*k + 2*h - 12 = 0, -k + 13*h - 2 = 12*h. Solve -8 = -k*j, 3*v = -m*v - 3*j for v.
-4
Suppose d = -3*l + 17, -d + 465 = l + 456. Solve 3*w - 33 = -d*a - 8, w = 0 for a.
5
Let b be (-41 - -48) + -8 + 1. Solve -4*z = p + 12, b = 2*p + 2*z + 5 + 1 for p.
0
Suppose -3848*r + 3854*r - 264 = 0. Solve 4*b - 3*o = -r + 9, -3*b = 3*o for b.
-5
Suppose -2*s + 30*c = 29*c - 35, 4*s = -3*c + 85. Solve 3*