- 7 for v.
0
Let i(m) = m**3 - 6*m**2 - m + 10. Let r be i(6). Solve r*t = -b - 16 + 1, 2*b + 4*t + 10 = 0 for b.
5
Let x(n) = 14*n + 227. Let t be x(-16). Solve -5*y = t*j - 17, 21 = 5*j + 3*y - 2*y for j.
4
Let v(q) = -q + 11. Let r(t) = t + 3. Let i be r(3). Let j be v(i). Solve 0 = -k + x + j, -k - 4*x = k + 8 for k.
2
Suppose 16*f - 28 = 2*f. Solve b - w - f = 0, -5*b = -4*b + w for b.
1
Suppose 3*z - 220 = -5*a, -4*a + z = a - 240. Let c = a - 45. Solve 5*g + 0 + 16 = -4*d, -c*g + 20 = -5*d for g.
0
Let i be 3/(4 + 255/(-65)). Let y = i + -37. Solve -4*t + r - 2*r = 1, -y*t + 12 = -2*r for t.
1
Suppose 5*x + 0*o - 2*o + 10 = 0, -3*x - 27 = 3*o. Let n = x - -10. Solve -d = -5*r + 18, 0 + n = -2*d for r.
3
Let l(t) = 0*t**2 + 0*t**2 + 11*t + 5*t**2 - 6*t**2 - 25. Let z be l(6). Let r be 43/5 + 6/15. Solve -4*k + z + r = 3*h, 5*h = 2*k - 20 for k.
5
Let r be (11/(-55))/(3/(-45)). Solve 7 = r*c - 4*j - 2, c - 2*j = 3 for c.
3
Suppose j + 0*j - l = 227, -j - 3*l = -239. Let z be (1 - (-14)/(-8)) + j/40. Solve 2*n - 4 = 4*t - 2*n, -7 = -2*t + z*n for t.
-4
Let u be (4 + -2)/((-22)/(-6) + -3). Solve 0 = 4*k - u*d - 7, 2*d + 4 = 3*k - 0*k for k.
-2
Let a(z) = -2*z - 2. Let b be a(-5). Suppose -8 = -2*x + b. Suppose -2*m = -0*m - 3*i - 8, -5*i - x = -2*m. Solve 0*s - m*p = -s + 2, 4*s - 8 = 5*p for s.
2
Let y = 0 - -5. Suppose y*g = 3*w - 78, -g + 3*g + 48 = 2*w. Let j be (-2 + 0)/((-6)/93). Solve 2*k = 5*c - j, -2*k = -0*c - 3*c + w for c.
5
Let d = -17 + 21. Let k be (-5 - (-1 - 3))*(-7)/1. Solve -2*o = 2*u - 5*u + k, -d*o + 31 = 3*u for o.
4
Let w(m) = 7*m**2 - 6*m - 9. Let k be w(-5). Let y be ((-4)/(-14))/((-7)/k*-4). Solve -y*d - 24 = 4*h, -8 = 4*d - 3*h + h for d.
-4
Let j = -31 - 18. Let i = -46 - j. Solve -2*f = -6*g + 3*g + i, -12 = -5*f + g for f.
3
Suppose 0 = 4*q - l - 55, -3*q + 51 = 4*l + 5. Let c = q - 11. Solve -4*t - 5*b + 2 = 0, 11 = c*t - 3*b + 2*b for t.
3
Suppose 5*w - 5*k + 50 = 0, 0*w - 3*w + 5*k - 26 = 0. Let b be 24/(-32) - 57/w. Let n be 0/(-1) + 6/3. Solve -f - 1 = -2*o + n*f, o + b*f - 6 = 0 for o.
2
Let m be (-252)/(-30) + ((-24)/(-15) - 1). Solve -5*l - 3*a = -m, 0 = -4*a + 5 + 7 for l.
0
Let p(x) = 3*x**3 - 2*x**2 + 3*x - 2. Let s be p(2). Suppose 0 = 7*u - s - 15. Solve 5*c = -4*z + 31, -u*z + 16 = 4*c - 4*z for c.
3
Let f be 11 + (0 - 2) + 0. Suppose -4*s - 3*w = -32, -f = -3*s - 2*s + 4*w. Suppose -s*z + 3 = -7. Solve 0 = -z*q - i + 5 + 3, -i + 14 = 5*q for q.
2
Suppose -802 = -44*s + 78. Let q(u) = 6*u + 1. Let t be q(3). Suppose -4*b + t = 3. Solve 20 = 4*p + 5*x - x, s = b*p - 2*x for p.
5
Suppose -12*g + 17*g - 5 = 0. Let r be -3 + g + 3 + 2. Solve 3*d = -3*q - 6, d + 4*d = r*q + 30 for d.
3
Let c(m) = 2*m**3 - 21*m**2 - 12*m + 14. Let q be c(11). Suppose 18 = -q*g + 5*g. Solve o - 6*o - 5*u = 20, -2*o = u + g for o.
-5
Let o(l) = -5*l**3 - 3 + 2*l**3 + 2*l**3 + 1. Let r(c) = -2*c**2 - 4*c - 2. Let k be r(-2). Let q be o(k). Solve -4*x - 5 = -q*p + p, 4*p - 4 = -5*x for x.
0
Let n be 3*(1*(-5)/3)/(-1). Suppose n*s - 23 = -m, -2*m - s = -0*s - 28. Solve -3*j + m = -3*b + j, 2*b + 6 = 2*j for b.
1
Let r be 28/(-6)*(-3)/2. Suppose 2*c = s + 6, 71*c + 5*s + 8 = 70*c. Let l = r - c. Solve 0*x + 5*p = x - 22, -l*p - 28 = -4*x for x.
2
Suppose 0 = 4*i - 20 + 20. Suppose 0 = -3*v + 3*a + 3, i*v - 2*v - a + 11 = 0. Solve -12 = 4*j - 2*b, j - b = v*b + 6 for j.
-4
Let m(g) = -g**3 - 2*g**2 + 10*g + 8. Let f be m(-4). Solve 4*h + 4 = -f*c - 4*c, -4*c = h + 4 for c.
-1
Let a(n) = 6*n**2 - 7*n + 9. Let l be a(2). Solve -5*s = 4*k - 25, 4 = -3*s + l for k.
0
Suppose 29*v + w = 32*v + 5, w = 5. Solve -3*d + 3*z + 18 = v, z + 1 + 13 = 5*d for d.
2
Suppose -21*o = -3*o - 36. Let x be (-2 - -1)/(1/(-2)). Suppose -a = -x*a + 3. Solve -o*u + a = -m, m - 3*u = u - 1 for m.
-5
Suppose -13*k + 44 = 5. Solve -2*v - 14 + 4 = 0, k*z - 1 = -v for z.
2
Suppose 0 = -3*w - 9, 126 = -v + 2*v - 4*w. Suppose -v + 124 = 5*r. Solve 5*q - 4*o + 3*o - r = 0, -5*q + 14 = 3*o for q.
1
Let j(p) = -p**2 + 3*p + 4. Let b be j(4). Suppose 5*g - 18 = -k, -61*g + 62*g - 12 = -3*k. Solve -x - 4*c - 4 = b, 0 = g*x - 4*c - 25 + 5 for x.
4
Let u = -35 - -38. Suppose -4*y + 5 + u = 0. Solve y*z + 5*i = -0*i - 8, z - 5*i + 4 = 0 for z.
-4
Let n = 58 - 51. Let p(y) = -2*y + 34. Let r be p(n). Solve 2*s = 3*q + 4 + 4, -r = -2*q - 5*s for q.
0
Let z(s) = 13*s + 120. Let u be z(-9). Solve -9 = -u*i, -3*i = 16*n - 17*n - 6 for n.
3
Let m be (-23 - -2)/((-6)/(-4)). Suppose l + 4*w = 16, -2*l + 48 = l + 4*w. Let a = m + l. Solve q + a = -4*z - 2*q, 3*z + 2*q = -2 for z.
-2
Suppose -18*h + i - 3 = -23*h, 2*i = h + 6. Solve -q - 5*a = -2*q - 5, 5*q + 2*a - 29 = h for q.
5
Suppose 64 = -0*w + w. Suppose 0 = 1039*o - 1046*o. Suppose o = 3*a + a - w. Solve -v - 5*u - 23 = 0, 0 = 4*v + 2*u - u + a for v.
-3
Suppose 2*g - 38 = -2*p, -3*g = -2*p - p - 45. Suppose 5*w - 18 = -2*a + 2*w, -3*a + g = 2*w. Solve -2*n + 5*n = -3, -a*q + 4*n - 8 = 0 for q.
-4
Suppose -3627*b = -3631*b + 4. Solve 12*z - c = 16*z - 14, 0 = z - 2*c + b for z.
3
Suppose -5*n + 2*d = 79, 0 = n - 5*d + 4 - 2. Let k = 17 + n. Solve 13 = -3*a - 4*x, k = -0*a + 4*a + 4*x + 12 for a.
1
Let g = -5 - -9. Let j = 39 - 28. Let h(r) = r**3 - 10*r**2 - 12*r + 23. Let i be h(j). Solve -4*x = 5*z - 0*z + i, g*z + 5*x = -6 for z.
-4
Suppose 4 = 2*s - 2. Let o = -42 - -36. Let u(p) = -2*p + 4. Let n be u(o). Solve x - 8 = -s*v, -v - 3*x = -0*v - n for v.
1
Let j be (-2)/3*(-1 - 2). Let n(v) = -v + 4. Let y(x) = x - 5. Let t(r) = 3*n(r) + 2*y(r). Let k be t(j). Solve -2*u = u + s + 11, 3*s + 6 = k for u.
-3
Suppose b + 2*b + 5*f + 14 = 0, -16 = 4*f. Let y(a) = a**3 + 6*a**2 - 6*a + 9. Let l be y(-7). Solve -3*c - 4*r - b = 0, -3*c + 2 = 4*r - l*r for c.
2
Let b(q) = q - 5*q + 0*q - 12. Let u be b(-6). Suppose 0 = -12*k + 15*k - u. Solve a - 4*i - 1 = 0, -2*a + 4 - 14 = k*i for a.
-3
Let t(u) = -u**3 - 10*u**2 + 22*u - 22. Let v be t(-12). Solve 22 - 1 = -v*k - 5*p, -15 = 2*k + 3*p for k.
-3
Let a be (-1 + -3)*3*-1. Let l be (-2)/(-4) + (-138)/a. Let u = l - -16. Solve -g + 5*r = 9, 3*g - 4*r + 11 = -u*r for g.
-4
Let c(s) = -s - 1. Let g be c(-7). Solve 0 = -q - g*a + 3*a + 6, 3*q = -3*a for q.
-3
Suppose 14*h + 72 = 2*h. Let v(l) = -l**3 - 6*l**2 - 6*l - 10. Let s be v(h). Solve 2*m - 4*b = s, 5*m = 2*b + b + 30 for m.
3
Let t be 9/2*(-2)/(-3). Let x = t + 0. Suppose 0 = 3*a, -2 = 2*m - 2*a - 10. Solve 0 = -5*j - x*p + 25, -4*j + j + 26 = m*p for j.
2
Let r be 120 - (4 + (-12)/4)*-3. Let h = r - 119. Solve 9 - 24 = -2*k + 5*m, -5 = 5*k - h*m for k.
-5
Suppose -4*j = -12, -5*j + 30 = 2*m - 1. Suppose d - q - m = q, -d = 3*q - 3. Let l be ((-4)/(-6)*d)/2. Solve 4*s + 12 = -4*p, -5*s - 5 = -l*p + 10 for p.
0
Let l = 633 + -630. Solve -2*r = -5*i - 2, l*i - 4*r = 4*i + 18 for i.
-2
Let q(h) = 6*h - 92. Let p be q(17). Solve -4*n + 4*i = 24, p = 3*i - 5 for n.
-1
Let y be (-1)/(-3 - 15/(-6)). Suppose -5 = k + 5*p + 12, -y*k - 5*p - 14 = 0. Solve -2*g = -k*a + g, 4*g - 30 = -2*a for a.
5
Let u(n) = -n**3 - 10*n**2 + 2*n + 23. Suppose -3*o = -o + 58. Let m = o - -19. Let s be u(m). Solve q + s*y - 12 = 0, 6*q - 3*q - 5*y = -34 for q.
-3
Let r = 22 - 2. Suppose 5 = -3*g + r. Suppose 2 + 12 = 2*m + 4*v, 0 = -4*m + 3*v + 6. Solve -19 = -n + 5*o, g*o + 24 = m*n + o for n.
4
Let w = -3 + 7. Suppose -99 = -5*g - w*g. Solve 4*o = 2*p - 10, 3 + g = -5*o + 3*p for o.
-1
Let n = -375 + 378. Solve -4*p + 4*t - 14 = -2*p, 4*p = -n*t + 16 for p.
1
Suppose -3 = 4*q + 3*s, -2*q + 3*s + 2 = s. Suppose q = -m + 4*m. Suppose m = -2*w, 3*f + 0 - 12 = w. Solve n - k + f = 0, 4*n + 6 + 19 = -5*k for n.
-5
Suppose -3*n + 17 - 5 = 0. Solve -n*u - 12 = -2*k + k, k + 3*u + 16 = 0 for k.
-4
Let n = 35 - 25. Suppose 12*m - 22 = n*m. Solve -1 + m = u + 2*x, 0 = u + x - 7 for u.
4
Let z(f) = f**2 - 4*f - 9. Let s be z(-2). Suppose s*n = 5*u, 4*n = -7*u + 2*u + 35. Solve k + 3 = 0, 0 = -5*y - u*k + 4*k - 22 for y.
-5
Let t be (1 - 2) + (-4 - (-35)/7). Solve 5*z + 0*o + 6 = 3*o, t = 5*z + 2*o + 21 for z.
-3
Suppose 0 = -4*t - w + 99, 0 = -t - 0*t - 3*w + 33. Suppose 5*i - 142 = -3*o, -t + 172 = 5*i - 3*o. Solve 5*p = a - i, 3*p - 2 = 5*p + 2*a for p.
-5
Let k be (-3)/(-15) + 14/5. Let x = -1 + k. Let i(c) = c**3 - 3*c**2 + 3*c - 4. Let m be i(3). S