order.
5, r, -46
Let p be ((-3)/(-15))/((-54)/2340*4/(-6)). Sort p, -7, -3, 6, 3 in decreasing order.
p, 6, 3, -3, -7
Suppose 41*w + 8 = 39*w. Let r be (4 + 46588/(-12224))/((-2)/w). Let t = r - 1/382. Sort t, -13, -3, -2/7 in ascending order.
-13, -3, -2/7, t
Let r = -46 - -48. Suppose -8 = -r*j - 14. Put 1, j, -4 in increasing order.
-4, j, 1
Suppose -51*m = -54*m + 6. Let y be (6*6/(-27))/(m/(-15)). Suppose -9*s = -7*s + y. Put -1, -3, -2, s in decreasing order.
-1, -2, -3, s
Suppose -28*u = -9*u - 38. Suppose -g = 5*q - 14, -2*q + 4*q + 4*g - 2 = 0. Sort 30, q, u in decreasing order.
30, q, u
Suppose 0 = -i - 27*i - 112. Sort -3, 1, 5, 76, i.
i, -3, 1, 5, 76
Suppose 9760 = -5*m + 5*f, -3*m - 101*f = -102*f + 5866. Sort m, 0, 2.
m, 0, 2
Let q(m) = -m**3 + 4*m**2 + 7*m - 7. Let y be q(5). Let n be 1/(((-45)/(-27) - 9) + 7). Sort n, -1, y in increasing order.
n, -1, y
Suppose 27*p - 15 + 326 = 41. Sort 4, p, 26, 1 in descending order.
26, 4, 1, p
Let y be (2/3)/((-800)/75 - -10). Put 7, -19, y, -3 in ascending order.
-19, -3, y, 7
Suppose 33*y = -207*y + 17520. Sort -26, -5, y.
-26, -5, y
Let h = 11760 - 11849. Put -43, -0.2, h in descending order.
-0.2, -43, h
Suppose -25 = 7*w + 10. Suppose t = -i - 2*t + 39, t = 4*i - 91. Suppose 0 = -5*v - 3*h + 32, 4*h - i = -3*v + v. Put v, -4, w in decreasing order.
v, -4, w
Let w = -0.03 - -3.03. Let m = 2.9 - w. Let z = 20.97028 + -24.97028. Sort -1, m, z in ascending order.
z, -1, m
Let j = 5 - -15. Suppose -2*s - 60 + j = 0. Let w be 1/((-84)/s + -4). Sort w, 13, -4 in increasing order.
-4, w, 13
Suppose 4*z - 4 = 3*p + 8, 15 = 5*z. Suppose 614 = -55*s + 76*s - 635*s. Put -2, p, -8, s in decreasing order.
p, s, -2, -8
Let y = 2.795 + -3.095. Put y, -2, 0.3, -5 in ascending order.
-5, -2, y, 0.3
Let r = -45 + 48. Let s be (-1 - r) + (1 - -7). Let n(b) = b**2 - 7*b - 6. Let t be n(8). Put -5, t, 1, s in descending order.
s, t, 1, -5
Let m be (-20)/(-6)*(-60)/(-8). Suppose -5*p + m - 10 = 0. Sort -1, 2, p, -5.
-5, -1, 2, p
Let g = -4002/27965 - -1/3995. Sort g, 0.5, 10, -26/11 in decreasing order.
10, 0.5, g, -26/11
Let z = -0.2029 - 1.7971. Put -4, -0.1, 1/14, z in descending order.
1/14, -0.1, z, -4
Let w = -45.943 - -36.943. Put w, 0.44, 9 in ascending order.
w, 0.44, 9
Let d be (-7)/(-42) - (-25)/(-6) - -8. Let q be ((-18)/15)/((-6)/10). Sort -5, q, d in descending order.
d, q, -5
Let z = -37024/5 + 7405. Sort -22, 0.3, z in decreasing order.
0.3, z, -22
Let r = -260 - -441. Let a = r - 179. Put 0.4, 17, -1, a in descending order.
17, a, 0.4, -1
Let h = -3527 + 3528. Sort h, 15, -0.2, -4, -1/3.
-4, -1/3, -0.2, h, 15
Let w = -3828.5 + 3828. Sort w, 1, 23, 5, 1/8 in increasing order.
w, 1/8, 1, 5, 23
Suppose -4*y + 6*x + 4 = 7*x, -4*x + 32 = 0. Sort 66, -21, y in decreasing order.
66, y, -21
Let p(f) = f**3 - 10*f**2 + 22*f + 15. Let t be p(5). Put 1.6, -6, 1, t, 3/2 in increasing order.
-6, t, 1, 3/2, 1.6
Suppose -3*q + 1 = -2*j, -j + 7 = 4*q + 2. Let r = 17 - 32. Let a be (9/(-27))/(1/r). Put j, -4, -5, a in decreasing order.
a, j, -4, -5
Let c = -4.05 + 4. Let s = -88.249 + 92.249. Sort 1, c, s in ascending order.
c, 1, s
Suppose -d - 3*d = -12. Let t(k) = -3*k**2 - 19*k + 2. Let n be t(-3). Suppose -n = -s + 4*w - 28, -3*s - 10 = -w. Put s, d, 1 in increasing order.
s, 1, d
Let p = -740.498 - -1.498. Let x = p + 738.7. Sort x, 3, -2/5, 0.8 in descending order.
3, 0.8, x, -2/5
Let k(u) = -u**2 + 53*u + 485. Let i be k(61). Suppose 2 + 1 = c. Let x = 1 - c. Put i, -6, x in ascending order.
-6, i, x
Suppose 3*t - 4*t + 3 = 0. Let y = 0.1 - -3.9. Let v = -11 + y. Put 5, t, v, -3 in ascending order.
v, -3, t, 5
Let k(v) = 4*v - 1. Let j be k(-1). Let i = 4312 + -4555. Sort i, 0, j in ascending order.
i, j, 0
Let u be (-8*3/18)/(2/(-3)). Suppose 0 = -n + 2*x - 0*x + 5, 0 = 5*n + 4*x + 17. Sort 5, n, u, 0 in descending order.
5, u, 0, n
Let f = -0.02 - -3.02. Let y = -816.16 - -771. Let t = 45.1 + y. Sort 5, f, t in increasing order.
t, f, 5
Suppose -10*x + 24 = -11*x + 4*p, 104 = -5*x + 4*p. Let q be 12/x + (6/(-15))/1. Sort -5, -4, q.
-5, -4, q
Let j(w) = -372*w + 2994. Let p be j(8). Sort 1, -5, p, -1, -3 in increasing order.
-5, -3, -1, 1, p
Let w = 255 + -359. Let k = -123 - w. Put -10, -0.2, k in descending order.
-0.2, -10, k
Let u = -2.9 - -25.3. Let t = -23 + u. Let z be ((-8)/9)/(2/(-3)). Sort -0.5, t, z in increasing order.
t, -0.5, z
Let w = -52 + -739. Let y = w + 787. Sort 56, -3, y.
y, -3, 56
Let q = -0.645 + 0.145. Suppose 3*y + 6 = 0, -4*l + 4*y - 72 = 2*y. Sort q, l, 1, 5 in descending order.
5, 1, q, l
Let g = -37687 - -37684. Let m be 5*(-2)/(-5) - 0. Suppose -2*k = -3*k. Sort k, 5, g, m in descending order.
5, m, k, g
Suppose o - 1 + 2 = 0. Suppose 74*p + 9 = 3*d + 73*p, 0 = -2*d + 4*p + 26. Put o, d, 11, 3 in decreasing order.
11, 3, d, o
Let q be -8 - 5/(1*(-7)/7). Sort -45, 2, q.
-45, q, 2
Let j be (8/(-672)*-9)/((-36)/(-7) - 6). Let f = 2 - 1. Put -1/6, f, j in decreasing order.
f, j, -1/6
Let a be (-35 - -36)/(-1*1/(-4)). Let j be (32/(-6))/a*-3. Sort -4, -3, 7, j.
-4, -3, j, 7
Let r be 34656/3249 + (-12)/(-9). Let k = 3 - 4. Put k, -2, r in increasing order.
-2, k, r
Let h(g) = -g**2 - 31*g + 105. Let v be h(-25). Sort v, -0.04, 1 in descending order.
v, 1, -0.04
Suppose 6 = a - 2*u, 4*a + 4 = -5*u + 15. Let s(t) = t**3 - 3*t + 1. Let m = -259 - -257. Let w be s(m). Put w, -5, a, 5 in decreasing order.
5, a, w, -5
Let g = -0.8 - 1.2. Let b = -259 - -416. Let y = 160 - b. Sort g, y, 0.9 in descending order.
y, 0.9, g
Let u = -9673 + 9708. Put u, -6, -4 in decreasing order.
u, -4, -6
Let z = -31395.5 - -31360. Sort 2/37, z, 2.
z, 2/37, 2
Let m = 10.87146 + -0.07146. Put -1, 0.3, m, -6 in descending order.
m, 0.3, -1, -6
Let a(k) be the first derivative of -9*k**2/2 + 82*k + 61. Let h be a(9). Put 7, h, -4, 4 in ascending order.
-4, h, 4, 7
Let i = 8.2 + -8.16. Let c = -3 + 2.8. Put 0.1, -0.4, c, i in descending order.
0.1, i, c, -0.4
Let o(d) = -17*d**3 - 151*d**2 + 5*d - 137. Let t be o(-9). Let p(w) = -w**2 - 5*w - 4. Let f be p(-3). Put f, t, 0 in ascending order.
t, 0, f
Let n = -0.02 - 0.1. Let y = n + 5.12. Let f = 29048 + -29046. Sort f, y, -2.
-2, f, y
Let n = -0.8 - -0.4. Let t = 0.2 + n. Let z be (58/(-4) - (46 + -45 - 7)) + 8. Put z, 1, t, 0 in ascending order.
z, t, 0, 1
Let n be 174/(-14) - (-2 - 33/(-21)). Let y = n + 16. Sort y, 1, 38 in ascending order.
1, y, 38
Let v be (((-299)/26 + 12)*2)/(2/(-6862)). Put -3, -5, v in ascending order.
v, -5, -3
Let u(d) = -426*d + 3403. Let w be u(8). Sort 8, 1, -418, w in increasing order.
-418, w, 1, 8
Let n be (-36)/(-27)*(-2)/24. Let m = 0.015 + -0.053. Let j = m + -8.962. Put 0.3, n, j in decreasing order.
0.3, n, j
Let m = -1618/5565 - -4/795. Put -0.1, -38, -3, m in increasing order.
-38, -3, m, -0.1
Let n(u) = -608 + 356 - u**2 + 6*u + 444. Let g be n(17). Put -2, -0.3, 3/20, g in descending order.
g, 3/20, -0.3, -2
Let q = -3 - -2.92. Let o = 0.1658 - 0.5858. Let h = q + o. Sort 2/7, -1, -0.4, h in descending order.
2/7, -0.4, h, -1
Let p = -519 + 526. Suppose 2*c = -3*l - p, c - l - 6 = -2*c. Put 8, c, 0 in descending order.
8, c, 0
Let b = 5898 + -5898. Sort -0.5, -0.75, 2/13, b in increasing order.
-0.75, -0.5, b, 2/13
Let f(g) = 962*g + 961. Let i be f(-1). Put 0, i, -58 in decreasing order.
0, i, -58
Suppose 2*i + x + 2*x + 38 = 0, 57 = -3*i - 3*x. Let p = i - -16. Sort p, 0, 5, 3 in decreasing order.
5, 3, 0, p
Let k = -20.4291 + 20.4291. Let l = -15/91 + 4/13. Sort l, -0.8, 0.2, k in decreasing order.
0.2, l, k, -0.8
Let z = -5.71 + 16.05. Let s = z - 7.34. Sort s, 2/7, 2, 0.1 in ascending order.
0.1, 2/7, 2, s
Suppose -4*m - m + 15 = 0. Let l = -64 - -523. Let o be l/(-189) - 8/14. Put 4, o, 5, m in increasing order.
o, m, 4, 5
Let d = 14 - 17. Let r = -15.132 - -0.132. Let o = r - -15.3. Put -0.5, o, d in descending order.
o, -0.5, d
Let m = 15 - 15. Let k be (-6)/9*378/(-84). Suppose 4*c = -7 - 1. Sort 5, k, m, c in decreasing order.
5, k, m, c
Let r be ((-22)/(-121) + 34/(-66))*9. Let n = 770 - 774. Put n, 0, -20, r in decreasing order.
0, r, n, -20
Let h be (49 + -43)*2/(-36). Sort h, 0.28, 3, 2.
h, 0.28, 2, 3
Suppose -2473 = 3*h - 5*t, -3*h - 19*t = -14*t + 2543. Sort -0.1, h, 3 in ascending order.
