10 for s.
5
Let t = 14 + -34. Let k be (-75)/t - (-2)/8. Suppose -k*c + 2 = -2*q, c + 2*q + q - 11 = 0. Solve -d = -c*d + 1 for d.
1
Let p be 1/4*0 - -4. Solve t = 1 + p for t.
5
Suppose 4 + 2 = 2*k. Let w = k + -3. Solve y + y - 10 = w for y.
5
Suppose v + 2 + 2 = 0. Let n = -2 - v. Solve -z + 1 = n for z.
-1
Let p = 3 + -5. Let o be p/(-7) + (-164)/(-14). Let r be (o/30)/((-2)/(-20)). Solve -6 = -r*w + 2 for w.
2
Suppose 4 = 2*s - s. Suppose 0 = -5*a - 3*n - s, -3*a + n + 9 = -n. Let b be (5 - (-1 + 3)) + -3. Solve -a = h - b for h.
-1
Suppose -3*w - 5*k - 49 = -7*w, -4*w + 29 = -k. Solve -t - t = -w for t.
3
Let i be ((-3)/2)/((-9)/12). Solve 6 = k + i*k for k.
2
Suppose -m + 8 = 3*n, n = -2*n + m + 16. Let v(t) = n*t - t**2 + 14 - 4 - 3*t. Let b be v(0). Solve 0 = s - 3*s - b for s.
-5
Suppose -2*u + 4*c = -16, 0*u + 5*u = 5*c + 25. Suppose -16 = -5*j + 4*l + 36, u*j = -2*l + 28. Solve 5*f + j + 3 = 0 for f.
-3
Suppose 102 = 4*o + 3*h, 3*o - 41 - 38 = -h. Let d = o + -9. Suppose 2*r - r - 22 = -5*n, 0 = -r - 4*n + d. Solve 3 = r*m + 5 for m.
-1
Let o(c) = -c**3 - c**2 + 3*c - 1. Let j be o(2). Let g(p) = p**2 + 6*p - 1. Let f be g(j). Solve 2*y + y - f = 0 for y.
2
Suppose 5*n - 3*x = -35, -2*x + 4*x = 5*n + 40. Let l = -9 - n. Let d be 17/3 - (-6)/(-9). Solve r + d = l for r.
-4
Suppose -2*f - 1 = l, -2*f = -l - 2 + 1. Solve f*w = -2*w - 4 for w.
-2
Let g = -43 + 43. Solve -4*t + 5*t + 5 = g for t.
-5
Let z = 0 - -5. Suppose 4*x = -h - 11, -2*x - 4 + 3 = z*h. Solve p + h = -0 for p.
-1
Let t be 8/(-16) - 3/(-2). Let g be 3 + (t - -3) + -3. Solve -g*u - 2 = 2 for u.
-1
Suppose -3*j - 7 + 19 = 0. Solve -q + j = -0*q for q.
4
Let f be (-3)/(-5) + (-108)/(-20). Solve -p = p - f for p.
3
Suppose 0 = -4*b + 4*m + 52, 2*b + 3*m + 0*m - 36 = 0. Suppose t - 4*t = -b. Solve t*j = 2 - 17 for j.
-3
Suppose 17*t - 38 = -4. Suppose 0 = -4*s + 5*g + 31, 5 - 13 = -5*s - 4*g. Suppose 5*j = 4*m + 18, j + 3*m - s*m - 4 = 0. Solve -t*k = j*k for k.
0
Let s(i) = 4*i + 47. Let v be s(-5). Solve v - 2 = -5*q for q.
-5
Let w = -43 - -66. Suppose 5*z - w = -s, s + 0*z = 4*z - 13. Solve 0*i + s = i for i.
3
Let r = -25 + 28. Solve -r*p + p = -10 for p.
5
Suppose 0 = -3*l + 4*l - 5. Let r = 5 + -2. Suppose -5*p - 135 = -l*g, r*p - 2 + 33 = g. Solve 2*b - g = -3*b for b.
5
Let s = 67 - 13. Let y = -38 + s. Solve 4*d + 4 + y = 0 for d.
-5
Suppose -x - x = 16. Let w = -1 - x. Solve 0 = 4*o - 9 - w for o.
4
Let s(p) = -2*p - 12. Let q be s(-8). Suppose 3*o - q - 2 = 0. Solve -3*x = -o - 4 for x.
2
Let h(q) = 2*q**2 + 2*q. Let r be h(-2). Let a be (-6)/r*4/(-3). Suppose -1 = -z + a. Solve z*d - 1 = 2*d for d.
1
Let y be 6/(-1)*(-5 - -4). Let k = 4 + -3. Let q = y - k. Solve -x = -q*x + 8 for x.
2
Suppose -5*n - i = -38, 5*i - 8 = -4*n + 14. Let c = n - 8. Solve c = -2*s - 0 - 6 for s.
-3
Let t(h) = -2*h - 26. Let u be t(-14). Solve u*p = -2*p for p.
0
Let f(s) = 4*s + 8 + s + 0*s - 4*s. Let z be f(-7). Solve z = -4*c - 7 for c.
-2
Suppose 5*k + 2*n = -0*k + 12, 4*k - 5 = 3*n. Suppose 0 = -2*q - 1 - 1. Let c = k - q. Solve b + c*b = -4 for b.
-1
Let w(q) = 2*q**2 + 6*q + 2. Suppose 38 - 14 = -3*h. Let s = h + 3. Let x be w(s). Solve 0 = -5*c + x - 7 for c.
3
Suppose 2*j = -5*w + 30, -6 - 2 = -j + w. Solve 8 - j = 2*n for n.
-1
Suppose -3*z + 5*c + 40 = 2*z, z + 4*c + 17 = 0. Solve z*m = m for m.
0
Suppose 0 = -9*o + 4*o. Suppose 2*g = -o*g. Solve -15 = -3*q - g*q for q.
5
Let r = -51 - -51. Solve -12 + r = 3*k for k.
-4
Suppose -24 = -4*a + 4. Solve -5*u - 13 - a = 0 for u.
-4
Let n(u) = u - 3. Let q(r) = 4*r**3 + r**2 - r + 1. Suppose 5*x - 14 = 3*g, 4*x + 3*g + 4 + 1 = 0. Let i be q(x). Let o be n(i). Solve 2*v + 4 = o for v.
-1
Let o = -4 - -8. Suppose 5*l = -o*f + 13, f + 0 = l + 1. Solve 5*j - 23 - f = 0 for j.
5
Let a = -4 - -10. Suppose -5*j - 190 = 4*l, -4*j - 188 = -l + 5*l. Let y = l + 70. Solve -a*n + n = y for n.
-5
Suppose 7 = m - 5. Suppose -m = -2*k - k. Solve 6*b - k = 2*b for b.
1
Let b(z) = -z**3 + 9*z**2 - 9*z + 11. Let k be b(8). Suppose -u = 4*c + 15, -8 = k*c - 2. Let t be (-2)/(u/2 + 3). Solve -3*p + 2 + t = 0 for p.
2
Suppose 3 = -2*r + w - 5, 13 = -3*r + 2*w. Let h(y) = -y**2 + 3. Let x be h(r). Let m be (-6)/9 + (-52)/x. Solve -m = 7*z - 3*z for z.
-2
Suppose 2*a = 10, -2*q - 22 = -5*a - 3. Solve 2*k = -q*k + 5 for k.
1
Let m = 47 + -43. Solve 0 = -4*u - 0 - m for u.
-1
Let b = -56 + 35. Let d be (-6)/b - 88/14. Let n be (-2 - 0) + (-54)/d. Solve 5 + n = -4*i for i.
-3
Suppose -3*u = -4*d - 10, 7*u - 2*u - 5 = -5*d. Solve -3*a = -u*a for a.
0
Let y be 2/(-10) - (-4)/20. Suppose 6*d = 31 - 7. Solve -x - d*x = y for x.
0
Suppose 3*q = 4*v - 11, -3*q = 2*q + v - 20. Suppose -25 = 5*b + p - 85, 48 = q*b + 3*p. Solve -4*o - b = 5 for o.
-4
Let n be (-1 + -4 + 3)/1. Let k be (3 - (n - 0))/1. Let v be 18/4*(-2)/(-3). Solve 8 = -k*g + v*g for g.
-4
Let c(q) = -q**2 + 2*q**2 - 2*q - q + 8*q. Let h be c(-5). Solve -o - 3 = -h*o for o.
-3
Suppose 2*d + d = 0. Solve 3*q - 1 + 13 = d for q.
-4
Let q be (6 + -5)/(-1 - -2). Suppose 5*i - 3 = -4*t, i = -t - 2*i - q. Suppose -5*b + 32 = 4*x - b, 2 = b. Solve t*j = x*j for j.
0
Let j be 78/12 - (-3 - 10/(-4)). Solve 0 = -4*c + j*c + 12 for c.
-4
Suppose 2 = 3*t + 14, -5*t - 14 = -j. Let g be ((-24)/7)/(j/21). Solve g = 2*n - 5*n for n.
-4
Let u = 16 - 9. Let d be 0/1 + (2 - -1). Solve d*r - 19 = -u for r.
4
Suppose 0 = -0*v - v. Solve -4 + v = 4*b for b.
-1
Let u(k) = -k**3 - 12*k**2 + 14*k + 17. Let q be u(-13). Solve -q*g - 6 = 6 for g.
-3
Let i(z) = 12*z**2 - z + 1. Let q be i(1). Let r = -9 + q. Solve -18 + 3 = r*o for o.
-5
Let s(g) = -2*g**3 - 3*g**2 - 2*g - 3. Suppose -1 = -2*v - 5. Let q be s(v). Solve q*x + 28 = 3 for x.
-5
Suppose 2*s = -6, u + 0*s + 2 = -2*s. Suppose 12 = 4*b + 4*p, 4*b - b = -u*p + 9. Let k(h) = -h**2 - 10*h + 12. Let g be k(-11). Solve -g - b = -4*q for q.
1
Suppose 0 = 3*b - 5 - 1. Suppose -4*s + 3*s - 40 = -2*i, -80 = -4*i - 5*s. Suppose 3*k + b*k - i = 0. Solve 16 = -5*x - k for x.
-4
Let v = 31 + -31. Solve v = 2*r + r + 12 for r.
-4
Suppose -4*t = -0*t + 16. Let h = 4 - 14. Let j be t/(-10) + 4/h. Solve j = 3*k - 0 - 9 for k.
3
Let s = -72 + 75. Solve -s*u + 25 = 2*u for u.
5
Let n be 1*(2 - -1) - 6. Let h be -1 + 3 + n - -3. Solve -2 = a + h for a.
-4
Let m(d) = -4*d - 120. Let g be m(-31). Solve c - g + 6 = 0 for c.
-2
Let q(p) = p - 2. Let c be q(2). Let a = 5 + c. Solve d + a = -0*d for d.
-5
Suppose -4*c + r + 4*r = -215, 2*c + 2*r = 94. Suppose -c = -y - y. Solve -5*w = -10*w + y for w.
5
Suppose -7 = -2*z + 3*w, 4*z - 4*w = z + 10. Solve -f = z*f + 3 for f.
-1
Let s(u) = u - 4. Let w be s(9). Solve -w = 2*p + 5 for p.
-5
Let v = 19 - 35. Suppose 3*u + 110 = 8*u. Let c = v + u. Solve -4*k - c = 6 for k.
-3
Let u be (-1)/2*4 + 7. Let n(i) be the second derivative of -i**4/12 + i**3/6 + 5*i**2/2 - 2*i. Let f be n(0). Solve f + 10 = -u*o for o.
-3
Suppose -3*q + 2 = -4*a, 5*q + 3*a + 2*a = 15. Solve -4 = q*y + 2 for y.
-3
Suppose -8 = -0*p - 4*p - 4*i, 20 = -4*i. Let t(f) = -f**2 + 7*f - 1. Let y be t(p). Let o be -2*y/(-2) + 3. Solve -o*v = -3*v + 2 for v.
2
Suppose -8*i + 4*i + 12 = 0. Solve i*u - 13 = -1 for u.
4
Let i be (-15)/((-1)/(-3 + 4)). Solve i = 4*u + u for u.
3
Suppose -3*n = 3*i + 3, 2*i + 4*n - 16 = 3*i. Let t be ((-3)/i)/((-3)/(-12)). Let x = 0 - 0. Solve x = t*w - 8*w - 15 for w.
-3
Let o(i) = -i**2 - 7*i. Let h be o(-6). Let w(y) = -10*y - 1. Let s be w(-1). Suppose -3*p + 5*v - 15 = 0, -4*v + s + 3 = 2*p. Solve 0 = -3*g + h - p for g.
2
Suppose -7*u + 5*u + 6 = 0. Suppose u*i = i. Suppose i = a + a. Solve 4*b + a*b - 8 = 0 for b.
2
Let d = 5 - 4. Let t(q) = q**2 - 3*q - 3. Let i(v) = -2*v**2 + 8*v + 8. Let x(g) = 3*i(g) + 8*t(g). Let w be x(d). Solve -w*l = l for l.
0
Suppose 0 = t - 8*t. Solve t = 3*w + 5 + 1 for w.
-2
Suppose v = 3*v - 6. Solve -v*o + 0*o = -12 for o.
4
Suppose -4*g - 5*w = -2*g - 14, 0 = -3*g + 3*w. Solve -5*f + g = -8 for f.
2
Suppose -3*n - 3*u - 3 = 0, -2*n + 5*u - 1 = 1. Let r be 4 - 0/(n + -1). Solve -2*k = r + 4 for k.
-4
Suppose 0 = 7*f - 12 + 12. Let u(a) = -a + 7. Let b be u(5). Let i be 1*(2 - b)/(-2). Solve g + i - 1 = f for g.
1
Let f(y) = -y**3 + 6*y**2 + 13*y + 30. Let z be f(8). Solve -2*l = 12 - z for l.
-3
Let k(j) 