4 for y.
-2
Let h(y) = 2*y - 11. Let q be h(8). Suppose 3 + 7 = -q*c, r = c - 12. Let o = r + 28. Solve 5*n + 15 = 5*s, 0 = -2*n - 5*s + 3*s - o for n.
-5
Let n = -4179 + 4221. Let v = 39 + -78. Let d = n + v. Solve -s - w + 1 = d, 5*s = 5*w + 20 for s.
1
Suppose -5*t + 29 = -3*y, 21*t - 17*t - 2*y - 22 = 0. Solve 0 = -5*a + 20, 0 = t*h - 3*a + 11 + 17 for h.
-4
Suppose 2*k = 3*u + 65 - 54, 3*u - 17 = -2*k. Solve p = 4*w - k, -17*w = -14*w - 2*p - 9 for w.
1
Suppose -2 = -q + 4*f, -q - 2*f - 3*f = -2. Let r be 1 - (-3 + 5)/q. Solve -5*y + 4*g + 15 = r, 0 = -4*y + g - 2*g + 12 for y.
3
Suppose 370 + 423 + 803 = 21*i. Solve -75*p + d = -i*p - 3, p = -3*d - 1 for p.
-4
Let h(s) = -24*s + 47. Let r be h(-11). Let c = -307 + r. Solve -c*l - 12 = 2*d, d = -l - 2 - 2 for l.
-2
Suppose -5*w + w = -24. Let r be ((-5)/(-10))/(9/90). Solve 15 = 3*c, 3*c - w = -2*t + r for t.
-2
Let l = 7663 - 7661. Solve 3*h = 5*b - 9 - 5, -l*h = b - 8 for b.
4
Suppose -9*l + 7*l - 16 = 2*w, l + 28 = 3*w. Let f(q) = -q**3 - 13*q**2 + q + 37. Let h be f(l). Solve -3*g = o - 0*g + 6, 5*g = 3*o - h for o.
3
Suppose 3*o - 4*g + 23 = 0, 2*o + 169*g - 30 = 166*g. Let l be (1 - 2) + (5 - 1). Solve -z = -o*x + x, 3*z - 18 = -l*x for z.
4
Let u(f) = -1010*f - 5050. Let s be u(-5). Solve 2*r + 4 = -3*g - 8, -g - 5*r - 17 = s for g.
-2
Let o(x) = 2*x**3 - 21*x**2 + 8*x + 27. Let a be o(10). Solve 4*m = 2*i + 27 - 1, 3*m - a = -i for i.
-5
Let k = -665 - -669. Suppose 0 = -0*d - 3*d + 117. Suppose 3*y + d = 4*o, -3*y + y = 4*o - 54. Solve 2*s + 0*f + k = -2*f, 0 = 3*s + 5*f + o for s.
1
Let f(b) = -11*b**2 + 2*b + 17. Let y(z) = -4*z**2 + z + 6. Let v(u) = -3*f(u) + 8*y(u). Let s be v(1). Solve -2*p + s*q - 3*q = -20, 12 = -2*p + 5*q for p.
4
Let p(r) = -r**2 + 15*r + 6. Let b be p(15). Suppose 0 = -b*k + 3*k - 54. Let v = -15 - k. Solve 1 = -2*w + 4*m + v, 2*w = -m + 2 for w.
1
Suppose -16*b = -34 - 78. Let r be (-3 + -3 - -2) + b. Solve i + 5*d = -r, -2*i - 2*d = 8 - 2 for i.
-3
Suppose 5*l - 4*c - 58 = -c, -12 = -3*c. Let n = 9199 - 9197. Solve -2*v = -v - 2*t - l, n*t = 3*v - 22 for v.
4
Let a = 1435 + -1432. Solve 15*x - 11*x = 2*k + 4, 2*k = -a*x + 17 for x.
3
Let u be (-35)/(-15)*36/42. Suppose -2*d + 2*k = 0, u*d + 2 + 3 = 3*k. Solve 4*s + d*l - 23 = 0, -3*l + 6 = -3*s + 3 for s.
2
Let t(b) = -b**3 - 22*b**2 - 55*b + 42. Let x be t(-19). Solve -3*h = -x*r + 8, -2*h - 2*r - 2 = -3*r for h.
0
Let f = 2381 + -2376. Solve 0 = -q - 2*l + 1, 3*q + f*l + 4 = 7 for q.
1
Suppose 0 = -d - s + 13, -4*d + 5*s + 39 = -22. Let p(x) = x**2 - 18*x + 81. Let y be p(d). Solve -t = 4*g - y, t - 3*g = 3*t - 25 for t.
5
Let o = 3209 - 3170. Solve -3*l - 35 = -5*n, l - o*n + 36*n + 17 = 0 for l.
-5
Suppose 2 = -5*p + h, -76*p = -71*p - 4*h + 8. Let q(a) = a**2 - 5*a - 4. Let m be q(6). Solve -u - 2*r - m*r + 13 = p, 0 = 4*u + r - 7 for u.
1
Let k be -1 + ((-4)/(-6))/((-2)/3) + 7. Solve k*q + 19 = -1, 0 = 3*p - 2*q + 7 for p.
-5
Suppose -4*d + 5*z = 10, z = -9*d + 11*d - 4. Solve 2*t + 6 = d*i - 9, -5*i - 15 = 4*t for i.
1
Let i(y) = -2*y + 7. Let b = -22 + 13. Let t be i(b). Suppose 16*z - 11*z = t. Solve -5*v = 3*o - 31, -5*o = 5*v - 30 - z for v.
5
Let m(y) = -26*y + 104. Let v be m(4). Suppose v = 16*g + g - 85. Solve g*h = 6*h + 4*k + 15, -3*k = -3*h for h.
-3
Let x(w) = 11*w**3 - 2*w**2 + w. Let b be x(1). Let p be (b/4)/(1/2). Let n = -9410 + 9412. Solve 2*z = -n*u - 4 - 8, p*u = z - 18 for u.
-4
Suppose 4*z - 1 = -13. Let p be 4*((-18)/(-8) + z) + -18. Let b = 36 + p. Solve 5*g - 2*x + b = 0, 2*g + 3 = x - 2 for g.
-5
Let q = -17368 + 17372. Solve -3*l - 22 = -34*m + 32*m, -5*l = q*m for m.
5
Let k = 651 - 675. Let x be (k*(-5)/40)/((-3)/(-4)). Solve x*o - j + 2*j + 14 = 0, -o = 4*j + 11 for o.
-3
Suppose -40*b = 2*c - 41*b - 15, -3*c - 16 = 4*b. Solve 12*f - 2*t + 2 = 14*f, -c*f - 36 = -4*t for f.
-4
Let b = 29 + -26. Suppose 5*w = 3*t - 10 - b, -4*w - t - 24 = 0. Let c be w/((-5)/2) - (0 - 2). Solve v + 4 = -c*n, -4*n + 5*v = n + 5 for n.
-1
Let n = 9 + -3. Let v = n + -4. Suppose -13*g + 57 + 86 = 0. Solve -3*o = -o + 3*b - g, 0 = v*o + 2*b - 10 for o.
4
Let r be (-680)/115 + 6 + (-201)/(-69). Solve 0 = -i + 4*h + r, 4*h + 1 = -0*i + 3*i for i.
-1
Let b(o) = o**2 + 4*o - 8. Let s(k) = -2*k**2 + 28*k - 32. Let g be s(13). Let v be b(g). Let z = -4 + v. Solve z = 3*m + m + r - 4, 4*m - 24 = 4*r for m.
2
Let p = 34 + -30. Suppose -p*i = -o + 3, o = i - 4*o + 15. Solve 2*u + 4*c - 8 = i, 2*c - 20 = -0*u - 5*u for u.
4
Suppose m - 5 + 83 = 0. Let p = -80 - m. Let w be p + (-222)/(-15) + 1/5. Solve 0 = -y - 3*y + r + w, 4*y - 1 = 5*r for y.
4
Let v be (-34)/(-16) - ((-14)/16 - -1). Suppose -2*i + 1 = -m, -m - v*i = -5*m + 8. Solve m*h = -0*h + 4*p + 12, 2*h - 3*p = 8 for h.
4
Let m = -1495 - -1504. Solve -5*h + 25 = 0, -q - q - 3*h = -m for q.
-3
Suppose -830*z + 1 = -812*z - 89. Solve 0 = z*b + 48 - 23, f - 3*b - 20 = 0 for f.
5
Let l(y) = -y**3 + 12*y**2 - 32*y + 2. Let q be l(8). Solve -2*j - 4 = -4*d, 14*j = 18*j - q*d + 2 for j.
0
Suppose 9*c - 448 + 178 = 0. Solve 7*t - 2*t = 2*j, -c = 5*t + 4*j for t.
-2
Let o = 3602 - 3597. Solve -5*m - 4 = -3*n - 20, o*m - 10 = 5*n for m.
5
Let c(f) = -f**3 + f**2 - 3*f + 37. Let k be c(4). Let w be 0*(-2 + -1 - (k + 19)). Solve 4*x = -2*p - p + 20, w = -4*p + x + 14 for p.
4
Let c = 2688 - 2632. Solve c*b + 4*a + 14 = 54*b, -23 = -3*b + 5*a for b.
1
Let o = 145 + -137. Suppose -o = -25*q + 20*q - z, 5*q - 2 = z. Solve 5*k = -3*w + 14, -3*w + q = -2*k - 2*w for k.
1
Suppose 2*a + 31 = 5*b, 4*a = -7*b + 8*b - 35. Solve 18 - 2 = p - 3*o, 5*p + b*o + 10 = 0 for p.
1
Suppose 0 = -2*m + 40 + 12. Suppose -12*b = -14*b + m. Suppose 4 = -3*i + b. Solve 4*t - 6 = -2*u, 4*t + i*u - 2 = -1 for t.
4
Let z(c) = -130*c - 520. Let l be z(-4). Solve 4*a = j + 15, l = 9*j - 11*j + 5*a - 18 for j.
1
Suppose -2*a = -s - 34, 4*s - 6*s - 4*a = 68. Let c = 52 + s. Solve 0 = 3*x - b + 1, -2*x + 3*b + 2*b = c for x.
1
Suppose 4 = -2*c + 6*c. Suppose -3*k - v = -c, -3*v = -0*v + 15. Let j be k - (-4)/(-1) - -4. Solve 5*g - 2*n = -28, 2*n = -g + j*g + 12 for g.
-4
Suppose 0 = -5*s + 91 - 126. Let t be s/(195/(-20) + 8). Solve 4*m + 8 = t*f, 2*m - 2 = 5*f - 3 for f.
-1
Suppose 2 = 4*d - 5*d, 3*d = 3*r - 27. Suppose r - 17 = -5*l. Suppose 0*s + 5*s - 37 = -4*m, -l*m + 5*s - 19 = 0. Solve b + 1 = -m, 18 = -h - 5*b for h.
2
Let t(d) = 2*d**3 - 28*d**2 + 4*d - 45. Let b be t(14). Let y(q) = -q + 0*q - q + q - 1. Let s be y(-3). Solve -s*h - 4*m + 14 = h, 3*h + b = m for h.
-2
Let l = -33462 + 33646. Solve -4*v - 19 = 5*x, -4*x + 22 = -l*v + 181*v for v.
-6
Suppose -11*i + 710 = 666. Let g = -6 + 7. Suppose -5*h - 2*n = -g - 2, 0 = -n - 1. Solve 2*v + 9 = 5*m, 5*m + h + 2 = -i*v for m.
1
Suppose -h = -h + 4*h. Suppose h = 2*f - 18 - 174. Let k = f + -96. Solve -3*g + 3*t + t = 26, -2*g - t + 1 = k for g.
-2
Let i = -4168 + 4179. Solve -v + i = -3*g, -43*v + 19 = -46*v - 4*g for v.
-1
Let y = 42 + -40. Suppose 4*t + 4*h - 18 = 2*h, 3*h - 7 = -y*t. Suppose 6*q - 52 = 2*q - t*j, 5*q + j - 65 = 0. Solve 0 = -5*a + g, -4*g - 35 = 2*a - q for a.
-1
Suppose -z - 47 = -5*b, 2*z - 16 = -b - 0*z. Suppose -6*t + 3*t + 2 = -x, 0 = t - 5*x - b. Solve 4*o = -t*o + 4, 2*f + 2*o = 8 for f.
3
Let o(x) = x**2 - 95. Let p be o(-10). Solve 0 = 2*c - l + p*l + 12, -4*c - 5*l = 15 for c.
0
Let u be (308/(-112))/((-1)/4). Suppose 0 = -4*y - x + u, 5*y + 3*x - 15 = -10. Solve -3*p - y + 3 = 4*h, -4*h = -8 for p.
-3
Suppose -43*n = -41*n - 8, 4*n + 129 = 5*b. Solve -8 = 4*k + 4*z, b*z = 31*z - 4 for k.
-4
Let r be (-11)/(-44) + 22/8. Let i be ((-1)/(-4))/(6/(-24)). Let a be (1258/(-185))/(((-4)/(-10))/i). Solve -3*w = 0, -2 + a = -r*x - w for x.
-5
Let x(i) = i**2 - 38*i + 188. Let w be x(33). Solve 5*d + 2*y = -w, 5*y = d + y - 13 for d.
-3
Let k(u) = u**2 + 15*u + 60. Let h be k(-16). Let z = 120 + -187. Let d = z + h. Solve -3*x = -2*x + 4*r + d, 3*x - 2*r - 15 = 0 for x.
3
Let r(w) = w**2 + 4*w + 4. Let m be r(-4). Let j be (-16902)/(-2817)*(0 + (-2)/(-4)). Solve 0 = j*i - 2*d + 19, -3*i + m*d = -d + 25 for i.
-5
Suppose -1352*v + 1373*v - 546 = 0. Solve t - 3*y = 19, 2*t - 97*y + 93*y - v = 0 for t.
1
Suppose 4*x = -20, 2*t - 4*x + 3*x = 33. Suppose 2 - t = -2*v. Let j = 13 + -10. Solve j*o + 7 =