17*1)/(-2). Let n be 4/(-16) - u/(-8). Solve n*c + 8 = -4 for c.
-3
Let w be (0/((-9)/3))/(-2). Solve w = -m - 3*m for m.
0
Let b(s) = s**3 + 6*s**2 + 3*s - 4. Suppose 0*y + 10 = -2*y. Let f be b(y). Let k = 18 - 13. Solve -f = k*r + 19 for r.
-5
Let i(v) = v**3 - v**2 + v - 6. Let a be i(0). Let s(c) = -c**3 - 5*c**2 + 6*c. Let d be s(a). Solve -15 + d = 5*u for u.
-3
Let j(b) = -b**3 + 2*b**2 + 3*b + 3. Let m be j(3). Suppose 0 = 5*r - m*r - 8. Solve -r*o + 1 - 21 = 0 for o.
-5
Suppose -3*a - 4*j = -2*j - 13, 5*j - 10 = 0. Suppose -2*v = 2*x - 4, v = 2*x + 4*v - 3. Solve 4*i - x = a*i for i.
3
Let z = -1 + 5. Suppose -8*h + 48 = -z*h. Solve p = -3*p + h for p.
3
Let j = 3 + -6. Let u(v) = -4*v - 5. Let s(b) = 8*b + 10. Let o(w) = j*s(w) - 5*u(w). Let l be o(-5). Solve -4*p + p = -l for p.
5
Suppose 6*t - 9*t - g = -4, 0 = -2*g + 8. Solve 4*f - 2*f = t for f.
0
Let c(v) = 2*v - 2. Let w be c(2). Solve -7*q + w*q + 10 = 0 for q.
2
Suppose 0*v - 3*v = -12. Suppose -s = -1 - v. Solve -s*d - 3 = 7 for d.
-2
Suppose -26*c + 28 = -19*c. Solve -2*p = -p + c for p.
-4
Let r(k) = -k**2 + k. Let q(n) = -n**3 - 11*n**2 + 12*n - 2. Let a(o) = -q(o) + 6*r(o). Let v be a(-6). Solve -3*c - v*c = 0 for c.
0
Let v = -6 + 32. Solve -v = 5*d - 6 for d.
-4
Suppose 2*j - 11 = 5. Suppose -p + 2*n + 5 = -j, -4*n = 16. Solve -2*a + p*a = 0 for a.
0
Let t be 32/3 + 3/9. Let y = 18 - t. Let c be 60/14 + 2/(-7). Solve -y + c = 3*q for q.
-1
Suppose -1 - 6 = -z. Solve -3*x = -z*x for x.
0
Let m be (-1)/(1 - 3/2). Suppose 150 = m*w - 5*w. Let u be (9/5)/((-15)/w). Solve 0 + u = 2*d for d.
3
Let k(b) = -b**2 - 5*b + 7. Let m be k(-6). Suppose -m - 7 = -2*a. Solve 0 = -3*x + x - a for x.
-2
Suppose 0*z - 3*z + 24 = 0. Suppose -4*g - 16 = 0, -i - 4*g + 1 - 17 = 0. Suppose 4*l - 8*l + 8 = i. Solve -l*w + 0*w = -z for w.
4
Suppose d - 12 = -4*z - z, -d - 12 = -3*z. Suppose 5*r - 19 = -k, -k + 0*k + z*r + 35 = 0. Suppose 2*x + 3 + 5 = -m, -2*m = -5*x - k. Solve -b - 3 = -m*b for b.
3
Let f(m) = m**3 + 9*m**2 - 12*m - 10. Let u be f(-10). Let b = -14 + 24. Solve -b = 4*p + u for p.
-5
Let b be 5/3 + (-2)/(-6). Suppose -4*k + 3*z = 2*z - 7, -2*k + z + 3 = 0. Suppose -2*f + 5*j - 7 + 23 = 0, k*j + 40 = 5*f. Solve 6*s - b*s = f for s.
2
Let m = 4 - 1. Suppose -2*b - m*y = -17, -3*b + 0*y + 15 = y. Let o be 1/2*2*b. Solve 9 = -t + o*t for t.
3
Let t be 1 - 0 - 14/2. Let o = -4 - t. Let i be (-11)/(-6) + 3/18. Solve 0*x - o = i*x for x.
-1
Let y = 6 + -2. Suppose -g + 6 = -q, -4*q - 6 = y*g + 2. Solve -g*k + k + 5 = 0 for k.
5
Suppose 3*g - 2*y = -0 + 8, -4*g - 4*y + 24 = 0. Solve g = -l - 0 for l.
-4
Let a be (-3)/(0 + (-3)/2). Suppose -a*s = -5*i + 18, -3*i - 23 = -8*i - 3*s. Solve -2*p + i = 2 for p.
1
Let o be 20/(-35) - (39/(-7) + 1). Solve -b + 5 = o*b for b.
1
Suppose -13 - 2 = -3*p, 10 = 5*m - 3*p. Suppose -2*j = -m*j + 6. Solve j*w - 5 = -3 for w.
1
Let r(f) = f**2 + 6. Let i be r(0). Solve i - 21 = 5*m for m.
-3
Let x(d) = d - 6 - 2*d + 0*d. Let b be x(-6). Solve b = -j - j for j.
0
Let z = -7 + 24. Let k = 6 - z. Let h = -8 - k. Solve 2 = h*i - 2*i for i.
2
Suppose -2*i = -5*n - 39, -7*i - n = -3*i - 133. Suppose i = 4*g - 0*g. Suppose -3*w = -7*w + g. Solve 0*j + w*j = 2 for j.
1
Let m(v) = v**3 + 6*v**2 - v - 2. Let j be m(-6). Suppose s = -3*n - n + 25, -n - 15 = -j*s. Solve 3*w - 1 = n for w.
2
Let w(t) = -t**3 - t. Let z(f) = -5*f**3 + 12*f**2 - 19*f + 10. Let g(m) = -6*w(m) + z(m). Let n = -22 - -9. Let a be g(n). Solve 0 - a = -2*l for l.
5
Let p(u) = u**2 + u. Let j(w) = 3*w - 1. Let c be j(1). Let h be p(c). Solve -h = -2*x - 0 for x.
3
Let n = -36 + 54. Suppose 3*d - 5 = 6*d + 5*x, 2*d - 2*x - n = 0. Solve 0*k + k - d = 0 for k.
5
Suppose 0 = v - 16 + 1. Solve -y = -6*y + v for y.
3
Let a be -2*-3*(-4)/(-8). Solve -a*d = 4 + 2 for d.
-2
Let b(k) = 3*k**2 - 1. Let p be b(-1). Suppose -p*z = -3*z. Suppose 12 = a + 2*a. Solve z = -a*l - 8 - 12 for l.
-5
Suppose -3*w = -2*w. Suppose -3*g = -0*a + a - 4, w = -2*g - a + 3. Let q = -5 + 8. Solve 2*n = -g - q for n.
-2
Let w(y) = y**3 - 8*y**2 + y + 4. Let h be w(8). Solve -p + 5*p + h = 0 for p.
-3
Let h be (-3)/((-3)/(-2)) - -18. Suppose -16 = -4*m, m - h = -u - 2*m. Solve u*b = 3 + 5 for b.
2
Let b(r) = r**3 - r**2 - 2*r - 27. Let u be b(0). Let o = u + 30. Solve -3*p - o = 3 for p.
-2
Suppose 0 = -3*k + 9*k - 12. Solve -k*f + 4 = -4*f for f.
-2
Suppose 4*h + 3*g + 0 - 5 = 0, 3*g = 2*h - 25. Suppose -5*l - 16 = 2*b, -13 = 2*l - 3*b + 1. Let f be -1*(l + -1) + -2. Solve f = s + h for s.
-2
Let t = -20 - -20. Let u(l) = -l + 10. Let d be u(6). Solve -c = d - t for c.
-4
Suppose 4*h - 2*d = 215 + 79, 365 = 5*h - 5*d. Suppose -5*o - k = -21 - h, 2*o - 30 = -2*k. Let l = 66 + -63. Solve -l*b - o = b for b.
-5
Let i be 21/28 - 15/(-12). Solve k = -i*k + 15 for k.
5
Let y = -20 - -22. Solve 0 = n - 2 - y for n.
4
Suppose 4*m = -2*c + 18, 2*c = m - 0 - 2. Solve i + m = -i for i.
-2
Let m(h) = h**3 + 3*h**2 + h + 3. Let k be m(-3). Let t = -86 + 86. Solve d - 4 + t = k for d.
4
Let y(b) = -4*b - 8. Let s be y(-4). Solve 0 = -s*h + 3*h for h.
0
Let z(n) = -n + 1. Let i be z(-3). Suppose -q = i*s + 1 - 3, 5*q = s - 11. Solve s + 4 = x for x.
5
Let v = -38 - -53. Solve -v + 5 = 5*y for y.
-2
Let a(c) = 2*c + 1. Let z(r) = -2*r**2 + 2. Let u be z(-2). Let x = u + 8. Let w be a(x). Solve m - w*m - 4 = 0 for m.
-1
Let j(l) = 3*l**2 - 8*l + 4. Let w be j(5). Let h = -24 + w. Let p(k) = -k**2 - 4*k + 1. Let v be p(-3). Solve 0 = v*x + x - h for x.
3
Let d(z) = -z**3 + 11*z**2 - 11*z + 12. Let p be d(10). Suppose -4*s + 10 = 3*t - p, 2*s = -4*t + 6. Solve -3*k - k = t for k.
0
Let f be (-1 - -2 - 0) + -2. Let k be 2 - (-1 - -2 - f). Solve 2*i - 7*i + 20 = k for i.
4
Suppose 5*v = -2*d - 58, 4*v = 3*v - 3*d - 22. Let j = 3 - v. Let i(g) = 4*g - 73. Let y be i(19). Solve 2*t - j = -y for t.
5
Let i = 1 + 1. Suppose 0 = -5*y - i + 17. Solve -2*t - 1 = -y for t.
1
Let j(f) be the first derivative of 0*f**3 + 0*f - 1/2*f**2 + 1/4*f**4 - 1. Let h be j(0). Solve 2*i - 1 - 1 = h for i.
1
Let f(u) = 3*u**3 + 10*u**2 - 3*u - 2. Let b(j) = -4*j**3 - 11*j**2 + 4*j + 3. Let o(s) = 2*b(s) + 3*f(s). Let n be o(-8). Solve -n - 4 = 3*v for v.
-4
Let y be (-16)/(-6)*(-9)/(-3). Let d = y + -5. Solve 0 = d*s - 0*s + 9 for s.
-3
Let k(x) = -6*x + 3. Let d be k(-2). Solve 0*l = 3*l + d for l.
-5
Let q = -6 - -6. Suppose g = -q + 3. Let n be (-12)/(-9) - (-2)/g. Solve -5*b - n = -22 for b.
4
Let l be 36/27 - (-2)/3. Solve k - l = -1 for k.
1
Suppose -2*c - 3*c = 60. Let z = -10 - c. Solve -z = l - 0 for l.
-2
Suppose 2*p = p. Let v = 0 + p. Suppose -2*n - 9 = -5*n, v = -a - n + 8. Solve a - 2 = -f for f.
-3
Suppose -4 = 4*g - 20. Solve -g*u - 1 = -3*u for u.
-1
Suppose -3 = -3*i + 9. Suppose 5*p - i*p - 3 = 0. Suppose 0 = -3*s - 2*s + 10. Solve 0 = -n + s*n - p for n.
3
Let n(o) = o**2 - 10*o - 19. Suppose -4*j - 23 = -75. Let w be n(j). Solve 3*s = w - 8 for s.
4
Let l = -33 - -35. Solve -l*q = 2*q + 8 for q.
-2
Let v = 15 - 15. Solve v = -w + 1 for w.
1
Suppose 3*o = 2 + 4. Let p be 12 - o - (5 + -2). Solve -1 = 2*l + p for l.
-4
Suppose 0 = x - 2 - 1. Let t = 22 + 106. Suppose l = -4*i - 0*l + 101, 5*i + x*l - t = 0. Solve 4*s = -s - i for s.
-5
Let a(t) = -t**2 - 7*t + 0*t - 6 - 2*t. Let p be a(-6). Solve 2*j - p = 6*j for j.
-3
Let j(z) = z**2 - z - 4. Let y be j(3). Suppose 0 = -5*a - 4*v + y, v + 1 = a - 3. Solve 3 = -a*x + 3*x for x.
3
Let r = 102 + -99. Solve -5*s + 4*s = -r for s.
3
Let v = 27 + -23. Solve -q = -v*q - 15 for q.
-5
Let z(i) = -3*i - 3. Let y be z(-6). Solve d + 4*d = y for d.
3
Let i(h) = h**2 - 7*h + 6. Let m be i(7). Solve -a + m - 2 = 0 for a.
4
Suppose 0 = -3*p - 2*t - 2*t + 24, 3*p = -2*t + 18. Let m be (2 + -5)/(-3) + 3. Suppose m*c = 10 + 2. Solve c*n = p*n for n.
0
Suppose 0 = 2*l - 6, 3*b + 2*b = -4*l + 12. Solve b = j + 4*j - 5 for j.
1
Suppose 5*t - 98 = -2*m - 4, 4*t - 74 = -m. Let o = t - 18. Solve o = 2*n + 3*n + 25 for n.
-5
Let l(m) = -m**3 + 6*m**2 - 4*m - 5. Let r be l(5). Solve s + 0 + 3 = r for s.
-3
Suppose -p - 1 + 7 = 0. Let r(y) = -2*y - 5. Let s(b) = 2*b + 6. Let x(a) = -6*r(a) - 5*s(a). Let j be x(2). Solve -2 = -j*w + p*w for w.
-1
Suppose 4*l - l + 3*g + 9 = 0, -3*l - 14 = 4*g. Solve -4*b = -14 - l 