4, j, -0.1 in descending order.
-0.1, j, -0.4
Let b = -32 + 27. Put 0, -2, b, 4 in ascending order.
b, -2, 0, 4
Suppose -5*w + 5*i - 10 = 0, 0 = 4*w + 3*i - 0 + 1. Sort w, 15, -2, 3 in ascending order.
-2, w, 3, 15
Let j be 42/9 + (-2)/3. Let x = 1 + 0. Put 5, j, x in decreasing order.
5, j, x
Suppose -5*i - 12 = 8. Sort 5, i, 4, -7 in descending order.
5, 4, i, -7
Let i = 1 - 3. Let p = 57 - 57.1. Sort p, i, 0.4.
i, p, 0.4
Let h be (-10)/45 - (-4)/(-63). Let l = 321/2149 - 2/307. Let s = 5/16 - 9/16. Put h, l, s in decreasing order.
l, s, h
Let g = -0.097 - 0.003. Put 0.06, 3/5, 0.1, g in increasing order.
g, 0.06, 0.1, 3/5
Let j be (13/(-78))/((-2)/(-8)). Sort j, -1, -4 in descending order.
j, -1, -4
Let o = 11.7 + -11. Sort 0.4, o, 3/8 in decreasing order.
o, 0.4, 3/8
Let t be (-192)/555 - 2/(-5). Let f = -97/259 - t. Let n = -4 + 2. Sort 1, n, f.
n, f, 1
Suppose -5*c = -m - 25, -6*c + 25 = -c. Suppose m = -4*y - 4*t - 8, 12 = 4*t - 0*t. Suppose 0 = 5*u - 25 - 0. Sort -1, u, y.
y, -1, u
Let k = 0.3 + -0.24. Let d = -0.26 + k. Sort 2, d, 0.3 in ascending order.
d, 0.3, 2
Let g(u) = u**3 - u**2 + u - 1. Let a be g(1). Suppose -4*b = 5*j - 2, -4*b + 12 = -5*j - 10. Sort j, 5, a.
j, a, 5
Suppose 0 = -3*x - 2 - 4. Let h = 7 + x. Let u = 0.8 + -1. Sort -0.4, u, h in descending order.
h, u, -0.4
Let w be (2/(-4))/(10/(-20)). Let g(y) = 2*y**3 + 3*y**2. Let l be g(-2). Sort l, 3, w in ascending order.
l, w, 3
Let x(n) = -n**2 + 8*n + 11. Let r be x(9). Let l be (r + -3)/(6 + -1). Sort -0.5, 2/9, l.
-0.5, l, 2/9
Suppose -3*a - 3*l = 9, 2*l = -5*a - 2*l - 14. Let z be ((-1)/a)/(2/(-4)). Let y = -31 - -35. Put y, -3, z in decreasing order.
y, z, -3
Let z = 5 - 4.6. Let g be 49/(-28) + 3/4. Let i = g - 1. Put i, z, 0.2 in decreasing order.
z, 0.2, i
Let f(y) = -19*y + 77. Let s be f(4). Put s, 3, 9, -3 in descending order.
9, 3, s, -3
Let c be 1/(-3)*(2 - 3). Sort -3/2, -3, c.
-3, -3/2, c
Suppose 2*o - 5 = -2*m + 5*m, -3*m + 10 = -5*o. Suppose -4*r + 3*p + 31 = 7, 0 = -5*r - p + 30. Let u = m + r. Sort -2, u, 3.
-2, u, 3
Let o = -9 + 6. Let l = 9 + -4. Sort l, 3, o in increasing order.
o, 3, l
Let w = 7 - 1. Let y = 6.3 - w. Put 2, 0.1, y in descending order.
2, y, 0.1
Let p = -3.1 - -0.1. Let x = 4 - 11/3. Let v = -2/21 - 13/84. Sort p, x, v.
p, v, x
Let z be (-4)/(-6)*(9 - 12). Put z, 0, -4 in descending order.
0, z, -4
Let d = -0.1 - -0.3. Let f = 23 + -23.26. Let z = f + 0.66. Sort -0.3, d, z in ascending order.
-0.3, d, z
Suppose k - 5*w = -3, -k + 2*w + 0*w = 0. Let y = -3 + 3. Sort -2, k, y in ascending order.
-2, y, k
Let l = -0.7 + -1.3. Let t = l - -3. Let b = t + -3. Sort -2/9, b, 0.4 in descending order.
0.4, -2/9, b
Let l(h) be the first derivative of 1/3*h**3 - 1 - 7/2*h**2 - 4*h. Let y be l(7). Sort y, -1, -5 in descending order.
-1, y, -5
Let m be (2 + -3)/(8/(-24)). Sort m, -11, -1, -4 in ascending order.
-11, -4, -1, m
Let m be 0/3 + -2 - -5. Suppose m*y - 5 = 4*y. Suppose 0*t - 5*t + 10 = 0. Put t, 5, y in increasing order.
y, t, 5
Suppose -b + 4*r = 14, -3*r - 2*r + 35 = -3*b. Suppose 2 + 34 = 3*y. Let j be b/6 - 4/y. Sort 3, 4, j in decreasing order.
4, 3, j
Let l(z) be the first derivative of z**2/2 - 2*z - 2. Let v be l(-2). Let d be ((-8)/(-14))/(4/14). Sort d, 4, v in descending order.
4, d, v
Let o be (1/(1 + 0))/1. Suppose -2*u - 1 = o. Put 2/11, u, -2/15 in descending order.
2/11, -2/15, u
Let z = -1 + 5. Sort z, 0, 2 in ascending order.
0, 2, z
Let m(g) = -g**3 + 3*g**2 + 1. Let n be m(2). Suppose n = 3*s - 7. Suppose s*t - 20 = l, -5*l = 4*t - 3*l - 20. Put -4, t, -1 in decreasing order.
t, -1, -4
Let i be 1/((-11)/3 - -4). Sort 5, 0, i.
0, i, 5
Let a be (-132)/15 - 2/3. Let n = a - -29/3. Put n, 5, -5 in ascending order.
-5, n, 5
Let g = 50 + -49.9. Sort g, -3, 1.1, 0 in decreasing order.
1.1, g, 0, -3
Suppose 12 = j - 4*j, -2*w - j - 24 = 0. Let l be 6/w*-3*5. Let r = 5 - l. Put 2, r, -5 in increasing order.
-5, r, 2
Suppose -3*b + 4*g = 5, -2*b + 5*g + 0*g - 1 = 0. Sort b, 0, 5, -46 in increasing order.
-46, b, 0, 5
Let r be (-18)/3*10/15. Sort r, 0, 2 in ascending order.
r, 0, 2
Let q = -0.01 - -0.11. Let w = 47/65 + 1/13. Sort q, -4, w in decreasing order.
w, q, -4
Let g be (2 - 0) + 0 + -3. Sort g, -3, 5 in ascending order.
-3, g, 5
Suppose -5*q + 0 = 5*i - 10, -2*i = -4*q + 14. Let h be i - (-20)/4*1. Put 2, -4, h in increasing order.
-4, 2, h
Let h = 0.02 - 0.12. Let r = 4.1 + h. Let q = -0.2 + -0.2. Put 3, q, r in decreasing order.
r, 3, q
Let l = -0.02 + 2.02. Sort 1/3, l, -4 in ascending order.
-4, 1/3, l
Let k(v) = v**2 - v - 2. Let m be k(0). Let w = 1 - m. Put 5, w, -4 in increasing order.
-4, w, 5
Suppose -3*g - 13 = 2*p, -3*p + 2*g = 1 + 12. Put -4, p, 3 in ascending order.
p, -4, 3
Let s = 1.21 + -1.7. Let g = 0.76 + s. Let n = g + 0.03. Sort 2, n, 1 in ascending order.
n, 1, 2
Let x = 0 + 1. Let k be (-4)/22 + (-756)/(-1617). Put -4, x, k in decreasing order.
x, k, -4
Let d = 1 + -1. Suppose 5 = w - d, 0 = -3*h + w - 5. Let z = 4 - 6. Sort -5, z, h in decreasing order.
h, z, -5
Let x = -2.928 + -0.072. Put -0.4, -1/18, 3, x in ascending order.
x, -0.4, -1/18, 3
Let v = -57 - -52. Put v, -4, 0, -2 in descending order.
0, -2, -4, v
Let g(q) = q**2 - 30*q + 21. Let x be g(29). Sort -4, 2, x, 3.
x, -4, 2, 3
Let b = -1 - -1. Let h = -25.8 - -16.9. Let t = -9 - h. Sort t, b, 0.1 in decreasing order.
0.1, b, t
Let t be 5/((5 + -3)/(1 - -1)). Put 1/3, 30, t in ascending order.
1/3, t, 30
Let n(m) = 5*m**2 + 2*m - 1. Let t be n(1). Let u = t + -2. Suppose -c - 10 = -5*r, 5*c - u*r - 40 = -9*r. Sort -1, c, -4 in increasing order.
-4, -1, c
Suppose -4*a + 5*a + 9 = -3*p, -2*a = -5*p - 4. Let v(y) = y**3 + 2*y**2 - y - 1. Let h be v(p). Let q = h - 2. Sort q, -4, -5 in increasing order.
-5, -4, q
Suppose -3*s + 11 = -1. Suppose f = -0*f - s. Sort -1, -2, f in ascending order.
f, -2, -1
Suppose 5*m = -5*f - 10, 6 = -m - f + 4*f. Put -5, 2, m, -1 in decreasing order.
2, -1, m, -5
Let g = -0.5 + -0.5. Let d = -8.1 + 0.1. Let n = d + 13. Put g, 2, n in descending order.
n, 2, g
Let z = -114 + 113.9. Sort -0.2, -0.5, z, 0.5 in decreasing order.
0.5, z, -0.2, -0.5
Let t be 34/(-18) + (-14)/126. Sort t, 22, 1 in ascending order.
t, 1, 22
Let i = 16 - 14. Let o = 2942/15 - 196. Put i, 5, o in decreasing order.
5, i, o
Suppose 0 = -2*p - 6 + 4. Put 0, p, -3 in decreasing order.
0, p, -3
Let q = -4 - -6. Suppose 2*h = 4*o - 46, 3*o = 5*h - q*h + 36. Suppose -4*s + o = -3*s - 3*g, -3*g - 1 = 4*s. Sort -3, s, 4 in descending order.
4, s, -3
Suppose -14 = -2*v + 4. Sort v, 2/5, 0.3 in decreasing order.
v, 2/5, 0.3
Let a = 5 - 0. Suppose 0*v - v + 25 = a*c, 4*c - 20 = 2*v. Put v, -2, 2 in descending order.
2, v, -2
Let n(f) = -2*f**2 - 8*f + 6. Let q be n(-6). Let y be (1/39)/((-3)/q). Sort 2, y, 5 in ascending order.
y, 2, 5
Let x be 15/(-10) + 1/(-2). Let c be 5/((-15)/(-4)) + -1. Put c, -0.5, x in descending order.
c, -0.5, x
Let p = -2 - -3. Suppose -x = k - 7, -5*x + 23 = -5*k - 2. Let r be (x/4)/(9/(-4)). Put r, p, -1 in decreasing order.
p, r, -1
Let f = 26827/37 - 725. Put 5, 0, f in decreasing order.
5, f, 0
Let s = 0.07 + 1.93. Sort -4, s, 3/8.
-4, 3/8, s
Let d(x) = -2*x - 6. Let v be d(-6). Suppose -4*m = v + 14. Put m, 0, 1 in descending order.
1, 0, m
Suppose -4*s = -0*s - 4, y - 4 = -4*s. Suppose v + 29 = -0*v + 5*p, 3*v = 3*p - 27. Sort y, 3, v in ascending order.
v, y, 3
Let p = 3 + -1. Suppose p*f - 1 = 5*o, 4*f - 3*o - 2 = 7. Suppose 2 = -2*t + f*t. Put -3, t, -5 in increasing order.
-5, -3, t
Let q = 7/4 - 71/36. Let b = -0.96 + -0.04. Sort b, 0, q in descending order.
0, q, b
Let r(z) be the third derivative of z**6/120 + z**5/15 + z**3/6 - 5*z**2. Let t be r(-4). Sort -2, t, -1 in decreasing order.
t, -1, -2
Suppose 0 = 8*z + 23 + 9. Suppose 0 = -a - 3*k - 12, -3*k = a - 6*k - 6. Sort -2, a, z.
z, a, -2
Suppose 0 = -5*c + 2*i + 13, 4*c = c - i - 1. Sort c, 3, -2 in decreasing order.
3, c, -2
Let d(b) = -b**3 + 8*b**2 + 11*b - 2. Let u be d(9). Let s = u - 49/3. Put 0.5, s, 0.4 in increasing order.
s, 0.4, 0.5
Let y(b) = -b - 15. Let h be y(-11). Sort h, -2, 5 in decreasing order.
5, -2, h
Let a(q) = -q**3 - q**2 + q. Let r be a(0). Suppose c + r - 1 = 0. Sort 2, -0.4, c in decreasing order.
2, c, -0.4
Let