 be h(1). Sort i, 4, -0.2.
i, -0.2, 4
Let v = -0.939 - 0.061. Put 3/5, 7, v in decreasing order.
7, 3/5, v
Suppose -2*u = -0*u + 10. Let k(f) = -2*f - 8. Let d be k(-6). Suppose -4*z - d = -20. Sort 5, z, u in descending order.
5, z, u
Let i = 32 + -34. Sort -2/23, i, -5 in ascending order.
-5, i, -2/23
Let n = 3 - 5. Let k be (-5)/((-2)/(0 - n)). Sort 2/5, k, 0 in increasing order.
0, 2/5, k
Let n = -0.017 + -0.083. Put n, -5, -0.4, 0.7 in increasing order.
-5, -0.4, n, 0.7
Let z = -2.3 + -3.7. Let r = 5.5 + z. Sort 1, r, 4 in increasing order.
r, 1, 4
Let t be 2/(-3) + (-10)/12. Let g be (-4)/20*(-3 - -4)/(-1). Sort g, t, -2 in increasing order.
-2, t, g
Let j = -18 + 15. Sort j, 0, 2 in increasing order.
j, 0, 2
Let u(g) = g**2 + 1. Let s be u(0). Suppose 20 = -r - 3*r. Let j be 4/r*(-4 - 1). Put -3, s, j in descending order.
j, s, -3
Let x = 15 + -103/7. Sort x, 3, 2/5.
x, 2/5, 3
Let a be (-12)/(-8) - (0 - 1). Let g = -6.9 + 7.1. Sort 2, a, g in increasing order.
g, 2, a
Suppose 0 = 2*f - m + 10 - 0, 0 = m - 2. Put 5, f, -5 in descending order.
5, f, -5
Suppose -m = -3*m. Let z be 6/16 - m - 0. Let b be 3 + 3*2/18*0. Sort z, 0.4, b in descending order.
b, 0.4, z
Let h be 18/(-32)*(-2)/3. Let t be 2/30 - (-7)/21. Let f = t + 0. Put h, -3, f in descending order.
f, h, -3
Let g be (2/6 - 0)*15. Let f be 5/((-6)/(-2) - 2). Suppose -9 = 4*x - r, -x + 8 = -f*r - 4. Sort 2, x, g in descending order.
g, 2, x
Suppose -4*b = 2*d - d - 35, -10 = -3*b - 4*d. Let p = b + -6. Sort 5, p, -3 in decreasing order.
5, p, -3
Suppose 3*g + 2*d + 7 = -2*g, 2*d - 23 = 5*g. Let n(l) = -8*l**3 + 2*l**2 + 2*l + 1. Let w be n(-1). Suppose 3*j - 6 = w. Sort 0, g, j in ascending order.
g, 0, j
Let f = -0.26 + -0.24. Let x(l) = -l**2 - 6*l - 3. Let j be x(-4). Put f, 0.06, j in decreasing order.
j, 0.06, f
Suppose 3*y = -3*w - 3, y - 3*w = 3*y + 7. Let o(k) = 6*k**3 - k**2 - k + 1. Let n be o(1). Sort n, 1, y in descending order.
n, y, 1
Let g be 10/(-40) + (-102)/8. Let m = g - -9. Sort -2, 2, m in decreasing order.
2, -2, m
Let f = -9 - -11. Suppose f*g + 9 = 5*g. Put g, 2, -2 in descending order.
g, 2, -2
Suppose f - 3*m + 10 = 1, 0 = 2*m - 6. Let a = 54 - 49. Sort -3, f, a in ascending order.
-3, f, a
Let p = -3 + 5. Let k = -2.1 + p. Let z = 15 - 14.9. Put 2, z, k in decreasing order.
2, z, k
Let f(y) = y**3 + 23*y**2 + 22*y - 7. Let i be f(-22). Suppose 2*v + 0*v - 4 = 0. Sort i, v, -5 in descending order.
v, -5, i
Suppose -2*f + 5*h + 3 = 0, -4*f + 5 = -2*f - 3*h. Suppose 3*r = -3*v + 4 + 29, -2*v + 4*r + 40 = 0. Let i = v - 14. Sort f, i, 3 in decreasing order.
f, 3, i
Let b be (-4 - -1)*6/27. Put -1/6, 1/4, b in descending order.
1/4, -1/6, b
Let g = 33 + -79. Let s = g + 77. Suppose 3 = v, 5*v + 0*v = -4*u + s. Sort -4, u, 3 in descending order.
u, 3, -4
Let o = 1/10 - 7/10. Sort o, 5, -4 in increasing order.
-4, o, 5
Let w = 121 + -126. Sort w, 3/7, -0.5, 1/3.
w, -0.5, 1/3, 3/7
Let y be (-1746)/(-45)*(0 + -1). Let g = y - -39. Sort -1/16, -0.2, g in ascending order.
-0.2, -1/16, g
Let w be 5 - 2/(1 + 1). Suppose c + 2*f = 10 - 3, -f = -5*c + 57. Suppose -14*v = -c*v. Put w, v, -1 in decreasing order.
w, v, -1
Let u(z) = -17*z + 3. Let p be u(-3). Let h be (1/3)/((-9)/p). Sort 0, h, 5 in increasing order.
h, 0, 5
Let v = -5.97 - -6. Let s = v - -0.97. Sort -4, 2/5, s in decreasing order.
s, 2/5, -4
Suppose 4*s - 5*q = -51, -3*s + 15 = -4*s + 2*q. Let w = 3 + 1. Sort -5, s, w in descending order.
w, -5, s
Let j = -0.37 + -1.33. Let v = j + 1.4. Sort -4, -1/3, v in descending order.
v, -1/3, -4
Let b = 0.1 - -5.9. Let q = 1 - b. Sort q, 1, -2/7.
q, -2/7, 1
Suppose 9 = 4*k - 7. Suppose 3*p - 40 = 5*f, 10 = 3*f - k*f + p. Sort 5, f, 1 in decreasing order.
5, 1, f
Let a = 8 + -6. Suppose -a*t = -0*t. Let f = 3 - 5. Put 4, t, f in descending order.
4, t, f
Let l = -19 - -30. Let g be l/(-3) - (-9)/(-27). Let q = 2.5 - 3. Sort g, q, -0.2.
g, q, -0.2
Suppose -4*g - 12 = -5*g. Let o = g - 11. Let y(m) = -m**3 - 10*m**2 - 8*m + 4. Let i be y(-9). Sort i, 4, o in increasing order.
i, o, 4
Let v = 199/5 - 40. Let u = -24 - -17. Let z = u + 6. Sort v, z, 1/7 in decreasing order.
1/7, v, z
Let s be (-7*(-3)/7)/((-6)/(-10)). Sort 4, -10, s.
-10, 4, s
Suppose 9*p + 4*p + 52 = 0. Sort p, -1, 3, 10.
p, -1, 3, 10
Suppose 0 = 5*l - 0*l + 4*k + 40, -5*l - 25 = k. Let x be -4*(-2)/((-16)/(-10)). Let t = 7 - x. Put t, l, -1 in increasing order.
l, -1, t
Let a = 0.86 + -3.86. Sort a, 1.2, 2/11 in decreasing order.
1.2, 2/11, a
Let r = 369/5 + -74. Sort 0.2, r, -2/13 in descending order.
0.2, -2/13, r
Suppose -3*k - 5*k + 24 = 0. Sort -3, k, 0.4, 4 in increasing order.
-3, 0.4, k, 4
Let v = -1366/11 - -124. Sort v, 2/3, 3.
v, 2/3, 3
Let k = -0.163 + 0.303. Put -2, k, -6/5, -0.4 in decreasing order.
k, -0.4, -6/5, -2
Let j be (-6)/27 - 5/(-225). Sort j, 17, 4 in descending order.
17, 4, j
Let k be (-14)/(-3) + (-6)/9. Let v be 2/6*(-19 + k). Sort -2, -1, v in descending order.
-1, -2, v
Let g = 0.4 - 11.4. Put -2/3, 0, g in decreasing order.
0, -2/3, g
Let k = 1.61 - -0.39. Sort -1, k, -0.03, 3 in descending order.
3, k, -0.03, -1
Let h be (24/(-10))/((-8)/20). Suppose -h*y + y = 0. Sort y, -5, 3 in increasing order.
-5, y, 3
Let k(b) = b**3 + b**2 - b - 3. Let g be k(0). Let v be ((-4)/(-11))/(1*-2). Sort 0.3, v, g in ascending order.
g, v, 0.3
Let i be ((-4)/3)/((-6)/(-9)). Suppose 0*p - 3*p - 15 = 0. Sort -1, p, i in increasing order.
p, i, -1
Suppose 24 = -4*u + 10*u. Let y be 2 - (3 + -2)/1. Put -4, y, u in descending order.
u, y, -4
Let u = 1.5 + -2. Suppose 4 = q + 5. Put q, u, 3 in decreasing order.
3, u, q
Let c = -43 - 21. Let f = c + 318/5. Suppose 5*r - 13 = r - y, 5*r + 5 = 3*y. Sort f, r, 1/3.
f, 1/3, r
Let w be 2/6 + 2/(-6). Let n be (w + -2)/((-4)/6). Put 0.1, n, 0.5 in increasing order.
0.1, 0.5, n
Let f(o) = -o. Let z(g) = 5*g. Let b(d) = 11*f(d) + 2*z(d). Let a be b(4). Suppose -2*l + 3 = 5. Sort a, 5, l in increasing order.
a, l, 5
Let x = -0.04 + 0.11. Let p = 2.77 - 3. Let j = p - x. Sort j, -2, 5 in descending order.
5, j, -2
Let j = -3 + 5. Let b(u) = -3*u - 14. Let s be b(-5). Sort 5, s, j in descending order.
5, j, s
Let x = 13 - 8. Suppose 0*r + x*r = 5. Let h be -5 + -2 + 1 + r. Put h, -3, -4 in decreasing order.
-3, -4, h
Let k = 2.5 + -2. Let v = -188 + 559/3. Put -0.2, k, v in decreasing order.
k, -0.2, v
Let w = 9 - 9. Suppose -u + 3 = -0*u. Sort u, w, 4 in decreasing order.
4, u, w
Let v be 8 + -1 + 2 + -4. Put 0, 1, v in decreasing order.
v, 1, 0
Let o be 9/21 - 0 - (-10)/(-14). Sort -4, o, 3, 3/4 in descending order.
3, 3/4, o, -4
Suppose 13 + 27 = -5*o. Let v = o + 9. Put v, -3, -1 in decreasing order.
v, -1, -3
Let t be 0 - 2/((-4)/(-2)). Let s = -2.5 + 18.5. Let q = s - 19. Sort q, -1/2, t in ascending order.
q, t, -1/2
Suppose 0 = -t - 1 - 4. Let n(u) = u + 3. Let x be n(-3). Sort x, t, -3.
t, -3, x
Let j = 15 + -7. Let u be (-4)/(-2) + (3 - j). Suppose -5*r + 2*d + 12 = -2*d, d - 6 = -r. Sort 2, u, r in decreasing order.
r, 2, u
Suppose 0*y - 5*l + 14 = 2*y, 4*l - 18 = -5*y. Let p(k) = y*k + 4 - k + 6. Let g be p(-8). Sort g, 1, -5.
-5, 1, g
Suppose 0 = -s - 4*s + 10. Put 3, -10, s in ascending order.
-10, s, 3
Let o be (-8)/(-28) - 38/(-14). Let l = o + 0. Sort -3, l, -1 in descending order.
l, -1, -3
Suppose p + 18 = -4*b - b, -4*b = -5*p - 3. Put b, -0.2, 0, -0.1 in decreasing order.
0, -0.1, -0.2, b
Let r = 7/2 - 3. Suppose -2*i + 0 = t - 2, 5*i = 3*t + 16. Sort t, r, -0.4 in increasing order.
t, -0.4, r
Suppose -3*p - 41 + 26 = 0. Sort p, -3, -1.
p, -3, -1
Let s be 2/2*-2 + 5 + 0. Put s, 28, 0 in ascending order.
0, s, 28
Let j = -0.1 - 0.12. Let x = j + -0.08. Put x, 4, 2/3 in decreasing order.
4, 2/3, x
Suppose -2*c - 15 = -9. Sort 5, -1, c, -2 in ascending order.
c, -2, -1, 5
Let o = -7 - -3. Let r = o - -9. Sort r, -1, 3 in ascending order.
-1, 3, r
Let s = 4/59 - -47/177. Suppose 11 = -4*y + 3, -2*r - 2*y = 0. Sort r, 1/4, s in decreasing order.
r, s, 1/4
Suppose -11 = -6*o + 13. Sort o, -3, 1 in decreasing order.
o, 1, -3
Let j(y) = -y**3 + y**2 + y. Let b be j(2). Let c be -57 - b - (-6)/15. Let r = c + 54. Sort -4, 5, r in ascending order.
-4, r, 5
Let i be 5/(-15) - 10/(-3). Suppose i*c = l - 10, l + 14 + 0 = -5*c. Put 14, l, 