 + s = 2 for s.
-2
Let j = -32 - -47. Let y be -2*5/(j/(-6)). Solve -5*t + y = 24 for t.
-4
Let w(h) = -h**2 + 7*h - 1. Let k be w(8). Let b = 17 + k. Solve 4 + b = 3*x for x.
4
Let q(r) = r**3 - 9*r**2. Let w be q(9). Solve w = -g - 8 + 3 for g.
-5
Suppose 4*f + 2 = -2*k, 6 + 5 = 3*f - k. Solve -2*v - f = 8 for v.
-5
Let t = 4 - 1. Suppose 3*d + 32 = 4*o, t*d + 17 = -o + 2*o. Solve o*v + 0*v = 10 for v.
2
Let u = -39 - -40. Solve u = 5*i - 14 for i.
3
Suppose 2*f + 3 = -3*p, -7 = -0*p + 5*p + 4*f. Let t = 4 - p. Suppose 0 = -0*g - t*g + 9. Solve -g + 2 = -w for w.
1
Suppose 7*z - 6 = 5*z. Solve -2*h - 3 = -z*h for h.
3
Suppose 0 = t + 3*h - 5 - 5, -t - 4*h = -11. Suppose t*r = 4*r + 24. Solve 0 = 5*d - r - 12 for d.
4
Let m(c) = -c - 7. Let y be m(-6). Let u be (1 - -3)*y/(-2). Suppose -q = u - 3. Solve -4*n + q = -5*n for n.
-1
Let h = 86 + -77. Solve -3*v + 0*v = -h for v.
3
Let v(b) = b**2 + 5*b - 4. Let c be ((-1)/3)/((-2)/(-42)). Let d be v(c). Solve 0*k = 2*k + d for k.
-5
Suppose -3*h - 4*a = -5*h, -a = -1. Suppose n = 4*t - h*t, -18 = -3*n - 3*t. Solve -n*v - 3 = -7 for v.
1
Suppose -r = -2*r. Suppose 4 = 2*x - r. Solve -i = x*i - 3 for i.
1
Let a = 0 - -6. Suppose 0 = -3*j + 2*q + a, 2 = j + q + 4*q. Solve 0 = j*g + 2*g for g.
0
Let k(o) = 3*o + 0*o + 9 - 2*o. Let m be k(-4). Suppose 0 = -3*x - m*b + 17, -1 = -5*x - 5*b + 24. Solve -x = -3*c + 2*c for c.
4
Suppose q + 2 = 2*q + 3*x, -q + x = -2. Solve -4 = q*z - z for z.
-4
Suppose 0 = j + 3*b - 8 - 9, j - 5*b + 23 = 0. Suppose 4*a = 5*z + 6 + 5, -4 = -4*z. Solve 0 = -a*d + 6*d + j for d.
-1
Let a = 1 - 5. Let d be (-2 - a - 0) + 2. Solve d + 0 = 4*c for c.
1
Let g be (-3)/(-15) - (-117)/15. Let n be 38/g - (-1)/4. Solve 0*z + n = 5*z for z.
1
Let l(z) = z + 12. Let a be l(0). Suppose -5*q = 6*x - x - 5, 0 = x - 4*q - 26. Let p be 0 + 1 - (-1 - 0). Solve a = -p*b + x*b for b.
3
Let g = 8 + -5. Solve -g*k = -k + 8 for k.
-4
Let b be (-2 + 0)*6/(-4). Suppose 6*x = b*x. Solve x = -4*g - 17 - 3 for g.
-5
Let t(q) = -q**3 + 7*q**2 - 7*q + 6. Let l be t(6). Let j be 4/4 - l - -3. Solve 8 = -j*o - 0 for o.
-2
Let r(x) = -x**3 + 7*x**2 + 2*x - 2. Let k(m) = 2*m**3 - 13*m**2 - 3*m + 4. Let q(f) = -3*k(f) - 5*r(f). Let h be q(2). Solve -i = h*i + 5 for i.
-1
Let u be (-11)/44 + (-49)/(-4). Suppose 16 = x + 3*d, -x + 0*x + u = d. Let j be 5/(-2)*(-24)/x. Solve j*w = 3*w + 12 for w.
4
Let z(j) = 4*j**2 - j. Let w be z(-1). Suppose q + 5*f = 35, -14 = w*q + 5*f - 89. Let x = -3 - -7. Solve 2 - q = x*m for m.
-2
Suppose 161 = 2*k + 43. Suppose k + 1 = 4*y. Let d be 3/y + 1/(-5). Solve d = -2*a - 0 - 2 for a.
-1
Let n(y) = -8*y - 4. Let t(d) = -7*d - 4. Let w(q) = -6*n(q) + 7*t(q). Let r be w(-12). Solve 2*j = -2*j - r for j.
-2
Suppose 15 = -5*j, 7*b - 2*b - 4*j - 27 = 0. Solve -8 = b*q + 4 for q.
-4
Suppose -5*j + 23 = -7. Let n be 1/(-3) + 2/j. Solve n = 3*b - 12 for b.
4
Let g be ((-36)/(-8) + -6)/((-6)/16). Solve 3*i - g = 8 for i.
4
Let t = -16 - -18. Solve 0 = t*n + 2*n - 12 for n.
3
Suppose -3*g = i + 1, -i - 7 = 9*g - 12*g. Solve 2*f + g = 7 for f.
3
Suppose 3*d + 1 + 2 = 0. Let k be 2 - (1 + -2) - d. Solve -r - k = 1 for r.
-5
Suppose 2*d = -3*b - 28, -10 = b + 5*d - 5. Let c be 12/20 + (-124)/b. Solve 4*f - c = -1 for f.
3
Suppose r = 5*r. Suppose 2*m + 0*m - 30 = r. Solve -4*s = s - m for s.
3
Suppose -3*f + 32 = 4*j, -2*f + j + 20 = 3*j. Solve 2*d - f = -2 for d.
3
Suppose 5*j = -3*y + 25, -3*y + 2*y = -2*j + 10. Let u = 0 + j. Solve 0 = u*o + 6 + 9 for o.
-3
Let p(s) be the first derivative of -s**4/12 + 3*s**2/2 - 2*s + 3. Let l(t) be the first derivative of p(t). Let y be l(0). Solve -y*n - 9 + 0 = 0 for n.
-3
Let t(s) = -s - 11. Let r(u) = -3*u - 32. Let k(z) = 6*r(z) - 17*t(z). Let g be k(-5). Solve g = -2*o - 4 for o.
-2
Let q = 1 + 2. Suppose 0 = 2*f - q - 1. Suppose 0 = 2*l + 4*a, 3 = 2*l + 2*a + 1. Solve l*v + f*v = -16 for v.
-4
Let j(a) = -a**3 - 5*a**2 + 5. Let f be j(-5). Suppose -2*x - 5*k + 7 = 0, f*k - k = 2*x - 16. Solve 3*q + 0 + x = 0 for q.
-2
Suppose 3*l - 18 = 6. Suppose -12 = l*f - 12*f. Solve f*v = -0*v + 9 for v.
3
Let o = -7 + 13. Let f be (30/(-7))/(o/(-42)). Let m be 2/4 + 14/4. Solve 10 = -m*j + f for j.
5
Suppose 1 - 15 = -7*t. Solve 5*f = t + 18 for f.
4
Let u be -2 - -3 - (-5)/(-5). Suppose -4*k = q - 5 - 20, -2*q - k + 15 = u. Solve q*c = -0*c for c.
0
Let f(y) = 2*y + 2. Let t(n) = 3*n**2 + 2*n - 1. Let w be t(-2). Let k be f(w). Solve 0 = -5*x + 4 + k for x.
4
Let o be 1 + 1 + (-1 - -1). Suppose n = -4*n + 25. Suppose -n*d + 16 = -3*d. Solve -o*j + 6*j - d = 0 for j.
2
Let z(c) = 4 + 0*c - 3*c - 5*c**2 + 2*c + 0*c**3 - 2*c**3. Let s be z(-3). Solve 3*f - 7*f = -s for f.
4
Suppose -5*t - 13 = 2. Let q = t + 4. Suppose 4*i - 9 + q = 0. Solve i*o + 2 = -0 for o.
-1
Suppose -v + 5 - 2 = 0. Solve -v*u - 20 = u for u.
-5
Let q be (5/4)/(2/8). Suppose 2*c + 2 + 0 = -a, 0 = -3*a - 5*c - q. Solve a = 2*t + 2*t for t.
0
Let t(i) = i**3 + i**2 + i + 1. Suppose -o + 2 - 11 = -2*w, -5*w - 4*o - 10 = 0. Let m be t(w). Solve 2*d = -d - m for d.
-5
Suppose a + 3 = 4*a. Solve 3*o = -8 - a for o.
-3
Let s be -1 + (-1 - 1)/(-2). Suppose 24 = 4*q + 4. Solve -h + s*h = -q for h.
5
Let r be -1*(17 - 2)/(-3). Let m = -4 + r. Solve z - m = 3 for z.
4
Suppose -5*a + 6 = -4*s, -3*a + 4 = s - 3. Suppose -3*d - 1 = -x - 4, -22 = -5*d - 4*x. Solve a*f - d = -0 for f.
1
Suppose 9*r - 16 = 7*r. Suppose 0*p = -5*p - 3*x - 6, 0 = -5*p - 4*x - r. Solve p = -4*v - 9 + 1 for v.
-2
Let r = 10 - 5. Suppose 2*l + 1 = r. Solve -2 = l*w - 8 for w.
3
Suppose 3*d + 2*d = 2*z + 22, 4*z + 12 = 2*d. Suppose -6 = -2*p + 8. Solve -d*b = -p*b for b.
0
Let g(n) = n**3 + 11*n**2 + 4. Let i be g(-11). Solve 13*v + i = 11*v for v.
-2
Suppose s + 9 = 4*s - 2*a, s - a = 3. Solve -s*d - 5 = -8*d for d.
1
Let k = 32 + -27. Solve -6 = k*i + 4 for i.
-2
Let s = 22 - 36. Let c = s + 16. Let k = 2 + 2. Solve 2 = c*r + k for r.
-1
Let k(t) be the second derivative of -t**4/12 - 4*t**3/3 - 9*t**2/2 - 3*t. Let y be k(-6). Let b be -1*(2 - y) - -1. Solve -b*r - 2 = 2 for r.
-2
Suppose 0 = 4*j - n - 9 - 2, 0 = -2*j + 3*n - 7. Suppose -g - 10 = -4*r + 3, 14 = 2*g + 2*r. Let a(w) = w**2 + w - 1. Let z be a(2). Solve g*x = -j - z for x.
-3
Let d be 4/(-18) + (-4)/(-18). Suppose -5 = 2*s + 7. Let i(y) = -y**2 - 9*y - 14. Let w be i(s). Solve -j - j - w = d for j.
-2
Let u(v) = -v**2 + 6*v + 1. Let x be u(6). Let w be (0 - x) + (0 - -4). Suppose 4*h + 2*f = 4, 3*h = f + w*f - 8. Solve 3*p + 1 + 2 = h for p.
-1
Let f(b) = b. Let j be f(5). Suppose -i + j*i = 80. Suppose 0 = 4*t - 4*l + 8*l - 20, -4*l + i = -4*t. Solve 12 = 4*c - t for c.
3
Let x = 76 + -39. Suppose 3*o - 84 = -4*n - o, -2*n - o + x = 0. Let a be n/(-6)*3/(-2). Solve 0*s + a = -2*s for s.
-2
Suppose -2*i - 3*p = -24, 0*i = i + 5*p - 19. Solve w - 4*w = -i for w.
3
Let u = 5 - 3. Suppose u = -q + 4*t - 11, 2*q = -4*t + 22. Solve -q*g = -2*g + 3 for g.
-3
Let h be 4 + -9 + 1*13. Suppose 2*m + 3*m + 10 = 0. Let a be -5 + h + (-1 - m). Solve 2*t = a*t + 6 for t.
-3
Suppose -3*v + 7 + 0 = -4*i, v = i + 3. Suppose 2*g = -3*g - 3*o + 3, 0 = -4*g + i*o - 2. Solve 6*k - 3*k + 12 = g for k.
-4
Let k(z) = 2*z**2 - 2. Let s be k(1). Solve u + s = 1 for u.
1
Suppose 0 = -12*l - l. Solve -w - 4 = -l for w.
-4
Let z(v) = 5*v - 7. Let h be z(5). Let n be 4/h + (-528)/(-54). Solve 0 = -m + 3*m + n for m.
-5
Let z be (-6)/(-9) - 10/(-3). Let n be z/(-6) - 2/(-3). Let m(w) = w**2 + w + 20. Let t be m(n). Solve 0 = -0*d - 4*d - t for d.
-5
Suppose -5*l + 0*l + 30 = 0. Suppose 0 = -2*o - 0*o + l. Solve 0 = -o*b + 5 - 2 for b.
1
Let g(c) = c**3 - 5*c**2 - 3*c - 10. Let f be g(6). Solve -v - 3*v + f = 0 for v.
2
Let f(s) = -s**2 + 5*s + 4. Suppose 3*q + 10 = 28. Let t be f(q). Let o = t - -2. Solve z + 3 = -o for z.
-3
Let t be (-12)/(-10)*(-10)/(-4). Solve t*k - 1 + 13 = 0 for k.
-4
Let r(y) be the third derivative of y**6/120 - y**5/15 + y**4/8 + y**3/3 - y**2. Let q be r(3). Let w be q/(6 + -2 - 3). Solve 0*b = -w*b - 2 for b.
-1
Suppose 4*p = 3*c + 16 - 57, 4*c + 2*p - 62 = 0. Solve c = 4*x + x for x.
3
Let c = 25 + -7. Suppose -x + 12 = 7. Suppose 2*u - 3*u + c = -4*w, 18 = -u - x*w. Solve 0*y = u*y for y.
0
Suppose -4*r - 4*a = -0*a - 28, 0 = -4*a + 12. Solve r*q + 4 