Suppose -2*c + 4*c = 0. Let b be c*((-3)/(-2))/3. Let f be i(b). Solve 0 = 3*v + 3*l, 0 = 5*v + f*l + 2*l - 3 for v.
3
Suppose 13*q = 6*q + 14. Solve -2 = -3*r + u + q, r + u = 0 for r.
1
Suppose 3*l + 3*l = 2*l. Solve -2*y + l*u + 4 = -u, -3*u + 9 = y for y.
3
Let r be ((-3)/(-3))/(3/18). Let p = r - 6. Solve p*g + 6 = -5*u - 2*g, u - 2*g = 6 for u.
0
Let h = -83 + 86. Solve -4*v - h*r - 14 = 0, -3*r = 2*v + 2*r for v.
-5
Suppose 0 = -3*h - 0*o + o + 14, 2*o = 2. Suppose 5 = -4*d + h*d. Solve -d*u - 5 = -25, 5*b + 5*u = 20 for b.
0
Let q be (-2)/(-14) - 65/(-35). Suppose -3*b + q*j = 8, 4*b + 16 = 3*j + j. Solve 2*t + 4 = 3*x - 6*x, b = -3*t + 4*x - 6 for t.
-2
Let w(u) be the first derivative of -u**2/2 - 1. Let p be w(-5). Suppose 4*t - p*t + 5 = 0. Solve -m = -t*g + 13, 3*m + 23 = 4*g + 6 for g.
2
Suppose 0 = 3*l - 0*l - 21. Let t = -2 - -5. Let w(q) = 26*q**2. Let c be w(1). Solve -4*y + l = -t*a - 0*a, 4*a + 3*y = -c for a.
-5
Let b be ((-4)/6)/(10/(-45)). Suppose -b*d - d = -12. Suppose 3*j = -q + 2*q + 13, -5*j + 29 = 2*q. Solve -n = q*f + 8, -5*f - d*n - 21 = -n for f.
-5
Let k be -2*3/(12/(-10)). Solve -3*t + 3*c - 9 = 0, -k*t - 9 = -0*t + c for t.
-2
Let r(p) = -8*p - 1. Let g be r(-1). Let s = g - 5. Solve -s*w = -u - 5, -2*u + u = 5*w - 30 for w.
5
Let z(f) = -f + 7. Let x be z(6). Let g = 3 - x. Suppose g*r = 0, -6*d + 3*d = 4*r - 12. Solve 2*b = -d*q + 33 - 9, -5*q + b = -16 for q.
4
Let p = -2 + 6. Let i = 6 - p. Suppose 5*y - 3*q - 4 = 11, y = -4*q - 20. Solve -i*c - 2 = 3*n, y*c + 3*n = -3*c for c.
2
Let y = -4 + 10. Solve -4*x - 6 = -3*q, -y*q - 2*x = -q + 16 for q.
-2
Suppose y - 3*q + 1 = 2*q, -q - 7 = -y. Suppose 0 = -2*o + 3*o + y. Let p = o + 10. Solve 0 = 5*c + 3*m + 11, -20 = c - 5*m - p for c.
-4
Let s = -1 + -6. Let r = s - -11. Solve t + 9 = 4*a, 3*a + a - 24 = -r*t for t.
3
Let t(y) = y + 15. Suppose 0 = 2*z + 5*a + 12, 2*z = -3*a - 21 + 5. Let x be t(z). Solve 3 = -s + 6*s + x*u, -5*u = -10 for s.
-1
Let f(o) = o**2 + 5*o - 1. Let g be f(-5). Let j be (-26)/8*(g + -3). Solve 5*m - 2*m + j = -w, -3*w + 16 = -2*m for m.
-5
Let r(s) = -s**2 - 8*s + 5. Let t(g) = -2*g**2 - 16*g + 11. Let v(d) = 7*r(d) - 3*t(d). Let i be v(-8). Solve 7 = 3*n + 5*w, -2 = -n - i*w - 0 for n.
4
Let h(q) = q**3 + 7*q**2 + 9*q + 2. Let k be h(-5). Solve 0 = 5*d + 5, -1 = -i - 3*d - k for i.
-3
Let d(i) = -i**3 - 2*i**2 - 2*i - 2. Let g = -4 - -2. Let j be d(g). Let a be (j - 0) + (1 - 1). Solve -2*s - 5*b = -6*s - 4, 2 = -a*s - 5*b for s.
-1
Let l = 12 - 8. Solve 4*f + 0*h + 5*h = 32, 0 = 2*f - l*h + 10 for f.
3
Let c(d) be the first derivative of d**2/2 - d + 1. Let g be c(0). Let t = g + 3. Solve 0 = -x - x + 2*o + 12, 0 = -t*x - o + 3 for x.
3
Let w(l) = l**2. Let y(q) = q**3 + q**2 + 2*q. Let i(f) = 3*w(f) + y(f). Let b be i(-4). Let r = 13 + b. Solve p = 4*s + 1 - 7, -r*s - p = -12 for s.
2
Let l be -1*24/3 - -2. Let d be (-15)/l*(-12)/(-10). Solve -2*k + 0*k + 5*a - 16 = 0, 4 = -4*k + d*a for k.
2
Let m = 0 + 6. Suppose -3*r = m, 4 + 7 = g - 4*r. Solve -5*k - 4*i + 7 = 0, 3*i + 2 = g*k - 13 for k.
3
Let y = -5 + 8. Let a(l) be the second derivative of l**5/20 - l**4/3 + l**3/3 + 3*l**2/2 + 5*l. Let r be a(y). Solve n = 5*j - 18, r = 2*j - 5*n + n for j.
4
Let z = -27 - -48. Let a be (4 + z/(-9))*3. Solve -4*k - 23 = -a*j + 7, -3*k - 3*j = 9 for k.
-5
Let j(l) = -l**3 + 11*l**2 - 2*l + 27. Let p be j(11). Solve 5*x - 20 = 2*h + 3*h, -p*h - x = -4 for h.
0
Let s(p) = p + 9. Let x be s(-3). Solve -2*m - 3*y + 0 = x, -4*m - 5*y = 12 for m.
-3
Let v be 43/7 + -2*2/28. Suppose -4*t + 16 - 4 = 0. Solve -4*d = -2*f, f + v = t*f + 2*d for f.
2
Let k = -4 + 9. Let n be (-201)/(-39) + (-4)/26. Let f = n + -1. Solve -2*r = f*p + 14, p - 3*p = -k*r - 11 for p.
-2
Suppose -5*a + 28 + 2 = -l, 2*l = -a - 5. Suppose -3*k + 3 = -2*k. Solve q + 20 = a*q - k*v, -12 = 3*v for q.
2
Suppose -30 = -5*c + 8*c. Let g = 10 + c. Solve g = 4*d + 8, 4*x - 6*d = -2*d + 16 for x.
2
Let o be -1*2/(-8)*0. Solve -2*k - 11 - 3 = -3*y, -2*k - y + 2 = o for k.
-1
Let m = 0 - 0. Suppose 9*v - 8*v = 4. Solve -4*q + 3*q - 8 = v*c, -5*q - 5*c - 10 = m for q.
0
Let l be -4 + 3 - (-16)/4. Solve 0 = 5*g + 2*v - 6 - 10, -2 = g + l*v for g.
4
Let r(d) = d - 1. Let v(o) = 2*o - 2. Let b(i) = 3*r(i) - 2*v(i). Let k be b(-5). Solve -2*l - k = -g, 5*g - 4*l - 9 = 15 for g.
4
Let r be 1 - -1 - (-17 + 0). Suppose 4*t - 5*w + r = 0, -t + 3*w = t + 11. Let x = 6 + t. Solve -3 = x*l + 3*m, 3*l + 0*m + 25 = 4*m for l.
-3
Suppose 3*t - 19 = -2*v, -4*t + 25 = t. Let i = 28 - 27. Let w be 7 + -9 - (-6)/i. Solve 0 = -v*q + w*d + 5 + 7, -2*d - 12 = -4*q for q.
2
Suppose f - 19 = v - 3, 0 = 4*v. Let g be -3*f*3/(-9). Solve -5*t = 3*w + 5, 4*w = t + 8 + g for w.
5
Let w(n) = n - 12. Let r be 9 - 10 - (-14 - 1). Let b be w(r). Let q be b + -2 - 0/5. Solve -4*c + q*c = 4*f, 2*f + 4*c = -4 for f.
2
Let s be (-32)/10 - (-2)/10. Let y = 17 + s. Let p = y + -2. Solve 0 = -2*z - d - 8, -3*d + 8*d = -3*z - p for z.
-4
Let x be ((-6)/8)/(30/(-80)). Solve -3*i = 5*z + 12, z - x*i = -4*z - 17 for z.
-3
Let c = 3 - -4. Suppose 0 = a - 3*o + 13 - 32, 3*a - 4*o = 32. Solve c = -5*i + a*k, 2*i - k = k - 4 for i.
1
Let h(q) = q**3 - 6*q**2 - 7*q + 8. Let l be h(7). Solve -s = 2*r - 0*r + l, 5*r + 20 = 5*s for s.
0
Suppose -2*t = -5*d - 14, -t = -2*d - 7 + 1. Let m be d/(-5)*40/2. Suppose -5*x = i + m, 0 = x + x + 4. Solve -2*u + q - 3 = 0, 2*q + i = 12 for u.
1
Suppose t = 5*t - 12. Solve r - 11 = -t*z, 5*z + 2*r - 4 - 13 = 0 for z.
5
Let o(t) = t + 10. Suppose -5*f - 24 - 26 = 0. Let g be o(f). Solve g = s + 3*j + 7, 4*s = 2*s + 3*j + 13 for s.
2
Let r(k) = -2*k + 1. Let t be r(-1). Suppose 47 = 2*x + 3*x - t*c, -3*c = -3. Let d = x + -5. Solve 3*i + 4 = f + 22, 3*i - d*f = 30 for i.
5
Suppose -3*h = -4*k + 40, -7 = 3*h - 3*k + 32. Let f = 17 + h. Solve 5*c + 10 = 0, -2*p + 5 = -5*p + f*c for p.
-5
Suppose 10*d + 5 = 5*d. Let k be ((2 - 1)*1)/d. Let a be (3*-1 + 0)*k. Solve a*h + 3 = 2*x, h - 5*h = -x + 9 for x.
-3
Suppose 2*j + 3*w - 12 = 3*j, -4 = 2*j - 2*w. Let i(n) = n**3 + 5*n**2 + 4*n + 2. Let z be i(-3). Solve -5*m = -5*y - 15, -16 = j*m - z*m + 4*y for m.
4
Suppose 8 = 3*w - 2*a, -2*a + 27 = -5*w + 39. Let v be 0 - (1 + -1) - 0. Solve 5*x + 3*z + 11 = v, -w*x - 3*z - 3 = x for x.
-4
Suppose -13 + 1 = -3*z. Solve 4*d - 2*d + 2 = -b, z*d - b = -16 for d.
-3
Suppose z - 26 = -2*h, -h + z + 3*z = 5. Solve 3*p - 2*q + h = 0, 0 = -5*p - 2*q - 2*q - 33 for p.
-5
Suppose -12 - 3 = -5*y, 0 = -v + 5*y - 12. Suppose 3*p + n + 32 = 6*p, -4*p + 46 = -3*n. Solve u + 3*s + p = s, -v*u - 27 = 5*s for u.
-4
Suppose 2*c + 2*c = -5*g + 43, 6 = 3*c - 5*g. Solve -5*q - 3*k = 5, -2*q = -c*q + 4*k - 5 for q.
-1
Let r(g) = g + 13. Suppose -3*f - 25 = 2. Let k be r(f). Suppose n - 3 = h - k, -h + 3 = 0. Solve y - 2*p = -n*y - 13, 2*p - 9 = -y for y.
-1
Let p(t) = t**3 + 9*t**2 + t - 1. Let o be p(-9). Let s be -1 + -1 + (-4 - o). Solve -4 = 4*l + s*m, -l - 3*l = 3*m for l.
3
Let d be (-45)/12 - 2/8. Let t be 0/(-1*d/(-2)). Suppose 7*g - 3*g = -20, 75 = 4*f - 3*g. Solve -3*j - f = t, -5*n - 24 = 2*j + 6 for n.
-4
Suppose 3*w + 4*g = -2, 5*g + 0 = -4*w - 2. Let k(m) = -m**2 - m + 3. Let d be k(0). Solve -w*i - 5 = d*v - 2*v, -5*i - 2 = -v for i.
-1
Let s = 6 + -6. Suppose s = 2*u + 2*u - 8. Suppose -u*x - 15 = 3*c - 6*c, 5*c - 3 = -4*x. Solve 4*t - 8 = -b, c*b - 5*t + 0*t = -27 for b.
-4
Suppose 4*z - 2*z = 14. Let y = z - 4. Let v = y + -2. Solve 3*c + v = i, c - i = -c for c.
-1
Let s be (11/33)/(2/66). Solve t = 3*t + 5*c - s, -16 = -4*t - 4*c for t.
3
Let c(v) = 18*v**2. Let p be c(-1). Suppose -4*g = -3*b - 10, -3*g = g + b - p. Suppose -29 - g = -3*d. Solve 2*x - 1 = 4*w - d, 0 = -x + w - 4 for x.
-3
Let c = -33 - -33. Solve 2*l - 3*m + 6 = -c*l, 0 = -2*l - 5*m + 10 for l.
0
Let y(l) = l**3 - 2*l**2 - l + 2. Let f be y(3). Suppose -4*a = -8 - f. Solve 3*g = -2*x - g - a, 5*g - 10 = 5*x for x.
-2
Suppose -3*w + 2 = -25. Solve -3*k = -w, -4*h = 3*k - 7*k + 20 for h.
-2
Suppose 6*b - b = 3*v + 31, v = 2*b - 12. Suppose -4*c + j = -3*c - 4, 2*j - 27 = -b*c. Solve 3*r - 3*u = -15, -c*r + 3*u - 23 = -0*u for r.
-4
Suppose 0 = 4*a - 3 - 5. Solve -a*i = -5*c - 14, 2*c - c - 8 = 4*i for c.
-4
Let v(r) = 3*r**2 - 6*r + 3 + r + 8