
Let w(f) = 0 + f**3 + 0 + 1 - f + f**2. Let a be w(1). Let i be ((-6)/(-3))/a + 2. Solve 0 = -5*z + z - 5*g + 19, -9 = -i*g for z.
1
Let i = 6 - 2. Solve 2*b - 4*x + i = 0, -19 = -4*b + x - 2*x for b.
4
Suppose -3*b - i = 3 - 8, -4*b + 4 = 2*i. Solve 0 = -4*v - 11 + b, -2*v - 6 = p for p.
-2
Let v = 50 - 45. Solve -i = -v*c - 4 + 5, 2*c = 0 for i.
-1
Suppose -4*c = r - 7 - 13, 0 = 2*c - 4*r - 10. Suppose 3 = 2*k - 9. Suppose n + 10 = k*n. Solve c*i + 2*v + 22 = v, -11 = i - n*v for i.
-5
Suppose -5*z + 20 = 0, -d = 2*d - 2*z - 7. Let v be (-8)/(-12)*(1 + d). Let p(m) = m**2 - 2*m. Let t be p(2). Solve t = y + q + v - 3, -2*q - 8 = 0 for y.
3
Let q(n) = n**2 - 6*n - 11. Let a be q(8). Solve -5*p = 4*s - 23, -5*p + 0*s + a = -5*s for p.
3
Let m = 32 + -33. Let n be (0 + 3)/(m + 2). Suppose i - 11 = -3*c, -3*c + 17 = 3*i - 2*c. Solve -20 + 3 = 4*v - n*g, 5*v - i*g + 20 = 0 for v.
-5
Let n = 2 + 0. Let l = n + 6. Suppose -l*i = -3*i - 20. Solve -3*k - 4*j + 10 = -6*j, -4*j = i*k for k.
2
Suppose -3*w + 6 + 9 = 0. Suppose 0*j = 4*j + 16, d - 17 = -w*j. Let o = d + -22. Solve -2*i - 3*z + z + 16 = 0, 3*z - o = 0 for i.
3
Let p(k) = -k**3 + k**2 + k - 18. Let w be p(0). Let y be 332/14 + w/(-63). Suppose 3*u - 13 = 11. Solve 6*f - 2*f + y = -5*x, -4*f = x + u for x.
-4
Let r(h) = -2*h - 1. Let u be r(-2). Solve -4*w + 3*z = 21 - 4, -18 = u*w - 4*z for w.
-2
Let p be (1 + -1)/(-4) - 0. Suppose 2*c + 2*c = p. Solve 0 = -o, c*l + 2*o - 10 = 5*l for l.
-2
Let w = -87 + 91. Solve 5*u - 9 = w*r + 15, -u = -5*r - 9 for u.
4
Let c(v) = v**2 - 5*v + 4. Let u be c(5). Solve 0 = u*h + 3*a + 6, 0 = 3*h + h - 4*a + 20 for h.
-3
Let l = -4 - 1. Let b = l - -7. Solve 5*n = -b*r - 15, 3*r = 3*n - 0*n + 30 for r.
5
Suppose -7 - 2 = 3*k, 5*t + 114 = -3*k. Let z = 30 + t. Solve 5*a = -3*i - i - 6, -2*a + 5*i = z for a.
-2
Suppose -w - 4*b + 3 + 16 = 0, 8 = 4*w - b. Suppose -4*a + 5*d + 40 = 0, -a - 2*a - 3*d = -w. Solve -2*p = -n - 8, a*p + 2*n - 3*n - 23 = 0 for p.
5
Let l(v) = -13*v**3 - v**2 + 1. Let f be l(-1). Solve 3*w + f = 4*w - 3*y, 0 = w - y - 5 for w.
1
Let p(q) = 7*q - 5. Let d be p(8). Let o = -26 + d. Solve -4*n = r + 21, 0*r - 5*n - o = r for r.
-5
Suppose -5*n = 3*d - 9, -5*n - 4*d + 4 = -3. Let u be (-76)/10 + 2/(-5). Let k = u + 23. Solve 4*a = 2*f - 20, -4*f - k = n*a - 0 for a.
-5
Let j = 20 - 18. Let s = 3 + -4. Let k = 3 + s. Solve -j = k*m + 5*f + 10, 5*f = -10 for m.
-1
Suppose 0 = 4*d - 6*d - 12. Let p be (-3)/(-6) + (-9)/d. Suppose 4 = p*i + 4*c, 0*i = -5*i - c + 10. Solve i*q = 4*z - 24, -3*z = -0 - 12 for q.
-4
Let s be 3/9 + (-888)/(-9). Suppose -4*d - n + s = -0*d, -4*d = 4*n - 108. Solve -2*w + 3*p - 8*p = -13, 0 = 5*w + 4*p - d for w.
4
Let w be ((-9)/12)/((-1)/4). Solve w*i + 5 = 17, 4*i = -5*g + 36 for g.
4
Let v = 17 + -12. Suppose -3*d = 4*x - 4, -3*d - 37 = -5*x - v. Solve -3*r + 11 = x*j, 0*j - 4 = -3*j + 2*r for j.
2
Let g(v) be the second derivative of 0 - 3/2*v**2 - 2*v + 1/20*v**5 + 1/6*v**3 + 1/2*v**4. Let j be g(-4). Solve -m - 1 = 5*p - 6, -5*m - 4*p = -j for m.
5
Suppose -2*d - 2*t + 2 - 6 = 0, d + 4*t + 8 = 0. Solve k - s - 1 = d, -2*k - 3*s - 3 = 15 for k.
-3
Let h(z) be the second derivative of z**4/6 - z**3/3 - z**2/2 + z. Let m be h(-1). Solve 4*u - 10 = 2, 3 = -4*y - m*u for y.
-3
Let v(a) = a**3 + 5*a**2 - 8*a - 7. Let k be v(-6). Solve 2*n = -k*o - 2 + 18, 5*o = -4*n + 22 for o.
2
Let y = 13 - 11. Solve 2*g = y*w, g + 2 = 3*w - 4*g for w.
-1
Let h(w) = 6*w - 6. Let x(d) = d**3 - 3*d**2 - 3*d. Let n be x(4). Let v be h(n). Let r = 4 + -4. Solve -4*t - 12 = r, 3*p + t = -t - v for p.
-4
Let w be 13/7 - (-2)/14. Solve -d + 5 = -2*c, -2*c - w*c - 25 = 3*d for d.
-3
Suppose -4*s = 5*i - 2, 0*s = -2*s + 5*i + 16. Let v be 7 - (4 + (-6)/s). Solve -v*a = -a - 4*j, 3*j + 2 = 5*a for a.
1
Let m = -29 - -19. Let z be (-46)/m + 4/10. Solve -4*j - 3*q + 3 + 1 = 0, 4*j = -z*q - 4 for j.
4
Suppose -7 - 1 = -4*s. Solve -3*g + s*g + 4*l - 18 = 0, -2*g + 2*l = 6 for g.
2
Let x(o) = -o**2 + 9*o. Let r(l) = l**2 - 3*l + 2. Let y be r(4). Let f be x(y). Solve 5*i = -2*d - f, 2*d = -2*i - 2 - 10 for i.
-2
Let t = -54 - -78. Solve -4*q - 4*u = t, -3*q - u - 22 = 2*q for q.
-4
Let c(v) = -v**2 - 7*v - 10. Let y be c(-4). Solve 0 = y*b - 8*k + 3*k + 7, -k = b - 7 for b.
4
Let m(o) = o**3 + 4*o**2 - 6*o - 3. Let j be m(-5). Let b(n) = n. Let x be b(j). Suppose x*g - 20 = -3*g. Solve -3*r = -3*w + 3 - 0, -g*w = -r - 7 for r.
1
Let j be 2 + -8 - (0 - 2). Let y = 6 + j. Suppose 21 = 3*t - 0*t + 3*o, y*o - 11 = -t. Solve 1 = -5*i + l + 3, -t*l + 6 = -3*i for i.
1
Let s be (4/7 - 1)*7/(-1). Solve -s*q = -i + 15, -5*q - 25 = -0*i + 4*i for q.
-5
Suppose -2*q = -11 + 5. Let z be (0 + 0)/((-6)/q). Suppose z = 3*b - 12. Solve 5*u - 5 = d + b, -u + 1 = -d for u.
2
Let b = -7 + 29. Let o = -19 + b. Solve -k + 5*u - 20 = 0, -4*k - 8 = u + o*u for k.
-5
Let g(h) = -h**3 - 11*h**2 - 11*h + 1. Let x be g(-10). Solve -25 = 2*m - 5*u, -3*m - 2*u - 1 + x = 0 for m.
0
Let i be 1/(2/2) + 2. Let a be -3*(60/(-9) + 2). Suppose -2*d - z + 8 = 0, -4*z = -3*d + z - a. Solve i*j + 9 = 4*j + 4*q, -5*q + 21 = -d*j for j.
-3
Let t be (-1 - -4)/(3/2). Let h(j) = -j**2 + 12*j - 10. Let p be h(11). Solve 3*i = 2*i - p, -t*i - 11 = 3*m for m.
-3
Suppose -2*y = -0*y - 4. Let g be 1/(y/4 + 0). Let z = 40 + -32. Solve g*t = z, 2*d + 5*t - 45 = -3*d for d.
5
Suppose 4*w - 6 = 7*w. Let r be w/(-6)*4*3. Suppose r*z - z = 18. Solve 2*q + q - z = -2*f, 10 = 4*q + 2*f for q.
4
Let o be 5/(-4)*(5 + -1). Let w be (o/(-4))/(2/(-8)). Let r be w/15*12/(-2). Solve 5*y - 1 = -r*t, y - 2*y + t = -3 for y.
1
Let s(l) = -3*l - 8. Let x be s(-12). Solve -q = 4*m + m + 24, 2*m + 5*q = -x for m.
-4
Let a(o) = 2*o**2 + 3*o - 4. Let j be a(-3). Solve -1 = j*n - 5*x + 4, -2*x = -4*n - 12 for n.
-5
Suppose -3*t - 4 = -t. Let m = 5 + t. Suppose -4*g - 37 = -5*b, 2*b + b = -2*g + 31. Solve -2*h + 5*y = b, m*h - 4*y = -3*y + 6 for h.
3
Let z be 14/6 - (-14)/(-42). Let y(l) = -2*l - 6. Let i be y(-4). Suppose h - 3*h = i, 3*p - 5*h = 5. Solve -z*k = 10, k + 10 = u - p*k for u.
5
Suppose -18 = -2*w + 2*m, 6*w - 4*w + m - 6 = 0. Solve 5*y = -s - w, 0 = 2*s - 2*y - 2 for s.
0
Suppose -3*r - 3*x = 2 - 5, 5 = 5*r - 4*x. Let w = r + -1. Solve w = -3*t + 4*q - 7 - 4, 5*t - 2*q + 23 = 0 for t.
-5
Suppose 0*x - 8 = -3*n - x, 4*x = -2*n - 8. Suppose n*u = 7 + 1. Solve 0 = u*k - k - 3*z - 11, k + 2*z = -4 for k.
2
Let h be (2/4)/((-12)/(-96)). Solve 5*n = 4*a - 5, 2*a - 3 = h*n + 7 for a.
-5
Suppose -15 = -3*t + 8*t. Let u be (-1 + (-5 - -3))*t. Solve 5*o - u = 3*n, 4*o + 2*n = -o + 19 for o.
3
Let f be (-5 - (9 - 16))/(1/2). Solve 2*o - f = a - 2*a, -3*o = 5*a - 6 for o.
2
Let u be 2/10 - (-222)/15. Solve 0 = 5*v + u, 0 = -4*a + 3*v - 7*v - 4 for a.
2
Let s be (0 - 1)/((-6)/30). Let h(m) = 3*m + 6*m + 4*m**2 - 2*m**2 - 2. Let r be h(-7). Solve -5*w + j + 27 = 0, s*w - 3*j - j = r for w.
5
Let r(u) = -u - 1. Let b be r(-5). Solve -t - 4*o = -2*t + b, 4*o - 8 = 4*t for t.
-4
Suppose 3*s = -5*p + 27, 3*p = 3*s - 1 - 2. Solve -6*n + 12 = -2*n + s*l, 3*n - 3*l + 21 = 0 for n.
-2
Suppose 4*c = -4*p - 8, 2*c - c = 5*p - 2. Solve -5*x = -4*m + 18, x + 2*x - m + 8 = p for x.
-2
Let v = -53 + 56. Solve r = 3*w - 3, -3*w - w + r = -v for w.
0
Let x(w) be the third derivative of -w**4/24 + w**3/3 + 2*w**2. Let h be x(0). Solve 4*l + z + 5 = h, 2 = -l + z for l.
-1
Suppose 0 = z - 0*z + 7. Let p be (2 - 4) + (-24)/(-2). Let k = z + p. Solve -k*d + 28 = -5*o, -d + o + 1 = -5 for d.
1
Let m = -2 - -7. Suppose -2*z + 4*o - 1 = 7, 2*o - 40 = -m*z. Solve -2*j + 2*b = -z - 4, -16 = -2*j + 4*b for j.
2
Let v = 115 + -113. Solve v*r - 14 = 3*f, -5*r + r + 8 = 4*f for r.
4
Suppose -5*d = 5*c + 10, c - 2*d + 6*d + 14 = 0. Solve -11 = -s + 5*r, -c*s - 2*s + 10 = -3*r for s.
1
Let t = -112 + 117. Let h = 58 - 34. Suppose 4*x - h = -0*x. Solve x = t*q - 3*q + 2*g, 5*g = 2*q + 15 for q.
0
Suppose -4*z - 5 = -29. Solve 0 = -5*c - 0*v + 4*v - z, 3*v - 14 = -c for c.
2
Let g be 1/9*0 + 4/2. Solve -2*p = g*p - f + 14, 0 = 2*p - 4*f for p.
-4
Suppose -4 = 4*r - 24. Suppose -4*w - 12 = 5*g + 12, -r*w - g - 30 = 0. Let t = 6 + w. Solve -2*l + t*l + 4*f + 14 = 0, 2*f + 4 = 2*l for l.
-3
Let f(l) = l**2 + 4*l - 5. Let i be f(-5). Let g be i -