 j be (-3 - z)*1/2. Let s be 0*(3/6 - j). Solve 3*v + s*v + 12 = 0 for v.
-4
Suppose 3*p + 4 = -4*q - p, 5*q - 5*p = 35. Suppose 5*k = 5*c + 10, -2 = 4*c - q*k + 2. Let w be 11/c - (-3)/(-6). Solve -14 = w*o - 4 for o.
-2
Suppose m + 3*c - 27 = -3*m, 2*m - 3*c = -9. Let q = 3 - m. Suppose q = 2*t + t. Solve 2*o - 5*o + 12 = t for o.
4
Let b(g) = g + 8. Let q be b(-4). Solve 0 = -2*j + 2 + q for j.
3
Suppose -10 = 5*c, 0*c - 5*c = 2*a + 8. Let i = a + 2. Solve -5*y + 4 = -i*y for y.
2
Let r be (-2 + (-3)/3)*-1. Suppose 0 = 5*s - r - 2. Let q be 3/4 - (-1)/4. Solve -o = s + q for o.
-2
Let m be (-1)/(-4) + 39/(-12). Let d be -1 + 1/(1/8). Let v = d + m. Solve 0 = v*w + 1 + 3 for w.
-1
Suppose -o + 4 = 3*o - 4*c, c + 21 = 5*o. Suppose -o*b = -6 - 44. Solve 0 = -3*a - 2*a + b for a.
2
Let q = -8 + 8. Let w(p) = -p**3 + 2. Let y be w(q). Solve 2*r + y*r + 8 = 0 for r.
-2
Suppose -5 = -4*o + 3. Solve 3*u - o = -5 for u.
-1
Suppose 0 = 2*j + 3*j - 20. Solve -j*p - 9 = -p for p.
-3
Let t be (-1)/(0 + (1 - (-52)/(-48))). Solve 0 = d + 2*d - t for d.
4
Let k(t) = t**2 - 2*t + 6. Let v be k(6). Suppose a - v = -4*a. Solve -4 = 4*r - a*r for r.
2
Suppose -2*a - 4*y - 9 = -y, -a + 4*y = -12. Solve a*j - 8 = 4*j for j.
-2
Let m(y) = -y**3 + 2*y**2 + 9*y - 4. Let a be m(4). Solve w = -a - 5 for w.
-5
Let n(r) = r - 4. Let g be n(6). Suppose -3 + 7 = g*q. Suppose -q*f - c = -0*c - 7, 5*c = 2*f - 13. Solve -a = -f*a for a.
0
Let u = -68 - -74. Solve -u = 3*c + 6 for c.
-4
Let a(k) = -k + 10. Let g be a(10). Suppose 4*l = f + 2*f + 7, 4*l + 4*f - 28 = g. Solve x = -l*x - 15 for x.
-3
Let k(p) = -1 + p + 1 - p**2. Let r be (2/(-6))/((-1)/3). Let o be k(r). Solve o = 2*l - 4 - 2 for l.
3
Suppose -4*w + w = g - 5, -4*w = 4*g - 12. Solve -m = -1 - w for m.
2
Let q(y) = y**3 + 23*y**2 - 24*y + 5. Let m be q(-24). Let a(x) = x**3 - 4*x**2 + 2*x - 5. Let g be a(4). Solve -g*c + 10 = -m*c for c.
-5
Suppose 0*j + 30 = 3*j. Let n be j/3*12/10. Suppose 0 = -3*f - f. Solve f = -r + n*r - 12 for r.
4
Let p = -14 - -21. Suppose 0 = -2*r - 1 + p. Solve 10 = r*b - b for b.
5
Suppose w = -3*w. Let a be (-6 - 0)/((-6)/4). Solve w*g = a*g - 4 for g.
1
Let z(x) be the second derivative of x**5/20 + x**3/6 + 9*x. Let v be z(1). Solve 5 = -v*s + 1 for s.
-2
Suppose -c - 3*v - 12 = 2*c, -2*c + 5*v = -20. Let a(o) = 6 + 2*o + 3*o - 4*o. Let m be a(-5). Solve 2*i - 9 - m = c for i.
5
Suppose 4*p - 5 = 3*p. Suppose 0 = 3*c - i - 13, -13 = -2*c - 0*c + p*i. Solve c*q - 10 = -q for q.
2
Let z(s) = s**2 + 4*s - 6. Let r be z(-5). Let n be 50 - (-3 - r)/(-2). Suppose 3*o + g = -4*g + 62, o = 4*g + n. Solve o = 5*v + 4 for v.
5
Let c be -2 + 3/(6/2). Let q = 1 - c. Solve -h = -q + 4 for h.
-2
Suppose -2*n = 4*j + 8, -3*j + 14 = 4*n - j. Suppose 2*p + 36 = 36. Solve w - 4*w - n = p for w.
-2
Suppose 1 = -0*r - 2*r - 3*l, 4*r + 5*l - 3 = 0. Suppose 0 = 3*m + 5*i + r + 4, -3*i = 4*m. Solve m*g - 4*g = 2 for g.
-2
Suppose 2*o - 9 = -3*q, -5*q - 6 = -o - 21. Solve o - 20 = 5*t for t.
-4
Let m = 30 - 5. Suppose 0 = -5*u - y - 5 + 33, 3*y = 4*u - 30. Suppose 4*s = -0*s. Solve s = -n + u*n + m for n.
-5
Let h(v) be the first derivative of v**4/4 - 4*v**3/3 + v**2/2 - 2. Let s be h(4). Solve s*n = 6 - 2 for n.
1
Let x = 33 - 19. Suppose -x - 6 = -5*j. Solve -j*s + 0 = -20 for s.
5
Suppose -3*g + 7 = -11. Let h(l) = -l**2 + 3*l + 8. Let w be h(g). Let z(v) = -v**3 - 11*v**2 - 12*v - 15. Let u be z(w). Solve -7 = -u*f + 13 for f.
4
Suppose -2*i - 12 = -3*c, -c + 5*i + 7 = -5*c. Let y be 2 + 0/c - 2. Suppose 0*s - 3*s + 27 = y. Solve -d + s = -4*d for d.
-3
Suppose -o = 2*u - 5, -2*u = 2*u + 4*o - 12. Suppose -u*b = b - 6. Solve 3*l = b*l - 4 for l.
-4
Suppose -3*f + 26 = 5*b - 0*b, -2*b + 6 = -f. Solve -b = 4*r - 24 for r.
5
Let j be 2 - (-8 - (1 + -2)). Let x be 26 - 1/(3/j). Solve 0 = 5*v - x - 2 for v.
5
Suppose m = -3*j - 4, 4 - 1 = -3*m. Let l(v) = 6*v**2 - v - 1. Let y be l(-1). Let g be (y - 2) + j - 0. Solve 3 - 9 = g*o for o.
-2
Let x(m) be the first derivative of m**3/3 + m**2/2 - m - 2. Let o be x(-3). Solve -o*f = -f for f.
0
Let y = 18 - 6. Let j be (y/21)/((-10)/(-35)). Solve -k + 9 = j*k for k.
3
Let w = -22 - -25. Solve 5 = 2*q + w*q for q.
1
Let n = -12 - -6. Let v be (-268)/n + 4/12. Suppose 0 = 7*w - 2*w - v. Solve -w = 3*q - 3 for q.
-2
Let k(n) = -n**3 - 16*n**2 - 16*n - 11. Let j be 22/(-55) - (-73)/(-5). Let z be k(j). Solve -z*l + 17 = -3 for l.
5
Suppose 3*y - 7 = -r, -5*r + 6 = -2*y - 12. Suppose -17 = r*p - 5*u - 43, 0 = -2*u - 4. Solve 12 = p*x + 32 for x.
-5
Suppose 3*f - 2*f = 12. Let j(i) = 0*i + 0*i**2 + i**2 + 8*i. Let w be j(-8). Solve -3*n = -w*n - f for n.
4
Let n(p) = -p**3 + 7*p**2 - 3*p - 1. Let i be (0 - 1/2)*-12. Let l be n(i). Suppose -4*v = v + y - 27, -5*v + 4*y + l = 0. Solve 0 = j + v for j.
-5
Suppose -6 = -0*g - 3*g. Let h(x) = -x - 7. Let w = -9 + 2. Let m be h(w). Solve m*a - 6 = -g*a for a.
3
Let o = 4 - 1. Suppose 0 = c + 3*i + 3, 4*c + 3 = o*i + 66. Solve -4*b = -0*b - c for b.
3
Let p(o) = o + 17. Let b be p(-14). Solve b = -3*v - 12 for v.
-5
Suppose -z - 6*f = -2*f - 23, 3*z - 5 = 4*f. Suppose 5 = k, -45 = w - 5*w + 3*k. Solve -w = -z*g + 2*g for g.
3
Let m(a) = a**3 + 3*a**2 - 2*a - 2. Let k be m(-3). Suppose 0 = -j + 4, k*h - 2*j - 14 = -34. Let l be 1*6 + 2 + h. Solve -17 = l*x + 8 for x.
-5
Let c(w) = -w**3 - 13*w**2 - 2*w - 4. Let r be c(-13). Solve 0 = -4*h + 10 - r for h.
-3
Suppose 12 + 15 = 4*z + i, z = -5*i - 17. Let h = z - -1. Solve 3*c = -h - 3 for c.
-4
Let k(o) = o + 4. Let r be k(-8). Let m be r/6*15/(-2). Solve 0 = m*z - 4*z - 4 for z.
4
Suppose 3*u = -4*v + 57, 2*u - 4 - 2 = 0. Suppose -6*w = -2*w - v. Solve -w*l = -l + 10 for l.
-5
Let j(k) = -k**3 - 2*k**2 + 1. Let l be j(1). Let a be l*(-3)/((-3)/(-4)). Let q = a + 2. Solve -2*f = -0*f + q for f.
-5
Let a = -2 - -8. Suppose 3*g - 21 = 4*y + 4, -3*y = 2*g + a. Solve 5*s - g*s + 4 = 0 for s.
-2
Let l(z) = z**2 - z + 56. Let p be l(0). Let n = -7 - -14. Suppose -3*g = -n*g + p. Solve 3*m - g = 1 for m.
5
Let y be ((-1)/3)/(2/(-18)). Let z be (3 - -1)*y/6. Suppose 2*k = 2 + 4. Solve z*r = 5*r - k for r.
1
Suppose -7*l + 2*l + 10 = 0. Suppose 0 = 2*h - m - 4*m - 10, h = -3*m - 6. Solve -l*b = -h*b - 8 for b.
4
Let h(j) = 17 - 2*j + 5 + 3*j + 3. Let b be h(-13). Solve 4 = 4*x - b for x.
4
Let f be -2*(-5)/(-4)*(-36)/15. Solve c + f = 4*c for c.
2
Let k(q) be the second derivative of q**5/20 + 7*q**4/12 + 2*q**3/3 - 7*q**2/2 + 6*q. Let g be k(-6). Solve g*p - 25 = -0*p for p.
5
Let v = 2 + 1. Let j = 10 - 6. Suppose 5*k - 15 = 2*s, 0 = j*s - 3*k + 3 + 6. Solve 0 = -s*m - m - v for m.
-3
Let c = 10 - 7. Solve 0 = -2*f + c*f - 5 for f.
5
Let o = 119 + -119. Solve -5 = -o*j - 5*j for j.
1
Let n be (2/8)/(8/32). Let c = 3 + -3. Suppose c*h + n = h - 3*y, y - 5 = -h. Solve -2*f = -0 + h for f.
-2
Let f(x) = -x**3 - 8*x**2 + x - 3*x**2 + 3*x**2 + 8. Let u be f(-8). Solve 0 = 5*l - u + 15 for l.
-3
Suppose -3*j + 10 = 4. Suppose 5*p = -0*p + 3*w + 19, -2*p + j*w + 6 = 0. Solve f - p*f = -4 for f.
1
Let u(r) be the second derivative of -r**3/6 + 5*r**2 - r. Let b be u(7). Solve -b*l = -6*l - 15 for l.
-5
Suppose 3*p - 12 = -2*v, -p = -0*v + v - 4. Suppose v = -4*d - 5*z + 33, 6*d - 4*z - 72 = d. Suppose -y = 5*n - d, 5*y - 9 = -n + 3. Solve f + y = -1 for f.
-3
Suppose -44 = -2*v + 38. Let x be v/13 - 4/26. Solve -x*t = -1 - 2 for t.
1
Let i = 9 + -18. Let s = 14 + i. Suppose -s*h - 2*m = 3*m - 20, 5*m = 5. Solve h*y = -1 - 5 for y.
-2
Suppose 2*p = 5*m - 9, 0*m = -m - 4*p + 15. Suppose m*n - v - 11 = 0, -5 = 3*n - 8*v + 3*v. Solve -n*y + 22 = 2 for y.
4
Let r be 1/4 + (-2)/8. Let c(t) = t**3 + 13*t**2 + 13*t + 17. Let j be c(-12). Let i be 1 + -1 - -14 - -1. Solve r*f + j*f = -i for f.
-3
Let l = -8 - -8. Suppose -3*x = -n + 1, 3*x - 2*n + 4*n - 2 = l. Suppose 0 = 2*q - 4*d, -q - 3 = -3*d - x. Solve -4*v + 2 = -q*v for v.
-1
Let a(j) = 3 + 0 - 1 - j. Let y be a(-1). Solve -y*l = -4 - 2 for l.
2
Suppose -2 = 64*s - 65*s. Solve -s*b + 0*b - 4 = 0 for b.
-2
Let c(b) = -b - 2. Let a = -6 - -2. Let s be c(a). Solve t - 12 = -s*t for t.
4
Let w = 3 + 1. Suppose -3*u + w*u = 3. Let q(h) = h**3 - 7*h**2 + 7*h + 7. Let x be q(6). Solve x = -u*r - 2 for r.
-5
Let j be ((-1)/(-3))/((-5)/(-75)). S