c in ascending order.
c, d, 4
Suppose -16*a = -34*a - 4158. Put a, 4, 2 in descending order.
4, 2, a
Suppose -5*z + 25 + 5 = 0. Let v(x) = -x**3 + 5*x**2 + 9*x - 2. Let g be v(z). Put g, -2, -3 in ascending order.
-3, -2, g
Suppose -y + 4 = 6. Sort 1, -10, y.
-10, y, 1
Let h = -0.057 - -1.057. Let f = -0.9 + -0.1. Sort h, -0.9, f in descending order.
h, -0.9, f
Let a be (4/6)/((-4)/(-78)). Suppose -7 = -5*j + a. Sort -4, j, 1 in descending order.
j, 1, -4
Suppose -16*g = -14*g - 2*z - 14, -4*z = g + 13. Let t be 1*-2*2/4. Sort t, 5, g in ascending order.
t, g, 5
Let v = -5462 - -5461. Suppose g + 5*u - 3 = 0, 5*g = 3*u - 5 - 8. Put v, g, 7 in ascending order.
g, v, 7
Let n = 0.3 + -29.3. Let b = -24 - n. Let t = 5 - b. Sort -0.4, t, 2.
-0.4, t, 2
Let i = 53 - 54.5. Let p = -2.5 - i. Sort p, 1, -0.4, 2/5 in ascending order.
p, -0.4, 2/5, 1
Let g = 12 - 13. Let w be -9 + 3 + 29 + -20. Sort g, 0, -2, w in increasing order.
-2, g, 0, w
Suppose -i - 17 = -19. Suppose -4*l - 5*a = -0*l + 32, -l + 4*a + 13 = 0. Sort -6, 0, l, i.
-6, l, 0, i
Suppose -5*b - 21 = 2*n, n - 38*b = -34*b + 9. Put n, 1, 19 in ascending order.
n, 1, 19
Let v = -40/37 - 28/111. Sort -1, v, -5, 1/9 in decreasing order.
1/9, -1, v, -5
Let d be 4/(0 + -7 + 5). Let p(c) = -6*c + 2. Let h be p(-3). Let t be (-10)/h + d/12. Put 0.3, t, -2/7 in increasing order.
t, -2/7, 0.3
Let q = -681 + 717. Sort -0.4, 2, q.
-0.4, 2, q
Let g be 6/(-1) - (-7 - (-80)/72). Put g, 32, 0.5, 0 in ascending order.
g, 0, 0.5, 32
Let p = 359 + -364. Sort 2, p, -3, 17.
p, -3, 2, 17
Suppose 0 = 2*g - 5*q + 3, -14 = -5*g - q - 62. Suppose 2*a = 0, -z - 5*a + 4 + 3 = 0. Let d = z - 12. Sort g, d, -2 in descending order.
-2, d, g
Let i be 8*1/(-2) + 11. Let r = 9 - i. Put r, 5, 0 in descending order.
5, r, 0
Let j = -262 - -2416/9. Sort 1/4, 0.1, -2, j in increasing order.
-2, 0.1, 1/4, j
Let h(b) = 46*b - 11. Let i be h(-1). Put -2, i, 3 in increasing order.
i, -2, 3
Let p be (-14)/18 + (-1)/(-1). Let m(q) = -6*q + 88. Let c(a) = -2*a + 29. Let r(h) = -11*c(h) + 4*m(h). Let v be r(15). Sort v, 5, p in decreasing order.
5, v, p
Suppose -4*d + 8 = 0, -10 = g - 5*d + 2*d. Suppose 5*v - 3*b + 10 = 0, 5*b + 2 = v - 2*v. Let f be ((-7)/(-294))/(v/(-6)). Sort 2, f, g in increasing order.
g, f, 2
Let a = -4 + -1. Let z = a - 18. Put -5, z, 4 in descending order.
4, -5, z
Let j = -312 - -317. Sort 2, j, -165.
-165, 2, j
Let i be -6 - (3/(-3) + -10). Put -1, -89, i in descending order.
i, -1, -89
Let k = -0.058 + 1.058. Sort 8, 0, k.
0, k, 8
Let z be 5/12*(-22)/(-55). Let r = -8 + 11. Let b = 0 + 0.3. Put z, r, b in ascending order.
z, b, r
Suppose -4 = w + 1. Let f be ((-2009)/(-1722))/(((-1)/(-1))/6). Sort 5, 1, w, f in decreasing order.
f, 5, 1, w
Let m(o) = 2 - o - 5 + 8 - 2. Let d be m(-2). Put d, -4, 4 in decreasing order.
d, 4, -4
Suppose 0 = -4*d - 4*g - 52, 0 = d - 2*g - 2*g + 18. Let j be 4/d + (-69)/(-21). Sort -5, 1, j.
-5, 1, j
Let m = -7.72 + 6.82. Sort -3, m, -2/29.
-3, m, -2/29
Let o(u) = u**3 - 6*u**2 - 10*u + 22. Let h be o(7). Let g(v) = v**3 + 3*v**2 - 5*v - 4. Let f be g(-4). Sort -2, h, -1, f in decreasing order.
h, f, -1, -2
Let p = 0.081 + -2.081. Let y = -0.07 + -0.13. Let m = -0.1 + y. Sort m, p, 3 in ascending order.
p, m, 3
Suppose 0 = -5*l - g + 2 - 7, -4*g - 20 = -2*l. Suppose -2*o = -l*o - 2. Let k be 6*3/(-9)*o. Sort 1, k, -4 in descending order.
1, k, -4
Let q = -118 + 118.2. Sort 2/9, 0.4, q.
q, 2/9, 0.4
Suppose 5*z + 28 = -5*q + 33, -2*q = -2. Let a be 5/((-10)/12) + 1. Sort 4, a, -6, z in increasing order.
-6, a, z, 4
Let v(c) = -c**2 + 9*c - 27. Let m be v(7). Suppose -2*d - 6 = -0*d. Sort m, 3, d in decreasing order.
3, d, m
Let p = -651 + 650. Put 3, -44, p in increasing order.
-44, p, 3
Let f = -461 - -466. Let z = 39.68 + -39. Let q = -0.22 - z. Sort q, f, -0.3.
q, -0.3, f
Let d be (-3 + 76/20)*30. Suppose 4*h + 0 = d. Suppose 5*z + 2*x + 12 = h*x, 5*z + 2*x = 6. Put -1, z, 5 in decreasing order.
5, z, -1
Let w be 6*-2*-33*(-8)/48. Let p = -64 - w. Sort 3, p, 0, -2 in descending order.
3, p, 0, -2
Suppose -4*l - y - 3 = 0, -l + 3*l - y = -3. Let t(q) = q**2 - 7*q + 7. Let i be t(6). Sort i, 5, l, -3.
-3, l, i, 5
Suppose -2 = 2*n + 12*y - 13*y, 2*n - 3*y = 6. Put n, 4, -16, 16 in ascending order.
-16, n, 4, 16
Let x = 9/50 - 513/350. Let n = 8 + -13. Put x, n, 2/3 in ascending order.
n, x, 2/3
Let x be (8/26)/(-5 - -3). Let m(w) = -w**3 + 6*w**2 + 8*w - 3. Let v be m(7). Suppose v*o = 7*o - 0*o. Put o, -2/5, x in descending order.
o, x, -2/5
Let c be (1 + 32)*21/(-21). Put -2, c, 3, -1 in ascending order.
c, -2, -1, 3
Let y = 0 + -0.4. Suppose 0 = 3*a - 3*w - 18, -5 = -3*a + w + 5. Sort y, a, -0.3.
y, -0.3, a
Let d = -922.2 + 922.4. Let f = 5.7 + 1.3. Sort f, d, -1/6, -0.5 in decreasing order.
f, d, -1/6, -0.5
Let w be 1*(3 - (9 + -4)/5). Let l = -1 - -6. Sort w, -1, -2, l in increasing order.
-2, -1, w, l
Let g(z) = z**3 - 57*z**2 - 119*z + 66. Let x be g(59). Let s(h) = -h**2 + 4. Let a be s(0). Put a, 2, x in decreasing order.
x, a, 2
Let p = 3 - 4. Let i = -331/3 - -2639/24. Sort 2, i, p in decreasing order.
2, i, p
Let j = -1049 + 1049.4. Sort 1/6, j, 2/9, 3.
1/6, 2/9, j, 3
Suppose 2*r - 4 = l, -2*r = -r + 4*l - 20. Suppose 4*x - 18 = 2*d, 0 = 3*d - r*d - 5*x + 12. Suppose 3*w + 5*i = 21, 0 = -w + 4*w - 2*i. Sort d, -2, w.
d, -2, w
Let a(k) be the first derivative of k**3/3 + 3*k**2 - 5*k - 2. Let v be a(-6). Suppose 4*u = -b + 5*b + 44, -u = -3*b - 21. Sort u, 4, v in decreasing order.
u, 4, v
Let n = -141.027 - -141. Let t = n - 7.973. Sort -3, t, -0.4 in ascending order.
t, -3, -0.4
Let j(w) = -3*w**2 - 42*w + 46. Let d be j(-15). Sort 5, -4, -40, d in increasing order.
-40, -4, d, 5
Let l = 214.7 - 214.6. Sort l, 8/9, 2/3 in decreasing order.
8/9, 2/3, l
Let v = -5 + 8. Let t = -1.1 + -0.4. Let b = -1 - t. Put v, 1, b in decreasing order.
v, 1, b
Let o = -15 + 14.93. Let b = -3.07 - o. Suppose 0 = 254*q - 258*q - 4. Sort 0.5, q, b in decreasing order.
0.5, q, b
Let u = 4 - 6.5. Let p = 0.0841 + 1.0159. Let c = u + p. Put c, 0.3, 4 in decreasing order.
4, 0.3, c
Let y = 39 + -32. Put 4, -4/7, y in ascending order.
-4/7, 4, y
Let u = 0.15 - -0.25. Let g be ((-75)/20 - -4) + 15/(-40). Put u, -2/25, g in ascending order.
g, -2/25, u
Let v = 0.413 + -0.013. Let h = 1.1 - 0.1. Let p be (9/(-12))/((-42)/14). Sort v, h, p in ascending order.
p, v, h
Let c = -275 + 275.08. Put 2/5, 0.5, 0.1, c in ascending order.
c, 0.1, 2/5, 0.5
Let j(n) = -n + 3. Let y be j(-3). Let x = y - 7. Suppose -3*b - 5*c - 26 = 0, -c = 4*b + 7 + 5. Put b, x, 9 in increasing order.
b, x, 9
Suppose 0 = 4*s - 3*r + 9, 2*s + 5*r - 15 = 3*s. Suppose s = -p - 4 + 10. Sort -1, -3, p, 2.
-3, -1, 2, p
Let h(x) = -x**2 + 14*x - 10. Let a be ((-4)/(-6))/(4/78). Let v be h(a). Suppose -o + 10 = 4*z, -2*o + 3 + 7 = v*z. Sort o, -0.5, -2 in increasing order.
-2, -0.5, o
Suppose 0 = -r + 6*r - 4*u + 34, 3*r - u = -19. Sort 0, r, -5.
r, -5, 0
Suppose -19 = -4*a - 3*i, 0 = 3*a - 2*a - 4*i + 19. Let t be 2/(a - (-10)/(-6)). Sort t, 3, -2, 1 in decreasing order.
3, 1, -2, t
Let g = -0.12 - 9.88. Put -0.4, 7, 1, g in decreasing order.
7, 1, -0.4, g
Let j be (-102)/85*(-7*1 - -2). Sort j, 2, -0.04 in descending order.
j, 2, -0.04
Suppose -3*l - 3*m = 30, -m - 16 = 4*l + 9. Put 4, l, 3, -1 in ascending order.
l, -1, 3, 4
Let m be 24/18 + 123/(-72). Let a be 1 + 2/16*4. Put -6, 0.3, a, m in increasing order.
-6, m, 0.3, a
Let r(n) = 2*n**2 + 10*n + 10. Let f be r(-3). Let p(k) = -k**3 + 7*k**2 - 5*k - 7. Let i be p(6). Put f, i, -4 in decreasing order.
i, f, -4
Let h be (132/76560)/(6/16). Put -1, -1/5, h, -0.4 in increasing order.
-1, -0.4, -1/5, h
Let r(u) = 2*u**2 - 2. Let l be r(-2). Let f = l - 2. Let h = 3545 + -3542. Put h, f, 0 in ascending order.
0, h, f
Let q = -208 - -203. Put 20, 2, q in decreasing order.
20, 2, q
Let g = -13 - -15. Suppose g*o - 7*o - 15 = 0. Let f be 1*(o - -6) - 0. Sort f, -3, 4 in descending order.
4, f, -3
Let x be (-55)/(-60) - (-5 + 31/6). Put x, 4, 2, -1/5 in decreasing order.
4, 2, x, -1/5
Suppose 40*r = 11*r + 29. Suppose 4*z - 8 - 11 = 3*k, -2*k + 4*z = 18. Put -2, k, -5, r in increasing order.
-5, -2, k, r
Let v = 21 + -19. Suppose 0 = -r - v*h + 4, 0 = -3*r - 4*h + 10 + 6. Sort -