*x + 2*x + 4*w = -14, -3*w = -4*x + 16. Let s = -1 + x. Solve 0 = z - s + 4 for z.
-4
Let r(g) = -4*g**2 + 1. Let a be r(1). Let u(o) = -3*o + 4. Let h be u(a). Solve -3*z + h = 4 for z.
3
Let o be -6 - (-1 - (2 + -2)). Let k = 11 + o. Solve -3*w + 9 + k = 0 for w.
5
Suppose 2*r - 6 = -4. Suppose h + r = 0, h + 2*h = -4*b + 21. Let n = 26 + -1. Solve b*x + n = x for x.
-5
Let x(h) = h + 17. Let v be x(-15). Let j = 0 + 0. Solve j = -t + 2*t + v for t.
-2
Suppose k + 3*u = 1 - 8, -3*u - 17 = -4*k. Let w(x) = x - 2. Let s be w(k). Suppose -r + 2*r = s. Solve -o + 4 = -r*o for o.
4
Let u = 18 + -14. Solve 2*t + 6 = u for t.
-1
Let l be (18/(-8) + 1)*-4. Suppose -n - 4*j + 28 = 0, 44 = 3*n - n + 4*j. Suppose -4*p + 3*p = l*r - n, -2*p = -5*r - 2. Solve 3 - p = 3*d for d.
-1
Let s = -25 - -29. Solve 1 = s*c - 3 for c.
1
Suppose 0 = 7*z - 3 - 11. Solve 0*u = z*u + 6 for u.
-3
Let m(j) = -3*j**3 + 2*j**2 + j. Let v be m(-1). Suppose -11 + 6 = -x. Suppose 0 = r - 0*r - x. Solve -3*w = r + v for w.
-3
Let s(l) = 2*l**2 - 2*l - 2. Let j be s(2). Suppose -j*d + 7 = -g, g + 3*g - 20 = -4*d. Solve -6 = -5*i + d for i.
2
Let y be (-4 - 225/(-36))*4*1. Solve y*i = 14*i for i.
0
Let l = -4 + 10. Suppose -12 = -l*z + 2*z. Solve 0 = z*x - 11 + 2 for x.
3
Let n = -19 - -13. Let x = n + -2. Let t = x + 13. Solve 0 = -t*l + 6 - 1 for l.
1
Let v(l) = 11*l + 1. Let p be v(1). Suppose -p = -2*a - a. Suppose 5*m - a*j + 10 = 0, 0*m - 5*m = -j - 5. Solve -m*w + 3*w = -5 for w.
-5
Suppose 64 - 4 = 5*f. Suppose 3*i + t - f = 0, 2*i + 3*t = -i + 18. Let b be (-1 - -3) + 40/4. Solve 5*s = b + i for s.
3
Suppose 3*u - 2*u = 2. Suppose -u = -3*m + 13. Solve 3 - 28 = -m*h for h.
5
Suppose -4*g - 2*r - 5 = -7*r, 4*g - 3*r = -3. Let w be 11 + 3 - g - 2. Solve -w - 13 = 5*v for v.
-5
Let l(r) = -r**3 + 6*r**2 + 8*r - 5. Let g = -1 - 2. Let x(w) = -3*w - 2. Let c be x(g). Let d be l(c). Solve -3*v + 3 = -d*v for v.
3
Suppose -5*c - 7*c = -2*c. Solve 0 = 3*w - c - 15 for w.
5
Let j be (-3)/12*-2*4. Suppose -2*z = -4*i - z - 5, z = -3*i + 5. Solve i*l + j*l - 10 = 0 for l.
5
Let h(q) = q + 9. Let m be h(-5). Solve -m*c = -9*c for c.
0
Suppose 6 = 3*b - 6. Suppose b*p = 8*p - 4. Solve -5 = 2*s + p for s.
-3
Let d = 7 - 11. Let r(j) = j**3 + 5*j**2 + 4*j + 4. Let t be r(d). Let n = 1 + t. Solve n*y - 2*y = -9 for y.
-3
Suppose 26*s - 18 = 23*s. Solve -4*t + 14 + s = 0 for t.
5
Let d = 25 - 19. Solve f + f + d = 0 for f.
-3
Let n = 34 - 32. Solve n*q + 2*q + 12 = 0 for q.
-3
Let x(u) = -4*u + 4*u - 1 + 16*u**2. Let y be x(1). Let b(q) = q - 3. Let g be b(6). Solve g*o - y = 6*o for o.
-5
Let y be (1*-1)/(-4 - -3). Solve -h + y = -2 for h.
3
Let t(o) = o**2 + 7*o + 8. Let j be t(-6). Let a(u) = -1 + 0*u - j - u. Let i be a(-6). Solve -1 = i*f - 2*f for f.
-1
Let p = -32 - -35. Solve -4*t + 3 = -p*t for t.
3
Let j(v) = -v**3 + 6*v**2 + 7*v + 10. Let p be 5 + -3 - -1 - 3. Suppose 0 = -5*g + 4*y + 35, p = -2*y - 2*y. Let m be j(g). Solve m = 2*s - 0 for s.
5
Suppose 3*g = -4*i + 6, -3*i + 7 + 4 = -g. Let f be -10*i/(-6)*1. Let q = 1 - -3. Solve 0 = -f*k - 1 - q for k.
-1
Let g be 8 + -2 - 2*1. Suppose -5*s - 3*p + 2 = 0, 2 + 0 = -2*s - g*p. Solve c - s + 4 = 0 for c.
-3
Let f(n) = 2*n + 4. Let k(b) = 2*b**2 + 5*b - 4. Let d be k(-4). Let c be f(d). Solve 2*r + 2*r = -c for r.
-5
Suppose -2*l + 0*m + 2 = -m, -5*l - 4*m = -31. Solve l*q + 1 - 10 = 0 for q.
3
Let z be (0 + -4 - -5)*0. Let j be (-1 - 0)/(2/(-10)). Suppose -2*x + 3 = j*s + 2*x, z = -2*s - x + 3. Solve 0 = -s*h + 5*h + 2 for h.
-1
Suppose -2*b = -3*a - 28, -3*a - 68 = -7*b + 3*b. Solve -b = 3*c - 5 for c.
-5
Let r(m) = -m**3 + m**2 - 3. Let j be r(0). Let w be (-2)/(-2)*j/3. Let a(g) = -3*g**3 - g. Let s be a(w). Solve s*x + x = 0 for x.
0
Let q be (-85)/(-25) + -3 + 26/10. Suppose t + 10 = 3*t. Suppose 2*x + 2 = -n + 3, 3*x - 3*n = 15. Solve -t - q = -x*g for g.
4
Let u = -3 + 0. Let x be (u - -3)/(0 - -2). Let j = x - -2. Solve j + 4 = -3*r for r.
-2
Suppose 4*t + 10 = 6*t, 0 = h + 5*t - 31. Solve 3 = -b + h for b.
3
Suppose 2*l - 4 = 2*w + 2, 5*l + w - 45 = 0. Suppose l = i - 4. Suppose -2*u + 5*u = i. Solve 9 = b - u*b for b.
-3
Let p = 7 + -7. Solve 3*o + o = p for o.
0
Let l(g) = -3*g**3 - 3*g**2 - 4*g - 2. Let q be l(-1). Solve 3*d = 4*d - q for d.
2
Let r(v) = v + 2. Let j be (0*(-2)/6)/(-2). Let y be r(j). Solve y = -0*s - s for s.
-2
Let f be 13/(-2) + (-3)/(-6). Let l be (-3)/((-9)/f) + 5. Solve -l*s - 25 = 2*s for s.
-5
Let k(q) = -5*q**3 - 17*q**2 - 11*q - 5. Let y(l) = 2*l**3 + 6*l**2 + 4*l + 2. Let r(o) = -3*k(o) - 8*y(o). Let i be r(3). Solve 0 = d - i - 2 for d.
4
Let f(i) = i**3 - 3*i**2 + i - 5. Let a be f(4). Let p = 2 - 2. Suppose 0 = 4*o - 8, -3*n - 3*o + p*o = -12. Solve 7*y = n*y - a for y.
-3
Let n = 1 + 2. Suppose 0 = n*s + 6. Let a be (-2)/4*s*0. Solve -3*r - 2*r = a for r.
0
Suppose 2*f - 2 - 8 = 0. Suppose -2*b - 5*n - f = 0, -b - b + 4*n = -4. Suppose b = j - 3. Solve 0 = -5*l + j*l - 8 for l.
-4
Let d be 2/(-7) + 58/7. Let n = d + -3. Solve -n*c - 9 - 6 = 0 for c.
-3
Let c(v) = 3*v + 2. Let m be c(-2). Let b = 7 + m. Suppose n - 2 = b. Solve 0 + n = -p for p.
-5
Let r = -9 + 10. Let f(p) = -4*p + 2 + 3*p - r. Let x be f(-3). Solve -w + 20 = x*w for w.
4
Let x = 6 - 7. Let l be 2 + 24/3*x. Let d = -1 - l. Solve 0 - d = -h for h.
5
Suppose -29 = -5*a - 9. Let g = -2 + a. Solve -2*p = -0 + g for p.
-1
Suppose y - 2*k + 4*k = 4, -5*k = 3*y - 10. Solve a + y + 1 = 0 for a.
-1
Let p(a) = -6*a**3 + 5*a**2 - 1 - 3*a**2 - a**2. Let y be p(-1). Solve y - 3 = -3*z for z.
-1
Let x = 4 - 2. Solve 0 = a + x - 1 for a.
-1
Let x be -3 - ((-1)/(-2) - (-51)/(-6)). Solve 3*c + x = -2*c for c.
-1
Let g(t) = -2*t - 1. Let x be g(-2). Let w(y) = 1. Let h(q) = -3*q - 5. Let r(d) = -h(d) - 6*w(d). Let f be r(1). Solve s + x = f*s for s.
3
Let q(t) = -t - 2. Let h be q(-5). Suppose -h*d = -8 + 2. Suppose n - d = 4. Solve -x = x + n for x.
-3
Let q(w) = w**2 + 5*w - 11. Let r be q(-8). Suppose -d - 4*a - 7 = r, a = -d - 5. Solve d*b - 2 = 2*b for b.
-1
Let y(a) = -5*a - 5. Let h be y(-3). Suppose -2*l + h - 4 = 0. Solve l + 9 = -3*w for w.
-4
Suppose 0 = -140*h + 137*h + 39. Solve -h = o - 9 for o.
-4
Let w(d) = -d**2. Let z(k) = -7*k**2 + k + 2. Let g(x) = 6*w(x) - z(x). Let i be g(2). Let t = i + 2. Solve r - 1 = t for r.
3
Let q be 32/6 - ((-16)/(-12))/4. Solve -q*d + 8 - 28 = 0 for d.
-4
Let c(k) = -k**3 + 6*k**2 + k - 2. Let d be c(6). Suppose -s + 2 = 3*s + 2*j, 4*j = d. Suppose 5*x + o - 6*o = 0, 4*x + 4*o - 8 = s. Solve -3 + x = -v for v.
2
Let j = -5 - -10. Solve -12 = j*o + 8 for o.
-4
Suppose -2*p = 4*x - 26, -2*x + 0*x + 3*p - 7 = 0. Solve -3*f = -x*f - 5 for f.
-5
Let d(h) = -h**3 + 11*h**2 - 3*h + 38. Let q be d(11). Solve -q*v + 12 = -v for v.
3
Suppose 0 = 15*j - 16*j. Solve j = -2*w - w - 12 for w.
-4
Suppose -4 = a + 3*a - 4*z, 4*a = z + 8. Solve 0*p = 3*p + a for p.
-1
Let u = 3 + -1. Solve 2 = d - u for d.
4
Suppose x = 3*b + 11, -3*b + 2*b + 23 = 5*x. Solve k - 2 = -x for k.
-3
Let g(r) = r + 1. Let s(c) = -c**3 - 7*c**2 - 7*c - 9. Let v be s(-6). Let m be g(v). Let p = 2 + m. Solve p*f + 6 = 2*f for f.
3
Let c(l) = -l + 5. Let h be c(5). Let y = h - -4. Suppose -4*w - 2*x + y - 2 = 0, -4*w - 4 = 4*x. Solve w*r + 2 = r for r.
-2
Let l(z) be the third derivative of 0 - 1/30*z**5 - 2*z**2 + 1/6*z**3 - 1/60*z**6 + 1/6*z**4 + 0*z. Let n be l(-3). Solve 6*i = i - n for i.
-5
Suppose 3*y = 13 - 4. Let t be -3*y*(-1)/(-9). Let n be t/(19/(-6) - -3). Solve -4*u - n = -18 for u.
3
Let y(o) = o**2 - 2*o - 1. Let u be y(4). Suppose -3*s + 16 = s. Suppose -14 = -5*l - s. Solve 0 = l*b - u*b + 25 for b.
5
Let y = 6 + -2. Let h(c) be the second derivative of -c**5/20 - c**4/4 + c**3/3 - 3*c**2/2 + 2*c. Let t be h(-4). Solve -y = q - t for q.
1
Let s be -5*(-2 - 12/(-10)). Suppose -y + 6 = 3*i + s*y, -4*y = 0. Solve -o = -6 + i for o.
4
Suppose -2*a - 28 = a - c, 5*a + 3*c + 56 = 0. Let s be 46/10 - 4/a. Suppose 0 = s*h - 15, 3*z - 5*h + 13 = 2*z. Solve z - 6 = 2*x for x.
-2
Let u(o) = o**3 - 5*o**2 - 4*o - 8. Suppose 2*q - 12 = -q. Suppose 24 = q*t - 0. Let m be u(t). Solve -w + 5 = m*w for w.
1
Let k(y) = 12*y**3 + y**2 - 2. Let j be k(1). Solve -j = -5*a + 9 for a.
4
Let t be (-16)/6 + 2/3. Let k = t - 3. Let