 y in descending order.
y, l, 0
Let x = 25.9 - 25. Let g = -2.9 - -4. Let n = x - g. Put 5, 0.2, n in descending order.
5, 0.2, n
Let p(m) = m**2 - 7*m + 5. Let z be p(6). Let w be z/9*-2 + 0. Put w, -2/9, 0 in descending order.
w, 0, -2/9
Let s be ((-2)/6)/(1/(-9)). Suppose -40 = 8*w - 0*w. Suppose -2*t - t - 21 = -3*n, 0 = -4*t - 20. Put w, s, n in decreasing order.
s, n, w
Let x = 6 + -5. Let l = -1 - x. Sort -2/5, 0.5, l in increasing order.
l, -2/5, 0.5
Let u be 2/3 + (-8)/3. Let x = -7 - -2. Let c = x - -7. Sort -4, c, u in decreasing order.
c, u, -4
Suppose -5*r - 29 = -4. Let b = -3 - r. Let y be 4 + (1 - (1 + 4)). Sort 3, y, b in descending order.
3, b, y
Let k = -0.079 + 0.079. Put 1/4, k, -3, -2/17 in ascending order.
-3, -2/17, k, 1/4
Let i = 5 - 3. Let u be 0 + (-1)/(i/4). Let r be ((-10)/(-8))/(u/8). Sort r, 3, 0.
r, 0, 3
Let q(k) = -5*k - 3 + 4*k + 2*k. Let j be q(2). Put -0.2, j, -3/4 in descending order.
-0.2, -3/4, j
Suppose 5*m + 3*s = -15, -5*m - 1 = s + 4. Suppose m = -0*c + 3*c - 6. Sort c, -2, -5 in decreasing order.
c, -2, -5
Suppose -4*j + 13 = 4*s - 3, -j - 2*s = -7. Sort j, -9, 0 in descending order.
j, 0, -9
Let i be (1/1 + -1 + -4)*1. Sort i, -9, -2.
-9, i, -2
Let p = -2.7 - -0.1. Let d = -0.4 + p. Let w = d - -2. Put w, 6/7, 2 in descending order.
2, 6/7, w
Suppose 0*z - z + 2 = 0. Let r be ((-16)/(-20))/(z/(-10)). Put 0, r, -2 in increasing order.
r, -2, 0
Let n = 0.48 + -0.51. Put 0.5, 0.1, n, -0.1 in descending order.
0.5, 0.1, n, -0.1
Suppose -p + 6 - 14 = -2*a, 5*p + 5 = 3*a. Suppose -13*v + 20*v = -7. Put 0, v, a in increasing order.
v, 0, a
Suppose 0 = 3*m - 5*m + 10. Suppose -m*l + 25 = -2*q, 2*l + 2*q + 0*q = -4. Suppose 0 = 5*z + 12 - 17. Put 2, l, z in ascending order.
z, 2, l
Suppose 3*j = -2*v + 4*j + 5, 4*v = -2*j + 6. Suppose -v*b - 1 = -3. Let g = 8 - 13. Put g, b, 0 in descending order.
b, 0, g
Let i = 26/11 + -85/22. Sort i, 1/8, -0.2 in descending order.
1/8, -0.2, i
Let x = -16 + 15.9. Sort -0.3, 0.3, x in descending order.
0.3, x, -0.3
Let q = -2 + 1. Sort q, -3, -5 in ascending order.
-5, -3, q
Suppose -2*u = 4*a + 4, a - 3*u - 6 = 6*a. Sort 4, a, -6 in descending order.
4, a, -6
Suppose 41*m - 43*m = 4. Sort 0, m, -3 in decreasing order.
0, m, -3
Let z be ((-1)/3)/(2 - 30/18). Sort 4, -5, z, -2 in decreasing order.
4, z, -2, -5
Let r be 1/2 + (-1)/(-2). Let h be (-4 + 1)/(r + -2). Suppose 2*o - o = b, -5*b + 40 = 3*o. Put 0, o, h in decreasing order.
o, h, 0
Let x = 9 + -5. Let i be ((-6)/(-3) + -2)/(-2). Let a be 1*(1 - 2)*i. Put x, a, -1 in descending order.
x, a, -1
Suppose 2*g = 6*g - 15*g. Sort g, 2, -47.
-47, g, 2
Let a = -0.27 - 2.73. Put 1/10, a, 0.6 in increasing order.
a, 1/10, 0.6
Let x be 3*1*(-76)/6. Let q be x/(-14) + 4/14. Let n = 5 - 4. Sort n, 4, q in decreasing order.
4, q, n
Suppose 0 = -h - 8*i + 4*i - 19, -2*h - i = 3. Let k = h - -2. Put k, 5, -3 in increasing order.
-3, k, 5
Let s = -218 - -223. Let i = 5 + -2. Put 4, i, s in descending order.
s, 4, i
Suppose -8*p = -3*p - 15. Suppose -w + 13 = -k, 0*k + k = 4*w - 49. Suppose 2*g - w = -g. Sort p, -2, g in descending order.
g, p, -2
Let y = 1.5 - 0.5. Let l = y + -0.6. Put -4, l, 1 in descending order.
1, l, -4
Let k = -4 + 5. Let o = -0.9 + 4.9. Let t = 3.6 - o. Sort k, -0.3, t in descending order.
k, -0.3, t
Let x = -0.0348 + 2.0648. Let p = -0.03 + x. Let d = 2.9 - -0.1. Put d, -4, p in increasing order.
-4, p, d
Let i be -1 - -3*(-2 + 3). Let d(g) = 9*g**2 - g. Let x be d(-1). Suppose -3*r + 3 = -3*s, -3*s - 3*r - 11 = x. Sort i, 0, s in decreasing order.
i, 0, s
Suppose 0*j = 2*j. Let c be j/2*(-2)/(-4). Sort -5, c, 4.
-5, c, 4
Let a be (1/2*0)/(-1). Put -3, a, 5 in decreasing order.
5, a, -3
Let i = -6.09 + 0.94. Let u = -0.15 - i. Sort u, 1/7, -0.2 in increasing order.
-0.2, 1/7, u
Let g = 6 + -6. Let n = g - -0.2. Sort -0.3, n, 1 in increasing order.
-0.3, n, 1
Suppose 0 = 3*r - 0*r - f, 0 = f. Let l be r - (3/3 - -1). Sort 5, l, -1 in decreasing order.
5, -1, l
Let c(s) = s**3 - 2*s**2 - 4*s + 4. Let g be c(3). Let a = 0.29 + 0.21. Sort 0.4, g, a.
0.4, a, g
Let n = -1.5 + 1.2. Let h = n + 5.3. Put -1/6, h, 1 in increasing order.
-1/6, 1, h
Let s(r) = 4 + 16*r + 0*r - 20 - r**2. Let m be s(15). Sort 5, m, -0.2 in ascending order.
m, -0.2, 5
Let j(d) = -d**2 + 6*d + 4. Let k be j(6). Suppose -6*l + k*l = -6. Sort l, 0, -1 in descending order.
l, 0, -1
Suppose t + 2 = -3. Suppose n = 3*n - 4. Suppose 0 = n*o, 3*l - 2*l = -4*o + 1. Put l, t, -4 in ascending order.
t, -4, l
Let x = -4 + 7. Sort 4, -0.05, x in ascending order.
-0.05, x, 4
Let q = -33 - -168/5. Let i be 6/(-21)*(-28)/60. Suppose 3*k = -2*k + 5. Put q, i, k in decreasing order.
k, q, i
Suppose -5*g = -2*g - 6. Sort 4, -1, -4, g in descending order.
4, g, -1, -4
Let z = 1.7 - -0.5. Let w = -1.6 + z. Put w, -0.4, -3/4 in descending order.
w, -0.4, -3/4
Let o be (3/(-2))/((-12)/16). Suppose 6*q + 3*i = q - 25, -25 = 5*q - o*i. Put 6, 4, q in decreasing order.
6, 4, q
Let i(q) be the first derivative of -q**3/3 + q**2/2 - q - 5. Let m be i(1). Let j = 2 + 0. Sort 5, m, j.
m, j, 5
Let q(f) = -f**3 + 2*f**2 + f + 1. Let z be q(2). Suppose z*b + 4 = 5*b. Put -3, b, -5 in decreasing order.
b, -3, -5
Let n(k) = k**3 + 18*k**2 + k + 22. Let y be n(-18). Put y, -16, 2 in decreasing order.
y, 2, -16
Let i = 1 + -0.8. Let c = 0.8 + i. Let h = c - 0. Sort h, -2, -1/2 in decreasing order.
h, -1/2, -2
Let t = -0.072 - -0.032. Put 3, t, 0.3 in decreasing order.
3, 0.3, t
Suppose -4*a = -v + 30, -3*v + 2*a + 30 = -2*v. Suppose j + o - 4 = 0, -3*o = -3*j - 6 + v. Let l be j/4 - (-1)/2. Put -1, 0, l in ascending order.
-1, 0, l
Let b(f) = f**2 - f + 2. Let k be b(2). Sort 5, k, -3 in ascending order.
-3, k, 5
Let q = 5.8 - 0.8. Let t = 5 - q. Sort -3/7, t, -1/10.
-3/7, -1/10, t
Let s = 160 + -959/6. Let x = -0.05 + -4.95. Sort x, s, 0.2.
x, s, 0.2
Let l(z) = 4*z**3 - 7*z**2 + 4*z - 7. Let r(s) = -2*s**3 + 3*s**2 - 2*s + 3. Let j(c) = 2*l(c) + 5*r(c). Let p be j(1). Sort 0, p, 1/6.
p, 0, 1/6
Let b = 148 - 148. Sort 0.1, -5, b in decreasing order.
0.1, b, -5
Let z(u) = 4*u - 3. Let j be z(2). Sort -2, -5, j.
-5, -2, j
Let p(z) = z**3 - 4*z**2 - 5*z - 7. Let m be p(5). Let g = 11 + m. Let i(d) = -d**2 + 5*d - 2. Let j be i(g). Sort 0, -4, j in increasing order.
-4, 0, j
Let k = 1.7 + 1.3. Sort k, 1, -0.3 in descending order.
k, 1, -0.3
Let b be -1 + (-60)/(-28) + -2. Put -1, b, -1/2 in descending order.
-1/2, b, -1
Let m = 30 - 30. Sort m, -0.1, -1/6 in descending order.
m, -0.1, -1/6
Let o = -9/10 - -1/2. Sort 2, o, -1/5 in descending order.
2, -1/5, o
Let l(o) = o**2 + 2*o + 5. Let t be l(-3). Put 0, 2, t in decreasing order.
t, 2, 0
Let j = -20 + 14. Let a(u) = u + 13. Let y be a(j). Let k be (-30)/y + 2/7. Put 0, k, 4 in increasing order.
k, 0, 4
Let o(u) = -u**2 + 6*u - 3. Let l be o(6). Let y(m) = -m**3 - 2*m**2 + 3*m - 2. Let p be y(l). Put 2, p, -4 in increasing order.
-4, p, 2
Let h = 11/18 + -10/9. Let t = -70/13 + 521/104. Let v be 2/(-3) - (-46)/138. Put h, v, t in increasing order.
h, t, v
Suppose -11 = -5*d + v, 0 = -2*d - 2*d + 3*v. Put 1, d, 0 in descending order.
d, 1, 0
Let k = 2 - 0. Let b be ((-1)/1)/(k/(-6)). Let n be (-6)/10*b + 2. Put 0.3, 4, n in decreasing order.
4, 0.3, n
Suppose 2*f + 0*f + 4 = 0. Let i be f/((6/4)/(-3)). Suppose 0 = 2*o - o - 1. Put i, o, -5 in ascending order.
-5, o, i
Let j be 9/(-6)*1/(12/(-32)). Let k be ((-6)/(-9))/(4/(-6)). Put k, 0, j in increasing order.
k, 0, j
Let l = -71/354 + 2/59. Sort 3/5, 2/5, l in descending order.
3/5, 2/5, l
Let y be (-54)/144 - 26/16. Let m(u) = -u + 6. Let l be m(4). Put 0, l, y in increasing order.
y, 0, l
Let h = 395159/69 - 5728. Let s be (-32)/(-23) + -2*1. Let f = h + s. Sort 4/3, f, -2/7 in increasing order.
f, -2/7, 4/3
Let u = 1.2 + -0.2. Let c = 4.5 - 3. Let q = 1 - c. Put u, q, -2/15 in ascending order.
q, -2/15, u
Suppose 7*c = 5 - 33. Sort 5, -5, 1, c.
-5, c, 1, 5
Let x(c) = 5*c. Suppose -4*b + 0*b = 16, 0 = y - 2*b - 14. Let i be (-4)/6 + (-2)/y. Let v be x(i). Put 3, -4, v in descending order.
3, -4, v
Let f(b) = -b**2 - 8*b - 3. Let t be f(-8). Suppose 29 = j + 5*x, 2*j - 4*x + 7 = -5. Put -1, j, t in decreasing order.
j, -1, t
Let o = -18 + 20. Sort -4, -3, o.
-4, -3, o
Le