= 4*o - u, -4*u = o - 12. Suppose 3*j - 2*j - 16 = -3*q, j - q + 4 = o. Let p be ((-6)/(-6))/((-2)/(-42)). Solve 5*f - p = -j for f.
4
Suppose -3*u + 0*u = -9. Suppose u*s - 6 = -0. Solve g = s*g for g.
0
Let z(p) = p**3 + 6*p**2 - 5. Let d be z(-5). Let f = 36 - d. Solve -3*k = k - f for k.
4
Let j = -122 - -125. Solve 2*d = -5 + j for d.
-1
Let q = 20 + -16. Solve 17 - 5 = -q*k for k.
-3
Let x(p) = 3*p**3 - 2*p + 1. Let u be x(1). Solve 20 = 2*y + u*y for y.
5
Suppose -4*m + 4 = 4*b, -2*b + 7*b = 4*m + 14. Suppose -4 + b = -z. Let i = z - 0. Solve i*n + 2*n = 4 for n.
1
Suppose 4*x - 8 + 0 = 0. Let d be 5 + (-1*3 - -1). Suppose -5*w + 27 = 4*w. Solve d*f + w = x*f for f.
-3
Let i(j) = j**2 - 11*j + 12. Let f be i(10). Solve 10 + 0 = -f*h for h.
-5
Suppose 2*f - 4*z - 18 = 0, 4*f = -f + 2*z + 13. Let p(h) = -h + 1. Let n be p(-3). Let a(o) = -6*o**3 - 2*o**2 - o. Let i be a(-1). Solve i*j - f = n for j.
1
Suppose 4 = 4*r - 12. Suppose 0 = w - r*q + 7 - 19, 0 = -w - 5*q - 15. Solve w = 3*c - 18 + 3 for c.
5
Let v(b) = b - 7. Suppose 2*q = 3*q - 7. Let s be v(q). Let r = 0 + s. Solve r = 3*k + 2*k for k.
0
Let u(k) = -17*k - 1. Let o be u(-4). Let g be o/5 + 6/10. Solve -g = 5*r - 4 for r.
-2
Let o be -6*-1*6/9. Let n be 0/o*1/(-3). Suppose 5*h - 4*f = 28, -h + 0*f = f - 11. Solve b + b + h = n for b.
-4
Let t(o) = o**2 - o - 1. Let r(s) = 4*s**3 + 2*s**2 - 3*s - 4. Let p(z) = r(z) - 4*t(z). Let n be p(1). Suppose -n*b = b - 4. Solve 3*w = b - 16 for w.
-5
Let y = -3 - -7. Suppose 12 = y*f + 4. Solve -f - 1 = -t for t.
3
Let a = -43 + 43. Solve -3*l + l - 6 = a for l.
-3
Let y(u) be the first derivative of u**4/4 - 4*u**3/3 + 2*u**2 - u - 1. Let n be y(3). Solve n*s - 4*s = -2 for s.
1
Suppose -29 = -4*b - 5*w, -3*b - w = 2*w - 18. Solve 3*s + b = -11 for s.
-4
Let k be ((-8)/(0 - 2))/1. Let p = k + -2. Solve -p = -h - h for h.
1
Let y be 14/(-18) - 2/9. Let q be (0 - 1)*(-2 + y). Suppose 0 = i + q*u - 14, -3*u = -i - 0*u - 10. Solve i + 10 = -4*k for k.
-3
Suppose -1 = 3*x + 4*t, 5*x - 1 = -2*t - 2*t. Let y be 1 + (-3 + 7)/x. Solve -3*h = -4*h + y for h.
5
Suppose -8*z = -z. Solve j = -z - 4 for j.
-4
Let v = -7 + 9. Suppose -3*i + 8 = v. Let u(k) = k**2 + 5*k - 6. Let q be u(-6). Solve q = -i*c - 4 for c.
-2
Suppose -8*a + 4*z - 10 = -3*a, 0 = -2*a + 4*z - 16. Solve -a*n + 0*n = 0 for n.
0
Suppose -2*b = 33 - 5. Let c = b - -17. Solve 4*w = c*w + 5 for w.
5
Let f(a) be the second derivative of a**3/6 - 3*a**2/2 - 2*a. Let o be f(3). Solve o = -7*w + 3*w + 16 for w.
4
Let n = 21 + -19. Suppose -2*c = -n*x, 0 = -c - 2*c. Solve x = a - 0*a - 5 for a.
5
Let c(v) = 2*v + 10. Let j be c(-7). Let q be ((-21)/(-14))/((-2)/j). Suppose -q*b - 1 + 7 = 0. Solve -b*p + 0*p = 10 for p.
-5
Suppose -1 = -2*l + 3*m - 8, 0 = 4*l + m - 21. Suppose -4*v - l = 0, -5*v = -3*k - 4*v + 7. Solve r = k*r for r.
0
Suppose -3*f = -5*h + 42 + 5, -h - 5*f = 13. Solve 3*q = h*q for q.
0
Let f(l) = -l**2 + 8*l - 5. Let s be f(7). Suppose -v = -s, -5*v + 3*v = -d. Let y be (1 + 0 - -3)/1. Solve -y + 16 = -d*p for p.
-3
Let c = 2 + 1. Suppose -3*b - c*m = -12 - 9, 3*b - 39 = 3*m. Suppose -2*z - 3*z = 0, -b = -5*n + 5*z. Solve -q + n*q = -2 for q.
-2
Suppose -3*a + 2 = -2*a. Solve a = -3*r - 13 for r.
-5
Let a = -6 + 7. Let t = a + 2. Let k be 2*(3 - 0)/t. Solve k*l - 6 = -0 for l.
3
Suppose 0 = -2*j - 3 + 1. Let v be j/(-2)*-2 + 2. Let r be v*-3 + 2 + 10. Solve 0 = -2*o + 1 - r for o.
-4
Let z(n) = -12*n**3 + n. Let d be z(-1). Let k = 14 + d. Suppose -h = 3*t + 2*h - 21, -5*t = 3*h - k. Solve 3*a = -t*a for a.
0
Let x(v) = -4*v + 4. Let n be x(1). Solve -g = -n*g - 1 for g.
1
Let f be (-4)/(-2) + -5 + 7. Let b(l) = -l. Let h be b(-1). Let c be 1/(-2)*-6 - h. Solve 0 = c*p - f*p for p.
0
Let w = 3 - -3. Let u = w + -4. Let f = 323 - 323. Solve u = -j - f for j.
-2
Let v(k) = k**2 + 7. Let p be v(0). Solve 4*o + p + 1 = 0 for o.
-2
Suppose 4*k = -3*k + 112. Solve -k = 2*m + 2*m for m.
-4
Let o = 91 - 88. Solve 0 = t + o*t - 4 for t.
1
Let i(d) = -4*d**3 + d**2 - 1. Let x be i(-1). Suppose x*w = -w + 25. Solve a = 2*a + w for a.
-5
Let a = -3 - -5. Suppose 0 = j + a*r - 2, 0*r = 4*r + 8. Solve -c = -3*c - j for c.
-3
Suppose -3*g = -6*g + 9. Solve -g*o = -o + 2 for o.
-1
Suppose 7*r = 2*r - 30. Let z be r/2*(-2 - -1). Solve -a - 6 = -z*a for a.
3
Let m(s) = 3*s + 31. Let l be m(-8). Solve -9*n + l*n = -2 for n.
1
Suppose -3*q + 27 = 2*b, 3*q = q + 2*b + 8. Let s(t) = -88 - 3*t**2 - t + t**3 - 4*t**2 + 95. Let n be s(q). Solve -c + n*c = 0 for c.
0
Let k(o) = -o**3 - 3*o**2 - o. Let m be (9/3)/(0 + 1). Suppose 4*c + 3*d + 27 = 0, -m = 4*d + 17. Let b be k(c). Solve -2*z = b*z for z.
0
Let b = 9 + -8. Let x be -2 - (3/b + -19). Solve 2*g - 4 = -x for g.
-5
Let n = -8 - -1. Let c = -5 - n. Let b be 2/((2 + -1)/c). Solve b*y + 5 = -3 for y.
-2
Let n = 13 - 13. Suppose 4*b = 0, -5*d + 3*b + 41 + 89 = n. Solve -6 = 4*p - d for p.
5
Suppose -2*o - 18 + 24 = 0. Solve -o*d - 5 = 4 for d.
-3
Suppose 2*s + t = 3*s - 8, s - 18 = 3*t. Solve s*v = v for v.
0
Let j = 1 - -2. Solve -j*v + 0*v = 6 for v.
-2
Let d(b) = -b + 3*b - b + b**2 + b**3. Let p be d(0). Solve -l + 3 = -p for l.
3
Let v = 52 - 10. Let c be (v/(-24))/((-2)/8). Let u(i) = i - 5. Let j be u(c). Solve -p + j*p = 2 for p.
2
Let s be (-4)/(-2) + -7 + 7. Let i be (-4 + (-8)/(-2))/s. Solve -1 = -o - i for o.
1
Suppose 4*h = 2*y + 6 - 8, -4*y = 2*h - 24. Solve 0 = h*t - 3*t - 4 for t.
-4
Suppose -8 + 4 = -l. Suppose -p + 0*p = -4*z + 66, 4*z - 5*p = 74. Solve l = 4*k - z for k.
5
Suppose 2*v + 6 = -2*a, -v + a - 13 = 4*a. Let u be (-2*3*-1)/v. Solve 4 = t + u for t.
1
Let v(k) = k**2 - 5*k. Let j be v(14). Suppose -5*i + j = 1. Solve -3*d = 2*d + i for d.
-5
Let t(q) = 8*q**3 + q**2 + q - 1. Suppose p - 6*p - 11 = 4*v, -3*p = -3*v - 15. Let z be t(p). Solve 3*d + 0*d = z for d.
3
Suppose 0 = -3*k + 9, k - 5 + 2 = 3*t. Solve -2*x + 3 - 1 = t for x.
1
Let l be (-78)/(-24) + (-2)/8. Let h(w) = w**2 - 2*w - 2. Let a be h(l). Suppose 2 - a = d. Solve d = -0*u - u for u.
-1
Let t(z) = z - 8. Let l(k) = -9*k + 1. Let s be l(-1). Let r be t(s). Solve 0 = 2*p + 6 - r for p.
-2
Let g be (1 + -2)*0/(-1). Solve 4*q + 2 + 6 = g for q.
-2
Suppose -4*b = -2*w + 12, 2*w + 0*b = -2*b - 6. Let i be ((-2)/(-4))/((-1)/(-12)). Suppose i = -3*d + 6*d. Solve 0 = -w*m - m - d for m.
-2
Let t be 1*-2 + (-1 - -5). Suppose 4 = 2*f - p + t, -4*p - 2 = -5*f. Solve f*a = -3*a for a.
0
Let w = -14 + 27. Suppose -5*p - 3 = -w. Let m(h) = 3*h - 1. Let t be m(2). Solve -t*z + 7 = p for z.
1
Suppose 6*c - 2*c - 8 = 0. Suppose 0 = -0*m - c*m + 10. Solve -2 = m*q - 7 for q.
1
Let k be (-2 + (-3)/(-3))/(-1). Solve -n + 6 - k = 0 for n.
5
Let y be 1/((-1)/19) + -1. Let w be 168/y + (-2)/(-5). Let a = -5 - w. Solve -3*q + a + 3 = 0 for q.
2
Let r(x) = -2*x - 4. Let d be r(-3). Suppose -3*h = -2*w - 10, w - 2 = d*h - 9. Solve 16 - 4 = -h*z for z.
-3
Let l be ((-2)/2 + 0)/(-1). Suppose 3*g + x = -4*x + 34, 0 = -5*g - 3*x + 30. Suppose -5*s + 4*s + 3 = w, w = 2*s + g. Solve s = -2*r + r - l for r.
-1
Suppose 3*y - 4*y = 0. Suppose y*v + 4 = v. Let l be 11*1/(-4)*-4. Solve v*x - l = 5 for x.
4
Let t be (1 + -6 - -2) + 6. Solve h - 2 = -t for h.
-1
Let x(r) = 2*r**2 + 7*r - 1. Let p be x(-4). Suppose -l + 0 + p = 0. Solve -l*v = v for v.
0
Let s be -3*((-4)/3 - -1). Suppose 5*t + 3*r - s = 1, r = 3*t + 10. Let l(g) = 2*g**2 - 2. Let i be l(t). Solve -2*v = -i*v - 20 for v.
-5
Let j(k) = -k**3 - 14*k**2 + 15*k. Let u be j(-15). Solve 2 = c - u for c.
2
Suppose -4*i + 12 = i - 4*d, -4*i + 12 = -4*d. Solve p + i*p = 0 for p.
0
Suppose z + 5*b - 4 = 6, z + 8 = 4*b. Let m = -7 + 6. Let n be (4 - -1) + m + -1. Solve z = -r - 2*r + n for r.
1
Let r(f) = 2*f + 16. Let k be r(-6). Solve -d - 1 = k for d.
-5
Let n(v) = v**2 - 3*v + 2. Let i be n(3). Suppose 5*a - 5*t = -10, i*t + 2 - 12 = 0. Solve -15 = a*k - 3 for k.
-4
Let m(o) = -7*o + 1. Let r be m(-2). Suppose 3*g + 3*t - r = 0, 0*g - 4*g + 14 = 2*t. Let f(v) = 4*v**2 - v - 2. Let x be f(-2). Solve -2*y - g*y - x = 0 for y.
-4
Let y(z) = 3*z + z + 6 - 5*z + 6. Let t be y(6). Solve -4*n + 2*n = -t for n.
3
Let g(q) = q**3 - q - 3. Let b be g(0). Let n = -1 - b. Suppose -2*y + y + 2*l + 12 = 0, -n*y + 2*l = -20. Solve -3*w = -