et d = -31767 + 31767. Solve 24*p = 28*p, -2*b - p - 2 = d for b.
-1
Let k = -2957 + 2964. Solve -u - 10*v - 11 = -k*v, -2*u = -4*v + 2 for u.
-5
Let m(f) = 7*f**3 + 2*f**2 - 1. Let v be m(1). Suppose 0 = v*d - 7*d. Solve -6 = -4*j + 6, d = -2*x + 4*j - 6 for x.
3
Let j(o) = 2*o**2 + 31*o + 31. Let d be j(-1). Solve s - 13 = -3*w, -d*w = 6*s - s for w.
5
Let a = 9 - 6. Let f = 211 - 211. Let j be -4 + (-24)/(-3) + (-3 - f). Solve 2*p + j = 4*u + a, -p + u = -1 for p.
1
Suppose -3*g + 2*u + 16 = 0, 2*g = -3*g - u + 5. Suppose 4*f + 4*d + 4 = 0, 0 = -f - 5*d + g*d - 9. Solve -5*v - 4*h - 3 = f, -5*h + 1 = 2*v for v.
-2
Let j = 941 - 915. Solve -f + 3*q + j = 26, -4*q = 0 for f.
0
Let t = 22 + -6. Suppose 0 = -o + 3*d + t, -d - 1 = -3*o + 7. Solve -5*s - 5*u = -19 - 6, -u = -s + o for s.
3
Suppose 9204*v + 792 = 9228*v. Solve 2*m = 5*d - v, 3*d + 23 = -2*m + 6*d for m.
-4
Let o = 167 + -157. Let n(i) = -2*i + 44. Let b be n(o). Solve z - 5*r = 3*z - 15, 4*r - b = -4*z for z.
5
Suppose -590 = 13*x - 3*x. Let h = 62 + x. Suppose -r + c - 2 = -1, h*r = c + 7. Solve -3*u + r = -4*l - 6, 2*l = -3*u + 4 for u.
2
Let p = 407 - 404. Suppose 4*f = -4*o + 40, p*f - 4*f + 28 = 4*o. Solve v = -2*c + 11, -v - 3*c = -o*c + 14 for v.
1
Suppose 0*o = 5*o - 25. Let z(t) = -t**2 - 133*t - 1228. Let h be z(-10). Solve 0 = o*w - 4*w + u + 4, h*w + 5*u = -11 for w.
-3
Suppose 1 = 4*w - w - n, -2*n - 2 = -5*w. Solve -s + 17 = -3*m - w, -4*m - 26 = -3*s for s.
2
Let p = 339 - 312. Suppose -p*k + 44 = -16*k. Solve -4*h + k = m + 3*m, 2*m = -3*h + 2 for m.
1
Suppose 52*b = 13*b + 468. Suppose p + b = 4*p. Solve -p*s + 3 = -m - 7, s - 4 = m for m.
-2
Suppose 410*s = -276*s + 6174. Solve -6 = 3*f, h + 3*f + f + s = 0 for h.
-1
Let v(f) = -f**2 + 37*f + 212. Let n be v(-5). Solve n*p = -2*h + 8, -h + 12 = 3*p - 4*h for p.
4
Let m = -275 + 275. Let c be (-18)/(-6) + (1 - (m + 2)). Solve -2*s - 16 = -4*s - 2*j, 0 = -c*j + 8 for s.
4
Suppose v + 10 = 6*v. Suppose 284 = 2*k - 6*k. Let p = 75 + k. Solve -n - 5*j - 22 = 0, -p*n - v*j - 19 = -7*n for n.
3
Let h = -857 + 862. Solve h*j - 20 = -b, j - 5 = 3*b + 3*j for b.
-5
Let q(x) = -389*x + 789. Let j be q(2). Solve 3*h + a = -12, -h = 6*a - 8*a + j for h.
-5
Suppose -202 + 95 = -59*y + 129. Solve -3*i = -3, a - 7*i = -5*i - y for a.
-2
Let s = -29256 + 29353. Solve -2*t - 92*v = -s*v - 6, 5*v + 12 = -t for t.
-2
Suppose 4*s = v + 148, -17*s = -16*s - v - 40. Suppose -s*o + 15*o = -42. Solve o*t + 21 = 3*w - t, -2*w + 5*t = -23 for w.
4
Let t(o) = -56*o**2 - 784*o + 3. Let c be t(-14). Solve -c*g + 3 = -h - 5, -5*h = 4*g - 17 for g.
3
Let v(a) = a**2 + 14*a + 47. Suppose 21*x - 90 = 31*x. Let f be v(x). Solve -f*b - 3*b - 30 = 2*l, 4*l + 32 = -3*b for b.
-4
Let x(f) = -f**3 + f. Let n be x(1). Suppose n = 3*y + 4*y. Suppose y = -6*l + 32 - 2. Solve -2*p = -l*p + w + 2, -12 = 2*p + 2*w for p.
-1
Let m(y) be the second derivative of 13*y + 0 - 8/3*y**3 + 1/12*y**4 + 9*y**2. Let a be m(15). Solve 0 = -5*d + 4*n + 3, -a*d + 4*d + 3*n - 12 = 0 for d.
3
Let i = -2317 + 2325. Solve 4*s + 4 = -0, 3*m - 2*s = i for m.
2
Let l be 28/(-10)*(-24)/(-16)*5. Let a = l - -25. Suppose -16*t + 30 = -11*t. Solve o - a*q = t*o - 15, 9 = 3*o + 5*q for o.
3
Let d(f) = f**2 - 12*f + 37. Let r be d(8). Suppose -23 - 177 = -10*k. Solve r*s = 3*h - 32, 2*s + 0*h = 3*h - k for s.
-4
Let j(t) = -4*t**2 - 5*t**2 + 12*t - 26*t - 3 - 3*t - 5*t. Let q be j(-2). Solve -3*i + q*a = a + 4, -4 = -2*i - 4*a for i.
0
Suppose -9*v = -7*v, d + 3*v = 1. Let a(w) = 8*w - 6. Let o be a(d). Suppose 3*b = -5*k + 7, k = 6*b - o*b - 17. Solve 0 = 2*i - 5*i + b*n, 6 = -2*n for i.
-4
Suppose 5*s - 25 = -5*d, 2*s + 1 = 3*d - 2*s. Let f = -199 - -345. Let z = 163 - f. Solve d*x = w + 12 - 3, x - z = 5*w for w.
-3
Suppose -u + 18 = -w - 50, 4 = -4*w. Let c = -32 + u. Suppose 4*h = c + 5. Solve 3*p + 2*p - 4*m - 2 = 0, -5*m = -h for p.
2
Let n(r) = r**3 + 32*r**2 + 5*r + 166. Let y be n(-32). Solve -17 = 4*f + 5*b, -4*b + y = f + 13 for f.
-3
Let y(a) = a**3 - 9*a**2 + 21*a - 11. Let r be y(6). Suppose j = -4*c - c + 7, -j - c + r = 0. Solve 5*h + 6 = -3*l + 2*h, -2*l - h - j = 0 for l.
-5
Let v = 1 + 11. Let f(i) = 2*i**2 - 31*i + 114. Let a be f(6). Let n(h) = -h**2 + 15*h + 1. Let q be n(15). Solve q = o, -3*c - v = -a*c - 3*o for c.
-3
Suppose 0 = -4*a + a - 114. Let r(z) = -2*z**2 - 19*z - 6. Let j be r(-12). Let q = a - j. Solve 2*b = -5*x - q, -b - x + 5 = 13 for b.
-4
Let x = 6837 + -6831. Solve -p - 2*w = -0*w + x, w + 3 = 2*p for p.
0
Let o be (-4 - -4)/(12/78*13). Solve 2*y = -2*x + 2 - 6, -3*y - x - 8 = o for y.
-3
Suppose -105 = -4*h + z, 5*h - 40*z + 36*z = 145. Solve -g = 4*n - 5*g, 0 = n + 4*g + h for n.
-5
Suppose 0 = 289*c - 364*c + 150. Solve c*j + 12 = r, -2*r = -2 - 6 for j.
-4
Let k be 2/(-4)*(-73 + 69). Solve 0 = u + 4*f - 5*f, -u - k*f + 6 = 0 for u.
2
Let v = 466 + -464. Let a be 34/4 - (-102)/204. Solve 2*q - q = z, z + v*q + a = 0 for z.
-3
Suppose -2*c - 1 = 5*l, 5*l - 7 - 1 = c. Let p = c - -8. Solve a = -p*t - 13 - 10, 4*a - 3*t - 23 = 0 for a.
2
Suppose -4*i + 24 = 8. Let v(j) = -2*j**2 - 6*j - 8. Let q be v(-6). Let t = q - -46. Solve 5*x - 29 = t*w - 3*w, -2*w = -i*x + 12 for x.
5
Suppose 0 = 51*l + 4 - 259. Solve 0 = l*t + p - 9, -57*t + 3*p = -52*t + 7 for t.
1
Let z(i) = -i**2 + 3*i + 6. Let w = -47 + 53. Let l be z(w). Let k = l + 15. Solve -a + 2*a + 21 = 4*u, 0 = 2*u + a - k for u.
4
Suppose -s - 3*p + 12 = 0, 5*s + 4*p - 2 - 3 = 0. Let m be (3*(-2)/4)/(s/28). Solve -g = -3*z + m, 4*g + 0 = -z - 4 for z.
4
Suppose -1675 = 6*a - 160*a + 173. Solve q + 2*l = -11, -4*l + a = 24 for q.
-5
Suppose -38*s = -40*s + 6. Suppose -s*x + 586 = 577. Solve 0*q + 15 = -3*q + 3*y, 0 = x*q + y - 1 for q.
-1
Let g(t) = -5*t + 35. Let p be g(4). Suppose -p*n = 2 - 2. Solve n = 3*v - u - 16, -2*v + 5*u = v - 20 for v.
5
Suppose 2*j = -5*n - 1, -5*j + j + 4*n = -12. Suppose -j*u - 2*u = 0. Suppose -2*w + 4*g + 13 = -27, u = -3*g - 12. Solve 5*m = -k - 4*k, k = 5*m - w for m.
2
Let v be (2/(-4))/(10*1/(-60)). Solve -6 = 2*m + 5*a, 3*m - 14 = a + v*a for m.
2
Let d(w) = w**2 - 34*w + 38. Let t be 2/(-7) - 1398/(-42). Let v be d(t). Solve v*j + 4*x = -7 + 34, -5*x + 15 = 0 for j.
3
Let h(x) = -18 + 11*x + 24 - 15*x. Suppose 0 = -3*t + t + l - 3, -5*t - 5*l + 30 = 0. Let w be h(t). Solve -3*d + 8*d + 25 = 0, w*c - 9 = d for c.
2
Suppose -5*z + 5*o + 35 = 0, 11 = -0*z + 3*z + 2*o. Suppose 5*s - 153*l - 61 = -150*l, 0 = 4*s - 4*l - 44. Solve -3*g + 4 = 2*k, -2*k + s = -6*k + z*g for k.
-1
Let z = 22 + -11. Let c(a) be the second derivative of -a**3/6 + 10*a**2 + 80*a. Let w be c(z). Solve 5*y = -4*v, 2*v - 2*y - w = 9 for v.
5
Let r(o) = 4*o**2 + 138*o - 140. Let s be r(1). Solve -5*w = s*a - 3, -3*w + a - 14 + 7 = 0 for w.
-1
Let a be (-196)/(-50) + (-522)/(-6525). Solve -i = -a*d + 15, 4 = -2*i + 6 for d.
4
Let a(q) = 638*q + 1282. Let r be a(-2). Solve 4*j = 4*f, 2*f + r = -j - 0 for f.
-2
Let p be (2 + -21)/(-1) - (3 + -3). Suppose p*k - 75 = 16*k. Suppose 0*q + 4*q = 3*o + k, -o = 3. Solve 2*b - q*f + 10 = 0, b + 10 = 5*f + 2 for b.
-3
Let i(u) = -u**2 - 18*u - 8. Let q be i(-16). Let f be 3 - 3*(-64)/q. Solve 4*s - 17 = -5*m, 5*s - f = -5*m + 9 for s.
3
Suppose -42 + 29 + 191 = 89*p. Solve 0 = 3*v - 2*v - 4*j - 21, -p*j - 6 = 4*v for v.
1
Let b = -116 - -124. Suppose -m - 5*v = -1, -2*v - b = -0*m - m. Solve 4*q - 2*c = -14, -2*c - m = 5*q - 2 for q.
-2
Suppose -8 = 39*u - 43*u. Suppose -u*z - 10 + 7 = 3*i, -3 = -3*z - 2*i. Solve -6*s + 5*s = 3*a + 14, -z*s - 12 = -a for s.
-5
Suppose -2*l - 32 = -5*z + 2*l, -1 = -4*z - 5*l. Suppose 0 = -5*w + s - 4, -10*s + 8 = -z*w - 8*s. Solve 4*m + 4*a + 28 = w, -m - 4*a = -0 + 22 for m.
-2
Let b be (-2768)/96 + 28 - (-17)/6. Solve 10*o + 9 = 9*o + b*x, 3*o + 17 = 4*x for o.
1
Suppose -i + 3*a + 50 = 19, 2*a + 4 = 0. Solve 3*o = -5*u + i, 2*u - 6 = -u for o.
5
Let i = -26 + 13. Let k(j) = -j**3 - 14*j**2 - 9*j + 56. Let u be k(i). Solve 2*p + 3*p - u*x = -12, -6 = 3*p - 3*x for p.
-4
Let k(z) = -2*z**3 - 53*z**2 - 27*z - 14. Let v be k(-26). Solve -47*i + 46*i - 2 = -a, -2*a - 2*i = -v for a.
4
Let z(m) = 13*m**2 - 193*m + 360. Let f(j) = 3*j**2 - 48*j + 90. Let r(g) = 9*f(g) - 2*z(g). Let b be r(2). Solve 7 = 3*u - 0*y 