*g - 6 = 2*c - 4*c, -3*c = -g - 9 for c.
3
Suppose -s = s - 6. Let x(c) = -411*c - 406. Let b be x(-1). Solve 4*z - 7 + s = -4*d, -b*d + 5 = z for z.
0
Let n(b) = -11*b + 174. Let m be n(14). Solve -4*l - l - 25 = 2*k, 5*k - 4*l - m = 0 for k.
0
Let s(m) = m**2 + 11*m + 30. Let z be s(-6). Solve -2*o - o - 4*a - 18 = z, 2*o + 5*a + 19 = 0 for o.
-2
Let k = -52 + 54. Solve -c + 10 = 4*f - k*c, 0 = -5*f - 5*c for f.
2
Let o = 169 - 167. Solve o*x - 11 = -3*x - v, 3*x = 2*v + 17 for x.
3
Suppose h = -4*d + 3*h + 14, 5*d - 3*h - 16 = 0. Suppose -j - d = 3*w + 4*j, 4*j + 41 = 5*w. Solve 2*o + 11 = 3*m - 2*o, w*m + 3 = -4*o for m.
1
Let p = 0 - 1. Let b be p/(2 - 15/6). Let u be b/(-4)*186/(-3). Solve -4*q - 16 = -t, 11 - u = 5*q + t for q.
-4
Suppose 0 = -61*i + 32*i + 174. Solve -p = -3*p - i, 0 = -4*b + 4*p for b.
-3
Let z = 8 + -3. Let v = -4 - -7. Suppose 190 = 5*l - 5*n - 10, 3*l - 90 = -v*n. Solve t - 16 = 4*x, -3*x = z*t - 0*x + l for t.
-4
Let z(t) = 52*t - 46. Let q be z(1). Solve -s - 5*l - 5 = 0, 2*l = -4*s + 4 - q for s.
0
Suppose -10 = d + 4*k, -5*d - 5 = 9*k - 4*k. Solve -d*i = 5*s - 10, 0 = 4*i - s + 6*s for i.
-5
Suppose -2*t - 51 = -5*q - 19, t = -2*q + 20. Solve -q = 5*y + 5*b + 7, -2*y = 3*b + 9 for y.
0
Let f(d) = 4*d - 67. Let k be f(18). Suppose 5*l - 9 = -3*o - 4, -10 = 2*o. Solve -q + k = 4*q, 6 = 5*w - l*q for w.
2
Let q(f) = f**2 + 12*f + 2. Let w be q(-12). Suppose -2*h + 3*k = -w, -3*h + 2 = -3*k - 2*k. Let x = 1 - 1. Solve 5*u + 17 = -4*r, u + 13 = -x*u + h*r for u.
-5
Suppose -5*q - 16 = 4, -14 = -2*k + q. Solve -g - 2*z = -0*g + 8, z - k = 4*g for g.
-2
Let f = -54 - -59. Suppose 60 = -2*q + f*q. Solve -2*w - 10 = 3*j, 2*w + 4*j + q = 6 for w.
1
Suppose -s - 3 = -5*i - 22, 0 = -2*i - 6. Suppose s = -v + 2*d - 2, 0 = 3*v + 2*d - 22. Solve -v*r - 20 = l, -4*l = -6*r + 2*r - 20 for l.
0
Suppose 0 = -5*o + y + 257, -3*o - 3*y + 108 = -57. Suppose 4*s - 12 - o = 0. Let c = -3 - -8. Solve 2*b = -t + 7*b - s, 0 = c*t - 5*b for t.
4
Suppose 16*i - 13*i = 4*v - 12, 5*i = v - 3. Solve -l - 2*l = -5*g + 16, i = 3*l + g - 14 for l.
3
Let j = -163 - -165. Solve -5*t - 4*g + 15 = -j*t, t + 2*g = 5 for t.
5
Suppose 3*y - 3*k - 7 - 17 = 0, 2*y - 1 = -k. Suppose 7*x - y*x - 16 = 0. Solve -5*g = -3*u - 2*u + 15, 0 = g - x*u + 6 for g.
-2
Let o be -2*(-4)/(-4) + 45. Let s = o - 43. Solve s = -3*w - 2*v + 11 - 3, w - 4*v - 12 = 0 for w.
4
Let l be (-105)/(-30) + 0 + (-3)/2. Suppose 5*g - 30 = l*g. Solve -u = -2*a - g, -13 + 5 = 2*u + 3*a for u.
2
Let z be 21 - (-5)/(25/(-20)). Let g = -22 + z. Let a = g + 10. Solve 5 - 10 = -3*y - s, -5*s = a for y.
2
Suppose -4*u + 8 + 7 = a, 3 = a. Let l = -29 - -33. Solve r + i = 4*r + 15, -l*i = u*r for r.
-4
Let s = -27 - -33. Suppose -s*j = -2*j - 16. Solve 5 = j*u - 9*u - o, -10 = -2*u + 2*o for u.
0
Let i be (-30)/(-50) - (-93)/(-5). Let t = 23 + i. Solve t*u + w + 4 = -7, 0 = -u - 5*w - 7 for u.
-2
Suppose 2*p = -4*q + 32, 2*p + 2*q = -p + 52. Suppose 5*c + 8 = p. Solve -5*m + 17 = 2*w - 9, 0 = 3*m + c*w - 18 for m.
4
Let r be 56/21 - 2/(-6). Solve -4*o - 5*k + 8 = 0, -4*k = r*o - 7 - 0 for o.
-3
Suppose 15*h = -20*h + 175. Solve -4*j - 2*u - 2 = -26, h*u = -3*j + 32 for j.
4
Let s(d) = 11*d - 292. Let x be s(27). Solve -a + 2 = -x*y, -5*a - 1 = -y - 11 for a.
2
Let p = -42 + 61. Suppose -p*u - 6 = -21*u. Solve 3*g = -5*v + u, 3 = g + 5*v - 8 for g.
-4
Let f(m) = m**3 + 4*m**2 + 2*m. Let q be f(-2). Suppose -10*r + 12*r = q. Let n be (-4 + 32)/(4/r). Solve -3*i + 4 + n = h, 0 = 3*i + 4*h - 27 for i.
5
Let u be (-62)/(-22) - (-10)/55. Suppose 4*m = u*m. Solve 0 = -3*g - 9, m*x + 4*g + 6 = 3*x for x.
-2
Let a = -9 + 14. Suppose 8*f - f = 9*f. Solve f*d + 4*d = -a*i + 5, -d - 20 = -3*i for i.
5
Let i(y) = 5*y - 4. Let x be i(2). Let p = 2 + 3. Solve p*l - x = -3*q - 4, q - l = -2 for q.
-1
Let a = 33 + -20. Let r be a/3 - 6/18. Suppose -r*f + 2*f + 8 = 0. Solve 0 = o + 4*y + 5, o - 4*y + f + 1 = 0 for o.
-5
Let l be -19 + -2 - (-7 - -4). Let r be 306/81 - 4/l. Suppose -5*p + 2*k + 7 = 6*k, 6 = r*p + 3*k. Solve 0 = -4*z - p*v + 7, -5*v - 1 = -z - 5 for z.
1
Let i be ((-9)/6 + 1)/(2/(-12)). Suppose -5*t + 75 = 6*m - 4*m, -26 = -i*t - 5*m. Solve 4*a - 25 = -5*b, 2 = -3*a - 3*b + t for a.
0
Suppose 275*k = 286*k. Solve -5*z = -k + 20, -3*x + 4*z = -13 for x.
-1
Suppose p + 3*l = 26 - 34, 15 = -5*l. Solve 0 = 2*m + z + 5, 0 = 4*z - 3*z + p for m.
-2
Suppose 2*f + 0 = -8. Let k be -3 + 4/(f*1). Let p be 3/2 - 2/k. Solve 4 = b, p*b = -7*r + 3*r + 8 for r.
0
Let p = -97 - -184. Suppose -12 = -5*n - p. Let i = 20 + n. Solve 2*o + 2*t + 2 = 0, -4*t - t = -i*o - 15 for o.
-2
Suppose 2*v - 2*l + 67 = -5*l, 3*l = -9. Let u = 32 + v. Solve -u*n - 6 = -3*y, -7*n = -y - 3*n + 17 for y.
-3
Let l be 3 + -1 + 1 - 7. Let v be l*13*(-4)/8. Solve 3*f = -5*j - v, 2*j + 10 = -f - 0*j for f.
-2
Let x(q) be the second derivative of -q**4/6 - 3*q**3/2 + 2*q - 73. Let b = 9 + -13. Let c be x(b). Solve w + 11 = 4*t, -c*w + 0 + 16 = 4*t for w.
1
Suppose 4*c = 2 + 6. Suppose 0*r = -8*r + 16. Suppose 4*t - 69 = o, -2*t + 0*o = r*o - 42. Solve -2*j + 2*v = t, -5*v + 15 = c*j - j for j.
-5
Let w(r) = -r**3 + 6*r**2 + 3*r - 2. Let a be w(6). Let y = a - 12. Let n be y/(-10) - 510/(-25). Solve -x + 4*b - n = 8*b, -4*x - 4*b = 20 for x.
0
Let w = 35 - 13. Let t = w + -19. Suppose 0 = -3*v + 19 - 7. Solve -t*j - 6 = -0*j - 3*p, -p = v*j + 8 for j.
-2
Suppose 0 = -d - 2*q + 11, 0 = 3*d - 4*q + 9*q - 29. Solve o + 3 = v, o + d*o = 5*v - 10 for v.
-2
Let h(q) = 2*q**2 + 6*q + 1. Suppose -3*i + i = 6. Let j be h(i). Solve j = 4*o + a, -4*o = -5*o - 4*a + 19 for o.
-1
Suppose -3*l + v = -4, -9*v + 8*v = -l - 2. Solve -25 = -5*j + 4*k - l, 3*k = -2*j - 5 for j.
2
Let q = -636 - -641. Solve q*z + 4*a - 4 = z, -4*z = -2*a + 20 for z.
-3
Let m be (10/15)/(2/6). Suppose -3 - 1 = m*w. Let o = 6 + w. Solve -4*j = o*u - 8, 9 = 5*j + u - 1 for j.
2
Let j = -35 - -14. Let f = j - -24. Solve 0*v - f*h = 4*v + 13, 0 = v - 4*h - 11 for v.
-1
Let z be (-6)/(2*(-2 - -1)). Suppose 0 = -4*o + z*o. Let q = 0 - o. Solve q = -3*h - v + 7, -3*v = -4*h + 1 - 9 for h.
1
Let s(w) = -w**3 + 6*w**2 - 3*w + 19. Let a be s(6). Let o be ((-4)/20)/(a/(-55)). Solve -p - 12 = -3*b, 1 = -4*p - o for b.
3
Let p be (4920/(-1845))/((-2)/6 + -1). Solve f + p*c = 5*f, 3*f - 4*c = -5 for f.
1
Let c = 11 + -8. Suppose 40 = 4*l - u + c*u, -l = 5*u - 19. Let w(o) = o + 6. Let r be w(0). Solve 2*n - 6 = -2*x + r*n, 0 = -x + 4*n + l for x.
-3
Suppose -8*g - 3*g = -3*g. Solve s + 4*o - 4 = 3, 5*s + o + 3 = g for s.
-1
Let x be ((-2)/(-3))/(2/36). Let i = -92 + 92. Suppose i = 16*v - 19*v + x. Solve -3*u + 3*s + 27 = 0, 0 = u - v*s - 0*s - 24 for u.
4
Let q be 27/(-6)*(-8)/(-12). Let w be 22/6 + (-4)/q. Solve 0 = -7*c + 2*c - w*m - 15, -3*c = -4*m + 2 for c.
-2
Let v(g) = g**2 - 17*g + 3. Let l be v(17). Suppose -l*r - 1 = t, -2*t - r + 2 + 6 = 0. Solve 0 = -h - 5*s - 5, -2*s - t = -1 for h.
5
Let c(r) be the first derivative of -r**3/3 - 15*r**2/2 - 22*r - 56. Let l be c(-13). Solve 0 = -q + 5*q - 2*y + 8, -3*q + 2*y - l = 0 for q.
-4
Suppose -26*v + 35 = -69. Solve -3*a + 5*q = -5, -q + v = -2*q for a.
-5
Suppose -11*y + 2*y + 36 = 0. Solve 20 = -y*o - 4*r, -2*o + r + 2 = 3 for o.
-2
Let p(d) = d**3 + 4*d**2 - 21*d + 23. Let v be p(2). Let f(t) = 2*t - 7. Let n be f(5). Let r = n + 17. Solve -2*x + r = v*s, x + 5 = 4*s + s for x.
5
Let x = 39 - 35. Suppose 0 = -x*l + 51 + 29. Solve 3*h - 4*y = l, 4*y + 20 = -0*h - 3*h for h.
0
Let a be (-2)/9 + (-141)/(-27). Suppose -a*j + 2*k + 20 = -3*k, 3*j + 23 = -4*k. Let l = j - -27. Solve 6 = 2*f, -4*m + l = 2*f + 4 for m.
4
Let j = 44 + -20. Let c = -23 + j. Solve 4*s - d = 1, d + 8 = -4*s - c for s.
-1
Let g = 214 + -211. Solve 16 = 5*a + g*v - 6*v, 21 = 3*a + 2*v for a.
5
Suppose 14 = 12*r - 82. Solve 0 = -3*j - 0*o - 5*o + 2, 2*o = j - r for j.
4
Let s be 2 - -1 - (-10 - -10). Suppose -2*j + s*x + 7 = -1, 4*j - x = 16. Let t be 2 + 56/(j - 0). Solve -2*o + 3*o + 4 = -n, n = -4*o - t for o.
-4
Let j(k) = -k**2 + 7*k - 5. Let o be j(5). Let l = 2493 + -2493. Suppose 3*s - 18 = o*n, -s + l*n = -n - 6. Solve -4*t - s = y - 1, 5*y - 11 = -2*t for y.
3
Suppose 3*n + 1 = -s, s - 4 = -0*n + 2*n. Suppose -s*q + 7 + 3 = 0. Solve -q*b + 6 = -4*w