, -2, 3 in decreasing order.
3, v, -1.5, -2
Let m(f) = -2*f**3 + 24*f**2 - 37*f. Let r be m(10). Put 0, 3, r, -4 in descending order.
r, 3, 0, -4
Let z be (-3 - (8 + -6)) + 10. Suppose -3*m - 6 = -m, -q + z*m + 19 = 0. Put q, 1, 3, -3 in decreasing order.
q, 3, 1, -3
Suppose 5*m - 25 = 5. Suppose 4*r - f - 15 = -r, 4*r - 18 = 2*f. Suppose 2*t + 2*l + 8 = 0, -2*l - 11 = -23*t - 53. Sort m, t, r in increasing order.
t, r, m
Let w = 27.04 - 66.04. Sort -0.4, w, 3/2 in descending order.
3/2, -0.4, w
Let p be (-2)/11 + 17565/1925 + (1 - 10). Let b be (2/6)/((-52)/39). Sort 0.3, 0.1, b, p.
b, p, 0.1, 0.3
Let z = -5822 + 5865. Put 5, z, 0, 2 in descending order.
z, 5, 2, 0
Let n = 550.7 + -533.7. Let d = -0.37 - -16.37. Let m = n - d. Put 4, 0.1, m in increasing order.
0.1, m, 4
Suppose -5*r + 21 + 24 = 5*z, 20 = -4*z. Suppose -r*f + 37*f = 46. Suppose -8 = -5*s + 17. Put -5, -4, s, f in descending order.
s, f, -4, -5
Let s = 130 + -150. Let b be 6/8 + (s/5)/4. Put 4, -1/3, b in descending order.
4, b, -1/3
Let n = 9362.97 - 9363. Put 1.9, n, 28 in ascending order.
n, 1.9, 28
Suppose 3*n - 5*c + 1 + 3 = 0, -2*c - 17 = 5*n. Let p(b) = -b**3 - 2*b**2 - 2*b - 12. Let q be p(n). Put q, 0, -8 in decreasing order.
q, 0, -8
Let m(d) = 15 - 2*d**2 + 3*d**2 - 77*d + 78*d. Let u be m(-4). Suppose 12 - u = 5*y. Sort -1, y, -13 in descending order.
-1, y, -13
Let i(d) = d**3 + 7*d**2 - 118*d + 26. Let o be i(-15). Sort -117, o, -3, -1.
-117, o, -3, -1
Suppose 9*h + 6*h - 7*h + 8 = 0. Sort -2, h, 200, 2, 3 in decreasing order.
200, 3, 2, h, -2
Let u = -3825.2 + 3825. Put 1/3, u, 0.3, -0.06, -0.207 in decreasing order.
1/3, 0.3, -0.06, u, -0.207
Let q = -763 - -656. Let p = q + 124. Sort 5, -7, p.
-7, 5, p
Let u be (-387)/(-43) - (10 + -2 + 0). Let z = -186 + 2788/15. Let m = 2 - -3. Put z, u, m in ascending order.
z, u, m
Let d(k) = 13*k**3 + 3*k**2 - 10*k + 8. Let s be d(1). Suppose s*o - 8 = 10*o - 4*r, 0 = -3*o + 5*r + 6. Sort -4, -3, -2, o in ascending order.
-4, -3, -2, o
Let d = -0.0015 - 0.3985. Let b = -5.3 - -2.3. Sort -5, 2/5, b, d.
-5, b, d, 2/5
Let w(d) = 2*d**3 - 3*d**2 - 20*d + 33. Let j be w(3). Put 1, 378, j in ascending order.
j, 1, 378
Let g = -4/649 + -5/59. Let b = 308/5 - 61. Let t = 11.5 - 11.8. Sort g, b, t, 0.5.
t, g, 0.5, b
Let t = 236 - 224. Suppose -t*b - 20 + 8 = 0. Let n be ((-4)/5)/((-2)/10). Sort b, n, -3 in descending order.
n, b, -3
Let s = 42 + -46. Let u(d) = -d + 4*d + 0*d + 20. Let t be u(-7). Put s, t, -2 in descending order.
t, -2, s
Let w = -229 - -240. Suppose -w*s - 182 = 3*s. Sort s, 3, -2, 0 in descending order.
3, 0, -2, s
Suppose m + 20*b = 18*b + 12, -5*b = 3*m - 28. Put 3, 83, m, 1 in decreasing order.
83, 3, 1, m
Let d(b) = -b**2 - 8*b - 4. Let t = 38 - 45. Let l be d(t). Suppose f - l = 3*c + 3, 3*f + 12 = -c. Sort 4, f, 6, -1 in ascending order.
f, -1, 4, 6
Let q be (-276)/161*7*-1 + -3. Suppose -q*x + 19 + 8 = 0. Sort -3, 21, x in ascending order.
-3, x, 21
Let s be (-8)/(-3) - (13 + (-550)/66). Suppose 0 = -5*q - 5*w + 50, -8 = -4*q - 0*w + 4*w. Sort s, 10, q in ascending order.
s, q, 10
Let q be (-69 + 66)*(-2)/(-4)*(-16)/(-28). Put 757.4, 0.2, q in descending order.
757.4, 0.2, q
Let c = -693 - -696. Let l = -1.1 + 1. Sort c, -4, 5/4, l in increasing order.
-4, l, 5/4, c
Let b be 20/50 + 16/(-40). Suppose -2*r + 8 = 2*r. Let p = r - 4. Put b, p, 3 in increasing order.
p, b, 3
Let h be 5873/23492 - (6/(-20))/(6/5). Sort -2/9, 1/19, h, 3 in decreasing order.
3, h, 1/19, -2/9
Suppose 1510*g - 1513*g = -3. Suppose a + 5 = -5*p, 5*a - 3*a - 55 = 3*p. Suppose 0*j = -4*j + a. Sort j, -10, g in ascending order.
-10, g, j
Let z = 2077 - 2059. Sort z, 0, -3.
-3, 0, z
Suppose -3*r + w = -7, 9*r + 2*w = 4*r + 19. Suppose 0*f - r = f. Let x = -13196 - -118763/9. Sort x, 0.4, f, 3/7 in increasing order.
f, x, 0.4, 3/7
Suppose -5*z + 10 = 0, -63 = -5*t - 5*z + 17. Let s be 6 + t/(-4) + -4. Sort -2/15, s, 1 in increasing order.
s, -2/15, 1
Let y = 15.5 - 15.6. Let o = 0.03 + 0.47. Let h = o + y. Put 5, 2/3, h in decreasing order.
5, 2/3, h
Suppose -4*l - 9*x + 4*x = -20, 0 = l - 3*x - 5. Let o be -1 + 4 + (-16 - -11). Put -3, l, 1, o in descending order.
l, 1, o, -3
Let x = -816 + 816. Put 3, 0.582, x, -4 in increasing order.
-4, x, 0.582, 3
Let h be 4/(96/13383) + 9/24. Put 4, -5, h in descending order.
h, 4, -5
Suppose 5*t + 30*w = 32*w + 180, -5*t + 5*w = -180. Put t, 3, 6 in descending order.
t, 6, 3
Let h be (-2)/3 - 3/9. Let u(o) = -o**3 - 4*o**2 + 6*o + 2. Let w(m) = -4*m + 3. Let f be w(2). Let n be u(f). Sort h, n, 5 in decreasing order.
5, h, n
Let n = 15.4 + -21. Let l = n + 6. Let m be ((1100/77)/(-25))/2. Sort m, 4/7, 4, l in decreasing order.
4, 4/7, l, m
Let z = 25951 + -285464/11. Put z, -6/13, 2/7 in increasing order.
-6/13, z, 2/7
Let i = 42600494/85 - 501196. Let q = 68/5 + i. Suppose 2 + 1 = -z. Sort 0.4, z, q, 0.1.
z, q, 0.1, 0.4
Let p = 17595 + -17593. Put -4, -256, 4, p in descending order.
4, p, -4, -256
Let z = -3 + 4. Suppose 0 = 7*b + b - 736. Let q = b + -94. Sort 2, q, z in decreasing order.
2, z, q
Let j be (-18)/(-96)*(-448)/140. Suppose 5*a - 31 = -1. Suppose -2*o + o + a = 0. Put o, 4, j in decreasing order.
o, 4, j
Let k = 280 + -281. Let o(g) = -15*g - 18. Let t be o(k). Put 3, 4, 23, t in increasing order.
t, 3, 4, 23
Let w be (-10)/(-6) + (-4)/6. Suppose 2*c + w = 9. Let m(n) = -n**3 + 3*n**2 + 9. Let r be m(c). Sort 2, r, -1 in ascending order.
r, -1, 2
Let r = -67.89 - -67.91. Sort 3/7, r, 3, -5.
-5, r, 3/7, 3
Suppose -16*m = -20*m + 404. Let q = 709/7 - m. Let i be -1*5/(20/(-16)). Sort 0.08, i, q.
0.08, q, i
Let u be -2*(-3)/(9/(-2))*-3. Let d = 3 - 8. Let r = -7 + 10. Put u, r, d in ascending order.
d, r, u
Let s = -0.646 + -501.354. Let m = s - -474. Put m, -2, 5 in descending order.
5, -2, m
Let x = 20006 - 19967. Sort 4, -1/20, x.
-1/20, 4, x
Let u = -20499/8 - -2562. Let t = -4.118 - -0.118. Sort 26, u, t in ascending order.
t, u, 26
Let j = 187 - 186. Sort 4, j, -1, 41.
-1, j, 4, 41
Let u(m) = m + 10. Suppose -4 = 4*p + 16. Let w(k) = -2*k - 19. Let o be w(p). Let s be u(o). Put 4, s, -5 in descending order.
4, s, -5
Let t(b) = 6*b - 1. Let f(h) = -11*h + 82. Let k(r) = -f(r) + 6*t(r). Let l be k(2). Put 4, l, 5 in increasing order.
4, 5, l
Suppose b + 4*y + 16 = 0, 33*b - 37*b = 4*y + 16. Sort 11, b, 4, -56 in decreasing order.
11, 4, b, -56
Let n be -1*5 + (-13 - -15). Let t = 3/116 - 279/4060. Sort n, -0.3, t.
n, -0.3, t
Suppose 0 = 3*x + 5*t - 5, 0 = 20*t - 25*t + 5. Put 238, -5, x in increasing order.
-5, x, 238
Let c be ((-36)/(-10) + 2)/(70/(-175)). Put -20, -3, c in ascending order.
-20, c, -3
Suppose 8*b - 6*b = -4*l - 14, -5*b = -3*l - 43. Suppose -3*p - 4*n = p + 28, 0 = p + 5*n + 19. Sort b, p, -10, 3 in increasing order.
-10, p, 3, b
Let v = -2447 - -2448. Let q = 5 - 4.7. Let g be ((-6)/(-30))/(1/2). Sort 0.2, v, g, q.
0.2, q, g, v
Let k = -12654 + 12664. Sort 0.01, k, -1, 1 in increasing order.
-1, 0.01, 1, k
Let q = -23194 + 23175. Suppose -2*y + 4*y = 2. Sort -1/4, y, q.
q, -1/4, y
Let l(u) = -144*u + 7922. Let m be l(55). Sort -1, -5, -3, m, -58.
-58, -5, -3, -1, m
Let i(j) = j + 13. Let w be i(-12). Let n be (-1 - w/3)/(24/(-36)). Suppose 125 = -n*c + 133. Sort 4/7, -3, 0, c in decreasing order.
c, 4/7, 0, -3
Let h be -205 + 217 - (0 + 5). Put h, 139, -2 in descending order.
139, h, -2
Let h(n) = -n**3 - 7*n**2 + 9. Let l be h(-7). Suppose 5*q + 40 = l*q. Suppose -28 = -5*v + 5*x + 22, x - q = -v. Put 0.3, v, -2/11 in decreasing order.
v, 0.3, -2/11
Let t be 1 - (4/(-40))/(1/(-5)). Put 0, -36, t in ascending order.
-36, 0, t
Suppose -4*b = 3*d - 118, 0 = 2*d - 4*b - b - 48. Suppose -118*z = -713 + 241. Put z, d, -4 in decreasing order.
d, z, -4
Suppose -3*u = -4 + 1. Let v be -3*(u - (-134)/(-138)). Let g be (-2*(-15)/(-40))/(7 + (-189)/28). Put v, g, 4 in decreasing order.
4, v, g
Let v be (-6)/18 - ((-11)/(-3) + 0). Let f = v + 7. Put 5, f, -31 in decreasing order.
5, f, -31
Let w(n) = n**2 - 30*n + 137. Let b be w(7). Let p be (-10)/b - 1/(-4). Sort p, 4, -62.
-62, p, 4
Suppose 51*h - 50 = 41*h. Let q(r) = r**3 - 17*r**2 - 20*r + 27. Let f be q(18). Sort h, -2, -3, f in decreasing order.
h, -2, -3, f
Let q(k) = 13*k - 3. Let n be q(0). Suppose 9*o - 13