 2*i + m = 0 for c.
1
Let c(l) = -17*l - 1. Let t be c(-2). Suppose -2*d + t = 3*v, 2*v - 4*v + 5*d = -41. Let f = v - 10. Solve 4*w = -4*z - 12, -w + 3*z = -f*w - 9 for w.
0
Let y(w) = -w**2 + 10*w - 18. Let q be y(3). Solve 0 = -q*i - 3*c - 15, i - 5*c + 5 = -0*i for i.
-5
Let j(p) be the second derivative of -1/3*p**3 + 0 - 7*p + 1/2*p**2 + 5/12*p**4. Let x be j(1). Solve -x*z = 4*w - 4, w - z - 4*z + 17 = 0 for w.
-2
Let d = -32 - -34. Suppose 4*y = -x + d, -4*y + 2*y = x - 6. Solve 5*f + 4*r + 5 = -x, 0 = -3*f - 5*r - 9 for f.
-3
Suppose -3*k = -0*k - 33. Let y = -8 + k. Let o be (y + 2)/(6/6). Solve 4*r = 3*r - 4*i - 10, -4*i = -o*r - 2 for r.
-2
Let c(v) = -2*v - 50. Let k be c(-26). Suppose -p + k*p = 3. Solve 14 = g + 3*x, -p = 2*g - 5*x + 2 for g.
5
Suppose -3*w = -7*w + 116. Let b = w - 21. Solve -4*y - 24 = -5*s, -s = s - b for y.
-1
Let d(m) = 4*m**2 + 5*m - 3. Suppose p - 28 = 15*p. Let j be d(p). Solve b - 5*i = -j*b + 45, 5*i = 5*b - 50 for b.
5
Suppose -214 + 314 = 2*j. Solve o + h + 15 = -h, 5*o = -5*h - j for o.
-5
Let i(a) = a - 15. Let d be i(7). Let q = d - -11. Suppose -f - 4*l = -19, -q*l + 29 = 3*f + 2*l. Solve -27 = -3*y + f*m, -5*y + 2*m + 25 = m for y.
4
Let d(v) = -4*v. Let k be d(-5). Let y = 24 - k. Solve -y*w = f - 2*w - 1, -f + 1 = -5*w for f.
1
Suppose -4*u = 6*u + 2*u. Solve u = b + g + 2 + 2, 3*b = -2*g - 11 for b.
-3
Suppose 1406*a + 15 = 1411*a. Solve -a*j + c - 3 = 0, 0 = 4*j - 3*c + 11 - 2 for j.
0
Suppose -10*v - 3*z = -14*v + 42, 2*z = 3*v - 32. Solve 3*k = a + v, 4*a - 27 + 20 = k for k.
5
Let g(d) = 14*d**3 - 3*d**2 + 5*d - 2. Let k be g(2). Suppose -9*u - k = -18*u. Solve 5*s + u - 3 = -4*l, -s - 4*l = -11 for s.
-5
Let v be 13/5 + (-339)/565. Solve 8 + 1 = -3*a, v*k - 3*a = -1 for k.
-5
Let m be 3 + 1 - 5/(-5). Let d be 42/70 - (-12)/m. Solve 3*n - d*x + 6 = 21, 0 = n + 2*x - 2 for n.
4
Let z(i) = -i**2 + 3*i + 3. Let y be z(3). Let k be (-2)/10 - (-48)/40. Let c be (-9)/6*(k + 44/(-12)). Solve 0 = 3*g + y*o - 0*o - 3, 0 = 4*o + c for g.
2
Suppose 5*n + 54 = 189. Let i = -90 + 137. Let v = 52 - i. Solve 3*z - 4*f = -v, 4*z = f + n - 12 for z.
5
Let w be 7/2 + (-7)/(-2) + -4. Suppose -3*l - w*o = -24 - 0, -3*l + 20 = 2*o. Solve i - l*z = 1 - 2, 0 = 5*z for i.
-1
Let f = 1001 - 974. Solve -5*d = a - 4*a - f, 3*a = -4*d for a.
-4
Suppose 17*b - 9*b - 8 = 0. Let r(t) = 2*t - 5. Let z be r(4). Solve -z*p + 2*p = -3*j - b, 0 = -5*j for p.
1
Suppose 3*a - 23 = 13. Let m be ((-22)/(-12) + -1)/(124/744). Solve 5*n = 5*r + 10, m*n - a = 3*r + r for n.
4
Let v = 62 + -58. Suppose v*x + 4*c - c = 52, -x - 4*c + 26 = 0. Solve j + 12 = 3*j - 2*q, -3*q - x = j for j.
2
Suppose -5*x + 4*x = 0. Let w = x + 9. Suppose 3 = -2*y + w. Solve -19 = -5*p - 2*o, 2*o = y*p - 8 - 13 for p.
5
Let p(v) = -36*v + 21. Let h be p(3). Let c = 90 + h. Solve 5*r + 6 = -3*b, c*r - 3*b - 7 = -1 for r.
0
Let v = -50 - -70. Suppose -b - 4*b + v = 0. Suppose -16 = -b*q - 0*q. Solve -2*p + 0*w = 5*w + 33, -5*p + q*w = 0 for p.
-4
Let s(n) = n - 18. Let w be s(23). Solve -z + 4*u + 21 = 0, 10 = -3*u - w for z.
1
Let o be -1 + (-3)/(12/(-20)). Suppose 0 = -4*w - 4*c, -2*w - 2*c = 3*c + 6. Solve -w*i = 3*m + 16, 0 = -i - o*m - 6 - 12 for i.
-2
Let g(w) = -w**3 - 10*w**2 + 8. Let t be g(-10). Suppose -5*s - 2*m = -39, 4*s = -m - t + 38. Solve 2*i = -0*u + 2*u + 4, i + s = 4*u for i.
5
Let n(f) = 2*f - 10. Suppose 4*m = 24 + 4. Let c be n(m). Solve -4*s - 12 = 0, c*d + 5*s = -0*s - 11 for d.
1
Suppose 3*d - 3*h = 134 - 116, 0 = -6*d + h + 26. Suppose 2*w - 7*w = 0. Solve 3*c - 4*l = 4 - 5, c - 5*l + d = w for c.
1
Suppose -82 = 3*c + 206. Let z be (-312)/c - (-1)/(-4). Solve -z*n - 2*n + 5 = -3*a, 3*n + 3*a = -21 for n.
-2
Let l be (-11)/(66/(-12)) - -23. Solve -t - 10 = 5*b + 15, -4*t + l = -5*b for b.
-5
Let s be 22/44 - 25/(-10). Solve 4*b + h - 26 = s*h, -2*b + 4 = 2*h for b.
5
Suppose 4*o - 87 = -5*x, -2*x - o + 10 + 23 = 0. Let d be 54/x - 6/10. Solve -d*w + 5 = 2*n, 4*w - 9*w + 6 = n for n.
1
Let y = -141 - -254. Let s = 118 - y. Solve 10*t - 4*z = 5*t - 19, 0 = s*t + 3*z + 12 for t.
-3
Suppose -190*l + 191*l = 6. Let t be (-40)/(-5)*21/l. Solve -3*i - 23 = 4*a, 0 = -a - 4*a - 3*i - t for a.
-5
Let i(a) = 4*a - 7. Let b be i(9). Let n = -19 + b. Let g = n + -6. Solve -5*j - 15 = 3*x, -g*x + 5*x + 5 = -j for x.
-5
Let r be 4/6*54/18. Solve -3*i + 6*i = r*u - 2, -3*i = 2*u + 22 for u.
-5
Let l = 104 + -171. Let g = l - -67. Solve -3*z + 4 = -4*n + 20, g = n - 4*z - 4 for n.
4
Let u = 9 - 6. Let p = -68 - -71. Solve -5*q + 2*s = -q + 2, 0 = -u*q + p*s for q.
-1
Suppose 5*i - 11*i + 558 = 0. Let z = i - 88. Solve 0 = z*a - 3*o - 29, 0 = 6*o - 2*o + 12 for a.
4
Suppose -10*h = -6 - 54. Let u(a) = a**2 + a - 4. Let g be u(0). Let k be 18/4 - 2/g. Solve -4*x = -f + 3, k*x + h = -4 for f.
-5
Let s be (-6)/((-1)/((-35)/(-42))). Solve 2*d - 3*x + 14 = 0, -4*d + s*x - 25 = d for d.
-1
Let w = -85 + 105. Solve v + 3*x + 5 = 0, 2*v = 5*x - x + w for v.
4
Let p(y) = y + 28. Let v be p(-23). Solve -x = -v*s + 3*x + 20, 3*s + x = 12 for s.
4
Let w(l) = l**2 + 9*l + 14. Let n be w(-10). Suppose -n = -2*c + 4*u, c = -3*u - 4 - 9. Solve -c*y = -4*q + 14, 2*y - y + 2 = q for q.
5
Let o(t) = 5*t - 3. Let s be o(1). Suppose 5*p - s*a = 16, 2*a = -3*p + 4*a + 12. Solve -2*j = 5*w + 2*j + 7, 3*j = p*w - 11 for w.
1
Let o be 46/5 - 6/30. Suppose 2*r + r + 3 = -3*k, 0 = -r + k + o. Solve 5*l - 13 = i, -r*i - 2 = 8*l - 3*l for l.
2
Suppose 27 = 3*j - 3*s, -s - 25 = -4*j + 14. Let c = j - 8. Suppose -2*p + 22 = 4*b, -4*p + 17 = c*b - 9. Solve 3*l + 8 = -2*x + 2, 0 = x - b*l - 6 for x.
0
Let u be 0/((-33)/(-13 + 2)). Solve -5*v - 16 = -v, u = -i - 4*v - 17 for i.
-1
Let q = 0 + 13. Let a = 19 - q. Let w(d) = -d**3 + 7*d**2 - 6*d. Let y be w(a). Solve i + 3*n + 5 = 0, 2*n + y*n - 5 = i for i.
-5
Let n(t) = t + 9. Let p be n(-7). Suppose 5*x - 2*x + 4*m = 19, -3*m = p*x - 14. Solve 3*h + 0 = 5*c - 19, h = -2*c + x for h.
-3
Suppose 12 = 6*u - 0. Solve 2*v = -0*v + 5*f + 18, v + u*f = 0 for v.
4
Suppose 0 = 12*w - 11*w + 7. Let i = -5 - w. Solve 4*g - 4*y = -24, -g = 2*y - 11 + i for g.
-1
Let l(c) = 30*c - c**2 + 1 - 15 - 49*c. Let a be l(-18). Solve -m = 4*h - a*m - 23, 5*m + 25 = 0 for h.
2
Suppose 5*s + 4*l + 52 = 0, 4*l + l = 10. Let q be -4 - s - 30/6. Solve 5*h + 4*r - r = 12, 0 = q*h + 3*r - 6 for h.
3
Suppose 3*v - 8 + 2 = 3*j, -3*j - 2 = -2*v. Suppose 4*z = 4*a + 2*z + 4, -3*a = -2*z + v. Solve -14 = 2*h - 4*y, -5*h + 40 = 5*y - a*y for h.
3
Let t = 14 + -4. Let z be 6/(-2) + 4 + 1. Suppose 3 + 3 = 2*a. Solve -z*s - t = -3*v - a*s, v + 20 = -5*s for v.
5
Let y = -126 + 128. Suppose -2*b = -3*b - 4, -y*c = 2*b - 2. Solve -3*t = -5*u - 7, c*t + 4*u - 2*u = -9 for t.
-1
Let y(a) = -4*a - 4. Let d be y(-3). Let j be 2/4 - (-12)/d. Suppose -j*t - 2*t = 0. Solve 3*z + 2*f + 14 = -t*f, -z - 3*f = 7 for z.
-4
Let t = -68 + 103. Suppose t = 6*z + 11. Solve 2*m = 2*q, -5*q + z*m + 1 = 4 for q.
-3
Let p be 68/7 + (-4)/(-14). Suppose 45 = 4*v - 5*d, -2*d = -v + 2*d + 25. Solve -2*u = -g + 6, g = v*u + p - 1 for u.
-1
Suppose 4*y - 19 + 2 = -g, 3*g - 15 = 0. Suppose 2 = y*z - 4. Suppose -4*r + z*r - 10 = -4*a, 2*r = 6. Solve 5*x + 2 + 8 = j, 8 = -a*x - 5*j for x.
-2
Suppose 0 = r + j + 3, -r = -5*j - 27. Suppose -2*h + 12 = 5*n, 0 = r*h - n - 3*n + 6. Let z = 1 - -2. Solve -4*i = -u + 3, z*u + 5*i + 7 = -h for u.
-1
Let i be ((-19)/(-4))/((-1)/4). Let w = 39 + i. Let t = w + -18. Solve -3*m + 2*n = 1 + 6, m + 1 = t*n for m.
-3
Suppose 4*w = 4*g - 96, 6*g - g = -w + 120. Let b = g - 18. Solve 4*s = -2*k + 14, -4*k - 2*s + b*s + 16 = 0 for k.
5
Let h be 4*(10 + (-74)/8). Solve -p + 23 = -5*p + i, 4*p = -h*i - 11 for p.
-5
Let h(p) = p**3 - 4*p**2 + 5*p - 5. Let s be h(5). Suppose 5*g - 2*g + 1 = -4*f, -5*f = -5*g + s. Solve -a + g = 0, q + 3*q = a + 3 for q.
2
Let b = 31 - 31. Suppose -g = -3, 3*y - g - 7 = -1. Solve 4*w - y*u + 0*u - 26 = b, 3*w = 2*u + 19 for w.
5
Let m(a) = a**2 - 2*a - 110. Let j be m(-10). Suppose -i + 0*i + 19 = 0. Let s = 30 - i. Solve -2*n = -3*n - 4*l - j, -2*n - 5*l - s = 0 for n.
2
Let i(j) = -4*j**3 - 4*j**2 - 5*j - 2. Let d be i(-1). Solve g - d = 2*r - 0*r, g - 5*r = 0 for g.
5
Let i(w) = -w**2 - 5*w + 21. Let u be i(-6). Solve u = 5*o -