v be c(0). Let i be ((2*1)/((-6)/(-5)))/(1650/5940). Solve -2*y = h + i, 5*h = -2*y + 3*h - v for y.
-1
Let d(l) = -4*l + 106. Let x be d(25). Solve 0 = -2*v - s - 5, 0 = 3*v + 7*s - 5*s + x for v.
-4
Let a = 2 + 3. Let i be (3 - 6) + 1 + 2. Suppose 3*c - 2*t - 1 = i, 5*t - 4 = 5*c + 1. Solve 2*b - 6*b - 41 = a*f, -c*b = -3*f - 3 for b.
-4
Let v(t) = 4*t**3 - 2*t**2 - 10*t + 10. Let l be v(1). Let b = 41 - 24. Solve -o + b = l*o - 4*k, k = -4*o + 10 for o.
3
Let t(u) = u**2 + 12*u - 11. Let b be t(1). Solve 4*m = -w - b, 2*m + 8 = -0*w + 3*w for m.
-1
Let g be -4 + (38/(-95))/((-4)/70). Solve 4*u + 0*r - g*r - 11 = 0, r + 22 = 5*u for u.
5
Suppose -6*c + 3*c + 50 = 5*f, -36 = -2*c - 2*f. Let x be (-2)/(-4) + (-48)/(-32). Let g = -11 - -15. Solve x = 3*i - v + 15, -4*v + c = -g*i for i.
-4
Let q = -949 + 953. Suppose -3*f + 3*i = 0, -4*f - i + 12 = f. Suppose 2*n + a + 8 = 18, 3*n - 5*a = f. Solve -3*s + z = n, q*s - 20 = -2*z - 3*z for s.
0
Let v(o) be the first derivative of -5 + 1/2*o**2 + o. Let a be v(2). Solve -c - 2*x = -a*c, 5 = 3*c + 2*x for c.
1
Let t be (-23 + 3)/(-5) - (3 + -1). Solve t = -2*x - s, -x - 2*s - 6 = x for x.
1
Let f be ((-6)/(-1))/(11 - (7 - -2)). Solve 0 = -4*u + u + 15, -7 = f*c - 2*u for c.
1
Let o = 23 - 26. Let p = 17 - o. Solve -25 = 5*w, -2*l - 4*w = l + p for l.
0
Let t = 902 + -898. Solve -t*x = 5*q + 10, 0*q - 4*x - 24 = -2*q for q.
2
Let n be -1 - (-2)/1 - -4. Suppose 0 = -k + 5*k - 80. Let b = -10 + k. Solve 2*d + 4 = -2*g + 5*d, n*d + b = -5*g for g.
-2
Let s be ((-24)/21)/(4/(-14)). Suppose 5*f = -2*m - 28, 5*f + 11 + 29 = -5*m. Let r be (f/(-1))/(14/91). Solve q = -5*v + s*q - r, -3*v + q - 14 = 0 for v.
-4
Let p be (2 - -10)*(-4)/8. Let g be (15/p + (2 - 0))*-2. Solve -q - g = a + 3, 2*a - 2*q = -4 for a.
-3
Let i = -11 + 14. Let j = i - 4. Let q = 3 - j. Solve 4*g + 8 = -2*c - c, -q*g + 2*c - 28 = 0 for g.
-5
Suppose 0 = a - 5*a + 5*f, -5*a = 3*f. Solve u = 3*u + 3*o - 8, a = 2*u + o for u.
-2
Let x = 1122 - 1117. Let q(n) = 3*n - 2. Let m be q(2). Solve -x*s + 12 = -s - 3*b, 3*s + b = -m for s.
0
Let r = -13 - -25. Suppose -5*u = -u - r. Suppose -b = -u*b. Solve -31 = 5*t - 6, 2*q - t - 5 = b for q.
0
Let m(v) = 2*v + 8. Let r be m(-4). Let h = 19 - r. Solve 4*o - 3 = 2*y + h, 0 = 2*y + o - 3 for y.
-1
Suppose -5*p + 10*z = 7*z - 27, 3*z = p - 15. Solve -k + 2*c - 3 = -2*k, 2*c + 17 = p*k for k.
5
Let d be 5 + 10 + 7 + -19. Solve -2 = 6*i - 2*i + d*t, -2*i - t = 2 for i.
-2
Let m = -9 + 10. Let b be (3/2 - m)*20. Suppose k + 2*l = -4, -5*k = 2*l - 4*l - 16. Solve -3 = -k*o - 3*p - 2, -b = o + 5*p for o.
5
Suppose 524 - 504 = 10*z. Suppose -3*b - 60 = b. Let l = b + 29. Solve 5*v + z*k + 7 = -l, -7 = v - k for v.
-5
Let r(m) = -2*m**3 - 2*m - 1. Let j be r(-2). Suppose -4*z = -0*h + h - 14, -z + 28 = 2*h. Suppose -h*w = -j*w + 15. Solve w*v = -v, 3*v = 3*p for p.
0
Let n = 336 - 332. Solve -i + 6*i - z - 20 = 0, i + 2*z = n for i.
4
Let u be (-6)/(-4)*(-24)/(-9). Suppose 3*v + 22*a - 116 = 0, -4*a = -2 - 18. Solve -u*x = -7*o + v*o - 2, 0 = -2*o - 2*x + 10 for o.
2
Let k = 2941 - 2941. Solve -2 = -3*t - 15*q + 16*q, k = 3*t - 4*q - 17 for t.
-1
Let z be 1/(((-2)/(-4))/(-42 - -43)). Solve p = d, z*p + 6 = -d - 3 for p.
-3
Let h = 301 + -296. Solve -3*a = 5*y + h, -5*a + 10*a - 2 = 2*y for y.
-1
Let r be 12/(-66) - 48/(-22). Suppose 6*q + r*x = 2*q - 34, x = 3*q + 13. Let m be (3 - (q - 3)) + 3. Solve -c - m = -3*a + 2, -3*c + 4 = 2*a for a.
5
Let a(r) = -r**2 + 5*r + 3. Let j be a(5). Suppose -j*c + 5 = l + 3*l, -l = 5*c + 3. Solve 2*s + 4 = 2*i, -s + 4 = l*i - 0*s for i.
2
Let y = 250 - 246. Solve -y*t + a - 3 = -t, 0 = 3*t + 3*a - 9 for t.
0
Suppose -30 = -5*a + 3*g, -a + 17 = 3*a - g. Solve -j - a*d = 6, -2*j = -0*j - 3*d + 3 for j.
-3
Suppose 2 = 2*x - 2. Suppose -4*a = -5 - 3. Solve 4*f + 18 = 3*y - a, -x*y = -5*f - 18 for f.
-2
Let k be 20/56*-2 - 2/7. Let r(z) = -4*z**3 + z**2 + 2*z + 2. Let i be r(k). Solve 3 = -2*d + 3*x + 2*x, 5*d + i*x + 25 = 0 for d.
-4
Let z be (-465)/(-60)*(-3)/((-6)/56). Suppose -219*x + 10 = -z*x. Solve 3*i - 14 = 2*h, -18 = x*h - 0*h + i for h.
-4
Let d(c) = -2*c + 6. Let u be d(-5). Let w be -3 - -2 - -5 - -1. Suppose -w = -3*m + 7. Solve t = -m*g + 4*t + u, 3*t = 5*g - 20 for g.
4
Suppose -7*x = -3*x + 112. Let m = 30 + x. Solve 3*u + 6 = m*q + q, q + 4*u = -8 for q.
0
Let o(n) = -n + 10. Let p be o(6). Suppose -p = 3*l - 4*l. Solve t = 2*c + 13, -c - c = -l*t + 28 for c.
-4
Suppose 2*w = -3*w. Suppose w*y - 2*y = -54. Let g be (-45 - -49) + (-2 - 0). Solve y = -4*v - 3*z, -9 = -g*v + 2*z + z for v.
-3
Suppose -6 = 5*y + 2*h, 2*y - 15 = -y + 5*h. Let i(n) = 4*n + 2. Let x be i(y). Solve 0 = x*m + 5*c + 3, -2*c - 3*c - 6 = -m for m.
1
Suppose 0 = 2*r - 4 - 32. Suppose 4*f = -c + r, 2*c = 3*c - 3*f + 10. Solve -c*p + 4*g = 8, 0*p - 2*p - 2*g = 8 for p.
-4
Let w(i) = -i - 2. Let z(f) = -f - 2. Let t(r) = -7*w(r) + 6*z(r). Let o be t(0). Solve m + 11 = o*b, 0*b - m = -3*b + 14 for b.
3
Suppose -29*x + 27*x = 18. Let z(k) = -2*k - 13. Let q be z(x). Solve -q*g + 18 = 2*v + v, -v + 4 = g for g.
3
Let t(h) = -3*h**2 + 4*h - 5. Let b be t(1). Let d be b/22 - (144/33)/(-2). Solve q - 4 + d = i, 0 = 4*q - 8 for i.
0
Let d(z) = z**3 + 41*z**2 + 46*z + 242. Let x be d(-40). Solve -5*a + 5*w = -22 + x, 4*w = 5*a - 20 for a.
4
Let c = -20 - -61. Solve -5*g + 4*r = c, 16 - 47 = 3*g - 4*r for g.
-5
Let a(f) = 2*f**2 - 4*f - 26. Let o be a(-3). Solve j - 4*u = -12, j - 32 = -o*j - 3*u for j.
4
Let i = -5 + 57. Suppose -8 = -2*j + 2*o + 16, -i = -4*j + 3*o. Solve s - k - j = -2*s, 0 = -3*s - k + 14 for s.
5
Suppose -3*z - 2*s + 12 = 3*s, -3*z + 5*s = -12. Solve -4*j - 5*d - 2 = 0, -j = z*j + 3*d + 9 for j.
-3
Suppose -20 = -37*j + 33*j. Suppose 30 = j*d - 4*z + 3, 0 = -4*d - 3*z + 3. Solve -4*f + 0*q = 3*q - d, 9 = 4*f + q for f.
3
Let k be 3/(-2)*(-50)/3. Let c = k + -21. Solve -5*t - 35 = 3*l - 0*l, 0 = t + c for l.
-5
Let p(m) = m**3 + 11*m**2 - 28*m - 24. Let r be p(-13). Solve -r*g - 41 = 5*a - 17, -10 = 4*a - 3*g for a.
-4
Let p(j) = -j**2 + j. Let c be p(0). Suppose 3*n + 32 = 7*n + 4*o, -4*n + 32 = -o. Let u = 466 + -462. Solve q + q - u*f - n = c, f = -5*q - 13 for q.
-2
Let w be ((-1)/2)/(-6 + 235/40). Solve 0 = -3*g + 2*f - w, -2*g + f = 1 - 0 for g.
2
Suppose 0*w - 4*a = -4*w - 32, w = -3*a - 16. Let f be 60/100 + (-24)/w. Solve 19 = y - 3*j, 0*y + f*j = -2*y - 7 for y.
4
Let f(g) = -g**2 + 4*g - 1. Let y be f(4). Let d = 3 + y. Solve 4*k = d*c + 2, c + 5*k - 6 = -0*c for c.
1
Let d be 2 - (0 + 4) - 8. Let g(m) = -m**2 - 11*m - 7. Let c be g(d). Suppose 12 = c*j - 6. Solve 2*v - j*v - 12 = 0, h + v = -5 for h.
-2
Let k = 592 + -590. Solve 3 = a - 2*p, 6 = -4*p + k for a.
1
Let q(w) = w**3 - w**2 + 2*w - 3. Let a be q(2). Suppose 0 = -0*c - a*c - 10. Let d be (140/(-42))/(c/3). Solve 3*o = s + 10, -d*s + 3 - 29 = -3*o for o.
2
Suppose 5*w - 5*l - 25 = 0, 2*w + 5*l + 2 = l. Let i be (20/(-15) + 2)/((-4)/(-30)). Solve -2*d + 2*u + 11 = -u, -2*d + w = i*u for d.
4
Suppose 0*w - 16 = w + 4*m, m + 4 = 3*w. Let o be (-2)/11 + (-3660)/(-44). Suppose c - 86 = -o. Solve -21 = p + 5*h, 5*p - c*h - 35 = -w*h for p.
4
Let n = 17 + -38. Let r = n - -34. Solve r = 3*m - 0*m - 4*u, 0 = -4*m + 4*u + 16 for m.
3
Suppose 189*j - 12 = 185*j. Solve b + 16 = u - 3*b, j*u = -4*b - 16 for u.
0
Let d = -141 - -142. Let x(v) = 4*v**2. Let y be x(-1). Let k be (0 - y)*(-6 + d). Solve 3*o + 2*s - 18 = 0, -3*o + 4 = 4*s - k for o.
4
Let k = 242 + -239. Solve -2*m = k*r - 0*r + 5, -r + 20 = 5*m for r.
-5
Let y be 0 + 16 + 0 + -2. Suppose 21 = 7*g - y. Solve -g*d - x = -4*x - 32, 2*d + 12 = -5*x for d.
4
Let h(y) = 7*y - 57. Let x be h(11). Solve -2*j + 10 = 3*r, -3*j = -2*r + j - x for r.
0
Suppose 7*k - 8 = 34. Let n = 8 - k. Solve -2*p = -4*o + 18, 8 = -n*p - o - 0 for p.
-5
Let u be (6/(-12))/((21/18)/(-7)). Solve -5*w = -2*r + r + 8, -u*r + 2 = -4*w for w.
-2
Suppose 2*n - 14 = 4*n. Let s be n/(-4) + 3/12. Let d be (-1)/6 + 11/66. Solve 4*w + 24 = 4*r, s*r + d = -w - 3 for r.
1
Suppose -577*c + 24 = -569*c. Solve 3 + 1 = 5*b - c*x, 3*b = 3*x + 6 for b.
-1
Let x(y) = -301*y + 2411. Let u be x(8). Let z be (-4)/(-14) - 4/14. Solve z = -u*r + 2*b - 2, b - 5*b = 5*r - 26 for r.
2
Suppose -111 = -9*