-3
Let n be 3*-8*(10/12)/(-5). Solve -p = -4*b - 16, -p + 5*b + 17 = -n for p.
-4
Let a(m) = 2*m**2 + 2*m - 7. Suppose 3*x - 2*g = 14, 3*g + 22 = 2*x + 3*x. Let p be a(x). Solve 45 = -5*f + p*l, 6*l - 6 = -2*f + 2*l for f.
-5
Suppose 60 - 87 = -9*h. Solve 2*q + 29 = h*q + 5*i, -25 = -5*i for q.
4
Let k = 544 - 534. Solve -h - c - k = 2*h, -5*c = 5*h for h.
-5
Suppose 4*u = u - 231. Let x = -50 - u. Suppose j + 3 = 4*g, 3*g - 9 - 2 = -j. Solve -6*t + x = -t + 3*h, j*t - h = 11 for t.
3
Suppose 0 = -2*c + 4*c - 2*j - 16, 0 = 3*j - 6. Let b(r) = -r**3 + 10*r**2 - r + 14. Let h be b(c). Solve -3*q - 7 = -2*x, -6*x = -h*x + q - 11 for x.
5
Suppose -c - 49 + 3 = 0. Let k = 46 + c. Solve 2*y + 5*r + 2 = k, 3*y - 6*y - 3 = r for y.
-1
Suppose s = -s + 36. Suppose -6 = 3*m - s. Solve 0*c - m = -3*c + 2*z, -c + 5*z = -23 for c.
-2
Suppose 16 = -4*w, w = -4*r - 0*w + 4. Suppose 0 = 5*c - r*c - 9. Suppose 0 = c*o - 0*o - 12. Solve 3*l = -4*k - 25, 0*k + k = -o for l.
-3
Let y be (-4 - -2 - 1)/(-3). Let n = 7 - y. Suppose -20 = -2*u - n. Solve 5*s + 26 = -4*l, 0 = -5*l - u - 13 for s.
-2
Let p = 2054 + -2046. Let y(a) = a**2 + 3*a - 4. Let r be y(-4). Suppose 0*o + 15 = 3*o + 2*m, -6 = -4*o + 2*m. Solve r = 2*k + 4, s - o*k = -6*k - p for s.
-2
Let n(b) = -b**3 + 5*b**2 - b + 3. Let h be n(4). Suppose h = 2*k - 5. Solve -3*m - 2*a + 21 = 0, 0*m + 5*a = m + k for m.
5
Let t(a) = 2*a - 21. Let k be t(0). Suppose 6*u + 58 = 3*u + g, 4*u - 4*g = -88. Let i = u - k. Solve -3*r + 4*y - 12 = -r, r = i*y - 9 for r.
0
Let y(n) = 6*n**3 - n**2. Let v be y(1). Let p(c) = c**2 + 3*c + 2. Let q be p(-3). Solve v*s - 11 = -f, -q*f + 7 = 2*s + f for s.
2
Let a = 23 + -21. Suppose c - 9 = -4*g, -2*c - 4*g = -12 + a. Let o(y) = 16*y**2 - 2*y + 2. Let k be o(c). Solve k = -4*z, -16 = 5*v - v + 3*z for v.
-1
Suppose -3*k = -l + 2 - 6, -2*k = -5*l + 6. Suppose m + k - 13 = -3*h, 3*m = 2*h. Solve m*n + 6 = -4*v - 0*n, -2*n + 12 = -2*v for v.
-3
Let h(k) = -k**2 + 32*k - 34. Let q be h(22). Let n be (13/(-2) + 1)*-2. Let u be 2/n - q/(-66). Solve 3*z + 2*j = -11, -3*z = -2*z + u*j + 6 for z.
-3
Let b be (-27)/(-162) + 33/18. Solve b*i + z = 4*i - 13, -4*z - 27 = -3*i for i.
5
Let j be 4/14 - 26/(-7). Let y be 6/(-5)*(-20)/6. Let l = -146 + 169. Solve -y*c - 2*r = -4, -j*c - 7 + l = -r for c.
3
Let m(i) = -i + 1. Let y be m(1). Suppose y = 4*n - 9*n + 10. Solve 5*b - 3*q = 17, 0 = -n*q - 0*q + 2 for b.
4
Let o be 6/(-15) + 81/15. Suppose 4*g = -20, o*t - 2*g - 35 = g. Solve t*h + 2 = -18, -3*h = 4*y + 23 for y.
-2
Let u(m) = m**2 - 36*m - 250. Let v be u(42). Let y be 4/(-6) + (-16)/(-6). Suppose 0*t + y*t - 30 = 0. Solve -2*n - 2*b - 16 = 0, -v*b = -5*b - t for n.
-3
Let g = 88 + -64. Let j = 31 - g. Solve 0*q = 4*v + 3*q - j, 0 = -2*v + 5*q - 3 for v.
1
Let q = -10 + 10. Suppose 2*p + q*p = 0, 5*k - 20 = -2*p. Solve -k*v - w + 3 = 0, v = 3*v - 4*w + 12 for v.
0
Let w(a) = 6*a**2 + a. Let j be w(1). Let z = j - 5. Let b(k) = -3*k - 2. Let r be b(-2). Solve r*g = -5*p - 11, 1 = -p - 0*p - z*g for p.
-3
Let y be (3/4)/(63/168). Solve -4 = -y*c, -3*h + 0 + 1 = 5*c for h.
-3
Let t = -294 + 169. Let j be 2/9 - t/45. Suppose 5*a = -5, -2*a - j = -4*q + 19. Solve 0 = -2*d + m - q, -2 = 2*d + 3*m + 7 for d.
-3
Let r be (-7)/(28/16) - -4. Suppose -w = -r*w + 4. Let c(t) = -t**2 - 7*t + 8. Let v be c(w). Solve -4*x = -4*z + v, -3*x - 3*z = -7*z + 20 for x.
0
Suppose 95 = 4*s + n, -3*s - n = -6*s + 66. Suppose -32 - 46 = 2*f. Let j = -36 - f. Solve -3*p + 21 = -4*z - 4*p, 4*z + s = -j*p for z.
-5
Let m(l) = 3*l. Let o be m(-1). Let g be (0/(5 + o))/(-1). Suppose g = -7*x + 3*x + 12. Solve -w + 11 - x = -i, 5*i + 16 = -3*w for w.
3
Let q(w) = w**2 - 9*w + 12. Let k be q(8). Solve k = -3*m + 2*r - 1, 5*m = 2*r - 15 for m.
-5
Let p = 26 + -24. Suppose -t + 6 = p. Solve 4*y + o + 5 = t, 3*y = 3*o + 18 for y.
1
Suppose -3*j - 21 = 7*k - 10*k, -13 = -4*k + j. Solve -3*i - k*w = -2*i + 11, 0 = 5*i + 5*w + 40 for i.
-5
Let n be (-2)/(-5) - (-107)/(-5). Let z = n + 29. Suppose -x + z = 3. Solve -2 = w + i + 2*i, 0 = -5*w - x*i for w.
1
Let v = 265 + -260. Solve 5*d + 5 = 4*j, -2*j - j = -4*d - v for j.
-5
Let r(x) = -x**2 - 5*x + 10. Let a be r(-6). Let d be (-3 + a)*1 + -7. Let q = 9 + d. Solve -4 = -3*w - 4*v, w - 1 = q*v + 9 for w.
4
Let h = 1 - 1. Let u be 0 - 4/(-4) - 261/3. Let w = -84 - u. Solve h = 4*d + w*a + a - 27, 4*d + a = 17 for d.
3
Let w be ((-9)/15)/((-90)/300). Solve -10 = -2*d, 2*d = w*u - 0*d + 12 for u.
-1
Suppose 3*q = 3*d + 15, 16 = 4*q + 2*d + 2. Solve 5*b + q = 4*y + 9, 3*y = 4*b - 4 for b.
1
Let m(k) = -9 - 11 + k - 3*k**3 + 18. Let n be m(-2). Solve -f - s = 4*s + n, f - 25 = 4*s for f.
5
Let n = 83 - 78. Solve 2*i = -y, y + 4*y = -n*i + 5 for i.
-1
Let s = 1667 - 1662. Solve 0 = -u + 2*u - 3*i - 11, 5*u + s = 3*i for u.
-4
Let m be 20*(-2 - -13*(-6)/(-24)). Let t = 35 + -15. Solve s + 4*o = -o + m, -5*o = -t for s.
5
Let n(y) = y**2 + 11*y - 10. Let x be n(-11). Let k be (-16)/(-10) + x/(-25). Suppose 2 = z - k. Solve 2*d + 8 = -4*c - 2, 1 = -5*d - z*c for d.
3
Suppose 0 = -3*p + 2*l - 20 + 33, 0 = 2*p - 4*l - 14. Solve 2*n = -0*a + 3*a + 6, -3*a + p*n = 6 for a.
-2
Suppose -31 = -2*v - 23. Suppose -g = -v*q + 1, -3*q - 2*q = -3*g + 4. Suppose -2*k + 12 = 2. Solve g*d + 2 = f, -k*f = 5*d - 4*d + 22 for f.
-4
Let x = -213 + 214. Solve 0 = 3*b - 3*l, 0 = -l + x for b.
1
Let k = 47 + -56. Let c be k/(-1) + 38/19. Solve 3*g - d + 7 = 0, g = 3*d + c - 0 for g.
-4
Suppose -16 = 6*g - 34. Solve -4*z - 1 = 5*w, -g*w + 1 - 7 = -3*z for w.
-1
Let x be 456/(-190)*3/(18/(-15)). Solve 5*j - 3*y = 2, -2*j = 3*y + 10 + x for j.
-2
Let n(j) = -3*j - 13. Let p be n(-8). Suppose 4*h - p + 3 = 0. Solve 2*a + h*a = -2*f + 20, 4*a = 5*f - 8 for a.
3
Let f be -40 - -38 - (-4 + (0 - 2)). Solve x = -y + 6*y + 17, -f*y - 6 = 3*x for y.
-3
Let m(o) = 7*o - o**3 - 2*o + 7*o - 7 + 10*o**2. Let c(q) = q + 22. Let g be c(-11). Let s be m(g). Solve -3*n - n + 4 = -5*v, 4 = s*n + 3*v for n.
1
Let q be (-2)/17 + (-669)/(-51). Let n = 0 + q. Suppose 3 = -5*w + n. Solve -v - 2*s = 11, 16 = -3*v - w*s - 5 for v.
-5
Suppose 4 + 0 = d. Let c be (0 - -1) + d - 0/2. Solve -c*v = 5*s + 35, 2*v + s + 3 = 3*v for v.
-2
Let n(t) = t + 3. Let q be n(-5). Let g = 4 + q. Suppose 6*k - r = g*k + 15, 3 = 2*k + r. Solve 0 = -a, s + 2 = k*a + 3 for s.
1
Suppose 2*q = j - 8, 0 = -3*j + 2*q + 3*q + 21. Suppose 2*o = -2*o + 52. Let s = o + j. Solve 4*v + s = y, 4*v - 5*y - 5 = -0*v for v.
-5
Suppose m - 18 - 3 = -n, n - 16 = 4*m. Suppose n = -5*z, -k = -z - 7 - 1. Suppose 0 = -3*a - 0*a + 27. Solve -2*l - a = -3*w - 3, 3*w - k*l = 0 for w.
4
Suppose -12 - 11 = -4*m + l, 13 = 5*m + 4*l. Solve -m*r + 48 = -4*k + 7, 0 = -2*r + k + 14 for r.
5
Suppose -20 = -5*g - 5*t, -16 = -3*g + 5*t - 10*t. Let r(y) = 8*y + 5. Let o be r(0). Solve -o*m - 15 = 0, z = -0*z - 2*m - g for z.
4
Suppose -10*z + 3*b = -8*z - 6, 6 = 2*z + b. Solve 4*v - 6*v + n = 0, -z*v + 26 = 5*n for v.
2
Let o = 22 + -113. Let p = -83 - o. Solve g - 2*b = 7, 3*b = 5*g + 2*b - p for g.
1
Let d be (-12)/(-4)*1 + 0. Let q = d + 5. Suppose 0 = -u + 4*t - 2, u - 3*t = -q*t + 7. Solve -10 = -2*s - 3*b, u + 4 = 3*b for s.
2
Let b(f) = -5*f**3 - 2*f**2 + f - 1. Let u be b(-2). Suppose -5*w = 3*m - 27, -3*w - 3*m - 2*m = -u. Solve 3*a - w*z + 0 + 6 = 0, -3*a = 3*z - 6 for a.
0
Let p be 3*((-2 - (-28)/12) + -3). Let y(g) = -2*g**2 - 19*g - 17. Let a be y(p). Solve 0 = j + 2*n + a, 3*j + 2*n + 4 = -5 for j.
-1
Suppose 0 = -z - 5*c + 9, -3*c = -3*z - 2*c + 27. Solve r = -2*w + z, r - 4*r = -w - 13 for w.
2
Let s = -1883 + 1887. Solve d - s*f + 28 = -3*d, -3*f = -2*d - 18 for d.
-3
Suppose -3*f - 27 = -102. Suppose f*g - 6 = 23*g. Suppose 4*d + g*a = 14 + 6, -6 = -d - a. Solve 0 = 4*y + d*h - 26, 31 = 4*y + 5*h - 10 for y.
4
Suppose 0 = 3*o + 4*a, -a = 6 - 3. Suppose -2*s - 17 = -27. Solve -5*g + 20 = -10*g + s*i, 16 = -o*g - 4*i for g.
-4
Suppose 0 = 4*o + 3*y - 5, -4*y = -9*o + 14*o - 5. Solve 0*h - 5*h - o = 4*w, 0 = -h - 5*w - 22 for h.
3
Suppose -134 = -4*h + 326. Let g be ((-58)/(-5))/((-23)/h). Let i = g - -81. Solve -j - n = -4, j - 3*n - i = -3*j for j.
5
Let g be -4*(15/12 + 0). Let r be -1*2 + (-30)/g. Solve -2*u + 9 = j, -u = -5*j - 6 - r for u.
5
Let x be (