 = 4*a, -1 + n = a for y.
-3
Suppose -4*j + 1368 = 4*r, -3*j - 2*j = -3*r + 1010. Let v = r - 335. Solve 0 = 4*w + 4*p + 32, 6*p - 2*p + v = 5*w for w.
-3
Suppose -9*y + 7*y + 5*d - 174 = 0, -y - 89 = -2*d. Let q = -91 - y. Suppose 12 = 4*s - 2*o - q, s - o = 4. Solve 2*p - 12 = 4*g + 12, 25 = -s*g for p.
2
Let h(r) = r**2 + 19*r - 68. Let n be h(-22). Let d be 1*(0 - 1*(n + -3)). Solve 3*f + 15 = 3*w, 4*w - d*f - 15 = 9 for w.
1
Let i be (-1 + (-27)/(-2))*1092/910. Suppose -i*a = -37 - 98. Solve 0 = -5*d + c + 20, -4*d + 4*c = -a*d + 45 for d.
5
Suppose -2*u + 141 = u - 4*f, -188 = -4*u - 5*f. Let j = u - 79. Let v be (-8)/j - (-30)/8. Solve -v*l - 14 - 1 = a, 2 = -l - 2*a for l.
-4
Let a be -7*8/(-14) - 0. Let y(k) = k**3 - 4*k**2 + k**2 - 4 + 3*k - 1. Let l be y(a). Solve -x + 9 + 1 = 5*u, 2*u + l = 5*x for u.
1
Suppose -22*f - 613 + 701 = 0. Solve -2*b - 9 = 5*t, f*b + 34*t - 39*t = -3 for b.
-2
Suppose -j - 3*f + 11 = -7, -f = -4*j + 46. Suppose -4*s - j = -3*o, 2*o - 8 = -38*s + 41*s. Solve -3*a = -o*w + 15 - 2, -a = 3 for w.
1
Let m be ((-13728)/(-1584))/(-1 - 5/(-3)). Solve 2*k + 2 = 2*s, 2*s = -3*s - 3*k + m for s.
2
Suppose -3*f = -25*f + 2*f. Solve x + f*x = -5*t + 12, -2*t - 3*x = -10 for t.
2
Let g(v) = -v**3 + 6*v**2 - 11*v + 4. Let m be g(4). Let i be -176 + 171 + (0 - (-1 + m)). Solve 2*d - 4 = 3*l + 4, -12 = -4*d + i*l for d.
1
Let t(q) = -q**3 - 12*q**2 - 38*q - 8. Let k be (-18)/(-27) - (23/3 - 1). Let m be t(k). Solve m*s + 2*p + 4 = 0, s - 3 + 14 = -3*p for s.
1
Suppose -2*h = 141 - 5. Let m = h + 69. Let d be m + (4 - 6) + 24. Solve 0 = c - q - 3, -2*q + 3*q = 5*c - d for c.
5
Let z = 4818 + -4787. Solve -z*q + 34*q + 2*u = 0, 5*u = 4*q + 23 for q.
-2
Suppose w + 2*v - 323 = -311, 0 = 2*w - v - 4. Solve b + w = 0, -18*f = -22*f + 3*b + 32 for f.
5
Let v be (-24)/(-40) - 72/(-5). Suppose -b - r - 2 = 0, -b = -5*r - 26 - 2. Solve 3 = -b*y + l + 2, 0 = 5*y + 5*l + v for y.
-1
Suppose -12 = -2*t + 5*y - 3, -5*t + 3*y = -13. Let l(c) = c - 7. Let n be l(10). Suppose -n*z + 6*z = -2*z. Solve k + z*i = t*i, 6 = k + i for k.
4
Suppose 2*d + 53 - 611 = -5*h, -94 = -h + 4*d. Suppose -h = -17*m + 281. Solve -4*c = c + l + 9, -m = 3*c + 5*l for c.
-1
Suppose -103 = -4*x - 91. Let i(v) = 3*v**2 + 11*v + 1. Let q be i(-4). Solve 2*d = -x*n + 6, -q*n = d - 0*d - 10 for d.
0
Let b = 194 - 165. Suppose 13*c + b = 68. Solve 0 = 3*g - m - 4, -g - m - 2 = -c*g for g.
2
Let i = 106 + -96. Suppose -107*x = -109*x + i. Solve 3*u = x*u + 3*k + 1, -u + 3*k = -4 for u.
1
Suppose 11871*a - 11753*a - 1062 = 0. Solve -6*j + 4*b = -7*j - 6, 5*j = b - a for j.
-2
Suppose 0 = -3*l + 5*z - 31, 4*l - 2*z - 3 = -7. Solve -5*p = -l*a - 5, 4*p - 2*p + 7 = 3*a for a.
5
Let a = 9463 + -9461. Solve -4*z - 2*h + 8 = 2*z, h + a = 3*z for z.
1
Let y be 15/(-7)*2436/(-261). Solve 0 = -2*o - 0*t + 2*t, -4*t - y = 0 for o.
-5
Let r = -4379 + 4383. Solve k + 21 = a - 4*k, -r = k for a.
1
Let y be (24 + -26)*3/(-2). Suppose -2 - 1 = 3*h + 5*b, 4*h - 7 = -y*b. Let c be -5 - (5 + -7)*h. Solve -4*d + 5*d + 5*r + 26 = 0, c*r = -4*d - 19 for d.
-1
Suppose 0*v = 5*v. Let m = 3163 + -3161. Solve -g + 3*g + 4*c = 12, v = m*g - 2*c + 6 for g.
0
Let z = 16777 - 16771. Suppose 4*g = -3*x + 73, -3*x - 5*g + 36 = -35. Suppose 0 = -2*m + 2 + 8. Solve v + m*c - x = 0, -5*v - c - 15 = -z*c for v.
2
Suppose 13*c + 41*c - 7*c - 423 = 0. Solve 4*w - 1 = -3*a, -c = -4*a - 4*w - 13 for a.
-5
Let f(m) = m**2 + m - 246. Let s be f(-16). Let n be (6 - (-38)/s)/(1/(-18)). Solve -2 = -4*l + n, 2*q + 4 = 5*l for q.
3
Suppose 8*u = -4*z + 6*u + 22, -35 = -5*z - 4*u. Suppose 3 = -3*a - 3*h, a - z*h - 23 = 2*h. Solve s - f = -0*s - a, -2*f - 4 = 3*s for s.
-2
Suppose -g = j - 1, -4*j = -5*j - 5*g - 3. Let w = j - 2. Let p = 670023 - 670019. Solve -4*k - p = -4*t, 0*t - 2*t + k + 5 = w for t.
4
Let y be (-8 - (-39)/6)*8/6. Let u be y + (-7)/(-7) + 28. Solve -2 + 3 = -f + 2*x, -5*f - x = u for f.
-5
Let b = -1087 - -1765. Let g = b + -666. Solve g = -2*w - 4*a, -3*a = 3*w - 6*a - 9 for w.
0
Suppose 4*i + 4*n + 14 = 110, 2*n - 77 = -3*i. Solve 0 = 4*j + 2*p - 26, 0 = 5*j + 4*p - 11 - i for j.
4
Let t be (-3)/6*-62*(1 + 0). Suppose -4*b - s = -16, -3*b - 4 = -3*s - t. Solve 0 = b*u + 2*g - 6, -g = 4*u + 3*g - 12 for u.
0
Let f be -3 + 2 + (-20 - -42) + -17. Solve 2*u = f*v + 2, 36*u - 33*u = 2*v + 11 for v.
2
Let j be 3 - (0 + -1) - 0. Suppose 0 = h + x - 3, 0 = -2*h + j*x - 0 + 12. Suppose 8*d - 16 = 7*d. Solve 2*i + 12 = -3*z, 2*i + h*z = i - d for i.
0
Let w(i) be the first derivative of -i**3/3 + 27*i**2/2 + 102*i - 158. Let d be w(30). Solve 4*v = -2*b - d, -5 = 4*v + 7 for b.
0
Let p be ((-715)/(-26) + -25)*(32/5)/4. Let d = 8 + 12. Suppose 0*k = -k + d. Solve -p*s - 21 = 5*i, 3*s - k = -2*s + 3*i for s.
1
Let d(k) = -k**2 + 7*k + 4547. Let x be d(-64). Solve -x*b + 22 = -5*s, 14 = -s + 4*b - b for s.
-2
Let r(a) = a**2 - 115*a + 2316. Let v be r(26). Solve -2*l = v*f + 18, 11*f = 6*f + 3*l - 13 for f.
-5
Let h(w) = -14*w + 3. Let o be h(-3). Let v(m) = 95*m - 3406. Let d be v(36). Suppose -d*l - o = -17*l. Solve 3*y - 12 = -3*i, y + l = 4*i - 6 for i.
5
Suppose 8*k - 209 + 1 = 0. Suppose -27*r + k*r = -2. Solve -s + 12 = 3*p, p + 11 = r*p - 2*s for p.
5
Let s be 9 + 3 + 2/2. Let y(k) = 3*k - 37. Let j be y(s). Suppose 2*z = -2*d + 52, -j*z - 21 = -5*d + 88. Solve 5*p = 3*n - d, -5*p + p - 13 = 3*n for p.
-4
Suppose -5*b + 3*w + 161 + 204 = 0, 2*w - 162 = -2*b. Let r be b/14 - 1 - 24/(-42). Solve 2*o + 20 = r*z, -2*z - 3 = o - 2 for z.
2
Let s be -16*(6 - (-8)/2). Let v be s/(-72) - 2/9. Solve -3*a = -2*b - 7, -5 = b + v*a - 4*a for b.
1
Let f be ((-99)/(-21) - 1) + (-4)/(-14). Solve 16 = 2*v + f*c, -v + 3*c - 2 = 5 for v.
2
Suppose 3*s = -4*x + 8, -3*s - 33 + 29 = -2*x. Solve 0*c - 4*c - i - x = 0, 2*i = 4 for c.
-1
Let z be -16 - -38*24/48. Solve -c + 3*d = -12, 12 + 3 = -z*d for c.
-3
Suppose 42 + 25 = -4*t + 179. Solve 2*y - 40 + t = 4*c, 5*y = -4*c - 12 for y.
0
Suppose 0 = -0*d + 13*d + 34*d - 376. Solve 4*z = 9*g - 11*g + 2, 4*z + d = -4*g for z.
3
Suppose -191*d = -419 - 154. Solve -2*h + 3*b = -7, -h - h - 11 = d*b for h.
-1
Let k = 30966 - 30966. Let z = -1 + 6. Solve -4*o + 0 = 4*n + 32, o + z*n + 24 = k for o.
-4
Let t be 0 + 1 + (-8)/(16/42). Let x = -20 - t. Solve 4*q + 6 = -2*r, -16 + x = 4*q for r.
5
Let b = -137 + 152. Let p be ((-55)/b + 4)*3*4. Solve -r = 4*l - 7, 4*r + 0*l = -p*l + 16 for r.
3
Let t(l) be the second derivative of l**4/12 - l**3/6 + l**2 - 64*l. Suppose 0 = -2*d - 0*d. Let u be t(d). Solve b + r = u*b + 4, 4*b - 2*r = -18 for b.
-5
Suppose 5*l = 35*l - 840. Suppose -x - l = -32. Solve 0 = 2*o + 4*h + 6, o - 4*h = 11 + x for o.
3
Let b(v) = v**3 - 9*v**2 + 14*v + 4. Let d be b(7). Let f be 98/42*d/(-14)*-6. Let a(m) = -4*m. Let q be a(-1). Solve 5*x + 5*z = f*z - 5, 2*x + 2 = -q*z for x.
-1
Let d = 15068 + -15031. Solve s + 9 = d*a - 39*a, -3*a = 5*s + 31 for a.
-2
Suppose -2*m + 40 = 10. Suppose 4*r = -2*w - 132, 5*r + 72 = 2*w - 93. Let l = 36 + r. Solve -l*i - 2*i - b = -7, m = 5*i + 5*b for i.
1
Let w be 3/8 + 4 + 399/(-168). Solve -8 = -4*m - w*d + 8, 0 = 5*m - 4*d - 7 for m.
3
Suppose -s + 16 = 4*r, 4*s = r + 3*r + 4. Let x(i) = 13*i - 14*i - 4*i - i**2 - 4*i - 15. Let f be x(-6). Solve 0 = -5*a + 4*h - f, 3*a - r*h + 21 = -7*h for a.
-3
Let f(p) = -3*p + 47. Let x be f(13). Suppose -12*n = x*n - 260. Solve -z + 5*y = n, -3*z + 8*z - 4 = 2*y for z.
2
Suppose 3*q = 2*q + 3. Suppose 70*x - 68*x - 1 = k, -x = -k - 1. Solve -2*f + 11 = -q*b, b - f + 4 = -x*f for b.
-3
Suppose 112 = -29*m + 85*m. Solve -7*o = -3*o - 2*x - 16, -20 = -5*o + m*x for o.
4
Let i = -83 + 80. Let p(y) = y**3 + 2*y**2 - 20*y - 47. Let b be p(i). Solve 0 = b*v - 2*v - 4, 0 = 5*h + 3*v - 21 for h.
3
Suppose -2*a = -3*z + 81, a + 188 = -5*z + 310. Solve 7*b - 20 = 6*b - 3*m, -m = 4*b - z for b.
5
Suppose -l + 170 = 17. Let z be ((-4)/18)/((-17)/l). Solve 15 = -0*c - z*c - y, c = -2*y - 15 for c.
-5
Let b(s) = 27*s + 192. Let i be b(-7). Solve -5*z - i*q = 18, -15*z + 4*q + 7 = -16*z for z.
-3
Let p = 1895 + -1893. Solve -n - p = 2*v, 2*v = 6*v - n + 10 for v.
-2
Suppose -5*k + 0*k + 4*n = 712, 277 = -2*k - n. Let f be (-4)/(-5)*k/8. Let h = 20 + f. Solve -4*a + y = -2*a - h, 5*a - 12