 in decreasing order.
4, -4, f
Let h = 1.36 + -1.56. Let k = 0.2 + 1.8. Sort h, k, -2/15 in descending order.
k, -2/15, h
Let b = -212 + 210. Suppose -3*q + 19 = -2. Put b, q, 1 in descending order.
q, 1, b
Let j(x) = 4 - 2 - x**2 - x + 0*x**2. Let n be j(2). Sort 1, n, 4 in decreasing order.
4, 1, n
Let g = 3 + -1. Let a = 2.3 - g. Put -3/7, 0.5, a in increasing order.
-3/7, a, 0.5
Let i = 7 + -3. Let t(r) = -4*r**3 + 1. Let y be t(-1). Suppose -i*w - g + 3 = 2, -3*w = 5*g - y. Sort 3, -5, w in descending order.
3, w, -5
Suppose -3*o + 17 = -4*o - 4*s, -3*o = -5*s. Suppose b + 8*b = -27. Put b, 0.1, o in descending order.
0.1, b, o
Let x(f) = f**3 + 3*f**2 - f - 4. Let b be x(-3). Let o = -2 + 0. Let v(d) = -d - 1. Let y be v(-6). Sort y, o, b in ascending order.
o, b, y
Let x = -0.011 + 0.411. Let b = -3280/11 - -298. Let g = 3.2 - 0.2. Sort g, b, x in decreasing order.
g, x, b
Let v = -87 + 87.4. Put v, 2, -1, -2/15 in increasing order.
-1, -2/15, v, 2
Let h = 1.08 - 0.98. Let q be 2*2/80*-2. Put q, h, 2 in increasing order.
q, h, 2
Let r = 12 + -14. Let x = 0.7 - 0.2. Let l = 0.3 + -0.1. Sort l, x, r in increasing order.
r, l, x
Suppose l + 6 = 2*v, 0 = 3*v - 3*l - 2*l - 2. Suppose 3*w - v = w. Sort -9, w, -1 in decreasing order.
w, -1, -9
Let k = -0.4 - 3.6. Let s = k - 0. Let n = 0.3 - -0.2. Sort n, 2, s in decreasing order.
2, n, s
Let p = 0.0511 + -3.0611. Let o = -0.01 - p. Let x = -1 - o. Sort x, 2/5, 5.
x, 2/5, 5
Suppose -4*b - 20 = b. Let v = -1 - -3. Suppose 3*x + o - 16 = -4*o, 0 = 2*o - 10. Sort x, v, b in ascending order.
b, x, v
Let q = 116 + -128. Sort 0, -2, q in increasing order.
q, -2, 0
Let j = 0.045 - 0.545. Let t = 0.01 - -0.39. Put j, t, 4 in descending order.
4, t, j
Let f = -0.13 - -0.04. Let k = -0.11 + f. Sort 4, k, -4/3.
-4/3, k, 4
Let s be (-11)/(-4) - 3 - (-17)/(-12). Put 2/43, s, -1/4 in ascending order.
s, -1/4, 2/43
Let r = 0.02 + 1.98. Sort 5, r, -1 in ascending order.
-1, r, 5
Let u = -1.98 - 0.02. Put -5, 0, u in ascending order.
-5, u, 0
Let d = -0.11 - 4.89. Let y(b) = -7*b + 40. Let v be y(6). Sort d, 5, v in ascending order.
d, v, 5
Let v = -0.03 + -0.13. Let g = -0.04 + v. Let i = -2 + 0. Sort i, g, 1.
i, g, 1
Let l = 12 + -8. Let p be (-16)/140 + 2/(-7). Put 2/5, l, p in increasing order.
p, 2/5, l
Let y = -12 + 17.04. Let p = 0.04 - y. Sort 0.1, 0.5, p in increasing order.
p, 0.1, 0.5
Let p be (-1 - -10)/(-2 - 2/(-4)). Put 3, p, 1, 2 in increasing order.
p, 1, 2, 3
Let o = -3/68 + -251/476. Put o, -5, 5 in increasing order.
-5, o, 5
Let p be 1 + 3 + -2 - 0. Let d be ((-2)/3)/(1 - 4). Put p, d, -2/11 in decreasing order.
p, d, -2/11
Let h = 4 - 5. Let a = -62 + 184/3. Sort h, a, 4 in decreasing order.
4, a, h
Let o = 3.95 - 4. Let u be ((-3)/(-9))/(-3 + (-21)/(-6)). Sort u, -3, o in decreasing order.
u, o, -3
Let g = 0.052 + -1.052. Sort g, -7/2, 2/5, 3 in decreasing order.
3, 2/5, g, -7/2
Let j = -3 + 3. Suppose 0 = 5*v - f - 24, 0 = 4*v + f + f - 8. Let c be v/(-14) - 4/(-7). Sort c, -5, j in descending order.
c, j, -5
Suppose 0 = -5*u + 3*i - 9, 6 = -u - 5*i + 21. Suppose h - 2 + 3 = u. Sort h, -5, 4.
-5, h, 4
Suppose 2*g + 1 = -3. Let j be (-9)/(9/(-3)) - g. Suppose -j*l + 10 = -0*l. Put l, 2/19, -5 in descending order.
l, 2/19, -5
Suppose 0*t - t = 0. Let r(p) = p**2. Let d be r(t). Put d, -1, 5 in descending order.
5, d, -1
Let f = -14.14 - -14. Let s = -4.86 + f. Sort s, -1/4, 10 in ascending order.
s, -1/4, 10
Let t = 0.3 - 0.6. Suppose -14 - 7 = -5*a + 2*l, 3*a = -2*l + 19. Let o = 61/2 - 29. Sort o, t, a in ascending order.
t, o, a
Suppose 2*m = 7*m - 5. Sort m, -1, -2 in decreasing order.
m, -1, -2
Let l = -2.48 + 0.18. Let h = l - 0.7. Put 1, h, 0 in ascending order.
h, 0, 1
Suppose 2*l = -0*l. Let g(m) = m**2 - 9*m - 12. Let y be g(10). Sort l, y, -10 in ascending order.
-10, y, l
Let q = 0.1 + 0. Sort q, -4, -1/5 in descending order.
q, -1/5, -4
Let h(i) = 2*i + 3. Let d be h(-3). Suppose 3*l + 4*r = l + 4, -5*l - 4*r - 8 = 0. Sort d, -2, l in decreasing order.
-2, d, l
Suppose -8 = -5*d - 3. Sort -3, 4, d.
-3, d, 4
Let c = 2/199 - -581/1592. Sort c, 1, 4.
c, 1, 4
Let c = -8 + 11. Let w be 1/2*(-1 + c). Let n = -0.0731 + 5.0731. Sort n, w, -3 in descending order.
n, w, -3
Suppose -7 = -c + d, 0 = -c + 2*c + 4*d + 13. Suppose 3*y - 2*y - 4 = 0. Suppose -u + 1 = n, 2*n + 5 = -3. Sort c, u, y.
c, y, u
Suppose -s + 5*g = 3*s - 31, -5*s + 23 = -g. Sort 0.5, s, -0.3, 3 in decreasing order.
s, 3, 0.5, -0.3
Let v(k) = k**3 - 5*k**2 - 8*k + 15. Let o be v(6). Put 2, 1, 7, o in descending order.
7, o, 2, 1
Let n = 0.63 + 0.07. Let u = n - 0.2. Put -2, -4, u in decreasing order.
u, -2, -4
Let a(h) = -h**2 - 4*h + 1. Let i be a(-3). Put -4, -11, -3, i in increasing order.
-11, -4, -3, i
Let x(f) = -f**3 + 4*f**2 - 5*f. Let n(t) = 5*t**3 - 15*t**2 + 19*t - 1. Let l(v) = 2*n(v) + 9*x(v). Let y be l(-7). Put 5, 3, y in ascending order.
y, 3, 5
Let l = 0.16 + -1.16. Let u be (-2)/(-10) - (-6)/(-6). Put l, u, -2/5 in descending order.
-2/5, u, l
Suppose -2*k + 8 = 2*k. Let z = 0.7 - 0.9. Put 1, k, z in decreasing order.
k, 1, z
Suppose 11*m - 32 + 10 = 0. Suppose 0*o + 3*o = 0. Sort m, o, 1 in increasing order.
o, 1, m
Let y = -45 + 46. Put y, 3, 18 in increasing order.
y, 3, 18
Suppose 2*s + 3*s - 10 = 0. Let l be s - (4 - 2/(-2)). Put -0.3, 0.1, l in descending order.
0.1, -0.3, l
Let o be (2 - (2 - 1)) + 2. Suppose f + 5*r = -9 + 30, 4*f + 36 = 4*r. Let j be (8/f)/((-2)/(-5)). Sort o, -4, j.
j, -4, o
Let d(k) = k**2 - 7*k - 5. Let f be d(7). Put f, 1, -7 in descending order.
1, f, -7
Let o = 0.014 - 0.414. Sort 0.1, o, 4, -0.15.
o, -0.15, 0.1, 4
Let a = -23 + 18. Put -2, 5, a in decreasing order.
5, -2, a
Let a = 0.29 + 0.01. Suppose 0 = -4*o + 6*o. Put o, a, -5 in descending order.
a, o, -5
Suppose -n + 16 = -4*z + 4*n, -5*n = 0. Let d be ((-27)/(-6) - 4)*0. Sort d, 2, z.
z, d, 2
Suppose 2*h + 14 = 2*l, 7*l + h = 2*l + 17. Let n be (l/6)/((-21)/(-27)). Put 5, 4, n in descending order.
5, 4, n
Let p = -3 - -3.03. Let b = 0.47 + p. Let y = -0.1 + 0.1. Sort b, y, -0.2 in decreasing order.
b, y, -0.2
Let q = -0.9 - -0.6. Let m be 4/5 + ((-24)/(-15))/(-4). Put q, m, 2 in descending order.
2, m, q
Let w = 15 - 4. Let t = -6 + w. Let s be (1 - t)*(-6)/(-12). Sort s, -5, -3 in descending order.
s, -3, -5
Let k = -171 + 852/5. Suppose 0 = -v - y - 5, 4*v - 6*v - 4*y - 10 = 0. Let l = 0.03 + 0.17. Put v, k, l in descending order.
l, k, v
Let n(b) = -2*b**2 - 8*b - 5. Let i be n(-4). Suppose -5*o + 4 = z + 7, -4*o + 12 = -4*z. Sort -4, i, z in decreasing order.
z, -4, i
Let z = 9 + -7. Suppose -3 = -2*x - w + z*w, 4*x + w = -3. Put 1, x, 0.2 in decreasing order.
1, 0.2, x
Suppose 7*j = 2*j - 10. Let o be (-4)/24*2*-3. Sort o, 2, j in decreasing order.
2, o, j
Let w = -7 - -3. Put -5, 1, w in descending order.
1, w, -5
Let j = -26.945 - -27. Put -2/3, j, 2 in descending order.
2, j, -2/3
Suppose 0 = -s + 3*z - 3, -4*s + 3*z - 57 = -0*s. Sort -2, 1, s.
s, -2, 1
Suppose -5*z - 24 = -4. Put -7, 1, z in descending order.
1, z, -7
Suppose 11 = 5*v - 4, 5*b - 27 = -4*v. Sort 4, -2, b in increasing order.
-2, b, 4
Suppose -2*n = -3 - 9. Let y be (3/17)/(n/4). Let u = -5.012 - -0.012. Sort -0.1, u, y.
u, -0.1, y
Let l be (3/(-4))/(-4*4/(-64)). Sort -1, l, -5, 1 in increasing order.
-5, l, -1, 1
Suppose 3*s - 11 = s + 3*j, s - 3*j - 13 = 0. Sort s, 5, -4 in decreasing order.
5, s, -4
Let p = -2 + 2. Suppose -29 = -2*g - 19. Put g, p, -4 in descending order.
g, p, -4
Let f = -30 + 16. Sort -4, f, -2.
f, -4, -2
Let f = 0.5 - -5. Let v = 5 - f. Sort 0.3, -3, v.
-3, v, 0.3
Let o = 19 - 15. Sort -1/4, o, 3/4 in increasing order.
-1/4, 3/4, o
Let b be ((-1065)/40)/(6/(-8)). Let s = b + -104/3. Sort s, 1/3, -2 in increasing order.
-2, 1/3, s
Suppose 0 = b - 0*b - 5. Suppose t = 5*t + 4*x - 28, b*t = -x + 27. Let c be (-15)/(-45) - (-20)/(-6). Sort t, -2, c.
c, -2, t
Let h = -2.9 - 1.1. Let c = 88 - 442/5. Put c, h, 2/11 in descending order.
2/11, c, h
Let b = 3085/3 - 11321/11. Let r = -2532/11 + 230. Let w = b - r. Sort -0.1, -1, w in decreasing order.
-0.1, w, -1
Let s(r) = r + 2. Suppose 0 = -5*h - 2 - 23. Let d be s(h). Suppose 4*i = 4*k + 16, k + 4*k + 3*i - 12 = 0. Put 5, d, k in descending order.
5, k, d
Let j = 7.