reasing order.
2/9, f, j
Suppose -2*z + 4 = -2*h, 2 = z - 2*h - 3*h. Suppose 5 = 3*u - z*s, -3*u - 2 = 4*s - 1. Put 1/5, 0.1, u in ascending order.
0.1, 1/5, u
Let d be (5/(-2))/1*-2. Let o = 14 + -10. Let j be -1*o/((-4)/3). Sort j, -5, d in decreasing order.
d, j, -5
Let t = -15 - -21. Suppose 0 = -5*y, 0 = -v + 3*v - 2*y + t. Let k be (-9)/(-2) + v/2. Put k, 1, 5 in descending order.
5, k, 1
Let t = 8 - 7. Suppose 3*k = t + 2. Let r = 1.1 + -1. Sort k, r, 0.3.
r, 0.3, k
Let s = 8 - 8. Let y be (-1 - 10/(-4))*4. Let b = y + -4. Sort -4, b, s.
-4, s, b
Suppose -6*u = -u. Sort 3, 4, u in descending order.
4, 3, u
Let t be (-2)/5 + 38/(-30). Let l be (-32)/(-10) + 3*(-10)/15. Put 4, t, l in descending order.
4, l, t
Let h = -56 - -55. Put -3, 0, 4, h in decreasing order.
4, 0, h, -3
Let a = -0.1 - 0.1. Let b = -2 + 2.2. Let n = 0.5 - b. Put a, n, 2/3 in decreasing order.
2/3, n, a
Let o be ((-8)/12*-75)/2. Let v = -23 + o. Let i = 0 + -1. Sort v, i, 4 in increasing order.
i, v, 4
Let a = -4 - -7. Let q = -0.3 + 0.5. Put -0.5, a, q in decreasing order.
a, q, -0.5
Suppose -r + 2 = b, r + 2*b = -0 + 2. Let y = -22 + 32. Let z = -6 + y. Put -5, r, z in descending order.
z, r, -5
Let l(c) = 2*c + 4. Let k be l(-4). Let j be (8/(-6))/((-6)/9). Suppose j*g + 2 = -4. Put -2, g, k in descending order.
-2, g, k
Let u(a) be the first derivative of -a**3/3 - 3*a**2 - 4*a - 3. Let j be u(-6). Sort 0, j, 1 in ascending order.
j, 0, 1
Let c = 29 - 24. Sort c, 2, -11, 4 in descending order.
c, 4, 2, -11
Let d = 10 + -14. Let i(j) be the first derivative of -j**3/3 - 7*j**2/2 - 5*j - 1. Let k be i(-6). Sort k, 5, d in descending order.
5, k, d
Let i(a) = a + 12. Let l be i(-10). Suppose -4 = 3*h - c - 2, 2*h - l*c = -8. Sort -5, -3, h in descending order.
h, -3, -5
Let i = -0.36 + 0.96. Sort -3, -0.3, i in descending order.
i, -0.3, -3
Let f = -0.23 + 0.03. Put -3, f, 2 in decreasing order.
2, f, -3
Let o(c) = c**2 - 9*c + 5. Let h be o(8). Let p be (2/4)/(2/(-8)). Let z = h - p. Put 0.1, -0.5, z in descending order.
0.1, -0.5, z
Suppose -2 - 1 = 3*v. Suppose -2*a + 2*d = -12, -4*d = 4*a - 0*a - 8. Sort -4, v, a in descending order.
a, v, -4
Let o = -137.5 - -137. Put 5/3, -3/7, o, -0.2 in ascending order.
o, -3/7, -0.2, 5/3
Let q = 18 + -15. Put -3, q, 5 in increasing order.
-3, q, 5
Suppose -5 = 2*s - 3*s. Suppose -4*v - 10 = 2*q - 0*q, -9 = 3*v + 3*q. Let g be (-92)/(-20) - v/s. Sort -2, -1, g in increasing order.
-2, -1, g
Suppose 2*p + p + 3*n = 0, 3*n - 8 = -p. Suppose -m = -3*z + 4*m - 40, z - 3*m = -20. Let u = 10 + z. Sort -5, p, u in increasing order.
-5, p, u
Let q(g) = -2*g - 11. Let i be q(-7). Let l = 4 - 3. Sort i, l, -2 in descending order.
i, l, -2
Let o = -0.71 + 0.21. Sort -1, 0.4, o in descending order.
0.4, o, -1
Let f(d) = d**2 - 2. Let y be f(0). Let z = 3 + y. Let v = 273 + -276. Put v, 0, z in descending order.
z, 0, v
Let a = 7.1 - 0.1. Let m = -5 + a. Put m, 0, -2 in descending order.
m, 0, -2
Suppose 33 = 2*k + i + 2*i, 3*k + 2*i - 47 = 0. Put 3, 2, k in ascending order.
2, 3, k
Suppose 5 = 3*t - 4. Let k be -3*1*t/6. Sort k, 10, 2.
k, 2, 10
Let c = 10 - 22. Let f = c - -14. Sort f, -1/2, 0.2.
-1/2, 0.2, f
Let t be (-6)/(-12) + 6/(-4). Suppose 2*d - 3*d + 1 = 0. Put 5, t, d in ascending order.
t, d, 5
Let j = -38 - -42. Let h be 0 - (5 - (2 - 2)). Sort j, h, -1/2 in descending order.
j, -1/2, h
Let m = 4.26 - -0.34. Let n = m - 5. Let i be (0 - -1*5)*-1. Put 3, i, n in descending order.
3, n, i
Let z = 9 + -15. Let x = -263 + 267. Put z, 1, x in descending order.
x, 1, z
Let g = -2894315639/202280 - -186010/13. Let i = -1119423/4652440 + g. Let p = -2/23 - i. Put 0.2, p, 0 in decreasing order.
0.2, p, 0
Suppose -2*s + 1 = -3*s - 4*r, 5*r + 14 = 3*s. Sort s, 2/11, 0.01.
0.01, 2/11, s
Let s = -8.08 - -0.08. Let w = s + 8.1. Let d = -0.1 + w. Sort d, -0.2, -0.4 in decreasing order.
d, -0.2, -0.4
Suppose -3*y + 10 = 4*l, 2*y = y - 3*l. Sort 3, 4, y in decreasing order.
y, 4, 3
Let n = -2.96 + -0.04. Let y = 2.31 - 0.31. Let d = 1/23 - -39/161. Put d, n, y in ascending order.
n, d, y
Let n be (5/(-10))/(2/(-8)). Suppose n*w - 42 + 16 = 5*p, 3*p - 3 = -5*w. Suppose -2*z = o + 2*o + 7, z - 2*o = 0. Sort w, z, 5 in ascending order.
z, w, 5
Let m(f) = -f + 2. Let t be m(4). Let j = -1.2 + 1. Put 2/7, j, t in descending order.
2/7, j, t
Let o = 0.05 - 3.05. Let s = -127 + 891/7. Sort s, 5/2, o.
o, s, 5/2
Suppose 3*n + 2*c - 2 - 14 = 0, 2*n - c = -1. Suppose 10 = -2*i - 0*i + 5*y, 2*y = 4*i - 12. Put n, -1, i in ascending order.
-1, n, i
Let m = -9.1 + 9.2. Put 0.2, m, 4, 3 in increasing order.
m, 0.2, 3, 4
Let g be -2 - -4 - (1 + 4). Let u = 1 - 2. Let x = 0 + u. Sort g, -5, x in increasing order.
-5, g, x
Suppose 2*g = -7 + 11. Put -5, g, 3 in ascending order.
-5, g, 3
Let c(m) = -m**2 - m + 16. Let r be c(-5). Sort -2, 1, 19, r in descending order.
19, 1, -2, r
Let s = 2.53 + -0.03. Let w = 0.8 - 0.3. Let o = s + w. Put -1, o, -0.1 in descending order.
o, -0.1, -1
Suppose 2*z - 12 + 2 = 0. Let h(c) = -c**3 + 6*c**2 + 8*c - 4. Let u be h(7). Suppose -u*d = -2*d - 3. Put 4, z, d in descending order.
z, 4, d
Let j(l) = -3*l**3 - l**2 - 3. Let y(x) = x**3 + x**2 + 1. Let k(f) = j(f) + 2*y(f). Let d be k(0). Suppose 4*m - 25 = -m. Put d, m, -3 in descending order.
m, d, -3
Let f = 395 + -6711/17. Sort f, 5, 5/2.
f, 5/2, 5
Let m(x) = -3*x**2 + x. Let y be m(1). Let q(j) = j**2 - 5. Let t(d) = d**2 + 5*d + 4. Let f be t(-4). Let l be q(f). Sort l, y, 3.
l, y, 3
Suppose f - 5*f = 0. Suppose 3*y - 10 + 1 = f. Let w be 1/(2/3) - (-14)/(-4). Sort y, -1, w in descending order.
y, -1, w
Let u = 36 - 40. Put u, 1/3, -0.4 in descending order.
1/3, -0.4, u
Suppose -5*z + z - 16 = -4*u, -5*u - 5*z = -20. Sort u, -4, 1 in decreasing order.
u, 1, -4
Let j = 1.165 + -0.165. Put -2, -0.01, j in descending order.
j, -0.01, -2
Suppose 3*h + 3*s - 18 = 0, 3*h = 4*s - 21 + 4. Let f = 3 - -2. Suppose -f*b + c - 10 = 2, 0 = c - 2. Sort b, -1, h in increasing order.
b, -1, h
Let i = -13 + 9. Let z(v) = -2*v - 2. Let c be z(-4). Suppose 0 = -3*b - 0*b + c. Sort 0, i, b in increasing order.
i, 0, b
Let y be ((-5)/(-30)*0)/1. Let r = 0 - -3. Sort y, 0.1, r in ascending order.
y, 0.1, r
Let l be 14/6 - (-2)/(-6). Suppose 4*p - 8 = -4*c, 3*c - 2*p + 2 = -p. Put -5, c, l in descending order.
l, c, -5
Let i(m) = 2*m**2 - 5*m - 6. Let r be i(5). Suppose g = 4*f - r, 3*g = 2*g + 1. Sort f, 0.4, 2 in ascending order.
0.4, 2, f
Let p = 7 + -3. Let j(t) = t**3 - 3*t**2 - 3*t - 3. Let k be j(p). Suppose 0*u = u - 5. Put u, -5, k in descending order.
u, k, -5
Let y be 3 - -5 - 6/2. Suppose -3*d + 17 = 2*r, y*d + 0*r + 4*r - 29 = 0. Put d, 1/2, 0.2 in ascending order.
0.2, 1/2, d
Let z be 2/12 + 3/(-18). Let h be 3/1 - (7 - 3). Let r = -2 + 4. Sort z, h, r in increasing order.
h, z, r
Let k = 0.03 + -0.13. Let o = 5 - 8. Sort o, k, 5 in ascending order.
o, k, 5
Let x = -7 - -11. Let r be 6/15 + 143/5. Suppose -5*u + r = x. Put 0, -5, u in increasing order.
-5, 0, u
Suppose -b = -2 - 2. Let w = 8 - b. Put w, -6, 3 in descending order.
w, 3, -6
Suppose -5*s - 32 + 12 = 0. Suppose h + 4 = 3. Sort 2, s, h in ascending order.
s, h, 2
Let t(z) = -z. Let g be t(0). Suppose g = -b - 2*c - 2, 3*b + 4 = 5*c - 13. Suppose -5*s = 3*d + 34, -s + 0*s = -5*d - 10. Put -5, b, d in ascending order.
-5, b, d
Let l = -9 - -4. Let a(s) = -s**2 - 6*s - 4. Let y be a(-6). Let k(w) = -w**3 + w**2 + 2*w + 1. Let r be k(-1). Sort y, l, r in ascending order.
l, y, r
Let i(d) = d**3 - 7*d**2 - 10*d + 7. Let k be i(8). Let s = k - -7. Put 4, 5, s in descending order.
5, 4, s
Suppose 0*j - j - 5 = 0. Sort 2, 0.3, j in increasing order.
j, 0.3, 2
Let a = 23 + -21. Suppose -7*g + 20 = -a*g. Put -4, g, -2/13 in decreasing order.
g, -2/13, -4
Let v(q) = -5*q - 6. Let w(d) = 4*d + 6. Let o(x) = -5*v(x) - 6*w(x). Let c be o(6). Sort -1, -3, c in ascending order.
-3, -1, c
Let w be 10/15 - 35/3. Let k = 2/677 - -1340/4739. Put k, w, 0.4 in descending order.
0.4, k, w
Suppose 0*t = -8*t + 24. Sort 8, t, 2, -3.
-3, 2, t, 8
Let i be -2 - (-1)/9*17. Sort -0.1, i, 2/5 in descending order.
2/5, -0.1, i
Let l(o) = o**2 - 4*o - 1. Let y be l(5). Let a = 25 - 22. Suppose 5*f - 2*z + a - 23 = 0, 5*z + 19 = -3*f. Sort f, y, 