4). Solve f = -4*j - j for j.
-3
Let l be 1/(-5) + 31/5. Solve -2*q - q + l = 0 for q.
2
Suppose -2*l - 3*l = -3*f - 31, -2*l = 5*f. Let i(x) = -x**2 - 2*x + 1. Let w be i(f). Suppose -t - m - 9 = -5*m, 3*t = -m + 12. Solve 0 = -n + w + t for n.
4
Suppose 0 = 3*i - 0*w + 2*w - 4, -8 = i - 4*w. Suppose i = -a + 5*a + 8. Let s be 4 - (-6 - -2)/a. Solve 4*l = s*l for l.
0
Suppose -3*p + 24 = -3*m, -5*m = 4*p - 3 - 2. Solve -5 - 10 = -p*t for t.
3
Let u(x) = -x**2 - 3*x. Let i be u(-3). Let f = -2 + 2. Suppose i = b - z - 4*z + 2, 2*b + 5*z - 11 = f. Solve b*j - 2*j = 3 for j.
3
Suppose -45 = -10*a + 5*a. Suppose 3*b - 3*p = 2*b + a, 2*b - p - 3 = 0. Suppose 6 = 2*d + 2. Solve -f + d*f + 2 = b for f.
-2
Suppose -6*u = -8*u. Solve 4*p + u = 8 for p.
2
Let q be (-12)/8 - 21/(-6). Solve 0 = g - q*g for g.
0
Let k(c) = -c**3 - 8*c**2 - c - 3. Let q be k(-8). Let n = 3 - -6. Let a = n - q. Solve -1 = -a*f - 17 for f.
-4
Let v(p) = -6*p**2 - 4*p + 7. Let m(t) = -7*t**2 - 5*t + 7. Let x(n) = 5*m(n) - 6*v(n). Let l be x(0). Let b = l - -8. Solve -9 = -5*f + b for f.
2
Suppose -5*y + 3*t + 39 = 0, 2*y + 2*t = -2*y + 18. Let u be (11 + -13)*(14/(-4) - -2). Solve -3 = u*p + y for p.
-3
Suppose 0 = 5*c, 7*c = 4*n + 3*c. Suppose -3*a = -3*s + 15, 0 = -3*s - 4*a + 29 - n. Suppose -5*h = 5, -3*h + 2 - s = -w. Solve 0*i + w*i = 0 for i.
0
Let w(x) be the second derivative of x**5/20 - 2*x**4/3 - 4*x**3/3 - 7*x**2/2 + 4*x. Let l be (-4)/6 - 58/(-6). Let m be w(l). Solve 3*o = -7 - m for o.
-3
Let n = 5 - -1. Suppose -3*a - 4*t = -6*a + n, -3*t = -3*a + 6. Solve -a = 3*y - 5 for y.
1
Let k = -55 - -31. Let z be (-1)/(-6) - 44/k. Solve 5*m - 13 = z for m.
3
Let y = 3 - -3. Suppose -35 = -5*x - 2*d, 0*d = -x - d + 10. Suppose 0 = x*c - 10. Solve c*f + 0*f = y for f.
3
Suppose 4*h = h + 6. Let z(f) = 2*f**3 - 3*f**2 - f + 4. Let v(n) = n**3 + n + 1. Let x(o) = v(o) - z(o). Let d be x(h). Solve g = d - 3 for g.
2
Let r(g) = g - 8. Let m be r(13). Suppose 0 = 2*n + m*s + 2, -6*s + 4*s - 12 = -2*n. Solve -n*o - 23 = -3 for o.
-5
Let g(s) = 9*s + 33. Let m(c) = -6*c - 22. Let h(u) = 5*g(u) + 8*m(u). Let z be h(-5). Solve 10 = -z*r - 10 for r.
-5
Let h be (-1 - (0 + -2))*0. Suppose -g = -h - 3. Suppose 7*o - 2*o - 15 = -v, -v = g*o - 9. Solve 0*w = -o*w - 6 for w.
-2
Let d(s) = s**3 - 3*s**2 - 5*s + 9. Let p be d(4). Solve -1 = 4*n - p for n.
1
Suppose -5*x + 0*x + 4*j - 83 = 0, 2*j - 32 = 2*x. Let t = -16 - x. Solve d - t = 2*d for d.
-3
Let i = 8 - 14. Let f = i - -9. Solve 2*t = -1 - f for t.
-2
Let c = -9 - -10. Let p be 2 - (2 - (3 - c)). Solve 3*z = 2*z - p for z.
-2
Suppose -2*d = d - 5*a - 17, -d - 3*a + 15 = 0. Suppose -18*o + 87 = 11*o. Solve d + 6 = o*w for w.
5
Let k(v) = -4*v - 2. Let b be k(-5). Suppose -b + 42 = 3*t. Solve t = 5*n - n for n.
2
Let a be 17/4 - (-8)/(-32). Solve -a*c = -0*c + 8 for c.
-2
Let y(m) = m**2 + 3*m - 3. Suppose -2*b = -0*b + 8. Let u be y(b). Let g = u - 1. Solve -4*x - 15 + 7 = g for x.
-2
Let d(y) = -y - 11. Let z be d(-13). Solve -2 = -z*r - 4 for r.
-1
Suppose -4*i + 11 = -5*q + 6*q, 3*q - 2*i + 9 = 0. Let f be 3/((1 + -2)*q). Solve n - f*n + 2 = 0 for n.
1
Suppose 0*a - 2*a + 4 = 0. Suppose -a*l = 2*l. Solve -d = -l*d for d.
0
Let h(g) = g**2 + 5*g + 4. Let o be h(-5). Let b = 3 + -2. Let j(k) = k**3 - 6*k**2 + 2*k - 1. Let d be j(6). Solve -o*w + d = -b for w.
3
Let d(q) = -q**2 + 7*q + 8. Let m be d(8). Let w = -1 - -3. Let s = -2 + w. Solve s*o - 2*o = m for o.
0
Let x(t) = -t**2 - 6*t - 3. Let g be x(-4). Solve -5*y = -g - 10 for y.
3
Let v(q) = 10*q**2 - 1. Let z = 19 - 33. Let t be 4/(-10) + z/(-10). Let l be v(t). Solve -l + 4 = -a for a.
5
Let j(p) = -p**3 + 4*p**2 + 1. Let w be j(4). Solve 0 = n - w - 1 for n.
2
Let q be (-55)/(-15) - (-1)/3. Let x = 17 + -12. Let j(w) = w**3 - 6*w**2 + 5*w. Let p be j(x). Solve 0*i - q*i + 8 = p for i.
2
Let b(v) = 2*v - 5*v**2 + 4*v + 6*v**2. Let d be b(-6). Solve 5*n - 2*n - 12 = d for n.
4
Let w be (-2)/7 - 48/(-21). Let i = 0 + w. Solve -i - 8 = -2*l for l.
5
Let l(k) = k**3 + k**2 - 1. Let m(o) = -11*o**3 - o**2 + o + 1. Let i(b) = -2*l(b) - m(b). Let h be i(1). Solve 3*v - 7*v + h = 0 for v.
2
Let c(t) = -t**3 - 3*t**2 + 5*t + 6. Let w be c(-4). Suppose u = -4 - w. Let l = u + 21. Solve -2*b - b - l = 0 for b.
-5
Let n = 7 + -11. Let j = n - -6. Solve 0 = j*v + 2*v + 8 for v.
-2
Let g = 51 - 51. Solve g = r + r for r.
0
Let t = -115 + 124. Solve -2*r = t + 1 for r.
-5
Suppose -5 - 3 = -4*j. Let p(v) = v**3 - 7*v**2 + 9*v - 15. Suppose 3 = -2*g + 15. Let f be p(g). Solve -f*r - j*r - 15 = 0 for r.
-3
Let k(s) = -s**3 - s**2 + 4*s - 1. Let w be k(-3). Let b(q) = -q**3 - 6*q**2 - 6*q + 7. Let v be b(-5). Solve o = w*o + v for o.
-3
Suppose -3*d - 14 = -5*o, 4*o + 4*d = 5 + 19. Solve -4 = -o*m + 3*m for m.
4
Suppose 7*u - 5*u - 14 = 0. Let q = u + -6. Solve 0*r = -r - q for r.
-1
Let j = 3 - 5. Let g = j - -2. Solve -2*a + a + 3 = g for a.
3
Let w = 4 + -3. Let p be 5 + (-1 - (0 - w)). Suppose 0 = 4*d - 3 - p. Solve 0 = -0*s - s + d for s.
2
Let m = -35 + 35. Solve -g + 3 = -m*g for g.
3
Let r be 77/22 + (-2)/(-4). Solve 3*a = 4*a + r for a.
-4
Suppose -6*b - 21 = -3*b. Let o = b + 7. Solve 3*q - 5*q - 2 = o for q.
-1
Let m = 15 + -15. Solve m = -0*b - 2*b - 6 for b.
-3
Suppose -14 + 0 = 2*v. Let b(c) = -c - 2. Let g be b(v). Solve -3*d - 4 - g = 0 for d.
-3
Let f = -32 + 38. Solve -5*i + 4 = -f for i.
2
Let z be (-4 - -1)/(0 + -1). Suppose -z*a - 3*i = -18, -a + 3*i = 2*a. Suppose -4*l + 26 = -a*l. Solve -l = 4*j - 10 for j.
-4
Suppose -4*k + 6 + 14 = 0. Suppose -q = -k*q. Solve q = -2*c - 2*c - 16 for c.
-4
Let p = -27 - -29. Solve 0 = -3*i + p*i + 3 for i.
3
Let g(x) = 8*x**2 - x + 1. Let t be (-37)/(-7) + (-8)/28. Suppose -5*l = -t - 0. Let a be g(l). Solve 4*y - 2*y = a for y.
4
Let o be -1 - -7 - (-5 - -8). Let s = 35 + -23. Solve -s = o*c + 3 for c.
-5
Let t = 56 - 49. Solve -4*v - t = 5 for v.
-3
Suppose 0*p + 2*p - 4 = 0. Solve 2*s + p + 0 = 0 for s.
-1
Let x be (-24)/2 - (5 - 2). Let m be 8/3*(0 - x). Let q = -29 + m. Solve -4 = 3*j + q for j.
-5
Suppose 4*c + 6*f - f + 12 = 0, -5*c + 6 = f. Solve 2*n = -c*n + 16 for n.
4
Let s = 33 + -20. Suppose 4*n - 5*p - s = -4*p, -10 = 2*p. Solve -2*y - n*y + 4 = 0 for y.
1
Let x be 9 - (7 - 3)/(-1). Solve 0 = 4*o - x - 7 for o.
5
Let n be 0*(-3 + -2)/10. Solve n = -5*g + 3 - 18 for g.
-3
Let v(y) = 4*y**2 + y. Let n be v(-1). Suppose 2*g - n*g + 3 = 0. Solve -1 = 4*o - g*o for o.
-1
Let s = 4 + 10. Suppose -s = -2*a + 3*i + 5, 4*i + 20 = 0. Solve 0 = a*o - 0*o + 4 for o.
-2
Suppose 0 = 3*a - 6, -a - 5 = -3*h - 4. Suppose u + h = 10. Suppose b = u + 1. Solve -3*q - b = -q for q.
-5
Let m = 1 + -1. Suppose m = -2*s - x + 2*x - 5, s - 3*x = -10. Let k = 4 - s. Solve 0*p - k*p + 20 = 0 for p.
4
Let z(d) = -d**3 + d**2 + d + 3. Let v be z(0). Solve 10 = v*r + 1 for r.
3
Let u be ((-18)/(-8))/((-1)/(-12)). Suppose -5*a = -0*a + s - u, 7 = a + s. Let b be (0 - 0)*(-1 - 0). Solve b*q - a*q = -25 for q.
5
Let d(y) = 2*y - 3. Let v be d(3). Let g be (-1 - 1) + -4*v. Let q = -10 - g. Solve q*l + 0 + 12 = 0 for l.
-3
Suppose n + 6*n - 3*n = 0. Solve 2*f - 3*f = n for f.
0
Let a(o) = -o**3 + 9*o**2 + 13*o - 15. Let p be a(10). Suppose 0 = 5*c - p - 25. Let l = -5 + c. Solve -2*f = f + l for f.
-1
Suppose -3*r - 1 = -4*z - 6, -5*r - 4*z - 13 = 0. Let k be r + 0 - (0 + -2). Let n be 3 - (-2 + k - 0). Solve -a = n*a for a.
0
Let l(s) = -s - 7. Let a be l(-7). Suppose 2*y + 3*y = a. Solve y = -2*i - 3*i - 25 for i.
-5
Let u(r) = r**3 + 11*r**2 + 9*r - 5. Let d be u(-10). Suppose 2*n = h + 4, 2*n - 23 = -d*h + 5. Solve n*i = -0*i - 4 for i.
-1
Let o be (-3)/(-6)*(5 - -1). Suppose -a - 3*k - 3 = -0*a, -3*k = o. Solve a = j - 3*j - 10 for j.
-5
Let r = -20 - -5. Let u = r + 20. Solve 3*l + u + 4 = 0 for l.
-3
Let f = 4 - 4. Suppose f*w + 2 = w. Let d be 6 + (w - 2 - 1). Solve 3*x = d*x for x.
0
Suppose -2 = w - 4. Solve 0 = -w*l + 1 + 7 for l.
4
Suppose 5*y = 6*y. Suppose -3*t = t - 2*z - 12, -2*z = y. Solve -t*h + 0 = -6 for h.
2
Let r(x) = x**2 + 6*x + 3. Let q be r(-6). Solve 0*v = -q*v + 3 for v.
1
Let b = -21 - -23. Solve -5*h + b*h = 0 for h.
0
Let t(f) = f**3 + f**2 - f + 3. Let q(x) = x**3 - x + 5. Let c be q(0). Suppose 1 = -3*z + s, 3*s 