/4, -2/13 in descending order.
3/4, -2/13, z
Let v be 40/56 + (-3 - (-115)/35). Sort 0, v, 3.
0, v, 3
Let v = 0.24 - 1.64. Let i = -1.54 - v. Sort 4, -0.2, i in decreasing order.
4, i, -0.2
Let m = 9.3 - 7.3. Let y = 10 - 12.5. Let o = y + -0.5. Sort o, m, 0.
o, 0, m
Suppose f + 16 = 5*v, v - f - 3 = 1. Suppose -2*p + v = q, -5*p - 5*q + 20 = -0*p. Let z = 0 - 2. Put z, 0, p in decreasing order.
0, p, z
Suppose -23*p - 11*p - 136 = 0. Put p, 4, 1, 2 in decreasing order.
4, 2, 1, p
Let y = 137 + -4. Let c = y - 132.98. Sort 2/3, 4, c, 0.
0, c, 2/3, 4
Let k be (-15)/(-5) + (-2)/(-2). Suppose -2*a - 2 = 4*q, 0 = k*a - 7*a + 3*q + 15. Let g(t) = -t**3 - 6*t**2 + t + 1. Let v be g(-6). Sort v, -1, a.
v, -1, a
Suppose 4*w + 2*l + 3*l = -155, -200 = 5*w + 5*l. Put w, 1, -2/3 in ascending order.
w, -2/3, 1
Let z be (-2)/(-3) - 70/15. Let j = 39 + -40. Let d be ((-9)/6)/j*(-22)/(-3). Sort z, d, 5.
z, 5, d
Suppose 2*f = -2*s - 32, -2*s + 5*f = 1 - 4. Put 10, -0.5, s in ascending order.
s, -0.5, 10
Let b = -51 + 61.3. Let d = -10 + b. Sort 1/5, 0.02, d in descending order.
d, 1/5, 0.02
Let s be (-140)/1470*((0 - 6) + -1). Let r = -0.2 + 0.3. Let z = 12 - 8. Sort s, r, z.
r, s, z
Let a(o) = 76*o. Let p be a(-1). Let q = p - -79. Put q, -2, 1, 5 in descending order.
5, q, 1, -2
Suppose 44*f + 108 = 20. Sort 5, f, -5, 1 in descending order.
5, 1, f, -5
Let t(q) = -6*q**2 + 5*q + 4. Let w be t(-2). Let p be (-45)/w*(-4)/3. Sort 5, 0.1, p in ascending order.
p, 0.1, 5
Let o = 2.977 - -0.023. Sort 0.1, o, -6/5.
-6/5, 0.1, o
Let v = -0.37 + -0.03. Suppose -x = -5*z + 4*x - 5, 4*z + 3 = 3*x. Suppose 2*s = -z*s. Put s, v, 2 in descending order.
2, s, v
Let o(t) = -12*t + 26. Let l(u) = 8*u - 17. Let q(c) = 7*l(c) + 5*o(c). Let j be q(4). Sort 3, -3, j in descending order.
3, -3, j
Let q = 3.99 - -0.01. Let i be 0/(5 + 1 - 4). Suppose i*z + 4 = -2*z. Sort q, 0.5, z in ascending order.
z, 0.5, q
Let v = 273.9 - 270.9. Sort v, 1, -600 in decreasing order.
v, 1, -600
Suppose -37*r = -49*r. Suppose 3*i + t - 26 = 0, -3*i = 5*t + 17 - 63. Put i, r, 3 in decreasing order.
i, 3, r
Suppose 21 - 33 = 3*y. Let q(i) = -i**3 - 9*i**2 + 9*i - 16. Let u be q(-10). Sort 0, y, u in decreasing order.
0, y, u
Let o = 126.3 - 126. Let t = -2/19 - 13/57. Put 2, o, t in decreasing order.
2, o, t
Let o = 97 - 95. Suppose -7 = 2*f + 3*t, f = 3*t + o + 17. Sort -4, f, 1, 0 in descending order.
f, 1, 0, -4
Let s = 18.53 + -21.53. Let b = -0.05 - -0.08. Sort b, s, 0.1 in decreasing order.
0.1, b, s
Suppose -584*b - 5 = -585*b. Let d be 1/(-3) + 0 - -1. Sort b, 3/7, d in decreasing order.
b, d, 3/7
Let s(h) = 7*h + 4. Let z be s(4). Suppose -4*w - 3*v + z = -7*v, 3*v + 12 = 0. Let t(k) = 2*k**2 + 40*k + 97. Let q be t(-3). Put q, -3, w in increasing order.
q, -3, w
Let o = -10/9 + 8/9. Suppose -5*t = -9 + 44. Put o, t, 0.1 in descending order.
0.1, o, t
Let c be 10/(-3)*6/(-4). Sort 3, c, -5, 4 in descending order.
c, 4, 3, -5
Let f be ((-3)/(-30))/((-9)/306). Sort 1/2, f, -2/13 in descending order.
1/2, -2/13, f
Let l = 2/2679 + -5372/18753. Put l, 0.5, 72 in ascending order.
l, 0.5, 72
Let f = -58 - -98. Let q = f - 39. Let r(s) = s**2 - 7*s + 6. Let m be r(5). Sort m, q, 0.2 in ascending order.
m, 0.2, q
Let f = 3 - -2. Let l be (f - 3) + 1/1. Let c(w) = -w**3 - 7*w**2 - 6*w - 1. Let z be c(-6). Put l, z, 5 in ascending order.
z, l, 5
Suppose -5*s = 3*u - 194 + 776, -4 = -4*u. Sort s, 0, -1 in increasing order.
s, -1, 0
Let l(a) = -17*a - 69. Let u be l(-4). Sort u, -3, 131, 5 in decreasing order.
131, 5, u, -3
Let u be (-1 - 0)/((-231)/22 - -8). Sort u, -0.044, 2/3, 0.2 in decreasing order.
2/3, u, 0.2, -0.044
Let o = 775 - 769. Put 26/7, 0.4, o in increasing order.
0.4, 26/7, o
Let n be 6/(-27) + 47/9. Put -1, n, 24 in descending order.
24, n, -1
Let z be (-2 + 5)*(-4)/(60/(-25)). Suppose 1 = -3*p - 2*x, -3*p - 4*x + 4 - 9 = 0. Let f be ((-1)/p)/(1/1). Put z, -4, f in decreasing order.
z, f, -4
Suppose -b = 3, 0*b = 4*j + 5*b + 31. Let m = -96 + 96.4. Put -0.5, j, 2/3, m in decreasing order.
2/3, m, -0.5, j
Let v = -798.73 + 799. Put -1, v, 5 in decreasing order.
5, v, -1
Suppose 82*i - 15 = 87*i. Put -19, 2, i in decreasing order.
2, i, -19
Let f(v) = -2*v**3 + 5*v**2 + 3*v + 3. Let a be f(-2). Let z = -30 + a. Let k(w) = w + 3. Let m be k(-3). Sort m, 5, z.
m, z, 5
Let r = -5.1 - 0.9. Let p = -8.3 - r. Let g = -0.3 - p. Sort -0.3, 2/13, g in increasing order.
-0.3, 2/13, g
Let h = -1614/7 + 231. Let v be ((-21)/4)/(90/(-240)) - 5. Put 0, v, h in decreasing order.
v, h, 0
Let c = -28 + -70. Let w = c + 98.7. Put -1/5, 2, w in descending order.
2, w, -1/5
Let p be 1/((-1)/(-6)*2). Suppose 1 = y + p. Let i(c) = c + 2. Let x be i(-7). Put y, x, -3 in descending order.
y, -3, x
Let q = 2/10279 + 349464/113069. Let x = q + -193/66. Put 4, x, -2 in increasing order.
-2, x, 4
Suppose 0 = 23*r + 2*r + 2975. Sort r, 1, -5 in decreasing order.
1, -5, r
Suppose 4*w = -5*w + 10*w. Put 5, 2, 116, w in ascending order.
w, 2, 5, 116
Let u = -4215/2 - -2156. Let g = u - 47. Sort g, 2/9, 0.5 in increasing order.
2/9, 0.5, g
Let r = -752 + 824. Sort 0.4, r, 3.
0.4, 3, r
Let y = 12.5 - 0.5. Let h = 13 - y. Sort -0.05, 5, h.
-0.05, h, 5
Let y = -31.9 + -66.6. Let m = y + 99. Sort -0.18, m, 2, 3 in descending order.
3, 2, m, -0.18
Let t be ((-8)/24)/((-2)/6). Let x = -809 - -802. Put -1, x, -4, t in decreasing order.
t, -1, -4, x
Let t = -32 - -31.98. Let y = 2.02 + t. Let w be 0/(0 - -1*2). Sort w, 1, y in descending order.
y, 1, w
Suppose -14 = -z + 2*d, -9 = 2*d + 1. Suppose -z*k + 5 = j, 0 = -3*j - 0*j - k + 4. Suppose -3*u - 2 + 0 = 2*h, h + 8 = 2*u. Put j, -2, h in descending order.
j, -2, h
Suppose 3*j = 24*j. Let u(y) = y - 1. Let i be u(-2). Let o = 2 - 5/2. Sort j, o, i in decreasing order.
j, o, i
Suppose -8 = 1257*w - 1259*w. Let o(z) = z**3 - z**2 - 4. Let x be o(0). Put 5, w, x, -6 in decreasing order.
5, w, x, -6
Suppose -21 = 5*r + 24. Let m(z) = z + 13. Let v be m(-13). Put v, r, 1 in decreasing order.
1, v, r
Let m = 2.2 - 2. Let l = 18.13 + -18.33. Sort -2, m, -2/5, l.
-2, -2/5, l, m
Let b be (1 + -2)/(2/(-2)). Suppose b + 3 = 4*l. Let c be -7 + 4 + -1 + l. Put 9, c, -0.3 in descending order.
9, -0.3, c
Let k = -0.1 + 0. Let d = -0.3491 - 0.0509. Sort k, d, 0.6.
d, k, 0.6
Let h = -128 - -130. Put -2, h, 0.5, -1/3 in ascending order.
-2, -1/3, 0.5, h
Let n be 9 + -7 + (-6 - -6). Sort 15, n, -2 in decreasing order.
15, n, -2
Let i = 514 - 300. Sort -4, i, 3 in decreasing order.
i, 3, -4
Let m be 189/28 + (-2)/(-8). Let n be 4/12 + m/(-39). Let t = 9 + -9.2. Sort n, t, 2.
t, n, 2
Let i = -1254 + 1256. Let o = 0.1 + -0.2. Let r = 0.1 - -3.9. Put r, i, o in decreasing order.
r, i, o
Let a = 2003/465 - -4/155. Sort -1/6, 1/8, -1/3, a in decreasing order.
a, 1/8, -1/6, -1/3
Let f = -696 + 695.7. Put -1/6, 25, 3, f in descending order.
25, 3, -1/6, f
Suppose 0 = 4*s + 4, 3*s - 21 = 4*q - 44. Let t(o) = o**3 - 4*o**2 - 3. Let w be 4/(-6) + 42/9. Let x be t(w). Sort x, -1, q in ascending order.
x, -1, q
Let k = 4 + -10. Let t be (k/(-24))/(2/8). Let u be (-1 + 3 - 3)*-3. Sort 0.3, u, t in ascending order.
0.3, t, u
Let m = 3.9445 - -0.0555. Sort 1/5, -20, 2, m in increasing order.
-20, 1/5, 2, m
Suppose 5*c = -3*b - 17, 0 = 5*b - 3*c + 5*c + 3. Sort b, 91, 3 in increasing order.
b, 3, 91
Let z be (3/18)/(12/72). Put 2, z, -10 in decreasing order.
2, z, -10
Let g(z) = z**3 - 4*z**2 + z - 9. Let h be g(-4). Let o = -136 - h. Suppose 0*c - 14 = -c. Sort o, 0, c.
0, o, c
Let f be -5 + ((-135)/(-9))/5. Put 1, 2, f, -3 in increasing order.
-3, f, 1, 2
Let s be (21/(-14))/(12/40). Put -3, -9, s in decreasing order.
-3, s, -9
Let s be (-9 + (-376)/(-24))/((-4)/(-6)). Sort -2, -4, s, 5.
-4, -2, 5, s
Let y = 47 + -39. Let t = y - 13. Sort -2, t, 0 in descending order.
0, -2, t
Let k(b) = 2*b**2 - 2*b - 18. Let l be k(0). Let v be (-87)/l - 4/(-24). Put -4, v, -6 in decreasing order.
v, -4, -6
Let c = -0.17 + -0.13. Suppose -5*l + h = 6*h - 5, 5*l - 7 = -4*h. Suppose 2*f - 2*g = l*g - 30, 7 = f + 3*g. Sort f, -4, c in descending order.
c, -4, f
Let q be 2/(-15) + (-32)/(-15). Let s be q + (2 - -17) + -1. Let c be (3/2)/((-15)/s). Sort -1, -6, c.
-6, c, -1
Let b = 107 + -107.2. Let u = -0.07 - -2.07. So