*d = 4*d - 4. Sort 5, j, -7 in descending order.
5, j, -7
Let d be (-146 + 101)*((-5)/3 - -2). Sort 2, -9, d, 0.
d, -9, 0, 2
Let w = -5.6 - -35.6. Let p = w - 33. Sort 3/8, -0.5, 1, p in ascending order.
p, -0.5, 3/8, 1
Let j = 27 + -13. Let m be 4/j - 788/3052. Let h = m + -245/981. Sort h, -0.1, -1 in descending order.
-0.1, h, -1
Suppose 2*t = 5*m - 3*t + 45, -3*m - t = 11. Suppose -10*k + 10 = -5*k. Put k, -2, m in decreasing order.
k, -2, m
Let k = -323 - -327. Put k, -4/7, -2 in descending order.
k, -4/7, -2
Let k = 1404 + -1404. Suppose -5*i + 6 = -14. Sort -1, 2, i, k in ascending order.
-1, k, 2, i
Let j be (60/(-32) + (3 - 1))*3. Put 35, 2/15, j in decreasing order.
35, j, 2/15
Let h(g) = 3*g**2 - 19*g + 35. Let a be h(3). Let b(z) = z**3 + z + 4. Let l be b(0). Let s = l + -9. Sort -10, s, a in descending order.
a, s, -10
Suppose 23 + 4 = k. Suppose 3*v = -12 + k. Suppose x = 4 - v. Sort 3, x, -2 in ascending order.
-2, x, 3
Let j = 0.89 - 0.6. Let w = -0.11 - j. Sort -4, w, 3/7.
-4, w, 3/7
Let q = -18.4 + 18.9. Sort 1/16, 0.2, q in descending order.
q, 0.2, 1/16
Let u(f) = f**3 - 45*f**2 - 90*f - 194. Let n be u(47). Put -2, 5, n, 2 in ascending order.
n, -2, 2, 5
Let u be 6/10 + 203/145. Let a(n) = 2*n**3 - 4*n**2 - 2*n + 5. Let b be a(2). Sort b, -5, -3, u.
-5, -3, b, u
Suppose -8 = 4*k, 2*z + 0 = 2*k - 4. Put 0, z, 4, -5 in decreasing order.
4, 0, z, -5
Let n = -0.151 - -0.151. Sort n, 5, -6, -2 in descending order.
5, n, -2, -6
Suppose -75*d = -12*d - 63. Put 4, d, 5, 7 in increasing order.
d, 4, 5, 7
Suppose y = -5*z + 5, 2*z - 2*y - 1 = z. Suppose 0 = 3*w + 2 - 5, -4*v - 4*w = 0. Sort z, -11, v.
-11, v, z
Let n be ((-1)/(-3))/(10/4)*-10. Let z = -0.3 - -2.3. Let r = -0.23 - -0.13. Sort r, n, z in descending order.
z, r, n
Let n = 2/215 - -207/860. Sort -2/9, 3/2, -3, n in decreasing order.
3/2, n, -2/9, -3
Let a = -237 - -437. Let y be -4 + (a/12)/5. Sort y, 0.4, 3 in decreasing order.
3, 0.4, y
Suppose -2*f - 19 = 5*v, 5*v - 4 = 5*f - 9. Sort -4, 1, f, 164 in increasing order.
-4, f, 1, 164
Suppose 0 = -156*i + 159*i + 15. Let x = 109/5 - 22. Sort i, x, -1, 0 in decreasing order.
0, x, -1, i
Suppose m = -16*m - 17. Put 3, m, -2, -6 in decreasing order.
3, m, -2, -6
Let g be (-1)/(3/4 + -1). Let w = 0.513 + -0.013. Let c = 7 - 13. Put w, c, g in decreasing order.
g, w, c
Let t = -55 - -64. Let r be (-2)/t + (-2 - 100/(-45)). Sort 4, -3, -1, r in descending order.
4, r, -1, -3
Let w(l) = l - 1. Let j be w(5). Let o = 1.98 + -2.08. Sort 2/13, j, o in decreasing order.
j, 2/13, o
Let m = -0.617 + 0.317. Put m, -1, 13 in decreasing order.
13, m, -1
Suppose -3*s + 2*s + 3*l = 7, -2*l = 3*s - 12. Suppose 4*y = 5 - 9. Sort 1, y, s in increasing order.
y, 1, s
Let c be -1 + 0 - (-14 + 12). Sort c, -3, 4, -5 in increasing order.
-5, -3, c, 4
Let i be 1*-1 - (-240)/16. Suppose 12 = 17*j - i*j. Put 1, -2, j in descending order.
j, 1, -2
Let c be (0 - (3 + -1))*(-5 - -4). Put 4, 1, c, 6 in descending order.
6, 4, c, 1
Let t = -1 + 6. Suppose -5*n - 2*k + 0*k - 13 = 0, -5*n + 15 = -t*k. Let y = n + -3. Sort 5, y, 3 in descending order.
5, 3, y
Let g = 79 - 46. Let i = 33.1 - g. Sort 1, i, 2/9 in decreasing order.
1, 2/9, i
Suppose 10 = k - 2*z, -5*k + 53 + 49 = 3*z. Sort k, -3, 0 in decreasing order.
k, 0, -3
Let q = -2/243 - -508/2673. Sort 5, q, -0.09, -3/2 in descending order.
5, q, -0.09, -3/2
Suppose 0*c - 16 = 4*c. Suppose -5 + 3 = j. Put 2/5, -1/3, j, c in ascending order.
c, j, -1/3, 2/5
Let l = 2074 - 2075. Sort l, -6, 5 in decreasing order.
5, l, -6
Let p be -5*(-5)/25 - 2. Put 0, p, -2 in increasing order.
-2, p, 0
Let l = -0.3 + 0.2. Let d = -47 + 50. Let y be d/(-4 - 14)*(-16)/(-6). Put 12, y, l in increasing order.
y, l, 12
Let a = -430 - -429. Put 3, a, 1/5 in increasing order.
a, 1/5, 3
Let x be (-7)/(-3) + 6/9. Suppose 0 = -3*u - 3*y, -5*y - 10 - 2 = 2*u. Suppose 2*r - j - 2 = 0, r - u*j = 3*r + 18. Sort -4, x, r.
-4, r, x
Let f = -22.3 + 21. Let c = f - -3.3. Sort c, -7, 3.
-7, c, 3
Let m = 398 + -396. Sort m, -1/6, -0.2, 6 in descending order.
6, m, -1/6, -0.2
Suppose 4*g - 242 = -38. Let q be (-2)/3 + g/9. Sort 4, q, -5 in decreasing order.
q, 4, -5
Let m be (2/5)/(2/10). Let h be 12/(-16)*((-18)/(-36) - (-47)/2). Sort h, -5, m in decreasing order.
m, -5, h
Let u = -15037 - -15033. Let t be 3/(-1)*(-2)/3. Put -39, u, t, 5 in decreasing order.
5, t, u, -39
Let u = 3 + -2. Let x = -1489 + 1488. Put u, 12, 2, x in increasing order.
x, u, 2, 12
Let g = 856/7771 - 2/409. Put 8, g, -5, 1 in descending order.
8, 1, g, -5
Let h be -1 + -1 - (14 - (18 + -1)). Put h, -2, -33 in increasing order.
-33, -2, h
Let z be (-100)/(-40)*((-6)/3 + 4). Sort -3, 0, -5, z in decreasing order.
z, 0, -3, -5
Let n = 1.401 - 1.601. Put 0.5, -244, n, -0.5 in ascending order.
-244, -0.5, n, 0.5
Suppose 16 = q + 14. Suppose -4 = -h - q. Sort -1, 1, h.
-1, 1, h
Let q be 9/15 - (-39)/(-15). Let y = -16 + 26. Let z be (y/(-3))/(10/15). Put 1, q, z in ascending order.
z, q, 1
Let m = 0.0347 - -1.9653. Sort -3, -0.35, m in decreasing order.
m, -0.35, -3
Let r = 1.295 + -1.695. Put 0.3, r, -2/9, 495 in increasing order.
r, -2/9, 0.3, 495
Let g(s) = s**3 + 6*s**2 - s - 8. Let r be g(-6). Suppose -4*l - d = -17, 9*l = 6*l - 2*d + 14. Sort -4, r, l.
-4, r, l
Suppose 2*c - 3*x - 1 = 0, -6*c - 31 + 20 = 5*x. Suppose -3*i = -2*q - 29, 5*i + 5*q - 15 = -0*q. Sort c, -5, -2, i.
-5, -2, c, i
Let y = 376 - 376.3. Sort y, -1, 1/13 in ascending order.
-1, y, 1/13
Let n = 1 + -11. Suppose 0 = 906*o - 913*o. Sort 1, o, n in descending order.
1, o, n
Let i be (-3)/(-4)*10/(-15). Let t = 5 - 2. Suppose -5*k + t*h = 14, -4*k + 4*h - 8 = -0. Sort i, 0.3, k in increasing order.
k, i, 0.3
Let c(z) be the second derivative of z**3/6 + z**2 - z. Let o be c(-3). Let b(u) = 26*u**2 - 548*u + 47. Let a be b(21). Put o, -0.2, a in descending order.
a, -0.2, o
Let q be (-268)/(-34) - 6/(-51). Let v be -3*4/q*1/6. Sort v, -0.5, -1, -5 in descending order.
v, -0.5, -1, -5
Suppose v - 88 - 94 = 0. Let s be (-39)/v + (-4)/14. Let i = -1011/7 + 144. Sort 3, s, i.
s, i, 3
Let d = 684 - 680. Suppose -q + 2 = -8. Put d, q, 3 in decreasing order.
q, d, 3
Let z = -844 - -840. Sort -3, -242, z in descending order.
-3, z, -242
Let z = -8.24 - 1.76. Let c = -15 - -13. Sort z, c, -0.5, -0.1.
z, c, -0.5, -0.1
Let f = -6 - -11. Let v(k) = k**2 - 3*k - 2. Let r be v(6). Let g = r - 12. Sort g, 3, f in descending order.
f, g, 3
Suppose 8*n - 59 = 7*n. Let p = n + -55. Suppose -4*o - o - 40 = 2*a, 0 = 5*a + 25. Sort p, o, 0.
o, 0, p
Suppose 17*k = -1 - 50. Put 2, k, -4, -2/31 in decreasing order.
2, -2/31, k, -4
Let x = -4.479 - -1.479. Sort x, -6/11, 0.4, 3 in descending order.
3, 0.4, -6/11, x
Let o = -9 - -13. Suppose o*z + 10 = 2*z. Let i be 2*(4 + -3)*1. Sort i, -3, z in decreasing order.
i, -3, z
Let g = -63 + 127/2. Put 2/9, -0.6, g in descending order.
g, 2/9, -0.6
Suppose -5*r + 4*z - 3*z - 44 = 0, -5 = 5*z. Let p be 8*(1 + r/6). Put -1, p, -5 in decreasing order.
-1, p, -5
Suppose 150*p = 143*p - 14. Let a = -6.08 + 0.08. Sort p, -0.5, a in decreasing order.
-0.5, p, a
Suppose -10*q + 32 = -12*q. Sort q, -1, 9.
q, -1, 9
Let y(l) = -17*l**2 - 48*l - 48. Let h be y(-1). Sort 2, 1, h, 5 in increasing order.
h, 1, 2, 5
Suppose 0 = -9*k + 4*k - 25. Suppose 26 = -2*d + 4*d. Suppose -4*v = -d + 1. Sort 0, k, v in decreasing order.
v, 0, k
Let y = 1627/4080 + 1/816. Let d = 0.1 - -0.1. Sort 0.1, d, y in decreasing order.
y, d, 0.1
Let s = 49.63 - -2.37. Sort s, -0.3, 0.5 in decreasing order.
s, 0.5, -0.3
Suppose 5*k + 25 = 0, 0*b + 2*k + 6 = -2*b. Suppose t = b*t - 6*t. Sort -4, 17, t.
-4, t, 17
Let w = 0.229 - -0.081. Let q = -32.31 - -32. Let g = q + w. Sort -0.08, g, 4/3 in descending order.
4/3, g, -0.08
Let j be -89 - ((-1)/1 + 2). Let c = j - -442/5. Let i(h) = -11*h - 74. Let n be i(-7). Sort n, -1/11, c in ascending order.
c, -1/11, n
Let a = -391 - -391. Put 19, a, 5, 2/5 in decreasing order.
19, 5, 2/5, a
Let k = -0.3 - -0.3. Let w = 190 + -198.3. Let r = w - -8.6. Put k, 0.03, r in ascending order.
k, 0.03, r
Let o = 3.37 + -0.37. Let b be (-12)/(-136)*-10*4/(-30). Sort 16/5, b, o, -2/7 in increasing order.
-2/7, b, o, 16/5
Let y = -7.8 + 8. Sort -1.1, y, -0.4 in decreasing order.
