c = -4. Suppose 2*k - a = -0. Solve -2*u - k = 0, -2*w + 4*u - 6 = -16 for w.
1
Let k = 1 - -1. Suppose -12*q + 56 = 8. Solve n = u, -k*n - 15 = -u + q*u for u.
-3
Suppose 0 = -5*b + 4*l + 10, -4*b + 8 = -4*l - 4. Let m = b - -17. Solve 4*w = -5*y - 12, m = -4*w - 3*y + 3 for w.
-3
Let b be (-1)/4 + 2/8. Let c = -14 + 19. Suppose b = q + q + 4*h, -18 = -c*q - 4*h. Solve 0 = g - o + 3*o - 5, -q = -2*o for g.
-1
Let q = -3 - -7. Suppose -11 - 49 = -5*y. Suppose 3*p = -p + y. Solve -3*f = q*j + 14 - 41, p*f + j - 18 = 0 for f.
5
Let z be (-6)/(-21) - (-40)/56. Suppose j + 4*j = 3*i + 3, -3*j - 4*i + 25 = 0. Let o = j - 1. Solve u + x = 4, -x - z = -4*u - o*x for u.
-1
Suppose -4*d + 3*u = d - 19, 3*d = 4*u + 7. Solve 4 = -d*b - 2*k, 3 + 6 = 3*k for b.
-2
Suppose 5*t - 8 = t. Solve 3*f - 5*a = 17, -t*f + 13 = f - 4*a for f.
-1
Suppose 0 = -5*n - 6 + 36. Let k = n - 2. Solve -5*i = -3*y, -i - k = -4*y + 13 for i.
3
Suppose -8*u + 5*u + 12 = 0. Solve -3*r = 4*y + 23, r + 11 = -u*y - 10 for y.
-5
Suppose -k = -o - 0*o - 26, 2*o + 26 = k. Let n(f) = -9*f - 1. Let x be n(-1). Solve -5*l - 2*p = -l - k, -l + x = p for l.
5
Let u(m) = -6*m + 6. Let k be u(-3). Solve 3*c = 3*g + 3, 5*c + k + 11 = -3*g for g.
-5
Let k = -2 + 5. Suppose 65*s + 8 = 69*s. Solve d + 30 = 5*r + 7, -k*r + 6 = s*d for d.
-3
Suppose 59*u - 55*u = 20. Solve 4*a = y + 15, 0 = -u*y - 0*a - 4*a + 21 for y.
1
Let c = 3 - -1. Suppose -c*h = h - 50. Let j be 2 - ((-6)/(-3) - 2). Solve -2*g + h = -3*t - 3, 5*g = j*t + 27 for t.
-1
Let y(s) = -2*s - 5. Let z be y(-4). Let a(x) = 2*x - 16. Let h be a(8). Solve 0 = 5*q - z*c + 25, -2*q + q + 2*c - 12 = h for q.
-2
Let h be (-36)/(-7) - 1/7. Let p be (-3)/12 - 474/(-8). Suppose h*o = 3*n + 26 + p, 3*o + 4*n = 22. Solve -4*x + o = -3*b, -x = -3*x + 4 for b.
-2
Let p be (-68)/16*(-4)/(-1). Let q be -3 + (p + -3)/(-4). Solve -3*c = -5*r - 14, q*c = r - 4*r + 3 for c.
3
Let i(j) = j**2 - 2*j + 4. Let p be i(2). Solve -3*n - 2*l - 5 = 0, p*n + 3 = 2*l + 1 for n.
-1
Let i be (114/3)/2 + 1. Let n = i + -16. Solve 5*m + v - 23 = 0, n*m = -3*v + 13 + 12 for m.
4
Suppose 4*m - 1 = 7. Solve -2*t - 3*i - 17 = 0, -8 + 22 = -2*t - m*i for t.
-4
Let l be 0*1/(-3)*-3. Let y = l + 1. Solve 0 = -5*b + 2*w - 10, 11 = 2*w + y for b.
0
Suppose -2*q + 13 = -q. Solve 3*v + a = -11, -v + 2*v = 2*a - q for v.
-5
Let m = -56 - -71. Solve 0*z = 5*u - 5*z + 50, -5*z = 2*u - m for u.
-5
Let y(f) = f**2 - 4*f + 4. Let w be y(3). Solve s = 4*b + w, -2*s + 3*b + 4 = -3 for s.
5
Let v(d) = -3*d - 3. Let n = -8 + 6. Let j be v(n). Let h = 2 - 2. Solve 6*k = j*k + 3*r + 9, h = k + r - 5 for k.
4
Suppose 0 = 3*m - 5*a + 30, 4*m + 63 = -2*a + a. Let c = 15 + m. Solve 5 = -5*y + 5*q, c = -5*y - 3*q + 6*q - 5 for y.
-1
Suppose -3*u + 3 = -2*u, 2*c = -5*u + 49. Let v be (-2 + 1)*1*-2. Suppose 8 = -4*w, 3*i - 12 = -i + v*w. Solve -i*z = -f - 6, 5*z = f + f + c for z.
5
Suppose 0 = 2*f + 3*f + 2*j + 50, 0 = -2*j. Let b(z) = -z**3 - 9*z**2 + 9*z - 8. Let d be b(f). Solve -d*h = 4*t - h - 13, -h = -4*t + 11 for t.
3
Let f = 3 - -1. Solve -4*u - 15 = 3*w, -f*u = 4*w + 7 + 13 for u.
0
Let l be (-3 - -5)*(-22)/4. Let a = l + 15. Solve -3*p = a*o + 8, -p - 6 + 2 = 2*o for p.
0
Suppose -h - h + 40 = 0. Suppose -4*x - x = -h. Solve 2*w - 3*i = -0*i - 3, 0 = 2*w + x*i - 4 for w.
0
Suppose -4*y - 40 = -0. Let p = 13 + y. Solve 0 = c + p*u - 15, 2*c + 3*u - 15 = 5*c for c.
0
Let r(o) = o**3 - o**2 - 2*o + 1. Suppose 0 = -3*i + g + 5, i + 4*g = 2*g + 4. Let x be r(i). Let d = 1 - x. Solve 5*l + q + 17 = d, -5*l - q = q + 14 for l.
-4
Suppose 26 = 4*l + 3*b, -3*l + b + 13 = -0*b. Solve -3*a - 10 = -l*v, 30 = 4*a + v + v for a.
5
Suppose -25 = r + 4*r, 4*d - 4*r = 20. Let q be (-8)/2 + 8 + d. Solve q*g = -2*m - 14, 0*m - 4 = m - g for m.
-5
Let t be 26/8 + (-9)/(-12). Solve -4*o + 12 = 0, t*i + 3 = 2*o - 19 for i.
-4
Suppose 0 = -5*q + 4*m + 40, 0 = -2*q - 2*m + 15 + 1. Suppose 4*w = -q, 2*d - w = -d + 11. Solve 5*s - 25 = 5*r - r, -15 = d*r for s.
1
Let h be 35/14 - (-3)/(-6). Solve 2*d = -h*t - t - 11, 2*t + 4 = -3*d for d.
2
Suppose 1 = 3*y - 2*p - 1, -2*p = -y - 2. Suppose -y*z + 9 = z. Solve -5*r + 13 = 3*q - 6, 3 = -z*r + 3*q for r.
2
Let o be (-60)/(-14) + 48/(-168). Solve -4*t - k = -5*k, -5*k = -o*t for t.
0
Let f = 65 - 62. Solve -3*v = -f*b - b + 6, 5*b - 4 = 2*v for v.
-2
Let s = 14 + -11. Solve -4*u - u - 3*o = 40, 0 = 3*u - s*o for u.
-5
Suppose 0 = 5*j - 5. Suppose s + 2 = 3*s, 3*z - 4*s - 2 = 0. Solve y + 0 = 3*i + j, z*y - 2 = 0 for i.
0
Suppose -4*p + 2*o + 34 = 0, -2*p - 3*o = -5*p + 30. Suppose 4 - p = -n. Suppose 0 = -0*r - r + n. Solve 2 + 1 = -5*v - r*t, -2*t = 2 for v.
0
Let y be 1/2*(-5 - -17). Let l(z) = 2*z - 7. Let v be l(y). Solve 12 = g - 5*g - 4*t, -v*t = 0 for g.
-3
Let r be ((-7)/(-3))/((-2)/6). Let o = r - -14. Suppose -3*y = -5 - o. Solve w - 3*f = -16, -2*f = y*w + 2*f for w.
-4
Suppose 3*n - 5*n + 4 = 0. Solve 0*v - 3*m - 9 = -v, 4*v - 16 = n*m for v.
3
Let b be (24/(-9) + 4)/((-2)/(-3)). Solve -4*w + 10 = -b*q, 3*q + 2*w - 17 = -0*w for q.
3
Let w = -8 + 20. Let i be (-16)/(-56) - (-33)/7. Suppose 0 = 2*d + 3*a - 2 - 2, 0 = 4*d + a - 18. Solve 5*j = 5*n + 15, 3*n - i*j + w = -d for n.
1
Let g(u) be the third derivative of -u**4/6 - u**3/6 - 2*u**2. Let t be g(-1). Let x(n) = -n - 16. Let v be x(-16). Solve t*i = -v*p + 4*p, 0 = -2*p + 6 for i.
4
Let o = 54 - 49. Let p(c) = -3*c - 2. Let r(b) = -b**2 + b. Let j be r(2). Let l be p(j). Solve o*k + 15 = h, -l*k = -3*h - h - 4 for k.
-4
Let t = -7 - -15. Let s be ((-4)/6)/(t/(-12)). Suppose -3*r + s = -3*l + 10, -l = -4*r. Solve -5*p = -4*n + 16, 0 = -l*n - n + 2*p + 20 for n.
4
Let p(j) = -4*j + 5. Let c be p(0). Suppose -q + 9 = v, 3*q + 2*v - 30 = -2*q. Suppose -3*i + q*i - 3 = 0. Solve -i*a + 5*a - 5 = -c*w, -2*a + 11 = -w for a.
5
Let x(i) = -11*i + 13. Let u be x(1). Solve -2*d + 16 = r + d, 0 = -4*r - u*d + 14 for r.
1
Let u(x) = 2*x**2 - 2. Let s be u(-1). Solve -2*r + h = -r, s = -4*r + h for r.
0
Suppose o + 4 = 3*o. Let z be (9/(-2))/(3/(-18)). Suppose -o*r - 5*n = 3, 0*r - n = -4*r + z. Solve 2*m + 24 = 4*s + s, 3*m + 3*s = r for m.
-2
Let m = -9 - -13. Let d(n) = -n + 4. Let k be d(m). Solve k = -4*x + 4*h - 40, h = -2*x - 3*x - 20 for x.
-5
Let z = -12 - -15. Solve -z*d = 4*t, t = -3*d + 17 - 8 for t.
-3
Let p(k) = -k**3 + 11*k**2 - 22*k + 1. Let w be p(8). Solve o + 7 = -2*m, -2*m + 0*m - w = 3*o for o.
-5
Let q = 65 - 41. Solve 3*h + 1 = l, 0*h - 2*h - 4*l = q for h.
-2
Suppose 2*l = -2*h - 10, h - 5 = -l + 2*h. Solve l = -w - m + 1, -1 = -w - 4*m - 3 for w.
2
Let t(l) = -l**3 - l**2 - 1. Let a be t(-2). Suppose 2*x - 3 = 3*x + a*d, -d = -x + 1. Solve -v + p - 4 = x, 4*v + p = -p - 22 for v.
-5
Let c(w) = w**2 + 2*w. Let o be c(-3). Suppose x + 0 = 1. Suppose 2*y + x - 7 = 0. Solve -t - 11 = -o*t - y*v, -v + 9 = 2*t for t.
4
Let y be 2/(-3)*9/(-3). Suppose l - 4 = 0, -5*k = 5*l - 4 - 21. Suppose k = s - y. Solve -3*d - 6 = -s*r, 3*r - 2*r + 7 = 4*d for d.
3
Let g(b) = b + 12. Let l be g(-9). Let i be ((1 - 1)/(-1))/2. Solve i = v - 1, 3*s + v - l*v = -14 for s.
-4
Let o = -12 - 0. Let k = -57 - -56. Let y be (-8)/o*(k + 4). Solve r = -1 + y, 0 = 2*h + 3*r - 7 for h.
2
Suppose 2*q + 0*q + 8 = 0, 4*d + 20 = -5*q. Solve 5*k - 5*x = d, -2 = x - 2*x for k.
2
Let i(r) = r**2 + 3*r. Let x be i(-3). Suppose 23 = o + 20. Solve w + c - o = x, w + 3*c = 2*w + 1 for w.
2
Suppose -4*p = -7 - 1. Let g be (0 + -2)*(-11)/2. Let r = 13 - g. Solve -3 = -a - 2*n - p*n, -r = 5*a + 3*n for a.
-1
Let k(i) = -i. Let r be k(2). Let l be 24 + -1 + (-1 - 0). Let f be -2 + 1 + l + r. Solve -p + f = -3*v, -3*p - 7 = -6*p - v for p.
4
Suppose -5*i + 8 = -i. Let o(f) = f**2 - 7*f + 4. Let y be o(7). Suppose -i*d + 5*c = -3*d + 28, d - y = c. Solve 0 = 5*v, -3*j = -5*j + v + d for j.
4
Suppose 0 = -0*a - 3*a. Suppose -4*h = g - 0*h - 10, 3*g = 4*h - 2. Let y be (0*g/(-4))/(-1). Solve 4*r + 5*s + 9 = a, -4*s = -y*s + 4 for r.
-1
Suppose -68 = 2*t - 8. Let a be t/(-7) + (-8)/28. Suppose 5*v - 3*v = a. Solve -5*j + 4*l - 35 = 0, -l + 0*l = j - v for j.
-3
Let g be 5 + -1 + (-3)/(-3). Let a = 4 + -7. Let p = -1 - a. Solve -g*u = 4*k + 3, 0*k + p*k + 5 = u for u.
1
Let q = 7 - -5. Solve -2*l - q = -2*w, 2*w + l - 6*l - 21 = 0 fo