e l = -4*n - 0 + 4 for n.
1
Suppose 0 = -4*d + 5*q + 11, 4*d - 2 - 13 = q. Suppose -5*i + 12 = -33. Let l = 12 - i. Solve -w + l*w = -d for w.
-2
Let j be 1/3 - 15/(-9). Let n be (4/16)/(2/24). Solve 0 = -n*h - j*h for h.
0
Let n(s) = -s**2 - 9*s - 6. Let x be n(-8). Solve 4*o = x*o for o.
0
Let q(v) = -v**3 + 6*v**2 - 3*v + 3. Let c be q(5). Let y = 7 + -5. Solve y*z + 5 = c for z.
4
Let a be (-3)/6 + 6/4. Suppose -2 = -u + a. Solve 0*t = -u*t - 15 for t.
-5
Let y be (4/6)/(4/30). Suppose 5*u - 30 = -y. Suppose 0 = -u*m - 15, 2*n + 2*m = -n + 3. Solve n*s + 4 + 8 = 0 for s.
-4
Let k(j) be the first derivative of -2*j + 2 + 1/2*j**2. Let v be k(4). Solve -10 = -0*y + v*y for y.
-5
Suppose 6*w - 27 = 3*w. Let c(r) = 3*r. Let q be c(w). Let g be 284/18 + 6/q. Solve 5*p = p + g for p.
4
Suppose 0 = -3*u + u + 4. Let v be u + 0 + (1 - 11). Let f = -3 - v. Solve f*z - 4*z = 4 for z.
4
Let v = 146 - 142. Solve d = -v*d for d.
0
Suppose 0 = -4*z + 2*f + 38, -3*z + f + 39 = 8. Suppose -l + z = 4. Let u = l - 8. Solve -5*v - 21 + 1 = u for v.
-4
Let j = -3 + 3. Suppose j = -2*v + 5*h + 16 + 14, v - h = 9. Let q = v + -5. Solve -w - w = q for w.
0
Let z(c) = -2*c**2 + 2*c + 1. Let l be z(-1). Let h be 10*(-3 - (-7 - l)). Solve 5*p + h = -10 for p.
-4
Suppose 5*s = 4 + 21. Let a be (18/1)/(2/s). Suppose -5*w + 0*w = -a. Solve w = 3*h + 24 for h.
-5
Suppose -2 = 5*b - 7. Suppose m + 4*k + 7 = 0, 3*m + 0*k - 9 = 3*k. Let h = b - m. Solve -4*p - 10 + 2 = h for p.
-2
Suppose 3*h - v - v = 12, -4*v = -2*h + 16. Solve h*b = -2*b for b.
0
Let v be (-2)/2 + (5 - -16)/7. Solve 0 = 5*n + 8 + v for n.
-2
Let d(q) = 6*q**3 - q. Suppose 3*u - 5 = 4*o - 3*o, -2*o - 6 = -4*u. Let s be d(o). Suppose 90 = 5*r - 0*r. Solve 7 = s*l - r for l.
5
Let z be 58/7 + 4/(-14). Suppose 7*n - z = 3*n. Suppose 0 = -5*v + 4 + 6. Solve n*u + v = 4 for u.
1
Suppose -5*y + 38 = -4*o, 4*y - 2*y - 11 = 3*o. Solve h = 6*h - y for h.
2
Suppose -2*y + 11 = -5*h + 4*h, y - h = 8. Solve 0 = 5*x - y - 2 for x.
1
Let t(a) = -2*a**3 - 5*a**2 - 5*a - 3. Let i be t(-3). Suppose -3*b = 4*u - i, -4*u - 2*b + 25 = -3*b. Solve -g - u = -4 for g.
-2
Let a = 3 + -1. Suppose l + 2*l = -a*q, l = -5*q - 13. Solve 0 + l = -2*k for k.
-1
Let z(f) = f + 18. Let y be z(-11). Solve y*v - 2*v = 10 for v.
2
Suppose 3*z + 2*i = -i, -4*z + 3*i = 0. Let r = z + 2. Solve -d = -r*d for d.
0
Suppose 2*b = -3*x - 3, 1 - 5 = 4*x. Suppose -4*m + b*m + 8 = 0. Let f be (-1)/(5/m - 3). Solve -o = f*o + 3 for o.
-1
Let m(h) = h - 2*h**2 - h**3 + 6*h**3 - h**3. Let l be m(1). Suppose 2*p + l - 7 = 0. Solve -f + p = -2 for f.
4
Let y be 1 - (-81)/12 - (-4)/16. Solve m + y = -3*m for m.
-2
Let d = 41 + -29. Suppose y - d = -9. Solve y*l + 15 = 3 for l.
-4
Let p(s) = s**3 - 4*s**2 - s + 6. Let d be p(4). Solve 0 = d*x - 0*x + 6 for x.
-3
Suppose 2*r = 6*r. Solve r = -2*d - 3*d for d.
0
Let y be 8/(-12) + 10/6. Solve 0*n - y = -n for n.
1
Suppose 2 = r + 3*i - 10, r + 12 = 5*i. Solve r*q = -10 - 2 for q.
-4
Let b be (-12)/(-7) + (-14)/(-49). Solve 0 = -3*a + b*a - 2 for a.
-2
Let z(b) = -b**2 + 3*b + 18. Let x be z(6). Solve -1 = -v - x for v.
1
Let q(f) = 2 - f**3 + 1 - f**2 + 17. Let z = 2 + -2. Let s be q(z). Solve -5*m = -m - s for m.
5
Let s(g) = 4*g + 15. Let a be s(-6). Let o = -8 - a. Solve o = -b + 2 for b.
1
Let g be 3 + (-3)/(-6)*2. Suppose -g*y = -0*y. Solve -h + y = -3 for h.
3
Let s(y) = -y**3 + 10*y**2 - 2*y + 23. Let g be s(10). Solve g*u - 5 = -2*u for u.
1
Let f be (-4)/10 + 43/(-5). Let d be (-6)/(-9)*f/(-6). Solve -d = -3*w - 4 for w.
-1
Let s = 8 + -3. Suppose 5*t = -5*f - 10, -2*f + t + 16 - s = 0. Solve f*o = -0*o + 6 for o.
2
Let c(x) = -x**3 - 6*x**2 + x + 4. Let q be c(-6). Let h be 1/(-2) - (-1)/q. Let r be -2*(-6)/h*-1. Solve y + 3*y - r = 0 for y.
3
Let d = 31 + -18. Let s(q) be the first derivative of q**2/2 - 3*q - 3. Let o be s(7). Solve -d = -o*j - 1 for j.
3
Let f = -5 + 9. Suppose 0 = -5*q + f*k - 3*k + 19, -3*q = -2*k - 17. Solve -1 = 4*l + q for l.
-1
Let p = 20 - 12. Let d be 6/(-4) - (-344)/16. Solve p*r = 3*r + d for r.
4
Let g(y) be the first derivative of y**4/4 + 11*y**3/3 - 4*y - 1. Let i be g(-11). Let x be i - -3 - (0 + -5). Solve -x*k - 10 = -2 for k.
-2
Suppose -2*n - 14 = -2*h - 3*h, -4*n + 2*h = -4. Solve -j + n = 2*j for j.
1
Let a be (0 + -6)*26/6. Let d = -17 - a. Solve -4*n + d = -7*n for n.
-3
Let b(x) = 2*x. Let i be b(-6). Let p be 0 + 5 + i/4. Solve 4*l - 2*l = -p for l.
-1
Suppose -10 = 5*o + 4*r, 0*o - o + 5*r = -27. Let a be (10 + -8)/(2/(-3)). Let f be o/((-21)/(-6) + a). Solve -v + f = -2*v for v.
-4
Suppose 0 = 3*z + 3 + 9. Let a = 5 + z. Let o(v) = -2*v - 6. Let f be o(-5). Solve -5*n = -f - a for n.
1
Let k(f) = -f**3 - 7*f**2 - 7*f - 7. Let v be k(-6). Let i be v/4 - (-104)/32. Solve 1 = y - i for y.
4
Suppose -4*m + 10 = -2. Let c(l) = -2*l - 7. Let u be c(-6). Suppose 3*z - 1 - u = 0. Solve 1 + z = -m*h for h.
-1
Let b = 1 + 1. Suppose -b*a = p - 2*p + 1, -8 = -p - 5*a. Let t(o) = -o**3 - 4*o**2 - o - 5. Let n be t(-5). Solve -p*w - n = 2*w for w.
-5
Let z be 2 + (12/2 - 4). Suppose 0 = 2*t - z*t. Solve 0 = -4*a - 12 - t for a.
-3
Let r(x) = -x**2 + 6*x - 5. Let g be r(5). Suppose -2*l + g*f = -2*f - 6, 5*l - 2*f = 6. Suppose 4*p + 0*p = l. Solve c - 2*c - 4 = p for c.
-4
Let z be 3/((-3)/2) - -3. Suppose 15 = d - 5*l, -5*d = l - z + 4. Suppose -k - 2*k = d. Solve k = v - 5*v for v.
0
Let j(y) = 3*y**3 - 2*y**2 + y. Let a be j(1). Let d be (a/3)/((-2)/6). Let n = d + 4. Solve 0 = n*o - 1 - 1 for o.
1
Let i = -6 + 7. Let p(y) = y + y - y - i - 4. Let b be p(10). Solve 30 - 5 = b*a for a.
5
Let x(a) = a + 0*a + 8*a**3 + 2*a**2 - a - a. Let b be x(1). Solve -5*m - b = -2*m for m.
-3
Let b = -1 + 4. Let y be (3/b)/(4/16). Solve 0 = 2*l - y*l - 8 for l.
-4
Let h be (-18)/(-8) - (0 + -3)/(-12). Solve h*j + 2 = -6 for j.
-4
Let r = 0 + 4. Solve 0*k - r*k = 0 for k.
0
Suppose 3*i = 0, -5*w + 3*i - 14 - 26 = 0. Let q(d) = d**3 + 5*d**2 - 5*d - 15. Let b be q(-5). Let s = b + w. Solve 0 = -c + 3*c + s for c.
-1
Let c(b) be the first derivative of -b**3/3 + 3*b**2 + 7*b - 1. Let r be c(7). Let q = 1 - 1. Solve r = -q*g - g for g.
0
Let b be (0/3)/(-2 + 0). Solve b*g - 3 = -g for g.
3
Let k be 1 - (4 + -3) - 0. Suppose -b + 5 = -k. Solve -b*y = 21 - 1 for y.
-4
Let v(g) = -7*g - 11 + 1 + 4*g. Let o be v(-10). Solve -5*p = -0*p + o for p.
-4
Suppose -3 = -0*a + 3*a + 3*f, 2 = -2*f. Suppose 0*d + 3*d - 9 = a. Solve -d = -4*q + q for q.
1
Let h = -60 + 65. Solve -5*k - 30 + h = 0 for k.
-5
Let d(p) = -2*p - 4. Let o be d(-4). Solve -4*v - o = -20 for v.
4
Suppose 0 = 3*j + 13 - 64. Suppose 3*g = -5 + j. Let f = 6 - 4. Solve 0 = f*y + g for y.
-2
Let h be -3 - -6 - 3 - -2. Suppose -4*w = 0, -5*m = h*w - 12 - 13. Let u(r) = -r + 1. Let t be u(1). Solve t = -0*q - q - m for q.
-5
Suppose 2*u + 21 = -u. Let w be -1 - (u - (-2 - -1)). Solve 3*i = w*i + 8 for i.
-4
Let z(f) = -f**2 + 19. Let j be z(0). Let u = 12 - j. Let y(g) = -g**3 - 5*g**2 + 10*g - 3. Let x be y(u). Solve -2*w + x = 3*w for w.
5
Let k be (-5)/(130/(-4)) - (-378)/78. Let y(g) = 4*g**2 + 3*g - 3. Let j be y(-3). Suppose -76 = -2*h - 3*h + a, 0 = -h - 2*a + j. Solve k*s + h = s for s.
-4
Let t(v) = v**3 + 4*v**2 - v - 2. Let f be (-2)/(5/2 - 2). Let s be t(f). Suppose -n + 6 + 0 = s*g, -2*g + 4*n = 4. Solve r + 1 = -g for r.
-3
Suppose 6 - 18 = -3*y. Let c be (y/(-6))/(3/(-45)). Suppose a - 5*u = -c, -2*u - 3 = -3*a + 2*u. Solve -o = -a*o for o.
0
Suppose i + 2*q + 1 - 2 = 0, 0 = -4*i + 3*q + 15. Solve k = -i*k for k.
0
Let s be 33/44 + 6/(-8). Solve s + 1 = x for x.
1
Let z(i) = i**2 + 6. Let o be -1 - (-2 - (1 - 2)). Let q be z(o). Solve q*g = g for g.
0
Let r(n) = -n**2 - 10*n - 24. Let o be r(-5). Solve -5*u = o + 24 for u.
-5
Suppose 3*k - 2 - 4 = 0. Suppose 8 = 4*m - 4*j, k*j - 1 + 9 = 3*m. Solve 0 = -m*d + d for d.
0
Let m(w) = -w**3 + w**2 + 3*w + 2. Let z be m(-2). Let l be 10/4*z/10. Suppose 39 = 4*q - 5*g, 2*g + 18 = l*q - 0*g. Solve -2*p - q + 0 = 0 for p.
-3
Let s = -3 - -4. Let v be -2*(9/6 + -3). Suppose k = 4*k - 5*n + 9, v*k - 2*n = 0. Solve -k*l = s - 9 for l.
4
Suppose -2*a + 0 = -8. Let b(j) = 4*j + 1. Let c(n) = 5*n. Let x(y) = -6*b(y) + 5*c(y). Let q be x(8). Solve a = z - q*z for z.
-4
Let 