 c be l(-18). Sort 2, c, -3 in descending order.
c, 2, -3
Let z = -31 + 29.36. Let c = -1.6 - z. Sort c, 1/11, 0.3.
c, 1/11, 0.3
Suppose -11 = 3*g - 2*o, -o + 9 = 3*g + 2*o. Let t = -0.36 + -0.04. Suppose -2*u + 2 = 4*k - 2, -4 = 4*u - 4*k. Sort g, u, t.
g, t, u
Let t(r) = -r**2 + 6*r + 3. Let q be t(7). Let v = 1.5 + 0.5. Suppose -6*c + 11*c + 25 = 0. Put c, v, q in ascending order.
c, q, v
Let i = -73 + 80. Sort i, -2, 1, 5 in descending order.
i, 5, 1, -2
Let v(o) = 0 + 0*o - 5 + o + 1. Let z be v(7). Put 4, z, -1 in decreasing order.
4, z, -1
Let z = 1.92 - -0.08. Put 23, 3/4, z, -5 in descending order.
23, z, 3/4, -5
Let v = 36 + -143/4. Sort 4, 5, v.
v, 4, 5
Let r = -157 - -157. Sort r, -35, 1 in ascending order.
-35, r, 1
Suppose j + 6 + 6 = 4*u, -j - 5*u + 6 = 0. Sort j, 5, -1 in increasing order.
j, -1, 5
Suppose -4*q + 0*q = 0. Let v = -17 + 12. Sort v, 1, q in increasing order.
v, q, 1
Let m = 18401/407 - 500/11. Let j = 7/333 + m. Let l = -1 - -1. Put l, j, 2 in decreasing order.
2, l, j
Let c = 0 - 3. Let g be -5*(-2 - (-24)/10). Let t be g - ((-1 - 1) + -2). Sort c, t, 0 in decreasing order.
t, 0, c
Let r be 6/210*34 + 4/(-10). Suppose 0 + 9 = -3*f, -3*d = -f - 18. Sort r, d, -2/7 in descending order.
d, r, -2/7
Suppose 2*m = -z + 10 - 2, 0 = m - 4*z + 14. Put -4, m, -2, 3 in descending order.
3, m, -2, -4
Suppose 0*z - 3 = -z. Suppose h = -0*h - 11. Let u = h + 6. Put z, u, 4 in descending order.
4, z, u
Let j(m) = -6*m + 0*m - 13 + 2*m + 3*m. Let q be j(-13). Put -1, 5, q in descending order.
5, q, -1
Let f(h) = h + 7. Let a be f(-5). Suppose 9*m - 4 = 11*m. Put m, a, -5 in ascending order.
-5, m, a
Let f = -617 - -618. Let s = 2.3 + -2. Let t = 0.8 - s. Sort -1, t, f.
-1, t, f
Let x be 1/(-3) - 44/12. Let c(y) = -4*y**2 + 2*y + 5. Let w be c(x). Let f = w - -467/7. Sort f, 3, 1/9 in ascending order.
f, 1/9, 3
Let c = 5 + -5. Suppose c = 3*d + 2*d. Put -3, -4, d in increasing order.
-4, -3, d
Let d = 17 + -17.3. Put d, -3, 0.2 in decreasing order.
0.2, d, -3
Let v = 218 + -213. Sort -1/3, -0.03, v in increasing order.
-1/3, -0.03, v
Let z = -25 + 101/4. Let r = -17.7 - -9.7. Sort -1/4, r, z in ascending order.
r, -1/4, z
Let q = -188/3 - -62. Sort q, -2, -0.5, 3.
-2, q, -0.5, 3
Let n = -56 + 59. Sort n, 0, -1, -4 in descending order.
n, 0, -1, -4
Let h = 16.7 - 16. Let o = -192 + 193. Let r = h - o. Put 1/4, 3, r in ascending order.
r, 1/4, 3
Let k be 110/(-44)*(9/5 - 1). Sort -4, k, 13, 2 in ascending order.
-4, k, 2, 13
Suppose -5*y = 10, -4*w = y - 5*y - 28. Put 3, -4, w in decreasing order.
w, 3, -4
Let g be (0/(-10))/(2/(-1)). Suppose -4*v - v + 26 = 2*f, g = 5*f - 15. Put 2, 5, v in descending order.
5, v, 2
Let a = 3 + -2.7. Let v = 0.58 + -0.6. Let j = v + 0.52. Sort -1/3, j, a in descending order.
j, a, -1/3
Let h = -0.4 + 5.4. Suppose 3*m - 1 = 2. Sort h, m, -4.
-4, m, h
Let q = -1 + 2. Let d be (-42)/5 + (-4)/(-10). Let i = -6 - d. Sort q, i, 3 in descending order.
3, i, q
Let y = 38 + -53. Let k = y - -11. Let v = -0.2 + 0.3. Sort k, -0.2, v.
k, -0.2, v
Suppose 0 = -2*u + 2, 3*f + 2*u + 0 - 2 = 0. Let j(p) = -5*p - 2 + 4*p - 1. Let d be j(f). Put 4, 3, d in ascending order.
d, 3, 4
Let p = 6 - 10. Sort 2, -0.3, p in increasing order.
p, -0.3, 2
Suppose 5*r - 21 = 2*q - 6*q, 5*q + 5*r = 25. Put -3, q, -4 in decreasing order.
q, -3, -4
Let g(d) = d**2 - d. Let m be g(1). Let f(t) = -7*t + 11. Let x(k) = -k + 1. Let p(b) = -f(b) + 6*x(b). Let r be p(m). Sort r, -3, -4 in decreasing order.
-3, -4, r
Let q be ((-4)/16)/(2/(-8)). Sort 3, q, 6 in increasing order.
q, 3, 6
Suppose -4*j = n + 18, 0 = 2*n - 6*n + j + 13. Let v = -4 + -1. Sort n, v, -4.
v, -4, n
Let t be ((-2)/(-32))/((-3)/(-6)). Sort -0.3, -8, t in increasing order.
-8, -0.3, t
Let a = 5 - 3. Suppose -2*k = a - 0. Suppose 5*q + 3*p - 17 = 0, 7*q - 4*q - 15 = -3*p. Sort q, k, 5 in ascending order.
k, q, 5
Let l = -3 + 7. Let t be (-4)/16*-2*4. Suppose t*i = -2*i - 16. Sort -6, i, l in descending order.
l, i, -6
Let v = -1 + 0.9. Let z = 2/3 + -1. Let u = 1.1 - 0.1. Sort v, u, z in increasing order.
z, v, u
Suppose 2*y - 4 = -3*t - 0, 5*y + 4*t = 17. Let l(w) = -w**3 + 6*w**2 - 4*w - 4. Let d be l(y). Sort -2, 3, d in ascending order.
-2, d, 3
Let t = -90 + 94. Put -48, t, 0 in descending order.
t, 0, -48
Let o = 14 + -9. Suppose -o*f = 3 + 7. Sort -4, f, 1 in descending order.
1, f, -4
Let t(u) = u**2 + 7*u + 9. Let d be t(-6). Suppose -31 = -10*v + 29. Sort d, v, 4.
d, 4, v
Let g = -0.8 - -0.1. Let f = g - -0.3. Let z be 3 + -6 - 12/(-8). Sort 1, z, f.
z, f, 1
Let i be (3/16)/(174/(-116)). Let x = -47938/729 + -14/729. Let q = x + 66. Sort i, q, 3 in increasing order.
i, q, 3
Let k = 14 + -10. Suppose 0 = -2*v - 4*l - 2 + 8, -3*v - 35 = -5*l. Put k, v, 2 in decreasing order.
k, 2, v
Suppose -9 - 1 = 5*w. Put 4, w, -3 in increasing order.
-3, w, 4
Suppose u + 2*u - 81 = -2*m, 3*m = 3*u - 81. Suppose -3*z + u = l + 2*l, l - 5*z = -15. Put 1, l, -2/7 in decreasing order.
l, 1, -2/7
Let t(i) = 6*i - 1 + i**2 + 6 + 1. Let m be t(-4). Let p be 0*(-1 + 4 - 2). Put 1, p, m in descending order.
1, p, m
Suppose -t = -0*t. Suppose -10 = -t*a - 5*a. Let k = -3.5 - -4. Put a, 3, k in decreasing order.
3, a, k
Suppose -3*m + 18 = 2*j, -m = 4*j - 3*m - 20. Put 5, 7, j in descending order.
7, j, 5
Suppose -5*x = 5*r - 30, 3*x + 5*r - 6 = 16. Put 1, 3, x, -1 in descending order.
x, 3, 1, -1
Let b(v) = -3*v + 11. Let r be b(3). Sort r, -3, 3, -8.
-8, -3, r, 3
Suppose 3*w - 23 = -2*q, 2*w + 2*q = -2*q + 26. Suppose -5*x + w*u = -40, -3*u + u = 10. Put 4, 0, x in decreasing order.
4, x, 0
Let c(k) = k. Suppose -3*y = -1 - 2. Let g be c(y). Let w = 5 - g. Sort -4, w, -3.
-4, -3, w
Let j be (28/(-42))/(4/42). Let y = j + 6. Sort 3, y, -0.1.
y, -0.1, 3
Suppose 0 = 3*o - q + 8, -5*o = -0*o - 3*q + 16. Let c be (5 - -5)*4/20. Sort o, c, 5 in ascending order.
o, c, 5
Let s = -6 - -8.6. Let i = s - 3. Let u = 4.69 - -0.31. Put u, i, -0.5 in decreasing order.
u, i, -0.5
Let f(s) = -3*s - 20. Let y be f(-8). Let w = -2 - -1. Sort y, w, -4 in descending order.
y, w, -4
Let f = -3.4 - -3.2. Sort -2/3, 0.05, f, 2 in decreasing order.
2, 0.05, f, -2/3
Suppose 3*h + 2*p + 2*p + 25 = 0, 4*h + 2*p + 20 = 0. Sort 1, 3/2, h.
h, 1, 3/2
Let b(g) = 4*g**2 - 2*g + 1. Let u be b(1). Put 0.5, u, 0.4, 2/9 in decreasing order.
u, 0.5, 0.4, 2/9
Let d be (-2 + (-18)/(-10))/1. Let g(u) = -u**2 - u. Let f(z) = z + 3. Let m be f(-3). Let p be g(m). Sort p, d, 1.
d, p, 1
Let f be -1 + 0 - -5 - 3. Sort 5, f, -4, 6.
-4, f, 5, 6
Suppose -i = i. Let l = 0.47 + -3.57. Let w = -0.9 + l. Sort w, i, 4 in ascending order.
w, i, 4
Let v = -7 - -6.6. Let z = v + -0.2. Put -0.1, z, 2 in decreasing order.
2, -0.1, z
Let s = 0.06 - 20.06. Put 0.4, s, -4 in decreasing order.
0.4, -4, s
Let f be (2/(-10))/(0 + -1). Let x = -13.2 + 12.9. Sort f, x, -1/5 in increasing order.
x, -1/5, f
Let w = 0 + -1. Let j be -3 - (-2 + 3 + w). Sort -1/3, -0.2, j in decreasing order.
-0.2, -1/3, j
Let a be 16/6 - (-6)/(-9). Suppose -3 = a*c + i, -4*c + 7*i = 5*i - 14. Suppose 0 = -d + 2*d + 5. Put -1, d, c in ascending order.
d, -1, c
Let z = 0.49 - -0.51. Put 2/3, z, -5, 7 in descending order.
7, z, 2/3, -5
Suppose 0*h + 5*h = 0. Suppose 2*j + 2*x - 14 = 0, h = -j - 5*x - 0 + 27. Let t be 1/((-18)/(-10) + -2). Sort j, -4, t in decreasing order.
j, -4, t
Let a(g) = -g**2 + 2*g - 1. Let u be a(1). Sort 3, u, 1 in decreasing order.
3, 1, u
Let m = -41 - -39. Put 8, 0, 0.4, m in descending order.
8, 0.4, 0, m
Let m = -5 - -4.6. Sort m, 0.4, -1 in descending order.
0.4, m, -1
Let w = -4 + 7. Suppose 0 = -0*k - w*k + 15. Sort k, 0, 2.
0, 2, k
Let l be 3/(6/16*1). Suppose -s + l = s. Sort -3, s, 3 in increasing order.
-3, 3, s
Let a be (-4)/14 - (-30)/(-42). Suppose -5 = -2*t + 3. Put -2, t, a in decreasing order.
t, a, -2
Let g = -7 + 0. Let h = g + 10. Let z = 0.04 - -0.36. Put h, z, -0.5 in decreasing order.
h, z, -0.5
Suppose -1 = 2*u + 1. Let b = -3 - 0. Let l be (1/(-3))/(b/36). Put u, l, 3 in increasing order.
u, 3, l
Let l = 137 + -123. Put -4, 0.2, l in decreasing order.
l, 0.2, -4
Let r = 9 + -7. Let a be r/5 - 52/105. Let m = -0.41 - -0.01. Sort 5, a, m in descending order.
5, a, m
Let w(z) = z - 2. Let f be w(4). Suppose 4*t + f = -