2*d = -d - 2*r + 1 for d.
-1
Let g = -13376 + 13382. Solve 7*x = o - 37, 10*x - g*x + 16 = -2*o for x.
-5
Suppose -4*h = -u - 655 + 10, -h + 177 = 5*u. Let j = h - 158. Solve 14 = -2*s - j*c, 0*s - 2*s = c + 11 for s.
-5
Let w = -213 + 200. Let f(c) = -c**2 - 14*c - 7. Let t be f(w). Solve -3*x + 2*b - 14 = -t, -2*x = -5*b - 2 for x.
-4
Let n = -2830 - -2835. Solve 0 = 3*s + 5*q + 35, -s - 14 + n = q for s.
-5
Let d = -7672 + 7674. Solve 7 = -d*s - j, 9*j - 13 = 5*s + 13*j for s.
-5
Let x = 2163 - 2161. Suppose -4*z = 5*r - 10, 5*r = z + 6 + 4. Solve 0 = 5*v - r*g + 5, 5*v + 2*g + x = -3 for v.
-1
Let q be (54/(-3) - -16) + 12. Solve 2*s - 3*w = -1, s + q = 2*s + 2*w for s.
4
Let v = 95 - 92. Let j be (2*8/36)/(44/198). Solve -r - 5*z = -1, 3*z + 1 + j = v*r for r.
1
Suppose -93*r - 42 = -135*r. Solve 9 = -3*n + 3*v, 2*n - 17*v + r = -20*v for n.
-2
Let x be (255/(-663))/(95/(-494)). Let p(u) = u**2 - 3*u - 7. Let w be p(5). Solve -4*i + j = -w*j - 20, -x*i - 2*j - 2 = 0 for i.
2
Let j(w) = -w**2 + 12*w - 32. Let k be j(8). Let i be -2 + (-1 - k - -7). Solve 0 = -i*p - 12, -2*l - 4*p - 3 = -1 for l.
5
Suppose b + 0*b = 63. Suppose 0 = -i + 4*t - b, -5*i - 300 = -4*t - t. Let m = i - -64. Solve 0*w = 2*u - 3*w + m, 2*u - 2*w + 4 = 0 for u.
-1
Let k = -1632 + 1636. Solve 13*t = 10*t + b - 1, k*t + 4*b + 28 = 0 for t.
-2
Let b be 0 + 16 - 11 - 6/2. Solve 0 = -n - 2*n + 4*k - 4, -b*n - 4*k + 4 = 0 for n.
0
Let v = 795 - 791. Let y be 0/(v*((-5)/2 - -2)). Solve i - 4*i + m + 14 = y, -3*i + 4*m = -20 for i.
4
Let g(p) = 2*p**2 - 6*p + 4. Let q be g(3). Suppose 3*x + 405 = -4*n, 562 = -4*x - 0*x + 2*n. Let w = x + 175. Solve 4*r = q*d - w, -24 = -d - r + 5*r for d.
4
Let r = -14 + 18. Suppose -5*u = -q - q, -r*u = 3*q + 23. Let a be 2 - ((-4)/(-2) + u). Solve 0*l + a*i + 20 = -4*l, 4*i - 5 = l for l.
-5
Let x be ((-30)/(-35))/(18/84). Suppose -7*r + 18 = x. Solve 0 = -2*c, -3*b - r*b - 5*c - 10 = 0 for b.
-2
Suppose 0 = -8*x - 942 + 30. Let t be x/(-19)*(-2)/(-6). Solve 3 = -o - 5*r - 2, 0 = o + t*r - 1 for o.
5
Let k = 7 - 5. Let l = 54 - 30. Let x = l - 19. Solve -3 = 2*i - z, x*z = k*i + 3*i + 5 for i.
-2
Suppose 2*j - 34 = -2*i, -7*j + 5*i - 5 = -8*j. Suppose 10*w = 30 + j. Solve 4*k + 2*a + a - 14 = 0, 0 = w*a - 10 for k.
2
Let c(h) = h**3 + 11*h**2 - 14*h + 10. Let t be c(-12). Let s = -16 + t. Let w = s + -13. Solve -5*a - w*j = -2*j - 12, 0 = 2*a - 5*j - 11 for a.
3
Let i = 54 - 54. Let q(d) = 4*d - 19. Let w be q(i). Let t = -14 - w. Solve -2*y - 3*z = -5*y - 3, 10 = t*z for y.
1
Suppose 0 = 115*q - 452 - 296 - 632. Solve -4*d - 7*t + 8*t = -11, -3*d + 2*t = -q for d.
2
Suppose 0*z = 4*z - 16. Let l(j) = -2*j**3 + 4*j**2 + j + 5. Let a be l(3). Let r be (185/(-25) - a) + 4/10. Solve -3*d - t = 4, 0 = d - r*t - 2*t - z for d.
-1
Let x be 5/(15/(-12))*18/12. Let l be 1/(x*(-4)/16 - 2). Let g be (34/14 - l) + 32/56. Solve d = t + 9, d - 35 = -2*d + g*t for d.
5
Let v(x) = x - 7. Let j be v(9). Suppose -j*a = -a - 49. Suppose -7*g = -a - 98. Solve -3*c = -3*l - g + 6, -3*l + 1 = 5*c for l.
-3
Let i(w) = -w**3 + 25*w**2 - 45*w - 17. Let b be i(23). Suppose -2*f = 2*f - 4. Let o = 4 - f. Solve 2*c - a + b = 0, 2*c + 3 = c - o*a for c.
-3
Suppose -3*b + 53 = v, 0 = 3*v + 4*b + 22 - 171. Let d = v - 42. Suppose -4*g + 15 + d = 0. Solve -2*o = g*f - 7 - 11, 17 = -o + 4*f for o.
-1
Let d = -118 - -129. Let b(q) = -q**3 + 8*q**2 + 31*q + 22. Let a be b(d). Solve a = 2*l - 10, 2*w - l - 6 = -15 for w.
-2
Suppose -5*g + 4*k = 174 + 16, 3*k - 49 = g. Let q = 39 + g. Suppose -1 = 4*p - v + 4, -q = -v. Solve 3*s - 12 = p, -8 = -3*x - s - s for x.
0
Let f(a) be the second derivative of 2*a**3/3 - 8*a**2 + 51*a. Let y be f(4). Solve y*w = -5*w + r + 12, -5*r = 10 for w.
2
Let n(o) = o**3 + 2*o**2 + 12*o - 50. Let z be n(0). Let p be z/(-475) + (-110)/(-38). Solve -s + 22 = -2*g - p*g, 4*g = s - 17 for s.
-3
Suppose -80*f = -201 + 83 - 202. Solve -f*s + 2 = -5*i - 7, 4*s - 3*i + 1 = 0 for s.
-4
Let m = -1187 - -616. Let h = -567 - m. Solve -2*p = -b + 10, 10 = 2*p - h*p - 4*b for p.
-5
Let v = 10 + -7. Suppose -v*k + g = -10, 3*k - g - 6 = 2*g. Suppose 4*s + 0 = 3*t + 12, -5*s - k = t. Solve s = 2*i + 6, -b + 1 = 2*i + 5 for b.
2
Let v = 271 - 251. Let t be 1*4 + v/(-10). Let j(k) = k**3 + 5*k**2 + 3*k - 4. Let a be j(-4). Solve -t*l - 25 = -5*q, a = 4*q - q - 15 for l.
0
Let d = 245 + -138. Suppose -98 = 3*y - d. Let a(g) = -5*g - 7. Let w be a(-7). Solve 0 = 4*f + y*l + w + 1, 19 = -5*f + 2*l for f.
-5
Let z(y) = 4*y**3 - 50*y**2 - 9*y - 216. Let k be z(13). Solve -5*b - k*q = 20, -4*b + 3*q - 7 = 4*q for b.
-1
Suppose -9*i - 31*i = 120 - 680. Solve 0 = -k + 3*o + i, o + 1 = -4 for k.
-1
Suppose 10*d - 100 = -134 + 124. Solve 3*x + 12 = 0, 0 = 13*g - 12*g - 2*x - d for g.
1
Suppose 0 = 7*r - 5*r - 10, 16 = 2*f - 4*r. Suppose f*t - 16 = 10*t. Solve k = w + 2, 5*w - k - k = t for w.
2
Let r = -29 - -37. Suppose -r + 3 = -i. Suppose 0 = -m + i*m + z - 29, 3*m = 5*z - 7. Solve -3*u + 21 + m = 5*q, 4*q = 3*u for u.
4
Let g be (-2)/(-3) - (-62)/6. Suppose 859*p + 474 - 1419 = 3350. Solve -q = -5*q - 3*h + 10, -q - p*h = -g for q.
1
Let z = 9742 - 9740. Solve -3*v + 3*k - z*k - 8 = 0, v - 2*k = 4 for v.
-4
Suppose y = s + 24, -y - 5*s - 10 = -34. Suppose 36*q - 30*q = y. Solve 2*p = 5*p - 15, -2*z - 28 = -q*p for z.
-4
Let q = -1148 - -1152. Solve -q*m - 25 + 18 = -l, -l - 11 = 2*m for l.
-5
Suppose -t + 5*s - 1 = 0, -2*s + 13 = 2*t + 3*s. Suppose 4*v - 7 = -19*f + 18*f, 0 = -2*v + 5*f + 9. Solve 5*h - 3*i = -31, -4*h - 24 = v*i - t*i for h.
-5
Suppose -o + 5*o = -2*t + 236, 3*o = -3*t + 180. Suppose -59 = -z - o. Suppose 0 = 3*q - 5*q + 6. Solve 5*w + d + z - 4 = 0, -2*d = w + q for w.
1
Let i(d) = -2*d**3 - 28*d**2 + 60*d - 35. Let j be i(-16). Solve -3*f + 12 = 0, 0 = -3*w - 6*f + f + j for w.
3
Suppose 0 = -c + 4*v, -7*c + 2*v - 12 = -8*c. Solve -3*b = -2*l + 12, 31*l + 2*b = 29*l - c for l.
0
Let i = 17 + -12. Let c = -302 + 444. Let u = 154 - c. Solve -2*x = 4*k - 2*k + u, i*k - 3*x = 10 for k.
-1
Let i be 182/104 + 1/4. Let l be (-7 - (-1 - i)) + 15. Solve k - 4*x - 11 = 0, -4*x - l = k + 10 for k.
-5
Let k = 70 + -28. Let m be 4/(24/k) + 4. Let h(l) = -l + 2. Let w be h(-3). Solve 3*r - x - m = -0, 5*r - 45 = -w*x for r.
5
Let m(i) = 314*i - 624. Let j be m(2). Solve -4*d - 4 - 11 = -o, d = j*o for o.
-1
Let x be (-2)/((20/8)/(-5)). Suppose -68 = -12*r + x. Suppose -2*d + r = d. Solve 0 = -0*z + d*z - 2, -y - 2*z = 0 for y.
-2
Suppose 0 = -2*v, 2*n + 174 = -0*n + 3*v. Let h = n - -92. Solve 7*p + 25 = 3*j + 2*p, h*j - p - 5 = 0 for j.
0
Let f = -9994 - -10241. Solve f*s + 3*i = 252*s + 10, 3*s + 5*i - 28 = 0 for s.
1
Let y = 161 + -157. Suppose y*h + 17 = 29. Solve -4*f - 7 = -2*f - 3*z, 3 = h*z for f.
-2
Let s be ((-2)/(-3))/(5 - (-536)/(-108)). Suppose -174*k + s = -168*k. Solve y + 2*y - 3 = 0, -2*g - 3 = k*y for g.
-3
Let j(p) = 11*p**2 + 11*p**2 - 12*p**2 - p**3 + 10 - 16*p. Suppose 2*q + 3 = 19. Let l be j(q). Solve l = 2*s, -v + 6*v = s for v.
1
Let m be ((-20)/(-15))/((-8)/228). Let z = -37 - m. Suppose -3*k + 9 = 0, 3*k - 38 = -y + z. Solve 3*p = 5*w + 4*p - y, -20 = -2*w - 2*p for w.
5
Let r be (4 - 154/55)/(6/(-15) - -1). Solve -7*h + r*c = -h - 36, -3*h = 3*c - 18 for h.
6
Suppose 5*c + 7 = -3*s, 7*c = 3*c - 5*s - 3. Let u be (-2)/4*c + (-15 - -17). Let i = u + 1. Solve i*f - 2*p = -8, 2*f - 4*p + 6 = -f for f.
-2
Suppose 51*y = -125*y + 58*y + 2950. Solve 2*g + 2*i - 2 = 0, 23*g - 4 = y*g - i for g.
-1
Let p = -6950 + 6966. Solve 0 = -j - b - 10, 4*j - p*b + 45 = -21*b for j.
-5
Let c(w) = -w**3 + 44*w**2 - 155*w + 1316. Let a be c(41). Solve 5*n - 31 = 3*q, -3*q + 5*n = a*n + 11 for q.
-2
Let m = -122 + 120. Let r be (12/32*4)/((-1)/m). Solve r*d + 15 = -2*g, 3*d - 4*g = -2 - 13 for d.
-5
Let f = -89768 + 89770. Suppose t + 15 = 6*t. Solve -2*u = t*p + 19, 4*p - f*u + 7*u + 37 = 0 for p.
-3
Let c(s) = s**3 + 22*s**2 + 78*s + 26. Let y be c(-4). Let i = -12 - -102. Suppose -4*o = -14 - i. Solve 8*x - 4*j - 4 = 4*x, o = -y*x - 5*j for x.
-3
Suppose h - 4*q - 13 = 0, 2*h - 3*h + 5*q = -11. Let u = 665 + -665. Solve 3*i = 3*w + h, u = -3*i + 6*i + w - 13 for i.
5
Suppose 5*l + 148 = -142. Let j = l + 63. Solve g + g + j*v + 3 = 0, 0 = 2*g + v