= 3*n + c*x - x + 10, 0 = -3*n + 3*x + 18 for n.
2
Let t(d) be the second derivative of -7/12*d**4 - 3*d**3 + 13/2*d**2 - 7*d + 1/20*d**5 + 0. Let y be t(9). Solve 4*q = -5*v - y, 3*v - 5 = 4*v for q.
3
Suppose 8*y - 4*y - 8 = 0. Suppose 24 = -y*n + 4*g, -2*g - 24 = 2*n + 2*g. Let m = -10 - n. Solve -5*j = -3*l - 0*l - 1, m*j = l for l.
-2
Let d(y) = -y + 9. Let i be d(-4). Suppose 15*m - 10 = i*m. Solve -50 = 5*c + m*t, -3*t = -4*c - 6*t - 35 for c.
-5
Let s(f) = 3*f**2 + 2 + 3*f - 11*f + 5*f. Let c be s(1). Let o(p) = -5*p**3 + p**2 - 1. Let d be o(-1). Solve -2*b + 14 = -c*g - 0*g, d*g = 4*b - 30 for g.
-2
Let i = 464 + -461. Solve -s + 0*s - 8 = r, i*s = -2*r - 19 for s.
-3
Let a = -142 - -147. Let u be (12 - -3)/a + 7 + -3. Solve 3*q - u = -2*z + 1, 2*z - q - 8 = 0 for z.
4
Let k be 5*(-9)/(-180)*12. Solve k*r - 22 = c + c, 5*c = -25 for r.
4
Suppose 0 = -d + 4*d - 30. Let j be 158/d + (-11)/(-55). Solve 3*z - 4*z + o = -2, 5*z + o = j for z.
3
Let c be (-33)/(-6) - 21/14. Solve 0 = 2*h - f - 12, 13 = -c*f - 3 for h.
4
Suppose -39 = -4*l + 97. Let h = l + -26. Solve -2*f - 4*j - 16 = -2*j, 0 = 3*f - j + h for f.
-4
Let y = 744 + -741. Solve -y*p - 2 = -f, -f - p + 2*p = 0 for f.
-1
Let o be (-2)/6 + 16/3. Suppose 3*b + v - 19 = 0, -14 = -5*b + 2*b - 2*v. Let y(t) = -6*t + 55. Let a be y(b). Solve -c + 5*x = -9, 0 = -3*c - o*x + a for c.
4
Suppose 0 = 3*j + j - 20. Suppose j*f - 65 = 5*p, f - 41 = -0*p + 3*p. Let i = p + 16. Solve -4*k + 3 = -5*s - 9, 0 = -2*s - i*k + 6 for s.
0
Suppose 7*h - 5*h = -8*h. Solve -3*j - 2*x - 3 = 0, h*x + x = -3 for j.
1
Let n = 0 - 0. Suppose 2*t - t - 8 = -h, n = h - 2*t - 20. Let u = 368 - 364. Solve 3*x + u*r = -h, 4*x + 4*r + 20 = -x for x.
-4
Suppose -17*g = -22*g - 105. Let c be 9/(-3)*7/g. Solve 2*y - t + c = 4*y, -2*y - 4*t - 14 = 0 for y.
3
Suppose -2*p + 1992 = 1980. Solve -5*k + p*b = 3*b, -k = -5*b for k.
0
Let x(z) = z**2 + z - 17. Suppose 315 = -5*u + 335. Let q be x(u). Solve -q*g + 4*b + 9 = -14, 3*g + 4*b + 17 = 0 for g.
1
Suppose a + 2*q - 19 = -11, 2*a + q = 7. Suppose 5*x = a*p - 10, -4*x - 9 + 24 = 3*p. Let m be (2/(-2) + 0)*0. Solve -5*v + p = 2*i - m, -2*i = 0 for v.
1
Let j = -14 - -28. Let g be 77/11*4/j. Solve 4*m + g - 12 = 2*c, -c = -5*m + 20 for m.
5
Let q = 27 + -17. Suppose 18*n - 24 = q*n. Solve -3*v = -5*r - 2*v - 7, r - 7 = n*v for r.
-2
Let k = 622 + -622. Solve k = 2*z - 3*h + 3 + 6, 9 = 3*h for z.
0
Suppose 7*k + 2*z = 3*k + 22, 4*k - 5*z = 15. Solve 25 = -5*p + 7*p - k*i, 4*p - 3*i = 29 for p.
5
Suppose 0*t = -2*t - m + 8, -4*t = -m - 16. Solve z = 4*g - t, 0*z + 4*z - 14 = g for g.
2
Let c(l) = -7*l + 3*l**2 - 5*l**2 + l**2 - 10 + 2*l. Let i be c(-5). Let q be 9/(-3)*i/6. Solve -4*k - q*x = -9*k + 10, -k - x - 8 = 0 for k.
-3
Let t = -100 + 101. Solve -3*h - 5*z = 5, z + t - 17 = -4*h for h.
5
Let r(z) = -z + 2 + 3*z - z**3 + 3*z - 3*z. Let l be r(-2). Solve 0 = -2*p - 3*g - 9, -4*p = -l*p - g + 1 for p.
3
Let g be (5/15)/(2/6). Let u = g + 3. Solve 3*q + 3*s + 14 = u*q, 4*q - 4*s = 24 for q.
2
Suppose 3*s = 2*u - 238, -2*u + 5*s + 284 = 54. Let o = u + -112. Solve 7 = -5*n + 2*w, -3*n + 3*w - 4*w = o for n.
-3
Suppose -3*g - s + 12 = 0, 3*s = -5*g + s + 19. Suppose i + 2*r = -3, -2*r = -2*i - g*r - 3. Solve 5*o - w = w + 2, 4*o + i*w = 20 for o.
2
Let k(v) = 3*v - 9. Let x be k(6). Suppose j = -3 + x. Suppose -2*z - 2 = -6. Solve 4 = -z*n - u + 7, n - j = u for n.
3
Let v be ((-45)/9)/(20/(-16)). Suppose 3*n - 15 = -2*n. Solve -v*l = -l - 3*u, 0 = 4*l + n*u for l.
0
Let w be -6 + 8/((-40)/(-105)). Solve 37 = 2*x + 3*x + 4*b, -5*b + w = 0 for x.
5
Let n = -12 - -16. Suppose -5*x - 20 = 3*p - 2*p, -n*p + 3*x + 35 = 0. Suppose k = -2*l + 7 - 5, -p*l = 2*k - 7. Solve 6*q = 3*m + l*q + 24, 2 = -m - q for m.
-5
Let d be (-119)/(-1071) + -2 + 44/9. Solve -5*n - l - 3 = 2*l, -3*n + 3*l = -d for n.
0
Let i = -3078 - -3078. Solve i = x - 3*o - 10, 8*x + 4*o + 20 = 6*x for x.
-2
Let h(z) = 2*z**2 + 3*z + 2. Let w be h(-2). Suppose 5*y + 5*o = 90, 2*o + 9 = -3*y + w*y. Solve -4*q = -2*g - 22, 3*g = 3*q - 3 - y for g.
-1
Let m(o) = -o**2 - 18*o + 120. Let t be m(5). Solve 0 = t*l - 8*p + 9*p + 4, -2*p - 8 = -5*l for l.
0
Let b(s) = -s + 16. Let v be b(9). Let g be 3 + v/(1/1). Let u = 17 - g. Solve -k + 1 = -2*a, -3*k = -5*a - 5*k - u for a.
-1
Suppose -3*i = 4*u - 12, i + u + 5 = 8. Solve -z + 3 = -s - i*s, 3*s + 4*z = 5 for s.
-1
Let y(a) = a**2 + 9*a - 2. Let x be y(-8). Let v = 10 + x. Suppose 3*l - 9 - 3 = 0. Solve v*d + 8 = -2*q - 2*d, -3*d = -5*q - l for q.
-2
Suppose 9*p = 4*p - 3*i + 34, 2*i - 6 = 0. Solve -g = 5*q - 6, p*q = g + 6 + 8 for q.
2
Let v be 4*(9 - 10) - -7. Solve -2*p + 0*q = -v*q + 12, -4*p - 4 = 4*q for p.
-3
Suppose -11*j = -12*j - 2*d + 12, 2*j + 21 = 5*d. Solve j*m = -3*g + 7, -2*m - 1 = 5*g - 6 for g.
-1
Let u(x) = 13 + 10 - 12*x - 20. Let b be u(2). Let c = b + 25. Solve -4*j - r + 1 = -c*r, 5*r = 25 for j.
4
Let a(n) = 2*n - 4. Let b be a(3). Suppose 4*g = 2*g + 8. Suppose -4*u = -g*c - 52, u + 0 - 4 = 4*c. Solve -b*h + 4*j = u, h = -4*h + j - 4 for h.
0
Let n = 451 - 446. Solve -4*c = -5*f - 18 - 5, 5*c = -n*f - 5 for f.
-3
Suppose -25*g = -17 - 33. Solve 4*v - 6 - 10 = 0, -5*l - g*v = 2 for l.
-2
Suppose -x + 22 = -5*h, 4*x - h = 56 - 44. Solve -x*w + 3*t + 20 = 0, 4*w - 5 - 3 = -2*t for w.
4
Suppose 21 = -3*u - 0. Let a = 1 - u. Let g = 50 + -23. Solve -3*v + 11 = 2*h, -a = 3*v + 4*h - g for v.
1
Let j = 127 + -119. Suppose 9 = -2*k + 5*k. Let i be (6/4)/k*j. Solve 3*n - 6*l = -l + 5, 0 = 2*n - 4*l - i for n.
0
Let q(r) = -r**2 - 21*r - 77. Let o be q(-7). Solve -4*v = 5*x + o, -4*v = 2*x - 3 + 21 for x.
-1
Suppose -12 - 5 = 3*r - 2*n, n = 4*r + 26. Let s(x) = x**2 - 3*x - 53. Let y be s(r). Solve 4*q - y = -2*v - 3, -5*q + 2*v = -31 for q.
5
Suppose 0 = 2*s + q - 8 + 5, s + 2*q = 0. Solve -5*f + 5*c = -1 + 6, s*f - c = -2 for f.
-1
Suppose -22 = 3*g - 2*o - 30, -o = 4*g - 18. Solve g*t = -u + 5 + 7, 0 = 4*u - 4*t - 8 for u.
4
Let b(f) = -f**2 - 2*f - 4. Let x be b(-4). Let a be 22/44 + 3/(x/(-14)). Solve -8 = y - 2*m, -m + 22 = -y - a*y for y.
-4
Let s(v) = 2*v + 2. Let p(d) = -2*d - 2. Let k(t) = -6*p(t) - 5*s(t). Let h be k(-1). Solve 5*b + m = 0, 2*b + m + 2*m - 13 = h for b.
-1
Let l be 4/(3/12*-1*-4). Solve -5*f = 0, -l*x - 2*f - 10 = -2 for x.
-2
Let t(x) = x**2 + 9*x + 4. Let o be t(-8). Let i be (-1)/o*4*4. Suppose 0 = d - 3*d + i. Solve v + 3 = -d*g, 6*g + 10 = 4*v + 3*g for v.
1
Let z = -213 - -216. Solve 6 = z*n - 3*k + 3, 0 = -4*k for n.
1
Let o be 2/(2*(-1)/(-2)). Let c be 6 + -2 + (6 - 5). Suppose c*d = -5*n + 5, 3*d + 11 = 5*n + 38. Solve o*g + d*m - 6 = 0, -g = -2*m - 1 + 2 for g.
1
Let v be 50/18 + (184/18 - 10). Solve -d + 7 + 1 = -4*l, v*d = 4*l for l.
-3
Let k = 43 + -20. Let g be (0 - 1/1) + k + -14. Solve -3*d - 3*n = n + 5, 2*n + g = 4*d for d.
1
Suppose -12 = 4*r - 4*p, -p + 76 - 72 = 0. Solve o - 3*v = r + 5, -v - 12 = 3*o for o.
-3
Let a(t) = -t**3 - 14*t**2 - 4*t + 11. Let o be a(-14). Suppose 4*p + 3*q = 76, 2*q = -3*p + o - 10. Solve -3*l - 4*x = -27, -2*l + p = 3*l - 2*x for l.
5
Let g be (30/(-12))/((-35)/10 + 3). Solve -23 = -4*h + 3*r, 0 = g*h - 2*r + r - 15 for h.
2
Let a be 0 + (0 + 12)/3. Suppose -a*l - x = 1 - 23, -5*x + 5 = -l. Solve -12 = l*v - c, -3*v = 4*c + 13 + 8 for v.
-3
Let c be 2/(-1)*1*-2. Suppose 6*x - 5*x = 4. Suppose 5*o - 4*i = -0*o + 63, o + x*i - 27 = 0. Solve -o = -g - f + 6*f, -c*g + 26 = -3*f for g.
5
Suppose -s + 4 - 9 = -3*k, 4*k - 4*s + 4 = 0. Solve -3*g + 4*g + k*v = -4, 3*g + 4 = -v for g.
-1
Let b(s) = -s**2 + 10*s + 13. Let p be b(9). Suppose 11*w - p = -0*w. Solve 0 = w*h - 5*d, -5*h + d + 23 = -0*d for h.
5
Let t(m) = 11*m - 130. Let g be t(12). Solve 5*a - 4 = -g*b, 2 + 2 = -4*a + 2*b for a.
0
Let z be (-9)/(36/(-16)) - 94. Let t = z - -90. Solve -5*w - 5*g - 8 = -2*w, t = -4*w + g + 20 for w.
4
Let o(w) = w**3 - 19*w**2 - 44*w + 47. Let m be o(21). Solve 3*p = 4*f + m*p + 18, 2*f + 12 = 2*p for f.
-5
Suppose 40 = -2*l + 5*y + 24, -2*l - 8 = -3*y. Solve -4*j + 8 = -l*x, 0*j = -3*j for x.
-4
Suppose -3*v - r + 12 = 0, 4*v + r = 8 + 8. Let c(n) = 47*n + 2 - 11*n - 15*n - 20*n. Let w be c(9). Solve -p - 4*g - w = 0, 2*g - v*g - 28 = -4*p for p.
5
Suppose 3*y = -9, -4*n + 3*y + 18 