 s.
3
Suppose 3*o + w = 5, -1 = -2*o + 5*w - 26. Suppose o = -2*v - 0 + 4. Suppose -5*t = -2*t - 4*q - 14, -2*t + 3*q + 9 = 0. Solve v*a - t = -0*a for a.
3
Suppose i = f, 3*i + 2*f - 15 = -0*i. Let b(o) = -o**2 + 6*o - 4. Let g be b(4). Solve i*v + g = 1 for v.
-1
Let s = -36 + 52. Suppose -s = -h - h. Solve -4 = -3*u + h for u.
4
Suppose 4*b + 76 = 3*o - 0, b - 142 = -5*o. Suppose -8*w = -4*w + o. Let c = 12 + w. Solve 12 = c*l - 8 for l.
4
Suppose 6*g = 2*g - 5*x - 7, -3*x - 1 = 4*g. Let u(b) = -b**2 - 2 + 5 - 4 + 5*b. Let t be u(g). Solve -t*k = -k + 4 for k.
-1
Suppose 3*r = -7 + 1. Let q be ((-27)/18)/(r/4). Solve 24 - 9 = q*y for y.
5
Let p be 3 + 0/2 - 2. Suppose f + p = 5. Suppose -4*i - 2*r + 4 = 0, -3*i + 2*r + 2 = 3*r. Solve i = -f*a + 5 + 3 for a.
2
Let r = -2 + 6. Solve b = -r + 1 for b.
-3
Let b = 5 - 5. Solve b*m - 3 = -m for m.
3
Let h be (6/4)/(15/(-20)). Let c = h - -4. Suppose -3*v - 1 = 5*d + c, 0 = -v - 2*d - 2. Solve -v + 1 = -j for j.
3
Suppose v - 23 = -2*r - 9, 0 = -2*r - 3*v + 18. Let t = r + -4. Let b(y) = y**3 - 5*y**2 + 5*y - 2. Let z be b(4). Solve -t*q = -0*q + z for q.
-1
Let d = 31 + -31. Solve d = -2*w + 5*w - 12 for w.
4
Suppose 5*t - 3*t = -14. Let u = 8 + t. Let p(m) = -m**2 - 5*m - 2. Let j be p(-3). Solve 9 = j*a + u for a.
2
Let v(r) = -r**2 + 2*r + 2*r**2 + 2 + 2 - 1. Let c be v(-2). Solve 16 = -f - c*f for f.
-4
Suppose 0 = 3*h - 3, -7*h + 3*h + 14 = 5*w. Solve 0 = a - w*a + 4 for a.
4
Let m(l) = -l**2 - 6*l - 4. Let y be m(-3). Suppose -z + y*z = 0. Solve z = -2*s - 2*s + 20 for s.
5
Let t(k) = -5*k**3 - k**2 - k. Let d be t(-1). Solve -d*s - 4 = -s for s.
-1
Let a be (0 + 1)*35/(-7). Let c(b) = -2*b - 7. Let o be c(a). Solve o*q = -6 - 0 for q.
-2
Let m(f) = -f**3 - 5*f**2 - 3*f + 2. Let v be m(-4). Let y = v - -4. Solve -y*w + 3 = w for w.
1
Let u be 4/(-10) + 3 + (-15)/25. Solve 0*s - u*s + 10 = 0 for s.
5
Let c(i) = -i + 2. Let v be c(-7). Suppose -11*h = -v*h - 10. Solve 0 = -h*m + 2*m - 3 for m.
-1
Let c(q) = q**3 + 11*q**2 - 12*q + 15. Suppose -4*b + 50 = -2*j + 18, b - 50 = 4*j. Let o be c(j). Solve o = 2*d + 3*d for d.
3
Let a = -1 - -1. Let t = 1 + a. Let w = t - -1. Solve w = -p - p for p.
-1
Suppose 2*j + j - 12 = 0. Solve j = -3*f + 4*f for f.
4
Let h = 15 - 4. Let o = 40 + -38. Solve o*s + 1 = h for s.
5
Let r be (-2 - -5)*2/6. Suppose -1 = 2*x + c, x - 2*c = 4*x + 3. Let q = x - r. Solve q*b = 2*b + 6 for b.
-3
Suppose -8*v - 5*f + 90 = -3*v, 0 = 2*v - 3*f - 26. Solve 0 = -4*j + 4 + v for j.
5
Let j(r) = -6*r**3 - 2*r**2 + 1. Let n be j(-1). Suppose -n*i + 13 = 2*k, 0 = 2*i - 5*k - 0*k + 18. Let t be 4 + i*(-3 + 2). Solve 2*h = t*h for h.
0
Let v be (-2)/(-8) - 105/20. Let z be v/10 + 3/6. Solve -4*u + 0*u = z for u.
0
Let n(b) = 2*b**2 + 3*b + 1. Let p be ((-1)/(-2))/((-1)/4). Let i be n(p). Solve -i*u + 2 + 1 = 0 for u.
1
Suppose -r - 116 = -5*r. Solve r - 4 = 5*y for y.
5
Suppose -3*v - v = 0. Suppose 2*b - 1 = g - v*b, -5 = -5*g + 5*b. Solve 2*y + 1 = g*y for y.
1
Suppose -9 - 1 = -5*o. Let m = 2 - o. Let a = m + 1. Solve c + a = 2*c for c.
1
Let q(f) be the first derivative of -f**4/4 + 2*f**3/3 + 5*f**2/2 - 4*f - 1. Let x be -1 + 7 - (5 + -2). Let b be q(x). Solve -15 = -b*k - k for k.
5
Let z = -33 - -36. Solve 0 = o - z*o for o.
0
Suppose -3*q + 1 + 2 = 0. Let s(j) = 4*j - 2. Let c be s(q). Solve y - c*y = 0 for y.
0
Let d(w) = -2*w + w**2 + 7*w + 5 + 0*w. Let g be d(-4). Let n = 138 - 138. Solve n = f + 1 + g for f.
-2
Suppose -4*l + 5*l - w = 0, l = -4*w + 10. Solve 6*p = l*p for p.
0
Let c be ((-5)/(-4))/((-1)/(-16)). Let h(w) = w + 5. Let d be h(-5). Solve c = -d*i + 4*i for i.
5
Let k = -19 + 20. Let y = k + 3. Solve 0 = 4*t + y for t.
-1
Suppose 6*d - 18 = -0*d. Solve d*v - 3 = -9 for v.
-2
Let i be (-6)/(-21) + (-24)/(-14). Let y be (1 + -2)*-6 - i. Solve y = 3*j - j for j.
2
Let k = -4 - -4. Suppose -5*n = -k*n. Solve 0 = -n*j - j - 2 for j.
-2
Let k(f) = -f - 3. Let u(o) = 3*o. Let j be u(-2). Let v be k(j). Solve -v*q = q + 8 for q.
-2
Let x(l) = -l**3 + 6*l**2 - 4*l - 1. Let v be x(5). Let i = -7 - -5. Let s be 1/i + (-11)/(-2). Solve -v = s*n - 29 for n.
5
Let z be (-176)/(-48) - (-1)/3. Solve -2*s = -z*s + 4 for s.
2
Let i = 38 - 33. Solve -8 = i*k + 2 for k.
-2
Let h(j) = -2*j - 25. Let d(l) = -3*l - 37. Let f(s) = 5*d(s) - 7*h(s). Let n be f(-8). Let c be (n/4)/(1/(-4)). Solve 3*x - 10 = -c*x for x.
2
Let u = 13 - 16. Let k be (-7)/((-42)/(-4))*u. Solve k*h = h for h.
0
Let j be (1 - (-12)/(-9))/((-2)/18). Solve 0 = j*k - 4*k - 3 for k.
-3
Let f be (-1)/((-3)/15 + 0). Suppose -4*v - f*t - 1 = 0, 2*t = 5*v + 6*t - 1. Suppose -q + 0*q + 11 = 4*k, -3*q - v = -5*k. Solve 0 = k*u + 3*u for u.
0
Suppose 1 = -2*f - 11. Let t = 6 + f. Solve t = -0*r - r + 3 for r.
3
Let y = 51 + -35. Suppose -y = -u + 3*j, j + 31 = 3*u + u. Solve -13 = 5*w + u for w.
-4
Suppose -12 = 3*f + 4*x - 0*x, 2*x = f + 4. Let p(a) = -2*a + 4. Let q be p(f). Solve -s = -4*s + q for s.
4
Let p(a) = a**2 - 6 + a**3 - 4*a**2 + 2 + 3*a - 2*a**3. Let n be p(-4). Solve n = -z + 3*z - 6 for z.
3
Let y = 19 + -33. Let k be 6/4 - 161/y. Solve 2*n + k = 3 for n.
-5
Suppose -2*q + q = 0. Let w be 4 + (3 - q/(-3)). Let y = -7 + w. Solve -3*p + 0 + 3 = y for p.
1
Let o(w) = 7*w + 1. Let t be o(2). Let x be 1/(-3) - (-80)/t. Suppose 0 = -2*c, x*c + 16 = 5*q + 6. Solve -m + q = -2 for m.
4
Let b(v) = -3*v + 4*v**2 + 3 + 3*v - 2*v - 3*v**2. Let f be b(2). Solve 0 = 4*k - 1 - f for k.
1
Let r(o) be the first derivative of -o**3/3 + o - 4. Let s be r(1). Solve 5*l - 2*l = s for l.
0
Suppose 4 = 5*w + 3*h, -11 = -4*w + 2*h + 1. Solve x + w*x = 15 for x.
5
Let k(i) = -i**3 - 28*i**2 + i + 37. Let q be k(-28). Solve -x - q = -4*x for x.
3
Suppose 4*v + 4 = -2*q, 3*v = -5*q - v - 4. Solve n + 2 = -q for n.
-2
Let k = 5 - 5. Suppose k = j + 1 - 0. Let y be j/(2 + -3) - 0. Solve b + y = -3 for b.
-4
Let k = -42 + 75. Let o = -12 + k. Suppose -3*f = 4*n, -5*n + 6 + o = -3*f. Solve 8 = b + n*b for b.
2
Suppose -w - 19 = -4*r, 5*r + 0*w - 30 = -5*w. Suppose m + 5*i + 45 = 6*m, -r*m + 45 = -i. Solve 4*a + 7 = -m for a.
-4
Suppose -4*z = -4*f - 16, 2*f = 2 - 0. Suppose -v = 5*s + 5, -3*s - z*v - 25 = -5*s. Suppose c - 4*c = s. Solve -16 = -c*k + 4*k for k.
-4
Let w = 31 + -29. Solve -4*y = -w*y + 2 for y.
-1
Let z = -11 + 16. Let m = 4 + z. Let r(t) = -t + 4. Let l be r(0). Solve -3 - m = -l*h for h.
3
Suppose 0 = -4*y + 33 - 25. Solve 0 = -d - y*d for d.
0
Let p = 11 + -7. Solve 0 = -a - p - 0 for a.
-4
Let k(a) = -2*a**3 + 3*a**2 + 2*a + 2. Let m be k(-2). Suppose -3*i = -2*b - 9, -2*i - m = -2*b - 6*i. Solve b*c = -c for c.
0
Let q = 13 - -1. Let d be 1 - (-1 - 0 - -3). Let t = q - d. Solve 0 = 5*l + t + 5 for l.
-4
Let s(c) be the second derivative of -c**5/20 + c**4/6 + c**3/2 + 2*c**2 - 2*c. Let x be s(3). Solve 20 = g + x*g for g.
4
Suppose -b - 45 = -6*b. Let o = -6 - -5. Let d = 5 + o. Solve n = d*n + b for n.
-3
Let z be 33/(-22) + 81/2. Suppose 9 = 4*n - z. Solve 3*r + 0*r = n for r.
4
Let n = -29 - -40. Suppose -2*w = 3*t + n, 6*w - w + 5*t = -15. Solve 0 = w*m - 6 - 0 for m.
3
Let c(a) = -a**2 - 4*a + 2. Let t be c(-3). Suppose 0*m = 4*m - 3*y + 9, 15 = -t*m + 5*y. Solve m*d + d - 3 = 0 for d.
3
Suppose -64*r - 15 = -69*r. Suppose 3*j + 4*v = 32, 4*v + 10 = 5*j + 2*v. Suppose 11 + 10 = 5*t - j*w, 5*w - 10 = -t. Solve b - r + t = 0 for b.
-2
Let f(a) = -3*a + 12. Let r be f(3). Solve -2*y + r = 7 for y.
-2
Let j(u) = -u**2 - 5*u - 2. Let h be j(-3). Suppose 0*n - 4*n + 8 = 0, 5*i = h*n + 2. Solve i*c = -2*c - 20 for c.
-5
Let l(z) = -5*z + z + z**3 - 4 - 3*z + 3*z**2 + 2*z. Let q be l(-4). Solve q = 3*t - 0*t + 15 for t.
-5
Let l = 24 + -22. Solve 6*s = l*s for s.
0
Let i = -95 + 100. Solve 7 + 8 = -i*o for o.
-3
Let q = 59 + -34. Suppose -3*l = -0*l + 4*w + q, -3*w = 12. Let s(k) = -k**3 - 3*k**2 - 5*k - 4. Let x be s(l). Solve 0 = 4*j + x + 9 for j.
-5
Let h = 2 - -1. Let l = -41 + 61. Solve z + l = -h*z for z.
-5
Suppose 0 = 2*u - 4, -5*a + 4 = -2*u - 2. Solve -a*l = -0*l for l.
0
Suppose -5*o + 3*o = 46. Let k = 23 + o. Solve k = 5*v - 1 + 6 for v.
-1
Let u(o) = -o**3 + 5*o**2 + 5*o + 11. Let z be (-192)/(-36) + 2/3. Let p be u(z). Solve -24 = p*h + 1 for h.
-5
Let w be ((-6)/4)/(1/(-2)). Let r be -1*(3 -