 p be (-1*(2 + z))/1. Solve p*q = -v + 2*q, v + q = 0 for v.
0
Suppose -g = -0*g - 5. Let q be 2/3 + (-8)/3. Let v = q + g. Solve l = 3*f + 4, 5 + 16 = -2*f - v*l for f.
-3
Suppose 3*r + r - 20 = 0. Suppose 3 = -r*k + 8*k. Let n be (-60)/(-16) - k/(-4). Solve 0 + 20 = -4*i + 2*t, -15 = 3*i + n*t for i.
-5
Let h = -30 - -14. Let k = 18 + h. Solve k*c + 11 = 1, 5*c = -2*f - 17 for f.
4
Let g(c) be the first derivative of -c**4/4 + 5*c**3/3 + 5*c**2/2 + 6*c - 1. Let i be g(6). Solve i = -5*f + 14 + 1, -4 = -4*k - 4*f for k.
-2
Let j(p) = -p**2 + 13*p - 13. Let t be j(11). Let v(n) = n**3 + 9*n**2 - 11*n - 10. Let m be v(-10). Solve -3*s = -t, 4*r + m*s - 31 = -5*s for r.
4
Let a = -37 - -39. Solve -4*n = 2*j + a, -n + 0*n - 4*j = 18 for n.
2
Let m be (-256)/40 - 4/(-10). Let t be (-55 - 2)*2/m. Let l(h) = h**2 - 5*h + 6. Let b be l(4). Solve 0 = v + v - b*r + 12, -4*r = v - t for v.
-1
Let n = -2 - -9. Suppose 8 = 3*y - n. Let h(x) = -x + 10. Let c be h(-7). Solve c = 3*m + 4*f, m - y*f + 4 = -m for m.
3
Suppose -3*k = k - 16. Let c be (-3)/6*-8 + -2. Solve 0 = k*x - n - 14, x + 4*n - c*n = -1 for x.
3
Suppose 2*m + 4*a = 16, -7 = -2*m - 2*a + 5. Solve 2*y + 0*y + 2 = 2*c, -3*y - 5 = -m*c for c.
2
Let z = 3 + -4. Let o be z*(-9 - 1*-2). Let y be (18/o)/((-6)/(-28)). Solve t + 3 = 0, y = 3*r + 5*t - 4*t for r.
5
Let i(k) = -8*k + 2 + 2 + k**2 + 19*k. Let c be i(-11). Solve -4*w - 6 + 2 = c*v, w = 4*v + 9 for v.
-2
Let y(o) = -o**2 + 6*o - 2. Let q be y(5). Solve 33 - 1 = 4*k + q*p, 2*k - 2*p = 2 for k.
5
Let j be (-10)/(-4) - 2*(-1)/4. Suppose -2*q - 4*o - 45 = -7*q, 0 = -5*q + o + 30. Solve v = -5*p - 21, -p = j*p - q*v + 11 for p.
-4
Let i = 1 + 1. Let j be i*1 + (-5 - -5). Solve -2*f = -m - 0 + 7, -j*f - 13 = m for m.
-3
Let q be -2 - ((-8)/2 + -3). Suppose 2*d - j = -2*j + 11, -q*d + j = -17. Let p be 2/(0 - 4/(-14)). Solve -d*z + p = 3*h - 2, -3*z - h + 8 = 0 for z.
3
Let s = -30 - -32. Solve -s*y - 2 = 2*b, -5*b - 7 - 2 = y for b.
-2
Let f = -8 - -12. Let t(d) = 2*d - 15. Let s be t(10). Let j be 54/(-4)*(-12)/9. Solve p = -s*w + 3*w + 9, -w = -f*p + j for p.
5
Let p(g) = -g + 8. Let t be p(4). Suppose t*w - 6 = 18. Let q be w/(6/2) - -1. Solve 2*l - 5 = -a, 8 + 12 = l - q*a for l.
5
Suppose 4*s = k + 17, 4*k + 5*s - 19 = 18. Solve 0 = p - 4*u + 19, -p - k*u - u = -13 for p.
-3
Suppose 0 = 2*b - 4*b. Suppose f + b*r - 6 = r, -3*f + 12 = -r. Let p be (-34)/(-6) + (-2)/f. Solve -4*j - 3*x + 28 = 0, -p*j + 14 = -x - 2 for j.
4
Let c(t) = -8*t - 6. Let u(r) = 7*r + 7. Let j(l) = 6*c(l) + 5*u(l). Let o be j(2). Let s = -15 - o. Solve 4*b + 3*d - s = 0, b + 0*b + 20 = 5*d for b.
0
Suppose -2*h - 19 + 1 = 0. Let u = 11 + h. Solve 5*i - i = 4*j + 8, u*i = 3*j + 8 for j.
-4
Let b = 28 + -25. Let a be (0 + b + -3)/3. Solve -f + 5*r - 29 = a, 7*r - 2*r - 25 = 0 for f.
-4
Let a be (-1)/12*-9*4. Solve 20 = -a*x - 4*b + 6, 3*x + 5*b = -16 for x.
-2
Let c be ((-1)/(-2))/((-5)/(-180)). Solve 5*a - 5*s + 2*s - c = 0, -5*s - 11 = -2*a for a.
3
Suppose -2*x + 3*p + 16 = -p, 2*p - 20 = -x. Let d(w) = 2*w**2 - 2*w + 1. Let y be d(1). Suppose -x = -m - y. Solve -2*k + 4*j - m = -j, 3*k = -5*j + 18 for k.
1
Suppose 0 = 16*u + 5*u. Solve u = i - 2*q + 5 - 0, 5*q + 7 = -4*i for i.
-3
Suppose 0*c = 2*c - 4*v - 28, -v - 25 = -5*c. Solve -n = -c*w - 15, 0 = 2*w - 0*n + n + 15 for w.
-5
Let u be 1104/64 + (-2)/8. Solve 5*i - g = 3*g, -2*i = -5*g + u for i.
4
Suppose -n + 11 = -0. Solve -5*g + 2*f = 1 - n, -f = 4*g - 8 for g.
2
Let b(l) = l**3 - 5*l**2 - 4*l + 6. Let c be b(5). Let q = -11 - c. Solve -1 = -o + q, o - 5 = x for x.
-1
Suppose 0 = -2*v - 3 + 9, 3*v - 15 = 2*p. Let w be p - (-63)/3 - 1. Solve 2*y = -5*r - 7 + w, -2 = -r - 5*y for r.
2
Suppose -3*c - 2*c = -3*y - 20, 3*y = 0. Solve -5*x - 3*a = -25, -15 = -4*x - c*a + 13 for x.
2
Let u(i) = -4*i + 9. Let v be u(6). Let k = v - -22. Let p = -5 + k. Solve -3*r = 2*d - p*r - 8, -5*d + 17 = 4*r for d.
5
Let n be 3*-1*33/9. Let c = n + 15. Solve -t + 4*t - 2*z = 17, -21 = -c*t + z for t.
5
Suppose -2*l + 1 + 0 = g, 3*l - 9 = -3*g. Let n = -41 - -45. Solve -g*t = -n*a + a, -a = 0 for t.
0
Suppose -3*u - 2*a - 3*a + 40 = 0, 5*u - a - 20 = 0. Solve 6*r + u*g = r - 15, -5*g - 12 = 4*r for r.
-3
Suppose -3*p + 17 + 13 = 0. Solve -2*f = 4*s - p, -f + 5 = -0*f - 5*s for f.
5
Let s = 2 - 0. Let u(j) = -j**3 - 11*j**2 - 13*j - 11. Let t be u(-10). Suppose 6 = -2*h + n + s*n, 5*h = -n + t. Solve -d - 5 = -0*d - z, -7 = h*d + z for d.
-3
Let s(y) = 3*y - 3. Let z be s(3). Let k = z - 2. Solve 0 = -f + k*h - 1, f + 3*h + 1 = h for f.
-1
Suppose 0 = -0*o - 5*o - 10. Let c = o - -3. Let v(i) = i + 9. Let k be v(-7). Solve 9 + c = -k*n, -2*x - 4*n = 26 for x.
-3
Suppose -3*l + 1 = -5, 4 = 2*h - 4*l. Suppose -x = -h*x + 35. Solve -3*z + z = g - x, -z - 3*g = -11 for z.
2
Let t = 11 + -6. Let b(o) = o**2 - 4*o - 5. Let q be b(t). Solve 4*u = -f + 13, 3*f + q*u + 17 = 2*u for f.
-3
Let i = -25 - -29. Suppose -i*l - 4*n + 9 - 1 = 0, 8 = -l + 4*n. Solve y + u - 8 = 0, l*y + 5*u = 2*y + 19 for y.
3
Suppose -2*j + 1 - 29 = 0. Let h = -9 - j. Solve -4*f - 28 = -4*w, 3*w - h*w - f = -2 for w.
3
Let c(w) = w + 12. Let b be c(-9). Solve 0 = 4*z + g + 2, 0*z = b*z - g + 5 for z.
-1
Let w = -13 + 18. Suppose -p + 4 = 0, 0*x + w*x - 31 = p. Let a be 3*(x/3 - 1). Solve 2 = u - a*b + 18, 2*b = u + 6 for u.
4
Let s(l) = -4 + 3 + l - 4. Let h be s(7). Solve a - x = -8 + h, 7 = -a + 2*x for a.
-5
Suppose -5*v + 3*d = -14, v + d = -d - 5. Let s = v + 6. Solve r - 7 = -2*u, u + 0*u = 3*r + s for u.
4
Suppose 5*n + 4*w = n + 36, -3*w = n - 17. Solve 0 = -3*v + 4*h + 10 + 21, 0 = -n*v + 5*h + 45 for v.
5
Let j be 2/(-5) - (-12)/5. Let m = -21 + 39. Let l be (j/(-4))/((-3)/m). Solve 0*h - 2*a + 7 = -h, -l*h = -3*a + 15 for h.
-3
Let u = -19 + 3. Let o = -11 - u. Solve -4*t = -2*m - 8, -o*t + 26 = 3*m + 5 for t.
3
Let a(s) be the third derivative of -s**5/60 - s**4/8 + s**3/2 + s**2. Let b be a(-3). Let g = 8 + 12. Solve -15 = -3*j + b*d - 0*d, 4*j - g = d for j.
5
Let n(f) = f + 11. Let o be n(13). Solve 4*s = 4*m + o, -6*m + m - 26 = -3*s for m.
-4
Suppose -5*t + 5 + 135 = 0. Solve -m - g - 8 = 0, -4*m - 5*g - t = -2*g for m.
-4
Suppose 55 = -8*u + 175. Solve 4*s + 5*o - u = -0, s + 2*o - 3 = 0 for s.
5
Suppose -18 = 3*l - 3. Let c = -3 - l. Suppose -c*k + 10 + 10 = 0. Solve -3*z + 14 = 5*t - 26, -t = z - k for t.
5
Let h(r) = 5*r**2 - 1. Let f be h(1). Suppose 14 + 20 = 3*k - p, -k = -f*p - 15. Solve 0 = -5*d + n + k, -3*d + 3*n = -d - 7 for d.
2
Let y = 22 + -7. Let x = -9 - -23. Let p = x + -9. Solve 0 = 5*r - 2*q + 19, -2 = -p*r - q - y for r.
-3
Let y(k) = -k**2 + 4*k + 7. Let s be y(5). Let z be (-4)/(-5)*(-20)/(-8). Suppose -z*r + 9 = -1. Solve r*t = -x + 25, s*t + 4*x - 33 = -x for t.
4
Let i(t) = t**3 + 6*t**2 + 9*t + 4. Let j be i(-3). Solve 0 = -5*n + r, -8*n + 3*n + j*r = 0 for n.
0
Let b be (20/6)/(4/24). Solve y - 2*x = -x + 7, 2*y - 5*x = b for y.
5
Let f(k) = 6*k**3 - k**2 + k - 1. Let d be f(1). Let p = d - 4. Solve -5*x + 11 = c, -5*x + 3*x = -5*c + p for c.
1
Let i = 7 + -10. Let r = 3 + i. Suppose k - 1 - 1 = r. Solve -y - 8 = k*c, 0 = 4*y - 3*c - 1 for y.
-2
Suppose -u + 2*u = 0, 0 = k + u. Let o(f) = -6*f**3 - f**2 + f + 2. Let c be o(2). Let j = -29 - c. Solve k = 2*y + i - 5, -5*y + j = -0*i - 4*i for y.
3
Let w(s) = s**3 - s**2 - s + 2. Let o be (-4 + 3)/(-1 - -2). Let q be (0/o)/(2 + -3). Let h be w(q). Solve -2 = -h*z + 2*x - 0, 0 = -x - 2 for z.
-1
Let f(d) = -6*d. Let j be (-1 - -2)/((-1)/3). Let t be f(j). Solve -2*h = 4*p - 0*h, 5*p = 2*h - t for p.
-2
Suppose 8*w = 3*w. Suppose -6*j + 4*j = w. Solve 0 = -3*a - r + 12, 3*r = 2*a - j*r - 19 for a.
5
Suppose -5*l = 4*d - 57, -2*d - 4*l + 4 = -4*d. Solve -4*h = -4*f + 36, -23 + d = 3*h for f.
4
Suppose -4*b + 3*v + 18 = 0, 3*b - 8*b + 40 = 5*v. Let i = 0 - -4. Let y = 6 - i. Solve 2*p = y*h - b, 3*h - 5 = -2*h for p.
-2
Let o = -35 - -40. Solve -5 = -6*f + f - o*n, 8 = 4*f + 2*n for f.
3
Suppose -12 = -9*k + 8*k. Let a(b) = b**2 - 3*b - 3. Let i be a(4). Solve -3*d - 3*g = -23 - i, -d + 3*g = k for d.
3
Suppose -5*y = 2*b - 5 + 26, 29 = 2*b - 5*y. Solve b*p + 0 = -3*a + 1, -5*a - 2*p + 3 = 0 for a.
1
Let p = 18 - 13. Let g(w) = -w**3 - 5*w**2. Let b be g(-5). Let d(c) 