5
Let x be ((-1)/3)/(60/72). Sort 1/4, -0.2, x in decreasing order.
1/4, -0.2, x
Let s = 11 - 8. Suppose -i + 0*i - s = 0. Suppose 4*x - 16 = 0, q + x - 7 = -x. Put -5, q, i in increasing order.
-5, i, q
Let h = -1.2 + -0.8. Sort -1, -2/15, h in increasing order.
h, -1, -2/15
Let n = -0.78 + 0.7. Let m = n - -0.28. Put 2, m, 4 in increasing order.
m, 2, 4
Suppose 6*j - 4 = x + 2*j, -x - 4*j = -4. Let b = -16 + 6. Let t be 52/b - 1/(-5). Sort x, -3, t.
t, -3, x
Let m = 103 + -103. Let q = -5 - -5.3. Sort q, m, 1.
m, q, 1
Suppose 6*b - 2 = 10. Suppose 0 = 2*y - b - 2, -3*l + 4*y = -10. Sort l, 1/10, 3.
1/10, 3, l
Let j be (-2)/3 + (0 - 0). Let v = 1.2 - 2. Let f = -1 - v. Sort j, -5, f in decreasing order.
f, j, -5
Suppose 7*q - 19 = 16. Sort 1, 3, 2, q in increasing order.
1, 2, 3, q
Let j = 38 + -42. Let c(q) = 2*q - 8. Let x be c(7). Let h be (0 - x/(-8))*-4. Put j, -2/11, h in decreasing order.
-2/11, h, j
Suppose 3*n - 2 = 5*n. Let j = n - 4. Sort 0, j, -3.
j, -3, 0
Let z(u) = u - 5*u - 2*u + 1. Let v be z(1). Suppose 3*w = -f - 3 - 9, 5*w + 20 = 0. Put f, -2, v in decreasing order.
f, -2, v
Let v be 2/(-126)*-3*-3. Let l = -2 + 1.5. Let i = 3.5 + l. Sort 1/3, i, v.
v, 1/3, i
Let i = 2 - 0. Let s be (3/(-6))/((-2)/20). Let l be 42/(-8) + 2/8. Sort l, s, i.
l, i, s
Suppose 0 = -3*b + b. Let n be (-2)/(b - 3/(-6)). Sort n, 2, 4 in descending order.
4, 2, n
Let l be (-48)/18*(1/(-2) + -1). Let q = 5 + -2. Let i = 2 - q. Put 3, i, l in decreasing order.
l, 3, i
Let x be (1/(-2))/(3/(-6)). Sort 6, x, -0.2, 0 in descending order.
6, x, 0, -0.2
Let k be 0/((-1)/((-4)/(-12))). Put -1, k, 5 in decreasing order.
5, k, -1
Suppose 3*h + 6 = 5*i, 0*i - 2*i + 4 = -2*h. Suppose 3*q + q = i. Suppose v + q = 4. Sort v, 2, 3 in increasing order.
2, 3, v
Let o(u) = -8 + 7*u + 10*u - 7*u - 4 - u**2. Let x be o(9). Suppose 0*r - 2 = r. Sort r, 0, x.
x, r, 0
Let v be 9/6 - 1/2. Put 4, v, -15 in increasing order.
-15, v, 4
Let l be ((-12)/14)/((-13)/(156/(-18))). Suppose -6 + 46 = -5*v. Let j be 6/(-4)*v/30. Put j, l, -1/4 in descending order.
j, -1/4, l
Let q be 0/((-5)/(10/4)). Let o be (6/(-10))/((-8)/10). Let g = 1 + 1. Sort q, o, g in ascending order.
q, o, g
Let q = 9/14 + -8/7. Let s = 0.48 - -0.52. Put s, q, -2 in descending order.
s, q, -2
Let s = 191 - 190.9. Let z = 214/255 + -2/51. Sort s, z, 1 in descending order.
1, z, s
Let c be (1/(-2))/(6/4). Let q = 3.6 + 0.4. Put c, 1, q in increasing order.
c, 1, q
Let g be ((-1)/(-1) - 55/11) + 4. Sort 0.5, 1, g, -2.
-2, g, 0.5, 1
Let p be (-14)/(2 + (-23)/10). Let a = 47 - p. Sort -1, a, 3.
-1, a, 3
Suppose -4*b + 4 = 0, 3*b - 8*b - 4 = -3*u. Suppose -u*h + 10 = 2*h. Suppose -7*q = -h*q - 20. Sort q, 5, 2 in decreasing order.
5, q, 2
Suppose 5*c + 4*h = -0*c + 25, -2*c = 3*h - 10. Suppose -j - 1 = 4*u, 3*j - 5*j - 2 = 3*u. Put -5, j, c in descending order.
c, j, -5
Suppose 13 = -3*s + 2*s + 5*m, 4*s = -m + 11. Suppose -6*i + 12 = -s*i. Sort 5, 2, i in descending order.
5, i, 2
Let p be ((-3)/15)/((-8)/10). Sort -1, p, -4/3 in decreasing order.
p, -1, -4/3
Let y(h) = h**3 + h**2 - 2*h - 4. Let j be y(0). Let k be -5*(-2)/6 + -2. Put j, k, 10 in descending order.
10, k, j
Let n = 3 - 2. Let p(o) = o - 6. Let j be (2 + -9 - 1)*-1. Let y be p(j). Put n, -3, y in decreasing order.
y, n, -3
Let x(c) = -5*c - 14. Let f(g) = -2*g - 7. Let p(o) = 7*f(o) - 3*x(o). Let k be p(6). Let n(z) = 2*z. Let u be n(1). Sort k, u, 0 in decreasing order.
u, 0, k
Let q = -28 + 25. Sort q, 1, -1, 4 in increasing order.
q, -1, 1, 4
Let d = 165 - 165. Sort 12, 5, d.
d, 5, 12
Let u(s) = -s**3 - 5*s**2 + 6. Let g be u(-5). Let w(q) = -2*q - 12. Let o be w(-8). Let c = o - g. Sort c, 0.5, -3/5 in descending order.
0.5, -3/5, c
Let p be 6/(-2) + 2 + -4. Let n be 0*(-1 - 1*-2). Suppose -3*q + 2*q - 4 = n. Sort p, 5, q.
p, q, 5
Suppose 0 = 3*y + 2*y. Suppose y = -3*c - 3 - 0. Sort -2, c, 1.
-2, c, 1
Suppose 0 = s - 0*s + 2*l - 17, -s + 29 = 5*l. Sort -2, s, 1, -3 in increasing order.
-3, -2, 1, s
Let a(z) = 2*z + 1. Let o be a(-1). Put -3, 8, o in decreasing order.
8, o, -3
Let v be (-78)/(-4) + (-8)/16. Sort v, 3, 0 in increasing order.
0, 3, v
Let n be 3/6*0/(-6). Put 5, 1, n in ascending order.
n, 1, 5
Suppose 0 = -3*m - 88 + 82. Let r = 2 + -2.4. Put m, r, 0.01 in descending order.
0.01, r, m
Let n(b) = 5*b + 2. Let m be n(2). Let l be ((-4)/(-6))/(8/m). Sort -5, -2, l in decreasing order.
l, -2, -5
Let c = -34 - -34. Sort -1/10, 3/2, c.
-1/10, c, 3/2
Suppose 12 = -2*v - v. Let p be v/10 - 37/(-5). Suppose 0 = 3*t - p*t. Sort -5, -2, t in descending order.
t, -2, -5
Let p = 28 + -27. Sort 1/3, p, -1, -3.
-3, -1, 1/3, p
Let x(d) = -d**2 - 2*d - 1. Let k be x(-2). Sort 2, -4, k in decreasing order.
2, k, -4
Suppose -w + 3 = -1. Suppose -5*z + 5*i = -20, 3*z = -w*i + 2*i + 2. Let l be z + 0 - 6/(-3). Sort 5, l, 0 in descending order.
5, l, 0
Let o = -113 + 128.6. Let k = 15 - o. Sort 4, 0.3, k in increasing order.
k, 0.3, 4
Let p = -0.49 + 0.39. Let b = 0.2 + -1.2. Put 5, b, p in ascending order.
b, p, 5
Let f = -0.3 + -0.7. Suppose -2*i - 16 = -128. Let k = -337/6 + i. Sort f, 0.1, k in decreasing order.
0.1, k, f
Let s be 2/(-5) - 73/5. Let a be 16/30*s/6. Put a, 3, 0.2 in ascending order.
a, 0.2, 3
Suppose c = 5*h + 1 - 20, 2*h = 6. Sort c, 0, 4 in ascending order.
c, 0, 4
Let d be (-12)/10*(-120)/18. Suppose 3*p - d*p = -25. Let z be (-11)/(-15) + 4/(-10). Put 1/5, p, z in descending order.
p, z, 1/5
Let a(z) = z**2 + 15*z - 8. Let t be a(-16). Put -3, -5, t in decreasing order.
t, -3, -5
Let z be 0 + (-2 - (-1)/(-1)). Let y(l) = 2*l**2 + 27*l + 14. Let a be y(-13). Let c = 4 - 2. Sort a, c, z in descending order.
c, a, z
Suppose 4*v + 15 = -3*c, -4*v - 16 - 17 = 5*c. Let q = 4 + c. Sort q, 3, -4 in decreasing order.
3, -4, q
Let n = -0.18 + -3.82. Suppose -t = -4 + 1. Suppose -15 = 2*l + 3*l - 4*a, t*l = -a - 9. Put n, 1, l in decreasing order.
1, l, n
Suppose 11*r - 3 = -58. Sort r, 1, 2/3, 5 in decreasing order.
5, 1, 2/3, r
Suppose -3*u = -4*x + 2*u + 15, 3*x + 3*u - 45 = 0. Suppose -2*v + 0*a + 2*a = x, v = -3*a - 1. Sort v, 3, 0.
v, 0, 3
Let m = 134 - 941/7. Put 0, 2/3, m in ascending order.
m, 0, 2/3
Let j = -5 + 8. Suppose 0*n - 2*n - 5 = 5*m, 0 = 5*n. Sort -4, m, j in descending order.
j, m, -4
Let v(k) = -k**3 - 15*k**2 - 15*k - 14. Let f be v(-14). Sort -0.3, f, -5/4 in ascending order.
-5/4, -0.3, f
Suppose -5*l = -9 - 16. Sort 1, 2, l in descending order.
l, 2, 1
Let p = 2 - 1. Let g = -0.89 + 0.99. Sort 3, g, p.
g, p, 3
Let x = -38 - -43. Put -1, x, -4, 0 in decreasing order.
x, 0, -1, -4
Let b be 3/(-3*4/8). Suppose -3*s - 1 = -2*q, -s + 3*s - q + 1 = 0. Put 4, s, b in ascending order.
b, s, 4
Let p = -2.4 - -3. Let m = p - 0.68. Let i = m + -3.92. Put 3, 0.2, i in descending order.
3, 0.2, i
Suppose 0 = -5*q + 9*q + 20. Put -3, 4, q, 1 in descending order.
4, 1, -3, q
Let s = 1 + -2. Let w(l) = l**3 + 6*l**2 + 5*l + 3. Let x be w(-5). Sort -3, s, x.
-3, s, x
Let s be 2/3*(-3)/(-2). Put -10, s, 2, -1 in ascending order.
-10, -1, s, 2
Let y = -3 - -2.9. Let g = 0.1 - y. Let a be 3 + 1*11/(-5). Sort a, g, -4/7.
-4/7, g, a
Let t(r) = -5*r. Let i be t(1). Sort i, 5/2, 2.
i, 2, 5/2
Suppose -4*w + 2*o + 96 = 0, 2*o + 66 = 3*w - o. Let z = w + -53/2. Put -3, z, -0.4 in decreasing order.
-0.4, z, -3
Suppose 16*x - 14*x + 40 = 0. Let s = x - -15. Sort -3, 5, s in descending order.
5, -3, s
Let c(s) = s**3 - 6*s**2 + 6*s - 7. Let t be c(5). Let j be 9/84 + (-4)/16. Sort t, j, -4 in ascending order.
-4, t, j
Suppose -2 + 8 = 4*w - i, -3*i = 3*w + 3. Suppose 0 = -3*g - 12, 2*a + 13 = a - 4*g. Put -1, w, a in increasing order.
-1, w, a
Suppose 5*u + 1553 + 252 = 0. Let m = 5/54877 - -138893652/384139. Let t = u + m. Sort -1, -3, t in ascending order.
-3, -1, t
Let p(d) = -12*d**2 + d**2 - d**3 - 6*d + 15 + 9*d + 10*d. Let n be p(-12). Suppose -3*f - f = -n*q + 20, 5*q - 10 = 2*f. Put q, -4, 5 in ascending order.
-4, q, 5
Let k = 14 + -14.15. Let g = k + 4.15. Put g, -4, 1/6 in decreasing order.
g, 1/6, -4
Let z = 11/8 - 3/2. Put 6, z, -5 in decreasing order.
6, z, -5
Let d(z) = -z. Let s(x) be the first derivative of -x**2 + 6*x + 3. Let p(h) = -3*d(h) + s(h). Let j be p(-7). Sort -4, j, 0.
-4, j, 0
Let n = -0.37 + 40.37. Put n