o, 10
Let l = 119 - 112. Sort l, 2, -1, -3.
-3, -1, 2, l
Let t = -8/19 + 126/209. Let b be 5/20 - 34/72. Put b, t, 1 in decreasing order.
1, t, b
Suppose 3*k = l + 8 - 4, l - 5*k + 10 = 0. Let x = 4 - 1. Let t = x - 2. Sort l, t, -3 in increasing order.
-3, t, l
Suppose -3*r + 2 = -4. Suppose -15 + 17 = r*j. Sort 0, j, 3.
0, j, 3
Let w = 1 + 5. Let s = w - 6. Sort -4, s, -2 in descending order.
s, -2, -4
Let r = 13 + -8. Let t(s) = s**3 - 2*s**2 - 7*s - 3. Let q be t(-2). Sort r, 3, q.
q, 3, r
Let h be ((-2)/(8 + -6))/(0 - -1). Suppose 2*d = -0*d + 22. Suppose -4*c + d = 5*i, -1 - 4 = 5*i. Sort 1, c, h in decreasing order.
c, 1, h
Suppose -8 - 4 = -4*z. Let d(h) = 9*h**3 - h. Let c be d(1). Let p = 4 - c. Sort p, 2, z in decreasing order.
z, 2, p
Let o = -0.01 - -5.01. Let s = -698/5 - -140. Sort o, s, 1 in ascending order.
s, 1, o
Suppose 4*f = 18 - 14. Sort f, 0, -3 in ascending order.
-3, 0, f
Suppose 2*m - m = 2. Sort m, 0, -1 in descending order.
m, 0, -1
Let s = 17 - 14. Sort s, 0, -3 in descending order.
s, 0, -3
Let j = 4 + -6. Sort j, 0.6, -5.
-5, j, 0.6
Let n = -8/13 + 69/91. Put 5, 1/5, n, -0.4 in descending order.
5, 1/5, n, -0.4
Let w = 0 + -17. Let s = w + 33/2. Sort 5, s, -0.2 in increasing order.
s, -0.2, 5
Let o = 6 - 6.03. Let z = o + -0.02. Let w = 4.05 + z. Sort -5, w, -1/3 in descending order.
w, -1/3, -5
Suppose -2*y - y + 2*z + 2 = 0, 0 = -2*z + 4. Suppose 4*g - 10 = 2*g. Sort g, y, -5 in descending order.
g, y, -5
Let a = 2/37 - 162/259. Sort -4, a, 0.1.
-4, a, 0.1
Let n(r) = -2*r - r**3 + 2*r + 2 + 0*r + 3*r + 2*r**2. Let p be n(3). Sort 0, -5, p in ascending order.
-5, 0, p
Let a(i) = -i - 5. Let w be a(-7). Suppose x + 3*g - 2 = 0, w*x + 2*g = x. Let y = -1 - x. Put 0, y, -2 in descending order.
y, 0, -2
Let x(g) = -g**3 - 5*g**2 + 1. Let t be x(-5). Put -1, 5, t in descending order.
5, t, -1
Let j(c) = -c + 5. Let z be j(8). Let x be -3 - (0 - 12/2). Suppose -5*y + x = -4*y. Put y, -5, z in ascending order.
-5, z, y
Let t = -0.142 - -0.642. Let v = -119/2 - -58. Let c = 11/6 + v. Put t, c, -1/7 in decreasing order.
t, c, -1/7
Let a be 4 + 0*2/(-6). Let k(j) = -j**2 + 5*j - 4. Let n be k(a). Sort -2, n, 1 in ascending order.
-2, n, 1
Let g(f) = -f**2 - 2*f + 23. Let s be g(-6). Put 1, 0, 5, s in descending order.
5, 1, 0, s
Let a = 821/10 + -82. Sort -2/3, 1/57, -2, a.
-2, -2/3, 1/57, a
Let k be (-760)/2562 - (-12)/42. Let d = k + 197/1281. Put -5, 3/2, d in descending order.
3/2, d, -5
Let p(j) = j**2 + 5*j - 8. Let s be p(-6). Let q be (12/10 + 0)/s. Let u = 0.495 + -0.195. Put u, -0.2, q in decreasing order.
u, -0.2, q
Suppose 46 = 21*c - 23*c. Sort -4, c, 1 in ascending order.
c, -4, 1
Suppose -4*s + 42 = -82. Let k = 153/5 - s. Let o be ((-8)/5)/(-2*1). Sort o, -0.5, k in decreasing order.
o, k, -0.5
Suppose -2*k = -7*k - 10. Let d be (-16)/6*9/(-6). Suppose -d + 12 = -2*i. Sort k, -3, i in increasing order.
i, -3, k
Let j = 0.12 - -20.88. Let g = -20.1 + j. Let a = -1.4 + g. Put 3, 2/11, a in increasing order.
a, 2/11, 3
Suppose -26 - 78 = -4*d. Put -1, -2, d in decreasing order.
d, -1, -2
Let g = 6 - 11. Sort -9, 3, g, -4.
-9, g, -4, 3
Let v(x) = x**3 + 8*x**2 + 9*x + 10. Let f be v(-7). Put f, 2, 2/5, -5 in ascending order.
-5, f, 2/5, 2
Let a be ((-10)/(-8))/((-3)/12). Let y = a + 10. Sort -4, y, -1/4 in increasing order.
-4, -1/4, y
Let s = -21 - -24. Sort 1, s, -8 in increasing order.
-8, 1, s
Let i be 1 - (1 - (-2760)/27). Let x = -102 - i. Put 0.5, -4, x in ascending order.
-4, x, 0.5
Let d = 31 - 36. Sort -1, d, -2 in increasing order.
d, -2, -1
Let z be -2 - 15/(-6) - 0. Suppose 0 = -j - 1. Put z, 5, j in descending order.
5, z, j
Let y(r) = -r - 3. Let a(x) = -x - 15. Let j be a(-11). Let g be y(j). Let i = -322/9 - -36. Sort i, g, 0.5 in increasing order.
i, 0.5, g
Let r = 29 + -31. Sort r, -4, 1 in increasing order.
-4, r, 1
Let l = -2/145 - 276/1015. Put -0.1, l, 4 in descending order.
4, -0.1, l
Suppose -11 = 4*z - 27. Sort -1, 3, z in decreasing order.
z, 3, -1
Suppose 2*p + 20 = -3*i, -32 = -i + 6*i + 3*p. Sort -19, i, -2 in decreasing order.
-2, i, -19
Let j(y) = -y**3 - 5*y**2 - y - 3. Let f be j(-5). Sort 1, f, 0, 4 in descending order.
4, f, 1, 0
Suppose -9*l - 12 = -3*l. Put -4, 5, l in descending order.
5, l, -4
Suppose 9*o - 6*o = 12. Suppose 3*h + 3*g = 2*h + 15, -4*h = o*g - 20. Put -0.3, 5, h in ascending order.
-0.3, h, 5
Let z = -3.27 + 0.27. Sort -1/6, z, -0.1 in decreasing order.
-0.1, -1/6, z
Suppose -2*m = -3 - 5. Let y be (-1)/(-10)*m + 0. Let d = 88 - 527/6. Put y, -5, d in descending order.
y, d, -5
Let t(h) = -h**2 + 4*h + 7. Let l be t(6). Suppose 92 = -79*p + 33*p. Put 1, p, l in increasing order.
l, p, 1
Let p be 2 + 1 + -1 + 1. Suppose p*k + 4 = -2*o - 2*o, 3*o = 3*k - 3. Sort -4, 1, k in descending order.
1, k, -4
Let j = -4.3 - 1.7. Let m = j + 1. Let t = 0 + 0.1. Sort m, t, 0 in decreasing order.
t, 0, m
Suppose 2*p = -2*p + 8. Suppose -3*r + a + 5 = 24, 15 = r + 5*a. Let b be -1 - (-8 - -2*1). Sort p, r, b in ascending order.
r, p, b
Let i be 1/(-4) - (-1 - 0). Let m = 1.5 + -1. Put i, 2, m in decreasing order.
2, i, m
Suppose 3*s = 4*s - 4*a - 10, 3*s - 6 = 4*a. Sort -3, s, 4 in decreasing order.
4, s, -3
Let q = 8 + -7. Let l be q/3 - 55/(-15). Sort -3, -4, l in descending order.
l, -3, -4
Let p = 11 - 10. Let i = 5 - p. Put i, 3, -4 in descending order.
i, 3, -4
Suppose 19*r - 12 = 15*r. Let j(v) = -3*v - 5. Let z be j(-4). Sort r, 2, z.
2, r, z
Suppose -11*s + 2 = -10*s + l, 5*l - 10 = -4*s. Let k = -4 - -6. Sort 4, k, s in descending order.
4, k, s
Let r(m) = -m**2 + 8*m - 8. Let t be r(6). Suppose -t*i + 0*i = -20. Sort i, -1, 3.
-1, 3, i
Suppose -6 = 4*u - 2. Suppose 4*l = 12 - 44. Let d = l - -5. Put d, u, 3 in ascending order.
d, u, 3
Let n = 0.1 + 0.2. Let t = -23 - -22.6. Sort 4, t, n in descending order.
4, n, t
Let h(u) = -u + 12. Let l be h(11). Let n = -2 - 0. Put 0, l, n in descending order.
l, 0, n
Let q = 0.1 + -0.3. Suppose 103 = -19*f + 27. Sort f, -4/7, q in decreasing order.
q, -4/7, f
Let h = -86.04 + 84. Let b = 0.04 + h. Let w = 1 + 4. Put w, -0.3, b in decreasing order.
w, -0.3, b
Let w = -2.8 + -0.2. Let f = -12 - -7. Put w, 0.1, f in increasing order.
f, w, 0.1
Let d = 15/8 - 19/8. Let o = -0.08 - -2.08. Sort o, d, -1/3.
d, -1/3, o
Let c = 0 - 0. Let k(d) = -d + 7. Let p be k(5). Suppose -4*n + p = -2*n. Sort n, -0.1, c in descending order.
n, c, -0.1
Suppose 4*a - 63 = -4*t - 27, -t + 2*a - 6 = 0. Let x be (t + -3)/(2/2). Put -0.4, -1/4, x in descending order.
x, -1/4, -0.4
Suppose 4*a = 4*i, 2*a - 5*i + 1 = -4*i. Let m(s) = -s**2 - s + 1. Let x be m(a). Suppose 3 = t + x. Sort -5, 3, t in decreasing order.
3, t, -5
Let c(m) = m**2 + m - 7. Let q be c(3). Suppose -3*f - h = -5*f + 1, -5*f - 3*h = 25. Sort q, f, 2 in ascending order.
f, 2, q
Let u = -0.08 - 0.92. Let j = u - 0. Let p = 0.37 + 0.03. Put -5, p, j in descending order.
p, j, -5
Let y(z) = z + 10. Let p be y(-7). Let n = p + -2. Let x = -7 - -7. Put -5, x, n in ascending order.
-5, x, n
Suppose 21 = 6*d - 3*d. Suppose 2*t = -0*t + 4. Put d, -3, t in increasing order.
-3, t, d
Let z = 3 - 0. Let i be -2 + (2 - (z + -3)). Suppose f + 4 + 0 = i. Sort f, 5, -2.
f, -2, 5
Let p be (-6 + 0)*2/(-3). Suppose 0*g - p*g - 8 = 0. Let h(n) = -n - 2. Let o be h(-5). Sort -3, o, g in increasing order.
-3, g, o
Suppose 4*x - 2 = 10. Suppose -16 = -4*n + 5*l, x*n + 3*l = -2*n + 20. Suppose 5*q - 2*k = -k + 19, n*k - 8 = -q. Put 0, q, 3 in descending order.
q, 3, 0
Let n = 35 + -31. Sort -0.2, -2, n in decreasing order.
n, -0.2, -2
Let m = 35.1 + -39. Let o = 20.9 + m. Let p = 12 - o. Sort p, -2/3, 0.3 in descending order.
0.3, -2/3, p
Let b = -2 + 2. Let d be 5 + 3*1/3. Suppose b = -i + 3, d*z - z = 3*i - 9. Sort 2, 4, z in ascending order.
z, 2, 4
Let j be (-1)/(-3) - 7/3. Let d(z) = 2*z - 2. Let f be d(3). Sort 3, j, f in decreasing order.
f, 3, j
Let m(g) = -g**3 + 7*g**2 + 3. Suppose -14 = 3*a - 5*a. Let o be m(a). Sort 0, -5, o in ascending order.
-5, 0, o
Let z(h) = -h - 8. Let m be z(-5). Suppose -9 = -r - 3*q, 7*r - 2*r = 5*q + 25. Put r, -1, m in descending order.
r, -1, m
Suppose 0*y - 6*y = -48. Let w be -1*((-3)/(-1) + 0). Sort w, y, -1.
w, -1, y
Let u = -1 + 15. Suppose -1 = 5*