 - 4. Let s(u) = 2*b(u) - 7*g(u). Let d be s(0). Solve 2*y + 0 = -d for y.
-1
Let k be 18/5 - 2/(-5). Suppose 2 = -c - k*w, -c - 2*c + 33 = -w. Solve -x = x + c for x.
-5
Let u be ((-4)/(-10))/((-5)/(-25)). Solve u*o = 6*o for o.
0
Let w(v) be the third derivative of v**4/24 - 7*v**3/6 + 4*v**2. Let j be w(10). Solve 5 = -j*c - 10 for c.
-5
Suppose -5*t + 10*t - 40 = 0. Suppose 2*z - w + 0 = t, 12 = 4*z - 4*w. Suppose -2*h - l = -19, -36 - 17 = -5*h + 3*l. Solve h + 5 = -z*j for j.
-3
Suppose -2 = 5*d + 3. Let f be d - (-9 - 0)/3. Solve -f*t = -t + 1 for t.
-1
Suppose -4*q - q = 0. Solve q = 2*z - 2 for z.
1
Let b(z) = z**3 + 7*z**2 + z + 10. Let q be b(-7). Solve 2 = -5*c - q for c.
-1
Suppose 3*h - 38 = 4*o, -4*h - 4*o - o = 1. Solve 20 = -y + h*y for y.
4
Let j = 52 - 52. Solve -3 = -j*i + i for i.
-3
Let t(u) = u**3 - 2*u + 4. Let p be t(0). Solve 0 = -x - p + 1 for x.
-3
Let o = 7 + -3. Let k = o - 0. Solve -h - k = -0 for h.
-4
Let d(m) = -m**3 + 6*m**2 + 6*m + 10. Let a be d(7). Solve -3*t + 3 = -a for t.
2
Suppose -22 + 12 = -5*d. Solve -d*h = -0 - 2 for h.
1
Suppose -3*m + 16 = -t, -2*m - 14 = -4*m + 4*t. Solve 0 = -2*f + 3*f - m for f.
5
Let v(x) = -x + 6. Let y be v(3). Let g be (0 - 1)*-2 + 0. Suppose -4*q = -g*q - 2. Solve y*s + q = 2*s for s.
-1
Suppose 20 = 2*i - 7*i. Let r(x) = -x**3 - 4*x**2 + x + 1. Let q be r(i). Let t be 0/((-1 + q)/2). Solve -4*d + 2*d + 2 = t for d.
1
Suppose 5*o = 3*s + 30 - 5, 0 = -5*s - 3*o + 15. Solve -4*i + s*i + 12 = 0 for i.
3
Suppose 2*y - 66 = -x - 3*y, -5*x + 5*y + 270 = 0. Suppose 0*v = -4*v + x. Solve -2 = -3*i - v for i.
-4
Let b = 50 - 50. Solve -1 = -b*s + s for s.
-1
Suppose 0 = 3*m - 4*n + 7*n - 21, 5*m + n - 39 = 0. Solve -25 = -3*t + m*t for t.
-5
Let z(i) = -i - 2. Let a be z(-5). Let x be (-188)/(-28) - 5/7. Suppose -28 - 8 = -3*r. Solve -a*l = -x*l + r for l.
4
Let i(x) = 2*x**2 - 2*x - 3. Let q be i(3). Suppose -s = 2*s - q. Let l be (s - (-3)/(-1))*1. Solve 0 = h - l + 3 for h.
-3
Let f be 4 + -2 + 1 + -1. Suppose 0 = -f*n + 7 + 9. Let p be 237/12 - (-2)/n. Solve 2*o - p = -2*o for o.
5
Suppose 0 = -b - 1 + 3. Suppose b*a = -2*c - 0*c - 26, -3*a = -5*c + 15. Let s = -10 - a. Solve 0*y - 2*y + 10 = s for y.
5
Let m be 1/2 + (-195)/(-10). Let w(u) = u**3 - u**2 + u - 1. Let i be w(2). Solve -d + i*d = m for d.
5
Let u be (-8)/2*(-2)/4. Let l(y) = 2*y**2 - 2*y. Let f be l(2). Suppose 0 = 5*r - 5*v - 0*v + 5, 0 = f*r + v - 21. Solve -u*x + r = 8 for x.
-2
Suppose -3*g + 3 = -3. Let n be 5 + -1 - 8/(-1). Solve -n = -g*r - r for r.
4
Let g = -10 - 8. Let s = 21 + g. Solve s*q = 5*q - 8 for q.
4
Let u be 37/5 - (-6)/10. Let b(f) = f**2 + 10*f + 7. Let n be b(-8). Let t be (-16)/(-6) - (-6)/n. Solve u = t*d - 2 for d.
5
Let z(j) = j**3 + 6*j**2 + 1. Let b be z(-6). Suppose 2*f = -4*g - 32, -f + 3*g = -0*f + 36. Let o = 27 + f. Solve o - b = r for r.
2
Let b = -22 + 26. Solve -b*u = -2*u + 8 for u.
-4
Suppose 19*f - 8 = 17*f. Solve 2*z = -6 - f for z.
-5
Let t be 2 + 0 + -2 + 2. Suppose -9 = 2*y - 3*v, 2*v + 13 = 5*y + 19. Solve y = -t*c - 6 for c.
-3
Let b be (-26)/(-7) - (-2)/7. Let z be b + (2 - (4 - 0)). Solve f - z*f = -1 for f.
1
Let r(g) = g + 5. Let z be r(0). Let n be (z - 1) + 4 + -3. Let y(v) = -v**2 + 5*v + 3. Let l be y(n). Solve w - l = 2*w for w.
-3
Let z be 6 + 2 + -3 + -2. Solve -2*o = -z*o - 3 for o.
-3
Suppose -2*b + 5*v = -b + 20, v - 10 = -b. Solve r = b*r for r.
0
Let j(y) be the second derivative of -y**3/3 + 5*y**2 + y. Let r be j(5). Solve r = 3*d - 5 - 7 for d.
4
Suppose -r + 1 = g, 0 = 2*g - 0*r + 3*r - 1. Solve -g*v - 5 = -3 for v.
-1
Suppose -s = -2 - 0. Suppose 2*a + 38 = s*l - 2*a, -5*l + 2*a = -79. Solve -c = 2*c - l for c.
5
Suppose -5*y - 52 = -18*y. Solve -3*m = -y*m + 2 for m.
2
Let v(k) = -2*k - 24. Let l be v(-12). Solve l = o + 3*o - 4 for o.
1
Suppose -2*n = -0 - 10. Solve n*f = -0*f - 15 for f.
-3
Let r be 3 - (-4)/(-2*2)*-9. Solve -b - 2*b - r = 0 for b.
-4
Suppose -w + 4*j + 20 = 0, -2*w + 4*w + 25 = -5*j. Solve -v + 6*v + 10 = w for v.
-2
Let d(c) = -c**3 + 7*c**2 + 4. Let a be d(7). Suppose 0*n + a*n + 7 = 3*r, 2*n + 1 = r. Suppose -g + 1 = -n, 15 = 4*z - 3*g. Solve z*y = y - 5 for y.
-1
Let k = 47 - 41. Solve 0 = t + t - k for t.
3
Suppose -8*y + 37 = -3. Solve 3 + y = -4*r for r.
-2
Let h(f) = -f**3 - 4*f**2 - 5*f - 2. Let r be h(-3). Suppose v + 3*p = 2, 0*p + 8 = r*v + p. Solve 0 = -v*m + 5*m - 15 for m.
5
Let b = 16 + -27. Let v = b - -17. Suppose -13 = -2*h - n, n = 3*h - v - 6. Solve -4*d + 11 = -h for d.
4
Let o = 125 - 123. Solve -x = o + 2 for x.
-4
Let v = 59 - 56. Solve v*f = -f - 8 for f.
-2
Let m(x) be the first derivative of x**4/4 - 4*x**3/3 + x**2 - 6*x - 1. Let z be m(4). Solve 6*s + 12 = z*s for s.
-3
Let u(w) = 9*w - 5 + 3 + 10*w**2 - 4 - 5*w**2. Let z(q) = -14*q**2 - 27*q + 17. Let y(t) = -17*u(t) - 6*z(t). Let m be y(9). Solve m*d + 15 = 3*d for d.
5
Suppose -2*d - 41 = -4*d + 5*r, -4*r + 14 = 2*d. Let h = 8 + -3. Suppose -9 - d = -5*z - q, -5*q = h*z - 30. Solve j - 2*j + z = 0 for j.
4
Let p = 14 - 164. Let m be (-4)/6*p/4. Solve 2*d - m = -3*d for d.
5
Let b(i) = 4*i + 9. Let u be b(7). Suppose -5*d - 3*w - u = -w, -d - 5 = w. Let m be 2/d + (-8)/(-36). Solve m = q + 3 - 4 for q.
1
Let p = 7 - 3. Let u(m) = 2*m - 4. Let s be u(p). Solve -s*i = -2*i - 4 for i.
2
Let u be ((-36)/(-3))/3 + 4. Solve u = -2*n - 0 for n.
-4
Suppose 0 = 2*o - 5*n - 22, -2*o - n = -6*o + 26. Let h be 2/3 - (-33)/(-9). Let v = h + 4. Solve o = -d + v for d.
-5
Suppose -3*q + q + 2*b = -14, -4*b = 20. Suppose -4*c - 2 = 2. Let s = 1 + c. Solve w + q + 1 = s for w.
-3
Let r = -4 + 7. Let n(m) = m**2 + 9*m - 10. Let i be n(-10). Let f be 8 + -1 + i - r. Solve -f = 2*p - 0 for p.
-2
Let v be (1 + -1)/(-3) + -4. Let h(n) = -n - 4. Let d be h(v). Solve -2*u + d*u + 10 = 0 for u.
5
Suppose 0 = 4*i - 6*i + 10. Suppose -i*x + 64 = -x. Suppose -x = -3*c - 1. Solve 0*v - c = 5*v for v.
-1
Let o = -52 + 52. Solve o = -10*v + 5*v - 5 for v.
-1
Let j be (0 - 1)*(7 - 3). Let a be j - -1 - (3 + -1). Let t be -5*1/a*4. Solve -n + t = -0*n for n.
4
Let c = 1 - -3. Suppose 0 = -c*k + 22 + 22. Suppose 3*i + k + 4 = 0, 2*i = o - 12. Solve -o*q - 1 + 11 = 0 for q.
5
Suppose -s = -2*x - 2*x + 41, 3*x + 5*s = 2. Let n = -5 + x. Solve n = -i - 3*i for i.
-1
Let k(s) = -s**2 + 6*s + 8. Let c be k(6). Solve c = -0*l + 2*l for l.
4
Let h(o) = o**2 + 2*o + 1. Let x be h(-1). Solve x*a + 4*a = 8 for a.
2
Let k = -1 - -1. Suppose k = 4*g - 3*g - 3. Solve -4*n - g = 5 for n.
-2
Suppose 0*v + v + 11 = -5*c, 3 = -3*v. Let q = -1 - c. Solve -7 = -2*a + q for a.
4
Let a = -80 - -82. Solve -3 + 1 = -a*d for d.
1
Let o be 12/4*(-8)/(-6). Let i be (o/7)/((-2)/(-7)). Suppose -i*l + 5 = 1. Solve 5 = -l*v - 3 for v.
-4
Suppose 4*w + 2 = -m + 3, -w = 4*m + 11. Suppose -4*d + 4 = -56. Let i be d*(0 - m/9). Solve 3*o + i - 14 = 0 for o.
3
Let p = 0 - -6. Let u(n) = -n - 51. Let w be u(0). Let z = -31 - w. Solve m - z = p*m for m.
-4
Suppose -2*v + 14 = 2*f, 16 = 2*v + 4*f - 0. Let t = -3 + 5. Suppose -5*y = -t - 18. Solve v*z = y*z for z.
0
Suppose -3*g = -9 + 3. Solve 2 = g*p - 2 for p.
2
Let q(i) = -i - 7. Let f be q(-6). Let r be f/(-1) - 2*-7. Let k = -12 + 12. Solve -r = -5*x - k for x.
3
Let b(c) = c**2 + 2*c - 4. Let x be b(-4). Suppose 3*h + 4*y - 5 - 14 = 0, 2*h = -5*y + 15. Let v be 6/h - x/20. Solve 0 = z - 0*z + v for z.
-1
Suppose 5*b + 12 = 9*b. Solve -b*a = -0*a for a.
0
Suppose 5*q = -4*l + 27, 0 = q - 3*l - 2*l - 17. Solve -8*x = -q*x + 4 for x.
-4
Suppose 0 = y + 3*y - 8. Let z = y - 2. Solve -4*v + 2*v + 4 = z for v.
2
Suppose 0 = c + 4 - 2. Let t be 1/(c + (-33)/(-15)). Let l be 2*t*2/4. Solve 2 = -l*x + 3*x for x.
-1
Let g(y) = -y**2 - 18*y + 40. Let b be g(-20). Solve b = -j + 3*j for j.
0
Suppose -3*f + 12 = 3*b, 5*f + 5*b = f + 20. Suppose f = n - 3*o + 4, -n - 3*o = -3*n - 2. Suppose 2*q - 42 = -n. Solve 6*r - q = r for r.
4
Let m(c) = 4 + 2 - 2 + 3*c - c**2 + 2*c. Let x be m(5). Solve 0 = -x*l - l for l.
0
Suppose -3*a = -8*a + 20. Solve a*x - 4 = 5*x for x.
-4
Suppose 0 = v + 3*p + 14, 0 = 4*p + 5 + 3. Let s be v/(-4) - (-2 + 1). Solve -s*c = -0*c for c.
0
Suppose -3*a = -4*t + 7 - 3, -2*a + 20 = 3*t. Let u(d) = d**2 + d + 2. Let l be u(3). Let h be (-8 - -1)*