, 2*v - 4*x - s = -0*x. Solve 2*r + 2*r - 12 = -4*z, 4*r - v = z for z.
-2
Suppose -4*g - 28*g + 144 = -16. Solve 0 = 4*m + g*f - 6 + 15, f + 1 = -m for m.
4
Let d(h) = -h - 6. Let b be d(-8). Suppose w - 3 = 3*i, -2 = b*w - 7*w + 2*i. Let c be (18 + 18)*(2/4 + w). Solve -5*r - 4*j = -13, -c - 10 = -5*r + j for r.
5
Suppose a + 21 = -5*a + 13*a. Solve -a*x = p - 8, 5*x + 5*p = 2*p + 20 for x.
1
Let i(v) = -3*v + 21. Let f be i(3). Let u be ((-6)/f)/((-2)/8). Solve 0 = -3*o - 15, u*o - 3 = -3*q - 1 for q.
4
Suppose 365*n = 8*n. Solve -s - 3*j = -8*j, n = 2*s + 4*j for s.
0
Suppose -3*b - 52 = 10*b. Let h(k) = 2*k**2 + 10*k + 10. Let y be h(b). Solve 3*d = 0, 3*u + y*d - 16 = -u for u.
4
Let m(z) = 18*z**3 + 5*z**2 + 4*z - 8. Let p be m(-3). Let r = -451 - p. Solve -4 = -4*s - 4*a, -4*a + r + 2 = 2*s for s.
-4
Suppose -4*l = 8, -5*v - 5*l - 17 + 7 = 0. Let k = v - 2. Let g be (k + (4 - 2))/(4/2). Solve g = -b + d, 7*b + 2*d = 4*b - 15 for b.
-3
Let o = -82 + 82. Let t be -1*(-3)/6*6. Let j = t + 0. Solve 3*y + 5*x - 19 = o, j*y - 3*x - 2 = 1 for y.
3
Suppose 4*u + 6*u = -700. Let p = 73 + u. Solve p*r - y = -4, 10 = -5*r + 3*y + 2*y for r.
-1
Let s be ((-10)/4 - (792/(-16))/11) + 3. Solve 3*l - 8 = -j, 31 = 4*j + s*l + 20 for j.
-1
Suppose -3*j - 8 = -j. Let h be (-2)/j - 18/(-4). Solve 4*p + 4 = 4*w - 0, -5*p - h = -3*w for p.
-1
Suppose -282*t + 281*t = 7. Let f be (t/2 + 3)*(3 - 29). Solve 5*w + 0*y - f = y, -3*w + 2*y + 5 = 0 for w.
3
Suppose 116*p + 1800 = 136*p. Solve 2*s - p = -f - 87, -2*f = -4*s + 2 for f.
1
Let i = 597 - 318. Let w = i - 276. Solve 3*t = b + 10, 4*t + t - w*b - 22 = 0 for t.
2
Let d(o) = -185*o + 29. Let f be d(-4). Suppose -3*t - 611 = -5*c, -4*t - 172 = 5*c - f. Let h = -119 + c. Solve -3*x + 8*x + 28 = h*s, 16 = 5*s + x for s.
4
Let j(d) = -3*d**3 - 6*d**2 - 3*d - 6. Let q be j(-2). Solve -9 - 4 = 5*l + 3*a, q = -4*l + 5*a - 3 for l.
-2
Suppose 0 = -f - f + 12. Suppose -5*k - 41 = -2*o, -70 + 68 = o. Let y be -3*1 + (f - k/(-3)). Solve 5*w + 2 = -4*d, -5*w + y*d + 3*d + 19 = 0 for w.
2
Let o be ((1 - 2) + 2)*((6 - 0) + -2). Solve -2 = -5*i - o*u, -7*i + 2*u = -11*i - 2 for i.
-2
Let d(h) = -h**2 + 7*h - 10. Suppose 19*j - 18*j - 4 = 0. Let l be d(j). Let b be (-24)/(-36)*9/l. Solve -y = -b*v - 10, 4*v + 8 = -0*v for y.
4
Let z be 8*((1 - -1) + 39/(-78)). Solve 4*j - 4*o = z, -4*j + 7*o = 2*o - 12 for j.
3
Let a be (-6)/78 + (-94)/(-78)*15. Solve a = 2*j + 3*c - 5, 5*j = 4*c for j.
4
Let z = -61 - -67. Solve 2*u - 14 = 3*a - z, 2*u - 5*a - 16 = 0 for u.
-2
Suppose 0 = 4*w - w - l - 13, l + 16 = 4*w. Suppose -w*v = -0*v. Solve -3*j = -3*b - 21, 2*b + 2*j + 2 + v = 0 for b.
-4
Suppose -136 = -21*p + 39*p - 136. Solve -5*t = -p + 5, -2*t = -4*i - 14 for i.
-4
Let n = 752 + -737. Suppose 0 = -3*m - m + 20. Suppose 22 = 4*q - p + 4, -m*p - n = -5*q. Solve -4*u + b = -16, 0*u + 2*u - q*b = -10 for u.
5
Let j be (-79)/(-4) - (-13)/52. Suppose -3*f + j - 5 = 0. Solve -3*c = 5*t - 4, 11 = f*t - 4*c - 7 for t.
2
Let y(g) = 21*g - 95. Let m be y(6). Suppose m*t - 4 = 30*t. Solve -3*v + 5*j + 3 = -6*v, -5*v + 32 = -t*j for v.
4
Suppose -12*p + 4*p = 11*p - 342. Solve -4*d - p = 5*a, 0*a + 2*a = -3*d - 10 for d.
-2
Let g be (-54)/(-8) + 154/(-88). Suppose 14 = 2*k - g*p, -p - 4 = 4*k - 5*k. Solve -3*d = -k*v - 7, 0 = 3*d + 2*v - 12 - 11 for d.
5
Let v be (2 - 11)*4/(-12). Suppose 0 = -v*x - 4*x. Let z be (x/(-8))/(-3)*(-1)/2. Solve z = m - 0*m - w + 2, -5*m + 40 = 5*w for m.
3
Let t(c) = c**3 - 10*c**2 - 13*c + 19. Let d be t(11). Let r be -3 - ((d - 0) + (-10)/5). Solve -r*q + 0*g - 3*g = -10, 4*g = q - 5 for q.
5
Let h(f) = -2*f**3 + 7*f**2 + 2*f + 9. Let c be h(4). Let a(l) = 3*l**2 + 11*l - 9. Let m be a(c). Solve -13 = 2*w - m*x - 2, 0 = 4*w + x - 11 for w.
2
Let m = 220 + -218. Suppose 0 = 4*t + m*g, 9*t = 8*t + g. Solve 5*x - 3*i + 20 = t, -5*x - 4*i = -x + 16 for x.
-4
Suppose 0 = -25*k + 40*k + 50*k. Solve k = 3*z - 4*m + 25, m - 11 + 1 = 2*z for z.
-3
Let a(j) = -j**3 - 28*j**2 - 20*j + 193. Let m be a(-27). Solve 0*n - m = -t + 4*n, -5*n = 0 for t.
4
Let d(j) be the first derivative of -2*j**2 + 29*j - 5. Let c be d(4). Solve -4*i - 4 - c = -o, 0 = -5*i + 2*o - 19 for i.
-5
Let q = 291 - 275. Suppose -q*a + 14 = -9*a. Solve 2*x - 4*b = 0, -a*x - 5*b + 10 = 1 for x.
2
Let w be ((-100)/75)/((-5)/((-150)/(-4))). Solve -2*x + 15 = u, x - w = 6*u - 7*u for x.
5
Let i = 3480 - 3475. Solve 0 = 5*n - 2*n - f - 3, 0 = -i*n - 4*f + 22 for n.
2
Let n(j) = -6*j + 163 - 17*j + 29*j - 16*j. Let f be n(16). Solve -3*p = -f*l + 15, -p - 11 + 1 = -2*l for p.
0
Suppose 46*m - 5*n - 1805 = 41*m, 0 = -2*m - 3*n + 697. Let v = m - 355. Solve 0 = b + 2*h - 5*h, 0 = h + v for b.
-3
Suppose 13*d - 10*d + 4 = -c, -3*c + 26 = -10*d. Solve c = 2*z, -5*b + 4*z = 9*z + 15 for b.
-4
Let h(j) = 4*j**2 + 82*j - 40. Let q be h(-21). Suppose -27 = -0*s - 5*s - 2*k, -q*k + 12 = 2*s. Solve 5*g - 6 - 2 = -o, -2*o = -s*g - 1 for o.
3
Let a = -1188 + 1199. Solve 12 = 8*y - a*y + 3*s, 4*y + s + 16 = 0 for y.
-4
Let m(o) = 21*o + 25. Let r be m(7). Let q = r - 53. Suppose 5*c = q - 114. Solve 7*v - 6*v - c = -f, -6 = -3*v - 2*f for v.
4
Let c = 4 - -2. Let p(b) = b - 4. Let u be p(c). Let g(z) = 1038*z - 2071. Let s be g(2). Solve 2*k = -u*k + 20, k = -5*o + s for o.
0
Let l(x) = -2*x + 22. Suppose 8 = 4*t - 4*d, -t + 3 = d - 9. Let f be -3 + t + 1*5. Let r be l(f). Solve -3*q + r*c - 7 = -2, 3*c - 10 = -4*q for q.
1
Let i be (4 - 3) + 10 + -7. Suppose -2*v + 9 = 2*r - 3*v, 12 = -4*r - i*v. Solve -4*p = 4*y - 16, r*y + 3*p - 5 = 6*y for y.
1
Let c be 20/8*308/7. Let y be (-194)/(-22) + 5*4/c. Solve -2*f = -3*f - 3, -f - y = -2*s for s.
3
Let w(t) = 2*t**3 - 7*t**2 + 13*t - 21. Let s be w(4). Suppose s = 5*x - 3*k, 2*k = -x + 2 - 3. Solve 0*r - n = r - x, 9 = 3*n for r.
4
Suppose -76 = -10*f + 74. Suppose 3 = -f*q + 33. Suppose -4*i + 11 = -1. Solve q*g + 3*l = -i, 2*g - 3*g = 4*l + 9 for g.
3
Let b(h) = -8*h - 158. Suppose 0 = -16*g - 83 - 269. Let k be b(g). Solve -a = -5*v, -5*a - k - 4 = -3*v for v.
-1
Suppose 161*c = 156*c - 1385. Let i = c - -279. Solve -4*o - 1 = -y - 20, 4*y - i*o + 20 = 0 for y.
-3
Suppose -5*u + 90*p - 89*p + 10 = 0, 3*p = 0. Solve -3*c + 3*b = -1 - 2, -b + 5 = u*c for c.
2
Let g(n) = n**3 + 10*n**2 - 54*n - 536. Let k be g(-10). Solve 3*s - 5*o = -17, 3*s - k*o + 8 = -8 for s.
-4
Let k = 3768 + -3760. Solve 5*d + 10 = 3*r - 0*d, 3*r - 4*d = k for r.
0
Let l be -2 + 9/((-36)/(-16)). Suppose 2 = 4*y + j, 0*y - 4*j = -l*y - 8. Let k = -132 + 134. Solve -2*s + 0*s + 5*g - 31 = y, g = -s + k for s.
-3
Let v = -55 - -65. Let t be -3 + (-81)/(-15) + (-4)/v. Let i = -2 + 4. Solve -t*a + 3*m - 2*m = -11, i*m + 17 = 3*a for a.
5
Suppose 7*c = -1223 + 229. Let s = c - -145. Solve 0 = s*l - 5*b - 20, 5*b + 20 + 0 = 2*l for l.
0
Let x = 19 - 26. Let u be x/28 + (-2)/(-8). Suppose u = 10*n - 18*n + 24. Solve 3*s = i + 11, n*s = 3*i + 2 + 7 for i.
1
Suppose 0 = -4*n + 5*u + 110, -u = 3*n - 120 + 66. Solve 2*r + 5*b - 14 = 0, -3*b + 8*b = n for r.
-3
Let m be (-39)/15 - (92/(-20) - -5). Let a be 5*(m + 2 + -3 + 5). Solve -2*r + 8 = 0, -a*x = -6*r + 4*r - 12 for x.
4
Suppose -47 = 44*o - 47*o + 22. Solve 0 = -5*j + 2*d, j + 36*d = 41*d + o for j.
-2
Let t(o) = -2*o**2 + 28*o + 92. Let r be t(-3). Let l be r/(-3 - 0 - -1). Solve -3*d + l*s = -4*d + 23, -4*d = -4*s + 28 for d.
-2
Suppose 0 = 4*v + 74*j - 79*j - 47, -3*v + 5*j + 39 = 0. Solve -2*a = -2*q + v, 4*a + 14*q - 17*q + 14 = 0 for a.
-2
Suppose 452 - 144 = o. Let t be o/220 - (-3)/5. Solve t*g + g = 3*c - 15, 5*g + 4*c = 2 for g.
-2
Let b(l) = -l**3 + 5*l**2 - 8. Let k be b(-3). Let s = k + -59. Solve -c - 16 = 4*c - 3*z, -2*c - 25 = s*z for c.
-5
Let l(g) = 7*g**2 - 6*g - 62. Let x be l(8). Let a be (1 - 2)/((-26)/x). Solve -t = -3*k - a, 5*t - 29 = 3*k - 0*k for k.
-3
Let o(z) be the first derivative of 7*z**2 - 50*z - 49. Let b be o(4). Solve -2*v - 2*v - s - 7 = 0, 0 = -v + 4*s - b for v.
-2
Suppose 0 = 252*w - 2250 - 18. Solve -5*s + 21 = 2*b, -14*s + 18 = b - w*s for b.
3
Let l be 2*((-65)/(-10) + 1). Suppose -11*w = -l*w + 52. Solve 2*b = -3*y + 9, 2 = -2*b + 5*y - w for b.
0
Suppose 0 = 3*z - 4*g - 53, 2*g - 3*g = 2*z - 28. Suppose -30 = 3*b - 4*f - 37, -b + z = 5*f. Solve -b*y + 