ending order.
h, 1, 4
Let z be 145/(-4) + (-2)/(-8). Let c be (-152)/z - 2/9. Suppose 0 = 5*f + 2*j - 5*j - 8, -2*f + 5*j + 7 = 0. Sort f, c, 3.
f, 3, c
Suppose -z = 5*s - 2*s - 13, -4*s + 17 = z. Suppose -3*m - 4 - 8 = 0. Put z, m, -5 in decreasing order.
z, m, -5
Let y = -203 - -198. Let i = -0.05 - 3.95. Let n be ((-2)/4*2)/(-1). Put y, n, i in decreasing order.
n, i, y
Let p = 11 - 4. Let l(c) = c**2 - 6*c - 10. Let b be l(p). Sort 3, b, 2 in decreasing order.
3, 2, b
Let o = 19 + -10. Suppose 3*u = -3 - o. Sort 1, -5, u in ascending order.
-5, u, 1
Let t = 10.5 + -4. Let k = t - 7. Sort k, -5, 2/11.
-5, k, 2/11
Let z = 0.01 + 0.46. Let q = 0.03 + z. Sort 0.3, q, 0.1 in decreasing order.
q, 0.3, 0.1
Let l(g) = g**3 + g**2 - 2*g - 1. Let d be l(-2). Let o(v) = 3*v + 35. Let i be o(-11). Sort i, -4, d.
-4, d, i
Suppose -4*a = 2*y - y + 9, -4*a = 2*y + 6. Put -1, y, -4 in ascending order.
-4, -1, y
Let s be 5*((-37)/(-35) - 1). Let n be (-6)/21*(-7)/9. Suppose 4*x - 8 = -4*m, 3*x - 4*x = 2*m - 7. Put n, x, s in decreasing order.
s, n, x
Let p = 23.9 + -25. Let y = -5.1 - p. Let v = 4.8 + -3.8. Sort v, y, 3 in descending order.
3, v, y
Let s be (-24)/20*(-4 - 1). Let j be (s/4)/(1/(-2)). Let x be (-4)/10 + 108/(-30). Sort 4, x, j in ascending order.
x, j, 4
Let v = 0 - 3. Let x = -7.44 - 0.26. Let j = x + 8. Put -2/19, v, j in decreasing order.
j, -2/19, v
Suppose d = -5 - 2. Let s(z) = z**3 + 7*z**2 + 8. Let f be s(d). Put 2, -3, f in descending order.
f, 2, -3
Suppose 0 = -d + 5. Suppose d*y + 2 - 12 = 0. Let x = -5 + 9. Sort -4, y, x.
-4, y, x
Let o be (-4)/18 + (-344)/72. Sort o, 6, 3 in ascending order.
o, 3, 6
Let x be 14/(-28)*44/(-2). Let i = x + -14. Put 4, 2, i in descending order.
4, 2, i
Let p be (-1)/((17 + -19)/(-9 + -1)). Suppose 0 = -2*c - 8 - 0. Sort -1, p, c.
p, c, -1
Suppose -5*k + 9 = -4*v, k = -4*v + 22 - 1. Sort 2, 5, v in descending order.
5, v, 2
Let o = 4/7 - 43/63. Let x = -97/2 - -48. Suppose -z = -4*z - 9. Sort x, o, z.
z, x, o
Let r be -2*(-3)/(-54)*2. Put 0.4, -4, r in ascending order.
-4, r, 0.4
Suppose 13 = -2*w + 2*g - 5*g, -4*g - 14 = w. Sort w, -1, 2, 3 in descending order.
3, 2, -1, w
Let c = -0.2 - -0.4. Suppose -5*b - 5*q = -2*q - 9, 0 = 5*b - 4*q - 23. Suppose -k - 9 = -4*f + 1, b*k + f + 4 = 0. Sort -3, c, k in decreasing order.
c, k, -3
Let o be (6/(-4))/3*-2. Let m = -3.9 + 3.8. Put -3, m, o in ascending order.
-3, m, o
Suppose -2*t + 5*k - 15 = 0, -4*t - 9 = -k - 2*k. Put 4, -4, -1, t in decreasing order.
4, t, -1, -4
Let q = 0 - 1. Let b = q + 1.5. Suppose 5*v = 5*x + 5, x - 2*x = 5*v - 5. Sort b, 0.1, v in descending order.
v, b, 0.1
Suppose -4*u + 3*r + 147 = -9*u, -5*r + 61 = -3*u. Sort 4, u, 0 in increasing order.
u, 0, 4
Suppose 2*r - s = -2*r - 10, 2*r = -3*s + 2. Let t be (6/4)/((-3)/(-6)). Put 1, r, t in decreasing order.
t, 1, r
Let h = 27 + -25. Sort -8, h, 5 in increasing order.
-8, h, 5
Let p = -3.971 - 0.069. Let v = 0.04 + p. Let q = 2 + v. Sort 0.5, 5, q in decreasing order.
5, 0.5, q
Suppose 4*s - 3*s + n = -7, -2 = 2*s - n. Put -5, -0.5, s in increasing order.
-5, s, -0.5
Let q = 3 + 2. Let l be (-1)/(-3)*(-2 + q). Let p be 1/(4/20) + 0. Sort l, 4, p in descending order.
p, 4, l
Let j(g) = -g**2 - 5*g - 3. Let h be j(-3). Suppose -1 = 4*l - 45. Let n = 13 - l. Put n, 0, h in increasing order.
0, n, h
Let b = 1616/63 - 178/7. Sort b, 0.2, 1/4.
0.2, b, 1/4
Suppose w - 3*w = 12. Let s = -10 - w. Suppose 4*t - 2*t = 0. Put s, 1, t in ascending order.
s, t, 1
Let d = 0.6 - 1. Suppose -1 - 11 = 4*s. Let c be 1 + s + (-9)/(-5). Sort d, -4, c.
-4, d, c
Let h be 0 + (3 - 4) - -1. Sort h, -4, 5 in decreasing order.
5, h, -4
Suppose 0*o + 2*o - 4*q = -10, 0 = q - 3. Suppose -8*n = -21 - 3. Put o, 5, n in decreasing order.
5, n, o
Let f be -1 - (2 + -4 + 2). Let y(t) = t**3 + 3*t**2 - t + 1. Let n be y(-3). Let o(m) = -m**2 + 6*m + 5. Let j be o(6). Put n, j, f in increasing order.
f, n, j
Suppose 0 = 2*g - 1 - 7. Let w be (g/12)/(10/18). Sort -2, w, -5 in descending order.
w, -2, -5
Let i = -7 + 10. Let a be (-2)/(-3)*6/2. Sort -0.4, i, a.
-0.4, a, i
Let y = -2.1 + 0.1. Let u = -2 + y. Sort u, -4/3, -3/7.
u, -4/3, -3/7
Let o = -107 + 107.5. Sort -1/11, 6, o, -0.4 in ascending order.
-0.4, -1/11, o, 6
Let i = 64.5 + -65. Let t be 8/(-10)*117/(-12). Let q = -37/5 + t. Put -0.2, i, q in increasing order.
i, -0.2, q
Suppose -7*a = -4*a. Sort a, 1, 5.
a, 1, 5
Suppose 2*p - 54 = -p. Suppose -c - p = -3*b, -2*c = -4*b + 7 + 19. Sort c, -4, 1 in descending order.
1, c, -4
Suppose 2 = -5*k + 3*t, -19 = k - 4*t - 5. Let l = k - 6. Let r(s) = s**3 + 5*s**2 + 6*s + 5. Let o be r(-4). Put 1, o, l in decreasing order.
1, o, l
Suppose 5*o + 21 - 1 = 4*g, 5*o + 20 = -3*g. Suppose -56 = 5*p + 4*c, 2 + 10 = -3*p + 3*c. Put g, p, 1 in ascending order.
p, g, 1
Let l = 3.91 - -0.09. Let c = -39.98 - -40. Put l, c, 3/4 in increasing order.
c, 3/4, l
Let u = -4 + 6. Suppose 6*d + 5*n = u*d + 4, -2*d + 5*n = 28. Let v(m) = -3*m**2 + m. Let h be v(1). Put -0.2, d, h in descending order.
-0.2, h, d
Let j(u) = -u + 7. Let m be j(3). Suppose -2*x + 2 = 4*d, 2*d + 3*x + 12 = 3. Sort m, -3, d.
-3, d, m
Suppose 2*w = 5*t - 3, -w + 0*t - 1 = -2*t. Suppose -w = -n - 0. Let d = -3 - n. Sort -3, -5, d in descending order.
-3, d, -5
Let t = 0.9 + 0.1. Let f = -0.0121 - 0.2879. Sort t, -0.1, f.
f, -0.1, t
Let x(f) = -f**3 + 7*f**2 - 7*f + 4. Let q be x(6). Let w be 3 - (-1 - 2 - -1). Sort 0, w, q in ascending order.
q, 0, w
Let n be (1 - 0)/(1/(-3)). Suppose -4*f - 28 + 8 = 0. Let r = f - -1. Put r, n, 0 in descending order.
0, n, r
Suppose p - 35 = -5*f, -3*f + 21 = 6. Let r be (-14)/(-35)*p/1. Let d be 2/(3 - 2) - 5. Put r, d, 3 in decreasing order.
r, 3, d
Let a = 7 + -7. Suppose a = 5*w - 0*w + 5. Let f be 0/(-1 + w) - 1. Sort 3, f, 0 in increasing order.
f, 0, 3
Let g(y) = y + 42. Let d be g(0). Let v be (d/(-9))/(-2) - 3. Sort 3, 1/4, v.
v, 1/4, 3
Suppose 3*v - 8*v = -15. Suppose v*b + 2 = -4*d + 30, 5*b - d = 16. Suppose -1 = 3*q - s + 11, 0 = -4*q - b*s - 16. Put 4, 5, q in descending order.
5, 4, q
Let g(n) = -n**2 + 8*n - 8. Let q be g(6). Let b(o) = o + 2. Let r be b(-3). Put q, -2, r in increasing order.
-2, r, q
Suppose -4*d + 15 = -d. Suppose -3*i + 1 = -2*s, d*i - 7 = -0*s - 2*s. Let x = 15 + -10. Sort x, s, 0.2.
0.2, s, x
Suppose 2*d + 4 = -2*n, 2*n + 4 = -3*d + 1. Suppose 14 = 4*o - 2*g, 5*o + g = 2*g + 10. Suppose 12 = i + 2*b - 0, -2*i - 21 = -5*b. Sort n, o, i.
n, o, i
Suppose -5*u + 2 + 11 = 4*h, h + 2 = 4*u. Let r(n) = -n**3 + 5*n**2 - 4*n. Let d be r(4). Sort d, 5, h in increasing order.
d, h, 5
Let i(h) = -h**3 - 3*h**2 + 4*h - 4. Let k be i(-4). Suppose -9*a + 4*a + 10 = 0. Sort 0, a, k.
k, 0, a
Suppose 3*s + 2*a + 15 = 0, s + 0*a - 3 = 2*a. Let w = s - 0. Suppose 0 = -n - 2*v - 1 + 2, -2*v = 3*n + 1. Sort 5, n, w in ascending order.
w, n, 5
Let c(q) = -q**2 + q - 5. Let m be c(0). Sort -2, m, 8, 0 in decreasing order.
8, 0, -2, m
Suppose -3 = -3*z - 9. Put 0.4, -0.4, z in decreasing order.
0.4, -0.4, z
Let j be (9/6)/(-3)*-6. Let r = -7 + 3. Let o = r - -3. Sort j, -2, o in descending order.
j, o, -2
Let s = 18.2 - 18. Put 2/25, s, -2 in decreasing order.
s, 2/25, -2
Let a = 0.4 + -0.4. Let y = -2 - a. Put -0.2, 1/2, y in increasing order.
y, -0.2, 1/2
Suppose -15 = -2*r - 3*k, -5*r - 5*k + 34 = 4. Let i be (r - 4)/(2/10). Sort -2, i, 0 in descending order.
0, -2, i
Let k = 0.8 - 1.5. Let y = k - -0.9. Let m = 2.94 - -0.06. Sort m, -1, y in decreasing order.
m, y, -1
Let k be 0*(4 + (-4 - -1)). Suppose r - 2*s = 1, k*r - r = -s. Sort -3, -4, r.
-4, -3, r
Suppose r + 1 = -1. Put 22, r, 4 in decreasing order.
22, 4, r
Let z = 62 + -61.7. Let b = 5 + -8. Let r = 1/45 + -2/9. Sort z, r, b.
b, r, z
Let l = -6 + 6. Suppose l*j = -2*j. Put j, -2, 1 in descending order.
1, j, -2
Let a = -11 + 11.8. Let t = -0.1 + -2.1. Let q = t - a. Put -2, q, 0.1 in descending order.
0.1, -2, q
Let w(m) = 3*m**2 - 1. Let t be w(1). Let n be (3/4)/((-1)/4). Let j be (-3)/12 + (-10)/(-8). Put t, n, j in increasing order.
n, j, t
Let b(l) = l**3 - 3*l**2 - 6*l + 4. Suppose -6 = -j - 0*j + 4*x, 4 = -2*j + 4*x. Let a be (-68)/(-18) - j/45. Let c be b(a). Put -5, c, 4 in decreasing order.
4, c, -5
Let d = 3.6 - 0.6. Put -5, 0.3,