b = 4*x - 0*b + 21. Suppose x + 1 = n. Suppose 0 = -6*w + n*w. Solve -5*j - 15 = -w*j for j.
-3
Let x = -24 + 36. Suppose 0 = g - 5*g + x. Suppose -2*m - 17 = -g*m. Solve -1 = -4*k - m for k.
-4
Let w = -11 + 15. Let s be 1 + 5/1 - (-61 + 64). Solve w = -s*u + 2*u for u.
-4
Let m(v) = -v. Let t be m(-3). Let o = 42 - 36. Solve -3 - o = -t*p for p.
3
Let v = 58 + -56. Solve -10 = 3*h + v*h for h.
-2
Let n(x) = x**2 - 30*x + 31. Let t be n(29). Solve -4*z + t = -2*z for z.
1
Let p be -1 - (1 - (3 - 9)). Let l be (-1)/(-4) + 2/p. Solve l = -0*r - r for r.
0
Let t be (-145)/(-30) - 1/(-6). Suppose t*z = 2*z + 9. Suppose -5*p = -z*p. Solve 15 = -3*r - p*r for r.
-5
Let o be 1 - (1 + 3 + -5). Suppose 16 = 2*z + o*z. Solve z*b - 2 = -6 for b.
-1
Suppose -a - a + 4 = 0. Suppose 9*t - 124 = 11. Solve -3*p + t = a*p for p.
3
Suppose f - y - 14 = y, 0 = -5*y - 25. Let h = f - 3. Solve p + h = -0 for p.
-1
Let h be 4 - (0 - 5 - -7). Solve -h*f = -3 - 3 for f.
3
Let x = -3 + 6. Suppose -5*t = -4*t + 3*l + 12, -4*t - x*l = 3. Suppose -m = -t - 2, 0 = 3*z + m - 11. Solve -z*c + 4*c = 0 for c.
0
Suppose 5 = -5*q + 20. Suppose 0 = 4*x + 3*g - 0 - 25, x - q*g - 10 = 0. Solve -x = 4*n - 3 for n.
-1
Let n(l) = -l + 10. Let b be n(5). Suppose 0 = 3*f - 3*m + 9, 12 = -2*f + b*m - 9. Solve 10 = -0*j - f*j for j.
-5
Let z(r) = -r**3 - 2*r**2 - r - 2. Let d be z(-3). Let a be (-1)/5 - (-72)/d. Suppose -16 = -3*u - a. Solve 0 = -u*x + x for x.
0
Let v be 12*7*6/(-12). Let k be -1*7*24/v. Solve -k*p = -0*p + 20 for p.
-5
Let k be 4 - -1*(-1 - 0). Suppose 3*o = -o. Suppose o = -7*r + 3*r + n + 49, -5*r + 57 = k*n. Solve 3*v = 6*v - r for v.
4
Let m = -20 - -36. Let z = m + 8. Suppose 3*h + h = -v + 23, -3*v + z = 3*h. Solve 5*c + h = -0 for c.
-1
Suppose -3*m = 1 - 7. Suppose 5*l - 3*h = 4, 6*l - 3*l + m*h - 10 = 0. Solve l - 7 = -5*b for b.
1
Suppose 0 = -4*m + 3*m. Solve -d + 2 = -m*d for d.
2
Let h(n) = -n + 1. Let c be h(0). Let p(r) = -r - 5. Let j be p(-7). Suppose 4*t - 5*t = j*v + 8, -v = -5*t + 15. Solve x = c - t for x.
-1
Let w be 3 - 4/(-4 - -2). Suppose -3*t + 0*t - 4*i = -64, -w*i + 25 = t. Solve 0 = 3*v + v - t for v.
5
Let j be (-6 + 7)/(1/15). Suppose -j = -4*g + 9. Solve g = 5*z - 4 for z.
2
Suppose -3*v + 2*v + s = -5, -12 = -4*v + 2*s. Solve 3*w - 8 = v for w.
3
Let i be 1/3*3 - 0. Let d = i + 4. Solve d*m = m - 12 for m.
-3
Suppose -4*i - 2*o + 50 = 0, 4*i - 65 = o - 0*o. Let g = i + -12. Solve -5*k + g*k - 4 = 0 for k.
-2
Suppose -2*i = 3*b + 202, 4*b - 2*i + 271 = -5*i. Let s be b/(-20) + (-2)/10. Solve 2 + s = -l for l.
-5
Suppose 0 = 2*u + 2*u + 16. Let o be -1*(-3)/((-3)/u). Solve o*y - 4 = 2*y for y.
2
Suppose o - f = 3, -7 = -o - f - 2. Let j = o - 4. Solve j*h = -h for h.
0
Let p(d) = -3*d**2 + 30*d + 2. Let v be p(10). Solve -3*z = v - 5 for z.
1
Let x = -54 - -57. Solve x = -4*c + 19 for c.
4
Suppose 16 = 2*z - 3*c, -7*z + 5*c = -2*z - 30. Suppose 0 = g + 2*k - 11, -4*k + z = 4*g - 26. Solve g*u = -18 + 3 for u.
-5
Suppose 5*u + 33 = -4*t, u - 1 = 5*t - 2*t. Let q = 0 - u. Suppose -2*o = -q*o + 12. Solve -o = -3*n + 8 for n.
4
Let f(o) = o - 4. Let w be f(6). Suppose -3*x - w*i + 21 = -20, -7 = -x - 4*i. Solve -3 + x = 3*h for h.
4
Suppose 3*c = -0*c + 15. Suppose 4*u - c = 3*u. Solve 3*a + 2*a - u = 0 for a.
1
Let o be 1/(2 + 10/(-6)). Suppose -4*n = 4*p - 28, o*n - 12 - 1 = p. Solve -6*m + p*m - 20 = 0 for m.
-5
Suppose 0 = l + 2*n - 2, -4*l + 4*n = -3*l - 8. Suppose -4*a = -f - 3, a + 5*f = l*f + 2. Solve -3*s - 5 - a = 0 for s.
-2
Let p = 21 - 15. Let q be (-2 + 0)/((-4)/p). Let n = 8 - q. Solve 4 = -n*c + c for c.
-1
Let b be (-11)/(-2) + 3/(-2). Let c = 0 + b. Solve -4*o = -2*o + c for o.
-2
Let w(o) = -o**2 - o + 35. Let x be w(-6). Solve 19 + 6 = -x*a for a.
-5
Let g = -84 + 129. Let z = -8 + g. Suppose -3*s - a + z = 0, -32 = -3*s + 3*a + a. Solve 3*m + m = -s for m.
-3
Suppose 6*d - 57 - 3 = 0. Solve -4*j = j + d for j.
-2
Let q(p) = -p**2 - 19*p - 15. Let c be q(-18). Solve 0 = -c*i - i for i.
0
Let j = -27 - -27. Solve -2*t + t + 4 = j for t.
4
Let p(k) = k**2 - 1. Let g = -28 + 26. Let c be p(g). Solve -c*a + 5 = -1 for a.
2
Let m be (-26)/(-7) - (-2)/7. Suppose -m*t + 51 - 19 = 0. Suppose 3*c + 24 = 3*d, 3*c - c = d - t. Solve 4*b + d = -0 for b.
-2
Suppose 8 = -0*v - v + 3*f, -4*f = -v - 10. Let j be (v - (-3 - 0))*0. Solve 4*c + j = -4 for c.
-1
Let d(w) = -w**2 + 5*w + 6. Let s be d(6). Suppose s = -2*k + 16 + 20. Let x be ((-4)/10)/(2/(-20)). Solve -2 + k = x*c for c.
4
Suppose -4*u = 6 - 22. Solve 0 = -k - u + 3 for k.
-1
Suppose -3*k - 2*k = -25. Suppose 0 = 5*y - 6*y + 3*b - 6, 3*y + k*b = 24. Solve y*f - 5 = 4 for f.
3
Suppose 3*n = 2*n - 4. Let h be n + -1 - 4/(-2). Let i = h + 3. Solve i = -6*v + 3*v for v.
0
Suppose -m = g + 15, 3*g - 10 = -m + 7*g. Let f be (4 + -2)/((-4)/m). Solve 0*j = -f*j for j.
0
Let o = -6 + 19. Solve 0 = -4*c + 3 + o for c.
4
Suppose a = 4*a. Let i(w) be the first derivative of -w**4/4 + 5*w**3/3 + 2*w**2 + 1. Let p be i(5). Solve a = -5*o + o + p for o.
5
Let b(f) = -f**2 + 5*f + 10. Let y be b(6). Solve -4 = -y*m + 6*m for m.
-2
Suppose x + 5*j = -0*x + 23, 0 = 4*x + 2*j - 20. Suppose -8*q = -x*q. Solve -u - 1 - 3 = q for u.
-4
Let j(q) = -q**2 + 6*q + 4. Let l be j(6). Solve -3*t = -l*t for t.
0
Let l(g) = -g**3 - 3*g**2 - 2*g. Let x be l(-2). Solve x = -3*y + 13 - 4 for y.
3
Let n = 13 - 8. Let u be (-201)/(-39) + 0 - 2/13. Solve n = -u*k - 5 for k.
-2
Let w(i) = -i**3 - 10*i**2 + 9*i - 16. Let l be w(-11). Solve 2 = 4*h - l for h.
2
Let j = -25 + 27. Solve g = -j*g + 12 for g.
4
Suppose -5 = -6*x + 5*x. Solve -2*a + a = x for a.
-5
Suppose -3*q + 2*q + 5 = 0. Suppose 4*m + z - 3*z = 66, q*m - 75 = -5*z. Let y = m - 6. Solve -3*v + y = 2*v for v.
2
Let k(z) be the first derivative of -z**3/3 - 11*z**2/2 + 16*z + 4. Let j be k(-12). Solve -j*l - 7 + 23 = 0 for l.
4
Let p be (-2)/(-13) + (16/(-104) - -2). Solve -4 = -2*k + p for k.
3
Let m = -1 + 3. Suppose m = 3*l - 1. Solve -n + 2 + l = 0 for n.
3
Suppose 5*b - 13 = 7. Suppose u - 5 = -b*r, -4 = 5*r - 2*u - 20. Solve k - r + 0 = 0 for k.
2
Let n be 2/(-8) - (55/20 + -3). Solve -3*v + v + 8 = n for v.
4
Let q(i) = -i**2 + 8*i + 2. Let y(c) = -15*c - 2 - 3 - 3*c**2 + c**2 + 4*c**2. Let v(o) = 7*q(o) + 4*y(o). Let n be v(6). Solve 0*x + n = 2*x for x.
3
Suppose 0 = 4*z + 8 - 4. Let c be (1 + 0)/(z/(-5)). Suppose -c*l + m = 4 - 3, -2*l - 2*m + 2 = 0. Solve 3*p - p - 4 = l for p.
2
Let t = 17 + -12. Suppose -2*z = -2, 0*f - 5*z + 5 = t*f. Solve 3*k = -f*k - 15 for k.
-5
Let v be (-96)/72*((-3)/2)/1. Solve -5*l - 8 = v for l.
-2
Let w(i) = -3*i**3 + 11*i**2 + 12*i - 11. Let g(u) = 2*u**3 - 5*u**2 - 6*u + 6. Let z(x) = 5*g(x) + 3*w(x). Let f be z(-7). Solve -6 = -f*m + 10 for m.
4
Let y(s) = -s**2 + 3*s. Let n be y(3). Solve 0 = -n*o - o for o.
0
Suppose -2*r + 1 - 11 = -4*g, 3*g - 9 = 3*r. Suppose 3*m - 2*i - 123 = 0, 0 = -3*m - g*i - 32 + 143. Suppose 2*j = m + 1. Solve 2*f + 2*f = j for f.
5
Let x(q) = -q + 5. Let t be x(5). Suppose -c = c + 4*i + 12, t = 5*c - 5*i - 15. Solve c = 2*g + 4 + 4 for g.
-4
Suppose 4*b = -s + 12 + 1, 0 = -4*s + 20. Let h be 8/(-2)*b/(-4). Suppose -5*z - 27 = -4*j + 4, 0 = -5*j - z + 17. Solve 4 = -h*i - j for i.
-4
Let y be (-2)/2 + 3 - 2. Suppose u + 2*w + 4 = 0, y*w + 3 = -w. Solve -5 = -u*v + v for v.
5
Suppose 19*z = 18*z + 2. Solve -6 = -4*a - z for a.
1
Let i(a) = a**2 - 10*a - 24. Let m be i(-3). Solve -13*k = -m*k - 4 for k.
-2
Let f = 8 - 6. Suppose 3*v = f*v + 5*g + 21, -3*v - 4*g - 32 = 0. Let b = -4 - v. Solve b = -i - 0*i + 3 for i.
3
Suppose -3*a + 3*r = r - 17, 0 = 3*r + 3. Solve -2*k = a - 1 for k.
-2
Let j be (2/(-2))/((-10)/30). Suppose -j = m - 4. Solve l + m = 6 for l.
5
Suppose -n + 10 = -2. Let z = n - 8. Solve -z*u - 2 = 2 for u.
-1
Suppose -3*z + 2*z + 30 = 3*y, -5*z - 2*y + 150 = 0. Suppose -2*o - 2*w + 19 = 1, 5*o + 2*w = z. Suppose -i = -o*i + 6. Solve 0 = 4*f - i*f for f.
0
Let q be (3 + 0 - 2)*8. Suppose 0 = 2*a - k - 4, -5*a - 4*k + 2*k - q = 0. Solve a = -3*w + 4 + 11 for w.
5
Suppose k + 2*k - 24 = 0. Suppose 2*j - 20 = k. Suppose j = s - 3. Solve 5*i + s = -8 for i.
-5
Let j be 4/10 + 96/10. Let f be 207/15 + 2/j. Solve 3*l - f + 2 = 0 for l.
4
Let t(q) = -3*q - 10. Let l be 