. Let z be (-32)/c - (-4)/(-14). Solve -z = -4*o + 6 for o.
2
Let h = -9 + 11. Solve h*z = z + 4 for z.
4
Suppose 5*v - 42 = -17. Solve v*r - 4 = -19 for r.
-3
Let m be -31 - -8 - (1 + 1). Let g = m - -37. Solve -5*b + g - 2 = 0 for b.
2
Let n(o) = o**2 + 4*o - 6. Let x be n(-5). Let q = x - 0. Let i be (-8)/4*(q - 0). Solve -i*l + 0 = 8 for l.
-4
Let i(l) be the third derivative of l**6/720 + l**4/24 - 3*l**2. Let x(z) be the second derivative of i(z). Let m be x(4). Solve 3*s + m = -s for s.
-1
Let v(a) = a + 7. Let k be v(-7). Solve 2*o - o + 5 = k for o.
-5
Let r be (-45)/(-12) + 2/8. Let f(i) = i**2 - 3*i + 2. Let u be f(5). Let t = 8 + -6. Solve t*g + u = r for g.
-4
Suppose 0 = 3*u - 0*m + 2*m - 2, 4*m - 4 = -5*u. Solve u = 3*f + 14 + 1 for f.
-5
Let r = 44 - 66. Let o = -22 - r. Solve o = -4*h - 2 - 10 for h.
-3
Let x be (-3 + 3)/(0 - 2). Solve 2*b = -x*b - 8 for b.
-4
Let n(l) = -l**3 - 2*l**2 - l - 1. Let t(g) = g - 2. Let a be t(0). Let p be n(a). Let j(c) = c - 1. Let v be j(p). Solve r = -v*r for r.
0
Suppose 0 = -15*p + 2 + 43. Solve -p*w - 10 = 2*w for w.
-2
Suppose 3*c + 0*c + 5*k = 5, 4*c - 14 = -3*k. Suppose -8 = c*b - b, -8 = v + 5*b. Solve -4*m + v = 10 for m.
-2
Let p(s) = s**3 - s**2 + s + 10. Let k be p(0). Let w = k + 0. Let u = -85 + 120. Solve u = -5*x + w for x.
-5
Let u(l) = 4*l. Let a be u(-2). Let d(p) = -p + 3. Let c be d(a). Suppose -3*m + c = 4*x, -4 + 31 = 5*m - 2*x. Solve -9*q = -m*q for q.
0
Let z be (44 - 18)*1*-1. Let d = 40 + z. Solve -5*o = -d - 6 for o.
4
Suppose -12 = -x + 4*a, 25*a = 3*x + 20*a - 36. Let r be 4 - (0 - 4/2). Let k be ((-6)/1)/(r/(-3)). Solve k*q - x = -q for q.
3
Suppose -3*z + 0*z = 6. Let m be z/10 - 16/(-5). Let i be m - (-3)/6*2. Solve 6 = -j + i*j for j.
2
Suppose 3*d + r = 9, -32 = 5*d - 10*d + 4*r. Suppose -q - 19 = -d*u - 2*q, 4*u + 1 = -5*q. Solve 9 = u*w - 3*w for w.
3
Let b be (-1)/((14/12)/7). Let i(c) = c**3 + 6*c**2 - c + 4. Let g be i(b). Let t = g + -6. Solve 0 = 3*l - l + t for l.
-2
Suppose -q = 3*q - 12. Let a = 89 + -89. Solve k + a*k = -q for k.
-3
Let n be (1 + 3/(-6))*-2. Let l be 1*(n - (5 - -2)). Let d = l + 12. Solve 0 = -o + d*o - 15 for o.
5
Let x = -87 + 91. Solve o - 3*o = x for o.
-2
Suppose 0 = -4*s - 226 + 226. Solve -12 = -s*j - 3*j for j.
4
Let o(s) = -s + 1. Let n(k) = -5*k + 5. Let h(j) = n(j) - 4*o(j). Suppose -a - p = 1, 2*a = -3*p - 0*p. Let f be h(a). Solve -f*q + 6 - 2 = 0 for q.
1
Let y be (2 - 2 - 3) + -3. Let o(i) = i**3 - 3*i**2 + 4*i - 4. Let v be o(3). Let u = y + v. Solve -u*t + 2 = -3*t for t.
-2
Let t = 9 + -3. Suppose 14*r - t = 12*r. Solve 0*h + r = -h for h.
-3
Let u(k) = -k**3 + 10*k**2 - k + 12. Let w be u(10). Let b be (w + 0 - 13)*-1. Solve b = -5*a + 1 for a.
-2
Let v = -23 + 25. Solve b - v = 2 for b.
4
Suppose -4*b + 6*b - 16 = 0. Let u = 7 + b. Let q = 30 - u. Solve -3*c + q = -6*c for c.
-5
Suppose 0 = 3*g, 0 = -l - 4*l - 5*g + 10. Solve 3 = h - l for h.
5
Suppose -5*y = 5*w + 35, -3*w + 3 = -5*y - 8. Let p(i) = -i**3 - 3*i**2 - 4. Let o be p(y). Suppose -3*r + 12 = r. Solve -r*a - o = a for a.
-3
Suppose -2*x - 2*x = -304. Let r = -51 + x. Solve 2*u - 7*u = r for u.
-5
Suppose -v - 36 = 2*r - 5*r, 0 = 3*r + 3*v - 48. Suppose -5*y + 2 = -r. Solve 0*a - 6 = y*a for a.
-2
Let w be 2*(-1)/((-2)/3). Let i(x) = x + 1. Let g be i(w). Solve -g*d + 2 = -2*d for d.
1
Suppose -3*r - 1 = 2. Let f be -6 - -4 - 2*r. Solve 5*i + 15 = -f*i for i.
-3
Suppose 2*a + 3 = 3*a. Suppose 2*i - 6 = -i. Suppose -i*c + 4 = 4*o, c = 3*o - 0*o - 3. Solve c = -2*j - a*j for j.
0
Let x(u) = -3*u**2 - 9*u - u**2 + 3*u**2. Let i = -6 + -2. Let m be x(i). Solve 3*k - m*k = -5 for k.
1
Let f = 0 - -3. Suppose 0 = -f*c + 6*c. Solve c = -0*t + 2*t + 2 for t.
-1
Let z = 9 - 3. Let u = z + -6. Suppose 2*t = -u*t + 2. Solve 0 = -n + 4 + t for n.
5
Suppose -3*h + k - 8 = -3*k, 2*h + 6 = 3*k. Suppose z - 6*z = 0. Let a = z - h. Solve a*l - 9 = -3*l for l.
3
Suppose 4*f = 27 - 15. Solve 2*m = f*m for m.
0
Let v be 21/(-27) - (-8)/(-36). Let g(o) = 2*o**2 - o. Let t be g(v). Solve -t*r - 2 = 1 for r.
-1
Let d be (1 + 0)/(2/(-6)). Let r = -72 + 111. Let c be (r/(-12))/(d/12). Solve 0 = -3*l + c + 2 for l.
5
Let p(u) = -2*u + 21. Let o be p(10). Solve -w + o - 2 = 0 for w.
-1
Suppose -v = 5*d - 16 - 5, -5*v = 4*d. Let o be ((-24)/(-5))/((-15)/(-50)). Let c be (6/(-8))/(v/o). Solve -2*q + c = 5 for q.
-1
Let q(l) = -l**3 - 17*l**2 + 20. Let w be q(-17). Solve -u + w = -6*u for u.
-4
Let f = 8 + -6. Suppose -2*q + 5*j - 1 = 0, -j - 1 = -q - 0. Solve -f*p = -4 + q for p.
1
Let o be 4 + 0 + 2/(-2). Suppose o*f - 9 = 0, f = 3*d + 4*f - 27. Suppose d = 3*a - a. Solve -a*q + 6 + 0 = 0 for q.
2
Suppose 4*t + 10 + 26 = 0. Suppose 7*d - 96 = -d. Let g = t + d. Solve 4*p = p + g for p.
1
Let v = 12 - 7. Let o be (-1)/(-1) + v + -6. Solve 5*f + 10 = -o for f.
-2
Let a(x) = x**3 + 4*x**2 + 3*x + 1. Let v be a(-3). Let i = v + 1. Let f be 0/i*2/4. Solve f*s = -5*s for s.
0
Suppose 5*j = -5*q + 10, j + 0 + 6 = -3*q. Let r = j + -4. Solve r*t = 3*t for t.
0
Let u(l) = -l**2 + 4*l - 3. Let o = -3 - 1. Let g(n) = n**2 - 4*n + 2. Let p(c) = o*u(c) - 5*g(c). Let s be p(4). Solve -s*k + 4 = 2*k for k.
1
Let a(c) = -c**3 - 2*c**2 - 2*c + 1. Let d be a(-2). Solve 7*m + 10 = d*m for m.
-5
Suppose -4*y - 38 = -3*l - 12, y + 49 = 5*l. Solve -l = d - 3*d for d.
5
Let n(x) = x**3 + 5*x**2 - 4. Let m be n(-5). Let s be m/14 - (-210)/49. Suppose -f + s*f - 24 = 0. Solve -k + f = k for k.
4
Let j = 29 - 26. Solve -l = -j*l for l.
0
Let g(d) be the second derivative of -d**5/20 + 5*d**4/6 - 3*d**3/2 + 2*d**2 - d. Let p be g(9). Let r = -32 - -32. Solve p*t + t + 25 = r for t.
-5
Let o = 4 + 4. Solve -5*k = -28 + o for k.
4
Suppose 3*x - 3 = -5*z + 4, 2*x = -z. Let j(g) = -1. Let k(p) = -p**2 - 5*p + 5. Let d(u) = 4*j(u) - k(u). Let o be d(-7). Solve 0 = -z*w + o + 3 for w.
4
Suppose -g = -2*g + 10. Suppose 0 + g = 5*s. Solve -s*v + 1 = 7 for v.
-3
Let l(w) be the second derivative of w**4/12 - 7*w**3/6 + w**2/2 - w. Let f be l(8). Suppose 0 = 2*k - 11 + 3. Solve -s - f = -k*s for s.
3
Suppose -6*i - 8 = -7*i. Suppose -4*j + r + i = 0, 2*j + 2*r + 4 = -2*j. Let b be (-5)/(-1) + (-1 - j). Solve 8*h - b*h = -10 for h.
-2
Let t(u) = u**3 - u**2 - 2*u + 2. Let f be t(2). Solve f*l - 10 = -4 for l.
3
Let z be 0 - (0/(-2) + -4). Suppose -2*x = -4*x. Suppose z*b + b - 20 = x. Solve 0 = 2*n - 0 - b for n.
2
Suppose -2*m = 2*m. Let o(f) = -4*f + 16. Let z be o(3). Solve -z = -n - m*n for n.
4
Suppose 2*l - 1 = -3*l + 3*j, 2 = -j. Let g = 1 - 2. Let c = g - l. Solve c = -4*i + 2 + 6 for i.
2
Let w be (-1)/3 - 46/(-3). Solve 2*q = -3*q - w for q.
-3
Let c = 43 - 23. Solve 0 = h + 3*h - c for h.
5
Let i(u) = -u. Let v be i(3). Let f(a) be the first derivative of -a**4/4 - a**3 - a**2 - 2*a + 5. Let t be f(v). Solve -l = -t*l for l.
0
Suppose 0 = 3*q + 5*x + 3 + 57, 0 = -5*q - x - 78. Let f be 2/5 - (-96)/q. Let j(b) = -b**2 - 8*b - 9. Let k be j(f). Solve c = -6 + k for c.
-3
Let t = 15 - 12. Solve t*p - 1 = -16 for p.
-5
Let a = 20 - 15. Suppose 15 - 5 = a*q. Solve -4*x + q*x + 6 = 0 for x.
3
Let a(y) = y**3 - 8*y**2 + 9*y - 9. Let d be a(7). Solve 3*x + d + 4 = 0 for x.
-3
Let j(d) = d**2 + 4*d - 2. Let o be 13/(-3) + 4/(-6). Let c be j(o). Suppose -5*z - 5*n + 50 = 0, -c*n = 5*z - 2*n - 30. Solve -2*b = -1 + z for b.
-2
Suppose -6*r = -3*r - 5*n + 5, 4*r - n = -1. Suppose -5*h + l = -4*l - 90, r = -h - 3*l + 6. Solve 2*q - h = -3*q for q.
3
Let x = -7 + -38. Let b be 4/(-10) + (-18)/x. Solve b = -2*p + 5 - 3 for p.
1
Let u be (0 + 1)*(0 + 3). Suppose l - 16 = -u*l. Let h = -3 + l. Solve -2*c - h = -3*c for c.
1
Let d(i) = i**2 + 25*i - 52. Let u be d(-27). Solve 0 = u*f - 0*f for f.
0
Suppose -12 = -2*w + b, -w + b + 11 = 3. Let d be w/(-14) - (-16)/7. Solve -4*p = -d*p - 8 for p.
4
Let s be 0/2 + 32/2. Let p = s - 11. Solve f - p = -0*f for f.
5
Let k(x) = x**2 - 3*x - 11. Let w be k(-8). Suppose -3 - w = -4*h. Solve -d = 3*d - h for d.
5
Let x be 2/(-9) - (-604)/(-36). Let j = -9 - x. Suppose j*s + u - 102 = 3*s, 3*s - 54 = 3*u. Solve -5*g + 0 = s for g.
-4
Suppose -10*q + 10 = -8*q. Solve 0*y = y + q for y.
-5
Suppose j = 3*j - 5*u + 4, -3*j - u + 11 = 0. Suppose -4*v + 104 - 7 = j*n, 3*v - 78 = 3*n. 