Sort -0.4, i, z in increasing order.
i, -0.4, z
Suppose 2*c + 54 = 2*a, c = -a - 20 - 1. Put 3, c, -1, 4 in increasing order.
c, -1, 3, 4
Suppose -4*d - d + 15 = 0. Suppose -d*c = 2*j + 3, -5*j + 2*c + 20 = -1. Suppose 2*z + 13 = -3*x, j*z = -0*z - 6. Sort 0, x, 5 in descending order.
5, 0, x
Let h(q) = -q**2 - 12*q - 3. Let s be h(-12). Put 1, s, -4 in ascending order.
-4, s, 1
Let c be 3/45*3 - 16/5. Let i = -7 + 5. Sort 1, c, i.
c, i, 1
Let s = -6 + 1. Let h = -4 - -6. Let z = 5 - 5. Sort s, z, h.
s, z, h
Let b = -4.2 - -0.2. Let f = 0.05 - -0.45. Put b, f, 3/2 in decreasing order.
3/2, f, b
Let y = 2.6 - 1. Let w = 0.6 - y. Let k = 19/30 - 2/15. Sort -1/3, k, w.
w, -1/3, k
Suppose 3*d - 25 = -2*m, -3*d - 4*m + 13 = -22. Let u = -6 - -6.3. Put u, 4, d in decreasing order.
d, 4, u
Let v = 26 + -2. Let m be (-30)/v + (-6)/(-4). Sort -1, -0.5, m.
-1, -0.5, m
Let q = 3 + -1. Suppose -2*x - 4*u = 0, 0 = -2*x - q*u - 0*u. Put -3, x, -5 in increasing order.
-5, -3, x
Let u = 3 + -2.9. Let s be (15/20)/(3/(-12)). Let r = 4.7 - 5. Sort u, r, s in decreasing order.
u, r, s
Let r(f) = 2*f**2 - 1. Let v be r(-1). Let a be ((-6)/(-10))/3*v. Let z = -4.3 - -4. Sort z, -0.4, a in increasing order.
-0.4, z, a
Let w = -2 + 5/2. Put w, 2, -0.1 in descending order.
2, w, -0.1
Let c be (-52)/(-20) + -4 - 2/(-5). Sort 0, c, -24 in increasing order.
-24, c, 0
Let h be 3/(-6)*10*-1. Suppose r = -4*r, -2 = 2*c + 5*r. Sort c, -3, h in increasing order.
-3, c, h
Let h = 9.76 + 0.24. Let d = h + -5. Put 0.6, -0.4, d in descending order.
d, 0.6, -0.4
Let n be 4/(-12) - (-10)/66. Put 2/13, 2, n in increasing order.
n, 2/13, 2
Let a = 33.6 + -34. Sort -3, -15, -0.2, a in descending order.
-0.2, a, -3, -15
Suppose 4*z = -0*z - 12. Let w(l) = l + 7. Let o be w(z). Put o, -1, 1 in ascending order.
-1, 1, o
Let h be 33/(-4)*-2 + -1. Let r = 65/4 - h. Let q be (((-4)/(-3))/2)/(-2). Put -3, r, q in decreasing order.
r, q, -3
Let u be (-1*2)/((-5)/15). Let r(v) = -2*v + 7. Let z be r(u). Let o be (-18)/30 - (-2)/(-5). Put o, z, -4 in descending order.
o, -4, z
Let m(z) = -z**2 - 4*z - 3. Suppose 0 = -4*s - 5*k + 4, -5*s - 4 = -0*s + 4*k. Let v be m(s). Put 0, v, 4 in decreasing order.
4, 0, v
Let l be (-2 + (-81)/(-42))*(-3 - 3). Sort 16, 4, 3, l in descending order.
16, 4, 3, l
Let l(g) = -g**3 - 12*g**2 - g - 17. Let r be (1 + -3)/((-12)/(-72)). Let f be l(r). Sort 5, 2, f in decreasing order.
5, 2, f
Suppose 62*d = 59*d - 9. Put 2, 10, d, -1 in descending order.
10, 2, -1, d
Let x be ((-4)/3)/((-8)/12). Suppose -3 - x = -g + 5*z, 4*z + 25 = 5*g. Put g, 0.5, -0.5 in descending order.
g, 0.5, -0.5
Let t = -1 - -1. Let s(u) = -u**3 - 4*u**2 - 3*u + 2. Let i be s(-3). Let o be 10/(i + -3 - -3). Sort o, t, -5 in descending order.
o, t, -5
Let s = -0.6 + 2.6. Let c(z) = z - 5. Let b be c(7). Suppose b*h = -2*h + 3*t - 11, -5*h + 2*t = 19. Sort s, h, 5 in increasing order.
h, s, 5
Let p = 0.1 + -1.1. Put -0.5, 0.5, p in descending order.
0.5, -0.5, p
Let j = 1 - 3. Let h = -5 + 7. Sort h, j, -0.5 in increasing order.
j, -0.5, h
Let j = -1.96 + -0.04. Let x = -1 - -2. Let w be (0 - x)*(-4)/(-14). Sort j, w, -4 in decreasing order.
w, j, -4
Let c be 6*1*(-9)/6. Put c, -3, 5, 3 in increasing order.
c, -3, 3, 5
Let d = 40.3 + -38. Let b = d - 2.2. Let q = 7 - 3. Put q, b, 2/11 in decreasing order.
q, 2/11, b
Let h be (8/6)/(4/6). Suppose 2 = -p + h*p. Let j = -17 - -17.4. Put p, 5, j in descending order.
5, p, j
Let c be 4 + 1 - (-4 - -4). Suppose -1 = -2*k + 2*i + 5, -c*k + i - 1 = 0. Let y = 49 - 195/4. Sort k, 0, y.
k, 0, y
Let c(u) = -8*u + 43. Let k be c(6). Sort k, 5, 0.
k, 0, 5
Let h(t) = t**3 + 9*t**2 - 7*t + 9. Let n be h(-10). Let y be 2 + 15/n + -1. Put 5/4, y, 0 in descending order.
5/4, y, 0
Suppose 6 = -4*w - 2*d, 0*w = 2*w - 5*d + 9. Sort 6, -1, w.
w, -1, 6
Suppose -7 = -s + 3. Let g = s + 24. Suppose -4*b - g + 14 = 0. Sort -1, 2, b in decreasing order.
2, -1, b
Let f = -0.7 + 0.76. Let q = f + -4.86. Let b = -0.2 + q. Sort b, 2/5, -4 in increasing order.
b, -4, 2/5
Suppose -3*l - 4 = -k, -3*k + 0*k + 1 = 2*l. Let v be (6/(-4))/((-9)/12). Let t be 5 + (-2)/4 + (-2)/(-4). Put k, t, v in decreasing order.
t, v, k
Let h = 0.36 + -0.06. Let x be ((-2)/(-6))/((-16)/240). Sort x, h, -3 in increasing order.
x, -3, h
Suppose -4*m - 5*r = -36, -2*m - 12 = -m - 4*r. Let l be 1/1 + 2 + 0. Let y be -1 - ((-1 - -1) + -1). Sort m, l, y in increasing order.
y, l, m
Suppose 2*q - 7*q = -5, 9 = -h + 5*q. Put 0.01, 1, h in descending order.
1, 0.01, h
Let n = 0.09 - 0.09. Sort 6/11, n, 2 in descending order.
2, 6/11, n
Let x be 1 - (-5)/(10/(-4)). Suppose -10 = -2*p - 3*p. Put x, p, 0 in decreasing order.
p, 0, x
Let q = 0.5 - -1.5. Sort -0.5, q, -0.1 in ascending order.
-0.5, -0.1, q
Suppose 10 = 3*p - 13*p. Sort 0, -2, 4, p in decreasing order.
4, 0, p, -2
Let z be 2/6*(3 - 5). Put -5, 14, -2, z in decreasing order.
14, z, -2, -5
Let x = 0.7 - 4.7. Let z be 32/240 - 1/3. Let q = 431/8 - 54. Sort q, z, x in ascending order.
x, z, q
Suppose 4*b + 4 = -4. Put 3, b, -4 in descending order.
3, b, -4
Let c = 2 - 6. Put 4, 1/7, c in descending order.
4, 1/7, c
Let z = -0.2 - -1. Let g = -0.9 + z. Let y = 1 - 0. Put 0.5, g, y in increasing order.
g, 0.5, y
Let q = 0.3 + -5.3. Let a = -0.05 + 2.05. Let w = a + -2. Sort q, w, 0.3 in decreasing order.
0.3, w, q
Let x = 0.8 - -2.2. Let b = 8 - 7.7. Sort b, 4, x in increasing order.
b, x, 4
Suppose 3*r + 13*r - 8*r = 0. Put -19, 0.4, r in increasing order.
-19, r, 0.4
Let q(r) = 2*r**2 - 9*r + 12. Let k be q(2). Let b = 0 - 1. Put b, k, -2 in ascending order.
-2, b, k
Let i = -86 + 85.6. Let s = -2.98 + -0.02. Let j = -27/38 + 4/19. Put j, s, i in ascending order.
s, j, i
Let b(n) = n**3 + 6*n**2 + n + 3. Let t be b(-6). Let u = -5 - -8. Suppose -3*h - u + 12 = 0. Put -1, t, h in descending order.
h, -1, t
Let o = 5 + -5.5. Put 0.3, o, 2 in ascending order.
o, 0.3, 2
Suppose -3*g = 2*c - 19, 0*c - 2*c = -5*g + 21. Let w = -7 - -2. Put c, -3, w in descending order.
c, -3, w
Let j be 14/(-7) + 6/(-3). Sort j, -0.07, 1, 1/4.
j, -0.07, 1/4, 1
Let s(j) = j**2 + 4*j. Let f be (-15)/2*16/24. Let w be s(f). Sort -5, w, -0.01.
-5, -0.01, w
Let d(y) = 21723*y + 1. Let z be d(1). Let f = -1737943/80 + z. Let p = 5/16 - f. Sort 3, -0.1, p.
-0.1, p, 3
Let k(q) = 2*q**2 + 18*q + 1. Let m be k(-9). Put m, 0.3, 3/7 in descending order.
m, 3/7, 0.3
Let b(u) = -u**3 + 15*u**2 - 13*u - 13. Let d be b(14). Let a be 8/8 + (-6)/d. Sort -4, a, 4.
a, -4, 4
Let l be (2/6)/((-16)/192). Let m(b) be the third derivative of -b**6/120 - b**5/12 - b**4/8 + b**3/3 + b**2. Let k be m(l). Put 2, k, -4 in decreasing order.
2, k, -4
Let f = -0.112 + -0.188. Sort 1/3, f, 0.2 in ascending order.
f, 0.2, 1/3
Suppose -14*l = -19*l + 25. Sort -1/7, 0.5, l, 1.
-1/7, 0.5, 1, l
Let c(p) = -p**2 + 3*p + 5. Let l be c(5). Let q(i) = -2*i + 3*i + 0*i + i**2 - 1. Let d be q(0). Sort l, -2, d in ascending order.
l, -2, d
Let t = -2.9 + 2.1. Let r = 2 + -1.5. Let i = r + t. Sort -4, 0.2, i.
-4, i, 0.2
Suppose -2*j = -4*t - 8, -11 = j - 5*j + 3*t. Put 7, 5, j in descending order.
7, 5, j
Let g = -4.8 + 0.8. Let f = 0 - 0.1. Let y = 4.9 - f. Put y, 0.4, g in descending order.
y, 0.4, g
Suppose -4*s + 27 - 47 = 0. Let o = 5 + -5.4. Put 0, s, o in descending order.
0, o, s
Let r be (1/5)/(2/5)*0. Sort -2, -5, r, -1 in descending order.
r, -1, -2, -5
Let v = 13/12 + -5/4. Sort v, -0.3, 0, 2/15 in descending order.
2/15, 0, v, -0.3
Suppose -22 = 3*r + 11. Let f = 15 + r. Let a(u) = u**2 - 7*u + 5. Let n be a(6). Sort 0, n, f in decreasing order.
f, 0, n
Suppose -2*l - 1 - 1 = 0. Sort 4, -2/3, l in decreasing order.
4, -2/3, l
Let n be 1*15*(-1)/3. Let i be (-3 + 1)/20*2. Let k = -1.2 + 0.7. Sort n, i, k in descending order.
i, k, n
Let r = -13 - -9. Let t be ((-5)/(-15))/(1/3). Suppose -2*m + t = -1. Put m, r, -1/3 in descending order.
m, -1/3, r
Let s(c) be the first derivative of -c**3 + c**2/2 + 1. Let f be s(-1). Let t(l) = -l**3 + l - 5. Let p be t(0). Sort p, f, -2 in ascending order.
p, f, -2
Suppose 0*r + h - 5 = -4*r, -3 = -5*r + 2*h. Sort 3, r, 0.
0, r, 3
Let w = -8.96 + 9. Sort 4, w, -0.3.
-0.3, w, 4
Let m(a) = -4*a + 3. Let i be m(3). Let g be 28/48 + 3/i. Let b = -2 - 4. Sort b, 2/21,