ecreasing order.
1/7, p, a
Let c = 1.1 + -0.1. Let d = 13 - 8. Sort c, d, -5 in decreasing order.
d, c, -5
Suppose l = -l - 28. Let p = 15 + l. Put -5, 0, 3, p in decreasing order.
3, p, 0, -5
Let i(l) = l**3 - 3*l**2 - 6*l + 8. Let g be i(4). Suppose g*j + 3*j = -36. Let t be (-15 + 0)*(-4)/j. Sort t, 0, -4 in ascending order.
t, -4, 0
Let m(d) = 2*d**3 + 24*d**2 + d + 7. Let s be m(-12). Let r be 4/(-6) - 42/(-9). Suppose 0 - r = -4*g. Sort 3, s, g.
s, g, 3
Let s be 4*(4 - (2 - -1)). Suppose -s*q + 16 = -b, 6*b - b = -q + 4. Suppose -5*l + l = -2*a + 16, 2*l + 6 = 2*a. Put q, a, 2 in increasing order.
a, 2, q
Suppose 0 = 3*h - 65 - 13. Let d = h + -23. Suppose 4*w - 24 = 4*x, -4*w + 2*x - 1 = d*x. Put -5, w, -12 in decreasing order.
w, -5, -12
Let b be 128/12 - (-1)/3. Suppose 5*w - 20 = 4*n, -4*w + b = -5*n - 5. Let z be 3/(-6)*12/(-2). Sort z, n, 4 in ascending order.
n, z, 4
Let a = 1.1 - 1.7. Let b = 0.71 + a. Let m = -0.02 + b. Put m, 3/5, 2 in decreasing order.
2, 3/5, m
Let w = 0.9 + -1. Let q = -13244.97 + 13245. Sort q, 1, w in ascending order.
w, q, 1
Let w = 1785 - 1783. Sort w, -2, -31 in increasing order.
-31, -2, w
Suppose 5*s + 2 = 4*c, 0 = -s + 1 + 1. Let l(w) = w**2 - 12*w + 31. Let j be l(5). Sort -8, c, j in descending order.
c, j, -8
Let d = -2149/9 - -239. Let t be (2/(-24))/((-9)/(-18)). Put d, -2, t in decreasing order.
d, t, -2
Suppose -m = -6*m. Let c be (-680)/(-26) - 8/52. Let o be c/22 + (-8)/44. Sort o, m, 2.
m, o, 2
Let r be 104 + 26 - (-9)/(-1). Sort 2, -2, 5, r in decreasing order.
r, 5, 2, -2
Let t = -417.1 - -453. Let h = t + -36. Let a = -1 + 0.8. Put a, 5, h in decreasing order.
5, h, a
Let s = 28 - 33. Put 3, 2, s, 1 in increasing order.
s, 1, 2, 3
Let j be ((-19)/(-76))/(5/4)*1. Let w = 2 - 2. Let y(d) = -d**2 + d - 1. Let i be y(w). Put -5/3, i, j in descending order.
j, i, -5/3
Suppose 612*g + 56 = 604*g. Put g, 0, 14, 2 in decreasing order.
14, 2, 0, g
Let l = -11.68 - -30.68. Put l, 5, -3 in increasing order.
-3, 5, l
Let j = -3 - -3.3. Let u(w) = -w + 5. Let o be u(7). Let q be o/(-4)*(-13 - -15). Sort j, -2/11, q.
-2/11, j, q
Suppose 39*b = 34*b + 40. Suppose 3*a = 5*p + 20 + 26, a = -3*p - b. Sort a, 2, 5 in ascending order.
2, 5, a
Let t = -690 - -695. Sort t, 1/3, 1.1 in increasing order.
1/3, 1.1, t
Let b be -8*(-3)/24 - 20. Sort -2, b, 0.4 in descending order.
0.4, -2, b
Let t = 20 + -16. Suppose 0 = -t*u - 2*u - 6. Sort u, 1, 4.
u, 1, 4
Let j = -41.775 + -0.525. Let v = 22.9 + j. Let d = v + 19. Put 4, d, 1/5 in decreasing order.
4, 1/5, d
Suppose -5*v - 32 - 18 = 0. Let b be 4/10 - (-64)/v. Let z(g) = g**3 + 6*g**2 - g - 7. Let d be z(b). Sort 2, 1, d in descending order.
2, 1, d
Suppose -33 = 18*f + 3. Sort f, 0, 6, 1 in decreasing order.
6, 1, 0, f
Let w = 0.036 + -5.036. Let t = 0.42 + -0.12. Let a = t + 0. Sort a, w, 1 in ascending order.
w, a, 1
Let k be (-3)/1 + (-3346)/11. Let n = 307 + k. Sort -4, n, 0.3.
-4, n, 0.3
Let r = -32 + 90. Let f = 65.8 - r. Let a = f + -8. Sort a, 4, -5 in decreasing order.
4, a, -5
Let b(r) be the second derivative of -8*r**3/3 - r**2 - 9*r. Let z be b(-1). Suppose x + 3*f + z = 0, 0 = 4*x - f + 4 - 0. Sort x, 1, -12.
-12, x, 1
Let z = -8/53 - 95/424. Put z, -0.02, -1/2, -2 in descending order.
-0.02, z, -1/2, -2
Let l = -34.4 + 38.4. Sort -0.3, 3, l, -2 in increasing order.
-2, -0.3, 3, l
Let j be 2 - 4 - (3 - 2). Let c be 4 - 234/33 - j. Put 0.5, c, 4 in descending order.
4, 0.5, c
Let u = 226.774 - -0.226. Let t = u + -191.9. Let i = -35 + t. Sort 0, i, -3/7 in decreasing order.
i, 0, -3/7
Let t = -302.3 + 297.3. Sort 18, 0.5, 0.03, t in increasing order.
t, 0.03, 0.5, 18
Let g be (-36)/22*63/189. Sort 0, -1, g, 4.5 in ascending order.
-1, g, 0, 4.5
Let o = -181 - -181.4. Sort 38, o, 0.5.
o, 0.5, 38
Let v = -1495.4 + 1495. Sort v, -0.0166, -5/4 in descending order.
-0.0166, v, -5/4
Let d = 6.7 - 7. Let a = d - 0.2. Let w = -2373 - -2371.4. Put w, a, -3 in descending order.
a, w, -3
Let w be 12/54 - 664/(-9). Let y = w + -151/2. Sort y, -3, -2/19 in increasing order.
-3, y, -2/19
Let c = -46.5 + 46.7. Sort -5, c, 18/13 in ascending order.
-5, c, 18/13
Let l(y) = 83*y - 668. Let n be l(8). Sort 1/2, 5, n, -142/3 in descending order.
5, 1/2, n, -142/3
Let p = 106 - 107.22. Let r = -0.22 - p. Sort r, 4, 0.4, -0.1 in descending order.
4, r, 0.4, -0.1
Let a = 1 + -4. Let o = -4 - -3. Let x = -6.7 + 7. Sort o, x, a in ascending order.
a, o, x
Let n be (0 + (-1)/3)/((-7)/21). Let p be 2 + 2 - (0 + n). Put 4, -1, p in ascending order.
-1, p, 4
Let d be (-2)/8 - 2/(-8). Suppose 4*a = 3*u + 4, 4*a = 9*a - 3*u - 2. Sort 2, d, a.
a, d, 2
Let z = -0.2 + 0.8. Let r = 55.1 + -54.7. Sort r, -2/17, z.
-2/17, r, z
Let v be 3*(-1)/3 + 15/13. Let d = -1.998 + -0.002. Put v, 5, d, 23 in increasing order.
d, v, 5, 23
Suppose 8 = 2*b - 2, 5 = 2*a - b. Sort 8, 3, a, 0 in decreasing order.
8, a, 3, 0
Let f = 38 - 35. Suppose -f*r - 2*q - 3 = -q, 4 = -4*r - 3*q. Let s = 0.4 - 0. Sort r, s, 4 in decreasing order.
4, s, r
Let t = 209 + -210. Sort 2, t, -2, 15 in decreasing order.
15, 2, t, -2
Let y = 172 - 169. Sort 24, -3, -5, y in decreasing order.
24, y, -3, -5
Let s = -0.02 - -0.42. Let q = s - -0.1. Let c = 497 - 496.7. Sort c, 4, q in decreasing order.
4, q, c
Let s = -6.7 + 7. Let v = 6 - -14. Let l be ((-4)/v)/(8/15). Sort -0.4, l, s.
-0.4, l, s
Suppose -24*m = 2*g - 26*m + 130, 15 = 3*m. Sort -5, 1, g.
g, -5, 1
Let m = -56 - -277/5. Let z = 4790/19 + -252. Put -3/2, z, m, 0 in ascending order.
-3/2, m, 0, z
Let k = -8032/66395 - 2/1355. Put 5, k, 2/3 in descending order.
5, 2/3, k
Suppose 0 = 4*n + 3*n. Suppose -3*s = -2*d + 11, n = -2*d + s - 0 + 1. Sort -2/9, d, 1/2, 2/15 in ascending order.
d, -2/9, 2/15, 1/2
Suppose 2*n = -3*n - 10. Let f(k) = 2*k**2 + 4*k. Let y be f(n). Put 3, 5, y, -3 in decreasing order.
5, 3, y, -3
Suppose 4*z = -0*z - 2*t - 2, 15 = -3*t. Suppose z*u = -u + 6. Let d(n) = n**3 - 4*n**2 + 2*n - 5. Let g be d(4). Sort g, 6, u in ascending order.
u, g, 6
Let b = -81 - -53. Let v be (0 - -3)*b/(-210). Let r = -7/5 + 26/15. Sort r, 3/8, v in increasing order.
r, 3/8, v
Let q be 4*((-28)/8 - -4)*2. Let w = 6 + -3. Suppose -w*l = -2 - 1. Put q, l, 0 in decreasing order.
q, l, 0
Suppose 5*t = r - 17, r = 3*t - 5 + 16. Suppose -4 = -3*h + 11. Let c be (-5)/(100/8) - (-2)/h. Sort c, -1, r in decreasing order.
r, c, -1
Suppose -5*p - 11 + 10 = 2*v, 4*v - 4*p - 12 = 0. Put -4, v, -14, 4 in decreasing order.
4, v, -4, -14
Let a(m) = m**3 - 5*m**2 - 5*m - 4. Let s be a(6). Let g be 1/s - 39/182. Put 2, 0.4, -2, g in descending order.
2, 0.4, g, -2
Let f = -618097/20 - -30890. Let b = f + 57/4. Let g = -5 - -2. Put -4, g, b in descending order.
b, g, -4
Suppose 2*l + 0 + 6 = 0. Let c be (-4)/l*(-3)/(-2). Suppose 3*m = 7*m + 2*k, -2*m - 2*k = 0. Put -3, c, m in decreasing order.
c, m, -3
Let k = 7 + -5. Let p = 0.565 + -47.365. Let z = p - -47. Sort z, -0.1, k in decreasing order.
k, z, -0.1
Let s(g) be the first derivative of -2*g**2 - 2*g - 36. Let k be s(-5). Put 2, k, -3 in increasing order.
-3, 2, k
Let a = -395 + 397. Sort a, 66, 2/7 in decreasing order.
66, a, 2/7
Let j = -264 - -269. Sort -5, -25, j in decreasing order.
j, -5, -25
Let x be (1/(-3))/((-43)/645). Sort -6, x, -10, 2 in descending order.
x, 2, -6, -10
Suppose 9*c = 55 - 91. Let p(u) = 2*u - 4. Let w be p(3). Suppose 2*d = -d + 12. Put c, w, d in decreasing order.
d, w, c
Let j = 123/7 + -485/28. Put -6, j, 8, 5 in increasing order.
-6, j, 5, 8
Let d = 8047/11 + -731. Let u = -1/22 + d. Let t(p) = p - 8. Let g be t(7). Put 2/3, u, g in decreasing order.
2/3, u, g
Suppose 2*d + 2*u = 8, -4*d + 0*u - 3*u + 12 = 0. Let b be (144/(-63))/(12/(-42)). Sort b, 1, d in ascending order.
d, 1, b
Let y = -67 + 63. Sort y, 25, 1 in ascending order.
y, 1, 25
Let n be (5/(-2))/(-7 + 203/28). Put 0, n, -3 in ascending order.
n, -3, 0
Let j = 3.71 - 1.71. Sort j, -2/7, -0.003.
-2/7, -0.003, j
Suppose 0 = -8*l - 89 - 55. Let g(c) = c**2 + 19*c + 21. Let o be g(l). Suppose 0 = w + o*w - 16. Put -4, -3, w in increasing order.
-4, -3, w
Let i = 13 - 16. Let f = 48 - 43. Sort i, f, -5, -0.1.
-5, i, -0.1, f
Let h(i) = i**3 + 7*i**2 + i + 9. Let v be h(-7). Let x = 28 + v. Let q be (-3)/9*(-12)/x. Sort -0.2, -0.