n decreasing order.
c, 3, 1
Suppose -k - 225 = 4*k. Let o be (-2)/(-4) + k/66. Suppose -6*c = -10*c + 8. Sort c, -1, o.
-1, o, c
Let m be 0/(-1) + (4 - 0). Let l(v) = 6 + 9*v**2 - 2 + 8*v - 3*v**3 + m*v**3. Let w be l(-8). Put w, -3, -2 in decreasing order.
w, -2, -3
Let p = 0 + -1. Let f be (p - 1)*5/6. Let r = -2.9 + -1.1. Sort r, 4, f.
r, f, 4
Let x = -0.4 + 0.38. Let t = x + 4.02. Put 1/4, -1, t in ascending order.
-1, 1/4, t
Let g be (-15)/(-10) - 3/(-6). Sort 1, g, -4 in decreasing order.
g, 1, -4
Suppose 0 = 3*x + f + 2 - 7, 0 = -2*x + 4*f - 20. Sort 3, x, -3.
-3, x, 3
Let j = 10 - 23. Let r(s) = s**3 + 12*s**2 - 12*s + 8. Let h be r(j). Sort -2, 1, h.
h, -2, 1
Let l be 1*2*1 - 0. Let m be 1/(-35) - l/5. Let y = -1144.3 - -1144. Sort y, 1, m in ascending order.
m, y, 1
Let m be 1*4 + (0 - -1). Let c be (-9)/(-3)*-3 - 1. Let d = -14 - c. Put d, m, -3 in decreasing order.
m, -3, d
Suppose -7 + 15 = -4*a. Let l be 5 + (-2 - (2 - 4)). Let x = -8 + l. Sort a, 4, x.
x, a, 4
Let n = -11 - -2. Let q = -3 + n. Let i = 7 + q. Sort 3, i, 4 in descending order.
4, 3, i
Let y(w) = 2*w**2 - 6*w - 9. Let d be y(4). Put -2, -6, d, -3 in decreasing order.
d, -2, -3, -6
Suppose 0 = 6*v - 0*v + 12. Put 0, v, -4 in ascending order.
-4, v, 0
Suppose -o - 3*p = 2*o - 9, -4*o = -4*p + 20. Let w be (-9)/(-6)*(-120)/(-9). Suppose 0 = -4*t - w, -4*t = -2*l + 12 - 2. Sort l, 3, o.
l, o, 3
Suppose -18 + 22 = 2*v. Sort 3, 4, -2, v in descending order.
4, 3, v, -2
Suppose 0 = 2*s - 11 - 19. Let o be ((-6)/(-20))/(6/s). Let w be 6/40 + 4/(-10). Sort -1, o, w in ascending order.
-1, w, o
Suppose 0 = p - 4*p - 3*j - 15, p - 4 = 2*j. Suppose -a = 15 - 2. Let f = a - -8. Sort f, -1, p.
f, p, -1
Let i = -1/288 + 25/288. Put i, -3, 5, -4 in decreasing order.
5, i, -3, -4
Let t = -2 - -1.96. Let f = -36.46 - -37. Let o = t + f. Sort 3, o, 2/5 in increasing order.
2/5, o, 3
Let h = -3 - 1. Put h, 5, -1, 3 in descending order.
5, 3, -1, h
Let r be (-3 + (-4 - (-51)/6))/3. Put -4, r, -0.4, 2 in increasing order.
-4, -0.4, r, 2
Let f = 2 + -3. Let u = 9.82 + -5.82. Sort u, f, 3 in decreasing order.
u, 3, f
Let u = -3/67 - 329/134. Suppose -2*s - 5*k - 4 + 18 = 0, 5*s - 5 = -5*k. Sort u, -0.06, s in decreasing order.
-0.06, u, s
Let i(m) = -2*m + 3. Let y be i(7). Let z = y - -4. Put -5, 0, z in increasing order.
z, -5, 0
Let o = -0.04 - -7.04. Let x = o - 6.6. Put -0.3, -4, x in descending order.
x, -0.3, -4
Let b(d) = -2*d + 8. Let h be b(7). Let m be (2/h)/(7/105). Suppose -u + i - 1 = 0, 2*i = -0*i. Sort u, -3, m in ascending order.
m, -3, u
Suppose 4 + 8 = 4*o. Let t(j) = j**2 + 2 - 2*j**2 + j**o - 6 - j. Let w be t(0). Sort 4, -2, w in increasing order.
w, -2, 4
Let c = -0.003 + -9.697. Let x = -10 - c. Sort 2, 2/3, x.
x, 2/3, 2
Let p = -1.9 - -6.4. Let m = 5 - p. Let n be (-1 - -1)/(-2 + 0). Put m, -1, n in increasing order.
-1, n, m
Let p be 9/(-1)*(10 + -11). Let f be (p/18)/(1/(-8)). Sort -1, 0.4, f in increasing order.
f, -1, 0.4
Suppose -2*h + 4*h - 14 = 0. Let o be ((-27)/(-252))/(2/h). Let b be (-3)/(-24)*-2*-6. Put 0.2, o, b in descending order.
b, o, 0.2
Let j = -0.4 - -0.7. Let h(t) = -t - 13. Let b be h(-12). Sort b, j, 3 in increasing order.
b, j, 3
Let v(i) = i + 11. Let b be v(-14). Put 1, b, -2 in decreasing order.
1, -2, b
Suppose 0 = 5*y - 5 - 0. Suppose -2*t + 6 = -5*u + y, 2*u + 4*t + 2 = 0. Let c = -1 + u. Put 0, -4, c in decreasing order.
0, c, -4
Let g be 2/8 - (-170)/(-360). Sort 1/4, -1, g in descending order.
1/4, g, -1
Let g be ((-32)/(-48))/(1/((-15)/(-2))). Put -3, 37, g, -4 in decreasing order.
37, g, -3, -4
Let s = -9 + 6. Let a = -4 - s. Put a, -2/3, 1 in decreasing order.
1, -2/3, a
Suppose -h = -2*h + 4. Let x be 2/4*h + -7. Let b(g) = -g**3 + 10*g**2 + g - 13. Let u be b(10). Sort u, 2, x.
x, u, 2
Let c(n) = 3*n + 50. Let u be c(-15). Put 0.03, 0.3, u in descending order.
u, 0.3, 0.03
Suppose c + 0 = 8. Sort -1, c, 3 in ascending order.
-1, 3, c
Let h = 0.3 + -0.2. Let q = 63 - 61. Let v = 6 - 8. Sort h, q, v in decreasing order.
q, h, v
Let i be (-2 + 3)/(5/2). Suppose 0*v - 5*m + 5 = -4*v, 0 = 4*v - m + 1. Put -1, v, i in decreasing order.
i, v, -1
Suppose 0*y - m + 6 = -y, 4*y - 3*m + 22 = 0. Suppose 6*s = 2*s. Sort -2, s, y in descending order.
s, -2, y
Let t = 1 - 1.05. Let u = t + 4.05. Let h = 0 + u. Sort h, -0.5, -2 in decreasing order.
h, -0.5, -2
Let z = 75.14 + -80. Let m = 0.14 - z. Sort -2/9, -0.4, m in ascending order.
-0.4, -2/9, m
Let w(t) = t**2 + 4*t + 3. Let q(l) = -3*l**2 - 9*l - 6. Let u(y) = -2*q(y) - 5*w(y). Let f be u(3). Suppose 0 = 2*k + 2 - f. Sort k, 3, 2 in decreasing order.
3, 2, k
Let f = -7.12 - 0.88. Put 2/11, 0.3, f in increasing order.
f, 2/11, 0.3
Suppose -2*l = -3*r - 2*r + 8, 4*r - 3*l - 12 = 0. Let d = 2 + -3. Put r, 4, d in increasing order.
d, r, 4
Suppose l = -3*f + 1, 3*f - 4*l - 38 + 12 = 0. Let d = 6.7 + -7. Let v = -4 - -5. Put d, v, f in descending order.
f, v, d
Let c = -55 + 55.4. Sort -0.4, 0.2, 4/3, c in descending order.
4/3, c, 0.2, -0.4
Suppose 4*n - 14 = -4*l - 6, 10 = 5*n + 3*l. Let q be -3*(8/(-12))/(-1). Let c = 7 + -12. Sort c, n, q in ascending order.
c, q, n
Suppose 61*n - 64*n = 12. Sort n, 0.4, 0.15 in descending order.
0.4, 0.15, n
Let f = -0.12 - 1.88. Let j = 1.1 + -0.1. Let w be ((-1)/2)/(27/12). Put f, j, w in increasing order.
f, w, j
Let j = -6.99 + 7. Let k = j + -0.51. Put -2, k, -4 in ascending order.
-4, -2, k
Let y = 108 + -116. Put y, -3, 4, -4 in ascending order.
y, -4, -3, 4
Suppose 5*k - 1 = -u, 2*k + 3 = -3*k - 2*u. Let d(x) = 2*x - 1. Let h be d(k). Sort -5, h, -2 in increasing order.
-5, -2, h
Let c(y) = -y**3 - y**2 + 8. Let j be c(0). Suppose -27 - 9 = -5*h - 3*s, -2*h = -2*s - j. Put -5, h, 4 in decreasing order.
h, 4, -5
Let s = 74 - 74. Put 5, s, -0.5 in decreasing order.
5, s, -0.5
Suppose -5*j - 5 = -2*l + 13, -j = 2*l + 6. Let m(d) = -d**2 + d. Let t be m(3). Let i be (t/2)/(3/(-4)). Put i, l, 3 in descending order.
i, 3, l
Let c = 6.02 + -0.02. Let v = -4 + c. Put 4, -3, v in descending order.
4, v, -3
Let c be (1 - 4)/((-6)/10). Sort c, -1, -3 in decreasing order.
c, -1, -3
Let v = -4 + 8. Let t = 3.5 - v. Let n = 0.6 + t. Put 3, n, 0 in increasing order.
0, n, 3
Suppose -8*w + 9*w + 2 = 0. Let a(p) = p**2 + 5*p + 6. Let k be a(-4). Suppose 3*x = -13 - k. Put w, 5, x in descending order.
5, w, x
Let x = -3.68 + -0.32. Sort 2/13, x, -12.
-12, x, 2/13
Let p = 203 - 200. Suppose -12 = -3*h + 7*h. Sort 1/3, p, h in descending order.
p, 1/3, h
Let z = 2553268/785 + -22768/7. Let l = z - 63961/1099. Let t = l + 58. Sort 0.1, t, -2 in increasing order.
-2, t, 0.1
Let k(b) = 7*b**3 + b**2 - 1. Let d be k(1). Let w be (-12)/(-4) + d*-1. Sort -6, w, 0.
-6, w, 0
Suppose -1 = m + 4. Suppose -2*o - 3*p - 8 = -0*o, 0 = o - 4*p + 4. Put m, 1, o in decreasing order.
1, o, m
Let g = 1.4 - 1.2. Sort -1/4, g, 1 in decreasing order.
1, g, -1/4
Let c = -0.46 + 3.46. Sort c, -2, 2/17.
-2, 2/17, c
Suppose 2*x = 5*f + 7, 0*x = 4*x + 5*f + 1. Let h = -1 - -5. Put x, -5, h in descending order.
h, x, -5
Let t(l) = -l**2 + 65. Let c be t(0). Let d be 3/4 - c/60. Let n be (1/1)/((-8)/(-6)). Put d, -0.2, n in ascending order.
d, -0.2, n
Let l = 2 - 1. Let f be (-102)/9*(-6)/4. Let s be 1/4 - f/4. Sort s, 5, l in increasing order.
s, l, 5
Suppose 2*u - 9 = 5*u. Sort -1, u, -5.
-5, u, -1
Suppose -5*b + 5*n = -40, -4*b - 5*n = -5*b + 20. Suppose 2*i = b*i. Suppose -5*t - 1 - 4 = 0. Put i, -5, t in ascending order.
-5, t, i
Suppose 0 = -o - 3*a - 1, -a - 3*a - 16 = 0. Let j = 11 - o. Sort -5, 5, j in descending order.
5, j, -5
Suppose -5*t + 31 = 6. Put t, 0.1, -0.1 in descending order.
t, 0.1, -0.1
Let p = -1/363 - 1445/2541. Let i be ((-8)/12)/((-4)/(-30)). Let o be ((-3)/18)/(i/(-10)). Put -5, p, o in increasing order.
-5, p, o
Suppose 2*v - 2 = 4. Let g = -59 + 63. Sort g, v, 0.
0, v, g
Suppose -4*a - 14 = -3*z, -a - 13 = 2*a - z. Sort -1, 4, a.
a, -1, 4
Let x = -2.6 - -5.5. Let t = 3 - x. Let z = -6 - -10. Sort t, z, -5.
-5, t, z
Let h = 0.02 + -0.16. Let d = -0.56 + h. Let r = d - -0.5. Put 1, 2/7, r in descending order.
1, 2/7, r
Suppose d + 4*z = -d + 8, 0 = 5*d + 4*z - 2. Let s = -1 + d. Let f = 7 + s. Sort f, -1, -5 in ascending order.
-5, -1, f
Suppose 0 = -6*s + 5*