s*w - 5*y + 40 = -0*y, 5*y - o = 2*w for w.
-3
Let h = 67 + -62. Solve -f + 2 = 4*y, h*y + 4*f - 9*f = -10 for y.
0
Let z be (-1*(-20)/1)/(-1). Let v be (-264)/(-10) - (-8)/z. Solve t - 4*t = -6, 4*d - 5*t + v = 0 for d.
-4
Let h = 50 + -17. Suppose -4*d - h = -3*p, d - 8 - 3 = -2*p. Solve -5*z - 3*l + 17 = 0, -z + l - p = -4 for z.
1
Let h = 47 + -7. Let n(w) = -w**3 - 2*w**2 - 2*w + 1. Let a be n(-2). Solve 0*x - a*x - 13 = -4*l, -5*x - h = 5*l for l.
-3
Let o(x) = 3*x**2 + x - 6. Let b be o(3). Solve b = 4*z + 3*t - 7*t, 4*z - 29 = 5*t for z.
1
Let o = -27 - -30. Solve -o = 4*h + w - 10, 3*h = -3*w + 3 for h.
2
Suppose 3 = 3*v + 3*m, 3*v - 3 - 5 = 2*m. Solve v*t + 18 = 2*k, k + 3 = -0*k - 2*t for k.
5
Let f(j) = 2*j - 5. Let d be f(4). Suppose c = -i + 2*c - 16, 0 = -c. Let o = i + 19. Solve t + 7 = 2*s, -s + 3 = -o*t - d for s.
3
Let i = -2 - -17. Suppose 0 = 4*u - 1 - i. Solve 4*o = -4*s + 20, 8 = 4*o - 3*o + u*s for o.
4
Let q(g) = -g**3 + 7*g**2 + 7*g + 5. Let k be q(8). Let w be (-1 - (-1 - -1))*k. Suppose -5*v + w = -2. Solve 0 = -0*d + d - m - 9, 0 = 4*d + 3*m - v for d.
4
Let f = -28 - -4. Let a be (6/(-2))/(f/32). Solve d = -a*v, -3*d = 2*d - 2*v - 22 for d.
4
Let v = -29 + 34. Solve 0 = -v*b + 4*q - 2, -12 = 3*b + 3*q for b.
-2
Let g be ((-9)/(-6))/((-6)/32). Let q = 11 + g. Let c(p) = -6*p + 3. Let a be c(-5). Solve q*v = 3*r - 9, -4*r = 2*v + 3*v + a for r.
-2
Suppose 0*l - 2*l = -5*c - 35, 0 = -5*l - 4*c + 38. Suppose -9 = -3*w - 3*y, 2*w + 2*y = -w + l. Solve -12 = 2*d - 5*r + 10, 5*d = w*r - 21 for d.
-1
Suppose -28 + 9 = 2*r - 3*f, -14 = 2*r - 2*f. Let a be 8*(1 - (r + 1)). Suppose 3*g = 5*g - a. Solve 2*z + 1 = -m - 2*m, -z - g = -m for z.
-5
Let s be -18*4/(-4) + 1. Suppose 5*y = 44 - s. Solve -2*x - y*l + 7 = -x, -x + 2*l = 0 for x.
2
Let v = 3 - -2. Solve -2*w + v*n = -20, -5*n = -4*w + 2 + 28 for w.
5
Let j be (-1)/3 + (-39)/(-9). Let z = 63 - 46. Solve -2*g = 5*f + z, -j*g + 17 = -g - f for g.
4
Let l(o) = -o + 15. Let r be l(13). Suppose -11 = -2*f + a, 9 = r*f - a + 2*a. Solve 0*c = -3*n - f*c + 10, 3*c = 5*n + 40 for n.
-5
Let d(a) be the second derivative of -a**4/12 + 7*a**3/6 - 2*a**2 - a. Let i be d(6). Suppose -i*b - 8 = -6*b. Solve -4*q - 16 = 4*u, -15 = b*u + u for q.
1
Let f be (0 + 14)*(-12)/14. Let s be (-13)/(-4) + (-9)/f. Solve s*a - 2 = -z + 3, 5 = -a + z for a.
0
Let v = -14 + 16. Solve -4*q = -20, -17 = j - v*q - q for j.
-2
Suppose 0 = -3*b, -2*c + 4 = 4*b - 2. Solve k + 11 = -4*h + 4*k, 0 = c*k - 3 for h.
-2
Let k(d) = 3*d + 29. Let h be k(-9). Solve 0 = -2*c - h*c - 12, 0 = i + 2*c + 6 for i.
0
Let k be -1 + 1/((-2)/(-6)). Let y(p) = -4 + 2*p + 2 - 3 + 4. Let w be y(k). Solve s + 10 = -0*s + n, 0 = -w*s - 4*n + 5 for s.
-5
Let k = 4 - 2. Let x(q) = q**2 - q + q**k - 3*q**2. Let w be x(-1). Solve w*g - 20 = g - 5*t, 20 = 2*g + 2*t for g.
5
Let q = -59 + 63. Solve q*n + b = 20 + 1, 5*n - 4*b = 0 for n.
4
Let d(j) = j**2 + 4*j + 2. Let y be d(-5). Let a = 6 + -3. Let z = y - a. Solve 4*v + c + 19 = 0, -z*c - 13 = 3*v + 11 for v.
-4
Suppose 3*n - 12 = -0*n. Suppose -n*v + 0*v = 0. Solve v = -2*m + 3*b + 10, b = 3*m + 2*m - 12 for m.
2
Suppose -4*m = 7*o - 3*o + 36, 2*m = o - 9. Let f = -2 - m. Solve -b - 4 = -4*c, f + 0 = -b - 5*c for b.
-4
Let t(p) = -2*p - 7. Let m be (1 + 9)*(-7)/14. Let z be t(m). Solve -5*k = 2*i + 19, 0 = -5*i + z*i - 4 for k.
-3
Let a(n) = -n**2 - 8*n - 8. Suppose 4*h + 12 + 12 = 0. Let m be a(h). Let i = -49 + 61. Solve -4*g - m*x = -0*x - i, 5*x + 6 = 2*g for g.
3
Let w = 3 - -9. Let d = 14 - w. Solve 5*p + 19 = -3*i, -d*i - 10 = p - 2 for p.
-2
Suppose -c - 5*d - 19 = 0, -3*d = 4*c - 4*d - 29. Let w = 8 - c. Suppose 5*o = w*o + 12. Solve 4*b - 2*b + 7 = n, -b + 10 = o*n for n.
3
Let z(p) = -p**3 + 6*p**2 - p + 4. Let o be z(6). Let r(s) = s**3 + 4*s**2 + 2. Let a be r(o). Let l = a + -10. Solve 4*v + v = -4*t, -t - 3*v = l for t.
0
Let z(h) = -h**3 + 17*h**2 - 15*h - 14. Let p be z(16). Solve -3 = x + p*t, -x + 2*x - 5*t = 4 for x.
-1
Let g(f) = -7*f**3 + f**3 - 1 - 1 - f + 1 - f**2. Let c be g(-1). Solve -4*m + 4*u - 25 = m, 2*m + 27 = c*u for m.
-1
Let l = 1 - -9. Suppose 0 = -4*t + 3*x + 5, t + 8 + 2 = 3*x. Solve -3*z - l = -3*h + 5, -3*z = -t*h + 21 for h.
3
Let i = -1 + -9. Let r = -6 - i. Solve 6 + 8 = -r*n - u, -4*n = -5*u + 26 for n.
-4
Suppose z = -5*u + 30, 5*z + 0*z - 3*u - 10 = 0. Solve 5*y - 3 - 4 = -4*q, z*y - 4 = -3*q for q.
3
Suppose -k = -2*g + 1, 0*k + 3*k - 3*g = 3. Solve 3*y + 6*r - 3*r = -k, -r - 7 = -y for y.
3
Let h be 1/5 + (-6)/30. Suppose h = m + 2*m. Suppose m = -0*k + 2*k. Solve -6 = 2*u, 3*u = 3*t - k*u - 18 for t.
3
Let a be 4 + -1 - (-3 + 3). Let r = a - 3. Let j(c) = -c**3 - c**2. Let p be j(r). Solve -q = -4*z + 1 + 4, p = 4*z - 4*q - 20 for z.
0
Let a(c) = -c + 0*c - 8 - 4*c + 2*c. Let s be a(-7). Solve j + s = -4*g, -5*j - g + 10 = -1 for j.
3
Let g(m) = -m**3 - 4*m**2 + 6*m + 3. Let z be g(-5). Let o be (5/z)/((-9)/36). Let u = -7 + o. Solve -2*k = -u*d + 16, 2*d + 2*k + 0*k + 6 = 0 for d.
2
Let g(b) = b - 9. Let u be g(9). Solve -3*v = 5*c + 19, u = 5*v - v + c + 14 for v.
-3
Let x = -41 - -61. Solve -a = -4*g - 16, 4*g - a = -g - x for g.
-4
Let s(o) = o - 6. Suppose -23 = -y - 3*k, 2*y + y - 4*k - 4 = 0. Let v be s(y). Suppose 6 = v*q - 2. Solve p - 12 - 1 = -5*a, -a - q*p = -14 for a.
2
Let o be 2/(-5) - (-386)/(-10). Let z = o + 56. Solve -2*s + 4*s - 5*h = z, 4*s - h = 7 for s.
1
Let i(p) = -2*p + 1. Let a be i(2). Suppose 0*c + 15 = 5*c. Let j be a/((-1*c)/3). Solve 5*o - 8 = 2*k + 4, -5*o = j*k - 32 for o.
4
Let k = -22 + 37. Solve c = -3*y + 7 + 3, y - k = 2*c for y.
5
Let i = -10 + 7. Let s = i + 7. Let u be (-65)/(-15) - (-1)/(-3). Solve b + 16 = -s*b - 2*o, u*b + 11 = -o for b.
-2
Let k be 0 + 6 + 4/4. Let p = k - 5. Solve 2*l + 3*x = p*x + 1, -5*x = 5*l - 10 for l.
-1
Suppose -161 = -t - 157. Solve -t*q = 2*f + 24, -q + 3*q = -5*f - 28 for f.
-4
Let w = -29 + 11. Let h be 3/2*(-24)/w. Solve -h*i - 8 = -f - 4, -i - 16 = 3*f for f.
-4
Let a be ((-3)/6)/((-2)/8). Suppose -a*l + 3*z = -16, 0 = 5*l + 2*z - 6 - 15. Solve -2*c - 3*s - 2 = -4*s, c - 17 = l*s for c.
-3
Let g be (-4)/10 - (-17)/5. Suppose -14 = -g*h - 2. Solve 0 = -t + 3*d - 20, -h*t = -2*d - 7 + 37 for t.
-5
Suppose p + a = 2*p - 20, 4*p - 95 = -a. Let f be 1 - (1 - 2) - -1. Suppose f = -5*i + p. Solve -4*w + 12 = -3*t, 6*t - 2*t + 12 = i*w for t.
0
Suppose 2 = -o, 0*b - 5*o - 4 = 3*b. Solve 12 = 2*t - 3*v, -v - b*v = 5*t + 12 for t.
0
Let t = -19 - -38. Let v be (1 - -2)*(0 - 3). Let k = t + v. Solve -4*b + k = -2*r, 0 = -5*b + 2*r + 3*r + 5 for b.
4
Let t = -5 + 3. Let k = 1 - t. Let y = k - 1. Solve 3*u - 9 = u + 5*h, -u - y*h = 0 for u.
2
Let l be (-2)/4*(-5 - 3). Solve 2*f - 4*f + j = 4, 2*f - 8 = l*j for f.
-4
Let s be 16/6 + (-2)/3. Suppose 0 = s*k - 10 - 0. Let y = 133 - 115. Solve k*i - i + 5*c = 0, 2*i = 2*c - y for i.
-5
Let x be (-1)/3*(-9)/1. Suppose 0 = 3*y + 2*q - 5*q - 12, -x*y + 4*q + 14 = 0. Solve -y*f = -5*t - 0*t - 16, -5*f - 3*t = 22 for f.
-2
Let r(o) = -2*o**2 + 7*o - 3. Let h(j) = j + 0 - j**2 + 2 - 2. Let u(m) = -3*h(m) + r(m). Let f be u(-5). Solve -f*i - i - 17 = -2*s, -3 = i for s.
4
Let t = 5 - 6. Let k be ((-5)/(-5))/(0 - t). Solve 2*q = -2*h - 2, -4*q = h - 2*h - k for q.
0
Let s(p) = p**3 + 5*p**2 - 2*p - 2. Let w be s(-5). Suppose -4*b + 4 = -w. Solve 0*x - 3*x = 15, b*z - 5*x - 34 = 0 for z.
3
Let a(q) = q**3 - 12*q**2 - 15*q - 3. Let s be a(13). Let b = 34 + s. Solve -b*c + 0*c + 1 = -4*j, -3*j + 1 = -2*c for j.
1
Let c(b) be the third derivative of b**6/60 + b**5/60 - b**4/12 + b**3/6 + b**2. Let k be c(1). Let f = -16 - -19. Solve -3*m - 18 = -f*v, 6 = 2*v + k for m.
-4
Let x be (-4)/16 + (-47)/4. Let r be x/(-2) - 0/2. Suppose 3*d - 12 = r. Solve 3*l - 6 = 3*q, -d*q - 3*l = -2*q + 8 for q.
-2
Let y(k) be the first derivative of -k**4/4 + k - 1. Let a(g) = g - 7. Let l be a(6). Let s be y(l). Solve -14 - 7 = 5*i - s*p, -7 = 3*i - 4*p for i.
-5
Let j be (6/10)/(8/80). Solve 5*l + 5 = -3*b, -j*l + 2*l - b + 3 = 0 for l.
2
Let q be -1*(3 - 13)*-1. Let k = 13 + q. Solve 0 = -2*b - 5*m + 2, k*b - 2*m = 2*m + 3 for b.
1
Let d = 10 + -5. Suppose 3 + 12 = 5*y. Suppose -3*t + 15 = -y*j, 0*j = -4*t - j. Solve 20 = -4*w - d*p, w - 5 = p - 