lve c = -l*a - 2*a + 12, a = -4*c + 13 for c.
2
Let c be 86/(-11) + (-84)/462 + 9. Solve -3*i = -x - c, x - 13 = -3*i - 2 for i.
2
Suppose -4*n = 5*g - 7*n - 5, -n - 15 = -5*g. Let h be (2 + (-26)/g)*(-4)/9. Let s be ((-42)/63)/(h/(-6)). Solve 0 = 3*m + 5*o - 6, -s*m = -4*o + 24 - 6 for m.
-3
Let i(g) = 2*g**2 + 38*g + 8. Let h be i(-15). Let j be h/70*10/(-4). Suppose -8*z + j*z = -4. Solve -4*y = q + z, -4*q + 5*q - 4*y = 7 for q.
3
Suppose -i + 91 = -n - 0*n, 186 = 2*i - 4*n. Let j = i + -69. Suppose 0 = -16*d + 21*d - j. Solve 4*q - d*s - 16 = 0, 4*q + 3*s + 8 = 3*q for q.
1
Suppose 1437*p - 1436*p = 56. Solve 3*q = p*h - 60*h + 8, -3*h - 5*q = -6 for h.
2
Let n = 12 + -7. Let g(u) be the second derivative of -7*u**3/2 - 5*u**2 - 3*u + 14. Let s be g(-1). Solve -20 = -4*y, -n*y - s = -f - 37 for f.
-1
Suppose 2*t - 6*t + 16 = 0. Suppose -t = 5*k - 14. Suppose 0 = -3*r - a + 19, a - 7 + 23 = k*r. Solve 0 = -4*y - 4*z - 20, 0 = -4*y + r*z - 2*z + 16 for y.
-1
Let g be 6 + (0 - -3 - 1). Suppose 2*u - 8 = -2*i, -3*u + 93*i = 94*i - 4. Solve 2*o + u*o = -3*n - 7, -2*o + g = 0 for n.
-5
Let r be -2 - 13/(-5) - (-112)/5. Solve -3*n + 5*n - g - 13 = 0, -4*n + g + r = 0 for n.
5
Let f = -357 + 370. Let w be (-32)/10*3/((-6)/5). Solve 3*a + w = 4*v, v = -3*a - 0*v - f for a.
-4
Let a = -134 - -139. Suppose v = -3 + 16. Let x be (1 - v)*15/(-12). Solve -4*m = f + x, 3*m + a = f + 2*m for f.
1
Let z(a) = 3*a**2 - 317*a + 226. Let g be z(105). Solve 12 = -3*l - 4*u + g, -2*l - u + 1 = 0 for l.
0
Let w(i) = i - 4. Let u be w(8). Let k = -1218 - -1220. Solve 0*x = m - k*x + u, m + x = 8 for m.
4
Let b be (-4)/((1/(-6))/(5/40)). Suppose -b = 3*a - 15. Solve -3*j - 17 = -a*f + 10, 5*f - 5*j - 40 = 0 for f.
3
Let q(h) = -46*h - 83. Suppose -6*z + 11 = -4*z - 3*y, 4*z = 5*y + 17. Let v be q(z). Solve 5*s = -a - 15, 0 = 4*a + 5*s + 21 + v for a.
-5
Suppose -5*x + 4*r + 1 = 0, 5*r - 7 = -0*x - 2*x. Let g be (5/x)/((-35)/(-14)). Solve 20 = 5*d + g*f, d + 3*f + 13 = 30 for d.
2
Let b be (-3744)/(-672) + (-8)/14. Solve -20*l = -17*l - 4*o - 13, 0 = -3*l + b*o + 14 for l.
3
Let t be ((-112)/448)/(5/(-300)). Let v(u) = 3*u. Let m be v(-4). Let f = t + m. Solve 2*r + 5*q - 5 = 0, 4*r - f*r + 2*q = 3 for r.
5
Let g = -2 - -7. Let u = -113 - -53. Let v be (u/4)/5 - -4*8. Solve -5*c = 2*t + v, g*c - 3*c = 3*t - 4 for c.
-5
Let v(s) = 5*s - 85. Let i be v(20). Suppose -i*a = 11*a - 130. Solve -3*p = 5*l - 19, 4 + a = 3*p + 3*l for p.
-2
Let r = -3659 + 3676. Solve -i - 2*u + 3 = 4*i, i = 4*u - r for i.
-1
Let t be 12/(-15) - (0 - (-116)/(-20)). Let r(u) = -u**3 - 6*u**2 - 3*u + 18. Let m be r(-3). Solve t*x - n - 19 = m, -n - 9 - 6 = -4*x for x.
4
Suppose f + 22 = w, -w + 0*f = f - 20. Let p(j) = 20*j - 1158. Let u be p(58). Solve -5*i = 2*x + w, 0 = 4*x + 5*i + u + 15 for x.
2
Suppose -20*i = -22*i - 6, -5*f - i = -22. Solve x = -d + 5 - 2, 0 = -f*d + 3*x - 9 for d.
0
Suppose -120*l + 236 + 40 - 36 = 0. Solve -l*i + 6*i = -2*x - 4, -2*x = 3*i + 4 for i.
0
Suppose -o - o - 62 = 2*n, -4*n - 133 = -5*o. Let p = n - -40. Let w = p - 5. Solve 0 = -z - 5*h + w, 0 = -0*h + h for z.
3
Let n be (-7)/((-14)/20) - 6425/(-257). Let j = -7 + 8. Let v = j - -2. Solve 2*c + n = -5*w, 4*w + 8 - v = 3*c for w.
-5
Let t(k) = 286*k + 2862. Let o be t(-10). Solve 5*i = d - 3*d + 7, -o*d - 3*i + 1 = 0 for d.
-4
Let c = -34 - -37. Suppose -2*n + 3 = 2*v - c, -4*n + 8 = 0. Solve -5*u - 33 = -4*a, -a = -3 + v for u.
-5
Let c = -236 - -239. Suppose -c*x + 3*h + 24 = 0, -h + 2*h = 3*x - 18. Solve -s = -4*l + 15, -x*l + 27 = -l - 5*s for l.
3
Let q(k) = -k**2 + 5*k - 9. Let c be q(5). Let i be (-420)/9 - 6/c. Let t = i + 48. Solve t = 2*x - 4*x - 5*u, 0 = -5*u for x.
-1
Let u = 3 - 3. Let s = -9 + 9. Solve u = 2*w - 2*d - 6, -3*d + 3 = s for w.
4
Suppose 0 = 5*j, 2*b - j - 184 = -178. Solve -4*v + b*h - 10 = 9, 5*v + 18 = -2*h for v.
-4
Let y(t) = -2*t - 29 + 0*t**2 - 17*t - t**2. Let m be y(-17). Suppose 3*f - 1 = -4*q - m, -q = -5*f + 24. Solve 3*z - 25 = -5*o, -o - z - 13 = -f*z for o.
2
Suppose 0 = v + 3, 5*y + 3*v = -2*v + 545. Let n = -112 + y. Solve n*x = -x + d, -10 = -3*x + 5*d for x.
-5
Suppose 31*v + 217 - 179 = 193. Solve 13 = 4*w + 2*m + 25, -5*m - 5 = v*w for w.
-5
Let x(a) = a**3 - 7*a**2 - 9*a + 12. Let m be x(8). Let p = 5864 + -5863. Solve -i - p = 5*s - 11, -m*i + 2*s = -18 for i.
5
Let u(h) = -736*h + 6629. Let l be u(9). Solve 0 = z + 3*i - 4, 0 = 3*z - 2*i - 6 + l for z.
1
Let g(b) = -b**2 - 4*b + 6. Let h be g(-3). Suppose -3 + h = 2*x. Suppose 50 - 5 = x*a. Solve 3*d + a = 5*k - 5, d + 3*k = -2 for d.
-5
Suppose 6*x - 7*x = 4*t - 1, -20 = -5*t. Let g(d) = -d**2 - 8*d + 107. Let i be g(x). Solve i*p + 33 = -5*l + 2, -l + 10 = -5*p for p.
-3
Let m(u) = 2*u + 15. Let s(b) = -3*b**2 + 101*b - 66. Let y be s(33). Let q be m(y). Solve -4*i + 0*i - 12 = 4*r, 5*r + q = 2*i for r.
-3
Let h be (-27)/27 - (-505 - 0). Let j be h/49 - (-8)/(-28). Suppose 0*u + 4 = 2*u. Solve y - 1 = -s + 2, j = 2*y - u*s for y.
4
Let q = 1816 + -1814. Solve 0 = -x - q*t - 4, -3*t - 11 = 3*x + 1 for x.
-4
Let p be (0/(-15) + (-10)/(-2))/1. Suppose -5*t = 4*w - 22, -5*w = p + 5. Solve -2*i - 10 = -l, -4*l - 4*i - 2 + t = 0 for l.
4
Let d = -11 + -3. Let a = d - -16. Suppose 8*m + 9 = 12*m + 3*n, 3 = -2*m - 3*n. Solve l = -h - l - m, 0 = 4*h - a*l - 16 for h.
2
Suppose 2*y = 8 - 0. Let r be (0 - 0)*2/y. Let g = 629 - 624. Solve 2*l + l = 5*a - 5, r = -g*a + 5 for l.
0
Let z = -16133 + 16149. Solve -3*b = 2*a - 6*b - 11, -3*a - 2*b = z for a.
-2
Suppose z - 5*m = -11 + 5, 0 = 5*z - 4*m + 9. Let f be z - ((-3)/(-7) - 620/140). Solve -2*q + f*o + 4 = 1, -q - o = -4 for q.
3
Let f be (-20 - 1)/(-7) + 3 + -1. Suppose f*v + 3*k = 80, 5*k - 12 = v - 28. Suppose 5*n = n + v. Solve 2*c + 12 = -n*j, -2*j - 7 = -1 for c.
0
Suppose 8*c = -3*c + c. Suppose -4*v + 16 = 8. Solve q + c*q + v = 4*p, -2*q - p = 4 for q.
-2
Suppose -2*q + 37 - 39 = 2*c, 4*q + c - 11 = 0. Solve q*r - 14 = -3*a, -4*r + a = 3*a - 16 for r.
5
Suppose 21 = 3*r + 3*j, 1 = 3*r - j - 0. Let t = -165 - -95. Let h be (t/4)/(-7)*r. Solve 0 = -g - 3, 4*b + h*g + 9 - 2 = 0 for b.
2
Let i(w) = -w**3 - 9*w**2 - 33*w - 3. Let j be i(-7). Let q be j/39 - (-20)/12. Solve q*b = 5*x - 0*b - 10, -2*b - 6 = -3*x for x.
2
Let y(p) = -11*p**2 + 2*p + 22. Let f be y(-6). Let j = f + 386. Let z(x) = x**2 + x - 4. Let w be z(-3). Solve -3*v - l - 2 = 0, 2*v - w = -4*l - j for v.
-1
Suppose 0 = 11*k - 68 - 9. Suppose -k*a + 9*a + 67 = 3*q, 0 = -2*q + a + 46. Solve -3*n = -8*n - q, -2*b + n = -13 for b.
4
Suppose -48*c + 49*c + 87 = 0. Let s = -87 - c. Suppose s = x + k - 5, 0 = -5*x - 7*k + 4*k + 15. Solve -6*v = -3*l - 2*v - 28, x = -l - 2*v + 4 for l.
-4
Suppose 0 = -6*q + q. Suppose -5*s = -28 - 32. Suppose 48 - s = 3*x. Solve -5*h - c = 2*c - 32, -h + 4*c - x = q for h.
4
Suppose 5*c = -0*c + 20. Let q(u) = 3*u**2 - u + 2. Let l be q(3). Let r = l - 24. Solve 0 = c*a + 2*y, 3*y = -2*a - r + 10 for a.
-2
Let o be (12 + 819/(-65))*(-60)/4. Solve 3*p - 4*g + 8 - o = 0, 2*p - 4*g = -2 for p.
3
Let z(u) be the first derivative of u**2/2 + 10*u - 19. Let v be z(-8). Let h be (3*v + (-4)/(-2))/2. Solve 2*a + k = -h, -5*k - 1 + 21 = 0 for a.
-4
Suppose -2*m - 25 = -61. Suppose -r + m = -3*h, -2 = 5*h + 3. Solve r = 3*j, -13 = -q - 4*j + 7 for q.
0
Suppose -3*v - 5*g = -721, 167 = v - g - 68. Let u = -233 + v. Solve 2*m + 2*m = -u*d + 20, 5*d - 7 = m for m.
3
Suppose 361*h = 87*h + 6850. Solve -j = 4*q - 10, -30*q = 5*j - h*q - 20 for j.
2
Suppose 15 = 5*c - 10. Suppose -s - 68 + 72 = m, -3*s + 3*m = 0. Solve 4*g + 8 = -4*f, -s*g + c*f = 2*f + 4 for g.
-2
Suppose 7*g = -64 - 83. Let w = 28 + -5. Let t = w + g. Solve -4*b - 5 = 5*d + 10, t*b + 7 = -3*d for d.
1
Let d(m) = 2*m**2 - 3*m + 31. Let j be d(8). Let w be ((-110)/25 - -4)*j. Let g = 61 + w. Solve 4*v = -5*a - 0 - g, 5*v + 18 = 3*a for a.
1
Suppose -3*g + 2430 = 27*g. Suppose 0 = -32*q + g + 47. Solve 2*i + 9*k - 4*k - 9 = 0, 3*i - q = 2*k for i.
2
Suppose 0 = 2*b - 34 - 36. Let m(u) = -u**3 + 33*u**2 + 70*u + 3. Let n be m(b). Solve -2*v + 2*w = -6, v + w = -n*w - 2 for v.
2
Let z(v) = -2*v**2 - 15*v + 4. Let u be z(-4). Suppose u*a + 5 = 33*a. Solve -a*c = -l + 3, -c - 7 = 2*l + l for l.
-2
Let y = -346 + 33