derivative of j**2/2 + j - 1. Let l be p(6). Suppose 2*z = r + l*z - 17, -12 = -4*z. Solve -r*g = -5*g - 9 for g.
-3
Let p(l) = -l**3 - 3*l**2 - 2*l + 6. Let x be p(-4). Let s = x + -27. Solve -6 = -s*y + 6 for y.
4
Let m(x) = -x**3 - 19*x**2 - 17*x + 22. Let f = -50 - -32. Let l be m(f). Solve -l*t + 6*t = -4 for t.
-2
Suppose 5*c - 65 = 5*u, -2*u + 0*u - 56 = -5*c. Suppose 3*d = c + 26. Solve 2*h + 2*h + d = 0 for h.
-3
Let u(y) = y**2 + 6*y + 2. Let r be u(-6). Let c = -9 - -15. Solve 4*t - r*t - c = 0 for t.
3
Let a(t) = 4*t**3 + 0*t**2 + 2*t - 5*t**3 - 3*t**2 - 5. Let p be a(-4). Solve -p + 18 = -3*v for v.
-5
Let c(h) = -h**2 - h + 1. Let u be c(-1). Let n = 2 + u. Solve -y + n = 1 for y.
2
Let d be (1 + 0)*(1 - -5). Suppose 0 = 5*w - 3*n - d, -7*n + 3*n = -4*w. Let b(s) = s + 7. Let v be b(-6). Solve -v - 5 = w*u for u.
-2
Let v(o) = -2*o - 1. Let l be v(-3). Suppose 0 = 5*b + h - 85, l*b + 0*h - 2*h - 100 = 0. Solve -5*d - 2 = b for d.
-4
Let l(c) = -c**3 - 3*c**2 - 7*c - 5. Let d(v) = v**3 + 3*v**2 + 8*v + 6. Let a(k) = -5*d(k) - 6*l(k). Let f be a(-2). Solve h = -f*h for h.
0
Let v(j) = -j**2 + 9*j - 3. Suppose 4*l + 7*p - 4*p - 47 = 0, 0 = -5*l + 5*p + 15. Let g be v(l). Solve 0 = -g*f + f + 4 for f.
1
Let y = -10 + 13. Solve -r = y*r for r.
0
Let r be (-6)/9*21/(-2). Suppose r = -2*w + 19. Let b = -6 + w. Solve n + 2 - 5 = b for n.
3
Suppose -3*v - 173 = 2*l, 2*v + 17 = 4*l - 93. Let r be (v + 7)*(-2)/4. Solve -2*t = 3*t + r for t.
-5
Let s be 7/(28/12) + -1. Let n(k) = k + 2. Let z be n(s). Solve 0 = -0*w + z*w + 16 for w.
-4
Suppose -16 = -l - 2*d, -l = 2*l + 3*d - 33. Let v(a) = l - a**3 - 2*a - 2*a - 6*a**2 + 5*a. Let f be v(-6). Solve f*k - 2 = -k for k.
2
Suppose 5*c + 25 = -5*l, -4*l + 2*c + 10 = -0*l. Suppose l = -4*m - m. Solve m = -j + 2 for j.
2
Let m(u) = -u**3 + 11*u**2 - 11*u + 15. Let a be m(10). Suppose 1 = 3*w - a*y - 9, 3*w + y + 2 = 0. Solve 4*g + 20 = -w*g for g.
-5
Let p = -9 - -14. Solve 4*b - p*b = -2 for b.
2
Suppose q - 6 = -2*q. Let g be q/8*-2*-20. Let k = g + -8. Solve 4*w - 2*w = -k for w.
-1
Suppose -4*k - 13 = 5*v, -5*k + 5 = v + v. Let d be (-2)/(1 + -5 + 3). Solve -4 - d = k*o for o.
-2
Suppose 3*l + 22 = 2*i, 4*i + 0*i + l = 16. Let a = -36 - -38. Solve -3 = -a*p + i*p for p.
-1
Suppose 2*s = 1 + 7. Solve 6*y + s = 2*y for y.
-1
Let v(w) = 0 + 10 - 46*w**2 + 45*w**2 - 6*w. Let u be v(-7). Solve 0 = j + 1 + u for j.
-4
Suppose 2*u - x = -3 + 1, -5*u - 5*x + 10 = 0. Solve 4*c = -16 - u for c.
-4
Let k(j) = j**3 - 6*j**2 - j + 6. Let f be k(6). Let q be 4/(-10) - (-4)/10. Solve q = 4*b - f*b for b.
0
Suppose -5*n + 6 = -2*n. Suppose -4*k = 3*m + 7, n*k = -3*m + 1 - 0. Solve -m*c = -c - 10 for c.
5
Let c = 4 + 0. Let z be c - (-2 + 1)*-2. Solve -4 = -z*p + 4 for p.
4
Let j(p) = p**3 - 6*p**2 + 6*p - 2. Let f be j(5). Solve 0 = f*x - 2 - 13 for x.
5
Let k(c) = c**3 + c**2 - c - 1. Let n be k(-1). Let d be n - (-2 - 32/4). Solve 8*t - d = 3*t for t.
2
Let v(g) = -2 + 5 + g + 2. Let w be v(0). Suppose -w*b + 2*b + 12 = 0. Solve b = f - 0*f for f.
4
Suppose -2 - 1 = -b. Suppose -b*z + 5*o = -23, 0 = 4*z + o + o - 22. Solve z*n + 4 = 2*n for n.
-1
Let b = -6 + 13. Suppose b = 3*m - 5. Let k(n) = n**3 - 3*n**2 + 2*n. Let h be k(3). Solve 2 = -m*x - h for x.
-2
Suppose 0*w = w - 6. Let q = w + -2. Suppose q*s - 7 = 13. Solve u = s*u + 8 for u.
-2
Let y be (5 - 2)/3*8. Suppose s - 5*t = -7 - y, 0 = 4*s - 2*t + 6. Solve s = -3*x - 3 - 9 for x.
-4
Let m be (12/10)/(6/75). Let f = m - -1. Solve 0*w - 4*w = f for w.
-4
Let a(k) = -k**2 + 4. Suppose -4*q = -2*q. Let f be a(q). Suppose -f*z + 25 = 5. Solve -z*w = 9 + 1 for w.
-2
Let n(k) = -k**3 - 5*k**2 - 6*k + 1. Let x be n(-2). Solve 0 = m + x + 1 for m.
-2
Suppose 2*u - 6*u = -8. Suppose -4 = -2*p, -2*p - 17 = -n + u*p. Let v be -8 + 11 + 2 + 0. Solve -v*z = -0*z + n for z.
-5
Let g = 89 - 48. Suppose -4*o + 5*t + g = 0, 7*o - 25 = 2*o + t. Solve 0 = -5*k + o*k - 4 for k.
-4
Suppose 2*p = -3*p - 5. Let c = p - -1. Suppose c = -3*u - 5*j + 37, -1 = u - 2*j + 5. Solve -3*o + o = -u for o.
2
Suppose -3 = -0*n + n + f, n - 5*f - 3 = 0. Let z be 1/5 - n/(-10). Solve -d - 1 - 2 = z for d.
-3
Suppose 2*s - 2*o = -4, 2*s - 3*s - 3*o + 14 = 0. Solve 2*m - 3*m = s for m.
-2
Suppose 0 = -2*r - 5*a - 19, 6*r - r - 4*a - 35 = 0. Solve -r*l + 0 = -9 for l.
3
Let n be (0 - -1)/(1/5). Let z(g) be the first derivative of -g**4/4 + 4*g**3/3 + 3*g**2 - 5*g + 2. Let p be z(n). Solve 2*o - 1 - 7 = p for o.
4
Suppose 0*i - 3*i = 3*q, 18 = 5*i - 4*q. Solve -20 = i*r - 6*r for r.
5
Suppose -a + 1 = -2*y, 2*a = 4*y - 6*y + 14. Let c be 2 - (1 + (-9)/3). Let t = 4 - c. Solve -y*p - 1 + 7 = t for p.
3
Suppose 2 = -5*d + 7, -5*d + 470 = 5*c. Suppose -5*p + b = -0*p - c, -3*b = -5*p + 99. Suppose -2*j + 6 = j, 3*u - p = 3*j. Solve -3*q = q - u for q.
2
Suppose 21 = 3*s - 3. Let b be s/(-6)*(-12)/8. Suppose 0 = 2*d + b*d - 3*g - 6, 0 = -5*d - 5*g + 25. Solve -d = 3*i + 3 for i.
-2
Let r be 3/((-4 + 10)/12). Solve -r = -5*p + 3*p for p.
3
Suppose -2*s - 16 = 6*m - m, -16 = 4*m. Suppose s*r + r = -30. Let v = r - -13. Solve g = -v*g + 20 for g.
5
Let n = 2 + 0. Suppose -32*t = -30*t - 4. Solve -n*s + 20 = t*s for s.
5
Let q be (0*(-2)/6)/(-1). Suppose h - 5*h = 0, q = -3*k + h + 9. Suppose 0 = 2*c + 2*z + k*z - 42, 0 = 5*z. Solve 1 = 4*j + c for j.
-5
Suppose -2*z - 39 = -5*z - 4*p, 2*z - 6 = 4*p. Solve 3*j = -z - 0 for j.
-3
Let t(d) = -d**3 + 5*d**2 + 7*d - 3. Let w be t(6). Suppose -w*z = 17 + 7. Let k(p) = p**3 + 8*p**2 - p - 6. Let q be k(z). Solve -2 = -q*f - 6 for f.
-2
Let p(c) = c**3 + 3*c**2 - 2*c - 4. Suppose 0*a - 2*d = 2*a, a + 2*d - 3 = 0. Let v be p(a). Solve -v*u = -u for u.
0
Let b(p) = -p**3 + 2*p**2 + p. Suppose i + 4 = 3. Let c be b(i). Let z be 2 + (-1 - -2 - 1). Solve 8 = z*m + c*m for m.
2
Suppose 3*h + 6 + 15 = -3*j, -j = -4*h - 3. Let q be 1/(-2)*h/1. Solve m + q + 0 = 0 for m.
-1
Let x(d) = -d + 15. Let q be x(0). Suppose -11 + 29 = 4*r - 2*b, 4*r + b = q. Suppose r*s + w = 25, s = w + w - 5. Solve 5*k - s = 20 for k.
5
Let l = -1 + 1. Suppose -2*h - 3*o = 14 - 1, 0 = -5*h - 2*o - 5. Solve -y - h + 3 = l for y.
2
Let w(n) = n**3 - 10*n**2 - 12*n + 11. Let t be w(11). Let k be ((t/(-1))/1)/2. Solve k = -2*y + 13 - 5 for y.
4
Suppose -5*h - 17 = j + 6, 0 = -3*h - 15. Solve -s - j*s + 3 = 0 for s.
1
Let b(y) = y + 4. Let m be b(-2). Suppose 4 - m = 4*c - 2*x, 3*x + 3 = 4*c. Let a = -2 + 4. Solve 0*f + f + a = c for f.
-2
Let p = -32 + 39. Solve -3*h = -p*h + 4 for h.
1
Suppose 0 = -3*q - 3*h - h - 17, q - 3*h = 16. Suppose y + 17 = p, -3*y = 5 + q. Solve 3*k + 2*k - p = 0 for k.
3
Let p = -1 + 5. Solve 0*q = q - p for q.
4
Let r = -4 - -4. Let m be 1 - 1 - -4 - r. Solve 0 = 2*n + 2*n - m for n.
1
Suppose -27 = -3*b - 4*m - 12, -4*b + 5*m + 20 = 0. Let u be ((-1)/(-2))/((-2)/(-8)). Solve -u = 3*f - b for f.
1
Let i(b) = -b**3 + b**2 - b + 2. Let c be i(0). Suppose 0 = -c*t - 4*k + 16, 5*t + k + 15 - 37 = 0. Suppose -t*j = -2*j. Solve 0 = -2*o - j*o for o.
0
Let y(u) = -u**2 + 11*u - 15. Let v be y(9). Solve -v*x - 15 = -0*x for x.
-5
Let x(q) = -q**2 + 2*q. Let k be x(2). Solve -3*v + k*v - 6 = 0 for v.
-2
Suppose 14 = -3*x - 10. Let h = x - -12. Solve -h*o + 3 + 5 = 0 for o.
2
Let k(d) = -d**3 - 13*d**2 + 14*d + 4. Let p be k(-14). Solve 3 = -5*z + p*z for z.
-3
Let c be (6/18)/((-1)/9). Let z = c - -5. Solve -j = z*j - 9 for j.
3
Suppose c + 0*c = 0. Suppose 3*n = 9*g - 12*g + 9, -11 = -4*g - 5*n. Solve -3*w + g*w = c for w.
0
Let h = -33 - -35. Solve -3*b + h = -4 for b.
2
Let b = 9 - 13. Let c = b - -11. Solve 2 - c = -p for p.
5
Suppose l - 5*p = 20, 0*p - 3*p = -3*l + 12. Solve l = -z - 2*z - 15 for z.
-5
Suppose -179 + 44 = 5*q. Let i(z) = -z**3 - 4*z**2 - 2*z + 4. Let m be i(-5). Let d = q + m. Solve -2*o + d = 2*o for o.
3
Let g be (-24)/(2*-1) + -1. Suppose 0 = 5*k - 27 + 7. Suppose n + c - 1 = 0, -k*c = 5*n - 5*c - 29. Solve n*w - 1 = -g for w.
-2
Let t be 8/(-3) - 2/(-3). Let l(y) = 8*y + 3. Let p be l(t). Let q = -3 - p. Solve -2*i - q = -0*i for i.
-5
Let g be 32/(-24)*6/4*-1. Solve i + 1 = g*i for i.
1
Let s = -64 - -110. Suppose -3*c = -c - s. Suppose -2*n + 4*n - c = 5*q, -3*q = n + 5. Solve n = -3*f - f for f.
-1
Let l be (-22)/(-6) + 2/(-3). Let o 