6 for o.
4
Let c = -5 - -11. Suppose 0 = 2*v - c*v. Solve 3*q = -v*q + 12 for q.
4
Let f(b) = -b**2 - 3*b. Let x be f(-3). Suppose x*a = 2*a - 8. Solve 0 = -4*d - a + 20 for d.
4
Let v(q) = -q**3 - 5*q**2 + 2*q + 1. Let d be v(-6). Let i = 14 + -4. Let t be 22/i - 1/5. Solve -7*j + t*j = -d for j.
5
Let n = -17 + 19. Solve -n*y - 4 = 4 for y.
-4
Suppose 8 = -4*y + 2*y. Suppose 2*d = d - 21. Let u be y/(-8) + d/(-6). Solve -2*b + u = -6 for b.
5
Suppose -2*p = 3*c + 24, -5*p - c = -0*c + 34. Let j be p/(-10) + 6/(-10). Solve -d - 1 = -j for d.
-1
Let f(y) = -2*y - 5. Let o(l) = -l**3 - 3*l**2 + 5*l. Let i be o(-4). Let k be f(i). Suppose 5*q - 2*z - 8 = 0, 4*q = -q - 5*z + 15. Solve -5*p + k = -q for p.
1
Suppose 0 = -0*r + 3*r - 15. Suppose -30 = -r*m + 5*w, 5*w - 7 = -22. Suppose -m*d = -2*d - 8. Solve -d*o + 20 = -3*o for o.
4
Let b(r) = -r**2 - 11*r + 31. Let c be b(-13). Solve 0 + 5 = -c*h for h.
-1
Suppose 3*z = -8*z + 3*z. Solve 4*c - 15 - 1 = z for c.
4
Let b = -1 + 2. Let i be b/3 + 4/(-12). Solve 4*d + 3 + 13 = i for d.
-4
Suppose 6 = 5*x - 2*x + 3*a, -2*a + 4 = -2*x. Let k be x/(-1) - (-6)/3. Suppose 0*g - k*v = -4*g + 42, g + 5*v = -6. Solve 0*l = -3*l + g for l.
3
Suppose -5*v - 4*n = -2*n - 234, 237 = 5*v + n. Let y = v + -34. Solve 0 = -4*o - 6 - y for o.
-5
Let k be (-5)/(-3) - 5/(-15). Solve -k*q + 25 = -7*q for q.
-5
Suppose 4*f - 3*f = 4. Suppose 0*u = -f*u. Let c(w) = -w**3 - 7*w**2 - 5*w + 6. Let j be c(-6). Solve -l - 1 + j = u for l.
-1
Let s be 52/20 + 4/10. Let k be (-1 + -1)*s/(-2). Suppose -k = j - 2*j. Solve 2*m - 5 = -j for m.
1
Let j = -25 - -29. Solve 0 = -j*x - 5 + 1 for x.
-1
Suppose 0 = 3*o - 5*o - 12. Let a be (0/(o/(-2)))/(-1). Suppose a*q = 3*q. Solve 0 = 3*n - q*n for n.
0
Let o(c) = 3*c - 6. Let s be o(4). Let q be 2/s*(2 + -2). Suppose q = -4*r - r + 25. Solve 4*b = -1 + r for b.
1
Suppose -7*v = -2*v. Let m = -16 - -25. Solve -3*r + v*r = m for r.
-3
Let c(b) = 2*b**2 - 10*b + 9. Suppose 5*j = -3*z + 43, 0*j + 35 = 5*z + j. Let m be c(z). Solve -6 + m = -5*d for d.
-3
Suppose -19 = -d + 4*y, 2*d + 0*y - 13 = 3*y. Let l = d + 3. Solve -l = -g + 2 for g.
4
Let i(h) = h**3 - h**2 - 4*h + 3. Let b be i(2). Let y(z) = -22*z**3 - z**2 + z + 1. Let r be y(b). Suppose 1 - r = -s. Solve 0*p + 4*p = s for p.
5
Let c = 1 + 3. Let g(q) = 2*q. Let l be g(0). Solve y - 2*y - c = l for y.
-4
Let w be (-128)/(-6) + 8/12. Suppose 0 = 2*q - 3*t - 12, -4*q + 0*q + 5*t = -w. Solve q*u + u = -12 for u.
-3
Let o be 1*2 - (-4 - -1). Suppose 0 = 3*i + 2*i - 145. Suppose o*v + 5*b + 10 = -0*v, -3*v = -4*b - i. Solve -v*h + 5*h = 4 for h.
2
Suppose 0*i + 4 = 2*i. Suppose -i*g + 40 = 2*g. Let h be 0*(g/4 + -2). Solve -a + h = -1 for a.
1
Let o(n) = -2*n - 4. Let y be (-6)/(-21) + 46/(-14). Let j be o(y). Solve v + j = -1 for v.
-3
Let a be (-82)/12 - 1/6. Let z(d) = -2*d - 9. Let o be z(a). Solve 0 = l - o*l + 16 for l.
4
Suppose -2*n - 11 - 7 = 5*h, 4*h = -2*n - 14. Suppose -9 = -5*f - 4*u + 1, 0 = -3*f - u + 13. Solve -o - n + f = 0 for o.
5
Let q(o) = 3*o**3 - 2*o**2 + 8*o + 7. Let c(b) = -4*b**3 + 2*b**2 - 9*b - 8. Let t(x) = 4*c(x) + 5*q(x). Let n be t(-3). Solve 3*j + 4 - 1 = n for j.
-1
Suppose 0 = -0*n + 3*n. Suppose 0 = -5*j + 5*h + 5, -4*j - 2*h + 7 = -3*h. Suppose 12 = j*t + t. Solve t*f - 16 = -n*f for f.
4
Suppose -3*y = -4*a + 2*y + 25, -3*y - 15 = -5*a. Suppose a = -n + 4*n. Solve 3*g + n = 3 for g.
1
Suppose 6 + 2 = 2*f. Solve 0 = f*x - 7 - 1 for x.
2
Let w be 7/(-2)*2 + 2. Let p = w - -9. Solve -u + p*u = -3 for u.
-1
Let k be -5*8/(-10) - -2. Solve 4*n + k = n for n.
-2
Let z = -8 + 3. Let n = z + 6. Suppose -m - i - n = 2*i, -3*m + 11 = -5*i. Solve -2*q - m = -4*q for q.
1
Let u be 9/(-2)*(0 - (-10)/1). Let m(w) = -w**3 - 3*w**2 + 2*w. Let p be m(-3). Let s be (2/p)/(5/u). Solve -y + 10 = -s*y for y.
-5
Let n(b) = -10*b**3 - 3*b**2 - 2*b + b**2 - 1 + b**2. Let p be n(-1). Suppose 2*m + g = p + 3, 0 = -3*m - g + 18. Solve 0*q - m = q for q.
-5
Let p = -6 - -9. Suppose -2*g + 50 = p*g. Let b be (-36)/(-5) - 2/g. Solve 22 = 3*h + b for h.
5
Let b = 15 - 13. Let z(q) = q**2 - 1. Let r be z(2). Suppose -r*y - 4 = -5*y. Solve l = y*l - b for l.
2
Let c be -4*(-3)/(1 + 5). Let j be ((-6)/4)/((-1)/c). Suppose a + 3 = m + 10, -2*a - 3*m + 24 = 0. Solve -4*h = -a - j for h.
3
Suppose 2*q - 2 = -3*t, -2 = -5*t - 2*q - 0. Suppose -g = -t + 2. Let w = 0 - g. Solve -a + 0*a - w = 0 for a.
-2
Let y = 3 - -3. Let i(r) = -r**3 - r**2 + 4. Let f be i(0). Suppose 0 = -3*q + f*q. Solve 2*b + q*b = -y for b.
-3
Let g(n) = n**2 - n. Let k be (-2)/(-2 + 4)*1. Let b = 3 + k. Let x be g(b). Solve -2*l + x = 4 for l.
-1
Suppose 6*s - 3*s + 15 = 0. Let m = s + 7. Let q be 92/12 - m/3. Solve 2*t = q*t for t.
0
Suppose -t - 3 = 2*t - 3*v, -3*t + 5*v - 3 = 0. Let m(r) be the second derivative of r**4/6 - 25*r. Let w be m(t). Solve 2*n + w*n - 4 = 0 for n.
1
Suppose -o = -7*o. Let w(t) = -t**3 + 4*t**2 - 3*t + 2. Let x be w(3). Solve o = k - x for k.
2
Let i(l) = -l**3 + 11*l**2 - 10*l + 4. Let d be 26/3 - 20/(-15). Let c be i(d). Solve -1 = -g + c for g.
5
Let p = -21 + 24. Solve -2*k = -5*k - p for k.
-1
Suppose -1 = 2*c - 9. Suppose 2*u = 10, -3*q - c*u = q - 20. Suppose q = v + v. Solve z + 3 - 1 = v for z.
-2
Suppose 6*i - 56 = 4. Solve 0 = 5*j - 0*j - i for j.
2
Suppose 2*c = -5*n - c - 1, n - 4*c - 9 = 0. Suppose 10 = 5*h + d, -4*d = -3*h + n + 5. Solve 3 - 13 = h*w for w.
-5
Suppose k = -2*k + 69. Suppose 0 = 5*r - k - 2. Suppose 3*w = 6*w - 24. Solve -r*n - 9 = -w*n for n.
3
Suppose 5*i + 5 = 0, -4 + 5 = p - i. Solve p*f + 25 = 5*f for f.
5
Let r(f) = f**2 - 9*f + 10. Let m be r(8). Solve 10 = -3*h - m*h for h.
-2
Let z be 1*3/(-1) + 6. Let m be (z*-1)/(3/(-2)). Solve 2*s - 6 = -m for s.
2
Let q be -3*(-5)/((-45)/(-12)). Let l = 7 - q. Suppose 4*j = 17 + l. Solve -3 - 2 = j*b for b.
-1
Suppose m + 4 = -3. Let o = m - -9. Suppose -24 = -4*s + 2*s. Solve -o + s = -5*t for t.
-2
Suppose 5 = 8*k - 27. Solve -b = k*b for b.
0
Let d(b) = 4*b + 53. Let t be d(-11). Solve 3*s = 6*s + t for s.
-3
Let v = -21 + 30. Suppose -2*j + 10 = 2*c, -5*c + 33 = 4*j + v. Suppose 7 - j = f. Solve 3*w - f*w = 0 for w.
0
Let q = -4 + 6. Suppose -q*s = s + 6. Let w = 7 + s. Solve -w*t = -t + 12 for t.
-3
Let m be (-2)/(-4)*-2*-3. Suppose 3*a - 27 = -m. Let y = -4 + a. Solve -y*l + 4 = -2*l for l.
2
Let y = -26 + 36. Solve -4*d + 9*d - y = 0 for d.
2
Suppose -5*q + 18 = 4*x, 2*x - 12 + 4 = -2*q. Suppose 65 = q*v + 2*v - 5*d, 2*d = -2*v + 10. Solve -p + v = p for p.
5
Suppose o = -f + 3, -2*f + 7*f - 5*o + 15 = 0. Solve f = -4*v + 8*v for v.
0
Suppose 7*i = 2*i + 20. Solve 5 = -t - i*t for t.
-1
Let p = -196 + 202. Solve -5*b + 2*b = -p for b.
2
Suppose -5*l = 5, 0 = 4*a - 5*l - 9 - 0. Suppose 4*f - 21 = k, 9*k - 4*k + 30 = 5*f. Let c(z) = -z + 6. Let h be c(f). Solve -2*y - h = a for y.
-1
Suppose -q - 4*s - 27 = -6*q, -3*s + 6 = 5*q. Solve 15 = q*u + 2*u for u.
3
Let a = -2 - -7. Suppose -r + 0 + 2 = 0. Solve -r*m = -a + 7 for m.
-1
Let w(r) = r**3 - 2*r**2 + 3. Let n be w(2). Solve o + 7 - n = 0 for o.
-4
Suppose a + 2 = 2*a. Suppose -5*x = -3*k - 4, k + 1 = 2*x - a. Solve 2*w - k = -1 for w.
3
Suppose 15*y - 12 = 12*y. Solve -y*c + 9 - 29 = 0 for c.
-5
Suppose -2*o + 15 = 5*y, 3*o + 0*y - 2*y = -6. Suppose c + 4*g + 2 = o, 3*g - 4 = -2*c + 2. Let t = c + 0. Solve 3*v - t = -15 for v.
-3
Let w = -2 + 8. Let b = w + -4. Solve -3*d = -5 + b for d.
1
Suppose 0 = 3*y + 13 - 4. Let x(l) = l + 4. Let s be x(y). Let i = 4 + s. Solve i*p + 0*p = 15 for p.
3
Let d be (0 - 0)*(11 - 12). Solve d = 2*b + b - 3 for b.
1
Let w(t) = -7*t + 20. Let u be w(2). Solve 2*n + 0*n - u = 0 for n.
3
Let p = 17 - 9. Solve -2*a + 4 - p = 0 for a.
-2
Let r(q) = 3*q - 4. Let s be r(3). Suppose 3*x = 3*d + 3, -5*x = s*d + 8 - 23. Solve -y = -0*y - d for y.
1
Suppose -o - 5*d = 2*o - 5, -13 = 5*o + 3*d. Let a = o + 8. Solve 4*y - 5 - a = 0 for y.
2
Let p(k) = -5 - 6*k**2 + 3*k**2 + 7 + k**3 - k - 3*k. Let a be p(4). Solve -3*d + 15 = a*d for d.
3
Let y be 4/14 - (-4)/(-14). Let z(a) be the second derivative of -a**4/12 + 7*a**3/6 - a**2/2 + 3*a. Let t be z(6). Solve 5 + y = t*v for v.
1
Suppose 3*r + 2*a + 44 = r, -3*a + 94 = -5*r. Let s be (40/(-16))/(2/r). Solve 2*o = -3*o - s fo