4) + (-1)/4. Suppose -z*g = -n*g. Solve g = -2*k - k - 3 for k.
-1
Let z be (-1)/(-3) - 6/(-9). Solve -m + 0 = -z for m.
1
Let d be (2 - 3)*1*59. Let t be 4/16 + d/(-4). Suppose -6*r + r + 25 = 0. Solve t + 10 = -r*a for a.
-5
Let k(c) = 4 + 6 + 9*c + c**2 + 0*c**2. Let i be k(-8). Suppose 0 = 2*z - 13 + 3. Solve -i*m = -z - 5 for m.
5
Let k(m) = m + 2. Let v be k(0). Suppose v = -2*b + 10. Solve -r - b*r = 25 for r.
-5
Let y = -3 + 7. Suppose t + 5*t - 24 = 0. Solve -y*j = -3*j + t for j.
-4
Let t be 9/(-6)*2/3. Let l be (0 + t)*0/(-7). Solve 0 = j - l*j for j.
0
Let f be (3 + 2)/(-2 + 3). Solve -f = 6*a - 11*a for a.
1
Suppose 4*t - 32 = -4*o + 12, 5*t - 27 = -o. Solve 5*j + 17 = o for j.
-2
Suppose 3*u + 5*n - 21 = 0, n = 3*u - n. Suppose -u*q = -4*q. Solve 5*x - x = q for x.
0
Let c be (4 - 3)/((-3)/27). Let x = c - -13. Solve -3*j - x = -7*j for j.
1
Let f(p) = p**2 - 5*p - 3. Let i be f(6). Let r(q) = 31*q + 31. Let c be r(-1). Solve -i*g - 2*g - 15 = c for g.
-3
Let d = 27 + -15. Solve 3*q - d = -q for q.
3
Suppose 5 + 15 = 2*p. Suppose 0 = -p*l + 5*l + 30. Let z = 9 - l. Solve 4*a = a + z for a.
1
Let w = 13 - 11. Let r be -2 + 4/w + 10. Solve 0*i - r = 2*i for i.
-5
Suppose n = 5*g + 1, -n = -0*n - 3*g + 9. Let b = -22 - n. Solve 0 = -b*q + 3*q + 3 for q.
-3
Let g be 2/((-7)/3 - -3). Let u = 0 + 1. Let k be u/3 + 5/g. Solve 6 = k*p + 2 for p.
2
Let n(v) be the third derivative of v**5/60 - 2*v**3/3 - 3*v**2. Let b be n(3). Solve b = 2*p - p for p.
5
Suppose 12 = -4*n + 2*v + 76, 4*n - 4*v = 72. Solve 0 = 13*q - n*q + 5 for q.
5
Suppose -4*s + 39 = 3*d, -5*d + 79 = -4*s + 14. Suppose 0 = 3*p - d - 17. Solve w = 3*w + p for w.
-5
Suppose 0 = -5*i + 10. Suppose 1 + 5 = i*w. Solve w*x - 15 = -2*x for x.
3
Let w(a) = -a**3 - 10*a**2 - 19*a - 20. Let p be w(-8). Solve -3 = p*s + 1 for s.
-1
Suppose 2*v - 3*o - 26 = o, -3*v + 7 = 2*o. Let y = 34 + -29. Let r = y - v. Solve 2*c = -r*c for c.
0
Let n = 58 + -55. Solve 23 - 8 = n*s for s.
5
Let o be (-3 + 1)*9/(-6) - -2. Let d be 1 - -8 - (2 - 0). Let w be d - (0 - -2) - 2. Solve -7 - w = -o*v for v.
2
Let y = -10 + 2. Let t(f) = -3*f + 2*f - 8 + 2*f - 2*f. Let h be t(y). Solve h = -2*a - a - 3 for a.
-1
Let c be 0 + (-8 - (-3 + 1)). Let r = -6 - c. Solve r*a - 2*a = 0 for a.
0
Let l(g) = -g**3 + 17*g**2 - 15*g - 10. Let z be l(16). Solve -z*i + 25 = -i for i.
5
Let y be 4 - 2 - (-6 - -7). Solve -2*i + 3*i = y for i.
1
Let p be -1*(-2)/(-4)*0. Suppose 0 = -5*z + 7*w - 2*w + 20, -5*z = 5*w. Solve p = -m + z*m for m.
0
Let u be 0/(-1 + (5 - 2)). Solve u = 6*k - 2*k + 12 for k.
-3
Let h be 0/(1 + -2) - (8 - 9). Solve 2*b - h = 3 for b.
2
Suppose 4*p - 2 = 2*p. Let x be p - 2 - (-5 - -1). Suppose -k = -3*k + 6. Solve x*o + k = -9 for o.
-4
Suppose 2*x + t + 4 = -2*t, 3*t - 4 = -4*x. Solve 0 = v - 5*v + x for v.
1
Let g(u) = u**3 - 7*u**2 + u. Let w(r) = -6*r + 1. Let d be w(-1). Let p be g(d). Solve -p*n + 16 = -3*n for n.
4
Let z(f) = -5 - f - f + 3*f. Let b be z(5). Suppose -g + 2*n = -12, 0 = -2*n - 0*n - 6. Solve 2*r - g + 0 = b for r.
3
Let r = -87 + 97. Let p = 1 - 2. Let j = p - -4. Solve r = -j*l + 4 for l.
-2
Let m(l) = -6*l - 3. Let t(w) = 2*w + 1. Let a(x) = -4*m(x) - 11*t(x). Let s be a(1). Solve s = h + 1 for h.
2
Let t(c) be the first derivative of 1/2*c**2 + 2 + 11*c. Let a be t(-9). Solve 0*f + a*f + 6 = 0 for f.
-3
Suppose 3*f = 5*t - 1, 15 = 3*t + 4*f - f. Suppose -4*w - t*a + 7*a = 13, -13 = -w - 2*a. Solve 6 = -3*r - w for r.
-3
Suppose -23 = -5*w - a, 6*w + 4*a - 16 = 5*w. Solve w*x = -x + 10 for x.
2
Suppose -t = -0*t. Solve 4*p + t*p + 4 = 0 for p.
-1
Suppose 0 = 3*w - w. Suppose 5*t = 5*v + 2*t + 3, w = -4*v - 5*t + 5. Solve -4*j + v*j = 4 for j.
-1
Let q = 20 + -16. Solve 3*d = q*d - 1 for d.
1
Let b(d) = -2*d - 1. Let w be b(-2). Let v be 5/15 + 2/w. Solve 5*m + 24 = -v for m.
-5
Let g(p) = p + 11. Let n be g(-9). Let r be (-18)/(-4) - (-1)/2. Solve -n*l - r = 5 for l.
-5
Let c = -1 + 1. Let u = -11 - -11. Suppose 4*i - i - 12 = u. Solve -n - 5 + i = c for n.
-1
Let z(d) = -d**3 + 4*d**2 + 2*d + 5. Let f be z(4). Suppose -h = 5*v + f, -3*h + 4 = 3*v + 7. Solve 0 = -5*c + h - 27 for c.
-5
Let a(m) = -m**2 - 3. Let g be a(0). Let y be g/(-6) - 14/(-4). Suppose -p + 19 = 3*c, 0*p - 14 = -2*p + 2*c. Solve y*t = 2*t + p for t.
5
Let k = 18 - 11. Let p = k - 5. Solve p*t = -4 + 2 for t.
-1
Let w be 4*3/(-15) + (-8)/(-10). Solve 0 = 7*m - w*m for m.
0
Let p be 46/((-4)/6*-3). Let z = p - 23. Solve 1 = f - z for f.
1
Suppose -3*n = -7*n + 40. Solve n = s - 3*s for s.
-5
Let z(g) = g + 9. Let h be z(-4). Suppose -h*w + 3 = -7. Solve w + 1 = j for j.
3
Let l(p) = -p**3 - 3*p**2. Let d(k) = k + 2. Let x be d(2). Suppose 0 = -q + x*q + 9. Let i be l(q). Solve i = -z + 2*z + 3 for z.
-3
Suppose 5*r + 11 = 3*g - 0*g, -7 = -g + 5*r. Let t(x) = -2 - 2 + 8*x**2 + 6 - 1. Let w be t(-1). Solve m = -g*m - w for m.
-3
Suppose 9*i + 6 = 12*i. Solve 0 = q - 3 - i for q.
5
Let z be 171/15 + (-2)/5. Suppose -3*w - 3*f + 4*f = -z, -5*w - 4*f = 10. Suppose 0 = 2*n - 5*c - 21, 0*n + w*c = 2*n - 12. Solve -4*l = -3*l - n for l.
3
Suppose -j + 25 = 4*j. Let b(l) = -l**2 + 6*l - 5. Let y be b(j). Solve y = -0*f + f + 4 for f.
-4
Let u = -59 + 84. Let r be (12/8)/((-2)/(-4)). Solve -r*h - u = 2*h for h.
-5
Let w be 0 + (0 + 8)/(-2). Let s(y) be the second derivative of -y**4/12 - y**3 - y**2 - 19*y. Let f be s(w). Solve -g = -f*g + 5 for g.
1
Let j(n) = -2*n + 40. Let f be j(18). Solve 0 = 3*t + t + f for t.
-1
Suppose -5*p - 9 = -4. Let l be (-11)/(-4) + p/(-4). Suppose -k + l*k = 4. Solve 3 = k*o - 7 for o.
5
Let a(f) = f**3 - 9*f**2 - 11*f - 14. Let h be a(10). Let x be ((-7)/(-14))/((-2)/h). Solve 3*c = -0*c + x for c.
2
Let f = -6 + 9. Let d(l) = l**3 - 5*l**2 + 3*l + 1. Let r be d(5). Solve -b = f*b - r for b.
4
Suppose -4*l + 8 = -3*l. Solve 0*v = -4*v - l for v.
-2
Let f(q) = 4*q - 8. Let i be f(-7). Let v be (-136)/i - 2/(-9). Solve -v*j - 11 = 9 for j.
-5
Let h be (-3)/1 - (-7 - -4). Solve d = 4 - h for d.
4
Suppose 3*i = i. Let g = 3 - i. Solve g*u + 10 = 5*u for u.
5
Suppose 5*k - 65 = -0*k. Suppose 31 + 9 = 5*b + 3*l, b = -2*l + 15. Solve 12 = -b*w - k for w.
-5
Suppose 0 = 2*t + 33 - 49. Solve 0 = 2*b - t for b.
4
Suppose 0 = u + 2*u - 9. Suppose -u*y + y = d - 14, -8 = -4*d + 4*y. Solve x + d = 3*x for x.
3
Let d be (0*(-4)/24)/(-4). Solve -2*h + 0 - 2 = d for h.
-1
Suppose 4*y = -4*q + 16, -y - 3*q + 4*q = 0. Solve 0 = -5*a - 12 + y for a.
-2
Suppose -2*w - 2*c = w - 6, 0 = -5*w - 4*c + 8. Solve -w = 4*n - 16 for n.
3
Let k be -3*(64/(-12) - 3). Let v = -5 - 5. Let c be (-15)/k - 26/v. Solve -c*s = s for s.
0
Let h(l) = -l**3 - 3*l**2 + 2*l - 5. Let s be h(-4). Solve 1 + 2 = s*b for b.
1
Let s = -15 + 17. Let c = 7 - s. Solve 2*a + 1 = c for a.
2
Let a(t) be the first derivative of -t**3/3 - 4*t**2 - 3*t - 3. Let o be a(-6). Let x = 13 - o. Solve x*w - w = -3 for w.
-1
Let u = 49 + -29. Suppose -2*v = 6*d - d - 25, -3 = -d. Solve u = -v*x - 0*x for x.
-4
Let n be 0 + 15/(0 + 3). Suppose 2 - n = w. Let t = w - -3. Solve t = x + 2*x for x.
0
Let h(d) = d. Let w be h(3). Suppose -w*t - 19 = -f, 3*t = 2*f - 0*t - 35. Solve 0 = 5*o + 6 - f for o.
2
Let j be (10 - 10)/(0/3 - -1). Suppose 0 = 3*p + p. Solve j*l + l - 1 = p for l.
1
Let x = 0 + 3. Let l be ((-1 - -3)/1)/(252/1134). Suppose k = 4*k. Solve x*q + k = -l for q.
-3
Let n = 17 - -11. Suppose -4*s + h = -17 - 12, n = 5*s - 4*h. Solve -2*a - s + 2 = 0 for a.
-3
Suppose -4*q = i - 12, q + 7*i - 3 = 11*i. Solve 0 = -q*p + 15 for p.
5
Let i be 2/(-8) - 21/12. Let s = 11 - 6. Let y = i + s. Solve 0 = y*o + 2 + 4 for o.
-2
Let v be -5 - (5 - (-10)/(-1)). Solve -l + 0 - 1 = v for l.
-1
Let k = 19 + -9. Suppose -1 = 5*s + 3*a - 61, -k = -2*a. Suppose 1 = -2*h + s. Solve -h*f + f = 6 for f.
-2
Suppose -3*t = -0*t - 6. Let q be t*2/4*0. Solve -c - c + 8 = q for c.
4
Suppose 2*n - n - 1 = 0. Suppose 4 - n = 3*h, -4*h + 7 = b. Solve -5*k = -4*k - b for k.
3
Let r be (-4)/8 + 2/4. Let m be (-3)/(6/4 - r). Let h = 0 - m. Solve 0 = -0*w - h*w - 6 for w.
-3
Suppose -4*y - y = -15. Solve -y*l = -0*l + 15 for l.
-5
Suppose 3*k - 3*a + 5 + 4 = 0, 2*k - 5*a = -21. Solve 0 = -d - k*d - 3 for d.
-1
Let w(k) = -k. Let v(c) be the third derivative of c**5