= 5*d + k, 3*d + 4*k = 34. Sort 1, d, 0, 5 in decreasing order.
d, 5, 1, 0
Let l = 8 + -8.06. Let u = 1008.5 - 1009. Put u, -2/11, l in increasing order.
u, -2/11, l
Let d = -372 - -375. Put d, 0.065, -4/3, -3 in descending order.
d, 0.065, -4/3, -3
Suppose 9*g - 3*g = 0. Let k = -4 + 10. Suppose 0 = -w - x, -3*x - k = -4*w - x. Put w, -3, g in decreasing order.
w, g, -3
Let y be ((11 - 13) + (-7)/(-4))/1. Let c be ((-4)/4*1)/7. Sort c, 1/2, 5, y.
y, c, 1/2, 5
Suppose -116 - 44 = 20*m. Sort -7, m, -2 in decreasing order.
-2, -7, m
Let t(w) = w**2 - w - 1. Let p be t(2). Put -5, p, 8 in decreasing order.
8, p, -5
Let d = -523 + 472. Put 3, 4, -4/5, d in descending order.
4, 3, -4/5, d
Let z(s) = 10*s**3 - 90*s**2 + 3*s - 29. Let y be z(9). Let l = -15 + 10. Sort 3, y, l in descending order.
3, y, l
Let i = -1177 + 1149. Sort 2/17, 0.13, -5, i in decreasing order.
0.13, 2/17, -5, i
Let a = -0.2 - -0.3. Suppose 170 = -176*z + 142*z. Put -0.2, 3, a, z in increasing order.
z, -0.2, a, 3
Let v = -93 - -92.998. Let s = -1.702 - v. Put s, 5, -5 in ascending order.
-5, s, 5
Let d be (-22)/28 - 24/(-84). Put d, -0.3, 1, 1/24 in descending order.
1, 1/24, -0.3, d
Let r(p) = 4*p**3 - p**2 + p + 1. Let b(a) = 8*a**3 - a**2 + a + 2. Let k(o) = -3*b(o) + 5*r(o). Let q be k(1). Sort 0, 2, q.
q, 0, 2
Let f = -2 + 4. Let c = 5301 + -5298. Sort c, 4, -4, f in descending order.
4, c, f, -4
Let d = -239 + 234. Put d, 1, 3 in ascending order.
d, 1, 3
Let c = -149 - -153.38. Let p = 0.38 - c. Sort 1/5, -1/2, p.
p, -1/2, 1/5
Let a be (-2 + 7)*(-4)/5. Suppose 6 = 2*y, y = -4*q - q + 23. Let b = 240 - 238. Sort a, q, b in ascending order.
a, b, q
Let b be ((-39)/26)/((-2)/4). Sort -6, -4, b.
-6, -4, b
Let n = -2/101 - -311/404. Let p = -14.969 - -15. Let u = -1.969 - p. Put n, u, -0.1 in increasing order.
u, -0.1, n
Let x = 35 + -37. Let m be 5 + -10 - x/1. Let k be m/(-2 - (-1)/2). Put k, 5, 6 in increasing order.
k, 5, 6
Let h = 44 + -28. Suppose -4*k - k - h = 4*o, -4*k - 17 = -o. Sort k, -5, 4 in increasing order.
-5, k, 4
Let u = -0.07 + -0.23. Let b = 89 + -626/7. Let k = 0.8 - 0.5. Sort k, b, u.
b, u, k
Let c be 3/(-2)*(-130)/(-15). Let i = 36/13 - 203/78. Sort i, -1/5, c in descending order.
i, -1/5, c
Let i = -155.4 + 162.4. Sort -0.02, 5, i, -3/8 in descending order.
i, 5, -0.02, -3/8
Let a = 102.8 - 103. Put -3, 2/5, a, 5 in decreasing order.
5, 2/5, a, -3
Let d = -387 + 386. Put d, 5, -0.137 in ascending order.
d, -0.137, 5
Let v = 0.5 + -1.1. Let i = v - -0.5. Let p = -6 - -8. Sort i, -1/5, p in descending order.
p, i, -1/5
Let a be 2*(-2 - 5/(-2)). Let j = a - 7. Let g = 4 + j. Put g, 7, 2 in decreasing order.
7, 2, g
Suppose u = -2*g + 1, -g = 2*g - 3*u + 21. Put -1, 5, 3, g in decreasing order.
5, 3, -1, g
Suppose -q + 6*q = 1120. Let r be q/(-245) - 1/(-5). Sort 5, r, 3 in decreasing order.
5, 3, r
Let s be (1/(-3))/((-2)/12). Suppose o - s*o = -5. Let h = -256 + 252. Sort o, 2/9, h in decreasing order.
o, 2/9, h
Let u be 13/(-18) + (-2)/(-4). Let y = -16816 + 16813. Put u, y, 1 in ascending order.
y, u, 1
Let y be -1 + 1/2*18. Suppose -2*u + y*u = -6. Let o be (-2 - -1)/(2/(-10)). Sort u, 0, o.
u, 0, o
Let l = -39 + 40. Suppose -5*q + 3*x = 24, -x - 12 = 2*q - 3*x. Let a = 3 - q. Put l, 0, a in increasing order.
0, l, a
Let m = -61.4 + 61.7. Put 15, 0.08, m in descending order.
15, m, 0.08
Suppose -7*k + 6 = -15. Suppose -n = -4*n - 3. Sort -4, n, k in increasing order.
-4, n, k
Let r be (-1)/3*-1 - (-1586)/39. Let x = r + -39. Put -3, -1, 3, x in increasing order.
-3, -1, x, 3
Let l = -177 - -183. Sort -2, -5, l in descending order.
l, -2, -5
Suppose -9 = 41*s - 32*s. Suppose 2 = b + 2*a, 2*b - 4*b + 4 = 2*a. Sort b, s, 1 in ascending order.
s, 1, b
Suppose 3*z - 9 = j, -27*j + z = -29*j - 4. Let u = 3 + -1. Put j, u, -11 in increasing order.
-11, j, u
Let p = 1.45 - -0.15. Let k = -2.1 + p. Let g(n) = n**3 - n**2 - n. Let b be g(2). Sort 4, k, b.
k, b, 4
Suppose -q = 5*p + 12, -10*q = -7*q + 2*p - 16. Put 5, 1, q, 7 in descending order.
q, 7, 5, 1
Let g = 6 - 6.2. Let f = 10 - 14. Let b = -10375/8 + 1297. Sort b, g, f in decreasing order.
b, g, f
Let h = -11 - -13. Suppose -5*j = -20, -h*j - 8 = -5*o + 9. Sort o, 0, -2 in decreasing order.
o, 0, -2
Let i = -1.38 + 14.88. Let u = i + -14.5. Put u, -5, -2/7 in ascending order.
-5, u, -2/7
Let g = -5 + 6. Let y = 1115 - 1114.7. Sort y, g, 3/2, 0.4.
y, 0.4, g, 3/2
Suppose 2*d + 0*d = 0, 3*w + 24 = -d. Let m = 4 + w. Put 5, 1, 2, m in decreasing order.
5, 2, 1, m
Let h = -24.96 - 0.04. Let z = h - -27. Sort z, -0.4, -0.3 in decreasing order.
z, -0.3, -0.4
Let w be 0/(-2) + (0 - -1). Suppose 3*d - 24*d - 165 = 12*d. Put d, -6, w in descending order.
w, d, -6
Let q = -4.9091 - 0.0309. Let t = q - 0.06. Let u be (-18)/45 + (-72)/(-130). Put u, t, 5/4 in decreasing order.
5/4, u, t
Suppose -5*g = -2*g - 4*x + 3, 2*x + 3 = 3*g. Suppose 5*l + 8 = 3. Sort l, -2, g, -9 in increasing order.
-9, -2, l, g
Suppose 2*l - 3*k - 7 = 0, -3*k + 3 = 4*l - 2. Let o be (-6)/9 + 28/6. Let w = -5 + o. Put 5, w, l in ascending order.
w, l, 5
Let h be 5*((0 - -1) + 0). Suppose -w + l - 13 = -4*l, 4*w + 22 = h*l. Let k = -46 - -49. Put w, 2/13, k in increasing order.
w, 2/13, k
Let l(w) = 2*w + 1. Let b be l(-12). Let z = b - -19. Put z, -1, 4 in ascending order.
z, -1, 4
Let y = -355.5 - -355. Let m be (-24)/(-16) + (-3)/(-2). Put m, -2, -0.3, y in decreasing order.
m, -0.3, y, -2
Let r = 21.4 - 19.4. Put r, 5, -3, 2/5 in decreasing order.
5, r, 2/5, -3
Let t(m) = -94*m - 569. Let p be t(-6). Let n be 8/(1/((-3)/(-2))). Put p, n, 3 in ascending order.
p, 3, n
Let w be 3/((-3)/(-9)*-3). Let m = 70 - 70. Sort w, 2/3, 0.4, m in decreasing order.
2/3, 0.4, m, w
Suppose -36 + 72 = -4*w. Sort w, -0.01, -0.4, -0.2 in ascending order.
w, -0.4, -0.2, -0.01
Let d(u) = -u**3 + 9*u**2 - 9*u + 9. Let o be d(8). Suppose -4*s = k + s - 77, 5*s - 20 = 0. Let z be k/(-6) - 3/(-2). Put o, z, 0 in decreasing order.
o, 0, z
Suppose 3*g + 2 = -3*h + 29, 4*g + 2*h - 26 = 0. Let d = 40 - 41. Suppose n + w = 4*w + 1, 2*w - 4 = -4*n. Sort d, n, g in descending order.
g, n, d
Let d = -23/39 + 12/13. Put -5/8, 2/13, d in increasing order.
-5/8, 2/13, d
Let x be 12*6/20 - 4/(-10). Put 6, -3/4, x, 10 in increasing order.
-3/4, x, 6, 10
Let z be (-3027)/2018*(-1)/((3/(-4))/1). Let b(q) = q**3 + 6*q**2 + 6*q. Let p be (3 + -2)/((-2)/10). Let y be b(p). Sort z, 2, y.
y, z, 2
Let f = -211 - -210.7. Put -1, -13, 1/5, f in decreasing order.
1/5, f, -1, -13
Let c(s) = -s - 14. Let p be c(-12). Let u = -7 - -11. Let z = 5 - u. Sort 0, z, p in descending order.
z, 0, p
Let o = -30 - -30. Suppose 2*g - 3*d + 15 = o, 21 = g - 6*g + 2*d. Sort -7, g, 4.
-7, g, 4
Let v = 507.41 + -506. Sort -3, v, -2/5 in decreasing order.
v, -2/5, -3
Suppose -2*j + 57 = 5*m + 24, 4*j + m = 21. Sort -37, j, 5, 0.
-37, 0, j, 5
Let a be -1 + (8 - 11) - 34/(-8). Sort 3, -2/19, a in descending order.
3, a, -2/19
Let m = -0.036 - -2.036. Put m, 0.2, 207 in descending order.
207, m, 0.2
Let u(d) = d**2 - 14*d + 24. Let p be u(12). Sort -3, p, -112 in decreasing order.
p, -3, -112
Let a = 106 + -107. Sort 6, -3, 2, a in decreasing order.
6, 2, a, -3
Let d = 4 - -1. Suppose -d = 2*k + 1. Let r(i) = -i**2 - 12*i - 15. Let h be r(-10). Sort h, k, -5 in decreasing order.
h, k, -5
Let c = 11.01 - 9.01. Sort c, -2/3, -7 in ascending order.
-7, -2/3, c
Let q be -1 - -2 - ((12 - 12) + -2). Let m = -73 + 70.1. Let n = -3 - m. Sort 4/5, n, q in ascending order.
n, 4/5, q
Let x be (-2)/5 - 0/(-2). Let q = 86 - 85.895. Let o = 2.105 - q. Put x, 0.5, o in ascending order.
x, 0.5, o
Let s(f) = f**3 - 3*f**2 - 10*f + 3. Let y be s(5). Sort 2, 5, y, -2 in ascending order.
-2, 2, y, 5
Let i be 1/(-3)*-8 + -1. Let r(v) = v**3 - 8*v**2 + 7*v + 5. Let l be r(7). Suppose l*z - 2*q - 4 = -18, 5*z + 2 = -4*q. Put z, 0.1, i in ascending order.
z, 0.1, i
Let w = 5.95 - -0.05. Let x = w + -6.4. Let z = 8221/6 + -1371. Put 5, x, z in ascending order.
z, x, 5
Let y = -3583/15 + 239. Let j = 4 - 1. Let f = -55 + 53. Sort j, f, y in decreasing order.
j, y, f
Let n = -0.59 + 24.59. Let h = n - 24. Put 2, h, -0.3 in increasing order.
-0.3, h, 2
Let q = -1.36 + -0.34. Let n = 0.155 - -2.845. Put 2/17, q, n in increasing 