 order.
u, j, -2
Suppose -5*c = -3*c - 8. Suppose 0 = -2*y - y + 2*y. Put -3, y, c in ascending order.
-3, y, c
Let s = 54 + -51. Let l = 0 - -2. Put 1, s, l in descending order.
s, l, 1
Let s(n) = -n + 1. Let b be s(6). Let x(t) = t**2 + 5*t + 5. Let u be x(b). Sort 3, 4, u in descending order.
u, 4, 3
Suppose -3*l = 2*s + 13, 4*s - 2*l + 13 = -5. Sort -1, s, -2 in descending order.
-1, -2, s
Let f be 9/2 + (-1)/(-2). Let h = -3 + 6. Let x(g) = -g**2 + g + 2. Let j be x(h). Sort -5, j, f in descending order.
f, j, -5
Suppose -3*c + 3 = 0, -2*x + 5*x - 3*c + 18 = 0. Sort x, 1, -3 in decreasing order.
1, -3, x
Let k = 10 - 11. Sort 3, k, -7 in descending order.
3, k, -7
Let k = 6 + -4. Let h be (-6)/(-3) - (-2)/2. Put k, h, -1 in decreasing order.
h, k, -1
Let b = 160 - 162. Let k(h) = -2*h**3 - 2*h**2 + 1. Let r be k(1). Sort 0, b, r in descending order.
0, b, r
Let j = 1.2 - 1.2. Let a = j + -0.4. Let c = 0.08 - -3.92. Sort 0.3, a, c in increasing order.
a, 0.3, c
Let o = 15 - 10. Put -1, o, 3 in increasing order.
-1, 3, o
Let f = -2.2 - 2.8. Sort 1/6, f, -8, -0.1 in ascending order.
-8, f, -0.1, 1/6
Suppose 4*j = -3*v, -4*v = 3*j - 2*j + 13. Let w be 18/(-12)*1/j. Put w, -2, 5 in ascending order.
-2, w, 5
Let y = -24 - -51. Suppose u - 8 = -3*t, -2*t - u + y = 4*u. Let d = 7 + -10. Sort 2, t, d in increasing order.
d, t, 2
Let t(k) = k**3 + k**2. Let a be t(-1). Let h = a - -1/4. Sort -1, h, 4 in decreasing order.
4, h, -1
Let v = 130 - 125. Put -21, 4, v in increasing order.
-21, 4, v
Let v(b) = -b**3 + 24*b**2 - 2*b + 50. Let w be v(24). Sort w, -1, 12 in decreasing order.
12, w, -1
Let u = 2.6 + -1.6. Sort 0.2, u, 1/11 in decreasing order.
u, 0.2, 1/11
Let w = -3.98 - 0.02. Let n = -0.2 + 1.2. Put n, w, -3/2 in decreasing order.
n, -3/2, w
Suppose -15*s - 21 = -36*s. Let c(l) = l**2 + l - 2. Suppose 2*v = 5*v - 6. Let d be c(v). Sort s, d, 3 in increasing order.
s, 3, d
Suppose 0 = -z + 2*c - 8, -12 = -4*z + 2*z - 3*c. Put z, -0.3, 1/9 in decreasing order.
1/9, z, -0.3
Suppose -3 + 8 = -b. Put 6/11, 1, b in decreasing order.
1, 6/11, b
Let w = 7 - 12. Let l(u) = u**3 - 10*u**2 - 9*u - 19. Let j be l(11). Sort j, 4, w in descending order.
4, j, w
Let g = 2.87 - 2.8. Put -3, 2/17, g in decreasing order.
2/17, g, -3
Let b = -0.46 + -0.04. Let f = -3 + 5. Let g = f + -5. Put g, b, 4 in decreasing order.
4, b, g
Suppose -5*f - 21 = -11. Sort 0, 4, f, 2 in descending order.
4, 2, 0, f
Let n(v) = 3*v + 9. Let k be n(-4). Sort -4, k, 2 in decreasing order.
2, k, -4
Let z be 4/12 - 4/(-6). Suppose -f + z = 3. Put 4, f, 1 in descending order.
4, 1, f
Let g = 256 + -253. Let y be 0 - (1 + -1 + 1). Sort g, y, -12 in descending order.
g, y, -12
Let z be (-2)/3 - (-94)/6. Suppose -3*o = 2*a - o, -o - z = -4*a. Sort -2, 4, a in increasing order.
-2, a, 4
Suppose 0 = 3*r + 12, -3*w - 3*r = -w + 12. Let j be (2 - 0) + 3/3. Let b = j - 8. Sort w, b, -1 in decreasing order.
w, -1, b
Let g = -8.8 - -14.8. Sort 2, 0.1, g in decreasing order.
g, 2, 0.1
Let u be (-94)/47*-1*1/2. Sort 0, -2, -8, u in decreasing order.
u, 0, -2, -8
Let w = -2 - -1.6. Let g = 2 - -4. Let y = g - 9. Sort w, y, 3 in decreasing order.
3, w, y
Suppose -2*n = -1 - 3. Suppose 5*v = -2*k + 14, -n*v - 4*k + 0 + 12 = 0. Let r(c) = c**2 - 2*c + 1. Let s be r(1). Put 4, s, v in increasing order.
s, v, 4
Let z(n) = 2*n - 1. Let w be z(1). Put 3/4, -0.2, w in increasing order.
-0.2, 3/4, w
Let o(k) be the first derivative of -k**3/3 + 5*k**2/2 + 5*k - 2. Let r be o(6). Let b(x) = -2*x**2 - 1. Let u be b(r). Sort -2/7, 3, u in decreasing order.
3, -2/7, u
Let f be 8/14*((-462)/12)/(-11). Suppose -b + 8 = b. Sort f, -4, b in decreasing order.
b, f, -4
Let c(y) = -y**3 - 13*y**2 - y - 3. Let r be c(-12). Let l be r/(-18)*(-1)/(-10). Sort 2/3, l, 0.2 in decreasing order.
l, 2/3, 0.2
Suppose 3*i = d + 3*d + 4, 16 = 4*i. Let t be (2 - d - 1)*-5. Let x(g) = g**3 - 8*g**2 + 7*g + 4. Let u be x(7). Sort -2, t, u in increasing order.
-2, u, t
Let s = -1 - -2. Let w = 175/3 - 58. Put 2, s, w in decreasing order.
2, s, w
Let i be 7/21*(0 + 0). Sort 3, -8, i, -2 in decreasing order.
3, i, -2, -8
Let v = 81/7 - 79/7. Let a = 13 + -8. Sort v, -4/5, a.
-4/5, v, a
Suppose 3*q = 2*d + 8*q - 25, -3 = -3*q. Let m be (2/(-4))/((-5)/d). Put -1, m, -3 in descending order.
m, -1, -3
Let s = -8 + 6. Let d be ((-9)/(-6))/(12/16). Sort s, -5, d in descending order.
d, s, -5
Let y = -8 - -6. Let v = y + 6. Let q = -1 + 1. Put v, q, 4/5 in decreasing order.
v, 4/5, q
Let m(j) = j. Let y be m(1). Let k be 4 + (y*-3 - -1). Let q = -17 - -37/2. Sort k, -0.5, q.
-0.5, q, k
Let w(y) = -y**2 + 7*y - 1. Let x be w(7). Let i(t) = t. Let k be i(-4). Sort x, 0, k in decreasing order.
0, x, k
Let r = -4 + 0. Let u = 4 - -11. Suppose 0*k + u = 5*k. Sort 0, k, r in descending order.
k, 0, r
Let x be ((-72)/64)/((-3)/4)*-2. Sort -2, 1, x in decreasing order.
1, -2, x
Suppose 3*g + 7 - 1 = 0, 4*g + 44 = -4*i. Let w = -18 - -12. Let f be (w/(-9))/(6/i). Sort 4, f, -3 in decreasing order.
4, f, -3
Let s = 69/5 - 15. Sort s, -5, 5 in increasing order.
-5, s, 5
Let t(u) = -u**3 + 3*u**2 - u + 1. Let p be t(2). Let v = -7.7 - 0.3. Let r = 9 + v. Put r, 5, p in ascending order.
r, p, 5
Let k = 0.45 - -0.05. Let v = -0.336 + -0.064. Put k, v, 5 in decreasing order.
5, k, v
Let y = -29 + -24. Sort 1, y, 0.4 in ascending order.
y, 0.4, 1
Suppose 2*a + 12 = 5*a. Let m = 4 + -3. Let h be (-6)/(1/1 + m). Put 1, a, h in decreasing order.
a, 1, h
Let g = -14 + 8. Let d = -8 - g. Let z = -11 - -6. Sort z, d, 4.
z, d, 4
Suppose 1 = -2*r - 3. Let p = r - -1. Suppose 5*m = 3*z - 13, 5*z + 7 = 2*z - 5*m. Sort p, z, -5 in decreasing order.
z, p, -5
Suppose -22*r - 25 = -27*r. Sort -4, 3, r, 0 in decreasing order.
r, 3, 0, -4
Suppose 0 = -5*v - 0 - 25. Let f = -12 - -16. Sort 2, v, f in decreasing order.
f, 2, v
Let q = -22.9 + 23. Let r = 1.5 + -1.9. Put q, -0.1, r in descending order.
q, -0.1, r
Let d = -13 + 18. Let j = 10 + -8. Sort j, 3, d.
j, 3, d
Suppose 0 = r - 2*l - 8, -5*r + 2*l = -25 - 7. Suppose r*m + 15 = 3*m. Sort m, -1, -6 in decreasing order.
-1, m, -6
Let q = 4 + -3. Suppose 3*y + i - 12 = 0, 0*i + 12 = 5*y - i. Suppose y*w = -q + 10. Put w, 0.3, 5 in descending order.
5, w, 0.3
Let d be 3 - 57*(-4)/(-84). Sort d, -2, 0.2 in decreasing order.
d, 0.2, -2
Suppose 25*n = 20*n - 15. Sort 5, 1, n, 0 in decreasing order.
5, 1, 0, n
Let r be (-4)/10 - 8/(-70). Suppose h - 3*h - 14 = 5*c, 3*h + 4*c + 14 = 0. Sort h, r, -3 in increasing order.
-3, h, r
Suppose -2*r - 4 = -0*r. Let q(h) = 3*h**3 - h**2 + 3*h - 1. Let b be q(1). Sort r, 1, b in decreasing order.
b, 1, r
Suppose 3*y = -0*y + 12. Let q be 12/(-4) - (1 - 2). Sort q, y, 2 in descending order.
y, 2, q
Let z = -1 - -4. Let m = -5 + 10. Put m, z, -2 in ascending order.
-2, z, m
Let l = 2 - -3. Let f = -5.5 + l. Suppose -g - 1 + 5 = 0. Sort f, g, -2/3.
-2/3, f, g
Suppose 24 = 8*u - 14*u. Suppose 2*b - 5*b + 6 = 0. Put u, 0, b in descending order.
b, 0, u
Let y = 7.92 + 0.08. Let q = y + -8.4. Sort q, -1, 1 in ascending order.
-1, q, 1
Let l = -10.04 - -0.04. Let r = l + 10.8. Let m = 1 - r. Put 2/5, m, 0.1 in decreasing order.
2/5, m, 0.1
Let g = -179 - -186. Put g, 1/4, 2/11, 3/5 in decreasing order.
g, 3/5, 1/4, 2/11
Let d be 10/(-16)*(-14526)/30. Let c = -303 + d. Let q = 1 + -1. Sort 1/5, c, q in descending order.
1/5, q, c
Suppose -5*d + 11 = 26. Sort d, -5, 5 in increasing order.
-5, d, 5
Let z be (24 - 8)/(0 - -1). Suppose -5*q = 4*h + z + 12, -3*q = 5*h + 22. Let t = 2 - 0. Sort t, 5, q.
q, t, 5
Let l = -7 + 2. Let j = l + 2. Put -0.4, j, 1/3 in decreasing order.
1/3, -0.4, j
Let c be (2/(-4) - 62/(-20)) + -3. Let t(z) = -2*z. Let j be t(-2). Sort j, c, 2/7 in decreasing order.
j, 2/7, c
Let m be (2 - 1)*(3 + -5). Sort -5, m, -3 in increasing order.
-5, -3, m
Let h(w) = w - 3. Let t be h(6). Let s be 6*(t/(-9) + 1). Put 5, s, -1 in decreasing order.
5, s, -1
Let i be (-1)/((-8)/(-12) + 0). Let d = -0.13 + 0.03. Sort i, d, 0 in increasing order.
i, d, 0
Let w = -0.8 + 1. Let p = 10 - 18. Let q = p + 13. Sort -2/5, q, w in increasing order.
-2/5, w, q
Let s = 0.24 + 0.06. Let d = 35 + -106/3. Put -1/2, d, s in increasing order.
-1/2, d, s
Let o = 35 - 211/6. Let g = -79 - -79.2. Pu