, 5*k + 3*l = v for k.
4
Let r(w) = -w**3 - 25*w**2 + 24*w - 52. Let k be r(-26). Solve k = -h - 5*x - 31 + 5, -h = -4*x - 19 for h.
-1
Let g be (-118)/(-12) + (-161)/(-966). Solve -g*a + 8*a = -2*r - 10, 4*a = -4*r - 4 for a.
2
Let h(v) = 35*v**2 + 4*v - 10. Let o be h(3). Let q = 331 - o. Let m(j) = -2*j + 4. Let g be m(-3). Solve -3*p + 5*t + q = -p, -4*p + t + g = 0 for p.
2
Suppose 0 = 57*z - 61*z + 40. Suppose 4*t + 20 = -5*o - 0*t, -t = -5*o + 5. Solve 5*b - z = 0, -s = -o*s + b - 4 for s.
2
Let d be (36/3 - 190/20)*8/5. Solve 7*j = d*o + 11*j - 24, 10 = 5*j for o.
4
Let r(i) = 996*i - 1899. Let q be r(2). Solve 6 = -q*m + 91*m + 2*b, -b = 5*m + 3 for m.
-1
Let b(g) = g**2 - 7*g - 14. Let u be b(-2). Suppose -3*a = u*n - 107, -3*n + 6 = a - 38. Let z = a - 15. Solve 17 = 5*w + 2*h - h, 2*w + 4*h - z = 0 for w.
3
Let i be ((-5 + 5)*(-1)/1)/2. Suppose -5*k = q - 7, -4*k + 3*k + 1 = 0. Solve a = 3*u + 11, u + u - q*a + 14 = i for u.
-2
Let l(n) = -n**2 - 11*n - 25. Let k be l(-5). Let p(b) = -3*b + 19. Let r be p(19). Let u = r - -57. Solve 5*w + 4*j + 21 = 0, 8*w - 4*j = k*w - u for w.
-5
Let c(u) = 2*u**2 + 34. Let o be c(0). Let h be (48/5)/(o/(-5) - -7). Let f be (h/(-30) - -1)/((-1)/10). Solve -4*q + 0*m = -2*m + f, -q - 5*m = -15 for q.
0
Let r = -239 - -419. Suppose 2*j - 5*f - 90 = 0, 4*j - r = 3*f - 0*f. Let h be (-8)/6*(-11)/(110/j). Solve -2*s = 5*a + 15, 4*a + 5*s + h + 23 = 0 for a.
-1
Let s(v) = -3*v + 18. Let x = 777 + -771. Let l be s(x). Solve 2*q - 4 = t, l - 8 = 2*q + 2*t for q.
0
Let s = -328 - -331. Solve -u + 1 = y, 5 = y + s*u - u for y.
-3
Suppose -108*o = -5*o - 824. Suppose 0 = 3*p - 6*p + 18. Suppose 0 = 5*k + p*n - n, -k = 5*n + o. Solve 3*w + 2 = 2*z - 0, z = w + k for z.
4
Suppose -2*v = v + 3*g - 432, -4*v + 5*g = -567. Let a = v + -139. Solve a - 2 = -5*m - 3*k, -4*m = k - 4 for m.
2
Suppose -200 = -26*q - 14*q. Solve -3*u - 29 = 4*g, -2*u + q*u + 9 = 0 for g.
-5
Suppose -20*q + 16*q = -12. Suppose -9*i + 24 = -q*i. Solve 3*t - 7 = -i*h, -4*t - h - h - 4 = 0 for t.
-3
Suppose -1337 = -5*k + 5*q + 388, -5*q - 25 = 0. Let l = -335 + k. Solve 0 = l*z - 3*d + 6, z + d = 3*d - 4 for z.
0
Let d be 16*8/(-384)*-9*9. Solve -3*o + d = 4*p, 4*o + 15*p - 35 = 10*p for o.
5
Suppose -4*v + 5*b = 360, -3*v + 3*b - 352 = v. Let i = v + 89. Suppose 3*c - 15 = i*p - 2*p, -5*c + 25 = 5*p. Solve -u + 3*a = -5, -3*u + 0*a = c*a + 13 for u.
-1
Let u be ((-2)/(-4))/((-10)/(-96)*102/255). Solve 101*j - 105*j = f - 14, 3*f + 2*j = u for f.
2
Let a = -1958 + 1960. Solve -a*c = -4*f - 4, -4*f + 4*c - 13 + 5 = 0 for f.
0
Let t(k) = -k**2 - 48*k - 452. Let o be t(-13). Solve -o*y = -5*p + 5, -30*p - 4*y = -28*p - 2 for p.
1
Let n = 334 + -324. Suppose 5*j + n*j - 30 = 0. Solve -10 = 3*o - p, -j*p = -3*o - 5*p - 30 for o.
-5
Let n(i) = i**2 - 12*i + 38. Let s = 586 - 581. Let t be n(s). Solve -4*q - 4*j + t*j = -13, 0 = -q + 2*j + 10 for q.
4
Suppose 2*r = n + 34, 441*r - 442*r + 19 = -n. Solve 5*q - r = 11*s - 6*s, s = -q - 1 for s.
-2
Suppose 2382 + 5487 = 193*x - 10*x. Solve x = g - 5*i + 32, -25 = 4*g + 3*i for g.
-4
Let r be 17/((-238)/(-77))*2. Solve 3*p + 40 - 3 = -5*g, g - r = 4*p for g.
-5
Let t = -362 - -188. Let l = t + 181. Solve h - 2*h + l = -4*n, -h + 4 = -n for n.
-1
Let l(d) = d**3 + 7*d**2 + 11*d. Let c be l(-4). Let v(r) = -25*r + 104. Let a be v(c). Solve -f + 4*f + 3 = 0, -2*z + a = 2*f for z.
3
Let u(f) = f. Let t be u(3). Suppose -3*m - 5*p - 21 = 0, 3*p = 6*m + 33 - 69. Solve -t*v = 3*x - 3, -4*v - m*x - 41 = -8*x for v.
-4
Let n be (-6 + 5 - 2) + 14 - -2. Solve 3*i - i - n = 3*q, i + 3*q = -16 for i.
-1
Suppose -3*m + 6 = -2*d, 3*m + 2 = -5*d + 8. Suppose 0 = -m*i - 0*r + 3*r + 19, 4*i - 11 = -3*r. Solve x - 12 = -i*a + 5, 5*x - 10 = 0 for a.
3
Suppose 13 = -4*c + 33. Suppose 0 = -2*a - j + 5, 7 = 4*a + j - 2. Solve 5*v + a*h + 10 = h, -c*v + 20 = -5*h for v.
-1
Let q(w) be the third derivative of -w**4/24 - w**3 - 203*w**2. Let r be (-123)/12 - 1/(-4). Let k be q(r). Solve k = l - 3*l - 5*h, 23 = 5*l - 4*h for l.
3
Suppose 0*w - 64 = -4*w. Let c = -14 + w. Let d = 205 + -202. Solve 2*r = d*v - 10, 5*v = 3*r - c + 19 for r.
1
Let x = 17725 - 17723. Solve x*f - 1110*p + 2 = -1107*p, f = 3*p - 1 for f.
-1
Suppose 460 - 220 = -4*s. Let h be 8/44 - s/33. Solve -h*o + 15 = 5*v, -7*v = -2*v - 2*o + 5 for v.
1
Let n be 2/(-4) + (2 - 867/6). Let v = 143 + n. Solve -2*s - 4 = -2*h - v*h, 5*h - 8 = 4*s for h.
0
Suppose o - 5*d = 2*o + 1, 3*d + 7 = o. Let s(u) = u**3 + 8*u - 24*u**2 - 33 - o*u - 2*u. Let p be s(24). Solve -2*c - 5*l - 18 = 0, -3*c - 4*l - p = -2 for c.
1
Suppose -9*a - 774 = -114*a + 19*a. Suppose -15 = -5*k + 3*t, 4*k + 0*t + 4*t + 20 = 0. Suppose k*h = h - 2. Solve 5*m - 25 = -5*c, h*m = -4*c + a + 11 for c.
5
Let z(y) = -45*y - 1705. Let g be z(-38). Solve -3*r + 2*r + g*q = 18, 2*r - 3 = -3*q for r.
-3
Let i = -5612 + 5615. Solve 0 = -4*f - 4*z + 24, -i*f + f + 2*z = -8 for f.
5
Let j = 160 - 148. Suppose -u + 2*s + j = 3*u, 4*u - 10 = s. Solve -u*t - 12 = -l, -t + 0 = -5*l + 24 for t.
-4
Let z(i) = -i**2 + 7*i - 22. Let s be z(11). Let x = s + 62. Let w be 3 - (2 + -2)*(-1)/x. Solve 0*v - w*m - 5 = -2*v, 0 = 5*v + 4*m + 45 for v.
-5
Let k = 5 + 2. Let x(r) = r - 4. Let f be x(k). Let a be ((-27)/f)/((-1)/1). Solve 3*j - 7 = 5*l + 20, -a = -l - 3*j for l.
-3
Suppose 2*c - 4*c + 12 = 3*t, 4*t = 3*c - 1. Let j(b) = 49*b - 23. Let d be j(10). Let v = 470 - d. Solve -3 = -n, -t*n = h - v*n + 6 for h.
-3
Let l be (-117)/(-26)*(-220)/(-45) - 2. Solve -l*u + 5 = 5*h - 15*u, u + 15 = 3*h for h.
4
Let q(n) = n**2 - 6*n - 15. Suppose h - 9 = g - 4*h, -4*g = -3*h - 15. Let l be q(g). Let r be 3*5/l*-5. Solve 2*p - 2*z = -6*z + 28, 0 = -r*p - z + 25 for p.
4
Suppose 0 = 2*s - z - 6, z + 25 = 4*s + 15. Let t be (-4)/(-6) + 42/18. Solve t*c - 13 = -s*v, 0*c + 24 = 4*v + 4*c for v.
5
Let h = -6435 - -6437. Solve 0 = -4*o - 5*w - 5, -w = -3*o - h*o + 1 for o.
0
Suppose 3*y = -73 + 13. Let m = -16 - y. Let x be ((-84)/12 - -8) + (-3)/(-1). Solve -3*q + 0 = i + x, -14 = -2*q - m*i for q.
-3
Let a = 22 + -13. Let f(r) = -r**3 + 7*r**2 + 3*r - 16. Let l be f(7). Suppose 25 = l*j, -2*c + 1 + 28 = 5*j. Solve -9 = 3*g, -h + 4*g = c*h - a for h.
-1
Let z(q) = q**2 - 29*q - 57. Suppose 77*v + 93 = 80*v. Let p be z(v). Solve 3*d + 4*s = -13, 6*s - p*s = -d - 3 for d.
1
Suppose -1514*t - 95 = -1533*t. Solve 2*p - 7*p - 4*x = 1, -3*p = -2*x + t for p.
-1
Let y be 150/18 + (-2)/(-3). Suppose y*d + 28 = 5*d. Let r(z) = -z**3 - 8*z**2 - 10*z - 5. Let x be r(d). Solve n + x = -5*m, 0 - 1 = 2*m - 5*n for m.
-3
Let t(l) = 23*l - 10 - 6*l - 39. Let j be t(3). Solve 0 = s + 3, 3*m + m - 6 = j*s for m.
0
Let y be (-1 + 3)/(-6) + 15640/1020. Solve -3*r + y = 8*g - 9*g, -4*r = -3*g - 20 for g.
0
Suppose -254 - 16 = -54*b. Solve 2*g = b*i - 5, -4 = 38*i - 41*i + g for i.
3
Suppose -132*s = -129*s - 3*a, 0 = 3*s - a - 4. Solve -2*p = -m + 11, 4*m + s*p + 10 = 24 for m.
5
Let j = 63 + -50. Suppose -j*o = -17*o + 120. Suppose -5*c - o = -5*z, z - 3*c = -c + 1. Solve 0 = 5*v - 15, 5*v - z - 2 = -2*g for g.
-1
Let i be -33*((-4)/12)/((-1)/(-2)). Suppose 180 = i*t - 150. Solve d + 0*v - 4*v = -t, -5*d + 20 = -v for d.
5
Let k = -44 + 126. Suppose 0 = -3*j + 247 - k. Suppose -4*z - 7*z + j = 0. Solve 0 = -u + 2*u + z, -3*u = -3*w + 6 for w.
-3
Suppose 9*q = 5*f + 7*q - 78, 5 = 5*q. Let r(p) = -2*p + p - p + 37. Let c be r(f). Solve -2*j - k + 2 = -c*k, -2*j + 1 = -5*k for j.
3
Let m(y) = 3*y + 33. Let l be m(-9). Suppose 11*j = 14*j - l. Let w be (6 + -7)*j/(4/(-6)). Solve 0 = -3*v - w*g - 9, -5*g = 2*v - 10*g - 1 for v.
-2
Suppose -91*m + 75*m = -226*m + 3780. Solve -x = z - 2, -52*z = x - 56*z + m for x.
-2
Let r be 20/(-6)*-7*384/280. Solve 0 = 4*o - 12, -2*s + r*o - 31*o = -1 for s.
2
Let z be (3/(-2))/(8/464). Let d = 145 + z. Let w = d - 48. Solve c - w = 4*r, 3*c - 6*r = -3*r + 3 for c.
-2
Let m = 86 - 20. Let v = -51 + m. Solve i = 4*k + k + v, 4*i = -4*k - 36 for k.
-4
Let v(p) = -2*p - 11. Let x be v(10). Let a(m) = -m**2 + 15*m + 6. Let b be a(13). Let y = x + b. Solve 0 = w + 4*l - 24, -4*w + 5*l - 10 + y = 0 for w.
4
Let p = -71 - -150. Let k = 6219 + -6296. Let a = p + k. Solve -d + 5*f = 16, -a = -f + 1 for d.
-1
Let g(q) = -4*q