Let m be 8/12 + (-50)/(-6). Suppose m = 3*a - 0. Sort -0.5, -4, a.
-4, -0.5, a
Let c(f) = f + 3. Let x be c(-4). Suppose 0 = 2*u - 18 + 14. Suppose 3 + 4 = 3*v - h, -3*h = -2*v - 7. Sort x, u, v in descending order.
v, u, x
Suppose 0 = 3*q + 3, -4*i + 2*q + 38 = -0*q. Suppose -i = 3*v - 24. Suppose 4 = -v*k - 1. Sort k, 5, -4 in descending order.
5, k, -4
Let f = -4.1 + 3.8. Put -0.7, f, -5 in descending order.
f, -0.7, -5
Let y = 1 + -6. Let s = 15 - 8. Let f = s + y. Put f, 4, -3/5 in decreasing order.
4, f, -3/5
Let m = -0.44 + -2.56. Put 3, 0, m in ascending order.
m, 0, 3
Suppose 5*t - 2*j = 31, 0*t + 3*j + 19 = 2*t. Let z be (-2 - -2) + 0 + 2. Sort t, -0.1, z.
-0.1, z, t
Let h = 21/8 + -33/8. Let o = 32 + -31. Put o, -1/12, h in decreasing order.
o, -1/12, h
Let d = 2.88 + -3. Let k = d + -0.08. Sort 0.2, 1, k in decreasing order.
1, 0.2, k
Let i = 0.28 - -0.02. Let c = -0.79 + 0.49. Put i, c, 4 in decreasing order.
4, i, c
Let d = 25.3 + -25. Put 4, d, -3/5 in decreasing order.
4, d, -3/5
Suppose 36*q + 15 = 39*q. Put 0, -2, q in decreasing order.
q, 0, -2
Let t = 12 - 11. Suppose 0 = 2*i + 3*z - 1, 3*i - 2*i + z = t. Sort 7, -3, i in decreasing order.
7, i, -3
Let k = 6.3 - 4.3. Sort 4, k, -1/3 in ascending order.
-1/3, k, 4
Suppose 0 = 4*g - 2*u - 26, g + 3*u - 1 = -g. Suppose -26 = -4*z + 2*k, 0 = -5*k + 4*k - g. Sort 0.5, z, 0 in decreasing order.
z, 0.5, 0
Let d(i) = -i**3 + 5*i**2 - 3*i + 4. Let r be d(4). Suppose -33 = -5*t - r. Suppose 4*o - 4*w - 24 = 0, t*o + 3*w + 10 = -0*o. Sort 0, o, 2 in increasing order.
0, o, 2
Let r be (-2)/(-7) - (180/35)/(-3). Sort r, -0.5, -5, -1.
-5, -1, -0.5, r
Let l(x) = x**3 - 5*x**2 + 2*x - 6. Let w be l(5). Suppose -4*y + 0 = -w*j - 4, 0 = 3*j + 3*y + 15. Let i be (-10)/(3*(-6)/(-9)). Sort -4, i, j.
i, -4, j
Let j = 76 + -75.8. Let b be (-8)/14 + 2/7. Sort b, -0.4, j in ascending order.
-0.4, b, j
Let t be 2/(-2) + 12 + -3. Suppose -3*j + k + t = 0, j + 0*j + k - 8 = 0. Suppose v - j*v = 12. Sort -2, v, 4.
v, -2, 4
Let t = 18 + -20. Sort -1, t, 0, -5 in descending order.
0, -1, t, -5
Let p be (9 - 15) + 64/10. Let n = -0.21 + 0.2. Put n, p, -3/5 in ascending order.
-3/5, n, p
Let w = 7 + -4. Suppose -3*r - 3 = -2*d, 3*d - 1 = 5*r + 4. Let k = 6 - 4. Sort d, w, k.
d, k, w
Let a be (0 - 14/(-6))/((-2)/(-6)). Let h = -4 + 6. Sort h, a, -1 in descending order.
a, h, -1
Let l = 2.78 - 2.38. Let z be 1/(-3) + 4/(-15). Sort -1, z, l in increasing order.
-1, z, l
Let m = -26/19 + 220/133. Let l = -12.8 - -15.56. Let i = l + 0.24. Sort m, 0.5, i.
m, 0.5, i
Let z(q) = -q**3 + 8*q**2 - 14*q + 9. Let d be z(6). Sort d, -5, 1.
-5, d, 1
Suppose 2*i = -3*z + 9, -7*i + 15 = -3*i + 3*z. Put 1, -5, -3, i in increasing order.
-5, -3, 1, i
Let t(j) = -10*j - 36. Let d be t(-4). Let x = 9 - 7.8. Let k = x + -0.2. Sort 2, k, d in increasing order.
k, 2, d
Suppose -18*u = -17*u + 3. Put 1, 6, u in descending order.
6, 1, u
Suppose -4 = v + v. Let x be v/(-14)*(-92)/(-6). Let a = 20/7 - x. Sort -2/5, a, -4 in decreasing order.
a, -2/5, -4
Suppose -2*b + 0*w - 14 = -w, -2*b - 22 = -3*w. Let k = 1 + -1.5. Suppose 3*h - 11 = s, -2*s + 3 = -h + 5. Sort h, b, k in ascending order.
b, k, h
Let t(i) = i**3 + 2*i**2 - 3*i. Let x be t(-3). Let w be (-2)/3*(-9)/2. Sort w, 5, x.
x, w, 5
Let y be (-6)/(-7) - (-3)/(0 - -21). Sort y, 2, -2 in ascending order.
-2, y, 2
Let r = -11 + 15. Put -2, 3, r in decreasing order.
r, 3, -2
Let w = -14 - -17. Let s = -0.22 - -4.26. Let f = -0.04 + s. Put 0.5, f, w in decreasing order.
f, w, 0.5
Let q = 19 + -9. Let o = 10.1 - q. Let b be 1 + 21/19*-1. Sort 0.4, o, b.
b, o, 0.4
Let w = -8 + 6. Let u = w - -8. Sort u, -4, 1 in descending order.
u, 1, -4
Suppose 2*x - 136 = -4*m, 0 = 3*m + 3*x - 44 - 52. Let z be -3 + m/21 - -1. Put 5, z, -2 in decreasing order.
5, z, -2
Let h be (1 + -3 - -4) + (-2)/3. Put 1, h, -4 in increasing order.
-4, 1, h
Suppose 3*o = -4*m + 13, 2*m - o - 9 = -0*o. Put 0, m, 5 in decreasing order.
5, m, 0
Let j be 0/5 + (-3)/(-2). Suppose 0 = 4*h - 16, 0 = -2*c + 4*h - 2 - 20. Put c, 5, j in decreasing order.
5, j, c
Let x = 0.4 - 0.3. Let n = 0.2 - x. Let g = -2/33 - 25/132. Put g, 3, n in descending order.
3, n, g
Let r = 0.9 - 0.8. Sort 0, 0.5, r.
0, r, 0.5
Let x = -0.03 + 0.03. Let l = 0 + -0.1. Sort -1, l, x in decreasing order.
x, l, -1
Let s be ((-6)/42)/((-2)/8). Put 1, s, 4 in ascending order.
s, 1, 4
Let d = 2 + -2.6. Let y = -1.1 - d. Put y, 3/4, -4 in ascending order.
-4, y, 3/4
Let g = -11 + 11. Put g, -3/7, -1 in ascending order.
-1, -3/7, g
Let b = 6 + -5. Sort -2/7, 0.1, b in descending order.
b, 0.1, -2/7
Let n(k) = k**3 + 6*k**2 - 1. Let d be n(-6). Put d, 1/2, 4 in descending order.
4, 1/2, d
Let o = 89/522 - -3/58. Suppose -4*u = -4*m + 16, 2*u + 7 = m + 2*m. Sort u, o, -0.2 in decreasing order.
o, -0.2, u
Let u = 8 + -7. Sort -0.5, 5, u.
-0.5, u, 5
Let w be (7/(-2))/7 - 6/(-20). Put w, 0, 0.7 in ascending order.
w, 0, 0.7
Let m = -143 - -436/3. Sort -2/9, m, 0 in decreasing order.
m, 0, -2/9
Let m = -4 + 8. Let l = 1 - m. Let a be ((-2)/l)/((-6)/18). Sort 4, a, 1 in decreasing order.
4, 1, a
Let a be (-5 - -3)*(-2)/4 + 2. Put -2, -5, -4, a in ascending order.
-5, -4, -2, a
Let z = 0.093 - -0.007. Sort -1, z, -2/9, 4 in ascending order.
-1, -2/9, z, 4
Let p(s) = -s**2 + 4*s + 5. Let k be p(5). Let u be (-14)/(-10) - (-9)/15. Suppose -l - 2*l = 2*h - u, 2*l + 4*h + 4 = 0. Put -3, l, k in descending order.
l, k, -3
Let h = -1 - -2. Suppose 0 = -3*r + 6. Put h, r, 3 in descending order.
3, r, h
Let i = -0.007 + -0.073. Put 3, i, -1/4 in descending order.
3, i, -1/4
Let z(c) = -c**2 + 4*c + 5. Let t be z(5). Let q = 0.04 + 2.96. Sort 5, t, q in increasing order.
t, q, 5
Let i(x) = -x**2 + 7*x - 4. Let s(p) = 2*p. Let k be s(3). Let c be i(k). Suppose 0*m - c = 2*m. Sort 5, m, 2.
m, 2, 5
Let h = -1 + 0. Let g(s) = s + 11. Let j be g(-7). Let o = -140/219 - 2/73. Sort j, h, o in ascending order.
h, o, j
Let q be 2*(0 + 1 - 2). Let p be (-3)/1*-2 + q. Let h = -35 - -32. Sort h, 0, p.
h, 0, p
Suppose 5*r = q + 4*q - 35, -r = 3*q - 9. Let s be (-1 + 1 - 2)*1. Sort q, 3, s in ascending order.
s, 3, q
Let n(b) = b**3 + 6*b**2 - 5*b + 9. Let q be n(-7). Let t(v) = -2*v - 6. Let k be t(-4). Sort k, 0, q.
q, 0, k
Let u(k) = k**2 + 8*k - 5. Let l be u(-8). Let z(d) = -d + 6. Let y be z(6). Suppose 2*g = -y*g - 2. Sort l, g, 4 in decreasing order.
4, g, l
Let j = 35 + -24. Sort 4, -4, 0, j.
-4, 0, 4, j
Suppose 0 = -2*i - 2*z - 4, -i + 3*i + 4 = 5*z. Put -1, 0.4, i in descending order.
0.4, -1, i
Let l = 19 + -14. Sort l, 2, 4.
2, 4, l
Let v be ((-6)/10)/((-1)/(-5)). Let x be 1*(-7 - v)/4. Let d(g) = 2*g + 5. Let h be d(-4). Put x, h, 1 in descending order.
1, x, h
Let j(a) = a**2 + 9*a + 1. Let u be j(-6). Sort 0.5, u, 4, -2.
u, -2, 0.5, 4
Let t be 15/9*(-1 + -2). Suppose 2*i = 4*d - 8, -5*d + 0 + 10 = 0. Suppose 2*g + 3*g = i. Put t, g, 5 in ascending order.
t, g, 5
Let l = -35 + 40. Let u = 3.8 + 1.3. Let n = u - l. Sort 1/3, n, -2/7 in descending order.
1/3, n, -2/7
Let v = -15 + 12. Let s be (-3)/(0 - 1*4). Sort s, -1, v.
v, -1, s
Suppose -5*w - 25 = 0, -5*q = 2*w + 2 + 8. Suppose -5*n + 5 = 3*u - 0, -3 = -3*n + 3*u. Let i be (-40)/(-60) + (-10)/6. Put n, i, q in descending order.
n, q, i
Let f(i) = i**3 + 5*i**2 + 5*i + 1. Let c be f(-4). Let k = -4 - c. Let t(s) = -s - 19. Let q be t(-22). Sort k, q, 4 in descending order.
4, q, k
Let q(u) = u**3 + 5*u**2 + 2*u - 5. Let g be q(-4). Suppose 0 = -h + 6 - g. Put h, 2, 5 in decreasing order.
5, h, 2
Let w = -26 + 27. Sort -3, 2, w, 2/9.
-3, 2/9, w, 2
Let l = -9 - -12. Put 5, 1, l, -1 in increasing order.
-1, 1, l, 5
Suppose -2*t = 8, t + 23 = 3*c - t. Suppose 2*x + 4*q + 10 = 0, -3*q = 2*x - 0*x + c. Put 3, 0, x in increasing order.
0, 3, x
Let z be -14 + 9 - 52/(-10). Sort 3/2, -3, z, -0.2 in descending order.
3/2, z, -0.2, -3
Let x = 0.96 + 3.04. Put -5, x, -5/3, -13 in descending order.
x, -5/3, -5, -13
Let j = 13 - 16. Let m be 2/(1 - 2/(-2)). Let w = m + j. Sort 2, -4, w in increasing order.
-4, w, 2
Let n be (-4)/(-18) + 43/9. Suppose 2*r - 4*r = -5*j + n, -5*r = -2*j + 2. Sort j, -5, -1 in decreasing order.
j, -1, -5
Suppose 0 = -z - 1 + 4. Let y(s) = s. Let w be y(-1). Suppose 2*b + 19 = 4*k - 3, -3*k + 