 3*o - t. Sort s, 3, 5 in decreasing order.
5, 3, s
Let q = -317 - -489. Let f = -2063/12 + q. Put -5, -4, f in decreasing order.
f, -4, -5
Suppose 4*c + 12 = -4*q, -3*c + 4*q + 15 = -4*c. Let z = 25 - 27. Sort 2, z, c in decreasing order.
2, c, z
Let s be 6/10 + 91/65. Let t(q) = 2*q - 2. Let v be t(6). Suppose 0*g - 2*g - 4*y = v, 3*g = 2*y + 25. Sort -3, s, g.
-3, s, g
Let t = -1.96 + -1.04. Sort t, 0, 3/2, 4 in descending order.
4, 3/2, 0, t
Let s = -4 - -12. Let d = 5 - s. Put -2/11, 0, d in descending order.
0, -2/11, d
Let f(a) = a. Let q(u) = -u**2 - 4*u - 5. Let m(v) = 5*f(v) + q(v). Let o be m(0). Sort o, 5, -3 in increasing order.
o, -3, 5
Suppose 0*h = -r - 2*h - 2, 28 = -3*r + 5*h. Put 0, -2, r in increasing order.
r, -2, 0
Let a = -2/287 - 556/2583. Put 1/8, 3, a in descending order.
3, 1/8, a
Let b = 6 - 4. Suppose -5*j + 1200 = -0*j. Let n be j/114 - (b - 0). Put n, 2/3, -0.3 in increasing order.
-0.3, n, 2/3
Let w = 3.6 + -3. Let g = -1 + w. Suppose 4*v = -4*u - 4, 3*u - 2*v - 11 = 2*u. Sort u, -2, g in decreasing order.
u, g, -2
Suppose 2*z = -6*v + v + 20, 5*v = -3*z + 25. Suppose 6 = -3*s, -s - 32 = -4*u - z*s. Let d be 11/u - (-4)/10. Put 0.4, d, 5 in decreasing order.
5, d, 0.4
Let k = -13 + 17. Sort -3, k, -4, -5.
-5, -4, -3, k
Let m(g) = -g**2 - 4*g - 1. Let a = -2 - 0. Let s be m(a). Suppose -4*t + s = 7. Put t, 0.5, -0.5 in increasing order.
t, -0.5, 0.5
Let z = -2.2 - -3.1. Sort -0.4, 3, z in increasing order.
-0.4, z, 3
Suppose 24 = -0*v + 3*v. Let o be (-2)/v + 21/(-12). Suppose 3*w = w - 2*m - 20, w = -4*m - 25. Put o, -4, w in ascending order.
w, -4, o
Let n = 6 - 10. Let t = 2.5 + 1.2. Let x = t + n. Put 2, x, 1 in descending order.
2, 1, x
Suppose -20 = 3*c + 2*c. Let v(d) = d. Let f be v(c). Sort f, 3, -2 in descending order.
3, -2, f
Let a = -7.7 - -8. Sort -0.11, a, 3/2 in increasing order.
-0.11, a, 3/2
Suppose 0 = -b + 1. Suppose -329 = 5*d + 521. Let j be d/45 - (-2)/(-9). Sort j, 4, b in ascending order.
j, b, 4
Suppose -2*h + 14 = 2*l, 0*l - 3 = 3*l. Let z = h - 4. Let a = -9 + z. Put -4, -2, a in increasing order.
a, -4, -2
Let u = 2.05 + -0.05. Let i = 2 - 3. Let j = u + i. Put 0.5, -1/4, j in decreasing order.
j, 0.5, -1/4
Let k = -21 - -21. Suppose -4*u - 9 = -y, -9 = 2*u + u. Put 2, k, y in decreasing order.
2, k, y
Suppose 0 = -2*i - 4*h - 6, -3*i + 6*h - 2*h + 21 = 0. Suppose 0 = -3*s + 5*l - l - 15, 0 = 4*l. Sort s, i, 2 in decreasing order.
i, 2, s
Let z = -5 + 5. Put 3/7, 0.3, z in increasing order.
z, 0.3, 3/7
Let h(a) = -2*a**2 + 4. Let i be h(-2). Sort 14, i, -5 in descending order.
14, i, -5
Let s(w) = 3*w - 8. Let a be s(4). Sort a, -23, -2, -5 in increasing order.
-23, -5, -2, a
Let b = -12 - -11.93. Let o = b + 0.07. Put o, -1/2, -5/2 in descending order.
o, -1/2, -5/2
Let f be 2/(-10) - (-2)/10. Suppose f = -5*u, 7*a - 4*a - 12 = -2*u. Sort a, 2/7, -0.5 in increasing order.
-0.5, 2/7, a
Let n = -117.6 + 148. Let z = n - 34. Let k = -0.4 + z. Sort -0.1, k, -5 in decreasing order.
-0.1, k, -5
Suppose -y + 4 = y. Let w = 3 + -3. Suppose w*b + 4 = b. Sort -1, b, y in decreasing order.
b, y, -1
Let d = -98 + 103. Put d, 3, 0 in descending order.
d, 3, 0
Let y = 7.2 + -6.2. Put 3, 2/7, y, -5 in decreasing order.
3, y, 2/7, -5
Suppose 13*v - 12*v + 13 = 2*x, 3*v + 19 = 2*x. Put 3/5, 0.2, -1, v in descending order.
3/5, 0.2, -1, v
Let g be 3/((-9)/12)*1. Let m(b) = -b**2 - 36. Let z be m(0). Let i be ((-12)/10)/(z/120). Sort g, -2/3, i.
g, -2/3, i
Let n = -41 - -37. Sort -3, 2, n in ascending order.
n, -3, 2
Let z = 7/18 + -2/9. Put -11, z, -5, -3/7 in ascending order.
-11, -5, -3/7, z
Suppose 0 = -2*g + 8 - 2. Let i = 2 - g. Sort i, -5, 3 in decreasing order.
3, i, -5
Let i = -2/11585 + 30141/115850. Let c = i + -3/50. Put -1/8, c, -2/7 in descending order.
c, -1/8, -2/7
Let b = 2 + 1. Let w be 4/((-84)/69) - 8/(-28). Put b, w, 1 in ascending order.
w, 1, b
Let i(z) = 8*z - z**3 - 4 - 8*z - z**2. Let l be i(0). Let x be 3/3 + 3*-2. Put 4, l, x in ascending order.
x, l, 4
Let z be -2 + 2/((-12)/(-13)). Let x = -133/3 - -44. Sort z, -4, x in ascending order.
-4, x, z
Suppose -5*g - 2*a + 17 = -0*a, 3*g - 2*a = 7. Let z = 0 + 5. Let v = 1 + -2. Sort v, z, g.
v, g, z
Let v(m) = m**2 - 7*m + 5. Let o(d) = 7*d**3 - 2*d + 1. Let i be o(1). Let a be v(i). Sort a, -5, 5 in increasing order.
-5, a, 5
Suppose 7 = -6*f + 1. Sort 8, -5, f in ascending order.
-5, f, 8
Let z = -16.1 + 16. Let h = 11.3 - 11. Put h, -3, z in descending order.
h, z, -3
Let l(p) = 3*p**2 - 9*p - 2. Let f be l(3). Put f, -5, 11 in ascending order.
-5, f, 11
Let b(r) = -r**2 - 7*r - 7. Suppose -4*f - 34 = -14. Let i be b(f). Put -5, 2, i in increasing order.
-5, 2, i
Suppose -5*r + 3*p - 1 = 0, -6 = 3*r + 3*p + 9. Let s = r + 5. Put 2, -2, s in decreasing order.
s, 2, -2
Let y be 4/(-10) - (-56)/90. Let v = 0.2 - 0.3. Let o(u) = u**2 + 12*u + 7. Let d be o(-11). Sort v, y, d in descending order.
y, v, d
Suppose -b + 4*q - 9 = 0, -2*q + 0*q - 1 = 5*b. Let g = -8 - -6. Sort g, 5, b in ascending order.
g, b, 5
Let d be 3/2 - 9/6. Sort d, -2, -9, -5.
-9, -5, -2, d
Let q(a) = -4*a - 2. Let l be q(-2). Put 0, -3, l in descending order.
l, 0, -3
Let r(p) = 19*p**3. Let s be r(1). Suppose -14 - s = -w - 5*v, 11 = 2*w - v. Let b be 12/w*4/(-3). Put 1/3, b, 5 in decreasing order.
5, 1/3, b
Let d = 0.5 - 1.5. Let p = -5.1 + 0.1. Let k = p - d. Sort k, -3, -5 in decreasing order.
-3, k, -5
Let b = 5 + -1. Suppose 0 = -3*s + 5*s - 10. Sort s, b, -6.
-6, b, s
Let i = -1.405 + 0.405. Let v = -20/11 + 109/66. Sort v, i, -5/4 in descending order.
v, i, -5/4
Let h = -0.9 + 1. Let a = 0.009 + -3.009. Put a, 11/5, h in ascending order.
a, h, 11/5
Let c(t) = t**3 - 6*t**2 - 2*t + 7. Let a be c(6). Let w be (-1 - -2)/(a/(-10)). Let q be ((-4)/(-8))/(1/(-4)). Put 1, w, q in descending order.
w, 1, q
Let g(z) = -z**3 + 8*z**2 + z - 8. Let y be g(8). Let s = y + 4. Suppose s*h = -5*o + 7, -10 - 6 = 5*h - 2*o. Sort -4, h, 3 in descending order.
3, h, -4
Let j(d) = d**2 - 5*d + 5. Let x be j(4). Suppose 0 = 2*y + 15 - 5. Put y, -4, x in decreasing order.
x, -4, y
Let q = -59 - -57. Put 0.12, -0.3, q in descending order.
0.12, -0.3, q
Let h = 10.6 - -0.1. Let x = 11 - h. Sort -0.3, x, -2.
-2, -0.3, x
Let a = 7 - 11. Let t = -329/2 + 165. Let x = -196/5 - -39. Put t, x, a in decreasing order.
t, x, a
Suppose -h = -3*b - 3, b + 11 = -5*h - 6. Let p be (b/(-5))/(3/(-30)). Let i = -5 + 3. Sort i, -3, p.
p, -3, i
Suppose 2*m = m + 5. Suppose 0 = 3*i + m*k - 13, 11 = -4*i + k - 10. Let y be 54/(-10) + i/(-10). Sort y, 1, -4 in decreasing order.
1, -4, y
Suppose 3*i + a + 109 = -0*a, 182 = -5*i - 2*a. Let l = 26 + i. Let h be (3 + 26/l)/(-3). Sort -4, h, 1 in descending order.
1, h, -4
Let p = -367.06 + 364. Let q = p - -0.06. Sort -2, q, -8 in increasing order.
-8, q, -2
Suppose p + 0*p = 4. Let l be 0 + (1 + 0 - 3). Put p, l, -4 in decreasing order.
p, l, -4
Let o = 5 + -5.02. Let x = 0.22 + o. Put -2, 5/2, x in increasing order.
-2, x, 5/2
Suppose 0 = 3*i + 2*i + 25, -3*j + 3*i = -6. Let a = 5 - -2. Let v = a - 5. Sort j, v, -2 in descending order.
v, -2, j
Let p = 7.4 + -4.1. Sort 1/4, p, 2/9.
2/9, 1/4, p
Suppose 0 = s + 2, j + 0*j + 2*s - 3 = 0. Suppose -2*k - 20 = -j*k. Suppose k = -5*o - 11. Sort o, 4, -2 in decreasing order.
4, -2, o
Let h = 26 - 129/5. Let w = 6/59 - 280/1593. Let d = 4/27 - w. Sort h, d, 0.4 in decreasing order.
0.4, d, h
Let u = -194 + 973/5. Sort -5/6, 4, u, 2/9.
-5/6, 2/9, u, 4
Let l = 17 - 22. Put l, 0, 2 in increasing order.
l, 0, 2
Let u = -93 - -93.1. Sort -4, -2, u, -0.4 in ascending order.
-4, -2, -0.4, u
Let h = -7.97 + -0.03. Let w = -7.7 - h. Sort w, 1, 5/2 in decreasing order.
5/2, 1, w
Suppose -2*r = -5*n - 3*r - 38, 4*n + 2*r + 28 = 0. Let p be 2*((-3)/n)/(-3). Let l(t) = -t - 9. Let s be l(-4). Sort 2, s, p in decreasing order.
2, p, s
Let x be (2 + -2 + 1)*-5. Suppose b = -5*u - 5, -4*b + 5*u = 7*u - 16. Suppose -5 = h + p + 2, -2*p = -b*h. Put -2/5, h, x in decreasing order.
-2/5, h, x
Let z = 18 + -19. Let d be (-8)/(-36) + 43/9. Sort d, 1, z in descending order.
d, 1, z
Suppose 2*u - 4*u = 5*m - 8, -2*u = m. Put 2, 3, u in descending order.
3, 2, u
Let w = 0 + 2. Let c be (-2 + (-69)/w)/21. Let t = c - -11/7. Put