r.
3, n, -0.5
Let k be 3/12 + 119/4. Let l be (-2)/((-28)/126) - (-14)/(-2). Suppose 0 = l*b + 8*b + k. Sort -6, -2, b, 3 in decreasing order.
3, -2, b, -6
Suppose 4*l - 2*l - 10*l = 0. Suppose -30 = -4*n + 2*p, 2*p + 18 = 2*n - l*p. Suppose -n = 6*i - 3*i - 3*a, 2*i - 4*a = -10. Sort 5, 8, i in decreasing order.
8, 5, i
Suppose 68*q + 606 = 270*q. Sort -12, -8, 1, 0, q in increasing order.
-12, -8, 0, 1, q
Let p = -12343/4 - -6173/2. Sort 1/3, 122, -4, p, 0.4 in descending order.
122, p, 0.4, 1/3, -4
Let o = -37.7 + 19.8. Let g = 17.5 + o. Put -0.06, g, -2/11, -4 in descending order.
-0.06, -2/11, g, -4
Suppose -5*q + d = 8, 5*q + 9 = -5*d - 11. Suppose -14 = -3*i - 2*t, 4*i + t + 5 = 22. Suppose -i*g = -9*g - 40. Sort 0, q, g in descending order.
0, q, g
Suppose -4*g = -457*r + 459*r - 36, -g - 5*r + 18 = 0. Let k(y) = -2*y + 2. Let v be k(-1). Sort g, -2, v, 2 in ascending order.
-2, 2, v, g
Suppose 58 = 4*k - s, -3*k - 2*k = 3*s - 81. Suppose 40 - k = -5*d. Let p = -3 + -4. Sort -1, d, p.
p, d, -1
Let i be (540/(-6))/(-10) + 0. Let g = -1 - 0. Sort i, g, 2 in descending order.
i, 2, g
Let u be (-6)/(-4) - (-26)/4. Let a be 3*((-3)/4)/(6/(-8)). Sort a, u, -2 in descending order.
u, a, -2
Let q = -85 - -122. Suppose -3*z - 3*i = -2*i + 125, 4*z + 5*i = -174. Let o = q + z. Sort o, 1, -1 in decreasing order.
1, -1, o
Let x be (5/(535/(-247)))/(-4 + 15). Let k = 3/107 + x. Sort k, -0.5, -9/2, 0.2.
-9/2, -0.5, k, 0.2
Let i be (580/1305)/((-8)/(-54)). Sort -2, 800, i.
-2, i, 800
Let z = 8 - 3. Let r = 0.042 + -60.042. Let w = r + 53. Sort w, -4, z in ascending order.
w, -4, z
Let h = 20.692 + -20.692. Let x = 0 - -0.5. Put h, 17, x, -5 in decreasing order.
17, x, h, -5
Let p be (7/441*-15)/(40/(-24)). Put 8, -188, p in ascending order.
-188, p, 8
Let f = -328 + 335. Put 0, f, 1 in descending order.
f, 1, 0
Let p(n) = n**2 - 7*n + 4. Let u be 0/(10/15*-3). Suppose -3*d = -u*d - 18. Let o be p(d). Sort -5, o, 2 in decreasing order.
2, o, -5
Let k(g) = -10*g - 23. Let s be k(-3). Suppose -4*j + 64 = -s*i + 11*i, 0 = -2*j - 5*i + 35. Suppose v = -13 + j. Put 8, -3, v in ascending order.
-3, v, 8
Let d = 4598 + -4597. Sort 0, d, 23, 3 in decreasing order.
23, 3, d, 0
Let l(z) = 7*z**2 - z + 1. Let f be l(1). Let g(w) = 73*w + 2480. Let h be g(-34). Put h, f, -3 in decreasing order.
f, h, -3
Suppose 3*j = -z + 28, 2*j + 10 - 59 = -3*z. Suppose -4*b = -g - 2, z = 3*b + 4*g + 2. Put -2, -23, b in decreasing order.
b, -2, -23
Let r = 0.688 + -5.688. Put r, 24, 2, 0 in decreasing order.
24, 2, 0, r
Suppose -2576*j + 2590*j + 70 = 0. Sort -2, -13, 3, -1, j.
-13, j, -2, -1, 3
Let y be (-2)/5 - 21/60. Suppose -23 = 3*p - 6*p - 2*k, -5*k + 30 = 2*p. Let d = -17.68859 + -0.31141. Sort y, d, p.
d, y, p
Let n(d) = d**3 + 3*d**2 + 26*d - 58. Let m be n(2). Sort 4, 1, 6, m in decreasing order.
m, 6, 4, 1
Suppose -2*k = 3*k - 5*c - 80, c = -2*k + 23. Suppose 3*x + 5*z = 17, 4*x + 4*z = k + 7. Suppose -109 + 30 = 79*s. Put -2, s, x in decreasing order.
x, s, -2
Let t = -1.82 + 1.945. Let g = t + 0.075. Let i = -4.88 + -0.12. Sort i, -1, g.
i, -1, g
Let z(y) = 2*y**3 + 17*y**2 - y + 67. Let s be z(-9). Suppose k + 2*k = 6. Suppose 0 = -k*a - 2*v - 4, -v = 5*a - 0*v + 14. Sort s, 0, a.
s, a, 0
Suppose 444*o = 440*o + 160. Suppose c + o*c = 0. Let l = -2.6 + 0.6. Sort -4, l, c in decreasing order.
c, l, -4
Suppose -56*f - 95 - 129 = 0. Let i(u) = u**2 + 10*u + 5. Let l be i(-8). Sort f, l, 4, -1 in decreasing order.
4, -1, f, l
Let s(g) = -1. Let a(c) = 3*c + 13. Let y(k) = -a(k) - s(k). Let q be y(-5). Suppose q*r = 2*r. Sort -5, -4, r.
-5, -4, r
Let k be -6*(-464)/(-1440) + (-3 - (-13)/3). Sort -7/8, k, -8.
-8, -7/8, k
Suppose -15 = 3*j, 3*z - 5*j - 41 = -z. Suppose w + 5*c = 30 - 5, -z*w + 15 = 3*c. Suppose 0 = -2*i - 2*i - 8. Sort 3, w, i.
i, w, 3
Let d(y) = 7*y + 60. Let p be d(-8). Let v = 100 - 99. Put v, p, 5, -4 in ascending order.
-4, v, p, 5
Let p = -30 + 33. Let d be -6*7/(-28)*42*1. Let f be d/(-90)*8/(-14)*-10. Put p, -0.08, f, -0.3 in descending order.
p, -0.08, -0.3, f
Let i = 107 + -102. Let r be i/(-15)*5 + 2. Let c = -2.03 + 0.03. Put c, -4, r in ascending order.
-4, c, r
Let r(o) = 3*o**3 + 101*o**2 + 63*o - 97. Let p be r(-33). Put 0.016, 10, p in ascending order.
0.016, p, 10
Let g be (-64 - (-36 + -16))/3. Let r = -0.13 + -0.57. Put g, r, -0.8, 5 in ascending order.
g, -0.8, r, 5
Let v = -246 + 495. Let p = -244 + v. Put p, -0.8, 0.5, -3 in decreasing order.
p, 0.5, -0.8, -3
Let n = -4545 - -4550. Put n, 0.1, -1180 in ascending order.
-1180, 0.1, n
Let f = -2612 + 2610. Put f, -27, 0, -13 in descending order.
0, f, -13, -27
Let f be 2 + -2 + (-1 - -2). Let l = 438021 + -438015. Put f, 7, l, 2 in increasing order.
f, 2, l, 7
Let w = 24601/17 + -1447. Put -0.4, 0.3, -300, w in increasing order.
-300, -0.4, w, 0.3
Let w = 2.25 + -0.9. Let d = 1.05 - w. Let l be 5/25 + 1/(-5). Put 4/9, l, d in increasing order.
d, l, 4/9
Let z be -1 + -2 - 21*5. Let f = -173 - -172. Let m be ((-3)/9)/((-4)/z*f). Put -2, m, -4, 0 in descending order.
m, 0, -2, -4
Let p = -6938 - -6913. Let j be 2*-1 - (9 - 3). Put -2, j, p in decreasing order.
-2, j, p
Let v = 4932 - 4929. Sort -3, -85, v.
-85, -3, v
Let u = 7 + 12.25. Let a = u + -19. Let f = a - 0.2. Put 2, f, 2/7 in ascending order.
f, 2/7, 2
Let l = -28 - -30. Let v be (-30)/10 - 5*l/2. Let g be (-25)/7 + v + 11. Put -2/5, 0.4, g, -5 in descending order.
0.4, -2/5, g, -5
Suppose -2*p + 4*i - 3 - 5 = 0, -3*p - 4*i + 8 = 0. Let k = -35 - 199. Let y = k + 238. Sort -5, y, p.
-5, p, y
Suppose 2*p - l = 109, 5*p - 7*l + 3*l = 280. Let v = p - 53. Let n be (-15)/25 - (3 + (-144)/15). Put n, -4, v in ascending order.
-4, v, n
Let p = -2.1605 + 0.0065. Let g = -0.154 - p. Let u(m) = -m**2 - 25*m + 20. Let x be u(-26). Put x, -0.2, g in increasing order.
x, -0.2, g
Let v be ((-1)/2)/((-2)/140). Let u = 191 + -191. Suppose 4*x + 4*k + 36 = u, 4*x = x - 5*k - v. Sort 1, x, -2 in decreasing order.
1, -2, x
Let i(h) = 81*h - 2753. Let a be i(34). Put 147, -14, a in decreasing order.
147, a, -14
Let n(z) be the third derivative of -z**6/60 + z**5/30 - 2*z**3/3 - z**2 - 23*z. Let f be n(2). Put 1, 0, 3, f in decreasing order.
3, 1, 0, f
Suppose -115*w + 59*w = -61*w. Let n be 3/(-9)*(1 + -10). Let v be (-68)/18 + 4 - 11/9. Sort 6, n, w, v in ascending order.
v, w, n, 6
Let d = -2.2393 - -1.8393. Sort -0.07, -0.3, 2, d, 4 in increasing order.
d, -0.3, -0.07, 2, 4
Let o = 21464.6 + -21464. Sort o, 7, -4 in descending order.
7, o, -4
Let l be (-34)/(-51) + (-84)/18. Sort -3, -2, 3, -80, l in increasing order.
-80, l, -3, -2, 3
Let c be 9/(-126)*6 + 36/(-14). Suppose 12*p + 12 = 14*p. Sort c, p, 1, 5 in descending order.
p, 5, 1, c
Suppose 10 = -5*l - 5*v, 2*l - 2*v = -6*v - 12. Let w = l - -10. Let c(d) = d**3 - 11*d**2 - 11*d - 15. Let i be c(w). Sort i, -2, 3 in ascending order.
i, -2, 3
Let w = -0.7 - -0.69. Let q = -0.247 + -0.053. Suppose 3*z - g = -4 + 6, 3*z + 3*g = 6. Sort z, q, w.
q, w, z
Let f be (8/28 - 3) + 2 + 32/(-14). Sort f, 0, -131 in ascending order.
-131, f, 0
Let d = -8578 + 8573. Sort 3, 0, 60, d in increasing order.
d, 0, 3, 60
Let i = -20.99 - -21.05. Put 4, -5/3, -4, i, -3/4 in descending order.
4, i, -3/4, -5/3, -4
Let u(j) be the third derivative of j**4/6 - 7*j**3/3 - 2*j**2 + 7*j. Let z be u(3). Put 3, -1, -5, z in ascending order.
-5, z, -1, 3
Let x = 4.9 + 0.1. Let j = 7453 + -7453. Put x, 8, j in increasing order.
j, x, 8
Let l = 4/3 - 14/15. Let c(r) = -18*r - 109. Let f = 140 + -146. Let y be c(f). Put y, l, 1/2, -0.4 in increasing order.
y, -0.4, l, 1/2
Let r = 15.147 + -14.747. Put r, 0.178, 0.1, 3, -1/6 in decreasing order.
3, r, 0.178, 0.1, -1/6
Let m = -5.06 - -0.06. Let f = 13.432 - 6.432. Put m, 4, f, -1 in ascending order.
m, -1, 4, f
Let w(m) = -m**3 + 2*m**2 + 13*m + 5. Let h be w(5). Sort 19, -2, 4, h, -3.
h, -3, -2, 4, 19
Let y(v) = -12*v - 71. Suppose 161 = -7*j + 119. Let k be y(j). Sort 5, 56, -4, k.
-4, k, 5, 56
Let n = 37864 + -37859. Sort -3, -5, -1, -907, n.
-907, -5, -3, -1, n
Let b = 51.6 + -44. Let n = -2.49 + b. Let k = n + -5. Put 1/3, 1, k in increasing order.
k, 1/3, 1
Let p = -97.89 - 0.11. Let x = -97.38 - p. Let n = x - 0.67. Put -4/5, n, 0.1, 3 in decreasing order.