j + 15, 0 = 2*k - 5*j - 13 for k.
4
Let j = 4692 - 4684. Solve -8*a + 10*a = -4*g + 4, g = 3*a + j for g.
2
Suppose 5*j - 2*v - 9 - 12 = 0, 3*j = 2*v + 11. Solve 6*r - 33 = j*c + 2*r, -4*c - 10 = 5*r for c.
-5
Let j(c) = 2*c**3 + 2*c**2 - 7*c + 6. Let d be j(-6). Let n be ((-702)/d)/(6/8). Solve 0 = -5*g - b + 23, 0*g + 29 = 5*g + n*b for g.
4
Suppose 2*y + 5*r = -11, -62*r = -2*y - 61*r + 7. Suppose -5*l + 3*t = -0*t - 135, -135 = -5*l + 5*t. Solve -4*m + y*m = 3*i - 13, -l = -5*m - 2*i for m.
5
Let m(j) = 2*j + 1. Let g be m(-2). Let h = -3 - g. Let y be (4 + 50/(-20))/((-1)/(-2)). Solve -4*f = 4*n + 6 + 6, h = 4*f + y*n + 7 for f.
2
Suppose -590 = -203*z + 144*z. Solve -j + z = -2*u, -13 = -3*j + 2*u - 3 for j.
0
Suppose -m + 2 = -2*m + 3*d, 2*m + d = 10. Suppose -m*v + 2*t + 8 = -0*t, -2*v = t - 4. Solve v*y - 2 = -2*u - 4, -2*u = y + 1 for y.
-1
Let b = -449 + 456. Suppose b*v - 3*v = 28. Solve -2*t = t - n + v, 0 = 2*n - 8 for t.
-1
Suppose 38*k - 1460 = -692*k. Suppose j - 1 - 1 = 0. Solve -2*t - 3*t = 3*o - k, -2*t + j*o = 12 for t.
-2
Suppose -y = -5*t + 16, 19 = -4*y + t + 4*t. Let b be 7/(0 + -7)*5*y. Solve 3*a + b*d + 22 = 4, 0 = -2*a - 5*d - 17 for a.
-1
Let p be 1620/80 + -21 - (-14)/(-16)*-10. Solve 4*g - p = 4*f, -f - 120 = -121 for g.
3
Let c(h) = -h**2 - 23*h + 2. Let u be c(-23). Suppose -33 = -9*a - u*a. Suppose a*t + 10 - 19 = 0. Solve 0 = -0*x + x, -3*x = -t*g for g.
0
Suppose 16*h - 11*h = 895. Suppose 0 = 6*u - 151 - h. Let d be 22/u + (-26)/(-10). Solve -6 = d*f + q - 23, 3*q = -f + 19 for f.
4
Let w(f) = f**3 - 12*f**2 - 7*f - 68. Let u be w(13). Solve 1 = -4*g + i - 7, 5*g + i + u = 0 for g.
-2
Let z(t) = 4*t - 12. Let o be z(4). Suppose o*c - 60 = -2*u, 2*c = -3*u + 11 + 91. Suppose 2*n - u = -10*n. Solve -9 = -5*y - k, 0*y + 5*y = n*k - 7 for y.
1
Let m(h) = 12*h + 11. Let b(f) = -11*f - 10. Let t = 40 + -35. Let d(y) = t*b(y) + 4*m(y). Let u be d(-5). Solve -4*w = v - 24, -v = -0*w + 5*w - u for v.
4
Suppose -r = 5*j - 62, -4*r - 2*j + 220 - 62 = 0. Suppose 5*w - o = -3*o + r, 3*w = 3*o + 18. Solve 0*s + 5 = -h + s, 5*h + 3*s - w = 0 for h.
-1
Let g = -39386 - -39393. Solve 5*b - 2*t = 37, -2*t - g = 5 for b.
5
Suppose 2*a - 3*m + 28 = 37, 40 = 5*a - 4*m. Solve a = -4*u, 0*j + 3*j + 27 = -6*u for j.
-3
Let o be (-12*1/(-2) + 1254/(-44))*-2. Solve -50 = -5*i + 5*n, 10*n - o = -5*i + 14*n for i.
5
Let v be 6 - (-9 + (3 - 9)). Solve -l = 2*q - 7, 25 - v = 4*q for l.
5
Let t be (17 - (3 - -1)) + -11. Solve -t*y - v = 0, -2*v = -3*y - v for y.
0
Let i(s) = s**3 + 5*s**2 + 12*s + 35. Let h be i(-4). Solve 5 = -4*j + h*a, -4*j + 5 = a - 2 for j.
1
Suppose 21*b = 12*b + 27. Suppose -2*s + 5 = b*w - 9, -5*s + 22 = w. Solve 23 = w*l + 5*d, 3*l + 3*d = -0*d + 21 for l.
4
Suppose 4*y + 3 = -269. Let c = 7629 + -7700. Let l = y - c. Solve -4*z - 29 = -l*q, 0*q = q + 5*z + 22 for q.
3
Suppose 2 = 4*l - w, 558*l + 24 = 555*l + 5*w. Solve -2*b = 0, -6*s - 3*b + 4 = -l*s for s.
1
Suppose 15*b - 45 = 11*b + 3*s, -5*b - 2*s = -62. Suppose -43*z = -35*z - 32. Solve -2 - 1 = -3*a - h, 5*a + z*h = b for a.
0
Let c be 21 + (-11 - 36/(18/(-3))). Let r be ((-115)/(-10) + -8)*c/14. Solve 0 = 4*n - 3*h + 6 + 2, -r*n - 5*h = 8 for n.
-2
Let n(k) = 10*k - 326. Let j be n(33). Solve 4*l + 6*f = 2*f - 20, j*l + f = -20 for l.
-5
Let h = -276 - -280. Suppose 5*p - 30 = -5*w, 13*p - 11*p = h*w - 48. Solve -5*g - w = -5*v, 0*v - 5*v = g - 22 for g.
2
Let h(c) = -16*c + 20. Let s be h(1). Solve -13 = 3*k - 0*k + 4*n, 8 = s*k - n for k.
1
Suppose 0 = 7*p - 6*p + 1. Let w be p - (-2 + 16/(-4)). Suppose 0 = -5*x + 108 + 92. Solve -5*j = -5*c + x, w*c - 3*j + 3 = 35 for c.
4
Let a = 5 - 3. Suppose -38 = 3*x - 5*i, -11*x - 5*i + 2 = -8*x. Let r be (25/(-10) - -1)*16/x. Solve -v - a*z = -1, -v - r*z = 2*v - 3 for v.
1
Suppose 5*p = -7 + 27. Let y be 14/4 + p/8. Let v(j) = 3*j - 16. Let w be v(6). Solve -k = -z + 3, w*k + k = -y*z + 12 for z.
3
Let x(g) = 6*g - 2. Let h be x(-7). Let c(p) = -38*p**2 - 1. Let v be c(-1). Let d = v - h. Solve -2*r - 2*j = -d*j - 14, 2*r - 18 = 4*j for r.
1
Let l = 227 - 200. Suppose 16 = 31*g - l*g. Solve 0 = x - g*v - 21, 4*x - 9 = -v + 2*v for x.
1
Suppose 15*o + 72*o = -18*o + 420. Solve o*c - 4*r + 28 = 0, 3*c - 8*c = 2*r for c.
-2
Let p = 0 - -6. Let h be (-18*p/9)/(-2). Suppose -20 = -h*j - 8. Solve -n + 2*c + j*c = 11, 10 = -2*n + 4*c for n.
1
Suppose -4*v + 46 = 530. Let u = 123 + v. Solve 0 = -u*l - 0*l + 4*q - 22, 0 = l + 5*q - 24 for l.
-1
Suppose -a + 4 = -3*b - 5*a, -20 = -b + 4*a. Suppose 6 = -b*g + 6. Solve -4*w + 28 = -4*k - g*w, k + 2*w + 1 = 0 for k.
-5
Let m = -4334 + 4336. Solve -3*g + 4*v = m*g + 23, -g = 3*v - 3 for g.
-3
Suppose 17*o - 8 = -8 + 85. Solve -4*p = -7*p - 4*i - 11, 0 = -o*p - 3*i for p.
3
Let i(o) = -o**2 + 1047*o - 15476. Let d be i(15). Solve 33*k - q - 10 = 35*k, 19 = -5*k - d*q for k.
-7
Suppose 5*q = -2*i - 10 - 56, 5*i + 184 = -3*q. Let u = -35 - i. Suppose 2*g + u = 5*l - 5, 3*g = -4*l - 12. Solve l = -5*m, -3*a - 2*m = -7*m - 9 for a.
3
Suppose 88 + 22 = 31*k - 14. Solve 5*a - 4*m = -31, 3*a + 3*m + 1 = k for a.
-3
Let a = -58 - -61. Suppose -a*x + 90 = -5*x. Let s = 47 + x. Solve -5*w - 1 = 3*o, -3*w + 8 - s = 4*o for w.
-2
Suppose 3162 = 29*q + 128*q - 1548. Solve -2*g = -10, -3*c + 5*g = -8*c + q for c.
1
Let j = -736 - -744. Solve 0 = -2*b - 2*r + 16, j*r = -5*b + 7*r + 28 for b.
5
Suppose 2*z + 32 = 4*s, -9*s - z = -7*s. Solve 0 = 5*f - s*w - 31, 6*f - w = 8*f - 2 for f.
3
Let u(d) = -8*d - 100. Let y be u(-13). Suppose -4*w = y*r - 5*w - 2, 4*w + 8 = 4*r. Solve 3*t - 2 = 5*v + 2, -v + 2*t + 2 = r for v.
-2
Let n = -53810 + 53812. Let z(r) = r**3 - 4*r**2 - 3*r - 7. Let u be z(5). Solve 0 = -2*g + 10, 2 + n = -u*m - g for m.
-3
Let l be (-2)/(-4) - (-22)/4. Let t(z) = 4*z + 122. Let s be t(-13). Suppose 64*f = 57*f + s. Solve -r - l = -q, 2*q - 5 = 3*r + f for r.
-3
Let u(a) = 6*a**3 - 14*a**2 + 4*a + 3. Let i be u(2). Solve 5*o - 2*g = 23, -i*o = 4*g - 21 + 2 for o.
5
Suppose -98 + 6 = -37*z + 19. Solve 5*t = 0, 3*s + 3*t = 15 - z for s.
4
Let n = -22 + 34. Let q be (-3 + 19 - 8)*(-2)/(-4). Solve n = q*x - 2*u, -2*u = 5*x + 2*u + 11 for x.
1
Let n be ((-28)/6 + (-6)/(-9))/(-2). Suppose 4*u = -3*x - 1, -4*u + 3*x = 5*x - n. Let c be (-8)/(-3) + (0 - u)/(-6). Solve -z = 2*k, c*z = -2*k - z for k.
0
Suppose 2*q + 3*c - 61 = 48, 0 = -4*c - 20. Let g = -64 + q. Let l be (27/(-18))/(1/g). Solve 0 = 3*n + 2*v - l, 2*v - 3*v = 0 for n.
1
Suppose -v - 52 = -3*j, 184 - 186 = -v. Solve -2*y = 2*t - j, -8*y + 9*y = 5 for t.
4
Let i(r) = -2*r + 63. Let t(m) = -18*m + 630. Let l(v) = 21*i(v) - 2*t(v). Let c be l(6). Solve 3*j - 6*j = 4*d - c, -5*j + 13 = -4*d for d.
3
Suppose 0 = 5*q - 47 + 27. Suppose q = 3*p - 5. Solve 12 = -2*y + 4*l, 4*y + p = 2*l - 3 for y.
0
Let i = -18174 - -18176. Solve 22 = 4*r + 3*w, -i*w = 158 - 170 for r.
1
Let f(v) be the second derivative of 0 + v**2 + v + 1/12*v**4 + 5/6*v**3. Let p be f(0). Solve -4*s + 3*s = -2*l - 1, -3*s = p*l - 11 for l.
1
Let w = -492848 + 492848. Let v be (-22)/8*8/(-2). Solve w*u = -5*h - u - v, -1 = u for h.
-2
Suppose -n - 3 = -3*g - 23, -2*n + 5*g = -35. Solve n*z - 40 = 4*f, -3 = 3*z + 3*f - 0 for z.
4
Suppose -h - 3*t = 191, 4*t - 6*t - 573 = 3*h. Let w = h - -196. Solve c + 0*c = a - w, 2*a = -5*c + 3 for a.
4
Let t(s) = -40*s - 2035. Let b be t(-51). Solve 0 = -p + b*p + 5*c, 0 = p - c for p.
0
Suppose -17*g + 30 + 4 = 0. Suppose -2*l + 3*h = 3*l - 6, 9 = g*l + h. Solve -4*s = -3*s + l*z - 13, 5*s - 8 = 4*z for s.
4
Let s(p) = -8*p - 78. Let y be s(-9). Let b be -1 - ((-16)/(-6))/(4/y). Solve -5*a - 8 = -i, -b*i - 3 = a + 5 for a.
-2
Suppose 77*g = 91*g - 140. Suppose -5*z = -4*s - 53, 5*z = s + g + 52. Solve 6 + 6 = 4*w + 2*v, -3*w - z = -4*v for w.
1
Let c = 2873 - 2871. Solve 0 = -4*b + 2*q + 12, 0 = 2*b - c*q - 2 - 8 for b.
1
Suppose 66*h + 416 - 2144 = -30*h. Solve 2*w + 2*x - 14 = -h, w = -2*x - 2 for w.
-2
Suppose 10*u - 12*u = -3*j - 44, 88 = 4*u - j. Suppose u*l - 113 = 63. Solve 2*o = -q - l, -5*q = 3*o - 2*o + 13 for q.
-2
Let y be -3*(-8)/4 - -40. Suppose -y*u = -50*u + 8. Solve 2*x + 11 = -p, 0 = -u*x - 6 - 2 for p.
-3
Let b(l) = -4*l**2 + 18*l - 8. Let a be b(4). Solve a = 4*o - 0*v + 3*v - 18, -o + 11 = 4*