5 = -5*t for k.
5
Let n be (-4 - (-12)/2)*4/2. Suppose -4 = r, 2*k + 8 = -n*r - 2. Suppose -k*l = 6, -5*l = -4*u - 2 + 72. Solve f - u = 3*j, j = 5*f - j - 10 for f.
0
Suppose 5*w + 39 = -4*j, -2*w + j - 27 = 2*w. Let c be 52/(-6) - (35/(-15))/w. Let t be 8 + -1 + 2/(6/c). Solve -16 = t*s, i = 4*i - s + 11 for i.
-5
Suppose -t - 6*t - 16*t = 0. Suppose t = -128*d + 127*d + 5. Solve 3*h - 9 = -o - 1, -28 = -3*h - d*o for h.
1
Let t = -11820 + 11823. Let z = -9 - -13. Suppose -2*p + 74 = z*b - 0*p, -3*p = -3*b + 78. Solve -2*w + 3*o = -6, -b = 3*w - 0*w + t*o for w.
-3
Let u be 1/((-4)/(-104))*(-33)/(-6). Let r = 153 - u. Solve b - 5*g = 14, 3*g + r = 2*b + 2*g for b.
4
Let c(o) = 2*o**2 + 39*o + 54. Let h be c(-18). Solve k = -4*s - h + 2, -2*s - 3*k = 4 for s.
1
Let r = 2971 + -2966. Solve -r*c + 27 = 3*s - 0*c, 5*c = 4*s - 1 for s.
4
Let j be 12 - (0 + -2) - 3. Let u = -8 + j. Solve -4*s + 4*n = -0*s - 16, -5*s + u*n + 22 = 0 for s.
5
Let o(b) = -23*b + 6*b + 14*b + 49. Let p be o(15). Solve -18 = -5*c - p*l, -2*l + l + 12 = 5*c for c.
2
Let n = -80 + 84. Suppose 0 = -5*b - r + 3 + 2, 18 = n*b - 2*r. Solve 0*w = -b*w - 4*d + 4, 3*w + d = -9 for w.
-4
Let q be 2*1*-1*(-71 + 70). Suppose -15 = -3*y + 3*g, -q*y - 2*g + 18 - 8 = 0. Solve 0 = 3*j, -y*j - 15 = 5*z - j for z.
-3
Let s = -40 + -834. Let y = -871 - s. Solve 2*f + 4 = t, 3*f + 2*t + 2 = y for f.
-1
Let q(o) = -73*o - 438. Let w be q(-6). Solve 8*x - 7*x - 7 = 2*c, w = -5*x - 3*c + 22 for x.
5
Let z be -4*(-3)/(-27) + (-2 - 692/(-18)). Solve 21 - z = -3*k + 3*v, 0 = -3*k + v + 7 for k.
1
Let n be ((-1)/3)/(9/(-324)). Let h be (((-4)/(-2))/(-2))/((-1)/n). Solve 5*t - 15 = 5*d, 2*d - h + 3 = -3*t for t.
3
Let k be (-640)/65 + 10 + 315/65. Solve -k*b + 3*h = -3 - 7, 5*h = -2*b + 4 for b.
2
Let b be ((-388)/(-5) - 7)/(2/10). Suppose 20*i + 33 = b. Solve -5*j + 3*k = -i, 2*j - 2*k = -0*j + 8 for j.
2
Let j be 4/(-10 - -6) + 3. Solve -b - 8 = j*t, 13*t = 8*t + 2*b - 11 for t.
-3
Let t(c) = -2048*c + 12292. Let b be t(6). Solve b*f + 31 = -2*p + 29, 3*f = -3*p for p.
1
Let i = 302 + -303. Let h be -3 - (12/(-6) + i). Solve 2 = 2*o + 2*d, -4*o + 2*d + h*d + 22 = 0 for o.
4
Let o(x) = x**3 + 16*x**2 + 29*x + 19. Let l(t) = 6*t + 52. Let s be l(-11). Let h be o(s). Solve -4*q + 1 = -2*k + 3*k, -5*k + 3*q = -h for k.
1
Let c be 7*(0 - 1) + (37 - 20). Solve -2*u - 5*t = -3*t + 4, -u - 5*t - c = 0 for u.
0
Suppose -33*l = -29*l, 3*l = -5*s + 35. Suppose 0 = -w - 5*k + s, k = w - 21 + 2. Solve v + 3*m = 4*v - 3, 5*m = v - w for v.
-3
Let a(p) = -17*p + 107. Let c be a(-12). Let w = c - 306. Solve -2*y = 3*m - 19, -4*m - m - w*y + 35 = 0 for m.
5
Suppose 26*k - 28*k + 13 = -3*n, 0 = 4*k + 2*n - 2. Suppose 43*c - 260 + k = 0. Solve -2*q - 6 + 21 = 5*v, -2*v + 4*q + c = 0 for v.
3
Let z = 81 + -74. Solve -j + 12 = -5*m, -m - 9 = -z*j + 9*j for m.
-3
Suppose 7*x = 3*x + w - 100, 2*x + 4*w + 68 = 0. Suppose -3*d - 59 = 5*r, 4*d + r = -r - 88. Let t = d - x. Solve -5*j - 3 = 3*i + 6, 0 = -2*j - t*i for j.
-3
Let y be (-1 + -4 + 3)*(-1 - -75). Let d = y + 92. Let u = 61 + d. Solve u*a = -2*q - 3*q, 0 = -4*q + 5*a + 27 for q.
3
Let a = -374 - -452. Suppose -32 - a = -11*g. Solve -4*i = 4*z - 24, -2 - g = -z - 4*i for z.
4
Let d = -1 + 13. Let x(r) = 2*r**3 - 10*r**2 + 8*r + 12. Let z be x(6). Suppose o - d*o = -z. Solve -4*t = -4*b + o, -2*t + 0 = -4*b + 16 for t.
2
Let i = 13 + -9. Suppose -3*r - 2*r + 18 = -3*d, 2*d = -4*r - 12. Solve -5*p + 23 = -j, 4*p + r*j = -i*j + 4 for p.
4
Let v = 139 + -89. Suppose -v*j + 51*j - 20 = 0. Solve 2*w - w - 20 = 5*m, -4*w = -5*m - j for w.
0
Suppose 3*u = -5*g + 24 - 0, -5*g = 0. Suppose u*s = 137 - 1. Solve 3*a + 16 + 7 = -4*b, 4*b = 3*a - s for b.
-5
Let k(c) = -3*c - 43. Let n be k(-16). Suppose 1 = -n*r + 16. Solve -4*v + 2*l = -8, -v + r*l + 12 = 4*v for v.
0
Let u(w) = -w**3 - 18*w**2 - 12*w + 42. Let k be u(-17). Suppose 2*v - 180 = -2*v. Let f = k + v. Solve 15 = -4*x + 4*i - 9, x - f = -i for x.
-2
Suppose 0 = 176*o - 17563 - 22389. Solve -l = -2*u + 1, 232*u + 10 = o*u for l.
-5
Let b be (156/(-130))/(21/(-35)). Solve -2*y + b = 2*r, 4*y = 5*r + 6 - 29 for r.
3
Suppose 14*b + 2 = 13*b, 4*b = -2*o + 52. Suppose -35*z + o = -29*z. Solve -d - 1 = 2*t, 5*t + 3*d - d + z = 0 for t.
-3
Suppose x - 10 = 3*l - 4, 5*x - 3*l - 54 = 0. Solve 0 = -6*o + 9*o + 3*h + 3, -x = 2*o - 3*h for o.
-3
Let o be 50/14 + 33/77. Suppose -5*f + o*h - 4 = 0, -3*f + h - 2 = -1. Suppose f = -10*d - 8 + 28. Solve d = -b, x + 0 + 2 = -b for x.
0
Let o be (-23809)/(-609) + (-2)/21. Solve -2*r = -2*q, -43*r = -o*r + 5*q - 45 for r.
5
Suppose -s - 5 = 0, -4*s + 2 = -4*t + 38. Suppose -3*h + t - 1 = f, -2*h = 0. Solve p + 4 = f*p - 3*z, 4*p - 3*z - 2 = 0 for p.
-1
Let q be (-8)/(-5)*(55/10 + -3). Suppose q = 8*l - 36. Solve g = 3*y - 0*y - 2, 0 = l*g - 5 for y.
1
Let z be ((-35)/21)/((-3)/(-27)*-3). Solve 3 = 3*b - 0*b, -3*b = z*a + 2 for a.
-1
Let s be 19/(456/80) - (-16)/(-12). Solve -5*j + 7*v = s*v + 10, 5*j = 3*v - 12 for j.
-3
Suppose -53 = -28*d + 31. Solve 0 = -3*x - d*h - 12, -5*h - 8 - 18 = -x for x.
1
Let t = -251 + 261. Let n be t*(-2 + 1 + 2). Solve -4*r - 4 = 0, 2*a - a = 5*r + n for a.
5
Suppose -2*z - 244 + 246 = 0. Let p be z/(8/176 + 0). Solve -s = -3*t - 5*s + 22, p = 5*t + 3*s for t.
2
Let z be (-2)/((-2)/1)*79. Let n be (-6)/(-21) - 2825/(-35). Let m = n - z. Solve -i + 1 - 7 = v, m*v - 23 = 5*i for v.
-1
Suppose -35*o + 31*o + t = -17, 3*o - t - 12 = 0. Solve -4*r - 3 = o*w, -3*w - 4*r + 2 = -1 for w.
-3
Suppose 5112 = -2*l - 6*l. Let t = l - -650. Solve -5*x - t + 0 = -4*o, -o + 3*x + 1 = 0 for o.
4
Suppose 1 = -k + 3*p - 2, p = 5*k + 15. Let c be 17/(3/6*(k + 1)). Let u be ((-204)/8)/c + 1/2. Solve 5*b + 7 = 2*l, b = -u*b + 3*l - 6 for b.
-1
Suppose 27*j - 26*j = -2*j. Solve j = -4*y - 2*f + 20, -3*y = -8*y + 2*f + 16 for y.
4
Let t = 1 + 0. Let j = -224 + 215. Let x(u) = 8*u + 76. Let r be x(j). Solve 0 = g + r*p + 5, -g - 3*p = t + 4 for g.
-5
Suppose -6 = -5*n + d, -179*d + 20 = -174*d. Solve -3*t - 14 = -4*s, -n*s = -0*s - 10 for t.
2
Let t be (2/(-1) + -5)/(4 - 5). Let d(b) = b - 9. Let s be d(11). Solve 0 = -4*j + 3*w + t, -3 = -3*j + s*w + w for j.
4
Suppose -104 = -3*c + 4. Suppose -92 = -10*m - c*m. Solve -2*b = -4*a - 2 - 0, -2*b = m*a - 2 for b.
1
Let x(n) = -627*n - 1250. Let f be x(-2). Solve m - 7 = -4*t + f*m, -3*t + 2*m = -6 for t.
4
Suppose -27 + 49 = 11*n. Let p = 18 - 14. Suppose -5*w + 26 = p*u, w - 4*u + 10 = -4. Solve w*o = n*l + l + 17, -7 = -4*o - 3*l for o.
4
Suppose 5*w + 425 = 5*m, 5*m = 4*w + 347 + 83. Let r(b) = 110*b - 242. Let d be r(3). Let l = m - d. Solve 0 = 2*v, -l*v = 4*i - 5 + 25 for i.
-5
Let m = 141 - 108. Suppose 2*f - 103 + m = 0. Suppose 0 = 12*d + 11 - f. Solve 3 = z + d*l + 5, -3 = z + 3*l for z.
0
Suppose -6*q + 3*q = -24. Suppose q*p + 7 = 39. Solve 8 = p*f - 4*j, 1 + 9 = 5*f + j for f.
2
Suppose -18*x = 10*x - 84. Suppose 17 + 4 = x*h. Solve h = 5*q + 4*o, q + o + 1 = -o for q.
3
Let q = -2189 + 2193. Solve 3 = -3*l + 5*x - 4, 0 = q*l - 2*x for l.
1
Let p(g) = 5*g**2 - 21*g - 20. Let x be p(5). Suppose -15*r - 17*r + 128 = x. Solve -9 - 5 = -3*y - r*i, 2*i = 2*y + 14 for y.
-2
Suppose 130*c + 20 = 133*c - 4*d, 0 = 5*c - 5*d - 30. Solve -x - 9 = -c*r, 3*x = -r - 18 + 4 for r.
1
Suppose 4*f = -2*u + 30, -4*u + 7*f - 17*f + 72 = 0. Solve 10*s + w = 5*s - 27, -3*s = u*w + 21 for s.
-5
Let s = -115 - -120. Suppose -2*u + 48*f + 54 = 50*f, -s*u + 135 = f. Solve -20 = 4*y - 2*r, -2*r - r = -5*y - u for y.
-3
Let l(k) be the second derivative of -5*k**3/6 - 71*k**2/2 + 30*k + 1. Let f be l(-15). Solve 5*r + 4*x = 7*x + 2, r - f*x + 3 = 0 for r.
1
Let h be 1/2 - (-3)/2. Let f be (222/18 - 2) + (-1)/3. Suppose 0 = 3*c - c - f. Solve h*d + 23 = -c*n - 0*d, d - 26 = 5*n for n.
-5
Suppose -5*s = -2*b - 813, 4*s - s - b - 488 = 0. Suppose -8*r - 27 = -s. Suppose r*h + 12 = 23*h. Solve d + 1 = h*n - 6*n, n + 3*d + 14 = 0 for n.
1
Let h = -315 - -298. Let x(z) = z**2 + 21*z + 76. Let q be x(h). Suppose 4*u - 24 = -3*j, -5*u + 15 = -0*u. Solve 0*d - 16 = j*d, -4*n - 5*d = q for n.
3
Let d = -16022 - -16024. Solve -d*z = n - 9, n + z + 19 = 3*z for n.
-5
Let m(w) = -w**3 + 17*w**2 - 26*w - 406. Let l be m(12). Solve 0 = l*g - 4*r + 10, 