 -2
Let a = 5 + -1. Let s = -0.8 - -3.8. Put 2, s, a in decreasing order.
a, s, 2
Let q be ((-1)/(-10))/(3/12). Suppose -52 = 10*r + 8. Sort q, r, -4 in descending order.
q, -4, r
Let q = -3.91 + -0.09. Let d = -3 - -6. Suppose 0*r = d*r. Put r, q, -2 in increasing order.
q, -2, r
Let c = -0.03 + -0.37. Sort -1, c, -2 in descending order.
c, -1, -2
Let p = -23 + 22. Suppose -2*t + 9*d = 4*d + 7, -3*t + 15 = d. Put 1, p, t in ascending order.
p, 1, t
Let z = 10 - 11. Let b be 0 + ((-4)/16)/z. Put -12, b, 0 in increasing order.
-12, 0, b
Let h = -2.9 - -2.4. Let q = -2.02 - -0.02. Sort 3, h, q in decreasing order.
3, h, q
Let w = -486.86 - -483. Let r = w - 0.14. Sort r, -3, 0.5 in descending order.
0.5, -3, r
Suppose 0*s + 2*s + 14 = 5*j, -3*s = 3*j - 21. Let m(c) = -2*c + 1. Let h be m(2). Let i(a) = a**3 - 2*a + 1. Let p be i(2). Put h, j, p in descending order.
p, j, h
Let j = 20 + -24. Sort 0, j, -1 in decreasing order.
0, -1, j
Let t be (-1)/(-36) + 1/(-4). Let y = 1465/129 + -34/3. Let r = -46/129 + y. Sort 1/6, r, t in descending order.
1/6, t, r
Suppose -4*j + 3*d = -23, -d + 14 = 4*j - j. Put -5, j, 0, -3 in descending order.
j, 0, -3, -5
Suppose 3*r - 3 = 2*r. Let s be r*(0 + (-2 - -3)). Suppose 10 - 2 = -4*n. Sort n, -4, s in decreasing order.
s, n, -4
Let r = 14.9353 + -0.0053. Let n = r + -15. Let j = -2.93 + n. Sort 0, -5/2, j in descending order.
0, -5/2, j
Let x = -10 + 11. Sort -4, x, 0 in descending order.
x, 0, -4
Let t = 60.3 + -66. Let g = 6 + t. Put -0.1, 2, g in increasing order.
-0.1, g, 2
Let b be ((-2)/4)/(0 - (-39)/12). Sort -2, b, 0.3, -1.
-2, -1, b, 0.3
Suppose -2*b - 2 = 3*s, 3*b - 6 = s + 2. Suppose -b*t - 15 = 2*t - 3*l, -5*t - l = 14. Put -1, 2, t in decreasing order.
2, -1, t
Suppose -5*d + 5*v = 20, -4*d - 3*v = 11 - 2. Let s be 0/(-8)*(0 - -1). Suppose s*q + 8 = -4*q. Sort d, 3, q in decreasing order.
3, q, d
Let g(c) = c**3 - 7*c**2 + 5*c + 1. Let r be g(6). Let y = 7 + r. Put 4, -1, y in decreasing order.
4, y, -1
Let l = 2 + -7. Sort 0, l, 2 in descending order.
2, 0, l
Let q be 0 - 2 - 56/(-26). Let o = -13 - -68/5. Sort q, o, -0.1.
-0.1, q, o
Let o(z) = 4*z**3 - 1. Let t be o(1). Sort 4, t, -4 in decreasing order.
4, t, -4
Let p = -113 - -112.5. Sort 1/5, -4, p, -2/23.
-4, p, -2/23, 1/5
Let w be 19/(-7) + 16/(-56). Let j be (4/3)/((-2)/w). Let u be 7/(-2)*3/14. Put u, 2/11, j in ascending order.
u, 2/11, j
Let q = -65 - -63. Sort 0.1, q, 2 in decreasing order.
2, 0.1, q
Let w = 7 - 11. Let c = -10 - -5. Put w, 5, c in decreasing order.
5, w, c
Let s(w) = -w**2 - 3*w + 46. Let q be s(5). Let k be ((-4)/(-10))/(1/(-5)). Sort -4, q, k in increasing order.
-4, k, q
Let m = 0.28 + 4.72. Put m, 3, -0.1 in increasing order.
-0.1, 3, m
Let r be (2 + -4)*(-3)/(-2). Let j(s) = -s**2 - 6*s - 4. Let n be j(-4). Put r, 3, n in decreasing order.
n, 3, r
Let z be (4/(-14))/2 + 1/(-7). Put z, 1/7, -4/7 in descending order.
1/7, z, -4/7
Suppose 4*s + 4*f + 0*f - 80 = 0, 0 = -2*s + 3*f + 40. Let w be 8/(-14) - s/(-35). Suppose -3*b = -7*b + 8. Put b, -3, w in ascending order.
-3, w, b
Let r be 2/3*18/(-20). Let k = -22 - -22.42. Let z = k + 0.08. Sort 5, z, r in decreasing order.
5, z, r
Let b(o) = o + 2. Let r be b(-6). Put r, 3, 5 in increasing order.
r, 3, 5
Let q = -8.01 + 8. Let n = q - 3.99. Sort -2/9, -3, n.
n, -3, -2/9
Suppose -3*d + 3 = -2*d. Put 4, d, -3 in descending order.
4, d, -3
Suppose 4*p + m + 14 = 0, 0 = -4*p + m - 4*m - 18. Suppose 4*g + 8 + 8 = 0. Let l be (-1 + (1 - 1))*-2. Put p, g, l in decreasing order.
l, p, g
Let m = 21.9 - 22. Sort m, -1/4, 0.1.
-1/4, m, 0.1
Let m = -12 - -15. Put 1, 2, m in decreasing order.
m, 2, 1
Let c(h) = 5*h**2 - 2*h + 1. Let r be c(1). Put 0.2, 0.4, r in increasing order.
0.2, 0.4, r
Let p = 18 + -9. Sort 0, p, 5 in decreasing order.
p, 5, 0
Let l = 1.3 + 0.7. Let c = -0.1 + 0.3. Put c, l, 0.4 in descending order.
l, 0.4, c
Suppose 5*p + 8 = 123. Let n = p - 24. Put 0.1, -6/7, n in decreasing order.
0.1, -6/7, n
Suppose 7 = -t + 5. Let a(h) = 2*h + 4. Let f be a(t). Sort f, -2, -1 in decreasing order.
f, -1, -2
Suppose d = 5*k - 4*d + 20, 0 = -k + 4*d - 1. Suppose 0 = -3*x + 7 - 1. Put x, k, -4 in decreasing order.
x, -4, k
Let w(f) = f**2 - f - 2. Let j be w(-1). Suppose j*q - 3*q = -6. Let y = -2 + 1. Sort q, y, 0 in decreasing order.
q, 0, y
Suppose 18 = -0*i + 2*i. Suppose 0 = -i*a + 4*a + 15. Sort -3, a, 2 in descending order.
a, 2, -3
Suppose 2*x = -3*x - 70. Let b = -16 - x. Sort -4, b, -5 in descending order.
b, -4, -5
Let k = 63 - 61. Put -0.4, k, 1/3 in descending order.
k, 1/3, -0.4
Suppose 4*h + 25 = w, w - 10 = -w. Put -2, -1, h, 3 in decreasing order.
3, -1, -2, h
Let n be 6*3/6 + -2. Let i be 0/(1/n*-2). Put -4, i, -3 in decreasing order.
i, -3, -4
Let s be (-63)/(-54) + (-6)/(-4). Sort 4, s, 0.2 in increasing order.
0.2, s, 4
Let t be (-1)/((-2)/6) + -2. Let p = 3 - t. Put p, -3, 3 in descending order.
3, p, -3
Suppose -3 = -5*q - 2*d, -q - 5*d - 7 = -3. Sort -1, 1/3, q in descending order.
q, 1/3, -1
Let o = 0.12 + -0.21. Let p = o + 0.39. Sort p, 2/9, -0.1 in decreasing order.
p, 2/9, -0.1
Let z = -26 - -25. Sort 0, -5, z in increasing order.
-5, z, 0
Let x(d) = 10*d - 3. Let k be x(9). Let m be 11372/(-132) + 4/(-6). Let f = m + k. Sort f, 2, 0 in descending order.
2, f, 0
Let t = 0.09 + -0.1. Let c = -5.01 - t. Put -4, c, 5 in descending order.
5, -4, c
Let o = -0.05 + 0.03. Let w = o + 0.05. Let c = 1.97 + w. Put -0.3, c, -3 in increasing order.
-3, -0.3, c
Let d = 8 - 8. Sort 2/9, d, -0.1, -2.
-2, -0.1, d, 2/9
Suppose 8*x = 11*x. Suppose x = 2*y - 3*d + 10, 0 = 2*y - 3*y + 3*d - 11. Let h = -1 + 1.4. Put h, 2/13, y in decreasing order.
y, h, 2/13
Let w = 3 + -4.2. Let g = 0.7 + w. Sort 5, 0, g.
g, 0, 5
Let a = 6 + -5. Let o = a + 0. Sort o, -0.2, 0.3 in ascending order.
-0.2, 0.3, o
Suppose 0 = -4*x + t + 17, 0 = -3*x - 3*t + 8*t. Suppose -8 = -k - 5*u, 2*u + 3 = x*u. Sort 6, 0.2, k in descending order.
6, k, 0.2
Let l(p) = -p**2 - 2*p. Let r be l(-3). Let x be (-5)/(r/(-2 + -1)). Suppose -2 - 1 = 5*w + o, -3*w + 15 = -5*o. Sort x, w, -2 in decreasing order.
w, -2, x
Let l(r) = r**3 + 10*r**2 - 13*r - 13. Let k be l(-11). Let m = 10 - k. Let z be 0 - (1 + 3 - m). Sort -1, 4, z in ascending order.
z, -1, 4
Suppose 4*d = -2*a - 2 - 2, 2*d = -4*a + 22. Let l = 3 - a. Put -3, l, -1 in decreasing order.
-1, -3, l
Let l be 10/4 + -1 - (-3)/6. Sort -3, 4, l in increasing order.
-3, l, 4
Let d = -846 + 850.03. Let m = d - 0.43. Let n = m + -4. Put 3/7, n, -5 in increasing order.
-5, n, 3/7
Let f = -40 - -29. Let v = -8 - f. Sort -4, v, 0.1 in decreasing order.
v, 0.1, -4
Let u = -0.02 + 5.02. Let b(j) = -4*j**2 - j - 1. Let n be b(-1). Put u, n, -1 in increasing order.
n, -1, u
Let g = -27 + 23. Sort g, 1, -3, 3.
g, -3, 1, 3
Let k(d) = d - 10. Let q be k(10). Sort 2, -4, q, 5 in ascending order.
-4, q, 2, 5
Let v = 25 - 16. Let n = 9.3 - v. Put -2, -0.3, n in ascending order.
-2, -0.3, n
Let f = -0.176 + -4.824. Put 4, 2, f, 5 in decreasing order.
5, 4, 2, f
Let w be ((-91)/28)/1 + 6/(-8). Let g(q) = -q**2 + 8*q - 8. Let v be g(6). Suppose 2*t - v*s + 10 = 0, -3*t - 4*s + 18 = 3. Put w, 5, t in increasing order.
w, t, 5
Let k = 43 - 43.2. Sort -2, k, -1.
-2, -1, k
Let t be (-2)/24*27/(-9). Put t, 0.1, 0.5 in ascending order.
0.1, t, 0.5
Let o = -1.9 + 2. Sort -0.3, 1/13, o in increasing order.
-0.3, 1/13, o
Let t = 5.144 + 0.056. Let n = -1.2 + t. Let p = 7/6 + -3/2. Put p, 0.3, n in descending order.
n, 0.3, p
Let n = -23.09 - -23. Let k = n - -0.39. Put -3, k, 1/8 in decreasing order.
k, 1/8, -3
Let r be ((-82)/(-62))/(-1*5). Let s = r + 2/31. Sort s, 0.2, -1 in ascending order.
-1, s, 0.2
Let z = -8 - 0. Let a = z + 9. Let b = -0.02 + 3.02. Sort 4, a, b.
a, b, 4
Suppose -4*p - p = -25. Suppose 9*c = 2*v + 4*c - 25, -3*v + 20 = -4*c. Suppose v = 2*z - 7*z - 15. Put z, p, 4 in ascending order.
z, 4, p
Let x = 2.01 - 1.71. Sort 0.4, x, 0, 3/2.
0, x, 0.4, 3/2
Let x = -3 - 2. Let r = -5/4 - 1/4. Sort x, r, -0.3 in increasing order.
x, r, -0.3
Let y(m) = m**2 - 11*m + 1. Let g be y(11). Let d = g + -2. Put 0, d, 4 in decreasing order.
4, 0, d
Let w be (-33)/(-374)*(-8)/(-6). Put -5, 4, w in decreasing order.
4, w, -5
Let t = -0.9 + 1. Let n be 3*-1*40/30