-3). Let n = 9 - -2. Let i = -7 + n. Solve 4*x - b - i = 0 for x.
2
Let h = 2 + -2. Suppose h = -v + 5 - 3. Solve -v = -s + 2 for s.
4
Let u = -167 + 171. Solve -20 = -t - u*t for t.
4
Let v(c) be the first derivative of 2*c**3/3 + 4*c**2 + 7*c - 1. Let x be v(-5). Suppose 2*o - h = x, -o - 5*h - 16 = 3. Solve -o*s = -3*s for s.
0
Let q(o) be the second derivative of o**3/6 + 3*o**2 + 3*o. Let x be q(-4). Solve x = 2*k - 4 for k.
3
Suppose n - 272 = 5*y, -y - 64 = -0*n - 5*n. Let b be 1/3 + (-144)/y. Suppose 2*s + 14 = 4*w, -24 = -4*s - 0*s - 5*w. Solve 0 = -b*r + s - 4 for r.
-1
Let x(d) = d**2 - 7*d - 5. Let j be x(8). Let r(v) = v**2 - v + 3. Let o be r(j). Solve -b + 4*b = o for b.
3
Let s be 1/(((-10)/(-22))/5). Solve -4*k = 31 - s for k.
-5
Suppose 0 = -2*c - 3*m - 2*m - 14, 3*m = -2*c - 6. Solve -2 - c = -5*i for i.
1
Suppose -3 = 3*z - 4*z. Solve -2 = 4*o - z*o for o.
-2
Suppose 2*f - 4 - 2 = 2*x, -2*f - 5*x = 1. Let v = 0 + f. Solve 2*u = -v*u - 4 for u.
-1
Let n be (-14)/(-35)*5/(-2)*-10. Solve -8*v + n = -3*v for v.
2
Suppose 2*b = 5*b - 33. Suppose b + 5 = 4*i. Let k = 109 + -100. Solve i*h - k + 1 = 0 for h.
2
Let u(t) = -2*t + 20. Let x be u(8). Solve x*r = -0*r + 4 for r.
1
Suppose -18 = -2*y - 5*k, 2*y - 10*k = -8*k + 4. Solve 3 - 19 = y*i for i.
-4
Let b be (-2)/(-7) - 770/(-49). Let z be 28/b - (-2)/8. Solve 2 = z*i - 4 for i.
3
Let u = -98 - -99. Solve 4*k - u = 11 for k.
3
Let r be (-6)/3 + 13 + -1. Suppose i - 2*b = 23, r*i - 5*i - 5*b = 95. Solve w = 4*w - i for w.
5
Suppose -34 = -5*f - x - 0*x, -x + 16 = 2*f. Solve -5*b + 2*b = -f for b.
2
Let v = -5 - -20. Suppose 3*h = -0*s + 2*s + v, 15 = 3*h. Suppose s = -z + 2*z. Solve -m = -z*m - 1 for m.
1
Let l(c) = c**3 - 5*c**2 + 3. Let s be l(5). Solve 0 = -4*z - s - 9 for z.
-3
Let d(w) = 6*w - 38. Let n be d(7). Solve -4 = -n*j + 12 for j.
4
Let a be 1/(-1) - 2 - (3 - 11). Solve -3*i - a = 10 for i.
-5
Let r = 10 - -2. Let x be (-4)/(-3)*(r - 9). Let i = -6 - -23. Solve -x*g + i = 1 for g.
4
Suppose 38 = 3*m - m - 2*p, m - 22 = -2*p. Let d be ((-1)/(-2))/(1/m). Suppose -d - 6 = -4*w - 4*l, -5*w + 48 = -2*l. Solve w = -2*f + 4*f for f.
4
Let f be (-10 + 2)/(-2 - 0). Suppose -5*q - 4*w - 2 = -8, 0 = -f*w - 4. Solve q*n = -n - 15 for n.
-5
Let y be (-1)/3 - 70/(-30). Solve -6 - y = 4*f for f.
-2
Let k be (-6)/(-9)*(136 + -1). Let r be (8/10)/((-12)/k). Let b = -2 - r. Solve -b*j = -5*j - 4 for j.
-4
Suppose -j = -2*u + 10, 0 = -2*j - 2*j + 3*u - 20. Let l be 6/(-27) + j/(-9). Solve -9 = 3*y - l*y for y.
-3
Let n be 2/56*4 + 2/(-14). Solve n = -2*g + 3*g for g.
0
Let v(g) = 0 - 4 - 10*g**2 - 10*g - 7 - g**3 + 0. Let w be v(-9). Let n be (-3)/w*(-10)/(-3). Solve -4*s + 3*s = n for s.
-5
Let u = 23 + -8. Solve 0 = 6*n - n + u for n.
-3
Let c be ((4 - 0)*-1)/(-1). Suppose c*l - 14 - 2 = 0. Solve l*s = s - 15 for s.
-5
Suppose -5*l = 4*c - 2, -2*l = 2*l + 5*c + 2. Suppose -6 = 2*x, -5*p - 5 = x - l. Solve p*s = -5*s - 20 for s.
-4
Let a = -15 + 31. Suppose 3*g - a = g. Solve 3*i - g*i = -5 for i.
1
Suppose 4*k = 20, -2*r - 2*r - k + 25 = 0. Solve -r*i = -3*i + 6 for i.
-3
Let a(i) = -3*i - 21. Let j be a(-7). Solve -2*s = -j + 4 for s.
-2
Let x be 2/1*105/42. Solve t = 2*t - x for t.
5
Let q(w) = w**2 - 7*w + 3. Let k be (-1 + -23)/(-2) - 2. Let t be q(k). Let g = t - 10. Solve -4*p - g = -3 for p.
-5
Let u = -40 - -44. Solve 0 = -u*x + 8 for x.
2
Suppose 0 = -5*u - 2*s, 4*u = -0*u + s + 13. Let i = u + 2. Suppose g + 8 = -5*z - 7, 0 = 5*g + i*z + 12. Solve g = 4*h - h for h.
0
Let a(f) = -3*f - 66. Let g be a(-23). Solve -g*u + 5*u = 0 for u.
0
Let n = 1 - -15. Suppose v + n = 5*v. Solve q - v + 0 = 0 for q.
4
Let b be (6/4)/3 - 15/(-6). Solve 0 = b*n - 6*n + 9 for n.
3
Suppose g - 7 + 5 = 0. Solve 2 + 0 = -g*c for c.
-1
Let v be -2 + (-4)/6*-3. Suppose v = -o + 2*g - g + 5, -o + 5*g + 25 = 0. Solve -3*r + 5*r = o for r.
0
Suppose -z + 2*z = 5. Suppose 0 = 5*r - 4*y - 31, y = r + 2*r - 20. Suppose 4*w + r - 32 = -z*m, -2*m = 3*w - 17. Solve -w*t - 8 = -t for t.
-2
Let o = 6 - 13. Let i(b) = b**3 + 6*b**2 - 7*b - 10. Let c be i(o). Let q be -5*(1 - (-14)/c). Solve -q*y + 3 = 1 for y.
1
Suppose q = -q. Let g be (-8 + 39/6)/(3/(-2)). Solve w + g = -q*w for w.
-1
Let v be -4*(2 - (-12)/(-4)). Solve 0 = v*i + 20 - 4 for i.
-4
Let x be 2 - (1/1 - 1). Let n(m) = -1 - 3*m + 9*m - 3*m + x*m. Let l be n(1). Solve 0 = -q - l - 0 for q.
-4
Suppose 0 = -3*f - 4*k + 33, -7*f + 2*f + k + 32 = 0. Let l(o) = -o + 5. Let j be l(0). Let n = f - j. Solve -n*c - c = 15 for c.
-5
Suppose -t = 3*u - 13, 20 = 4*u - t + 5*t. Solve -u*z = -4 - 12 for z.
4
Suppose 4*s = 4*l + 36, -3*s + 28 = -l - 3*l. Solve -2 - s = 5*y for y.
-2
Suppose 2*i = 2*q - 12, 4*i + 20 + 0 = 3*q. Solve o = -q*o + 10 for o.
2
Let d(j) = 3*j**3 + 2*j**2 - 1. Let b be d(1). Let k(q) = -q**2 + 5*q + 2. Let s be k(4). Solve -z + b*z = -s for z.
-2
Let v be ((-2)/4)/((-1)/4). Let z(g) = 3*g**3 - g**2 - 3*g + 1. Let c(o) = 2*o - 4. Let m be c(3). Let p be z(m). Solve -p = -u - v*u for u.
5
Let u be (-22)/(-4) + (-2)/(-4). Solve u*d = 3*d - 6 for d.
-2
Let i = 15 + -9. Let o be i/(-5)*(-10)/4. Let w = -5 - -7. Solve -t = w*t + o for t.
-1
Suppose 0 = l - 4*h + 7, h + 2*h = l + 6. Let q be -1 - (18/(-3))/l. Let g be 10 - q*(-3)/9. Solve 5*v + 6 + g = 0 for v.
-3
Let u be (-1 - 1 - -3)/1. Suppose 2*q - u = 3. Let z be 5*(-1)/q*-2. Solve -4*y - 11 = z for y.
-4
Suppose -5*p - 1 = -11. Solve y = p*y - 2 for y.
2
Let k be 1/(-2)*(-5 - -1). Suppose 0 = -3*n + k*c + 12, 0*c - 3 = -c. Suppose -v - 1 = -n. Solve -v*g + 4 + 21 = 0 for g.
5
Let h(f) = f**3 + 3*f**2 - f. Let z be h(-3). Solve -z*c + 5 = -10 for c.
5
Let y(c) = c**3 + 8. Let x(g) = -g**3 + 5*g**2 - g + 5. Let q be x(5). Let j be y(q). Solve 0 = 2*l + 2*l + j for l.
-2
Suppose 0 = 2*w, 2*l + 7*w = 2*w + 44. Suppose -x = -5*b + 21, 4*x + 2*b - 4 - l = 0. Solve -1 + x = 3*i for i.
1
Let y = -19 - -21. Solve 15 = j + y*j for j.
5
Let j = -10 - -15. Solve -j*v + 2*v - 15 = 0 for v.
-5
Let a(l) = l**3 - 13*l**2 + l - 13. Let v be a(13). Solve j - 4*j + 6 = v for j.
2
Let u be (-4 - -7) + 1 + -8. Let s be (u/(-7))/(2/14). Solve s*f = 8 + 8 for f.
4
Let c = 7 + -23. Let o = 26 + c. Solve 2*a = -0*a + o for a.
5
Let v be ((-6)/21)/(9/(-441)). Solve 4*i - 6 - v = 0 for i.
5
Suppose h + a - 7 = -0*a, 24 = 2*h + 4*a. Let z = h - 3. Let j = 3 + z. Solve 6 = -j*v - 0*v for v.
-3
Let o(t) = -14*t. Let h be o(0). Let x(a) = a**3 + a**2 + a + 14. Let d be x(0). Suppose h*c = -3*g + c + d, -3 = -g + 2*c. Solve -g*m = -3*m for m.
0
Let v(s) be the second derivative of 0 - 2*s - 1/6*s**3 - 7/2*s**2. Let n be v(-7). Solve 4*r = -n*r for r.
0
Suppose 3*v = 2 + 1. Let g be (2 - 1)/v - -4. Let l = g - 1. Solve -l*c + 12 - 4 = 0 for c.
2
Suppose f - n - 4 = 0, 0*f + n = 2*f - 8. Solve -k = -f*k for k.
0
Suppose -n - 12 = -14. Solve n*w + 20 = -3*w for w.
-4
Let a = -52 + 58. Solve 20 = k - a*k for k.
-4
Let b(z) = z**2 + 9*z - 20. Let i be b(-11). Solve 0 = -i*j + 6*j + 12 for j.
-3
Let x(b) = -5*b - 3. Let t be x(-3). Let s be 39/t + 3/(-12). Solve g + s*g = 20 for g.
5
Let c = 4 - 4. Solve 3*t + c*t - 15 = 0 for t.
5
Let y = 13 - 10. Suppose -12 = -y*s - 3*s. Solve -s*n - 3 = -1 for n.
-1
Let z be -1*(10 - 2)*-1. Let n be 2 - (3 + -1 + -3). Solve z*q = n*q for q.
0
Let i be (0 + -3)/(6/(-32)). Suppose -9 = -y + 4*y. Let f = 1 - y. Solve f*u = -0*u + i for u.
4
Let w(i) = -i**3 - 6*i**2 + 2*i. Let z be w(-6). Suppose -20 = -13*n + 8*n. Let c = n - z. Solve 3*a = 7*a - c for a.
4
Let h = 0 + 0. Suppose -4*s + 0*s - z = h, -2*z = -5*s. Solve q + 1 = -s for q.
-1
Let b(l) be the second derivative of l**4/12 - l**3/6 + l**2 + 2*l. Let f be b(2). Suppose t = f*t. Solve -4 = h - t for h.
-4
Let x(b) = -b**3 - 3*b**2 - b + 2. Let u be x(-2). Suppose -2*o + u*o = 3*t + 2, 0 = o - 2*t - 6. Solve -o*l - 2*l = 0 for l.
0
Suppose 5*a - w + 24 = -6, 0 = a + 3*w - 10. Let n = -4 - a. Let r = 3 - n. Solve 0 = 3*o - r - 1 for o.
1
Let v = -10 + 13. Suppose 9*u - 4*u + 1 = 4*z, -v*z = -4*u. Solve -2 = u*q + 10 for q.
-4
Suppose -2*j - 14*j + 2*j = 0. Solve j = 4*z - 3*z + 3 for z.
-3
Suppose -4*x + 25 = -3*a - 7, -5*a = x - 31. Let c = -4 + 6. Let t be ((-3)/c)/((-1)/6). Solve x = 5*u - t for u.
4
Let a = -4 - -2. Let b