 Let q be (2/(-4))/(a/32). Sort 0, 0.4, q in descending order.
0.4, 0, q
Suppose 5*g = -5*g - 10. Let f(a) = -a - 10. Suppose 7 + 7 = -b. Let c be f(b). Sort g, -4, c.
-4, g, c
Let w = 0.8 + -0.3. Suppose -8*c + 0*c - 288 = 0. Let s = 37 + c. Sort w, s, -1.
-1, w, s
Let s(l) = l**3 + 14*l**2 + 14*l + 14. Let i be s(-13). Let p be 1/2*4/(-11). Let k = -14.7 - -14. Put k, i, p in descending order.
i, p, k
Let v(z) = 10*z**2 - 2*z - 44. Let l be v(0). Put -4, 4, l in descending order.
4, -4, l
Let u = -9.9 + 6.9. Let o = 11.9 - 11.89. Sort u, 4, o, 3.
u, o, 3, 4
Suppose -h + 23*h + 88 = 0. Put h, 4, 2, -5 in increasing order.
-5, h, 2, 4
Let j = 0.9 + -4.3. Let h = 49.4 + -46. Let m = h + j. Put 1/3, m, 2 in decreasing order.
2, 1/3, m
Suppose 0 = -a + 5*a + 16. Suppose 5*i = 2*s - 6*s + 2, s - 2 = -2*i. Let w be (6/18)/(i - 15/9). Put a, 0, w in descending order.
w, 0, a
Let d = -2/325 + -258/325. Let l = 1/5 + -9/20. Sort 3, d, l in increasing order.
d, l, 3
Let b = 2377/7 + -340. Sort b, -0.3, -7.4.
-7.4, b, -0.3
Let c be 1*(-12)/(-9)*9/(-6). Let k(i) = -i + 5. Let u be k(0). Suppose 8*l = 3*l + 10. Sort c, l, u in descending order.
u, l, c
Let t be (8/2)/8*0. Suppose y + 4*f = -5 - 4, 2*y + 5*f = -9. Suppose 5*z - 6 = 4*x, 2*z = -0*z + x + y. Put z, 4, t in decreasing order.
4, z, t
Suppose 3*r = -r, 0 = q - 3*r + 35. Let a be (-366)/(-7) - (-10)/q. Let c = -107/2 + a. Put 0, 0.1, c in decreasing order.
0.1, 0, c
Let n = 407 + -405. Sort 0.4, n, -0.046.
-0.046, 0.4, n
Suppose -854*y + 841*y = -13. Put 4, 3, -5, y in descending order.
4, 3, y, -5
Suppose -3*c - 3 = -7*c - g, 5*g - 15 = -5*c. Let v = -52 - -50. Let f be (-3)/v - 26/(-4). Put f, -5/3, c in descending order.
f, c, -5/3
Suppose 0*o = 3*o - 15. Suppose -4*c = n, -36 + 11 = -5*n + 5*c. Sort n, o, 3.
3, n, o
Let j be (1/45)/((-4)/(-28)). Let d = 5/9 - j. Let s be (-1)/3 + (-8)/12. Sort d, s, -0.1.
s, -0.1, d
Let o be (9/18)/(1/(-2)) + -11. Sort 10, o, 1.
o, 1, 10
Let l = -0.2247 + -0.0753. Put 81, l, 1 in decreasing order.
81, 1, l
Suppose -4*l = -2*p + 4 - 2, 4*p = -3*l + 4. Sort l, -4, 5, -52.
-52, -4, l, 5
Let y(i) = -7*i**2 - 35*i + 6. Let p be y(-5). Let k be 4 - (5 + (-2)/p*0). Sort 4, k, 6, -2 in decreasing order.
6, 4, k, -2
Let v = -130 + 126.84. Let g = -15.14 + v. Let q = g + 18. Put -0.4, 1/4, q in increasing order.
-0.4, q, 1/4
Let k be 338/38 - 84/(-798). Put 3, k, -5, 5 in increasing order.
-5, 3, 5, k
Let w = -0.05 - -0.15. Let u be 3/((-2)/(-5) - (-121)/110). Let p be (3/12*6)/(3/u). Sort w, -4, p.
-4, w, p
Let g be (96/128)/((-1)/(-4)) - 4. Sort -3, 55, g, -5 in decreasing order.
55, g, -3, -5
Let b(g) = -3*g + 5. Let t be b(2). Let q(a) = -a**3 + 10*a**2 + a - 9. Let h be q(10). Put 0, t, h in ascending order.
t, 0, h
Suppose 0 = u + u, -5*u + 10 = -2*m. Sort 5, 30, m.
m, 5, 30
Suppose 0 = -3*d - 5*p + 37, -3*p + 8 = -3*d + p. Let h = -0.028 - 1.832. Let z = h + 1.46. Sort 5, z, d in increasing order.
z, d, 5
Suppose -2*h - 9*h + 55 = 0. Sort 1, 23, h, 3.
1, 3, h, 23
Let a(u) = -43*u**3 - 2*u**2 - 2*u - 1. Let z be a(-1). Suppose -86 = -5*x - 3*b, -2*x - b + z = 4*b. Let o = 16 - x. Put o, 3, 1 in increasing order.
o, 1, 3
Let n = 20 - 16. Let s = 3 - n. Let c = 54 - 53.7. Sort c, 3/2, s in ascending order.
s, c, 3/2
Let w(g) = -g**3 + 7*g**2 + 11*g - 12. Let a be w(8). Let x be (-6 - -3)/((-2)/a). Let q = -20 + x. Sort 5/2, 3, q.
q, 5/2, 3
Let i(m) = m**3 + 7*m**2 + 8*m - 15. Let o be i(-5). Let g = 6 + -3. Sort 2, g, -1, o in decreasing order.
g, 2, -1, o
Let b be -2*8/(-64)*-4. Suppose 0 = -0*d + 3*d + 6. Sort d, -4, 5, b.
-4, d, b, 5
Suppose -o + 5*g - 15 = 0, 0 = 5*o + 3*g - g - 6. Suppose 5*q + 11 + 4 = o. Let l be (-2)/(-8) + 15/4. Put -4, l, q in decreasing order.
l, q, -4
Let p(z) = 2*z + 2. Let g be p(-4). Let k be g/1 + -21 + 17. Put k, 5, -3 in descending order.
5, -3, k
Let h(d) = -d**3 - 5*d**2 - 3*d + 4. Let z be h(-3). Suppose 0 = 5*w - 9*w + 8. Let t(b) = -2*b. Let o be t(-2). Sort w, o, z in decreasing order.
o, w, z
Let b = 9.49 + 0.51. Sort -0.1, b, 5.
-0.1, 5, b
Let j(u) = 23*u - 2 - 19*u + 10. Let h be j(-2). Sort -5, h, 5, -1 in decreasing order.
5, h, -1, -5
Let l = -317 - -321. Suppose -4*r - 17 = 3. Put r, l, 10, 5 in decreasing order.
10, 5, l, r
Let g(m) = -2*m - 46. Let v be g(-24). Sort -6, 12, v.
-6, v, 12
Let c = 51 + -15. Let v = c + -34. Sort 16, -1, v in ascending order.
-1, v, 16
Let v be 4 - -1 - 0 - 2. Suppose 10*h - 2 - 38 = 0. Suppose -h*t + 2 = -3*l - 2*l, -10 = 5*t. Sort 1, v, l in decreasing order.
v, 1, l
Let y = -3 + 3. Let r be (18*(-1)/(-2))/(24/8). Sort r, -3, y, -1 in descending order.
r, y, -1, -3
Let i = -25 - -24. Sort 1, i, 31.
i, 1, 31
Let t = -233 - -232. Put -4, 2, t, 9 in descending order.
9, 2, t, -4
Suppose -u + 8*b - 4 = 5*b, -b = -1. Let d(p) = -5*p - 3. Let k be d(3). Let s be ((-12)/k)/(1/(-3)). Sort 3, s, u in decreasing order.
3, u, s
Suppose 2 = -m + 5*z, 3*m - 72 = 4*z - 67. Let q(s) = -s**3 - 5*s**2 - 5*s + 1. Let k be q(-4). Sort -1, -3, m, k in ascending order.
-3, -1, m, k
Let n = -0.116 + -0.019. Let k = 1.135 + n. Let r = -6 + 11. Put r, 0.1, k in descending order.
r, k, 0.1
Suppose 3*c - w = 4, -4*w = -4*c - 0*c - 8. Suppose r - c*r + 6 = 0. Suppose 2 = u + r. Sort 0, 4, u in increasing order.
u, 0, 4
Suppose 39*w + 26 = 52*w. Sort w, -1, 5, -102 in increasing order.
-102, -1, w, 5
Let y be ((-1)/12)/(5/(-90)*-9). Put 5/31, 1/5, y, 3 in decreasing order.
3, 1/5, 5/31, y
Let r = -9251/36 - -1027/4. Sort -1/2, r, -35 in descending order.
r, -1/2, -35
Suppose -3*j + 2 = -t, -9*t = -10*t + 4. Suppose -j = -h - h. Suppose -2*u = 3*u - 5*z - 10, -2*u + 4 = 3*z. Sort h, u, 4 in decreasing order.
4, u, h
Let o be (1*(-44)/(-6))/((-120)/(-36)). Put 0.1, o, -2 in increasing order.
-2, 0.1, o
Suppose 6 = 16*c - 58. Sort c, 44, -2 in descending order.
44, c, -2
Suppose 0 = -3*k - 2*w - 112, 5*k - w = -87 - 78. Put 5, -1, -5, k in decreasing order.
5, -1, -5, k
Suppose -6*l - 5*b = -2*l + 7, 0 = 4*b + 12. Put 1, 12, 7, l in decreasing order.
12, 7, l, 1
Let y = 22 - 13. Suppose -3*c + y = -5*p, p - 5*c - 1 = -2*p. Put p, -0.1, -1/2 in ascending order.
p, -1/2, -0.1
Suppose -6 = 2*a - 4*z, 2 = 2*z - 2. Put a, 11, 2, -2/9 in ascending order.
-2/9, a, 2, 11
Let o be (-1)/(-3) + (-55)/(-15). Let k(t) = -t**2 - 15*t - 27. Let y be k(-2). Sort -6, 0, y, o in increasing order.
-6, y, 0, o
Suppose 3*r - 51 + 6 = 0. Suppose -2*h + r = -3. Let n be (h/(-42))/(6/8). Sort -1, n, 5 in descending order.
5, n, -1
Suppose r = -4*z + 2*r - 5, 3*r = 3*z + 6. Sort 1, z, 30 in descending order.
30, 1, z
Let u = -701354/35 - -20037. Let w = u + 16/7. Put -0.2, 1, w in increasing order.
-0.2, w, 1
Let r = 960 - 956. Let c = 9 - 9.3. Sort 0.16, r, c in descending order.
r, 0.16, c
Let n be ((-3)/6)/(1/10). Let g be (n/(7 + 3))/(1/2). Let r = -11 - -16. Sort r, 0, g in increasing order.
g, 0, r
Let m = 22 + -17. Let r be 4/10 - (-28)/m. Let a be ((-3)/r)/(2/4). Sort a, 4, -4 in descending order.
4, a, -4
Let j = 11.9 - -0.1. Let b = j - 11.1. Let f = b + 3.1. Sort f, -0.3, -2/5 in decreasing order.
f, -0.3, -2/5
Let n be ((-1500)/(-168) - 9) + (-10)/(-42). Sort n, -13/3, -0.3 in ascending order.
-13/3, -0.3, n
Let s = 2.09 - 7.09. Put 3, 48, s in increasing order.
s, 3, 48
Let l be 4/(-7) + 1 + (-442)/(-357). Let m = -11 + 24. Put l, 0.2, m, 4/7 in decreasing order.
m, l, 4/7, 0.2
Suppose 6 = 34*u - 40*u. Put 75, 2, u in ascending order.
u, 2, 75
Suppose c - 2 + 5 = 0, 0 = 4*m - 2*c + 6. Let z(l) = l**3 + 17*l**2 + 67*l + 21. Let j be z(-11). Sort -1, m, j in decreasing order.
j, -1, m
Let m = 254 - 254.1. Sort 2, m, -3.9, -0.3 in descending order.
2, m, -0.3, -3.9
Let r(h) = -h**3 + 21*h**2 + h - 19. Let t be r(21). Suppose 0 = j + 4*j - 20. Let p be (j - -1)*(t - 3). Sort p, 5, 3 in decreasing order.
5, 3, p
Let a(s) = -4*s**3 - s**2. Let l be a(-1). Suppose -30 = -4*f - v - 4*v, 5*v - 15 = -f. Put -4, l, f in increasing order.
-4, l, f
Let i(p) be the first derivative of -p**3/3 + 4*p**2 + 2*p + 1. Let o be i(9). Let d be ((-3)/(-2))/(o/14). Put 1/2, 2/11, d in decreasing order.
1/2, 2/11, d
Suppose -2*z + 10 = 2*y, 20 = -2*z - y + 5*y. Let p = -10 + 15. Suppose c - a - 1 = -p*a, 0 = 5*c + a - 24. Sort c, -3, z.
-3, z, c