for v.
-3
Let w = 2 + 0. Suppose -85 = -5*t + 5*g, 2*g - 46 = w*t - 4*t. Suppose 6*j - t = 4*j. Solve 4*b + j = -2*h, -2*b - h - 9 = 4*h for b.
-2
Let d(t) = 2*t + 9. Let i be d(-9). Let u = 11 + i. Solve q + 2*q = -j - 7, 0 = -2*j - u*q - 2 for j.
2
Let q = 14 - 10. Suppose 3*h + 5*u - 16 = 0, -h - 1 = -q*u + 5. Solve -6 = 2*n - 4*w, 2*n - 3*w - 6 = -h*w for n.
5
Let b be 2/(-6) - 30/(-9). Solve 5*q - 12 = -b*g, -q = -5*g + 3*q + 20 for g.
4
Let f(u) = u**3 - 4*u**2 + 3*u - 3. Let b be f(5). Let a = -21 + b. Solve 3 = v - 0, g - a = -5*v for g.
1
Let x(n) = n**2 + 11*n - 7. Let d be x(-12). Solve 0 = 3*y - f - 1, f - d + 0 = 0 for y.
2
Suppose 5*u = h + 3*u - 17, u + 13 = h. Let w(c) = c**2 - 9*c + 2. Let l be w(h). Solve l*s - 2*p = 0, 0*p = 4*s + 5*p + 27 for s.
-3
Suppose g + 24 = 4*q - 2*q, -4*q + 3*g = -52. Let p = q - 6. Let m = p - 1. Solve 4*j + 4 = m*j - 4*k, 5*k - 2 = -3*j for j.
4
Suppose 2*x - 4*x = -5*n - 14, 0 = -5*x - 5*n. Let j = 1 + 9. Solve 0*c = x*c - 5*l + 5, -5*c + 5*l = -j for c.
5
Suppose 0 = 5*o, 5*u + 5*o - 15 = 2*o. Solve -u = 2*i - 5, p = i - 3 for p.
-2
Let u be ((-10)/4)/(3/(-6)). Solve -2*q = 4*z - 1 + u, 0 = -5*z + q - 12 for z.
-2
Let m = 9 + -5. Solve -17 = 2*n + p - 4, -5*n = -m*p + 13 for n.
-5
Let b = 7 + 9. Suppose 5*l - 36 = -b. Solve 0*f + 2*t = 5*f - 14, t + 10 = l*f for f.
2
Let l be (-6)/(-1 + -2) + -2. Let f be (0/(-6))/(l + 1). Solve f = -g - g + 8, 0 = b + g - 2 for b.
-2
Suppose -3 = -b + 2. Let d = -6 + 13. Suppose -l + y - 2*y = 2, 4*y + d = -5*l. Solve -2*z - 14 = 2*s, -b*z + l = -s + 6 for z.
-2
Suppose -t = -4*t. Let p be t + (-1 - -3 - -2). Solve 5*z - 3 = -3*x, -6*x = -2*x - p for z.
0
Suppose -54*c + 59*c = 90. Solve 0*o + c = 5*s - o, -5*o = -10 for s.
4
Let g = -5 - -7. Let r(y) = -y**2 + 6*y - 3. Let h be r(g). Solve 5*m = 5*l + h, -m + 0 = -5*l - 5 for m.
0
Let h be 2 + 0 + -1 + 9. Solve -4*y - 2*x = -14, 4*y = -y + 3*x - h for y.
1
Suppose -3*u = 3*p - 4*u - 5, -p = -u + 1. Solve -3*r + 3 = 4*a - 28, -5*a = -p*r - 5 for a.
4
Let b = 2 + -3. Let o be 1/(0 + -1) + 22. Let u be o/4 + b/4. Solve 2*r = -u*c - 12, -4*c - 2*r - 8 = -0*r for c.
-4
Let d(i) = -i. Let c be d(-3). Suppose -2*l = -c*u - 4, -2*l = -4*u + l - 7. Let t be (2 - (4 + -2))/u. Solve t*g + 4*b = -g + 12, -5*b + 30 = 5*g for g.
4
Suppose -8 = -3*j - 4*x + 1, 2*x = 4*j - 12. Let d be 3 + (0 - j - -2). Solve d*y + 13 = 3*g, -3*y = -2*g + 8 - 1 for y.
1
Let q(n) = -n**3 - 6*n**2 - 3*n + 7. Let t be q(-6). Solve -s + 15 = -6*s - 3*k, 0 = -3*s - 5*k - t for s.
0
Suppose -2*k + 20 = 4*y - 0*y, -5*k = -10. Let o be 7*(-1)/(2 + -3). Suppose 2*a + 13 = 5*q + 3*a, 2*q + a = o. Solve 5*c - q*m = y*c + 7, -1 = 3*c + 5*m for c.
3
Let q be -3 + (-63)/6*12/(-18). Let z(a) = 2*a - 6. Let w be z(4). Solve -w*v - 2 = -0, 3*f = -4*v - q for f.
0
Suppose -15 = -5*i - 0*i. Solve 3*y = v - i, -v - 3*y = -0*y + 3 for v.
0
Let m be (54/(-3))/(-3) - 1. Suppose 8 = 2*q + 2*y, 4*q = q - m*y + 14. Solve 4*j + 6 = -2*u, -7*j = 3*u - q*j + 9 for u.
-3
Let z = -6 - -11. Solve b + 0*g + 5 = -2*g, -2*b - g = -z for b.
5
Let v(b) = -b**2 - 4*b + 3. Let p be v(-4). Solve 2*s - 16 = 6*s, p*d = -5*s - 23 for d.
-1
Let k be 0/1*-1 - -12. Let w be (3 - 2)/((-2)/(-8)). Suppose -2*o + 3 = -b, 4*b = -o + w*o - 2. Solve f + o*f + k = -q, -2*f = 5*q + 8 for q.
0
Suppose 3*v - 4 - 5 = 0. Suppose -3*h + a - 14 = -v, -4*h = 4*a + 20. Let s = 8 - h. Solve -2*i + 16 = 3*l, 4*i = -l - s + 34 for l.
2
Suppose i - 6*i = -2*g - 13, g - 10 = -3*i. Suppose -3*d + i = -2*d. Solve 2*l = -j - 4, d*j + l + 12 = -0 for j.
-4
Suppose 7*w - 2*w = 0. Suppose w = -b - 0*b. Suppose 4*c - 12 = -b*c. Solve 5*v - c*p - 3 = -24, p - 2 = 0 for v.
-3
Let n(i) = -i + 7. Let k be n(7). Suppose k = 11*z - 9*z - 4. Solve 0 = -z*c + 5*o + 38 - 5, -4*c - 3*o = -1 for c.
4
Let t be 3/(((-30)/(-4))/5). Suppose 4*j = t*i + 18, 2*j - 3*i = 7*j - 17. Solve j*c = -d - 0*c + 1, 16 = -4*d + 4*c for d.
-3
Let l(j) = -j**2 - 2*j + 4. Let f be l(0). Solve -4*b = -5*y - b - 16, -f*y + 2*b = 14 for y.
-5
Let w = -43 - -77. Let t = w + -29. Let u(l) = l**3 + 2*l**2 - 3*l - 1. Let k be u(-2). Solve m = -t*j + 19, -4*j + k*m - 5 = 3 for j.
3
Suppose -3*t + 3 + 3 = 0, 0 = -4*y + t + 2. Let o = 3 - y. Suppose o*p - 4*p = 5*s, 5*s = 5*p. Solve b - 2*l + 1 = s, -2*l = 3*b + 2*l + 13 for b.
-3
Let c(f) = -f**3 - 5*f**2 + 7*f + 6. Let p be c(-6). Suppose p*h = -h + 3. Suppose -8 = -h*b + 4. Solve -4 = j - 3*j + 2*i, -b*i = -2*j + 10 for j.
-1
Let h be 2/((1/3)/((-1)/(-3))). Solve 6*s - 2*s - 20 = -4*n, 0 = h*n - 2*s + 6 for n.
1
Let l(x) = -3*x - 1 - 2*x + 0 - x - x**2. Let d be l(-5). Solve u = f - 5, -d*f - 5*u + 3*u + 8 = 0 for f.
3
Let w be (-1)/(7/(-98)) - (0 - 1). Solve 20 = -4*m, 5*c - w = -0*m + m for c.
2
Let x(o) = -3*o - 5 - o**3 + 3*o + 4*o**2 + 2*o. Let g be x(4). Suppose 2*m = 3*m - 7. Solve 2*r + 11 = g*l, 5*l + m*r = 4*r - 7 for l.
1
Suppose -z = 3*n - 165, 2*n - 110 = -2*z - 3*z. Let b be (-1)/(-6) - n/(-30). Solve -5*v + 7 = -f, 3*v = -b*f - v for f.
-2
Let f = -204 + 205. Solve 2*s + 4*x = -2, f + 3 = -2*s - 3*x for s.
-5
Let i(w) = w**2 - 12*w + 37. Let c be i(7). Solve -17 = -3*x - 2*n, c*x + x - 2*n - 13 = 0 for x.
5
Let p(l) = l**3 + 10*l**2 + 9*l + 8. Let h be p(-9). Let s = h + -3. Let u = -10 + 14. Solve -4*n + u*m = 0, -m + 6*m = -s for n.
-1
Let n(q) = 2*q - 12. Let z be n(6). Solve -3*d = d + 3*p + 10, -d + 3*p - 10 = z for d.
-4
Suppose 4*v = 2*g + 6, -15 = -3*g + 4*g - 5*v. Solve -5*p + g*s + 0*s = 0, 4*s = -2*p + 30 for p.
5
Let n be 0*((-8)/12)/2. Solve -i + 11 = 3*s, n = -2*i - 5*s + 8 + 12 for i.
5
Let j(o) = -o**2 + 4*o + 1. Let r be j(5). Let i(t) = -t + 1. Let k be i(r). Let h = -4 - -6. Solve 3*q + q = -k*f - 18, h*f + 2 = q for q.
-2
Suppose -3*a = a - 8. Let s be (a/2)/((-1)/(-2)). Let l = 33 - 25. Solve -s*p + 0*p + l = 0, -5*p + 22 = -n for n.
-2
Suppose -3*v = -y + 9, -2*v = y - v - 1. Solve 0 = -2*u + y*x + 1, -8 = -u + 5*x + 3 for u.
-4
Let q(x) = -x**3 - 6*x**2 - 2*x - 8. Let m be q(-6). Suppose 0 = 5*r + 2*p - 17, 4*p - 11 = -3*r + 2*p. Solve -r*f = m*j + 18, 1 = -5*j - 2*f - 18 for j.
-3
Let g(j) = j**2 + 12*j + 3. Let t be g(-12). Solve -5*h = 3*b - 8, 5*h - 36 = -t*b + 7*b for h.
4
Suppose q - 4*q + 12 = 0. Suppose -5*t + 6*w = 2*w - 104, 0 = 4*w + q. Let k be 10/(-15) - (-22)/6. Solve -4*u = k*d - t, 4*u - 3*d = d - 8 for u.
2
Let u be 2/(-6)*(-16 - 8). Solve 5*c - u = -3*v + 8, -4 = -c - v for c.
2
Suppose h + 0*h - 4 = 0. Let m be 3/(-2 - -1)*-1. Suppose 2*q + m*c = 17, -2*q - 5*c + 20 = -c. Solve -f + q*z + 25 = 4*f, -f = z + h for f.
1
Let w(s) = 28 + s - 3*s - 27 - s**2 + 2*s**2. Let d be w(1). Solve 5*t + 3 = -3*u - d, -5*t + 4 = -4*u for u.
-1
Suppose -4*f - 34 = -50. Solve -f*y - 3 = z, -2*z + 2*y + 16 = -y for z.
5
Let n = -56 + 72. Solve 0*m + 2*m = 2*v - n, 0 = -5*v - m + 10 for v.
3
Let q(v) = v**2 + v. Let i be q(-2). Solve 2 = 2*n + i*h, -2*n + 0*h = 5*h - 11 for n.
-2
Let k be (-4 + 5)*-1 + 3. Solve -2*t - g = 10, k = -t - t + g for t.
-3
Suppose -x - 9 = -4*x. Let i(v) = 2*v - 2. Let c be i(x). Suppose 3 = 2*f - 1. Solve 12 = -f*o - o + 4*j, -c*j = 4*o - 12 for o.
0
Let q(r) = -r + 8. Let h be q(10). Let f = 2 - h. Solve -f*o + 26 = 2*x, 0*x - 4*o + 17 = -x for x.
3
Let t be ((-16)/32 + (-2)/(-4))/(-2). Solve t = s + 5*p + 2, 0 = 2*s + 5*p + 4 for s.
-2
Let t(o) = o + 1. Let z(v) = 3*v + 4. Let d(x) = -5*t(x) + z(x). Let w be d(-2). Solve -6 = w*u + 3*q, -q = -4*u + 3 + 14 for u.
3
Let w(h) = h**2 - h. Suppose 0 = -3*m + 2 + 1. Let s be w(m). Suppose s = -3*p - 3, -p = -2*f - 4*p + 17. Solve -2*j = -b + 8, 5*b - 2*j - f = 3*b for b.
2
Let z be (-2)/2*-16 - 52/(-13). Solve -2*b = 2 + 8, -5*b - z = 5*s for s.
1
Let p(g) = -3*g**3 + 2*g**3 - 2 - g**2 + 0*g**3 + g. Let a be p(0). Let m be 4/2 + (1 - a). Solve -5*u - m*v = -30, 0 = 3*u + 2*u - 2*v - 2 for u.
2
Suppose q - 4 = -3. Solve 3*m + q - 2 = 4*b, -5*m + 2*b + 11 = 0 for m.
3
Let s be 2/5 - 54/(-15). Suppose -5*x = -2*j - 1, -5*j + s + 3 = -3*x. Solve -3*v + b - j = -0*v, -b = 4*v + 5 for v.
-1
Suppose -6*i + 2*i = 0. Solve -f - 2 = o - 2*o, i = 5*o - 3*f - 4 for o.
-1
Suppose 4*i = 7*s - 3*s - 28, 0 = -4*s - 4*i + 4. Solve -3*m + 0*m = -h - 12, -s*h = -4*m + 16 for h.
0
Let b(c) = c**3 - c**2 +