a = -0*j, -j + 3 = -4*f for f.
-2
Let y = 2 - 3. Let i = y - -1. Suppose 250*v - 569*v + 1748 = 167*v + 388*v. Solve 13 = l + l - o, -v*o - 6 = i for l.
5
Let a = 18 + 31. Let z = -50 + a. Let j be (2 + (z - 1))/1*1. Solve -2*t = u + t + 12, t + 5 = j for u.
3
Let n(v) = -12*v + 55. Let z be n(12). Let w = z + 94. Suppose -w*t + 18 + 2 = 0. Solve -2*m + m + 1 = s, -t*m = -5*s - 31 for s.
-3
Let s(k) = -k + 1 - k - 6*k + 6*k. Let i be s(-2). Solve -n + i*t - 28 = n, 4 = -2*n - t for n.
-4
Suppose n - 14 = -8. Suppose -n*z + 7*z + 28 = 0. Let p = z - -39. Solve 3*v = 5*o + p + 9, -5*o - 5*v - 20 = 0 for o.
-4
Let q(x) = 3*x**3 - 18*x + 6. Let j be q(-5). Let s be j/(-57) - 60/(-570). Solve 0 = 5*f + 2*r - 2, -2*r = -0*f - s*f + 18 for f.
2
Let w(q) = -19*q**3 - q - 2. Let f be w(-1). Let t = -18 + f. Suppose t = n - 5*s - 6, -3*n + n + 4*s = -18. Solve b = -3*o + n, -2*b = 5*o - 14 - 4 for o.
4
Suppose -3*x + 12 + 426 = -3*z, -5*x = 2*z - 695. Let t = x - 136. Solve 0 = -t*h - 5, -3*h - 3 = 4*f - 4 for f.
1
Suppose 0 = k, k = 3*d - 4*k. Suppose 14*t - 9*t - 245 = -11*n, 0 = -n - 4*t + 40. Solve d = l - 5*s - n, 0 = 4*l + 5*s + 14 + 6 for l.
0
Let x be (11/(-33))/(1/3) - -6. Let i be (5/(-2) - 16/(-32)) + 4. Let n(c) = -c + 2. Let a be n(2). Solve 3*k - i*j + x = a, -2*k - 3*j = j + 30 for k.
-5
Let q = 423 - 153. Let j = 273 - q. Solve -4*b = -2*h - 6, 5*b - j = -3*h + h for h.
-1
Let s be 6*(1 + 10/6). Suppose -4*i + 135 = 5*i. Suppose 3*d = -0*d - i, -4*d = 2*m + s. Solve 3*j + 5*n = 14, 5 = 4*j + m*n - 9 for j.
3
Let j(i) = -i**3 - 8*i**2 + 45*i - 17. Let k be j(-12). Solve -4*o - k = a, 5*a = 25*o - 21*o + 1 for a.
-3
Let m be (-7 - (-6 + 219)) + 4. Let p be (m/9)/12*6/(-4). Solve -3*y = -z - 8 - p, -3*z = 4*y + 7 for y.
2
Let n(v) = 48*v - 568. Let a be n(12). Solve a = -y + q, 4*q = y - 3 + 26 for y.
-3
Suppose -45*j + 22 = -293. Suppose 5*c + 9 = 64. Suppose -b + 2*m = -c, -4*m = 6*b - 3*b + j. Solve -4 = -5*p + 3*r + 3, 7 = 2*p + b*r for p.
2
Let x = -2350 + 2355. Solve 2*c + 3*c - 2*t + 15 = 0, x*c + 50 = -5*t for c.
-5
Let c(j) = 501*j - 7010. Let f be c(14). Solve 0 = -f*y, 14*y - 11*y = 5*v + 10 for v.
-2
Suppose 0 = 31*c - 18*c + 3731. Let r = c - -292. Solve r*h = -2*o + 20, 2*h + 2*o - 8 = 5*o for h.
4
Let r be 3 + 4 + (-6 - -4). Suppose 0*q - 3*q = 0. Suppose 4*w - w = q. Solve -a = -1, w*m - m + r*a = 0 for m.
5
Let w(c) = 0*c - 143 - 4*c + 234. Let y be w(22). Solve 4*l - 3*n = -13, 6 = -0*l + y*l + 3*n for l.
-1
Let r(k) = k**2 - k - 2. Let l be (-48)/(-32)*4/(-3). Let f be r(l). Suppose 42*x - 1280 = 10*x. Solve -4*s + x = f*d, 0*s - 4*s + 20 = 0 for d.
5
Suppose 0 = z - 4*d - 74, 6*z - 4*z - 169 = d. Suppose -z + 55 = -a. Let v = 33 - a. Solve -6*t = -4*p - t + 27, v*p - 15 = 3*t for p.
3
Suppose k - 5*p = 32, 3*k - 114 + 78 = 3*p. Solve 5*b + h - k = -2*h, -4*h = -4*b + 12 for b.
2
Let a(c) be the first derivative of -9*c**2/2 + 28*c - 28. Let o be a(3). Solve 5*v + o + 4 = 5*t, 2*t + 4 = 4*v for t.
4
Suppose 72*b = 111*b - 195. Solve -26 = -4*o - 0*o + 2*w, w + b = 0 for o.
4
Let g be 332/42 + (-36)/(-378). Suppose -g*j + 4*j = -32. Solve 3*q - u = j, 3*q + 9*u - 14 = 4*u for q.
3
Let n(d) be the second derivative of -19*d**3/6 - 75*d**2 + 203*d. Let k be n(-8). Solve 5*p = -2*t - 3 + 10, 3*t - 5*p + k = 0 for t.
1
Let f be 384/78 + (-3)/(-39). Solve -20 + 1 = -5*w + 3*k, -w + k + f = 0 for w.
2
Let s be (3 - 33/(-15)) + 72/(-360). Solve 3*f + f + 3*q = 0, -s*f = 2*q for f.
0
Suppose 5*o + 2*r - 24 = 0, -5*r = o - 44 + 30. Solve 4*a = o*z, 0 = -a + 3*z + 6 for a.
-3
Suppose -259*m + 264 = -270*m. Let c be (-6 + (-42)/(-9))*m. Solve -6*x = -2*x + 5*o - c, x - 4*o + 13 = 0 for x.
3
Let y be 4*(-1)/3*-3. Let q = 257 - 255. Let b be (-15)/(-2)*q/3. Solve 0 = y*p - b*w + 1, 4*w + 0 = -12 for p.
-4
Let r be (31 + -3)*(26 + (-900)/35). Solve -5*k + j - 6 = 0, 0 = -2*j - 6 + r for k.
-1
Let q be (-4)/22 - (-1254)/242 - 0. Solve 5*j = 2*l, -6*j + 3*j - q*l - 31 = 0 for j.
-2
Let b be (84/(-30) - -3) + 198/(-15). Let i = -9 - b. Solve 0 = 3*r - 0*r + 6, i*t = -2*r - 12 for t.
-2
Suppose -224 = -5*i - 199. Suppose i*r = 15*r - 110. Solve 4*n = -8, n - r = -5*c + 2 for c.
3
Let l be 249/9 - 6/9. Suppose -l + 138 = 3*s. Solve -4*y - 3*b + 11 = 0, -y + 4*b + 16 = s for y.
-1
Suppose -3*k + 245 = 5*w, 5*k + 34 = 9. Suppose 51*l = 55*l - w. Solve 3*z - 6*v + l = -5*v, z - v = -3 for z.
-5
Suppose -5*b + 606 = 4*n, -5*n - b = -3*b - 741. Let s = -149 + n. Solve s = -2*t + 2, 4*v + 5*t - 25 = -0*v for v.
5
Let w = -321 + 587. Suppose -m - 3*j = -82, -3*m = 6*j - 7*j - w. Let t = -82 + m. Solve 0 = 3*o + t, -2*o = 3*f + f - 12 for f.
4
Suppose -v = -3*v. Let w = 30 + v. Suppose 0 = f - 20 - w. Solve 0 = 5*t - 5*c - f, t + 3*c = -2*c - 20 for t.
5
Suppose 18*h - 97 - 174 = -73. Solve r - 3 = h*x - 15*x, x - 6 = 5*r for r.
-1
Let v(n) = -4*n**3 - 80*n**2 + 5*n + 102. Let y be v(-20). Solve -3*s = -3*k - 0 + 9, s + y*k = 12 for s.
2
Suppose 0 = 22*s - 26*s + 12. Solve -22 = 3*b + j + s*j, 2*b = j for b.
-2
Let k be (-4)/3 - (-2)/6 - -62. Let o = k - 41. Solve 5*a + o = 5*x, 0 = a + x - 0 - 2 for a.
-1
Let c = 324 - 342. Let h(y) = y**2 + 12*y - 104. Let g be h(c). Solve -8 = g*d + 4*k - 0, 0 = k + 4 for d.
2
Let a = -12357 - -12383. Solve -4*s - 2*j + 14 = 0, 13*s = 9*s + 2*j + a for s.
5
Let k be 6/((-510)/102 + (-26)/(-4)). Solve 2*n + 10 = -3*w + k, 2*n + 5*w = -6 for n.
-3
Let u = -295 + 240. Let d = u + 63. Solve c + v = 6, 2*c + 0*c - 2*v - d = 0 for c.
5
Let u(l) = l**2 - 105*l + 1196. Let m be u(92). Solve -8*c - 16 = -12*c, 4*n - 4*c = m for n.
4
Let d(p) = p**2 + 17*p + 10. Let j be d(-13). Let n be 1/3 + (-406)/j. Suppose 0 = n*g - 6*g - 20. Solve 2*l = -g*h + 9, -2*l - l = -h + 12 for l.
-3
Let w(a) = -a**3 + 13*a**2 + 107*a + 150. Let j be w(19). Solve 6*l = l - 10, 3*s = -4*l - j for s.
-3
Suppose 0 = 3*t + 2*t - 10. Let r(d) = -2*d**3 + 2*d**2 + 17*d + 3. Let j be r(-3). Suppose j = -m + 7*m. Solve t*p - m*s - 10 = 0, 3*s + 14 = -2*p - s for p.
-1
Suppose 3*c = -j + 13, -4*c = 5*j - 9*c - 85. Let z be (-2)/(18/j - 20/16). Solve f + 5*p + 0 = 9, -4*p = 3*f - z for f.
4
Let x = -248 - -391. Let q = -94 + x. Let b = q + -44. Solve -g - 20 = -5*g + 4*o, 3*g + b*o + 17 = 0 for g.
1
Let v = -18 - -33. Suppose -4*k + 3*c - 6 = -7*k, 0 = -3*c - v. Let a = 255 - 254. Solve -r = h + k, h + 3*r = -a - 16 for h.
-2
Suppose -i = 2*i - 12. Suppose 17 = 3*w - i*a - 6, 5*a = -2*w. Let h(l) = 74*l**2 + 954*l - 79. Let g be h(-13). Solve w = m, -y = 3*y + 5*m - g for y.
0
Let x(d) = -14*d**2 + 250*d + 38. Let f be x(18). Solve -2*h = -2*p - 22, 0*p - 4*p = f*h + 8 for p.
-5
Suppose 0 = 3*u, -2*u - 1 + 13 = 3*j. Let i = -46 - -48. Suppose -2*d = i*d. Solve 3*k - 25 = -4*w, j*w - 5 - 11 = d for k.
3
Let j be (9 - 252/27)*-9. Solve j*u + 2*i = 13, 3*u + 0*u + i = 11 for u.
3
Let q = 738 - 731. Solve -20 = 5*l, q*l - 3*l = -2*p - 26 for p.
-5
Suppose -150*c + 409 + 1241 = 0. Solve 0 = -5*z, z + 14 - c = v for v.
3
Suppose 5*z - 5*i - 15 - 5 = 20, i = -8. Let d = -2 - 0. Let w be 27/5 + d/5. Solve -3*s = -5*l + w - 0, 3*l + 2*s - 3 = z for l.
1
Let b = -4388 - -4393. Solve 4*h - 4*a = -4, -b*h - 10*a - 13 = -7*a for h.
-2
Let n(a) be the third derivative of a**5/15 - 5*a**4/8 - a**3/6 - 80*a**2. Let u be n(4). Solve 5*k - 7 = -4*j, 2*j - 4*j + 3 = u*k for k.
-1
Let r(n) = -n**3 - 38*n**2 + 86*n + 244. Let k be r(-40). Solve 4*f + 5*x = 3*f + 8, 0 = f + k*x - 7 for f.
3
Let j(v) = v**2 - 4*v + 5. Let t be j(3). Suppose t*b = -3*b + 20. Suppose -53 - 91 = -9*p. Solve l = -b*g - 18 + 2, -3*l = -4*g - p for l.
0
Suppose 188*t - 3317 = 4950 - 2627. Solve 2 + 23 = -4*c - o, -5*c = o + t for c.
-5
Let a(g) = g**3 - 29*g**2 + 25*g + 84. Let v be a(28). Let u be v - (1 - 1) - 110/(-22). Solve h + 3*j = -u, -4*h - 11 = -9*h - 3*j for h.
4
Suppose -3*r = -x - 5, 4*r + 5*x = 2*x + 11. Suppose -2*a + 2*w + 0 = -2, -r*w = -a + 2. Solve 5*b + 14 = l, -2*b - 2*l = -a - 4 for b.
-2
Suppose m - 313 = -308. Suppose 5*x - 4*r - 31 = 0, -2*x + m*x - r = 20. Solve 0 = -3*a - d + x, 2*a - d - 7 = 1 for a.
3
Suppose 5 = 5*f - 15. Suppose f*c = 0, 0 = u + c + 4*c - 5. Suppose g + 1 = -2*j + j, u*j - 4 = 4*g. Solve w = -v + 1, 0 = 3*w - j*v - 4*v - 10 for w.
2
Let h = -160