-3*z - z + 16 = w for z.
4
Suppose -4*k - 12 = -4*a, 4*a = -4*k - 0*a - 36. Let w(h) = -2*h - 7. Let c be w(k). Solve 4*x - 3 - c = 0 for x.
2
Let v be (-3)/1*(-2)/2. Let j = 7 - 2. Solve 0 = v*x - j - 1 for x.
2
Let t be 4/10*(-15)/(-6). Let n be (t - -9)*(-6)/(-12). Solve -n*d = -0*d for d.
0
Let o be (-14)/(1*2*-1). Suppose 2*a - o = 1. Solve a*x = x - 12 for x.
-4
Let q(w) = w**3 - 4*w + 5*w + 6*w**2 - 57 + 63. Let s be q(-6). Solve -3*o + 6*o + 6 = s for o.
-2
Let r be 2 - (12/(-2))/(-3). Solve z - 3*z = r for z.
0
Let k(r) = -4*r**3 - r - 1. Let j be k(-1). Let v(g) = -g - 1. Let s be v(j). Let m = s - -8. Solve 0*t = -m*t + 9 for t.
3
Let v(x) = -x**2 + 15*x - 6. Let j be v(15). Let h = 1 + -1. Let a = h - j. Solve a = -2*g - 2 for g.
-4
Let i(c) = -c - 1. Let s be i(-10). Solve s = -y + 4*y for y.
3
Let y(q) = q**3 - 7*q**2 - 6*q + 2. Let i be y(8). Let v = -13 + i. Solve v*u - 2 = -27 for u.
-5
Let n be (-7)/28 - (-21)/4. Suppose -u = -4*r - 24, -2 + 8 = 4*u + 2*r. Solve 11 + n = -u*y for y.
-4
Let k be 1/((14/(-6))/(-7)). Solve -n = k*n for n.
0
Let b = 17 - 9. Let s = -5 + b. Solve s = 2*r - 1 for r.
2
Let f(v) be the second derivative of v**3/3 - 10*v**2 - 4*v. Let h be f(11). Solve -n + 4 = h for n.
2
Suppose 4*h + h = -5. Let f be (4/5)/(h/(-5)). Solve -3*b + f*b = 0 for b.
0
Let c = -15 + 8. Let v be (-16)/c + (-6)/21. Solve -7 + v = -r for r.
5
Suppose -4*w - 2*o + 34 = -8, 2*w = -3*o + 11. Let v = w + -10. Solve 0 = v*j - 6 - 0 for j.
2
Let f(l) = -l**3 + 6*l**2 + 9*l + 6. Let o be ((-2)/(-4))/((-10)/(-140)). Let j be f(o). Solve -c = 4*c - j for c.
4
Let o be (-1 + 1)/(2/4*2). Solve 5 = q - o*q for q.
5
Let z be ((-10)/(-4))/(2/36). Let b = 65 - z. Let j be 2/(-6) - b/(-6). Solve 0 = -j*v - 0*v for v.
0
Let k(t) = t**2 - 16*t + 15. Let z be k(15). Solve z = -2*d - 1 + 9 for d.
4
Let c(u) be the second derivative of -u**4/12 - 2*u**3/3 + 6*u. Let i be c(-2). Solve v + 0 = i for v.
4
Let h be 100/36 + 6/27. Suppose -m = -6*m + 15. Solve -h*r + 3 = -m for r.
2
Suppose 4*f - 8 = 2*f. Suppose s + s + i - 2 = 0, -f*i + 2 = 5*s. Let p(n) = -n + 5. Let w be p(3). Solve w*x = s - 10 for x.
-4
Suppose 3*t + 8 = 7*t. Solve -3*m + t = -4*m for m.
-2
Let q(f) = -f**2 + 11*f + 5. Let o be q(11). Solve -o*z + z = 0 for z.
0
Suppose m + 2 = -0. Let n(c) = -c**2 - 4*c - 2. Let x be n(m). Suppose b + 6 = 2*a, 3*b + 5*a = x*a + 27. Solve 0 = -b*j + 8 for j.
2
Let d(x) = x**3 + 4*x**2 - x - 4. Suppose -5*p - j - 12 = j, -8 = -2*p - 4*j. Let h be d(p). Solve -6*q + 4*q = h for q.
0
Let j(v) = -2*v + 8. Let f(i) = -2*i + 7. Let s(a) = -6*f(a) + 5*j(a). Let c be s(2). Suppose -c*z + 6*z - 8 = 0. Solve -3 = -z*n + 1 for n.
2
Suppose -2*h + 8 = -4*g - 8, 5*g = h - 11. Solve -h*v - 4 = -5*v for v.
-4
Let j be (-12)/(10/(-4) - -1). Let n = -3 + j. Solve 0 = -a - 3 + n for a.
2
Let x = 2 + -2. Let l(u) = -u**3 - 8*u**2 - 2*u - 12. Let w be l(-8). Solve -9*h + w*h = x for h.
0
Suppose 4 = -2*y + 2*z, -2*z + 5 = -3. Solve -5*j + 8 = -y for j.
2
Let l = 67 + -62. Solve 6 = -l*a + 1 for a.
-1
Suppose 0 = -2*i + 5*d - 9, 6*i + 2*d - 18 = 2*i. Solve 0 = -l + i + 2 for l.
5
Let r(z) = 5*z**2 + z**3 + 6*z + 4 + 0*z - 2*z**3. Let h be r(6). Suppose -5*k + 2*k = -27. Solve h*g = k + 11 for g.
5
Let f(v) = -v**2 - 4*v + 7. Let p be f(-5). Let x = 3 + p. Solve 14 = x*m + 39 for m.
-5
Let r(k) = 6*k - 12. Let v(i) = -5*i + 13. Let h(x) = -4*r(x) - 5*v(x). Let p be h(0). Let u = p + 25. Solve -2*n = -0*n + u for n.
-4
Suppose -4*y = 4*h - 16, 0*h = 2*y - 2*h - 4. Solve 0 = -y*n + 15 for n.
5
Suppose -6*v + 5 + 7 = 0. Solve v*c = 5 + 1 for c.
3
Suppose 0 = 6*q - 7*q + 3. Suppose -10*x + 16 = -9*x. Solve -q*p = p - x for p.
4
Let t(s) = s**2 + 3*s - 12. Let c(v) = -v**2 - 3*v + 11. Let u(y) = 4*c(y) + 3*t(y). Let w be u(-6). Let m = -7 - w. Solve m = z - 2*z for z.
-3
Suppose 0 = -3*i - i + 72. Let b be (-6)/i*(-7 + 1). Solve d + 0 + b = 0 for d.
-2
Let u(s) = s**3 + 7*s**2 - 1. Let a be u(-7). Let h be 2 + -3 + 2 + a. Suppose h = -0*q - 3*q + 6. Solve q = -2*i - 0*i for i.
-1
Let r be 1 + -2 + -8 + 1. Let b(u) = -u**3 - 9*u**2 - 10*u - 12. Let v be b(r). Suppose 0 = -4*f + v + 20. Solve f = -5*z - 4 for z.
-2
Let v be 11/44 + 3/4. Let j be 2 + -1 + v/1. Let l be 6/j*2 + -1. Solve -3 = 2*c - l for c.
1
Let u(k) = -2*k - 2. Let v be u(-3). Suppose n = s - n - 3, -s = -v*n + 1. Solve 5 = 3*z - s for z.
4
Suppose -5*a + 28 = 18. Solve 0 = a*z - 9 - 1 for z.
5
Let v = 3 - 4. Let w be (v - -5)/2*3. Solve -y - 25 = -w*y for y.
5
Let q be ((-12)/16)/((-1)/(-8)). Let a = -10 - q. Let p = a - -4. Solve p = -u - u for u.
0
Let w be 14/4 - 2/4. Suppose 2*i - 2 = m, 2*m + 4 = -3*i - 0*m. Solve -g - w = -i for g.
-3
Let p be (18/(-21))/((-1)/(-7)). Let m = p - -12. Suppose -y + m = x, y + x = 3*x - 9. Solve -r = -y + 3 for r.
-2
Let p = 15 - 21. Let n = 9 + p. Solve n*v - 9 = -0*v for v.
3
Let x be 2/(-2)*-2 + (-99)/(-33). Solve 5 = -0*k + x*k for k.
1
Let q = -20 - -23. Solve 0 = -f - q for f.
-3
Suppose 8*f - 5 = 19. Solve f = 2*j - 7 for j.
5
Let a(s) = s**2 - s - 2. Let w = 4 + 0. Suppose w*r - 3*r + 3*c + 3 = 0, 0 = -3*r - c + 7. Let u be a(r). Solve u*l - 8 - 4 = 0 for l.
3
Let g(l) = l**3 - 22*l**2 + 22*l - 19. Let n be g(21). Solve -5 = -n*v + 3 for v.
4
Suppose 6*n = 2*n. Suppose 5*a - 4*k - k = 5, 5*a = -3*k + 13. Suppose 0 = -n*f + a*f. Solve f = 5*m - 3 - 2 for m.
1
Let u = 24 + -24. Solve 2*w + 2 + 0 = u for w.
-1
Let p(g) be the first derivative of g**3/3 + 7*g**2/2 - 6*g + 1. Let w be p(-8). Let a be 2/((-2)/((-8)/w)). Solve c + a = 9 for c.
5
Let v be 1/2*(-4)/2. Let k be 0 + 1*(v - -1). Solve 2*a = -k*a for a.
0
Suppose -3*t - w + 57 = w, -w = -2*t + 38. Solve t = 4*y - 1 for y.
5
Suppose -5*v = 3*i - 61, 0*i + 4*i = 5*v + 58. Suppose 5*q - 5 = 5*y, -5*y + 3*q - 2 - 3 = 0. Let g be 0 - -1 - (-42 - y). Solve g = 5*f + i for f.
5
Suppose 7 = 4*g - 5. Suppose -c + g - 1 = 0. Solve 0 = b + c for b.
-2
Suppose -4*x - 2 - 2 = 0. Let g be ((-4)/8 + x)*-2. Solve 10 = -g*d + 8*d for d.
2
Suppose -4*t = -8 - 8. Solve 3*q = -q + t for q.
1
Let m(x) = x + 7. Let w be m(-5). Solve 0*g - 4 = w*g for g.
-2
Suppose -h + 3*h = 4, -3*l + 10 = 5*h. Solve l = p - 0 - 1 for p.
1
Let r = 2 + 1. Suppose -p - 2*a + 6 = 0, -r*p - 5*a = -p - 15. Solve p*k - 16 = -4*k for k.
4
Suppose k + 6 = -2*s, 5*s + 13 = -k - 2. Let d = s + 4. Let q be (6/(-21))/(d/(-7)). Solve z = 1 - q for z.
-1
Let q(s) = s + 8. Let i be q(-7). Let p = i + 1. Solve -p*y + 14 - 4 = 0 for y.
5
Let r = -11 + 5. Let k(n) = -n + 3. Let m be k(r). Let s(u) = u - 8. Let o be s(m). Solve o = l - 0 for l.
1
Let o = -12 - -30. Let g be (6/o)/(2/36). Solve -10 = 4*r + g for r.
-4
Let o be (-2)/(-3 - -2 - 1). Let c(g) = 7*g - 1. Let a be c(o). Let h = a - 4. Solve 3*q - h - 10 = 0 for q.
4
Suppose 15*p = 9*p + 30. Solve 2 - 7 = p*w for w.
-1
Suppose -3*m + 2*f + 16 = -2*f, -20 = 5*m + 5*f. Solve -2*l = -m*l - 8 for l.
4
Let l be (-5 - -1)*3/(-4). Suppose 4*s - s - 48 = 0. Suppose l*o - s = -o. Solve -3*d = -o*d - 4 for d.
-4
Let l = 12 + 6. Suppose 0*o + o = -t + 8, -4*t = -o + l. Solve i + o = -i for i.
-5
Let n be 14/6 + (-6 - (-102)/18). Solve 4 = -n*g - 0 for g.
-2
Let n(a) = -15*a + 12. Let u(z) = -7*z + 6. Let g(o) = -6*n(o) + 13*u(o). Let p be g(6). Solve 1 = c - p*c for c.
1
Let w be 9/27 + 34/6. Solve 0*q = 2*q - w for q.
3
Let k = -12 + 15. Solve -k*u - 2 = -4*u for u.
2
Let g be (0 + -2)/(4/(-2)). Let k(f) = 7*f**2 - 2*f + 1. Let q be k(g). Solve 0 = -5*v + 1 - q for v.
-1
Suppose 0*n = -n + 4. Solve 4*j = -n - 16 for j.
-5
Suppose -2*v + 12 = l, 2*l - v + 2*v - 9 = 0. Suppose -5*z = -y + 194, 2*z + 5*y - 73 = 4*z. Let n = z + 41. Solve l*x - n = 2 for x.
2
Let g(p) = -p**3 + 8*p**2 + p - 3. Let y be g(8). Solve 0 = y*l - 0*l for l.
0
Suppose -65 = -5*o - 4*r, 42 = 3*o + 3*r + 3. Suppose -o*y = -8*y - 10. Solve -v = -y*v - 2 for v.
-2
Let v = 0 - -2. Let x(i) = -2*i - 8. Let j be x(-5). Solve -j*d + 0*d = v for d.
-1
Suppose 20 = -2*n + 7*n + 5*g, -5*g + 10 = 0. Solve -n = -3*s - 14 for s.
-4
Let l = 41 - 41. Solve l = -3*i - i for i.
0
Let c be (-58)/18 - (-6)/27. Let m be (7 + 1)*c/(-6). Solve 0 = -i + m*i for i.
0
Suppose -5*f = -0*p - p - 37, -2*p = 4. Solve 2*l = f*l + 10 for l.
-2
Let g be -3 + 14/2 - (1 + 