4*j + 21 = x, -5*t - 5*j = 15 for t.
1
Suppose 10*p = 5*p + 5*l - 395, -5*l = -20. Let t = p - -100. Suppose 10 = 2*s - 5*f, 3*f = 5*s + f - t. Solve 8*q = 2*u + 3*q - 28, -s*q - 8 = 3*u for u.
4
Suppose -190 + 758 = 142*q. Solve q*o + 1 = 3*f, 2*o - 5*f = 5*o - 21 for o.
2
Let q(o) = -o**3 - 17*o**2 - 30*o + 2. Let s be (5 - 4)*(-21 - -6). Let a be q(s). Solve 0 = f - 2*g + 12, -a*g = f - g - 3 for f.
-2
Let f be (-414)/(-81) - ((2 - 4)/(-6))/3. Solve 0 = -38*z + 41*z + k - 10, 4*z - f*k = 45 for z.
5
Let a(n) be the third derivative of n**5/20 - n**4/8 - 8*n**3/3 - 157*n**2. Let w be a(-2). Solve 0 = -u + p, -3*p - w*p - 24 = 3*u for u.
-3
Suppose -32*w - 65*w = -194. Solve -x = 3*y - 10, 5*y - w*x - 38 + 3 = 0 for y.
5
Let g be ((-2)/(-3))/((-5)/(-15)). Let v = 276 - 271. Suppose -v*q + 4*r = -55, 0 = 3*q + 9*r - 6*r - 6. Solve 0 = u + 5*a - 12, -1 + q = u + g*a for u.
2
Let v(c) = -9*c**2 + 87*c - 164. Let j be v(7). Solve j*q - 2*s = 4, -2*s + 62 = 4*q + 42 for q.
3
Let l(w) = -51*w - 809. Let s be l(-16). Let v(n) = -n - 5. Let u be v(-5). Solve -x - 4*c - s = u, -x - 2*c = 1 - 0 for x.
5
Let d be (1 - -2)*(6 + 4 + (2 - 10)). Solve -5*k = -4*k + b - d, 16 = 4*b for k.
2
Let n be (-2150)/6 - 14/21. Let c = n + 361. Solve -3*p = -c*u - 7, -2*p + 3 = 2*u - 5 for p.
3
Suppose -j + 4*i + 0*i = -138, -3*j - 3*i = -384. Let m = j + -98. Solve -4*y = 3*v - m, -5*v + 16 = -2*y + 6 for y.
5
Let a = 107 - 74. Let u = -21 + a. Suppose 5*x + 5*n + 0 = 5, -4*x = -4*n - u. Solve -3*c - m = 19, -x*m - 37 = 5*c + m for c.
-5
Let d(j) = 9*j**2 + 73*j + 16. Let b be d(-8). Let r be (42/(-28) + 1)/((-1)/b). Solve 3*y = 5*g - 28, r*y + 4*g = -3 + 19 for y.
-1
Let l be 583/9 + (380/90)/19. Suppose l*j = 44*j + 252. Solve -4*d = j, 4*v = -2*d + 3*d + 19 for v.
4
Suppose 0 = -u - 2*w + 3*w + 35, 2*w - 2 = 0. Let r = u - 34. Solve -z - 4 = 5*j, r*j = -2*j - z - 4 for j.
0
Suppose -29*g = -32*g + 594. Let u = g - 194. Solve 0*l + l - 7 = 5*f, 3*f = u*l + 6 for f.
-2
Suppose 8 + 17 = -d. Let w = d + 37. Suppose 20 = 8*h - w. Solve h*k + t = -11, 1 = -5*k + 3*t - 0 for k.
-2
Let a = 476569 - 476564. Let j be 1*2/(-2)*-5. Solve -g = -j*l + 2*g + 19, 23 = a*l - g for l.
5
Suppose 5*r = 5*n - 15, -n + 21 = 4*n - 3*r. Suppose 4*o = -5*q + 185, -q - 95 = -4*o + 60. Suppose -o = -12*k - 4. Solve 0 = -5*d + 20, -l + 7 = k*d - n for l.
1
Let o = 3100 - 3096. Solve -o*p - 23 = 3*d, -5*d = -3*p - 1 + 20 for d.
-5
Let r be ((-130)/(-260))/((-3)/(-31 + 1)). Solve 4*w - a = 22, 33 = r*w + 74*a - 78*a for w.
5
Let h be 2*6/4 - -1. Let i = 54 - 42. Suppose -5*x + i = -t, -x - h*x + 9 = -2*t. Solve -10 = 5*g, 0 = r - t*r - 2*g + 4 for r.
4
Let o(k) = 121*k + 245. Let w be o(-2). Solve i - 4*m - w = 0, 3*i - m = -1 - 12 for i.
-5
Let y(n) = -23*n + 71. Let r be y(3). Suppose -d - p = 2, r = 4*d + p + 4. Solve 0 = -3*b - 5*h + 16, d*h = 3*b - 4*h + 2 for b.
2
Suppose -27*s - 195*s = 24*s - 984. Solve -4*i = s*g, -2*g - g - 15 = 0 for i.
5
Let u be 68/170 + 36/10. Suppose -8*f = -12*f + 16. Let m be (4/2)/(f/8). Solve 0 = -2*v - a + 7, m*v + 0*v + u*a = 20 for v.
2
Let n = 200 - 188. Let w be (-92)/(-16) - 9/n. Solve -w*d = -0*d - 3*i + 14, 0 = -3*d - i for d.
-1
Suppose 7 = 21*p - 17*p + x, -4*p + 5*x = -37. Solve 6*g - 4*g - 4*y - 10 = 0, p*g + 4*y = -5 for g.
1
Let n = -1686 - -1696. Solve 17*b + d = 14*b + 18, 0 = -5*b + 5*d - n for b.
4
Suppose -17 = 2*v - 3*t, -v + 8 = -3*t + 9. Let r be 0 + v/40 - (-201)/15. Solve -12 = -5*j + 3*p + r, -5*j - 5*p = 15 for j.
2
Let f(d) = 25 - 7*d + 14 - 1. Let l be f(5). Solve 0 = -r + l*r + 4, 5*p = 3*r + 6 for p.
0
Suppose 3*o = 6, 0 = 5*l - 3*l - 5*o + 22. Let n = 15 + l. Suppose 5*c + 20 = n*c. Solve -a + h = 1, c*h - 19 = -5*a + 2*h for a.
2
Suppose -13634 = -316*a - 3522. Solve 8 = -2*g, -51*m + 54*m = -8*g - a for m.
0
Let a(x) = -x + 0*x - 7 + 10. Let b be a(1). Suppose 2*l = -2*h + 20, 4*h - 6 = -l + 19. Solve b*m = -2*m - v - 17, 2*v - l = 5*m for m.
-3
Let n(t) = 4*t - 57. Let i be n(16). Suppose 10 = i*v - 11. Suppose -6*q - v*q = -63. Solve -4*k + 3 = -l + q, 2*l - 5*k - 8 = 0 for l.
4
Let n be 6/(-21) - 9*(-153)/189. Suppose 2*c - 16 = 3*r + n, -3*c = -4*r - 37. Solve -2*p + 2 = 2*g, g + 2*p = 6*p - c for g.
-3
Suppose -26*x - 18*x = 0. Solve 4*a - 3*c + 15 = x, -5*a = 4*c - 2*c + 13 for a.
-3
Let i be (-4)/18 + (-26600)/(-4275). Solve 0 = -5*z + 4*t - 19, -5*t = i*z - z + 10 for z.
-3
Let f be -2*(36/16 - (-20)/(-16))*-1. Solve -5*c + k = -14, 5*c + f*k - 18 = -k for c.
3
Let x be (-9*(-4)/6)/(975/650). Suppose i - 21 + 5 = 0. Solve 2*w = -2*u - 3*u + i, x*w + 12 = u for u.
4
Let w(o) = -42*o + 90. Let y be w(11). Let l = y - -374. Solve -2*u + 4 = 0, 2*k + 0 = 4*u + l for k.
5
Let c(r) = r**3 - 7*r**2 + 12*r - 8. Let p = 743 - 738. Let l be c(p). Solve 5*b + 5 = -l*k + 32, 4*b - 2*k = 18 for b.
5
Let b be 9 + (6 - 24) - -33. Solve -21*w = -b*w - 5*s, 5*w = s - 28 for w.
-5
Let k(u) = -u**3 + 20*u**2 - 36*u + 8. Let r be k(18). Suppose j = -2*o + 1, 5*j - r = 5*o - 33. Solve 3 = -2*z + o*f - 3, 12 = -2*z - 4*f for z.
-4
Let u = -58 - -56. Let b be ((-1)/((-12)/(-8)))/(u/(-3)). Let p be b*(1 + 1)*-1 - 2. Solve p = -2*y + d + 6, 3*y - 5*d = -0*y + 23 for y.
1
Let c be -41 - 0/(-3 - -4). Let l = 57 - 11. Let z = l + c. Solve -5*s = -5*f - 5, 4*f + 12 = z*s + 4 for f.
3
Let d be ((-105)/14 + 8)/((-2)/(-20)). Solve m + 18*t = 21*t + 1, 4*t - 24 = -d*m for m.
4
Suppose -84*g + 23 = 88*g - 149*g. Solve u = 3*r - u - 8, -5*u = -4*r - g for r.
6
Suppose -95*o + 221 = 126*o. Solve -3*t + 23 = -4*p, -24*p - o = -26*p - t for p.
-2
Suppose 5*c = -30 + 570. Suppose 504 = 44*v + c. Suppose -4*o + 8 = -4. Solve -l - f + v = f, o*f = 12 for l.
1
Suppose -25*c + 5*c = 1378 - 1598. Solve 0 = 5*x - 20, -72*y = -69*y - 2*x + c for y.
-1
Let p(s) = -s**2 + 82*s - 1481. Let u be p(27). Let a be (-4)/6 - 46/(-6). Let c be a - (-5)/((-15)/(-6)). Solve i = 4*z - u*i - 24, -3*z - 3*i - c = 0 for z.
1
Let j(b) = b**2 + 20*b + 58. Let s be j(-18). Suppose 3*y - 76 + s = 0. Solve -2*x + 3*c + 7 = -0*x, -3*x = 5*c + y for x.
-1
Suppose -5*b + s + 38 = 0, -s + 12 = -b + 18. Suppose 5*p - b = -z, 1 = z - 4*p + 2. Solve z*i = 2*m + 4*i - 1, -3*m - 3*i + 6 = 0 for m.
-1
Suppose -2*l - 3*h = -0 + 2, 2*h = -3*l + 7. Suppose 0 = 40*u + 287 - 887. Solve l*p = -4*i - 19, -3*i - 3*p - u = p for i.
-1
Let h = 4141 + -4136. Solve -4*y - 21 = -h*z - 3*y, 2*z - 18 = -2*y for z.
5
Let s be 23/3 + (-2)/3. Let v = 5199 + -5171. Suppose 11*g = s*g + v. Solve -2*y = -g*y + 2*h - 16, -2*h - 4 = 5*y for y.
-2
Suppose 2*v = 5*l - 53 - 24, 3*l - 5*v - 31 = 0. Suppose 188 = l*k + 35. Solve -1 = 3*s - f - k, 2*f + 8 = 4*s for s.
4
Let w(s) = 108*s**2. Let q be w(1). Let m = 321 - 303. Suppose m + q = 14*l. Solve -4*r = 16, 0*k - k = -3*r - l for k.
-3
Let w = -142 + 251. Suppose 51*c - 44 - w = 0. Solve -5*g = -2*j + 7, 0 = c*g + 4*j - 1 for g.
-1
Suppose -7*g = -13*g + 216. Suppose g = z + 11. Solve -3*q + z = 5*n - n, 8 = 2*n for q.
3
Let u = 5 - 3. Let m(z) = 4*z + 146. Let r be m(20). Suppose 2 = -r*q + 227*q. Solve g = -2*w - 1, u*g + 3*w + q = 6*w for g.
-1
Suppose 4*u - 2890 = 5*g, -g = -5*u + 77 + 501. Let n = g - -590. Solve 2*l - 4*r = -2*r - n, -5*l + r - 14 = 0 for l.
-2
Let w be (21/14)/((-2)/(-116)). Let z = w - 81. Let c be -2 - z/(12/(-10)). Solve 2*x + x + 6 = 0, -2*x + 8 = c*h for h.
4
Suppose -4*w + 43 = 3*f, 3*f - 4*w = -6*w + 41. Suppose 113 = -5*q - 2*j + 137, -5*q = -j - 18. Solve 4*b = -o + q*o - f, -b = 3*o + 7 for b.
-4
Suppose -4*m + 67 = n - 13, -m + 3*n + 7 = 0. Suppose 0 = 4*x - 3*v - m, 3*v = -1 - 2. Solve -2*w + x*q - 10 - 4 = 0, -14 = -3*w - q for w.
3
Let d(j) = -7*j + j**2 + 4*j - 17*j + 31*j. Let n be d(-11). Suppose 0 = -3*l + 2*l + 3. Solve l*m - 5*z + 34 = n, 11*m = 6*m - 2*z - 5 for m.
-3
Suppose -11*w = -5*n - 5*w + 7, 0 = -4*n - 4*w + 32. Solve 79*h = -a + 80*h + 1, -19 = n*a + 3*h for a.
-2
Suppose 0 = 292*v - 275*v - 31 - 3. Solve -5*b - 3*s - 30 = v*s, s + 18 = -5*b for b.
-3
Suppose -6*b = -469 + 505. Let j be b/(-27) - ((-50)/(-9))/(-2). Solve 0 = -j*v + y - 0*y, -5*y = -2*v for v.
0
Suppose 47 = -287*m + 301*m - 9. Solve -26*r + 3*i = -24*r, -2*r = m*i + 14 for r.
-3
Suppose -b - 1 = -a + 3, -5*a = -b. Let o(x) = 14 - 9 + 0*x + x.