sing order.
a, y, -4
Let v = 0.84 + -1.24. Let d = 0.5 - 0.3. Let f = 0.3 + d. Sort 3, f, v in decreasing order.
3, f, v
Let t be 6*2/((-4)/(-5)). Suppose -4*x = -t + 3. Sort 2, 4, x.
2, x, 4
Let w = -1 - -1. Let r = 4/21 - 41/105. Sort r, w, 0.3.
r, w, 0.3
Let f = -6769/11 + 474743/770. Let u = -11/14 + f. Put -2, 1/3, u in ascending order.
-2, 1/3, u
Let d = 4.685 - -0.325. Let w = -13.01 + 13. Let v = d + w. Sort v, -4, 3.
-4, 3, v
Let k(w) = w**3 - w**2. Let j be k(0). Let y(q) = -q - 3 + 6 + j*q + 2. Let p be y(5). Put p, -2, -5 in increasing order.
-5, -2, p
Let i = 20 + -20. Put -1, i, 3 in ascending order.
-1, i, 3
Suppose 2*l = -2*l + 28. Suppose -2*p - l = 3. Let u be p/((-75)/48) - 2. Put -1, u, -0.1 in decreasing order.
u, -0.1, -1
Let k = -7.7 + 7. Let s = k - -0.5. Sort -0.4, 0.4, s.
-0.4, s, 0.4
Suppose 0 = 6*z - 16 + 40. Sort 0, z, -0.01.
z, -0.01, 0
Let o(x) be the second derivative of -5*x**4/12 + 3*x. Let q be o(1). Sort 0, 1, q in ascending order.
q, 0, 1
Let o = 0.4 - 0.43. Let g = o - 1.97. Let k be 3*((-1)/(-3) + 0). Sort -3/4, k, g in increasing order.
g, -3/4, k
Let t = 8 - 8.04. Let b = -0.06 + t. Sort -1, -3/4, b.
-1, -3/4, b
Let v = 7 - 5. Suppose 0 = -4*g + 330 - 110. Let k be 45/g - (1 - 0). Put v, k, -5 in descending order.
v, k, -5
Let r be (-3 + 2)*(2 - 6). Sort r, 5, 1 in increasing order.
1, r, 5
Let z = -16 - -19. Sort z, -5, -2 in increasing order.
-5, -2, z
Let d = -61/12 - -21/4. Let l = 0.5 - 5.5. Put d, 0.4, l in decreasing order.
0.4, d, l
Let w(o) = o**3 + 4*o**2 + 5*o + 3. Let b be w(-3). Put -1, -2, b, -4 in ascending order.
-4, b, -2, -1
Let b = -0.1 + 1.1. Let u = 2.91 + -2.81. Put 0.5, u, b in descending order.
b, 0.5, u
Let y be 3/(-4)*(-40)/(-50). Let c = 54/11 - 140/33. Put y, c, -3/4 in descending order.
c, y, -3/4
Let q(v) = v**2 - 7. Let d be q(-3). Let f = 3.6 - 4. Put -0.5, f, d in increasing order.
-0.5, f, d
Let i = -14 + 8. Let h = i + 3. Put -2, 3, h in decreasing order.
3, -2, h
Let m = -1 + 1. Let w(r) = m*r + 4*r - 5*r + 8 + 2*r. Let k be w(-4). Put k, -5, -1 in decreasing order.
k, -1, -5
Let x = 0 + 0. Let j = -0.1 + x. Let v = -2/155 - -316/465. Sort v, -4, j in descending order.
v, j, -4
Let l = 2 + -2.2. Put -0.5, l, -7 in decreasing order.
l, -0.5, -7
Let y = 0.115 + -0.615. Sort -2/9, y, 12/7, 0.5 in decreasing order.
12/7, 0.5, -2/9, y
Let i(m) = -m + 5. Let n be i(0). Suppose 0 = -j + n*j. Sort 5, j, -4 in ascending order.
-4, j, 5
Let q = 182.604 - 185. Let k = q + -0.674. Let u = k + 0.07. Sort -0.5, u, -0.3 in descending order.
-0.3, -0.5, u
Let n(a) = a**2 - 2*a - 8. Let v be n(4). Let q be (0 - (v - -2))/(-2). Put q, -4, 4 in ascending order.
-4, q, 4
Let g(q) = -q - 1. Let k be g(-4). Let f = 1 + -1. Put k, f, -1/7 in ascending order.
-1/7, f, k
Let p = 7 - 11. Put 4, 5, p in descending order.
5, 4, p
Suppose 5*f - 3*f + 2 = -i, 5*f + 4 = -3*i. Let q be 9/12*i/(-6). Let d = -5.3 - -5. Sort q, d, 2/9.
d, q, 2/9
Let r = 0.11 + -4.11. Put r, 6, 0.1 in decreasing order.
6, 0.1, r
Suppose -m - 1 = -2*m, -2 = -5*v - 2*m. Suppose v = -2*x - x + 3, -5*z - 2*x + 2 = 0. Let i(g) = -g**3 - 7*g**2 - 7*g - 7. Let d be i(-6). Sort 1, z, d.
d, z, 1
Let b = -4 - -8. Put -2/7, b, -1 in descending order.
b, -2/7, -1
Let k(z) = -z - 4. Let v be k(-4). Suppose 2 = 2*i - 3*i. Sort v, -4, i.
-4, i, v
Let p = 2.39 - 2.2. Let k = p + 0.01. Sort -3, k, 5 in descending order.
5, k, -3
Let j(h) = -6*h - 49. Let w be j(-9). Sort 6, 1, w in descending order.
6, w, 1
Let o = 4 - 4. Let q = 5 + o. Let n = 3.5 - 3.1. Sort q, n, -0.5 in decreasing order.
q, n, -0.5
Let j = 8 - 26. Let p = -13 - j. Put -0.4, p, 0.4 in ascending order.
-0.4, 0.4, p
Let w = 2.4 - -1.6. Put 25, w, -0.3 in ascending order.
-0.3, w, 25
Let r(u) = 6*u - 1. Let h be r(1). Let k = 8 - h. Suppose -k*d - 1 = -2*g, 0*g + d - 1 = g. Sort g, 5, 3 in increasing order.
g, 3, 5
Suppose -3 = 3*p, -4*k - p + 12 = 1. Let l = 13 - 9. Sort 2, k, l in decreasing order.
l, k, 2
Let l = -0.99 + 0.49. Sort -4/3, 0.3, l in ascending order.
-4/3, l, 0.3
Let y(g) = 3*g - 15. Let h be y(6). Let u = h - -1. Put u, 0, 1 in descending order.
u, 1, 0
Let u = 7 + -5. Let h be 4/(-2)*(-2)/(-5). Sort u, 1/7, h in increasing order.
h, 1/7, u
Let m = -7 - -6.9. Let s = 0.5 + -0.4. Suppose c - 4 - 1 = 0. Sort s, c, m.
m, s, c
Suppose -3*i - 4*a = a + 10, i - 5*a = 30. Suppose 0 = -i*c + 2*c + 12. Sort 5, -1, c in decreasing order.
5, c, -1
Suppose 4*p - 8 + 0 = 0. Suppose 5*f - p*k - 2*k - 13 = 0, -2 = k. Let t be (-1)/1 + f - -1. Sort 5, 4, t in descending order.
5, 4, t
Suppose 5*w + 0*w + 1 = -2*j, -4*w - 12 = -4*j. Let k be (-4)/8*(-4)/j. Sort 5, k, 3 in decreasing order.
5, 3, k
Let w = 0.2 - 1.2. Let v = 0.1 + -0.1. Let y be 6/(-8) - (124/80)/(-1). Sort v, w, y in ascending order.
w, v, y
Let h = -14 - -17. Sort -0.5, h, -1 in descending order.
h, -0.5, -1
Let g be 2 + -3 + (-1 - 1). Put -1, 1, g in increasing order.
g, -1, 1
Let a = 0.24 - 0.04. Let t = 3/4 + -13/12. Let z = 0.1 - -3.9. Put z, a, t in decreasing order.
z, a, t
Let f = 8 - 8.8. Let k = 2.2 - f. Let c = -254 + 1782/7. Put 0.3, k, c in descending order.
k, c, 0.3
Let y = 0.52 - 0.12. Let c = 3.6 + y. Sort c, 0.3, 2/7 in descending order.
c, 0.3, 2/7
Let r(w) = 2*w**2 + 7*w + 4. Let j be r(-4). Let v be 18/j + 2/(-8). Put 3, -2, v in descending order.
3, v, -2
Let c = 247.2 - 247. Let o = 3 - 7. Sort o, c, -2/5 in ascending order.
o, -2/5, c
Let c = 11 - 43/4. Put 0.1, c, -0.1 in ascending order.
-0.1, 0.1, c
Let b(f) = f**3 + 4*f**2 + f - 4. Let w be b(-3). Let n be w/4*(-3)/(-6). Put n, 2, 0.3 in descending order.
2, 0.3, n
Suppose -n + 2 = n - z, -3*n - 11 = -5*z. Put -3, 14, n in descending order.
14, n, -3
Suppose 3*f - 5*a - 8 = 6*f, -4*f = -5*a - 1. Sort 4, -2, f, 3 in ascending order.
-2, f, 3, 4
Let y be (1 - -1)/1 + -1. Suppose -r + 0*m - 5*m + y = 0, 4 = 4*r - 2*m. Sort 2, -5, r.
-5, r, 2
Let w = 5 + -3. Let l = 6.9 + -7. Put w, l, -1 in decreasing order.
w, l, -1
Let g = -53.1 - -57. Let v = 0.9 - g. Sort v, 4, 0.1 in descending order.
4, 0.1, v
Let h = -0.07 + -2.93. Let x = 3.3 + h. Put -2/7, -0.2, x in decreasing order.
x, -0.2, -2/7
Let c = -23/20 - -7/5. Let z = 0 + 1. Sort -4, c, z in ascending order.
-4, c, z
Suppose 0 = 2*q - 0*q - 26. Sort -1, q, 2, 1/3.
-1, 1/3, 2, q
Suppose 3 = -4*o - 1. Suppose -x = x - 20. Suppose -5*q - x = -0*q. Sort o, 1, q in descending order.
1, o, q
Let y = -74/3 - -31/6. Let q = 20 + y. Let c = -6 + 1. Sort c, -0.2, q in descending order.
q, -0.2, c
Let h = 215/2 + -105. Sort h, -0.1, -2, 5 in increasing order.
-2, -0.1, h, 5
Let n = -0.07 + -1.53. Let z = n + 1.1. Put -5/6, z, 0.1 in descending order.
0.1, z, -5/6
Let b = 0.55 + -0.75. Sort 1/4, 3, b, -5.
-5, b, 1/4, 3
Let q = -17 - -17.45. Let b = -0.05 - q. Sort b, 0, 0.2 in decreasing order.
0.2, 0, b
Let x(h) = h - 2. Let m be x(-3). Sort 4, -7, m, -1 in descending order.
4, -1, m, -7
Let y(d) = -8*d - 198. Let f be y(-25). Let i be (-1)/2 - (-2)/4. Sort i, f, -6.
-6, i, f
Let q = -58 + 60. Sort 3, 5, q.
q, 3, 5
Let x = -0.6 + 0. Let j = x - -1. Sort j, -5, -2 in decreasing order.
j, -2, -5
Let t = 10 + -14. Let c be 18/(-30) - (-24)/(-10). Sort c, 0, t in descending order.
0, c, t
Let x = 0 - -1. Suppose 4*l - 3 = -7, 0 = -5*v - l + 9. Suppose x = v*j - 3. Sort j, -5, 0 in descending order.
j, 0, -5
Let u = 4.4 - 4. Let r = 3.4 - u. Let o be (-5)/12*9/(-10). Sort o, r, 4 in descending order.
4, r, o
Suppose -2*a + 1 = 11, 3*p - 19 = 2*a. Let o = -4.9 + -0.1. Sort o, 2, p in decreasing order.
p, 2, o
Suppose -y - y = -2. Let j be (2 - (-34)/(-10)) + y. Let d be 6/(-9)*(-2)/(-4). Sort d, -2, j in increasing order.
-2, j, d
Let k(l) = 2*l**3 + 2*l**2 - l + 1. Let f be k(-2). Let v = 0 - -2. Put f, 1, v in descending order.
v, 1, f
Let k be (-6 - -9)/(1 - 4/16). Put 3, 2, 6, k in increasing order.
2, 3, k, 6
Suppose i = 4*i + 3. Sort 3, -5, i, -3 in increasing order.
-5, -3, i, 3
Let v be 4/(-14) + (-80)/14. Let w = -4 - v. Suppose -3*x + 0*j + 5*j = 15, -3*x = 4*j + 15. Sort w, x, 4 in decreasing order.
4, w, x
Let l = -0.5 - -0.4. Let v = l - -0.11. Let x = v + 3.99. Put x, 3/5, -4/3 in descending order.
x, 3/5, -4/3
Let x = -15.2 + -1.8. Let l = -16.9 - x. Sort 2, -3, l in incr