, 4, v in ascending order.
v, 0, 3, 4
Let o = 24 - 27. Put o, 1/6, 4 in decreasing order.
4, 1/6, o
Let p = -36/7 + 454/91. Let l = -4.5 - -5. Put p, l, 4 in ascending order.
p, l, 4
Let d = -13 + 25. Suppose -4*f = n + 5 - 15, 0 = -5*n - 10. Let s be 2/(3 - d/f). Sort s, 3, 5 in descending order.
5, 3, s
Suppose 0 = 5*h + 6 + 14. Let l = 6 + h. Suppose 0 = l*x + 3*x. Sort -4, 4, x in decreasing order.
4, x, -4
Let h be (-9)/(-7) - (-2)/(-7). Sort -4, h, -7.
-7, -4, h
Suppose -2*p = -8*p - 48. Let b = -8 + 13. Put 3, p, b in decreasing order.
b, 3, p
Let s(k) = k**2 - 7*k + 4. Let y be s(7). Put 1, 0, y in increasing order.
0, 1, y
Let y(g) = 3*g - 4. Let x be y(4). Let h = x + -6. Let k(t) = -t**3 + 6*t**2 - 2*t + 9. Let l be k(6). Sort h, -5, l in ascending order.
-5, l, h
Let y be (-1)/1*(3 - 2). Suppose -4*l + 0 - 4 = 0. Let w(s) = -4*s**3. Let a be w(l). Sort -3, y, a in increasing order.
-3, y, a
Suppose -2*x + 19 = j, 0 = x + x + 4*j - 34. Sort -6, 1, x in ascending order.
-6, 1, x
Let a(u) = 7*u - 84. Let v be a(12). Let w(l) = 2*l + 10. Let q be w(-7). Put -1, q, v in descending order.
v, -1, q
Suppose 5*s - 3*q - 5 = -8*q, 0 = 3*s - 5*q + 5. Put 9, 5, s, -4 in descending order.
9, 5, s, -4
Let d be (1/(-5))/(22/(-55)). Put d, -1/6, 0.01 in increasing order.
-1/6, 0.01, d
Suppose -2 - 8 = -5*t. Let d be 2*1*(-2)/(-1). Suppose d*p + m - 5 = 5*p, -t*p - 5*m = 3. Put p, -1, 4 in ascending order.
p, -1, 4
Let k(n) = -n**2 + 5*n. Let d be ((-2)/4)/(3/(-24)). Let i be k(d). Let g = i + -2. Put 3, g, 1 in increasing order.
1, g, 3
Suppose -3*j + 8*j + 25 = 0. Suppose 3*o - o = 0. Sort j, -4, o in ascending order.
j, -4, o
Suppose 0*b = 5*d - 3*b + 5, 0 = 5*d - b + 15. Put 1, 9, d in decreasing order.
9, 1, d
Suppose 0 = -4*j - l + 15 + 18, -5*j = -2*l - 25. Put j, 4, -3 in ascending order.
-3, 4, j
Let u = 6 + -4. Sort 5, u, -5 in ascending order.
-5, u, 5
Suppose 4*h + 6 = -2*b, h + 0 = -5*b + 3. Let s be h - (-9)/3*1. Let z = 6 - s. Sort -2, z, 3 in descending order.
z, 3, -2
Let s = -1 + 1. Suppose -u - 4 = 2*m + 1, -5*u - 2*m = 1. Let f(b) = b**3 + 5*b**2 - 7*b - 4. Let t be f(-6). Put t, u, s in descending order.
t, u, s
Let o be (-12)/5 - (-4)/30*3. Put 4, -4, -1, o in decreasing order.
4, -1, o, -4
Let k = -0.7 - -0.3. Put k, -6, 3 in ascending order.
-6, k, 3
Let i = 2.6 - 2. Let p = 2.4 + i. Sort 3/7, -4, p in decreasing order.
p, 3/7, -4
Let x = 3 - 3.05. Sort -1, 0.2, x in increasing order.
-1, x, 0.2
Let a be 1*-2*(-5)/(-2). Let o(s) = s + 7. Let c be o(-7). Suppose -5*j - 2*v = -8 + 30, 4*j - 5*v + 11 = c. Sort 2, a, j in ascending order.
a, j, 2
Let z be (-21)/(-12) - 2/(-8). Suppose -h + 2 = -z. Let i = 2 + -4. Sort i, h, -1 in increasing order.
i, -1, h
Let s = -0.23 + 0.03. Let k = 0.2 - s. Sort 0, k, 0.05 in increasing order.
0, 0.05, k
Let b = -52 - -52. Put 5, b, -2, 3 in descending order.
5, 3, b, -2
Let o = 8.6 + -8.5. Sort 0.4, o, -1/9, 0.2.
-1/9, o, 0.2, 0.4
Suppose -i - 1 = 10. Let n be 15/2 + (-2)/4. Let t = i + n. Sort 0.1, 0.4, t in ascending order.
t, 0.1, 0.4
Let o be 21/(-3)*(-18)/(-7). Put -0.2, 2, o in decreasing order.
2, -0.2, o
Let m = 168 + -102. Suppose -2*o = -354 + m. Let u = o - 1298/9. Sort u, 6/5, 0 in increasing order.
u, 0, 6/5
Let a = 0.029 - -0.971. Sort -0.4, a, -1, 1/5 in increasing order.
-1, -0.4, 1/5, a
Let v = -1.43 + -1.57. Put -1.2, v, -4, 0 in descending order.
0, -1.2, v, -4
Let v be 1/((-2)/16*-2). Let n be (-18)/(-96)*v/6. Sort -4, n, -2.
-4, -2, n
Let x = -128/3 + 42. Sort -3, 2, x in ascending order.
-3, x, 2
Let c(z) = -z**2 + 2*z. Let t be c(3). Let x be ((-10)/(-4))/(t - 8). Let w = -53/154 + x. Put w, 1, -0.3 in descending order.
1, -0.3, w
Suppose 4 = -5*r + 29. Let f = -11 + 10. Sort f, -3, r in descending order.
r, f, -3
Let n = 10/43 + -2319/172. Let q = -13 - n. Sort 3, 6/11, q.
q, 6/11, 3
Let t = 3 + -3. Let r be (-35)/(-7) + (t - 1). Suppose -19 = -3*i - 0*i + q, 2*q = -5*i + 17. Sort r, 1, i in ascending order.
1, r, i
Suppose 0 = 2*t - 9 - 11. Let z = t - 12. Sort z, -4, 2 in descending order.
2, z, -4
Let a(s) = s. Let l be a(-3). Let q = 10 + -16. Let j = -4 - q. Sort l, 5, j in decreasing order.
5, j, l
Let o = -9165/29 + 316. Let h = 33/116 + o. Put 0, -1/2, h in increasing order.
-1/2, 0, h
Let m = -2 + 2.1. Let l(i) = 4*i + 4. Let f be l(-6). Let p = f + 138/7. Put m, 0.4, p in increasing order.
p, m, 0.4
Let f = -36 + 35.9. Let l = -53/3 - -18. Put f, l, 1/5 in decreasing order.
l, 1/5, f
Suppose -u - 20 = -5*u. Put 3, u, -5 in decreasing order.
u, 3, -5
Let x = 0.92 - 0.02. Let f = -0.9 + x. Put -0.6, 2, f in descending order.
2, f, -0.6
Let i be (-26)/6 + 1/3. Suppose -v + 0 = 1. Let t be -1 - (v + i + 1). Sort -3, t, 2.
-3, 2, t
Suppose -6 = 2*x - 3*x. Let d(h) = h**2 - 6*h + 4. Let o be d(x). Put o, 0, 2 in ascending order.
0, 2, o
Suppose -2*m = -5*r + 7 + 9, -2*m = 3*r. Suppose 0*u + 4*o = -2*u, 0 = -3*u + 5*o - 11. Sort 0, m, u in descending order.
0, u, m
Let s be (-30)/48*1/5. Sort 1, s, 3 in decreasing order.
3, 1, s
Let c(u) = -u**3 + 10*u**2 - 8*u - 7. Let j be c(9). Suppose -4 = -b + 3*b. Put j, b, 5 in descending order.
5, j, b
Let i = 3 + -5. Let l be (3 - 13)*1/i. Put 4, -3, l in increasing order.
-3, 4, l
Let h = 0.04 + 0. Let s = -0.36 - h. Put 2, -0.1, s in increasing order.
s, -0.1, 2
Let t(y) = -y**3 - 5*y**2 + 4. Let h be t(-5). Let a be (17 - 2)*h/(-10). Sort 0.1, -3, a in descending order.
0.1, -3, a
Suppose 0 = 4*j - 20 - 20. Let k = j - 12. Put -2/3, -4, k in descending order.
-2/3, k, -4
Suppose 4*o - 9 = -1. Let s = -0.8 + 1.1. Sort -2, o, s in increasing order.
-2, s, o
Let b(c) = c**3 - 2*c**2 - 2*c - 1. Let o be b(-1). Let g = 2 - 2. Let f be (g/(-2))/(o + 3). Sort 1, -5, f in decreasing order.
1, f, -5
Suppose 0 = 4*b + b - 15. Suppose 0 = -5*y + 3 - 13. Sort y, 3/7, b in descending order.
b, 3/7, y
Suppose -u + 1 = 5*z + 2*u, 2*z + 2*u + 2 = 0. Let s be (3/39)/(4/8). Put s, z, 1/2 in decreasing order.
z, 1/2, s
Let c(u) = -2*u - 13. Let t be c(-9). Put t, 2, 1.2 in increasing order.
1.2, 2, t
Let o = 0.3 - -5.7. Let g = 6.2 + 1.8. Let y = g - o. Put 2/13, y, -1 in ascending order.
-1, 2/13, y
Let s = 109.8 + -110. Sort -3, s, -2, 5 in increasing order.
-3, -2, s, 5
Let b = -2 - -5. Let a(k) be the first derivative of k**3/3 - 3*k**2 + k + 9. Let u be a(6). Sort b, u, -2.
-2, u, b
Let i be 5 + (-2)/1 - -1. Suppose 3*h = -2*u + i, -22 = h - 4*u - 0*u. Sort 1, -1, h in increasing order.
h, -1, 1
Let f = -64 + 62. Put -0.5, -0.2, f, 2 in decreasing order.
2, -0.2, -0.5, f
Let u = 0.05 - -4.95. Let c = 0.0349 - 5.0349. Sort -2/13, u, c.
c, -2/13, u
Let j = 1 + -4. Suppose 3*p - 6 = 0, 2 - 8 = 4*v - 5*p. Suppose -v + 2 = g. Sort -1, g, j.
j, -1, g
Let x be 1 + (3 - 2)/(-1). Suppose 0*i - i + 2 = x. Let k be -1*3 + 324/126. Sort 1/12, k, i in ascending order.
k, 1/12, i
Let l = -2 - -6. Put l, 1, -5 in ascending order.
-5, 1, l
Suppose -3*z - 30 = -f - 4*f, -2*f = 4*z - 12. Suppose -3*k + 14 = 4*m, -4*k = 3*m - 9 + 2. Sort -3, k, f in descending order.
f, k, -3
Let y(q) = -6*q. Let d be y(-1). Sort -4, d, -2.
-4, -2, d
Let r = 3/8 + -25/24. Let w = 39/20 - 7/10. Sort r, 0, w in descending order.
w, 0, r
Let q be 1*-7*(-6)/14. Put q, 1, -5 in increasing order.
-5, 1, q
Let u = 199 + -207. Sort -4, -5, u, -1 in decreasing order.
-1, -4, -5, u
Suppose 5*w + 38 + 12 = 4*j, -5*w + 5*j - 55 = 0. Let o be ((-9)/w + 3)*2. Let n be (1/3)/(o/6). Sort 4, n, 0.4 in increasing order.
n, 0.4, 4
Let c(v) = v**3 + 5*v**2 - 8*v - 12. Let l be c(-6). Sort 5, l, -12 in ascending order.
-12, l, 5
Let i be (-2)/16 + (-1)/(-2). Suppose -3*a - 15 = -5*q, -3*q - 2*q = -2*a - 15. Let b = a + 1. Sort b, i, -0.2.
-0.2, i, b
Let u be ((-6)/20)/((-3)/(-4)). Suppose 12*z = 53 - 17. Put 0.4, u, z in increasing order.
u, 0.4, z
Suppose -2*u + 15 = 3*u. Let o be 50/(-4) + 2/4. Let a = 8 + o. Put -5, u, a in decreasing order.
u, a, -5
Let b = -1909/47815 - -9/365. Let x = 244/1179 - b. Sort 5, x, 1/4.
x, 1/4, 5
Suppose 3*l = 2*l - 9. Let f = -18 - l. Let v = f + 5. Sort 3, 5, v in decreasing order.
5, 3, v
Let m = -1184/5 - -236. Put m, 1/7, 1/15 in ascending order.
m, 1/15, 1/7
Suppose 4*o + 2*f = 20, -8*o - 3*f = -4*o - 24. Let r be (-2)/(-8) - 43/12. Let u = r +