0, 2*h - 6*h - 5*v = -c for h.
-4
Let t be 209/55 + (-2 - 11/(-5)). Solve -4*z + 3*w = -1, -t*z + 4*w - 8 = -z for z.
4
Suppose n - 23 = 13. Suppose -45*d - n = -48*d. Solve 3*k - d = 4*v, -5*v + 4*k - 20 = -4 for v.
0
Suppose 3*z - 7*z = b - 128, 2*z = 3*b - 454. Let q be b/38 + (-20)/(-190). Solve -2*d - q*u + 22 = 0, 3*d + u - 4*u + 3 = 0 for d.
3
Suppose 5*h - 2*m - 22 = m, 3*m = h - 14. Solve -i = 2, 5*o + 3*i = -h + 1 for o.
1
Suppose 35*m - 39*m = -20. Suppose -2*y = m*j, -3*j + 2*y = 1 - 17. Solve d = j*d - w + 5, 2*w = 4 for d.
-3
Let f = -31 - -33. Let n = f - 2. Suppose 3*b = 2*k - 2, 1 + 11 = 3*k. Solve b*g - 4*t = -8, -4 = -t - n for g.
4
Suppose 5*x - 15 + 5 = 0. Let w = -2146 + 2152. Solve w = 2*c - 2*d, x*c + 3*d - 8 = -22 for c.
-1
Suppose 0 = 5*m - 9*m + 320. Suppose 0 = 3*g + 2*g - m. Suppose f = -4, 6 - g = 5*i + 5*f. Solve 3*q - 20 = -i*q + 5*u, 7 = q - 4*u for q.
3
Suppose -y + 9 - 8 = 0. Let b be -1 - y*(2 + 0)*-2. Solve -u + 4*d + b = 0, 5 = u - 3*d + 3 for u.
-1
Let p = -2897 - -2902. Suppose -f = 4*f - 20. Solve 2*d = -u + 4*d - p, -f*d + 25 = 3*u for u.
3
Suppose 10 = n + 2*t, 2*t - 6 - 12 = -5*n. Suppose -g - 4*f = -n - 2, f = -4*g - 14. Let k = 8 + g. Solve -2*j = k*o - 12, 4*j - 5*o + 15 = -26 for j.
-4
Let p(j) = -9*j**2 - 7*j - 2. Let a be p(2). Let r = 54 + a. Solve w = r*w + 2*s - 1, s + 5 = 5*w for w.
1
Suppose 0 = 2*r + 5*s - 18, 0 = r + s - 6 - 3. Solve -3*p - 4*m = -18, m - r = -3*p - 0*p for p.
2
Let z(x) = -x**2 + 33*x + 25. Let a be z(33). Solve 3*w = w + 5*h + a, w + 3*h + 4 = 0 for w.
5
Suppose 0 = -i + 3*q - 0 - 4, 0 = 3*i - 5*q - 8. Suppose 2*g = -5*c - 13, g + 0*c + c = -8. Let h = i + g. Solve 3*x + h*y = 4, 2*x + 8 = x - 3*y for x.
4
Let i = -7 + -5. Let y = -8 - i. Suppose -5*d = 4*c - 6, -5*d + 3*c - 6*c + 7 = 0. Solve 0 = y*m + d*k + 2, m - k + 0*k = -8 for m.
-3
Suppose 5*m - 13 = 2*t + 10, 0 = -m + 3*t + 15. Solve 3*f = q + 4, m*f - 3*q - 3 = -9 for f.
3
Suppose -2 + 18 = 8*o. Let r(t) = -t**3 - t**2 - 2. Let q be r(-2). Suppose q*b - 8 = -o. Solve 4*g + 3*m = 2, 2 = 5*g + b*m - 2 for g.
2
Suppose -4*n + 37 = x, 26 = 2*x - 3*n - 15. Let y = -46 + 99. Suppose -25 + y = 4*l. Solve 3*p = -3*t + 18, 5*t - x = -2*p - l for p.
4
Let w = -22 - -20. Let f(o) = -o**3 + 4*o**2 + 3*o + 1. Let r be f(w). Let t = -14 + r. Solve -3*i - t = -5*j, -i - 9 = -4 for j.
-2
Suppose -15*l + 69 = -13*l + 3*i, -l + 5*i + 41 = 0. Solve 5*w - 5*q + l = -14, 4*w - 5*q + 45 = 0 for w.
-5
Suppose 8 = c - 3*c - 4*k, c + 12 = -4*k. Solve 3*h - 4*h - 2*l - 4 = 0, 3*h + c*l = -10 for h.
-2
Let f(l) = l**2 + 3. Let y be f(0). Suppose -5*w = 5*w. Solve w = 3*u + 5*b - 8, 2 = -u + y*b for u.
1
Let s(k) = -16*k. Let o be s(-2). Suppose 4*i - o = 32. Suppose -16*m = -12*m - i. Solve -m*q - 4 = a + 8, -5*a + 12 = 2*q for a.
4
Suppose -4 = -5*h + 1. Let p = h - -1. Solve 2*b - 6 = p*a, -9 + 0 = -b + 4*a for b.
1
Suppose -42 = -13*h + 10. Solve 0 = 4*t - 2*f - 18, -h*t - 4*f = -0*f - 12 for t.
4
Let v be (7 - 7)/(2/2). Suppose -5*l + 7*l - 10 = v. Solve -3*d + 2*d - a = l, 4*d - 2*a = 4 for d.
-1
Suppose 0 = 3*m + 205 - 244. Suppose -1 - 3 = -2*i. Suppose 4*h + d = 18, 4*h - i*d = -0*h + 12. Solve 3*l + 3*s = -7 - 17, -5*l + h*s - m = 0 for l.
-5
Let t be 12/16 - (234/(-8) - 2). Solve v + 3*n - 14 = 2, -3*n + t = 5*v for v.
4
Let m = -64 + 68. Suppose 0 = m*b + 3*z, 2*z = b - z. Solve 3*y + b*y = -2*r + 19, 5*r + 5 = 3*y for r.
2
Let l(w) = -w**2 + 8*w + 5. Let g be l(5). Suppose 4*z - 2*r = 22, 2*r - 7*r - g = -3*z. Solve -2*s = -2*a + 2, z*a + 2*s - 17 = 3*s for a.
4
Let x(f) = 84*f**2 + 1. Let t be x(-1). Let q = t - 73. Suppose -d = -2*d + 3. Solve -d = -p - i, 4*p - i = i - q for p.
-1
Suppose 2*i = -2*v + 398, 0*v - 4*v + 991 = 5*i. Let k be ((-1)/(-3))/(13/i). Solve -k*p - 4*c + 17 = -2*c, -3*c - 17 = -p for p.
5
Let g be -3 - (-32)/8 - 18/(-2). Solve -r + 0*r + g = 3*u, 0 = -3*u - 2*r + 8 for u.
4
Let c be 1*(4*-1)/(-2). Suppose -346 - 110 = -8*u. Suppose 2*h = 5*h - u. Solve d = -4*p - h, c*p + 8 = -d - d for p.
-5
Suppose -4*n + 23 = -4*f + 7*f, 3*f = 5*n - 22. Let l(w) = -2*w - 12. Let r be l(-8). Solve 0*v - v = 5*q + 1, r*q + n*v = -5 for q.
0
Let k = -1 + 48. Let m = k - 43. Solve 2 = n + 2*r, 2 = m*n + 3*r - 1 for n.
0
Suppose -2*g - m + 0*m = -12, 4*g = -5*m + 18. Suppose -5*a = -10*s + g*s + 34, 0 = -2*s - 3*a - 9. Solve 2*x + 0*x + 17 = 3*k, 0 = -2*k - s*x - 6 for k.
3
Suppose 0 = -2*p + 42 + 14. Suppose -2*d = -34 - 16. Suppose -3*u = -3*a - d - 23, 2*u - 3*a - p = 0. Solve -m + 6*m = 4*o - 6, -2*m + u = 4*o for o.
4
Suppose 2*f + 1 - 41 = 0. Solve 0 = 5*a - 4*w - f, 9*a = 4*a + 5*w + 25 for a.
0
Let p be 6/(-15) - 85/(-25). Let q(d) = p*d - 5 + 2 + 4. Let j be q(2). Solve -4*r = -4*y, -5*r + j*r + 2*y = -20 for r.
-5
Suppose -259 = 5*a + f, -3*a - 5*f - 74 = 99. Let i = 54 + a. Solve 0 = l + 4, 0 = 4*d - 0*l + i*l + 28 for d.
-4
Suppose 29 = -9*i + 2. Let n be 30/24 - 1*i/(-12). Solve 2 = -m - 0*x - 2*x, 0 = x + n for m.
0
Suppose -4*q + 7*q + 57 = 4*b, -5*q = -5*b + 90. Let f = 15 - q. Let m be (-140)/(-34) - f/255. Solve 22 = -m*w + 2*l, 3*l - 2 = 1 for w.
-5
Let j be -6*1 - (-2 - 6). Solve l + 3*g - 24 = -j*l, -4*g = -20 for l.
3
Suppose 0 = 6*g - 0*g + 3*g. Solve g*c = c + 1, -5*v = -5*c - 20 for v.
3
Suppose 24*a - 22*a - 10 = 0. Solve 3 = 5*v + 3*u - 3, 15 = -a*u for v.
3
Suppose 2*q + 3*q + 64 = 2*k, 0 = -2*q - 2*k - 34. Let a = -11 - q. Solve 3*f - 4*v = 0, f + 7 = a*f - 5*v for f.
-4
Suppose -75 = 34*c - 245. Solve -3*n - p = -7, c*n = 4*n - 3*p - 3 for n.
3
Let y be 45/9 + 1 + 0. Let s(r) = -39*r + 335. Let z be s(8). Solve -5*x = -4*k + z, y*k - 3 = -x + 3*k for x.
-3
Let k be 2 + (1 + 2 - 1). Suppose 2 = -d + k. Suppose h + 5*t = -d*h - 8, -4*t = h + 12. Solve -2*x + 4*x + h*q = -22, -3*x = q + 18 for x.
-5
Suppose 3*f + 3*h + 0*h = 12, -h = -2*f - 7. Let p(i) = 24*i**2 + i + 1. Let o be p(f). Solve 3*w = -0*w - 3*g - o, -4*w + 3*g = 11 for w.
-5
Let f(d) = d**2 - 12*d + 5. Let u be f(12). Let l = 19 + -16. Suppose -3*o = 0, 0 = -l*m + 5*o - o. Solve u*p + 3*v = -31, m*p - 5*v = -4*p - 10 for p.
-5
Let q = 26 + -29. Let f(l) = -3*l - 1. Let a be f(-3). Let c = q + a. Solve c*t + 12 + 6 = 2*x, 0 = -4*t - 5*x - 21 for t.
-4
Suppose -3*v - 2*k = 2*k - 25, -3*v + 5 = -k. Let a be 2 + -5 + 2 + v. Solve -2*m = -a*q + 14, 4 - 2 = q for m.
-5
Let b(d) = -d - 3. Let j be b(-7). Let m be (8 - 2)*j/6. Suppose 3*y + 5*w = 26, 4*y - 22 = -2*w - 6. Solve -t + g = 6, 2*g - m = -t - y*g for t.
-4
Let c(f) = 4*f**3 + 9*f - 1 + 11 + 2 + 8*f**2 - 5*f**3. Let i be c(9). Suppose -z + 4*h = z - 20, -i = -2*z + 2*h. Solve -o + 2 = 4*x, 4*x + z*o - 5 = -1 for x.
0
Suppose 0 = -37*g + 9*g + 56. Solve c = g*q + 7, -2*q = 3*c - 10 - 3 for c.
5
Suppose -28 - 7 = -5*c. Suppose c*v = -5*v. Solve -q - 2*b = -4*q + 1, v = 3*q + 4*b + 11 for q.
-1
Let x = -6 + 11. Suppose 2*z + 7 = x. Let h be (z - -3)*1 - -2. Solve b = -h*y - 4*b + 5, -b + 5 = 0 for y.
-5
Let q = 0 + -4. Let p be (3 + (-8 - q))*-2. Solve -4*j + p*w + 12 = -18, -4*j = 5*w + 5 for j.
5
Let i = -66 - -70. Let j(c) = 2*c - 3. Let a be j(5). Suppose a*s = 2*s + 5. Solve t + s = 4*k, -i*k - 13 = -8*k - 3*t for k.
1
Let n(q) = -q + 3. Let l be n(10). Let v be (-6)/21 + (-16)/l. Solve -f - v*z + 3*z = 3, 5*z = -4*f + 24 for f.
1
Let n be (-2)/(-4)*(-6 + 16). Suppose -j + 20 = -6*j, n*x + 30 = 5*j. Let b be 22/5 + 4/x. Solve 0 = -4*q + 2*u - 18, -q - u = -b*q - 12 for q.
-3
Let p(x) = -3*x**2 + 2*x - 1. Let m be p(1). Let o(d) = -d**2 - 7*d + 3. Let b be o(-7). Let u be m/b*-3 - 0. Solve -u*y - 3*v - v = -12, -4*y - v = 4 for y.
-2
Let k be 4/(-10) + (-408)/30. Let y be (-84)/(-49) + 10/k + 1. Solve l = -y*u - 2*u - 8, -5*u - 10 = -l for l.
0
Let y(g) = g + 18. Let k be y(-8). Let d = k + -5. Let q be (-9)/(-3) - (-2 - 0). Solve -4*j + 20 = -q*h, 3*h + 2*h - 25 = -d*j for j.
5
Let d = 96 - 49. Let i = 53 - d. Solve 0 = -4*x + 2*u + 2*u + 4, x + 4*u = i for x.
2
Suppose 9 + 22 = p - 3*h, -4*p - h + 59 = 0. Solve -s = 2*g - 2, -11 = 3*s + 5*g - p for s.
0
Let y = 67 + -63. Solve 0 = -3*v - 5*j - 27, -y*v - 24 = 2*j - 2 for v.
-4
Let l = -708 - -710. Solve 0 = m - l*p - 1, 5*m + 4 + 1 = 5*p for m.
-3
Suppose x - 19 = -f - 0*f, 5*x = 5*f - 145. Suppose 7*w = -3 + f. Solve 