 5 for v.
5
Let i be 4 - ((-15)/(-3) + -2). Let p be (i/2)/(4/8). Let t(m) = -m**2 + 8*m - 3. Let w be t(7). Solve 0 = 3*n + 4*x - p, -4*x = -w for n.
-1
Let x(w) = -w**2 + 9*w + 16. Let t be x(9). Let n = 6 + -1. Solve -4*j - k = -t + 4, k = -n*j + 14 for j.
2
Suppose 4*u - 5*u + 14 = 0. Solve u = -4*i + 5*c, 6*i - i + 11 = 3*c for i.
-1
Let j(d) = -d**3 + 6*d**2 - d + 8. Let z be j(6). Suppose 6 - 2 = 2*g. Let r(q) = 5*q - 3. Let m be r(g). Solve -z*h + 8 = i, 3*i - 12 = -5*h + m for i.
-2
Let g = -108 + 112. Solve 0 = -g*b - 4*w + 30 - 2, -4*w + 8 = -b for b.
4
Suppose 2 = 2*i - 4. Let g be (-1 + 0)/(4/(-16)). Solve -3*f + i*o = 0, 3*o + g = o for f.
-2
Let h be 15/6 + 1/2. Suppose -3*c + 4*c + i - 16 = 0, 5*i + 64 = h*c. Suppose 0 = -5*d + c - 3. Solve -4*b = -5*n - 27, d*n - 1 - 2 = -4*b for b.
3
Let h(i) = i**2 - i - 8. Let b = -5 + 11. Let w be h(b). Suppose 3*u - 21 = -0*o + 4*o, 2*u - 2*o - 12 = 0. Solve 4*k - 2*v = -w, u*k - 16 = 4*k - 4*v for k.
-4
Let o = 0 + -2. Let j be ((-3 + -1)/1)/o. Solve k + 5 = -2*f, 0*f + f + j*k = -4 for f.
-2
Let o be (-2)/3 + (-153)/(-27). Suppose 0 = o*p + 4*s - 60 + 5, 22 = 2*p + s. Solve -5*q - 35 = 5*c, 3*q + c + 0*c + p = 0 for q.
-2
Suppose 3*f - 2*b - 16 = 0, -f - 4*b - 12 = 3*f. Solve 0 = -f*q + 5*v - 31, 5*q - 3*v + 9 + 21 = 0 for q.
-3
Suppose 0 = -6*w + 19 - 1. Solve -4*k + w = 3*r, k + 2*k = 3*r - 3 for r.
1
Let b be -5*(2 - (-13)/(-5)). Suppose -g - b*g + 16 = 0. Solve -g*f + 1 = -3*v - 1, 3*v - 3*f = 0 for v.
2
Let c be (-88)/(-20) + (-4)/10. Let d be (6/4)/(c/(-24)). Let p be d*(4/(-3))/4. Solve s + 3*l + 17 = 5, 2*s - 21 = p*l for s.
3
Let b be (-2 - 0)*(-6)/4. Let l = b + -2. Solve -v + 17 = -6*v - 4*h, -v - l = 2*h for v.
-5
Let n(f) = 2*f - 41. Let b be n(22). Solve -7*r + b*r - 8 = -5*k, -3*k + 6 = -3*r for r.
-2
Suppose 4 = -5*v + 14. Let h be (14/4 + -2)*v. Suppose h*m = -0*m. Solve 1 = -c + w - m, 4*c - 20 = -2*w for c.
3
Suppose -5*y + 19 = -41. Let i(q) = 2*q - 12. Let n be i(8). Solve 0 = n*l - 4*r, -2*l + 5*r - y + 3 = 0 for l.
3
Let r(t) = t**2 - 12*t + 24. Let l be r(10). Solve -4*q = 3*v + 3 + 12, 0 = l*q + 2*v + 10 for q.
0
Let w(y) = -y**3 + 8*y**2 - 6*y - 9. Let m be w(7). Let v = m + 6. Let k = 2 - -2. Solve -5*q = v*o + 36, -k*q - 29 + 9 = o for o.
-4
Suppose 4*q = -2*t + 5 + 1, -2*t = 5*q - 10. Solve -m - 4*f = -f - 13, -3*f = q*m - 7 for m.
-2
Let j be (4/12)/(2/(54/1)). Solve j = 3*s, 0*h = -4*h + 5*s - 35 for h.
-5
Suppose -2*v = m - 3*v - 5, -4*m - 3*v + 13 = 0. Suppose 5*a + m = 24. Suppose -40 - a = -2*x. Solve 0*i - 5*n + x = -3*i, 4*i + 14 = -n for i.
-4
Let o be (-12)/(-16) - (-17)/4. Solve w = 5*c - 16, 3*c - o - 11 = -w for c.
4
Let i be 1/(-4)*2*-32. Suppose 0 = -4*b - 0*b + i. Solve b*m + 8 = -3*x, 0 = x - 0*m + 2*m + 2 for x.
-4
Suppose 0 = 3*v + v - 100. Suppose 3*l = 64 - v. Solve -2*s + 4*p = 26, -3*s - 10 = -2*p + l for s.
-5
Suppose -5*y + 17*y - 36 = 0. Solve -y*t - 8 = -3*x + 1, -5*t - 5*x = 25 for t.
-4
Suppose 0*q = 3*q - 54. Suppose 3*t = 27 + q. Solve -2*f - 3*f + n = -12, -4*f - n = -t for f.
3
Suppose 0 = -4*v + 7*v - 60. Solve 2*k = -2*z + 10, -2*k + v = 2*k - z for k.
5
Let c = -6 + 11. Let r be 1/(-4) - 55/(-44). Let o be (r - 2)/((-13)/52). Solve 2*m - 2*w - o = 0, 3 = c*m + 4*w + 29 for m.
-2
Let l be (-132)/(-20) + (-6)/(-15). Suppose 0 = -2*g - 22 + 66. Suppose 0 = y + 4 - g. Solve -l = -0*s + s + 2*w, -3*s = 3*w + y for s.
-5
Let f = 4 - -12. Let b = -16 + f. Solve u = -c + 6*u + 17, 4*c - 3*u = b for c.
-3
Suppose 2*c - 13*c = 0. Solve 5*n = 4*x + 28, -4*n + c*x - 3*x = -10 for n.
4
Let s = -9 - -12. Suppose -5*v - 31 = -3*w, 5*w + 4*v + 16 = s*w. Solve -6 = -w*j - j, 0 = -5*u - 4*j + 33 for u.
5
Let s = 11 + -9. Solve 3*l + 25 = 5*f - 2*l, -15 = -3*f + s*l for f.
5
Let m(p) = -7*p - 17. Let w be m(-3). Solve -a + 2*z + 7 = 0, -3*a + 5*a = -z + w for a.
3
Let r(p) = p + 6 + p**2 - 6. Let t(v) = -v + 5. Let a be t(3). Let k be r(a). Solve k*z - 24 = 2*z + 4*u, 0 = 4*z + 5*u + 12 for z.
2
Suppose 0*x - 4*r + 31 = 3*x, 0 = 5*x - 4*r - 9. Suppose 0 = -3*i - 2*i. Let n be (-6)/(-21) - (-12)/7. Solve i = -x*h + 2*d - 3*d - 10, n*h + 4*d = -22 for h.
-1
Let f(q) = -q**2 - 3*q + 2. Let x = 16 + -19. Let d be f(x). Solve d = z + 3, 4*z = v - 2 for v.
-2
Suppose -5*j + 3*a = -7, 4*a = -2*j + 2*a + 6. Suppose -4*b + 5*k + 53 = 0, -k = j*b - 0*k - 23. Solve q + 21 = 4*s + s, -4*s + 2*q + b = 0 for s.
5
Suppose 7*c = 3*c + 8. Suppose c*s = -s + 21. Solve -2*p + 29 = 5*t + p, t + p - s = 0 for t.
4
Let j(u) = 10*u. Let p be j(-2). Let c be (-2)/(-1) - (p - -1). Let o be (c/9)/(2/6). Solve 5*r = 2*a + 18, 2*r = 4*a + o*r - 24 for a.
1
Let s be (-4)/2 + 2 - -1. Let m be 0 + s + (2 - -14). Solve 10 = 2*v + 2*x, 2*v + 3 = 4*x - m for v.
0
Let d(f) = -4*f. Let w be d(-1). Let s(c) = c**3 - 7*c**2 + 10*c + 2. Let h be s(5). Solve -a = 4*o + 7 - 0, 2*a - h*o + w = 0 for a.
-3
Suppose 0 = 2*n - 5*f - 25, 3*n - 14 - 11 = 5*f. Suppose n = 3*d + 2*d - 35. Let i = d - 1. Solve -20 = 4*s, -o + s = -i*o - 5 for o.
0
Suppose 0*r - r = -53. Let a = r - 23. Solve 15 = -3*u - 0*u, 0 = 2*v - 4*u - a for v.
5
Suppose 5*j = -5*d + 25, d + 19 = 5*j + 3*d. Solve 2*h - j*a = -h + 24, 9 = -3*a for h.
5
Suppose -3*v = 2*u, u - 2*v - 20 = -u. Let s be -2*5/4*-2. Solve 0 = s*j - 5*p - 30, u = -3*j + p + 18 for j.
3
Suppose -4*k + 5*k - 8 = 0. Let h be (k/(-6))/((-4)/6). Let v(m) = 27*m**3 - 1. Let u be v(1). Solve -z + 16 = 4*r, -3*z + u = h*z + 2*r for z.
4
Let y(k) = -k**2 - 13*k + 2. Suppose 3*p - 3*g = -27, -4*g + g = -p - 1. Let o be y(p). Solve 5*h - o*r - 30 = 0, h + 0*r + 6 = -2*r for h.
4
Let t = -2 + 6. Let n = t + -4. Let q be 8 + (-3 - n/1). Solve -12 = 3*l, l = q*u - 0*l + 1 for u.
-1
Let w = 2 - -5. Let q = w + -11. Let r be 22/6 + q/(-12). Solve 2*m - r = 0, -4*b = b + 4*m + 17 for b.
-5
Suppose -4*o = 3*j - 0*o, -2*j + o + 11 = 0. Solve -h + 1 - j = -4*s, 4*h = -12 for s.
0
Let d(l) = -1 - 2*l**3 - 4*l**2 + l**3 + 2 - 4*l. Let s be d(-3). Suppose 0 = 4*o - 2*n - 22, -6*n - 28 = -o - n. Solve -o*c + 12 = s*m - 11, 4*c = 4 for m.
5
Suppose k - 4*k = -5*q - 24, -k + 8 = 5*q. Let v be ((-3)/6)/((-2)/k). Let i = 2 + v. Solve 4*u = i*m + 6*u - 8, 3*m - 6 = -5*u for m.
2
Let k be ((-9)/6)/((-9)/66). Solve -2*m - 4*u - 10 = 0, 2*m + 2*u + k = -3*u for m.
-3
Let q(l) = -l + 4. Let m be q(0). Let v be (m/8)/(3/144). Solve 4*x + v = 4*z, 4*x + 18 = -2*z - 0*z for x.
-5
Let l(g) = g**3 + g**2 + 3. Let y be l(0). Solve 3*p + s - 16 = 7*p, -y*p = -3*s + 21 for p.
-3
Suppose 12 = 3*w, m - 3*m - 16 = -5*w. Solve -3*n - x = -7, 0 = -m*x - 0 + 2 for n.
2
Suppose -4*o = -3*g + g - 12, 5*g = -5*o. Let q be ((-1)/g)/(6/(-12)). Let c = 5 + q. Solve j = -2*b - 0*j + 1, c*b + 8 = -4*j for b.
3
Let w be (0 + -12)*3/(-4). Solve -8 = 3*b - 4*f, -5*f - w = b - 0*f for b.
-4
Let y be 20/(-6)*6/(-4). Solve t = c - 2*t + 19, -3*c = y*t - 13 for c.
-4
Let m = 2 + -2. Suppose 2*c + 4*f - 14 = m, 5*f - 8 = -3. Suppose 6 = c*l - 2*l. Solve -6 + l = 4*t + 4*j, 0 = 4*j + 20 for t.
4
Let x = 29 + -26. Solve -8 = -2*a, x*l - 2*a - 2*a + 25 = 0 for l.
-3
Let s(w) = -w + 3. Suppose c + 4 = 5*x + 9, 3*x + 3 = 3*c. Let v be s(c). Solve -4*d = v*t - 4*t + 10, 2*d + 4*t + 14 = 0 for d.
-3
Let w be -1 + 5 + (-4 - 2). Let b be (2 + w)/2*-1. Solve 5*s = -3*q + 21, 2*s - 6*s - 2*q + 16 = b for s.
3
Let l(v) = -v**3 + 3*v**2 + v - 2. Let n be l(2). Suppose 0 = -2*h - 3*t + n, 4*h - 8 = 2*t + 2*t. Solve -4*j + 20 = -3*w, -4*w - 20 = -4*j + h*j for w.
-4
Suppose 0*x = 2*x. Solve x = 3*b - q + 4, 4*b + 6 + 11 = -q for b.
-3
Let m = 3 - -1. Suppose j - 4*p + 5 = m, 0 = 5*j - 4*p - 11. Let s = -13 + 29. Solve -k - j*h + 2*h = -8, -k + 5*h = s for k.
4
Let z(q) = q**3 - q**2 - 6*q + 1. Let d be 32/4*2/4. Let w be z(d). Solve -b = -3*x + 5, -5*b - w = -0*b + 5*x for b.
-5
Let y be (1 - (-3 + 1)) + 14. Suppose -3*r - 8 = -y. Solve 2*l + r*j + 4 = 4*j, -16 = 3*l - 4*j for l.
0
Let r(l) = -l**3 - 4*l**2 - 2*l - 3. Let k be r(-3). Let d be ((-3)/k)/((-4)/(-24)). Solve 15 = -a + 4*i - 8, 0 = d*i - 15 for a.
-3
Let y(k) = 5*k**2 - 36*k + 9. Let p be y(7). Solve 2*m - 5*l + 11 = 0, -4 = -m - p*l + 4 for m.
2
Let u be (-8)/(-4) - 0 - 4. Let n = u + 6. Solve 0*p + 5*p + n*f = 10, 0 = -2*p - f + 1 for p.
-2
Let c(w) = 