 - (u + 3)/2. Solve -4*g + 5 = a - v, 32 = 3*g + 5*a for g.
4
Let v = -19 + 19. Solve -4*b - 25 = s, -4*b + 8*b - 5*s - 5 = v for b.
-5
Suppose 2*c + 9 = a, -2*a = 3*a + 3*c - 6. Suppose 30 = a*z - 0. Solve x + 0*i - i + 5 = 0, 0 = 2*x + 3*i - z for x.
-1
Suppose c = -21*o + 20*o - 2, o = -4*c + 7. Solve -c*j - 5*q = -j - 18, 3*j = -q + 1 for j.
-1
Let t(v) = 8*v - 54. Let r be t(7). Solve -4*l - y = -0*y + 24, r*l + 5*y + 30 = 0 for l.
-5
Suppose b - 4 + 1 = 0. Let c(t) = -t**3 + 2*t**2 + 2*t + 1. Let k be c(b). Let p = 8 + k. Solve n + 5 = -4*r + 21, -p = 2*r + 4*n for r.
5
Let p(m) = -m**3 - 6*m**2 - 11*m - 4. Let g be p(-4). Suppose g = -4*k + 32. Suppose 3*n = 21 - k. Solve z + 1 = 4*j + 9, -n*j = 5*z + 35 for j.
-3
Suppose 3*j - 81 = -0*j. Suppose 0 = -5*k + j - 2. Suppose -4 = -3*g + k. Solve -3*p - 7 = -2*r + g*r, -5*r - 20 = 0 for p.
-1
Suppose -106 = 4*g - 6*g. Let h = g + -48. Solve 0*o = -h*t - 2*o - 15, 4*t = -3*o - 12 for t.
-3
Let b = -18 - 2. Let u = b - -24. Let c be (-1)/4 + 63/12. Solve 0 = 3*j + 2*m - 1, 5*j + c = u*m - 9*m for j.
3
Suppose -3*b + 4 = -5. Suppose -5*x + 2*x = -b. Solve 0*u = -3*l + 3*u - 9, -x = -u for l.
-2
Let n(a) = -a**3 - 7*a**2 - 2*a - 14. Let t be n(-7). Solve 3*i - j - 10 = 0, t*j + j = -4 for i.
2
Let x(r) = -r**2 - 7*r - 12. Let u be x(-2). Let l be (u + 2)/(-2)*-1. Let w be (-1 + 1)*1 + 1. Solve -7 + 2 = -3*v - 5*y, l = 5*v + y - w for v.
0
Let n = -1016 + 1016. Solve b + b + 5*a = 13, n = 2*b + 2*a - 10 for b.
4
Let k = 252 + -250. Solve -d - k*j = 7, 3*d - 14 = 2*d + 5*j for d.
-1
Let p(v) = -80*v + 83. Let k be p(1). Solve 3*y - 13 = -m, 0 = 5*m - 2*y + k*y - 9 for m.
1
Let a(n) = 7*n**2 + 39*n - 14. Let t be a(-6). Solve 5*d + 10 = 0, 3*q - t*q - 7 = 5*d for q.
3
Let v = 73 + -82. Let z be (1 + 24/v)*-3. Solve t = -4*g - 0*g + 5, -13 = g + z*t for g.
2
Let v(l) = -l**3 - 15*l**2 - 13*l + 11. Let y be v(-14). Let s(g) = -3*g - 4. Let x be s(y). Solve -x*t = 0, -2*o - 6*t - 2 = -3*t for o.
-1
Suppose 2*j - 12 = 3*p - 7*p, 5*p + 5*j - 25 = 0. Let g = -7374 + 7385. Solve -y - p = -2*y, g = 3*d + 2*y for d.
3
Let d be 2/4*-6 + 23. Let i(b) = b**3 + 9*b**2 - 11*b + 9. Let s be i(-10). Let y = -7 + s. Solve x - y = -p + 4*p, 5*p = 4*x - d for p.
-4
Let l(v) = 2*v + 5. Let p be l(0). Suppose -g = -p*s, 3*g + 5*s - 32 = -12. Suppose -5*b + 25 - g = 0. Solve -2*h + 4*h + 2*y = 0, -y = b for h.
4
Let s = 48 + -80. Let c = s + 32. Solve c = -5*z - 25, 0*d = 2*d - 2*z for d.
-5
Suppose 0*a = 4*a. Suppose -5*k + 6*k - 27 = a. Solve -n + 4 = 2*p + 2*n, n = 5*p - k for p.
5
Suppose 45 = 5*f + 5*p, -7*f + 4*f = -p - 19. Suppose -j = z, 2*j - 10 = f*j. Solve 2*x - 12 = 4*q, x + z = -q - 4 for x.
-2
Let d(k) = 2*k**2 + 3*k - 4. Let f be d(-3). Suppose f*z + 5*p = -0*z, -4*p - 8 = 0. Solve 4*h = 2*h + z*o + 2, 3*o = h - 7 for h.
-2
Suppose -13*j + 5 = -8*j. Solve 0*c + c = 2*r + j, 34 = -3*r - 5*c for r.
-3
Suppose -16*w = -10*w - 42. Let j be (-1)/w - 635/(-35). Solve 5*m - 15 = 0, m + 4*m - j = -3*x for x.
1
Let x = 30 + 19. Let k = x + -46. Solve 5*a - 3*z - k = 0, -3*z + 0*z = 2*a - 18 for a.
3
Suppose 4*l = -2*u + 12, -3*u - 7*l = -9*l - 50. Suppose -10 = -3*d + d. Solve -d*j + u = -2*p, -4*p = -5*p - j for p.
-2
Suppose -3*z - 5*f + 17 = 0, 13*z - 16*z - f = -13. Solve -t + 10 = 3*s, z*t - 5*s - 6 = -0 for t.
4
Let t = -1512 - -1515. Solve 6*v + 12 = t*v, -s + 2*v + 5 = 0 for s.
-3
Let v(g) = 5*g - 33. Let l be v(8). Let q be ((6/(-7))/3)/((-1)/l). Let p = 7 - 2. Solve y = -5*h + 9, y + 3*h - q = p*h for y.
4
Suppose 2*x + 5 = -3, -2*f = 4*x - 64. Suppose -6*t - 2*t + f = 0. Solve -j = -p + 2, -5*p = j - 5*j - t for j.
-5
Suppose 0 = -34*m + 30*m - 28. Let f be 6/((-168)/20)*m. Suppose -y = -6 + 1. Solve 0*z + z = -2*r + y, -z - r = -f for z.
5
Let c(b) = -2*b**2 + 13*b - 8. Let f be c(5). Suppose 2*p = 4*h + f + 103, 0 = 3*p - 3*h - 150. Solve -5*a + p = 5*j, 5*j - 3 = 5*a - 8 for j.
4
Let a(s) = s**3 - 7*s**2 + s + 6. Let f be a(7). Suppose f*m - 50 = 3*m. Solve 3*z - m*o = -2, 0 = 5*z - z + 3*o + 22 for z.
-4
Suppose -5*o - 25 = -2*i, 771*o = -i + 766*o - 25. Solve 5*x - z + 19 = i, -x = 3*x - 4*z + 28 for x.
-3
Let n(c) = 2*c**2 + 11*c - 13. Let k be n(-7). Let l be (k/(-30) - (-10)/(-25))*-9. Solve 5*t + 20 = 0, -p - 4*t - 6 = l for p.
4
Let t be 3/(2 - (-5)/(-1 + -4)). Let v be (-2 - (0 + -3)) + 17. Solve -5*d = -3*f - 4, -5*f = -0*f + t*d + v for f.
-3
Let d(q) = 45*q - 266. Let v be d(6). Solve 0 = 2*k, -v*t - k - 2 = 10 for t.
-3
Suppose c + 320 = -4*c. Let m = c - -68. Solve 0 = -s - 5, -4*y + 8 = -0*s - m*s for y.
-3
Suppose 4*p - 2*r - 2 = 0, -4*r = p - 3*p - 14. Suppose -p*z + 30 = 2*z. Suppose -5*i + 28 = t + 10, 0 = 3*t + 6. Solve 0 = -n + i, -w = -0*w + n - z for w.
2
Let a = -165 + 168. Solve -11 = -4*t + i, 2*t - a = 5*t + 3*i for t.
2
Suppose 3*c + 9 = p, p - 4*c = 15 - 5. Solve 2*r - 10 = 5*q, -q - 13 = 3*r + p for q.
-4
Let b(d) = 2*d**3 + 77*d**2 + 39*d + 48. Let h be b(-38). Suppose 0 = 4*u - 5*c - 28, 2*c = 5*u - 0*c - 18. Solve -h = 2*a + 4*f, 0*a = 2*a - u*f - 8 for a.
1
Let w be 2 - (-3 - (-35)/15)*3. Solve 0 = -w*f - k - 17, 17 = -2*f - 4*k + 5 for f.
-4
Let s(r) = 27*r - 373. Let i be s(14). Solve -x = -4, -6*m + 3*x = -i*m + 16 for m.
-4
Suppose 77 - 85 = -2*q. Let p be (q + -5)/(1/(-3)). Solve j = -n + p*j - 2, 0 = -4*n - 5*j + 31 for n.
4
Let s = -73 - -92. Let x be 23/6 - (s/(-6) + 3). Solve 2*w - 6 = -3*v - 2*v, -x*v + 5*w = 15 for v.
0
Suppose 2*o - 34 = 4*z - 18, -o + 5 = -z. Solve -2 = f + 1, -i - f - o = 0 for i.
1
Let d be (-2)/(5/(25/(-2))). Suppose 2*h - 2*k = -26, 3*k = 5*h - 18 + 77. Let s = h - -14. Solve 2*m = 3*c + 4, d*c = m + 3*c - s for m.
-4
Let v = -7 - -16. Suppose 4*m = v*m - 25. Solve 0 = -m*f + t - 2 - 18, -22 = -f - 5*t for f.
-3
Let z(t) = 3*t**3 - 2*t**2 - 2*t + 2. Let p be z(2). Solve -y + 4*a - a - p = 0, -a = 5*y - 10 for y.
1
Let m = -2140 + 2145. Solve 3*j - 17 = -2*a, -m*a + 5 = -3*j - 6 for a.
4
Suppose 0 = -3*n - 0 + 9. Suppose 0 = n*z - 6*z + 6. Let g = -93 + 106. Solve 5*a + z*b - g = 0, -5*a + 13 = 5*b + 3 for a.
3
Suppose -104 - 49 = 3*q. Let d = -10 - q. Let u(h) = -h**2 + 11*h - 15. Let g be u(2). Solve -5*i + i - 5*t - d = 0, 11 = i - g*t for i.
-4
Let z be (-5 - -25)/(-1)*-1. Suppose z = 4*i - 0. Solve -19 = -3*g - 4*v, -2*v - 13 = -2*g - i*v for g.
5
Suppose -3*n + 7*i = 5*i + 131, -n + 3*i - 39 = 0. Let w be (-3 - 280/n) + (-2)/9. Solve 2*h - 4*h = -g, g = -h + w for g.
2
Let f = -6 - -13. Suppose 0 = -2*s + 19 + 15. Let i = 17 - s. Solve 3*y = 3, 2*r - 3*y = -i*y + f for r.
5
Suppose -2*g - 12 = 2*g. Let y be (-4 - g) + (8 - 1). Suppose 0 = m + m + y, 9 = 3*x + m. Solve 2*b + 0*n + 5*n = -11, x*b + n = -13 for b.
-3
Let n(z) = z - 5. Let u(t) = t**2 - 9*t + 3. Let v be u(8). Let x be n(v). Let g = x + 22. Solve -20 = 2*r - 3*m - 8, -r - 3*m = -g for r.
0
Let q = 9 + 5. Suppose -4*a + 5*o + 6 = 0, 3*a + 0*a = -o + 14. Solve w + w = r, -w + q = -a*r for r.
-4
Let j(m) = 2*m - 4. Let h be j(-7). Let g = h + 29. Let n be (4/3)/(2/6). Solve -5*v - g = 14, -v - 13 = n*f for f.
-2
Suppose -5*d - 30 = 5*t, -3*d - 9 = -4*t + 30. Let f be d/36*(-19 - 1). Let n = -9 - -13. Solve -n*q + 4 = 0, 0*b - 5*b - f*q = 0 for b.
-1
Let a be (-2 - (-6)/4)/(1/(-46)). Suppose 4*y = -3 + a. Solve -17 = -2*w + y*j, 21 = w - 5*j - 0*j for w.
-4
Let q = -336 + 339. Solve 0 = 4*s - 3*d + 13, 4 = s + 4*s + q*d for s.
-1
Let x = 20 + -12. Suppose -3*q = -x*q + 10. Solve 5*m = 4*l - 6, 2*l + 1 = 5*l - q*m for l.
-1
Suppose 7*n = 172 - 4. Suppose -2*b = 14 - n. Solve -5 = 3*s - 4*r - 4, -b*r + 10 = 5*s for s.
1
Let z = -223 + 238. Solve 4*s + 32 = 3*p, 0*p - s = 5*p - z for p.
4
Let a be (-30)/9*(-6)/4. Solve -5*s - 10 = 5*v + 5, -s - a*v = 3 for s.
-3
Suppose -7 = b + 4*p, 3*p + p = b - 1. Let q be b/9 - (-3)/9. Suppose 2*o - 5*o = 0. Solve 3*f + 12 = o, q*l - l - 8 = f for l.
-4
Let f be 8 + ((-384)/(-6))/(-8). Solve 0*n - 4*n - 12 = f, 0 = -q + 2*n + 3 for q.
-3
Suppose 0*a + 2*a - 5*b - 43 = 0, 2*b = 4*a - 62. Let j(w) = w**2 - 11*w - 38. Let k be j(a). Solve -k*o - 30 = 5*m, -3*m - 8 = m for o.
-5
Let r(f) = -f**3 - 37*f**2 + 39*f + 42. Let t be r(-38). Solve -2*x + 3*x - 12 = -t*y, -x = -y + 3 for x.
0
Suppose 100 = 18*a - 26. Solve l - h = -8, -3*l + 