-0.5 in decreasing order.
h, u, -0.5
Let j = 62 - 66. Let g = 4 - 4.3. Let z be (4/(-10))/((-3)/(-5)). Put j, z, g in ascending order.
j, z, g
Suppose -k - 3*k + 2*m + 2 = 0, 3*m - 21 = -2*k. Suppose -9 = -k*y - a, -y = a - 5 + 2. Sort 1, 0.1, y.
0.1, 1, y
Let y = -5.6 + 1.6. Let i = 0.07 - 5.07. Put 3, y, i in decreasing order.
3, y, i
Suppose 0 = -5*d - 46 + 21. Let t be (-17)/d - 6/15. Suppose -20 = 5*b - 6*b - 5*z, 40 = -5*b + 3*z. Sort t, 5, b in ascending order.
b, t, 5
Let q = 2.3 + -0.8. Let d = q - 2. Let j = d - -0.8. Put -4/5, j, 0 in increasing order.
-4/5, 0, j
Let s be (0 + 4/44)*-2. Let t = 1.9 + -2. Sort -4, s, t.
-4, s, t
Let s = 4 + -3.6. Suppose 0 = -y - 2 - 0. Put s, 5, y in decreasing order.
5, s, y
Let x = 1471/418 + -37/38. Let z = 199/22 - x. Sort -5/4, 4/7, z in decreasing order.
z, 4/7, -5/4
Let j(g) = -g - 2. Let m be j(-6). Suppose 12 = -4*n - 2*h, n + 18 = -n - m*h. Suppose 19 = -2*d - 3*t, -3*d = d - 3*t + 11. Sort n, d, 4 in ascending order.
d, n, 4
Suppose 3*z = z - 8. Let m be 24/18*(-6)/(-4). Suppose 0 = -t + 3 - m. Sort z, 0, t in descending order.
t, 0, z
Let a be ((-26)/(-14))/(2 + -1). Let q be -3*(-101)/84 - 2. Let r = q - a. Sort -1, 2/13, r in decreasing order.
2/13, r, -1
Let g be (-2)/(10/(5/(-1))). Suppose -3*q - 3*o = -6, 2*q + 3*o + 1 = 10. Sort q, g, -4.
-4, q, g
Let s be (-4 + -1)*(-18)/30. Let j(f) = f**3 - 4*f**2 + 3*f + 4. Let c be j(s). Suppose -5*l = -3*x + 20, 4*x - 5*l - 16 = -l. Put -4, c, x in decreasing order.
c, x, -4
Let n = -1/117 - -3/13. Let b = -1.008 + 0.008. Sort 4/3, n, b in decreasing order.
4/3, n, b
Let q = -0.391 - 0.009. Let n = 0.4 + -0.4. Put q, n, 3 in decreasing order.
3, n, q
Suppose -3*z - 9 = -4*i + 5, -4*i = 4*z - 28. Let h = 15 + -11. Let u(t) = t**3 - 10*t**2 + 10*t - 9. Let k be u(9). Sort h, i, k.
k, h, i
Suppose -4 = -2*q - 2*o, 28 = -q - o + 6*o. Put q, 1, 4, 0 in decreasing order.
4, 1, 0, q
Suppose 0 = 4*v + 2*y - 22, -9 = -5*y + 6. Suppose -v*d - 3 = 3*c, -2*d + 9 = -4*c - 17. Put 0, c, 3 in descending order.
3, 0, c
Let c(z) be the first derivative of -z**4/4 + z**3 + z + 3. Let a be c(3). Let n(v) = -v + 2. Let x be n(7). Put 5, a, x in ascending order.
x, a, 5
Let l(x) = x + 7. Let g be l(-5). Let m = -809/8 - -101. Sort m, g, 1.
m, 1, g
Let r be 2/((-2)/(-2)*-1). Let t be 3 - (r - (-189)/39). Sort -2, -0.1, t in descending order.
t, -0.1, -2
Suppose i = -0*i + 5. Let t be 6/8*(-6 - -2). Sort 1, t, i in descending order.
i, 1, t
Let s(f) = -f**2 + 4*f - 3. Let g be (-16)/(-5) + (-28)/(-35). Let a be s(g). Sort 5, a, 3 in descending order.
5, 3, a
Let o = 0.8 - 0.9. Put 0.3, o, 0 in decreasing order.
0.3, 0, o
Let r = -0.6 + 0.3. Let k = 1.4 + -2.1. Let q = k + r. Put 2, q, -2/13 in descending order.
2, -2/13, q
Let f = 1 + -0.6. Let k = 800/5031 - 2/387. Let t = k + -21/52. Sort -4, f, t in descending order.
f, t, -4
Let y = 5 + -3. Suppose 4*s = -10 - y. Put -0.4, 3, s in decreasing order.
3, -0.4, s
Suppose -2*j = -3*b - 10, 5*j - 34 = -b - 9. Put b, 5, -2 in decreasing order.
5, b, -2
Let g = 1 + 0.96. Let m = -0.24 - -0.28. Let n = m + g. Sort 4, -4, n.
-4, n, 4
Let m(r) = 3*r + 1. Let u be m(-1). Suppose 4*o + 5 = -2*d - 1, 0 = 5*d + 4*o + 3. Sort 3, u, d in ascending order.
u, d, 3
Let g = 14.4 - 20.4. Put 0, g, -0.2, 5 in ascending order.
g, -0.2, 0, 5
Suppose z - 4*z - 15 = 0. Sort 1, z, -3.
z, -3, 1
Suppose 4*r = r. Suppose r = -2*x + 3*x - 1. Let j be -12*-1*3/12. Sort 0, x, j in ascending order.
0, x, j
Let u = -9 + 2. Let h(t) = -t**3 - 6*t**2 + 7*t - 1. Let n be h(u). Let y be -1 + (16 - 17)*(-4)/2. Sort 3, n, y in descending order.
3, y, n
Suppose k + 13 = -3*s, 6 + 4 = -2*s. Let u be ((-3)/30)/(k/4). Let g be 3*(4 + 128/(-30)). Sort 3, g, u in decreasing order.
3, u, g
Let b = -1 - -0.9. Suppose r - 1 = 4*x, 0 = -2*r + 5*x - 1 + 6. Sort r, 0.5, b in ascending order.
b, 0.5, r
Let k = -4.8 - -5. Let x = 1.8 + k. Sort x, -0.3, 1 in increasing order.
-0.3, 1, x
Let s = 4.9 + -5. Let n = -12 - -11.87. Let c = -0.07 + n. Put -0.01, c, s in descending order.
-0.01, s, c
Suppose 5*u + 9 - 2 = -2*l, -5*u + 1 = 4*l. Sort u, 2, -5, 3.
-5, u, 2, 3
Let c = -59 + 55. Sort 5, -5, 3, c in decreasing order.
5, 3, c, -5
Let g be (-16)/(-21) + (-2)/6. Let k = 5 - -5. Let r = 11 - k. Sort g, r, -1 in decreasing order.
r, g, -1
Let a(u) = -u - 7. Let n be a(-9). Suppose -n*o = -0 + 2. Let j(m) = m - 7. Let g be j(5). Put -3, o, g in decreasing order.
o, g, -3
Suppose g - 4 = 6. Suppose -c - c = -3*u + 6, -5*u = -3*c - g. Sort 4/3, c, -3/4 in descending order.
4/3, c, -3/4
Let q be ((-1)/(-18))/(-1 - 25/(-20)). Sort -0.3, q, 2, -0.2 in ascending order.
-0.3, -0.2, q, 2
Let b = 3.1 - 3. Let v = -28.3 + 28. Sort v, 1/3, b.
v, b, 1/3
Suppose 0 = -3*i - i + i. Put 3, i, -1, -2 in ascending order.
-2, -1, i, 3
Let g = 3.93 - -0.07. Let d = g + -5. Put d, -1/4, -0.2 in decreasing order.
-0.2, -1/4, d
Let p be -6*(-3 - (-5)/2). Let v = -16 - -11. Let o = -4 - -4. Put v, o, p in increasing order.
v, o, p
Let n(q) = q + 2. Let f be n(-1). Let r be -1*(-1)/(f + -3). Put 4, -0.3, r in descending order.
4, -0.3, r
Suppose 6 + 3 = -3*q. Let l be (-1)/3 - (-11)/q. Let p be -4*(5/4 - 0). Put p, -1, l in ascending order.
p, l, -1
Suppose -5*x = -3*b + 39, -5*b - 4*x - 18 = -46. Suppose 3*n = -n - 52. Let f = b + n. Put -1/6, 1, f in ascending order.
f, -1/6, 1
Let c be 1*-1*5*1. Let j(w) = w**3 + 3*w**2 - w - 3. Let m be j(-3). Sort 5, m, c in decreasing order.
5, m, c
Let r be 6/70 + (-6)/21. Suppose -4*o - 4 = -2*o. Let p be -3*o/2 - 2. Sort p, -0.5, r in ascending order.
-0.5, r, p
Let z(h) = 3*h**3 - 3*h**3 - 2*h - 4*h**2 + 3*h + h**3. Let j be z(4). Put j, -4, -5 in decreasing order.
j, -4, -5
Let n(s) = s**3 + 12*s**2 + s + 8. Let w be n(-12). Sort 1, -2, w in descending order.
1, -2, w
Suppose -4*v - 3 - 1 = 0. Let g = v - 3. Sort g, 4, 0 in descending order.
4, 0, g
Suppose -2*v - 12 = -5*v. Suppose 0 = -c - v*h - 4, 3*h - 9 = 3*c + 3. Put 1, c, -5 in increasing order.
-5, c, 1
Suppose 4*g = 16, 5*s + 4*g + 0 = 26. Suppose 2*c = -5*f - 19 + 5, -5*c - 4*f - 18 = 0. Suppose -15 = 3*y - 6*y. Sort y, c, s in ascending order.
c, s, y
Let g = -8 + 9. Sort -2, 3, g.
-2, g, 3
Let g = -16 + 16.3. Put g, -9, -5 in ascending order.
-9, -5, g
Suppose 0 = -2*z - 0*z + 8, 0 = t - 2*z + 7. Suppose 5*d - j - 4*j = -20, j = -5*d - 14. Sort t, d, -2.
d, -2, t
Let t = 0.43 - 0.33. Let r = 0.03 - -0.27. Sort t, 0, r in ascending order.
0, t, r
Suppose 5 = i - 2*i. Let c = 14 - 10. Sort i, c, 1 in decreasing order.
c, 1, i
Let y be (-15)/(-20) - (-1)/(-4). Let k be ((-2)/(-5))/(6/30). Suppose -2*l + 0 = -k. Put -1, l, y in ascending order.
-1, y, l
Let o be (-1)/(-2)*4/1. Let w be (-10)/2 - o/(-1). Let p(x) = x**2 - 11*x - 43. Let y be p(14). Put y, 1, w in increasing order.
w, y, 1
Let o = -0.02 - -2.02. Suppose 35 = 5*c - 5*j, -c + 2 = j - 3*j. Let q be (-2)/6*c/8. Sort o, -0.2, q in ascending order.
q, -0.2, o
Let m = 13 - 0. Suppose -k = 2*b + 13, -m - 1 = 4*b - 2*k. Put 5, -4, b in decreasing order.
5, -4, b
Let s = 24.9 + -24.8. Let d = 0.1 + -0.05. Let m = d - 4.05. Sort 1, m, s in increasing order.
m, s, 1
Let a = -14 + 9. Let y = a + 10. Sort 4, y, -5.
-5, 4, y
Suppose 4*c + 3*k - 17 = 0, -4*c - k = -3*k - 22. Put 3, c, -1 in increasing order.
-1, 3, c
Let b = 1.1 + -1.3. Sort b, 0.1, -2/3.
-2/3, b, 0.1
Let k be (84/(-105))/((-26)/5). Sort -1, 3, k.
-1, k, 3
Let k = -109 + 109. Sort -1, -5, k in ascending order.
-5, -1, k
Suppose 3*c - 7*c = -16. Put c, 1, -1/5 in ascending order.
-1/5, 1, c
Suppose -22*a + 19*a = 3. Let t = -2 + 6. Sort a, t, 2.
a, 2, t
Let u(v) = v**2 + 4*v + 2. Let w be u(-4). Suppose -2*j + 4 = w*j. Let x(f) = -f**2 + 7*f + 3. Let i be x(7). Sort 2, j, i in ascending order.
j, 2, i
Let f = 0.114 + -0.114. Put -1/8, -5, -0.05, f in increasing order.
-5, -1/8, -0.05, f
Let p be (-40)/25*(-5)/2. Suppose 0*o - 8 = 4*o. Let w = 1 + o. Put w, p, 1 in descending order.
p, 1, w
Let r = -0.6 + 0.52. Sort -2, -0.1, r, -3/2.
-2, -3/2, -0.1, r
Let b be -2 - (-4)/2 - -7. Let s = 1 - b. Let u = -10 - s. Sort u, 0, -5.
-5, u, 0
Let f = 31 - 4. Suppose 5*h - 7 = -f. Put -2, h, 4 in decreasing order.
4, -2, h
Suppose 2*x = 3*x. Suppose 0 = -3*i + 3*q, -4*i + 5*q = -x - 