et u = -30 + 30. Let q = -1 + 1. Solve -4*n + u*n + 12 = q for n.
3
Let h be ((-21)/6)/(1/(-6)). Solve -4*x + h - 5 = 0 for x.
4
Suppose 0 = -5*j - 2*q + 4, -j - 2*j - 4*q = 6. Solve 6*i = j*i for i.
0
Let s = 32 + -29. Solve -2*q = s*q - 25 for q.
5
Let y be -3 - (-2 + -3) - 2. Suppose 0 = l - 0*l + 5*m - 10, -3*l - 2*m + 17 = y. Solve -2 = l*x - 17 for x.
3
Let i = 3 - 3. Suppose 2*u = -0*u + 30. Solve 5*s = -i*s - u for s.
-3
Suppose -2*i - 6 = -3*l, -i + 5*l = 2*i + 10. Suppose 5*x = -4*n + 24, -n = -2*n - 2*x + 6. Suppose -4*v = -n*v + 4. Solve -g - 4 + v = i for g.
-2
Let i(c) = -c - 5. Let h be i(-10). Let g(o) = o**2 - 5*o. Let l be g(h). Solve m + 5 = -l*m for m.
-5
Suppose -2*m - 5 = -3*m. Solve m*f - 4 - 1 = 0 for f.
1
Suppose -61 - 35 = i + 3*a, -i - a = 92. Let l be (6/(-4))/(27/i). Solve 4 + l = 3*y for y.
3
Suppose -2*x + 24 = 4*u, -u - 7 = -3*x + 1. Let m(i) = i**2 + 15*i - 36. Let z be m(-18). Suppose x*n + 6 = z. Solve 6 = -q + n*q for q.
3
Let d = 28 - 20. Suppose -d = -4*n + 2*q, -5*n = 5*q - 3 - 22. Suppose 2*a = 0, -n*a + 7*a = -2*p. Solve s - 3*s + 2 = p for s.
1
Suppose 2*m + 26 = 4*m + 4*l, -4*l = -3*m + 9. Solve -2 = -r - m for r.
-5
Suppose w = 3*z - 4, -5*w - 3*z + 0*z + 16 = 0. Suppose 7*d - 2*d = 15. Solve 4 = d*o - w*o for o.
4
Let f(y) be the first derivative of y**4/6 - 2*y**3/3 + y**2 - 2*y + 2. Let v(k) be the first derivative of f(k). Let g be v(2). Solve -g*o + 0*o - 8 = 0 for o.
-4
Suppose -q = 4*u - 21, 21 = -3*u + 5*q + 8. Suppose 6*i - 12 = 4*i. Solve u*n - n - i = 0 for n.
2
Let s(j) = j + 16. Let r be s(-12). Let c = r - 0. Solve 10 = k + c*k for k.
2
Let d(y) = -y**2 + 7*y - 2. Let v be d(6). Solve a = -a - v for a.
-2
Let u be (-7)/((-126)/192) + 2/6. Solve 0 = -5*w + u - 36 for w.
-5
Let q = -13 - -16. Solve 0 = -q*s + 19 - 4 for s.
5
Let n(c) = -5*c**3 + c**2 - c - 2. Let k be n(-1). Solve 0 = k*r - 3*r - 2 for r.
1
Let u = 12 - 9. Solve 0*j + u = -3*j for j.
-1
Let z = 21 + -15. Let c = 6 - z. Suppose c = k + k. Solve k = -5*t - 30 + 5 for t.
-5
Let h = -5 - -10. Solve m + h = 6*m for m.
1
Let n(i) = i**3 - 9*i**2 + 6*i + 18. Let p be n(8). Solve 2*g + 10 = p for g.
-4
Let x be -3*2*6/(-9). Let b be ((-1)/3)/((-5)/15). Let p = x + b. Solve p*y + 0*y + 5 = 0 for y.
-1
Let q be ((-11)/(-22))/((-2)/(-20)). Solve 0 = -q*c - 0 - 10 for c.
-2
Let s(z) = -z**2 - 6*z - 5. Let j be s(-4). Suppose -2*w + j*w - 8 = 0. Solve w = -p + 3 for p.
-5
Let a(x) = -x**2 + 4*x - 3. Let r be a(1). Suppose -v = v + 5*f + 14, -11 = -5*v - f. Solve o + v = -r for o.
-3
Let u(w) = w**3 + w**2 - 2*w + 1. Let b be u(1). Let i be 2 + b - (0 + 3). Solve i = -3*k - 2*k for k.
0
Let i(n) = n**2 - n - 1. Suppose b + 27 = 4*b. Suppose 5*k + b = -1. Let d be i(k). Solve 0 = -7*v + 2*v - d for v.
-1
Let t(o) = o - 1. Let q be t(4). Suppose -3*d + 5*j = -38 + q, -3*j + 27 = 3*d. Suppose 2*f + 2 = d. Solve -4*i - 4 = f for i.
-2
Let p(i) = i - 2. Let r be p(5). Let w = 70 - 68. Solve -v - w*v = r for v.
-1
Suppose 0 = -3*y + p - 111, y + p = 3*p - 42. Let d = -24 - y. Solve -3 = -3*b + d for b.
5
Let l(t) = t**3 + 5*t**2 + 4*t + 1. Let f be l(-4). Let n be (f*4/4)/1. Let i be 2/6 + 10/6. Solve i*p - n = -9 for p.
-4
Suppose 0*c + 3 = c. Let l be (c/(-3) - -1)/2. Suppose 0 = -h - 5*q - 16, 3*h = -q + 1 + 7. Solve l = -5*x + 21 + h for x.
5
Let u(t) = -7*t - 6 + 0*t**2 - 2*t**2 + 2*t**2 + t**2. Let i be u(8). Let v be i/(1 + (-5)/6). Solve -3*s + v = s for s.
3
Let n(s) = s**3 + 8*s**2 - 8*s + 12. Suppose 2*c - 1 = q + 6*c, -12 = 2*q + 3*c. Let j be n(q). Solve -5 = -j*r + 2*r for r.
5
Let g = 0 + 2. Suppose 3*b - 23 = -g*c, -c + 7 = 2*c - b. Let a = 9 - c. Solve 0 = a*n - n - 4 for n.
1
Let w(z) = 3*z - 27. Let s be w(10). Solve -2*d - s = -d for d.
-3
Suppose 3*h + 0*x - 2 = -4*x, 0 = x + 4. Suppose -6 = 3*j - h*j. Solve 3*p - j = 10 for p.
4
Suppose -52 + 42 = -2*h. Solve 4*m = -h - 7 for m.
-3
Let h = -13 - -13. Suppose -g + h*g = -2. Solve g*v + 3 = -v for v.
-1
Let a = -1 - -11. Suppose -z + 0*z = 5*y + a, z - 5 = 0. Let c be 6/((-27)/(-6) + y). Solve 5*g - c = g for g.
1
Let x be 12/(-15)*15/(-2). Suppose -4*p - 56 = -3*c, -5*p - 70 = -x*c + c. Let m be (-52)/p + (-10)/(-35). Solve -h = h + m for h.
-2
Suppose -5*v = -0*v + 45. Let n = v + 15. Solve -n = -5*u + 2*u for u.
2
Suppose 6 = 2*f - 2. Let p(r) = -r**3 + 4*r**2 - r + 4. Let o be p(f). Solve o - 9 = -3*g for g.
3
Let s(l) be the first derivative of 3*l**2/2 + 1. Let j be s(4). Let c = -25 + 33. Solve j + c = 4*u for u.
5
Let s(v) = 4*v**2 - 5*v. Let x be s(2). Solve b - x = -b for b.
3
Suppose -4*g - 2*b = -12, 0 = g + g - 5*b + 18. Solve -2*i + g + 9 = 0 for i.
5
Suppose 0 = 4*o + 9 - 33. Let n = o + -6. Solve -3*q = -n*q + 9 for q.
-3
Let x(q) = -3*q - 28. Let m(v) = -5*v - 42. Let i(s) = 5*m(s) - 8*x(s). Let b be i(12). Solve -2 = -2*o + b for o.
2
Let j be 64/(-20) - 2/(-10). Let v be 0/(-5 - j) + 0. Solve v = -3*o - 12 for o.
-4
Suppose 3*c + 2*r + 7 = 3, -2*c + r + 9 = 0. Let x be 30/c - (8 + -8). Suppose 2*p - 8 = -2*p. Solve -d = p*d + x for d.
-5
Let w(h) = h**2 + h + 25. Let m be w(0). Solve g + m = -4*g for g.
-5
Suppose q = -q + 48. Suppose 3*g = q - 9. Solve -4*m = -g*m + 3 for m.
3
Let d(i) = 2*i**2 + 2*i + 3. Let m be d(-3). Solve 2*g = -g - m for g.
-5
Let h = -24 + 36. Solve 5*m - 8 - h = 0 for m.
4
Suppose 48*i - 43*i = 0. Solve i = t - 0*t - 5 for t.
5
Let q be (-1 - -3 - 1) + 2/1. Solve s = q*s for s.
0
Suppose 2*c - 9 = -3. Suppose 4*j = -4, -2*j + 6*j + 4 = -k. Solve -c*n = 6 - k for n.
-2
Let m(b) = b**2 - 10*b + 11. Let k be m(9). Suppose k*x - 1 = -w, x - 16 = -4*w - 3*x. Solve -2*s = 1 + w for s.
-4
Let z = 14 + -9. Let v = 0 - -8. Let l = v - z. Solve -4*h + l + 1 = 0 for h.
1
Let b(k) = k**3 + 4*k**2 + 4*k + 3. Let x be b(-2). Solve x*g + 0*g = -15 for g.
-5
Let s = -4 - 4. Let r(q) = q**3 + 8*q**2 + q + 8. Let c be r(s). Solve 4*g - 3*g + 1 = c for g.
-1
Let w(o) = -3*o - 12. Let j be w(-5). Solve a - 1 = j for a.
4
Let t = -2 + 3. Suppose -2*w = 4*r - 2, 2*r + 2 - t = w. Solve -w + 10 = -3*s for s.
-3
Suppose 7*t - 2*t = -r - 23, -3*r - 3*t = 9. Let j = r + -3. Let k be -2 + 2 - j*2. Solve 1 = a - k for a.
3
Let j be (69/(-92))/((-2)/16). Solve -10*q = -j*q - 12 for q.
3
Let w(o) = -o**2 + 3*o + 12. Let k be w(5). Solve -2*z + 12 - k = 0 for z.
5
Let c(f) = f**2 + 5*f + 6. Let m be c(-4). Let z be 2/(-5)*(0 + -15). Let a(o) = o**3 - 6*o**2 + o - 1. Let g be a(z). Solve l + m = g for l.
3
Suppose -2*f + i + 19 + 7 = 0, 5*i + 46 = 3*f. Solve -2*c = 2*c + f for c.
-3
Let r = -2 - -4. Let n = -90 - -91. Solve h + r = n for h.
-1
Suppose -t = 4*t - 25. Let a = t + -2. Suppose c + 34 = a*c. Solve -c = 3*d - 2 for d.
-5
Suppose 2 = -m + 8. Solve m*w + 5 = w for w.
-1
Suppose -5*a = -x - 12, a = -5*x - 3*a + 27. Suppose x*c + h + 4*h + 2 = 0, 4*h = -4*c. Let p = -2 - -9. Solve -2*k + p = c for k.
3
Suppose -3 = -6*v + 5*v. Solve 0 = u + v*u - 8 for u.
2
Let z(y) = y**2 - 6*y - 1. Let f be z(7). Let u be (-1 - 1)/(3/f). Let v = 4 + u. Solve -2*o - 2*o - 12 = v for o.
-3
Let p(c) = c**3 + 6*c**2. Let j be p(-6). Suppose 0 = 4*g - 12, -g + 1 = -4*x + 18. Suppose x*a = b - 10, -4*a + 9*a = 5*b - 30. Solve j = 4*d + d + b for d.
-1
Let w(a) = 4*a**3 - 6*a**2 - 2*a. Let s(y) = -7*y**3 + 11*y**2 + 3*y + 1. Let x(j) = -3*s(j) - 5*w(j). Let h be x(3). Solve h = -o - 4 for o.
-4
Let v(q) = -2*q - 5. Suppose -7 = 2*b - 2*i + 7, -2*b = -3*i + 16. Let z be v(b). Solve 4*a = -a + z for a.
1
Let z be ((-32)/(-12))/((-2)/(-9)). Suppose 0 = 3*p + 3*x - z - 12, -5*x = 4*p - 35. Let s be (5 - (4 - 2)) + -1. Solve p*o = -8 - s for o.
-2
Let b be (8/10)/((-12)/(-30)). Let k(p) = p**2 + 3*p - 1. Let c be k(b). Solve 0 = -v - 2*v - c for v.
-3
Let h = -42 - -45. Solve -9 - h = 4*t for t.
-3
Let y(w) = -w**2 - 5*w + 4. Let f be y(-6). Let n be 4/(f/(2/(-1))). Suppose -4*d = s - n, d - 1 + 0 = -5*s. Solve s + 1 = u for u.
1
Suppose 0 = -5*l + 2*l - 15. Let z = 10 + l. Suppose -z*q = -o - 10, 2*o - 4*q = 4*o - 50. Solve 5*s + o = -0*s for s.
-3
Suppose 6 - 1 = 5*a. Let d be -3*((-2)/3)/a. Solve d + 2 = -4*k for k.
-1
Let z = -11 + 13. Suppose -8 - z = -5*j. Solve 0*q - j*q - 2 = 0 for q.
-1
Let q be 4/6 + 35/15. Let i(z) = -z - z - z**3 - q*z**2 + 0 - 3 + 0*z**3. Let j 