- 4 for v.
-1
Let n = 0 - -2. Let l be 23/5 - n/(-5). Let w be (1 + 0 - 1)/2. Solve -3*z + l*z - 8 = w for z.
4
Let c = 3 - -1. Solve c*k + 21 = 5 for k.
-4
Suppose t = 4 - 3. Let h be t - (2 + -3 - 9). Solve -5*s - 9 = h for s.
-4
Let z = -117 + 119. Let a(d) = d**2 - 2*d - 9. Let i(t) = t**2 - 2*t - 10. Let c(u) = 6*a(u) - 5*i(u). Let f be c(-3). Solve -z = 3*r - f for r.
3
Let a be 1 - (4 - 27) - 1. Let t = 20 + -28. Let w = t + 16. Solve -3*r + w = a for r.
-5
Suppose -j = 6*j. Solve 2*q = -j*q for q.
0
Suppose 2*k = 5*k + 2*l + 26, k = l - 12. Let z = -6 - k. Suppose 8 + z = 3*t. Solve -4*s + t = -0*s for s.
1
Suppose 7*t + 3*i - 12 = 2*t, 3*t + i - 4 = 0. Solve u + t*u = 5 for u.
5
Suppose -2*r + 5*r - 6 = 0. Let t = -1 - -3. Let c be 6/4 + (-6)/4. Solve -s - t - r = c for s.
-4
Let w be 59/2 - (-9)/6. Let n = w - 19. Solve 0 = -4*p + 8 + n for p.
5
Let b(z) = 4*z - 1. Let v be b(1). Let x(m) = m + 1. Let j be x(v). Suppose l + 3*l = 3*h + 35, 0 = -4*l + 4*h + 40. Solve -j = -u + l*u for u.
-1
Let o be 7/(21/(-6)) + 2. Let f(s) be the first derivative of -s**4/4 - 8*s**3/3 + 5*s**2 + 13*s - 1. Let r be f(-9). Solve -2*i = -o*i + r for i.
-2
Suppose 15 = -2*y - 0*y - d, -4*y - 5*d = 39. Let o be -6 - y - (-6 + 1). Solve -o*x = -1 + 11 for x.
-2
Let k = 4 + -2. Let s = -5 - -8. Suppose -5*g + 24 = -s*g. Solve g = -5*f + k*f for f.
-4
Suppose -c = -3 - 0. Suppose 0 = -3*i - 5*q - 5, -2*q - c*q - 30 = -2*i. Let r be i/(70/(-4))*-7. Solve 0 = -p + r*p for p.
0
Let s(y) = y**2 + 3*y + 1. Let j = -16 + 12. Let l be s(j). Solve 0 = -l*g + g + 4 for g.
1
Let g(i) = 9*i + 2*i - 3*i + 4 + 2*i**2. Let p be g(-5). Solve 4*x - 2 = p for x.
4
Let m be 5/10*4*1. Suppose 0 = -m*u - 3*a + 6*a + 10, 2*u - 2 = -a. Solve 0 = -u*o + 10 - 2 for o.
4
Suppose 3*y = 4*i + 2, -y + 2*i = -0*i + 2. Let z = 26 - 7. Solve -y = -5*j + z for j.
5
Suppose 2*m = 4*j + 24, 5*j - 13 = 2*m - 38. Let r(k) = k**3 + 3*k**2 - 1. Let q be r(-2). Suppose 0 = 5*i - q - 7. Solve -7*d - m = -i*d for d.
-2
Suppose 0 = -7*b + 2*b. Suppose b*n - 5*n + 75 = 0. Suppose n = 6*g - 3*g. Solve -10 = q - g for q.
-5
Let z be (-10)/2*8/(-20). Suppose 46 = t + z. Suppose -2*n + 6 = -4*n, 2*o - 4*n = t. Solve 0*x - o = 4*x for x.
-4
Let b be -1 - 1 - 1*-6. Suppose b*l = 48 - 8. Solve 0 = -g + 6*g + l for g.
-2
Suppose -2*h + 10 = 0, 3*x + 38 = 5*h + 13. Suppose x = -4*q + 6*q. Solve -l + 0*l + 1 = q for l.
1
Suppose 3*n = 6*n. Suppose -4*t - 4*p = -24, -t - 3*t - p + 21 = n. Suppose -4*z + 13 = 1. Solve -z*d + t*d = 4 for d.
2
Let j = -2 - -12. Solve -5 - j = 5*p for p.
-3
Suppose -2*g - 1 = -3*g. Let r be (-10)/(3/9 - g). Solve 0 = 2*n + 3*n + r for n.
-3
Let y(d) = d**3 - 4*d**2 - 7*d - 5. Let w be y(6). Suppose -3*n + 47 = -w. Solve n = -5*g + 4 for g.
-4
Suppose 5*c + 7 = -q, 6*q = 4*q - 2*c + 2. Solve 0 = 3*p - q for p.
1
Suppose 4*k = 3*a - 111, -3*a + 0*a = 9. Let y be 2*(k/(-4))/5. Let q be (5 - (-2 - -1))*1. Solve -q*c = -y*c + 3 for c.
-1
Suppose 0 = -2*u - 0*u. Solve 12 = -u*n - 4*n for n.
-3
Let r(a) = -a**2 - 3*a - 9. Let q(w) = -w + 1. Let z(n) = -2*q(n) - r(n). Let s be z(-3). Solve -3 + s = -2*y for y.
1
Let x = 14 + -4. Suppose -5*m + 5*g + x = 0, -2*g + 8 = -6*g. Solve 0*z - 3*z + 6 = m for z.
2
Suppose 4 = 3*i - 7*i. Let s be i/((6/10)/(-3)). Solve 2 - 22 = s*u for u.
-4
Suppose 0*v + 2*v = -2. Let m = v - -4. Suppose 4 = 4*x - m*x. Solve x*u = -0*u for u.
0
Suppose -2 - 3 = 4*g - 5*o, 3*o = 2*g + 3. Let w be ((-2)/3)/(4/(-108)). Let c = w - 13. Solve c*p + 15 = -g*p for p.
-3
Suppose -4*j = 16, -4*q + 8 = -0*q + 2*j. Suppose 0 + 2 = y, 9 = h + q*y. Solve -3*p + h = -5 for p.
2
Let z be 16/12*6/4. Solve -z*g + 0*g = 0 for g.
0
Let m be 0*2/(-4)*(-4)/(-2). Solve m*x = -2*x for x.
0
Let j = -13 + 14. Solve 3*u = j + 2 for u.
1
Let m = -26 - -17. Let n = 15 + m. Solve 0 = y - n*y + 25 for y.
5
Let l = 36 - 31. Solve -3*k - 7 = l for k.
-4
Suppose 0 = 2*s - 5*s + 6. Suppose 0 = -3*x - 5*a + 26, a = -3*x - s*a + 18. Solve -3*y - 7 = x for y.
-3
Let q be (4/(-1))/(1 + -2). Suppose 0 = -3*s + 2 + q. Solve x - 5 = s*x for x.
-5
Let p(r) = -r**3 + 2*r**2 + 2*r - 1. Let t be p(2). Suppose -t + 2 = -y. Solve f - 3 = y for f.
4
Suppose z = 1, -2*z = -2*m + 4*m - 4. Solve -n + m + 1 = 0 for n.
2
Let z = -4 + 4. Suppose -3*i + 9 = z, -3*i + 8*i = -4*h + 27. Solve -h*b + 8 + 7 = 0 for b.
5
Let y be -4 - -4 - (-1 - -1). Solve -r = 3 - y for r.
-3
Let y(j) = -12*j - 4. Let c be y(-2). Solve -c = d - 6*d for d.
4
Let q(m) = -5*m**3 + m**2 - m - 1. Let t be q(-1). Suppose -t*i = -i - 25. Suppose 2*g + f - 5*f - 20 = 0, 5*g - 8 = -4*f. Solve i*j = j + g for j.
1
Let y = 7 - 7. Solve 0 = 2*f - y - 4 for f.
2
Suppose 1 - 7 = o + 5*t, -2*t - 24 = -5*o. Solve 3 = o*z - 3*z for z.
3
Let p = 168 + -148. Solve -p = 4*t - 4 for t.
-4
Suppose -4*y - 28 = -3*j - 0*j, -4*j = 2*y - 8. Suppose -w + 3*w + 12 = 0. Let p be (-3)/(2/(w - 0)). Solve 0 = j*z - p*z for z.
0
Let c = 0 + -4. Let i be (2 - 1)/(c/(-20)). Solve 5 = i*w - 0 for w.
1
Suppose 19 - 4 = d. Let j be ((-10)/15)/(2/(-6)). Suppose j*y = -2*y + 24. Solve p - y*p = -d for p.
3
Suppose r - 13 = 2*r + 4*v, -4 = -5*r + 3*v. Let k be (r - 4/(-2))*0. Suppose -2*n + 0*q + 16 = -4*q, k = -3*n - 2*q + 16. Solve -3 - n = 3*c for c.
-3
Let u(i) = i**3 + 7*i**2 + 6*i + 5. Let y(q) = q. Let c(v) = -1. Let j(a) = -c(a) + y(a). Let o be j(-7). Let t be u(o). Solve t*m = 10 + 5 for m.
3
Let w(q) = -q**3 - 12*q**2 + 4. Let p be w(-12). Let l be (-1)/(-2)*12/2. Solve l = -p*o - 1 for o.
-1
Suppose -3*o = -3*l - 9, o - 4*o - 2*l = -24. Solve 0 = r - 3*r - o for r.
-3
Let m(f) = 9*f**2 - 4*f - 3. Let a be m(-2). Let b = a + -26. Suppose -5*u - j - 1 = -4, 0 = -3*u - 5*j + b. Solve -3*t - 2*t = u for t.
0
Let q(a) = -a**3 + 6*a**2 + a - 3. Let s be q(6). Solve s = 4*o + 7 for o.
-1
Suppose 2*s = s - 5*j - 19, s + j = 1. Suppose -4 = 2*b - s*b. Solve z + 2 - b = 0 for z.
-1
Let m = 16 + -14. Let a(l) = 2*l**3 + 3*l**2 - 3*l + 1. Let d be a(1). Solve 2*w - m = d*w for w.
-2
Let w = 15 - 18. Let u be (-20)/(-6) - 2/w. Solve u*p - 2*p = -6 for p.
-3
Let n be ((-2)/4*10)/(-1). Solve o - 4 = n*o for o.
-1
Let r(o) = -o**2 - 10*o + 14. Let x be r(-11). Solve -x*p = -8 + 2 for p.
2
Suppose 12*j = 32 + 4. Solve 5*f - j*f = -6 for f.
-3
Let z = -1 + 7. Suppose w = -3*p + 14, 5*w + 4*p - 90 + 31 = 0. Let s = -7 + w. Solve 0 = -s*v + v + z for v.
2
Let z(p) = -p**2 + 5*p + 2. Let m be z(5). Let y be (-20)/(-4)*m/1. Solve 3*g + y = 1 for g.
-3
Let i(h) = h**2 + 8*h - 5. Let r be i(-5). Let a be (-2)/3 + r/(-30). Solve -w + 6*w - 15 = a for w.
3
Let y(o) = 6*o**2 + 8*o + 11. Let w(s) = 5*s**2 + 8*s + 10. Let k = -10 + 14. Let u(m) = k*y(m) - 5*w(m). Let g be u(-7). Solve b + g = -0*b for b.
-1
Suppose 5*a = -5*u - 5, 4*u + 3*a - 2 + 3 = 0. Solve u*y - 4 = 6 for y.
5
Suppose c - 5*o + 11 = -0*c, -5*o = -15. Solve 7*z = 3*z + c for z.
1
Let p(i) = -i**3 - 3*i**2 + i - 5. Let h = 3 - 7. Let n be p(h). Let l(x) = x - 7. Let k be l(n). Solve k = o + o for o.
0
Let b(u) = -u**2 - 5*u + 2. Let r(v) = 0 - v**2 + 4*v**2 - 5 - 4*v**2. Let o be r(0). Let m be b(o). Solve -m*x + 4*x + 2 = 0 for x.
-1
Let z be (-11)/3*-1 + 40/(-60). Solve -4*i + 5*i = -z for i.
-3
Let n(w) = w**2 + 2*w - 3. Let h be n(2). Suppose y - 4*v + 6 = 0, -v + 16 + 38 = h*y. Solve -4*f = 10 + y for f.
-5
Let k(m) = m**3 - 4*m + 3 + 0*m**2 + m**3 + m**2. Let i be k(2). Suppose 0 = -z + 2*z - 6. Solve z*c = c - i for c.
-3
Let z(n) = -n**2 + 2*n + 3. Let r be z(3). Solve -5*h = -r - 10 for h.
2
Suppose 15*o - 54 + 9 = 0. Solve 5*r = -2 - o for r.
-1
Let f be (-31)/(-7) + 3*4/(-28). Solve -f*d + 18 - 2 = 0 for d.
4
Suppose 2 + 18 = 5*g - 5*o, g - 3*o = 12. Let m be ((g/(-3))/1)/1. Suppose -2*q - 6 = 0, -3*l - 4*q + 7*q + 39 = m. Solve 6*z = z - l for z.
-2
Let h(l) = l**3 + 19*l**2 + 33*l - 15. Let x be h(-17). Solve 20 = -3*t - x*t for t.
-4
Let i(p) = -p**2 - 6*p + 13. Let v(q) = -q**3 - 9*q**2 - 7*q + 1. Let z be v(-8). Let o be i(z). Solve -2*h - o - 2 = 0 for h.
-4
Let s be (0 + 24)/1 + -4. Solve -s = -r - 3*r for r.
5
Suppose -6*j = -j. Let m = 2 + j. Solve m*y = y for y.
0
Suppose 12*k = 10*k + 24. Solve z + 3*z - k = 0 for z.
3
Let m be ((-16)/6)/(12/(-18)). Suppose 7*b = m*b + 9. Solve 2*f = -1 + b for f.
1
Le