 + 16 - 3*s**3 + s + 2*s**3 + s**2 - 2*s. Let c be j(0). Solve 2*w + c = 7*w for w.
3
Let c be (15/3 - 2)*(-2)/(-3). Solve 0*v = c*v + 2 for v.
-1
Let c(q) = q. Let t be c(2). Let d = -9 - -27. Suppose -3*j - 2*r = -7 - 4, 2*r - d = -4*j. Solve 0 = v - j + t for v.
5
Let q = -10 - -2. Let h be (-2)/(-8) - 14/q. Solve h*k + 0 + 2 = 0 for k.
-1
Let d be 91/49 - 1/(-7). Let o be (-1 - -3)/(1 - 0). Solve -o*p + d = -p for p.
2
Let t(a) = a**3 + 6*a**2 + 7*a + 6. Let g be t(-4). Suppose -g = -5*x - 5. Suppose -3*c + 2*j + x = 5, 5*c - 4*j + 10 = 0. Solve -h + c - 1 = 0 for h.
1
Suppose -2*t + 6 = 0, l - 4*l + 3*t + 27 = 0. Solve -3 = -3*p + l for p.
5
Let m be 0 - (-4)/(2 - 0). Suppose 5*c - 33 = -4*r, 0 = -4*r - m*c + 14 + 4. Solve 0 = w + r - 5 for w.
3
Suppose -2*p + 10 = -5*v - 4, 3*p - v = 8. Solve -c + 2 = -p*c for c.
-2
Let f be (-7)/14*(0 + 0). Let l be f + (0 - 0/3). Suppose -3*h + 2*h = l. Solve 3*k + 12 = -h for k.
-4
Let z(y) = -y**2 + 5*y - 4. Let c be z(3). Solve c*v - 20 = -3*v for v.
4
Let g be ((-3)/1)/((-3)/2). Suppose p + g*p = 12. Solve 0 = o + o - p for o.
2
Let m = -117 - -117. Solve 2*l - 8 = -m*l for l.
4
Let s = -8 + 10. Solve v = -s*v - 15 for v.
-5
Let y(f) = -f - 7. Let t be y(-8). Solve t = -0*w + w for w.
1
Let n = -1 + 5. Suppose 5*b - 4*t - 15 = -0*t, -t = 0. Suppose 2*d + 26 = 2*p - b*d, -3*d = 12. Solve -n = -p*f + 7*f for f.
-1
Let t = -3 + -3. Let d be (10/t)/(2/(-12)). Suppose -7 + 3 = -2*l. Solve -4*s = -l*s + d for s.
-5
Let m(x) = x**2 + 9*x + 10. Let a be m(-8). Solve -3*l = -1 - a for l.
1
Let g(k) be the first derivative of -k**3/3 - 3*k**2 - 6*k + 1. Let b be g(-4). Solve 0*t + b*t = -6 for t.
-3
Let j = -1 - -6. Suppose 12 = -3*l, -k + j*l + 3 = -19. Suppose 0 = c - k - 1. Solve -o - c*o = 0 for o.
0
Let t be (-18)/24 + 3/4. Let q = t - -4. Solve 6 = -q*i + 2 for i.
-1
Suppose -3*l + 2 = -l + 3*s, s + 14 = 3*l. Let u be 1/(0 - 3/33). Let o be l/2 + u/(-1). Solve o = 5*k + 3 for k.
2
Let t(r) = -r**3 + 9*r**2 + 2*r + 2. Let f be t(9). Suppose 4*h + 4 - f = 0. Solve 6 - 2 = h*v for v.
1
Let i = -11 + 36. Suppose -i = -4*x + 3. Let n = 1 + 1. Solve x*r - n*r + 15 = 0 for r.
-3
Let d be 6/(-8)*-4 + 6. Suppose 0*v = 5*r - 2*v - 54, 3*v - d = 0. Solve -q + r = 3*q for q.
3
Let o be (-4)/(-16) - 7/(-4). Suppose 0 = -f + 3*y + 11, 2*f - 5*y = 16 + 7. Let h = -5 + f. Solve h = o*d + d for d.
3
Let u be (3 + -10)*8/(-28). Solve -u*r - 12 = -5*r for r.
4
Let x be -1 + 1 - (2 - 1). Let a be (-2 - 0/2)/x. Suppose -a*f + 7 = 3. Solve f*i - 7*i = 0 for i.
0
Let x(v) = v**2 - 8*v + 4. Let h be x(7). Let z be 0/h + (-2)/(-2). Let w = z + 3. Solve -u + w = 9 for u.
-5
Suppose -3*b = -0 - 3. Let y be ((-50)/(-20))/(b/2). Let s(i) = i**2 - 3. Let t be s(3). Solve y*c = t*c - 3 for c.
3
Suppose 3*a - n = 104, 13*a - 8*a - 170 = n. Solve a = -5*g + 8 for g.
-5
Suppose -5*a + 9 + 1 = 0. Let q be 0 + 3/(9/(-3)). Let s = q + 3. Solve 0 = -s*z - 4 + a for z.
-1
Suppose 4*t = y + 54, 0*y = -5*t - 4*y + 57. Solve 0 = 6*w - 17 - t for w.
5
Let s be ((-10)/(-6))/(1/3). Let v be (0 - 1)*-3*1. Suppose -4*y - v*p = -13, -p + 3 = -2*y + 2. Solve -y - s = -3*o for o.
2
Let m(k) = -5*k. Let b be m(-3). Let f be ((-9)/b)/((-2)/10). Let r be 6/(-9) - (-14)/f. Solve 2*q - 3*q - r = 0 for q.
-4
Let j(r) = r + 3. Let a be j(0). Let x be (-1 - -4)*6/18. Solve 0 = v - x - a for v.
4
Let t(d) = 4*d - 9. Let i(m) = m - 1. Let o(j) = 18*i(j) - 2*t(j). Let r be o(1). Solve 2*g + r - 4 = 0 for g.
-3
Let u = 100 + -94. Solve -2*m = -u*m + 12 for m.
3
Let u(c) = -c**3 - c**2 - c - 3. Let m be u(0). Let f = m + 4. Solve -2 = t + f for t.
-3
Let g = 0 - -1. Let l be -4 + 2 + g*-1. Let o be l/9*0 - -5. Solve 15 = o*r + 40 for r.
-5
Let k(o) be the second derivative of o**4/3 - o**3/2 + o**2 - o. Let n be k(2). Suppose -3*r = -n - 0. Solve -2*v - 6 = -r*v for v.
3
Let l be (-26)/39*-2*3. Suppose 5*p + 4*i + l = -0*i, -2*p + 4 = -4*i. Solve -2*w - 3*w = p for w.
0
Suppose -4 = -i + 3*k, -2*k - k = 4*i - 16. Let g(u) = 13*u**2 + u. Let b be g(-1). Let h be (b/(-2))/(2 - 4). Solve h*l - l + i = 0 for l.
-2
Let k(b) = -3*b**2 - 2*b. Let a(f) = -f**2 + f + 1. Let d(m) = -2*a(m) + k(m). Let u be d(-2). Let p be 17/(-51) - (38/(-6) - -3). Solve v + u*v - p = 0 for v.
1
Suppose 0 = 2*g + g - 3, 8 = 2*d + 2*g. Solve -d*c = c + 12 for c.
-3
Suppose 0 = 2*o - 12 + 4. Let h = -8 + o. Let g = h - -9. Solve g*b + 7 = 27 for b.
4
Suppose -4 = -3*a + 5. Suppose 0 = -a*x + 20 + 16. Solve 0 = -0*h + 3*h - x for h.
4
Suppose -z - 6 = -3*j + 3*z, 5*z = 5*j - 10. Solve -w - j = -2*w for w.
2
Let t(n) = 6*n + 22. Let m be t(-3). Solve m*v + 2 = 6 for v.
1
Suppose 5*m = m. Solve m*h = -h for h.
0
Let s(n) = -n**3 + n**2 - n - 1. Let u be s(-1). Solve -2 = u*o - 0 for o.
-1
Suppose 0 = x - 0*x - 4. Let f = -24 + 48. Suppose 3*m - 5*m = -f. Solve m = x*d - d for d.
4
Suppose 64 = 21*p - 5*p. Solve 3 = -3*l + p*l for l.
3
Let g(v) = v**3 + 12*v**2 - v - 9. Let b be g(-12). Suppose n + b*n - 8 = 0. Solve 2 = -n*s - 0*s for s.
-1
Let n be ((-8)/10)/((-7)/35). Solve -2 = -n*s + 2 for s.
1
Let g(p) = -p + 12. Let c = 34 - 24. Let x be g(c). Suppose -2*l = -3*l. Solve -y = -l*y - x for y.
2
Suppose 5*d - 3*d - 12 = 0. Suppose 3*a + 0*a = d. Suppose -4*i + a*i = -2*l + 14, 4*i = 20. Solve o = 4*o - l for o.
4
Let w be 5/10 - 25/2. Let p(g) = -g**2 + 10*g + 3. Let o be p(7). Let q = w + o. Solve -2*v = v + q for v.
-4
Let l(s) = -s**3 + 18*s**2 + 18*s + 20. Let h be l(19). Solve h = t - 2*t for t.
-1
Suppose 11 - 41 = -5*f. Suppose f*v - 2*c - 8 = 2*v, -5*v = 5*c - 25. Suppose 2*d + 18 = 4*y, 4 = -y - 3*d - 2. Solve -3*z = -v - y for z.
2
Suppose 4*o - 6 = o. Solve -3*p + o*p = -5 for p.
5
Let j = 11 - 9. Let v(h) = -h**3 + 6*h**2 + 3. Let u be v(6). Solve p - j = -u for p.
-1
Let t = 4 + -2. Let q(b) = 2*b + 3. Let w be q(-1). Let u be 2*(t/2 + w). Solve 8*h - u*h + 20 = 0 for h.
-5
Let q(z) = z**2 + 4*z - 2. Let o be q(-6). Suppose -r + o = -2. Suppose -5*a = -a - r. Solve -a*p = -7*p for p.
0
Let q = 49 + -34. Suppose -2*l + 4 = -6. Let g(k) = -k**2 + 6*k - 1. Let s be g(l). Solve -u = s*u + q for u.
-3
Suppose -3*w - 2*w + 34 = -3*f, -5*w - 4*f = -13. Solve w*g + 9 = -1 for g.
-2
Let s be 2*3 + -6 + 3. Suppose -s*a = a - 8. Let x(j) = 2*j**2 + j - 2. Let l be x(-2). Solve -l*i - 10 = -a for i.
-2
Suppose 83*l - 8 = 79*l. Solve l*f - 4 = -6 for f.
-1
Let f = -25 + 45. Solve 2*u - f = -3*u for u.
4
Suppose m = 6*m - 25. Solve m*k = -0*k for k.
0
Suppose -10 - 2 = 2*p. Let g = p + 6. Solve g = -3*v + 11 + 4 for v.
5
Suppose 2*n = -10, -2*n = -r - 7*n - 22. Suppose -2*m - 5*k = -20, 2*m - 5*k = m - 20. Solve 3*t = -m*t - r for t.
-1
Suppose 4*x = -2*g + 4, 0 = -x - 2*x + 4*g + 25. Let m(a) = a - 5. Let u be m(5). Suppose u*f + 3*f - 6 = 0. Solve x*t = f*t + 2 for t.
2
Let d(i) = i + 7. Let j be d(-6). Solve j = -u - 3 for u.
-4
Let w = -19 - -16. Suppose -5*n + 3*y = 9, 20 = -4*n - 3*y - y. Let s = w - n. Solve s*v + 2*v + 2 = 0 for v.
-1
Let s(a) = -3*a + 30. Let j be s(9). Solve j*v - v + 6 = 0 for v.
-3
Suppose -50 = -2*d - 0*d. Suppose -3*x + 5*c - 13 = 0, -4*x + 2*c = -c - 1. Suppose -r - x*r = -d. Solve 15 + r = -4*a for a.
-5
Suppose -6*m + 45 = -m. Suppose -4*n - 15 = 2*u - m*n, u = n - 3. Solve 3*s - 4 - 5 = u for s.
3
Let g(r) = -r**3 + 7*r**2 + 9*r - 4. Let b be g(8). Suppose -3*o = s - 4*s - 27, -o - 11 = b*s. Solve 3*n - o = -2*n for n.
1
Suppose -12*m + 16*m - 24 = 0. Solve v - m*v = 10 for v.
-2
Let u be (-3 - 10/(-4))*-10. Let v = 8 - u. Solve 0 = 3*i + v - 0 for i.
-1
Suppose 3*f + u - 18 = 0, -5*f - 5*u + 30 = -2*f. Suppose -f*y = -w - 3*w + 53, 18 = -w - 5*y. Let l = -77 - -80. Solve w + 8 = -l*o for o.
-5
Suppose -5*v + 3*j = 2*j - 85, 2*j = -2*v + 46. Suppose 3*l + v = 3*n, 8*l = 4*l. Solve 0 = -5*o + n + 4 for o.
2
Suppose 4*w + 2*y = -12 + 36, 4*w = 3*y + 4. Let g be (-1)/w + 66/8. Let n(u) = u**2 + 4*u. Let o be n(-4). Solve 5*q - g - 2 = o for q.
2
Let s(r) = -r**2 - r - 15. Let n be s(0). Let y(j) = j**2 + 14*j - 15. Let i be y(n). Solve -5 = -x - i*x for x.
5
Let m(z) = 2*z - 15. Let s be m(10). Solve 0*x - x + s = 0 for x.
5
Suppose 5 = 5*x - 70. Suppose -3*f = -6 - 12. Let g = f - 4. Solve 0 = -7*o + g*o - x for o.
-3
Let u(x) = x**2 - 2. Let n be u(-2). L