 = -1384 + 1380. Put -9, -2/9, a in ascending order.
-9, a, -2/9
Let i = 1.6 - 0.7. Let h be (-2)/(-5) + (12 - (-470)/(-50)). Put i, -3/8, h, 5 in decreasing order.
5, h, i, -3/8
Let y be (-34)/(-40) + (-1)/4. Let c be (14/(-4) - -3)*-10 + 5/(-1). Sort c, y, 4, 4/9 in increasing order.
c, 4/9, y, 4
Suppose 6*y - 544 = -526. Suppose -2*i + 8 = 2*i. Suppose 5*p - 7 + i = 0. Put p, y, 4 in ascending order.
p, y, 4
Let x = 347 - 346.966. Put -2/19, -1, -2, x in increasing order.
-2, -1, -2/19, x
Suppose -n + o = 2*o - 10, 3*o = -3. Sort 1, -7, -1, n in ascending order.
-7, -1, 1, n
Let d be 2/(-66) - 1/(-6). Let t = d + 49/44. Let o = -2 - -2.4. Sort 0.3, t, o in increasing order.
0.3, o, t
Let f be (-79)/(-15) + (-2 - 8/(-6)). Suppose -1 = 3*u - 16. Let i = f - u. Sort 1/6, 3/7, i in decreasing order.
3/7, 1/6, i
Let c = 1789/9 + -199. Sort 0.5, c, -2.8, -3/7.
-2.8, -3/7, c, 0.5
Suppose 2 - 10 = 4*h. Sort 17, 3, h, -1.
h, -1, 3, 17
Let x = 0.26 + 2.74. Put x, 2.7, 5 in decreasing order.
5, x, 2.7
Suppose -3*t = 3*l + 156, 2*t + 9*l + 107 = 4*l. Let z = t - -53. Put -1, z, -4, 3 in decreasing order.
3, z, -1, -4
Suppose 9*r - 3*r = 24. Let k = 20 - 39. Let x = k + 15. Sort x, r, -1 in ascending order.
x, -1, r
Let d(b) = b**2 + 11*b + 12. Let j be d(-10). Suppose 0 = -j*c - 52 + 30. Let r(i) = -i**2 + 3*i + 5. Let s be r(4). Sort 5, s, c in decreasing order.
5, s, c
Let g be (-10)/(-65) + (-112)/52 + -13. Put 2, 5, -2, g in descending order.
5, 2, -2, g
Suppose 0 = j + 2*j - 3. Let k be j/(-1)*-6*4/(-12). Sort -1, -5, k, -4 in decreasing order.
-1, k, -4, -5
Let v be 5 - (-70)/(-3 - 4). Sort 5, v, -3.
v, -3, 5
Let k = 3.06 + -0.06. Let v = 0.5165 - 0.0165. Sort -1/3, v, k in descending order.
k, v, -1/3
Let r = -14.47 - -14.37. Let u = 109/55 + -24/11. Sort r, 2/69, u in descending order.
2/69, r, u
Let k be (-407)/(-259) - 6/(-14). Sort 1, 5, 0.3, k in decreasing order.
5, k, 1, 0.3
Let q = -0.168 - 0.332. Let w = 0.55 + -0.05. Let n = w - 0.3. Sort q, n, -1/4.
q, -1/4, n
Let x = -9.7 + 6.7. Let r = 5 - 7. Sort 0.03, x, r in descending order.
0.03, r, x
Suppose 4*r - 52 = -12. Let v be -5 - (-1 + -1) - (r - 13). Sort 5, -1, 4, v.
-1, v, 4, 5
Let g = 1265/2 - 632. Put -55, g, -2 in decreasing order.
g, -2, -55
Let s be -2*(-1 - (5 + -4)). Suppose 0 = a + s*u - 14, 5*u = 7*a - 2*a + 5. Suppose 4*p + 2 = -3*q, 3*q - 8*q + 10 = 4*p. Sort 4, a, q.
a, 4, q
Let d be 4/(-3)*(-3)/1. Let r be (-93)/2 - 2 - (-4)/(-8). Let w = -47 - r. Sort 0, w, d in ascending order.
0, w, d
Let q(y) = y**3 + 9*y**2 - 5*y - 13. Let i be q(-8). Sort -3, 4, -2, i in increasing order.
-3, -2, 4, i
Suppose 17*w - 5 = 12*w. Let b(z) = -z**3 + 3*z**2 + 2*z + 8. Let g be (0 + 6)/(3/2). Let m be b(g). Sort w, 2, m in increasing order.
m, w, 2
Let a = -1.29 - -1.29. Sort 30, 2/5, 1, a in decreasing order.
30, 1, 2/5, a
Let u(l) = 3*l + 11. Let z be u(8). Suppose 4*p - z = -m - 2*m, -5*p - 5*m + 45 = 0. Let y be 21/(-28) + (-2)/p. Put 4, y, -5 in decreasing order.
4, y, -5
Let s be 0 + ((-4)/18 - (-80)/36). Suppose -s*j = -j - 1. Sort -5, 3, j, -4 in increasing order.
-5, -4, j, 3
Let d = 46 + -39. Suppose 4*z = -3*q + d*q - 20, -2*z = 5*q - 32. Suppose 0 = -2*h + 3 + 1. Put h, -5, q in increasing order.
-5, h, q
Let y(c) = -3*c - 10. Let m be y(-4). Suppose 4*g - m*q = -0*g + 74, -g = q - 17. Suppose 4*w = a - 26, a + 4 = -4*w - g. Put 2, w, -1 in descending order.
2, -1, w
Let g be 25/(-175) - (-2 - 510/(-7)). Let z = -71 - g. Sort -3, z, 7 in decreasing order.
7, z, -3
Suppose 2*n + 4*f - 15 = 3*f, -5*n + 5 = -4*f. Suppose -n*s - 20 = 0, y + 11 = -s - 3*s. Put 1, 4, y, 3 in decreasing order.
y, 4, 3, 1
Let k = 59.9 - 60. Let q = k - -0.098. Sort -0.2, 0, q in increasing order.
-0.2, q, 0
Let z be (1/9 - (-3434)/(-1071)) + 3. Let k = 1584/13 + -122. Sort z, -3/4, -2, k in descending order.
z, k, -3/4, -2
Let f(z) = -z**2 + 12*z + 19. Let l be f(12). Suppose -l = -3*q - 91. Put 0, -1, -3, q in decreasing order.
0, -1, -3, q
Suppose 2*b - 291 = -3*i, i - 3*i - 430 = -3*b. Let d = 579/4 - b. Sort 0, -1/12, 0.1, d in descending order.
d, 0.1, 0, -1/12
Suppose -42*x + 127 = 1. Suppose 0 = 4*f - 2*w + 14, w = -f + 5*w - 7. Put 0, 1, x, f in decreasing order.
x, 1, 0, f
Let s(l) = l**3 + 12*l**2 + 10*l + 4. Let y be s(-11). Suppose -g + y = 4*g. Let u be 7/g + 3/(-9). Put -4, u, -2 in increasing order.
-4, -2, u
Let r = 24 + -14. Let c be -4 + -11*(-4)/r. Put 6, -1/7, -3, c in ascending order.
-3, -1/7, c, 6
Let h = 559 + -558.8. Sort h, 1/2, -110 in increasing order.
-110, h, 1/2
Let i = -33.8 + 37.8. Sort 7/3, i, 10.
7/3, i, 10
Let a(g) = -g**2 - 2*g + 5. Let p be a(-4). Let w(x) = -2*x**2 + 5*x + 4. Let o be w(-2). Put o, p, 3, -2 in decreasing order.
3, -2, p, o
Let c = 67 - 70. Sort c, 3, -0.131 in decreasing order.
3, -0.131, c
Let m be -2 - ((-6)/(-4))/(5/10). Sort -2, 1, m.
m, -2, 1
Let u = 935 - 799. Put 0.2, u, -3 in descending order.
u, 0.2, -3
Let d = 7058 - 21413/3. Let l = d - -80. Sort 0.2, l, 1 in descending order.
1, l, 0.2
Let x be ((-4)/7)/(-15 - 805/(-49)). Suppose -2*h - s + 6 = 2*s, s + 3 = h. Sort -0.3, x, h in ascending order.
x, -0.3, h
Suppose -30*u = -27*u + 3*v + 15, -u + 3*v = 5. Put -3, u, 4, -14 in decreasing order.
4, -3, u, -14
Let u = -0.04 - 0.26. Let w = -36 - -35.9. Let p = -0.3 + w. Sort -2, u, p in decreasing order.
u, p, -2
Let s be -7 + 7 + 1 + -2 + -1. Suppose 2*o + 10 = 4*o. Suppose 21 = 4*h + 5. Sort s, h, o in descending order.
o, h, s
Let i = 0.1797 + 0.0203. Sort i, 2/9, -2/71, 3/8 in descending order.
3/8, 2/9, i, -2/71
Let z = 1057 + -1055. Suppose 31 = v - 5*o, 8*v - 3*v - 5 = -5*o. Put z, v, 5, 4 in ascending order.
z, 4, 5, v
Let b = 725 + -648. Sort b, 5, 0 in increasing order.
0, 5, b
Let k = -0.041 - -2.841. Let a = k - -0.2. Sort -4, a, 0 in ascending order.
-4, 0, a
Suppose -28 = -4*k - 0*k. Let m = 6 - k. Let v be (m + 0)/(3 - 4). Sort 3, v, 0.
0, v, 3
Suppose a - 1 = 1. Suppose -4*v + 2*x + 22 = 0, -a*v - 2*x = v - 13. Let d = 31/2 - 16. Sort 0.2, v, d.
d, 0.2, v
Let l = 52.3 - 9.3. Let k = l + -48. Put k, 3/2, 27/5 in increasing order.
k, 3/2, 27/5
Let i be 93/124 + (-1)/4. Put 4, -1, i, -41 in decreasing order.
4, i, -1, -41
Let p be (-7 + 0)/(-7 + 8 + -2). Let m = -3 + p. Let y = 4 + -9. Put y, m, -4 in decreasing order.
m, -4, y
Let r = -45.93 - 1.07. Let t = 47 + r. Let k = 7 - 11. Put -2, k, t in ascending order.
k, -2, t
Let m = -242 + 245.1. Sort m, 3, -1/2.
-1/2, 3, m
Let c(r) = r**2 + 8*r - 1. Let x be c(-8). Let o be (5 + 1)*(-6 - -7). Sort o, -5, x in decreasing order.
o, x, -5
Let b(t) = 2*t**3 - 1. Let y be b(-1). Suppose 9*n = 4*n. Let o = 23.7 + -23. Put n, y, o in decreasing order.
o, n, y
Let v = 7.075 - 7. Let d = -1.055 + v. Let f = d - 0.02. Sort f, 4, 3 in decreasing order.
4, 3, f
Let p = -34 - -71/2. Suppose 0 = -2*u + 5*t + 12, -26 = 4*u - 3*t - 22. Sort p, u, -5/3, -0.4 in decreasing order.
p, -0.4, -5/3, u
Let i = -130 + 122. Put i, -1, 1 in descending order.
1, -1, i
Let u = 4 - 2. Suppose 13 = 4*p + k - u*k, 5*p + 4*k = -10. Suppose p*l = -2*l. Sort 1, l, 6.
l, 1, 6
Let j = 94135/1428 + -1355/21. Let k = j + -11/17. Let x = -1/2 + k. Put 3/5, x, -4 in decreasing order.
3/5, x, -4
Let j(m) = m**3 + 4*m**2 - 6*m. Let a be j(-5). Suppose 4*l - 24 + 4 = 0. Let w be (-6)/9*(-1 - l). Sort -2, w, a.
-2, w, a
Let d be 1*5*(-38)/(-95). Sort -133, d, -2 in descending order.
d, -2, -133
Let w = 24 - 24. Let b = 0 + w. Sort -3, b, 3 in increasing order.
-3, b, 3
Suppose 2*b + 3 = 27. Let n be 220/(-16) - (-3)/4. Let f = b + n. Put 4, -2/5, f in increasing order.
f, -2/5, 4
Let t(g) = g**3 + 35*g**2 - 113*g + 37. Let r be t(-38). Sort 1, 2, r, -2.
-2, r, 1, 2
Suppose 0 = 80*k - 51*k - 58. Sort k, 4, -2, -6 in decreasing order.
4, k, -2, -6
Let w = -80/3 + 242/9. Let n = 183.8 + -185.8. Put 4, n, w in ascending order.
n, w, 4
Let y = -6.8 - -8.8. Let j be (-1)/(-4) + 3/20. Let r = 60 - 63. Sort j, r, y.
r, j, y
Let n = 274 + -271. Suppose 3*g + r + 12 = -g, 32 = -3*g + 5*r. Sort -3, g, n in increasing order.
g, -3, n
Let w(o) = o**3 + 3*o**2 - 15*o - 4. Let v be w(4). Let a = 48 - v. Put 4, 8, a in ascending order.
a, 4, 8
Suppose -50 = -48*f - 146. Sort 6, -5, 57, f in decreasing order.
57, 6, f, -5
Let n = -2