6*1/12). Sort t, 4, 5 in increasing order.
t, 4, 5
Let l = 5 - 4.8. Let b = 0 - l. Put -1/11, b, 0.5 in increasing order.
b, -1/11, 0.5
Let n(l) = -l - 3. Let r be n(-9). Let q be 1/2 + (-21)/r. Put -4, q, 5 in descending order.
5, q, -4
Let w = -13 - -14.4. Let t = 1 - w. Put t, 1/2, 0.2 in decreasing order.
1/2, 0.2, t
Let q = -5 + 10. Suppose -5*i = q*w + 3 + 17, -i = -3*w - 8. Put 3, 0, w in decreasing order.
3, 0, w
Let f = 2 + -1.6. Sort 7, f, 1/2 in descending order.
7, 1/2, f
Let i = -2 + 5. Suppose 0 = l - 8 + i. Suppose 4*g - g = 5*s - 24, -5*g + 3*s = 24. Put l, -1, g in descending order.
l, -1, g
Let k be -2*4/(-2) - 0. Let d be (3/(-9))/(1/(-3)). Let g = d + -4. Sort -5, k, g.
-5, g, k
Let r = 5.6 - 0.6. Sort 1/5, -1, r in descending order.
r, 1/5, -1
Let v = 2.29 + -0.09. Let t = 0.8 + v. Sort -2, t, -0.4 in increasing order.
-2, -0.4, t
Let x(l) = -l**2 + 12*l - 13. Let z be x(11). Put 0, -5, z in increasing order.
-5, z, 0
Let p be (1/2)/(3/30). Suppose -b + 4*k - 17 = 0, -3*b + 8*b - 3*k = 0. Put b, 2, p in descending order.
p, b, 2
Let y = 16 + -11. Suppose -3*z = 2*z - y. Suppose 3*v - 22 + 13 = 0. Sort v, 4, z.
z, v, 4
Suppose -12*j + 5*j = 7. Put -3, j, 2, -5 in descending order.
2, j, -3, -5
Suppose -h - h = -5*i, 5*h = 3*i. Sort -1/3, h, 2/3 in ascending order.
-1/3, h, 2/3
Let h = 1/18 + 31/90. Let g = 7409/294 + -1936910/77469. Let r = 5/62 - g. Sort r, h, 1/11 in decreasing order.
h, 1/11, r
Suppose 4*t + 10 = -2. Put -4, 0, t in ascending order.
-4, t, 0
Let v(m) = -m**3 + 5*m**2 + 10*m - 9. Let x be v(6). Sort -4, x, -0.4 in decreasing order.
x, -0.4, -4
Let m = 9 - 9.2. Sort -2/7, 0.4, m in descending order.
0.4, m, -2/7
Let q = 159 + -139. Sort 3, q, 0 in decreasing order.
q, 3, 0
Suppose -3*h = -12, -4*h + 6 = -4*v + 2. Sort 4, -1, -4, v in decreasing order.
4, v, -1, -4
Let c(q) = -q**3 - 5*q**2 + 5*q - 1. Let s be c(-6). Let o = 8 - s. Put 2, -3, o in descending order.
o, 2, -3
Let i(q) = -5*q**3 + 14*q**2 - 23*q + 3. Let d(a) = -3*a**3 + 7*a**2 - 12*a + 2. Let p(f) = -7*d(f) + 4*i(f). Let h be p(-8). Put h, -1, -5 in ascending order.
-5, h, -1
Suppose -5*d = 4*a - 4 - 7, -4*a + d + 41 = 0. Suppose -4*n + 2*n = -t - 2, -3*t = -3*n + a. Put n, -1/6, 0.3 in ascending order.
n, -1/6, 0.3
Let h = -28.8 - -29. Let t = -0.08 - 0.22. Sort h, 0, t.
t, 0, h
Let h = -0.3 - -0.2. Let w(x) = -x - 5. Let c be w(-2). Put h, c, 0 in descending order.
0, h, c
Suppose r = -3*r - 68. Let q be (-1)/2*r/(-5). Let i = q + 6/5. Sort i, -0.3, -1 in decreasing order.
-0.3, i, -1
Let a = -734/63 - -110/9. Let u be (-159)/(-51) + 0 - 3. Sort u, -2, a in descending order.
a, u, -2
Let h = -7 - -10. Suppose -2*w = -h*y - 7, 0 = -3*w + 3*y - 0 + 3. Sort w, -2, -3 in increasing order.
w, -3, -2
Let q = -2 - -1. Let v be q - (-1 + 0/(-3)). Let l be ((-6)/(-8) + v)*2. Sort -2/7, -5, l.
-5, -2/7, l
Suppose -j = j - 3*w - 8, -w = -2*j. Let k be (j/4)/((-6)/12). Sort k, 4, -3 in increasing order.
-3, k, 4
Let n = 256/7 + -36. Let v = 1.45 + 0.55. Put v, 0, n in decreasing order.
v, n, 0
Let h(y) = y**3 - y**2 - 4*y. Let i be h(3). Sort -4, 2, i in increasing order.
-4, 2, i
Let q be (-6)/(-8)*32/30. Let r = -1 - -8.7. Let n = 8 - r. Sort -0.1, q, n in decreasing order.
q, n, -0.1
Let v(s) be the first derivative of -s**4/4 - 4*s**3/3 + 3*s**2 + 1. Let y be v(-5). Suppose -24 + 20 = 2*u. Sort u, 1, y in decreasing order.
1, u, y
Let x = 18.5 - 21.58. Let y = -0.06 - -0.14. Let z = x + y. Put -0.1, -3/8, z in descending order.
-0.1, -3/8, z
Let g(r) = -r**3 - 6*r**2 + 7*r - 9. Let n be g(-7). Sort 4, 1, n in descending order.
4, 1, n
Let b = 0.3 + -0.1. Let c be 5/2*(-9 - -3)/3. Sort c, b, -0.5 in ascending order.
c, -0.5, b
Let c = -1 + 3. Suppose 0 = -2*j - c. Sort j, -3, 4 in descending order.
4, j, -3
Suppose -3*w + 4*u = 8, -w + 3*u + 0*u = 6. Let z be 2 + w + -2 - -2. Let v be 3/6*-2 + 4. Put z, -4, v in ascending order.
-4, z, v
Let b = 112 - 112.2. Sort 0.1, -0.5, b, -0.4 in decreasing order.
0.1, b, -0.4, -0.5
Let s(i) = -i + 1. Let z be s(0). Suppose 3*j = -2*k - 5, -3*k + 0 - 4 = j. Put -3, j, z in increasing order.
-3, j, z
Let q = -32 + 31. Sort q, 4, -5 in increasing order.
-5, q, 4
Suppose 2*d + 30 = 5*d. Let o be 2/(-10) - 168/d. Let a = o + 55/3. Sort a, -4, -3/2 in increasing order.
-4, -3/2, a
Suppose -3*g = 1 - 7. Suppose g = y - 2. Let f = 125/2 - 65. Put -2/7, f, y in increasing order.
f, -2/7, y
Let h = 24 + -16.5. Let x = h - 7. Sort -4, 0.04, x in increasing order.
-4, 0.04, x
Let x = -7.3 - -9.3. Put 0, 4, x, -4 in descending order.
4, x, 0, -4
Let m = 35 - 40. Sort -38, 0, m.
-38, m, 0
Let g = -365/6 - -61. Sort g, -1/4, -2/7 in decreasing order.
g, -1/4, -2/7
Let h(z) = z + 4. Let g be h(-3). Let y = g - -2. Sort 1, y, 2 in decreasing order.
y, 2, 1
Let y(g) = -2*g - 14. Let z be y(-11). Suppose 0 = -4*s + 2*s + z. Suppose 3*b + 0 = -2*k - s, 10 = 5*b. Sort k, 2, -4.
k, -4, 2
Suppose t + 18 = 4*g - 3, 0 = -5*t - 5. Suppose j - 6*j + g = 0. Suppose 15 = -4*x - x. Sort j, x, -1 in descending order.
j, -1, x
Suppose -3*v - 3*q = -3, 4*v + 45 - 14 = 3*q. Let c = 13 - 12.5. Let l = 2 + -4. Put l, c, v in ascending order.
v, l, c
Suppose 0 = -0*d + d + 2, 3*d + 26 = 5*x. Suppose -12 = z - x*z. Suppose -4*f = -4*y + 36, 3*f + 3 = -z*y + y. Put -4, 3, f in descending order.
3, -4, f
Let h be (36/(-30))/((-1)/(-5)). Suppose -s = 3*s. Sort h, 1, s.
h, s, 1
Suppose 8 = 5*u - 17. Let t(z) = z + 1. Let l(w) = -w - 6. Let n be l(-4). Let o be t(n). Sort -2, u, o in descending order.
u, o, -2
Suppose 5*y + 30 = 5*o, 1 = o + 4*y - 0. Suppose -6 - 6 = 2*c. Let h = c - -8. Sort h, o, 1.
1, h, o
Suppose -6 = -r - 2*o, -5*r = -2*r + 5*o - 13. Put 1, -2, 5, r in decreasing order.
5, 1, -2, r
Let c = 14.7 + -14. Let g = c - 1. Let w = -159 - -791/5. Sort w, g, 1 in decreasing order.
1, g, w
Let o(m) = m**2 + 11*m + 3. Let k be o(-11). Put k, 0, -3, 2 in increasing order.
-3, 0, 2, k
Let z be (-8)/(-3) + -1 - 2. Let s be 0/(-2 + -1) - -10. Let l be s/6*(-5)/(-25). Sort z, -0.2, l in ascending order.
z, -0.2, l
Let u = -16.09 + 16. Let f = -0.29 - u. Sort 3, f, 0 in decreasing order.
3, 0, f
Let l be 9/6*(-2)/3*4. Sort l, 1, 2, -3 in decreasing order.
2, 1, -3, l
Let j = 1 + -2. Let m be 2/(-6) - (j - 0). Let y = 78 + -75. Put m, y, 0.1 in descending order.
y, m, 0.1
Let n = -2 - -9. Let g = 3 - n. Let l be ((-2)/(-6))/(2/30). Put -2, g, l in increasing order.
g, -2, l
Let z = 3/17 - 44/153. Let j = 5 - 5. Put 4, j, z in descending order.
4, j, z
Let m = -5.6 + 12.6. Put 1/4, 0.4, m, 3 in decreasing order.
m, 3, 0.4, 1/4
Suppose -5*v - 4*n = 7, 0 = -3*v - v + 4*n + 16. Suppose 0*t + t = 4. Suppose 5*y = 5*f + 15, 0 = 4*y - 0*y + 3*f - 26. Put y, v, t in descending order.
y, t, v
Let x(f) = -f + 8. Let n be x(8). Let m be -56 + n + (-2 - 0). Let r be (3 - m/(-10)) + 2. Sort -2/13, r, 0.2 in descending order.
0.2, -2/13, r
Let p be ((-4)/10)/(-1 - 12/10). Sort 2/3, p, 0, 3/5 in ascending order.
0, p, 3/5, 2/3
Let f = -8/11 + 21/44. Let y be (-1 + (-4)/(-6))*3*0. Put y, f, -0.1 in decreasing order.
y, -0.1, f
Let l = -427/5 - -85. Put l, 0.1, 1/2 in descending order.
1/2, 0.1, l
Suppose 3 = -3*k + 5*d + 4, -4*k - 2*d = -10. Let b = -393 + 388. Sort k, b, -3 in ascending order.
b, -3, k
Let h be -2*((-55)/10 - -4). Put 4, -3, -2, h in increasing order.
-3, -2, h, 4
Let m = 23 - 20. Let j = -3.4 + m. Let q be (-4)/8*2/3. Sort q, 2, j in decreasing order.
2, q, j
Let j = 29/21 - 5/7. Let b = 0 - j. Sort -1/8, b, -2.
-2, b, -1/8
Suppose -5*s + 5*c - 15 = 0, -2*c + 1 = 4*s + 7. Sort 0, 11, s, 3 in descending order.
11, 3, 0, s
Let t be (12 + -8)*(-6)/8. Suppose 2*i - 50 + 16 = 0. Suppose i = 4*d + 3*o, 2*o - 8 = 2*d - 4*d. Put t, d, -2 in ascending order.
t, -2, d
Let r be -1*(-3 + 0)*10/(-30). Put -0.5, r, 5, 0 in descending order.
5, 0, -0.5, r
Let u be 1/((-1*3)/3). Let w = -0.36 + 0.06. Put u, w, -2 in descending order.
w, u, -2
Let n be 4 + (-55)/25 - 2. Let d = -0.38 - -0.08. Let o = 0.6 + d. Put o, 4, n in ascending order.
n, o, 4
Suppose 2*m + 4*f - 16 = 0, m - f = -3*m + 14. Suppose 0 = -j - 5*c - 18, 4*j + 7*c = m*c - 4. Let q be (-2)/8*(-2 - j). Put -4/7, -4, q in descending order.
q, -4/7, -4
Let g = -7.6 - -8. Let i be -1 - 3/(-2) - 