-33. Sort 5, -7, 3, o.
-7, o, 3, 5
Let o = -592/35 + 110/7. Sort -2, 1/4, o in increasing order.
-2, o, 1/4
Let g = 4 + -3. Suppose 5*q + 5 = -3*p, 7*p - 4*p = 0. Let w be (-3 + 0 - 2)*q. Sort 3, w, g.
g, 3, w
Let k = 14 - 13.7. Sort k, -2/7, -0.04 in descending order.
k, -0.04, -2/7
Let d(o) = o**3 - 5*o**2 - 4. Let l be d(5). Let p be l - (-3 + 4)*-2. Sort p, -3, 4 in ascending order.
-3, p, 4
Let p = -19 - -31. Let h = -11 + p. Suppose -19 = 4*s - 3*g + 4*g, g - 1 = 0. Sort h, s, 0 in increasing order.
s, 0, h
Let b(t) = -t**2 - 13*t - 1. Let d be b(-13). Suppose -k = 2*k + 6. Sort d, 0, k.
k, d, 0
Let j = -0.2 + 1.2. Let b = j - 0.5. Let v = 505/8 - 63. Sort v, 1, b in decreasing order.
1, b, v
Let p = 7.1 + -7.4. Put -5/4, -4, p in increasing order.
-4, -5/4, p
Let s = -11 - -17. Let o = -2 + s. Let y be 2/(-8) + (-25)/60. Sort -0.5, o, y in increasing order.
y, -0.5, o
Let m be (-5)/((-10)/(-44)) - -1. Let h be (-4)/(-14) + (-99)/m. Let d be -1*6*(-6)/(-12). Sort -4, h, d in ascending order.
-4, d, h
Let x = -34 + 32. Sort -1, 4, x, 5.
x, -1, 4, 5
Let n = 3.129 + -0.029. Let z = n - 3. Sort 0.4, z, 3 in descending order.
3, 0.4, z
Suppose -2*b - 21 = 5*w, 3*w - 2*b = 1 - 4. Let a be -1 - w/((-3)/2). Suppose 5*j + 10 = f - 3, -f = -3*j - 9. Sort 5, a, j.
a, j, 5
Let d = -143/3 + 48. Sort 3, -1/5, d, -2.
-2, -1/5, d, 3
Suppose -5*p + 16 = -0*p + 4*c, -3*p - 20 = -5*c. Put 5, 0.29, p in decreasing order.
5, 0.29, p
Suppose 2*q - s = -11, -5*q = -s + 15 + 5. Let a be (-4 - q) + 18/10. Suppose 4*c + 1 = 13. Sort -1/5, c, a in descending order.
c, a, -1/5
Let f = -14.6 + 2.6. Let a = f + 10. Sort -1/4, a, -0.3 in descending order.
-1/4, -0.3, a
Let y = -2/117 - 1/26. Let x = 76.8 + -77. Put y, 0.4, x in ascending order.
x, y, 0.4
Let z(h) = h**2 + 8*h + 6. Let t be z(-6). Let p = -6 - t. Let q = 4 - 0. Sort 3, p, q in increasing order.
p, 3, q
Let s be 2/(-6)*(-7 - -1). Let g be ((-567)/(-98) + -6)*4/(-3). Sort -1/5, s, g in ascending order.
-1/5, g, s
Let i = -48 + 77. Suppose -2*r = 5*b + i, -5*r - 4*b = -0*r + 30. Sort r, -1, -3.
-3, r, -1
Let x = 32 + -6. Suppose 0 = 4*p + 10 - x. Sort 2/5, p, -0.4 in decreasing order.
p, 2/5, -0.4
Let o = 9 + -20. Let v = o - -7. Let c be 1 + (-3 + 0)/(-1). Sort 0.2, v, c in increasing order.
v, 0.2, c
Suppose -4*o = 0, 3*o - 3 - 2 = -5*r. Put -5, -4, 18, r in descending order.
18, r, -4, -5
Let w = 3 + 0. Let p = -18 - -13. Let z = p - -1. Put z, w, 2 in decreasing order.
w, 2, z
Let p(o) = o**3 - 6*o**2 + 4*o + 1. Let f be p(5). Let q = 0.01 - -0.21. Let j = q - -0.08. Put j, 1/2, f in decreasing order.
1/2, j, f
Let s = 7 + -2. Suppose -w + 3*x + 2 = 12, -4*w - x = -12. Sort w, 0.2, s.
0.2, w, s
Suppose 0 = 79*k - 85*k - 24. Let p(f) = -f**3 + 2*f**2 - 2*f - 2. Let s be p(2). Let r be (-14)/s - (-2)/3. Sort r, k, -3.
k, -3, r
Let w(q) = -3*q + 2. Let l be w(1). Sort -5, 0, 5, l in descending order.
5, 0, l, -5
Let r = -14 - -10. Let s be 2*1/(-10) - 0. Sort -2/9, s, r.
r, -2/9, s
Let m = -23.9 - -24. Sort m, 3, 2 in ascending order.
m, 2, 3
Let j(y) = y**2 - 10*y - 3. Let d be j(10). Sort d, 5, -1 in decreasing order.
5, -1, d
Let u = -72.17 + 73. Let c = u - 0.8. Let r = -2.03 + c. Put -0.2, r, 0.2 in ascending order.
r, -0.2, 0.2
Let p(w) be the first derivative of w**4/4 - w**3/3 + w**2/2 - w - 2. Let z be p(2). Sort 3, z, 4 in descending order.
z, 4, 3
Let k be -3*(-1)/(-6)*4. Suppose 2*d = 4*d - 10. Suppose -13 - 2 = -d*m. Sort -5, m, k in ascending order.
-5, k, m
Let k(z) = z**2 + 8*z - 2. Let j be k(-9). Let s be (1 + (j - 3))/1. Sort -2, s, -2/3 in descending order.
s, -2/3, -2
Let r(m) = -m**3 + 7*m**2 + 4*m + 19. Let i be r(8). Put -2, i, 3, 0 in decreasing order.
3, 0, -2, i
Let r = -1 - -1. Let i(y) = -2*y**2 + 22*y - 15. Let z be i(10). Put 3, r, z in ascending order.
r, 3, z
Let r = 72 - 77. Let z = 1 + 0. Suppose -5*c - 4 = z. Put 1, c, r in increasing order.
r, c, 1
Let u = -0.01 - -0.11. Let b = -2 - -2. Sort b, u, 0.4.
b, u, 0.4
Suppose -2*w + 2*b + 8 = w, 5*w = -5*b + 55. Suppose -3*p + 9 = -6*p. Sort p, 4, w in increasing order.
p, 4, w
Let q be 5 - 1 - (0 + 2). Suppose -3*p + 4*j = -21, 0 = 3*p + j + q - 8. Suppose 0*h = -5*h - 15. Put h, p, 5 in decreasing order.
5, p, h
Let w be (-3)/(-3)*(-2 - -4). Suppose 2*o + 4*s - 22 = w, 5*o - 5*s = 0. Suppose -6 = -o*f - 18. Put f, -0.5, 2/7 in decreasing order.
2/7, -0.5, f
Let r be -3 + 2 - (-50)/35. Let t = -1 - -4. Suppose -4 - 16 = x + t*g, 4*x = 4*g. Put 0.1, x, r in increasing order.
x, 0.1, r
Let p = -1.38 + -0.02. Let g = -0.5 - -0.9. Let c = p + g. Put 5, 2/23, c in descending order.
5, 2/23, c
Suppose 0*w = -4*w, 3*w = 4*x. Suppose -3*p - 15 = -0. Sort 5, p, x in increasing order.
p, x, 5
Let w(i) = -i**2 + i + 1. Let j(x) = -4*x**2 + 8*x + 2. Let f(m) = j(m) - 3*w(m). Let v be f(2). Sort v, 0.1, -8 in descending order.
v, 0.1, -8
Let x = 26 - 25.8. Put 0, 2, x, -0.2 in increasing order.
-0.2, 0, x, 2
Let p = -0.4 + 1. Let n = -0.5 + p. Put 5/3, n, 2 in decreasing order.
2, 5/3, n
Suppose -8*c + i = -9*c, 0 = 2*c - 4*i. Sort 4, -1/6, c, 2/19.
-1/6, c, 2/19, 4
Let k = 85 + -169/2. Sort k, 8, 3, -2 in increasing order.
-2, k, 3, 8
Let d(t) = t**3 - 3*t - 2. Let m be d(-2). Sort m, -0.5, 2 in decreasing order.
2, -0.5, m
Let f(t) = t**2 - 11*t + 13. Let s be f(9). Let m be (-2)/3 - (-20)/(-6). Put m, s, 2 in descending order.
2, m, s
Let p = 3.576 - -0.024. Put 0.2, p, -0.5, 1/9 in decreasing order.
p, 0.2, 1/9, -0.5
Let c = 6 - 1. Let b = c - 10. Put -2, 5, b in descending order.
5, -2, b
Let t(w) be the first derivative of -1 - 1/2*w**2 - 5*w. Let o be t(-6). Sort 2, o, 3 in decreasing order.
3, 2, o
Suppose -26*w + 21*w = -5. Put 0, -1, w in descending order.
w, 0, -1
Let l(k) = k**2 - 6*k + 7. Let x be l(5). Sort 1, x, -13.
-13, 1, x
Let y = -0.2 + 0.3. Let x = -113 + 334/3. Put 3, x, y in ascending order.
x, y, 3
Let q(z) = z + 6. Let n be q(6). Sort 2, n, 1/2 in ascending order.
1/2, 2, n
Suppose 5*t = 2*t. Let m be -2*(-1 - -2) - (0 + 3). Sort m, t, -3.
m, -3, t
Suppose 5*h + 72 = -j, -2*h - 3*h - 2*j - 74 = 0. Let y be h/8 - (-1)/(-4). Let o(n) = -3*n - 2. Let s be o(-2). Sort -1, s, y.
y, -1, s
Let u be (-38)/133*(-14)/62. Sort u, 3, 2 in increasing order.
u, 2, 3
Let a = -1/20 + -3/20. Sort -2/5, a, 4, -6 in ascending order.
-6, -2/5, a, 4
Let o(c) = -c**2 - 6*c - 1. Let u be o(0). Sort u, 5, -3, -6.
-6, -3, u, 5
Let p be 456/(-16) + 2*1. Let b = -579/22 - p. Sort -2, b, 0.3.
-2, b, 0.3
Suppose -5*z - 25 = -g, 2*z + 3*g - 27 = 5*z. Put 3, z, -1 in increasing order.
z, -1, 3
Let z be ((-1)/1)/(2/(-2)). Sort -3, z, -5 in decreasing order.
z, -3, -5
Let r be 2/23 - (1 - 1). Let x be 6/4 - (-1 + 2). Put 0.2, x, r in descending order.
x, 0.2, r
Let p be 3 - (-2)/8*-7. Put 4, 0.6, p in decreasing order.
4, p, 0.6
Let h(f) = -3*f**2 + 4*f - 3. Let u be h(3). Let d be u/(-4) + 3/(-6). Sort 0, 2, d in decreasing order.
d, 2, 0
Let h = 1.1 - -1.9. Let d = 2/93 + -68/279. Put d, h, -4 in descending order.
h, d, -4
Suppose -5*v = -u - 24, 0*u = -u + 1. Let j be (-1)/(v/4 - 1). Let r = 3 - 3. Sort 2, r, j in descending order.
2, r, j
Let d = 2.6 + -3. Let z = d + 0.2. Let s = 0.1 - 0.1. Sort 2, z, s in increasing order.
z, s, 2
Let h be (3/26)/(9/(-12)). Let f = -55 + 31. Let u = f - -20. Put h, 5, u in decreasing order.
5, h, u
Let a be (-1 - -1)*1/(-1). Suppose -5*v - 2 - 8 = a. Let r(o) = -o + 9. Let n be r(6). Sort 2, v, n in decreasing order.
n, 2, v
Let m be (4/(-10))/((-6)/(-60)). Suppose -4*h = -2*h - 10. Put m, -2, h in descending order.
h, -2, m
Suppose -15 = -0*s - 5*s. Suppose -5*x = 2*l - 13, -l + 0 = x - 5. Let o be ((-2)/l)/(19/76). Put s, 4, o in descending order.
4, s, o
Let h = 7 + -7. Let d = -15 + 47/3. Put 0.5, d, h in increasing order.
h, 0.5, d
Let r = -12/85 - 2521/85. Let f = r + 30. Suppose 2*b - 6*b = 16. Sort f, 5, b in decreasing order.
5, f, b
Let g(t) = 7*t - 14. Let a(z) = -6*z + 13. Let c(x) = -6*a(x) - 5*g(x). Let v be c(8). Suppose 0 = -v*f + 4*f - 16. Sort f, 0, -3 in descending order.
f, 0, -3
Let k be (2/(-4))/((-1)/2). Suppose 6*z = -4*g + z + 27, 4*g - z - 9 = 0. Put g, -3, k in descending order.
g, k, -3
Let w = -11 + 10.6. Sort -1/2, w, -3/8 in descending order.
-3/8, w, -1/2
Suppose 5*v