z, o
Suppose 0*m - 2*z + 27 = 5*m, -4*z + 29 = 5*m. Sort 2, -1, m.
-1, 2, m
Suppose 4*d - d = 5*b - 4, 0 = d + 5*b - 12. Suppose d = f + 4. Put f, -3, 4 in increasing order.
-3, f, 4
Let l = 0.07 - -0.03. Let v = l + 0.9. Put 2/5, 4, v in increasing order.
2/5, v, 4
Suppose 3*v = -y + 5*y + 14, -5*v - 2*y = 20. Let m(n) = n**2 - 2*n - 1. Let t be m(3). Sort v, -1, t in descending order.
t, -1, v
Let p = 0.149 + -0.249. Let f be 26/42 - (-2)/(-6). Put f, p, 1 in descending order.
1, f, p
Let f = 235 + -1644/7. Let z be (-2)/(-7) + (-20)/(-126). Put f, 0.5, z in descending order.
0.5, z, f
Let h = 14.71 + 0.29. Let n = -10 + h. Put -0.1, -0.2, n in decreasing order.
n, -0.1, -0.2
Let j = -7 + 5. Let x = 3 + j. Sort -5, 4, x.
-5, x, 4
Let k = 39 - 37. Sort k, -4, -2.
-4, -2, k
Let h(s) = -s - 1. Let y be h(-3). Let x = -5.1 - -0.1. Let r = -4.6 - x. Put y, 0, r in descending order.
y, r, 0
Let v = -65 - -65. Sort 7, 6, v in descending order.
7, 6, v
Let p = -133 + 129. Sort 2, p, 4, 3 in ascending order.
p, 2, 3, 4
Let o be (24/20)/(3/10). Put o, 1, 2/5 in descending order.
o, 1, 2/5
Let w(v) = 3*v**2 + 6*v. Let k(d) = -7*d**2 - 12*d - 1. Let t(o) = 2*k(o) + 5*w(o). Let h be t(-6). Sort -4, -1, h in descending order.
-1, h, -4
Let f = -0.7 - 2.3. Let w = f - -3.1. Let l be -1 - -1 - (3 + -1). Sort 0.4, l, w in decreasing order.
0.4, w, l
Let g = 6 - 6.4. Sort 5, g, 0.4 in ascending order.
g, 0.4, 5
Let n = -61/3 + 20. Sort 0.4, 1/2, n in decreasing order.
1/2, 0.4, n
Let m = 13 + -12. Let i = 5 + m. Put 4, 0, i in decreasing order.
i, 4, 0
Let a(i) = 2*i - 10. Let k be a(7). Suppose z - 14 = 11. Suppose y + 4*y = 5*p + z, 15 = -3*p - 5*y. Sort -4, k, p in decreasing order.
k, -4, p
Let t = 19 - 16. Sort -3, t, 4, -1 in ascending order.
-3, -1, t, 4
Let j = -4.3 - -8.3. Sort -3/8, -0.3, j in descending order.
j, -0.3, -3/8
Let d = 57 + -60. Sort d, 5, -4, -1 in descending order.
5, -1, d, -4
Suppose 0 = -2*s - 2*s + 40. Let f = 13 - s. Put f, 4, -1 in descending order.
4, f, -1
Let h be (-4)/(-6) + 7/3. Let z = 17 + -21. Sort 0.1, z, h in descending order.
h, 0.1, z
Let y = -1 - -1.8. Let w = -0.34 + 0.04. Let i = y + w. Put -4, i, -1/5 in increasing order.
-4, -1/5, i
Suppose -22 = 2*n - 14. Put -2/3, n, 0.8 in ascending order.
n, -2/3, 0.8
Let m(y) = y**2 + 5*y - 9. Let c be m(-7). Suppose -2*j - 2 = 4. Sort -5, c, j in decreasing order.
c, j, -5
Let w = 6 - 4. Let h(t) = t**2 - 8*t + 2. Let r be h(7). Let o = r + 8. Sort o, w, 4 in descending order.
4, o, w
Suppose 5*o = 6 + 4. Suppose 5 = -o*h + h. Sort 1, h, -4 in decreasing order.
1, -4, h
Let f = -1.964 - 0.036. Sort f, -16, -1/6 in ascending order.
-16, f, -1/6
Let n = -5.1 + 4.1. Sort -0.4, -0.7, n in descending order.
-0.4, -0.7, n
Let s = 5 - 2. Suppose c + 5*i = 4, 16 - 4 = s*c - 2*i. Suppose 0*m - 2*b = 2*m - 10, -c*m + 5 = b. Sort -3, 1, m in decreasing order.
1, m, -3
Let z = -1.9 - 0.1. Let i = -1/4 - -3/44. Sort 0.5, z, i in increasing order.
z, i, 0.5
Let z = 13.4 - 13. Let d(b) = -b**3 + 7*b**2 - b + 5. Let n be d(7). Sort -3, n, z in descending order.
z, n, -3
Let c(f) = -f**2 - 9*f + 12. Let b be c(-10). Suppose -v - b*v + 12 = 0. Put v, 5, 1 in decreasing order.
5, v, 1
Let m = -2 - -2. Let o = -0.4 + m. Sort 1, o, -1/2 in decreasing order.
1, o, -1/2
Let z = -0.13 - -0.13. Sort 5, z, -2 in descending order.
5, z, -2
Suppose -2*a - 1 + 3 = 0. Sort -2, -4, a in descending order.
a, -2, -4
Let x(s) be the second derivative of -1/12*s**4 - 11/6*s**3 - 2*s + 0 - 7*s**2. Let q be x(-10). Sort -2, 2/13, q in descending order.
2/13, -2, q
Let b = -44.5 - -45. Suppose 2*a + 21 = 5*z, 4*a = a - z + 11. Sort -1, b, a in ascending order.
-1, b, a
Let z(a) = -2*a - 1. Let w be z(-2). Suppose 1 = w*k + l, 3*l - 11 = 2*k + 6*l. Suppose -4*r + 7 = 5*f - 2*r, -8 = k*r. Put f, -3, 4 in increasing order.
-3, f, 4
Let x = -7.8 - -10. Let m = x - 1.8. Sort -4, 2, m.
-4, m, 2
Let u(n) = -2*n + 9. Let g be u(6). Suppose 0 = -6*h + 3*h + 9. Suppose -j = 2*j + h. Put g, 3, j in increasing order.
g, j, 3
Suppose -4*p + 14 = -0*j - 5*j, -p = 5*j + 34. Let s be 15/j*(0 - -2). Put s, 4/7, -2 in descending order.
4/7, -2, s
Let i = -216550 + 7578502/35. Let a = -673/35 + i. Let d = 40 + a. Sort 3, d, -3/4 in ascending order.
-3/4, d, 3
Let u = -62 + 61. Let h = 0.2 - 0.5. Put -5/2, h, u in descending order.
h, u, -5/2
Let d be 8/16*(0 + 6). Put -0.4, d, 2 in decreasing order.
d, 2, -0.4
Let y be (-72)/126 - (3/7 + 0). Sort 17, y, 4.
y, 4, 17
Let t = 1227/7 - 175. Suppose -4 = -2*r - 2. Sort 2, r, t in ascending order.
t, r, 2
Let a = 5 + -4.5. Put -0.4, -2, a in descending order.
a, -0.4, -2
Let o be ((-2)/(-7))/((-26)/(-14)). Sort -0.03, o, 4/7 in decreasing order.
4/7, o, -0.03
Suppose 0 = 5*o - 2*y - 4 + 9, -o - 4*y + 21 = 0. Suppose -o = -s + 2. Sort 4, -4, s in increasing order.
-4, s, 4
Let t = -76 - -1142/15. Let r = 101 - 709/7. Put t, 0.5, r in decreasing order.
0.5, t, r
Let k = 2.6 - 3. Sort k, -3, -5.
-5, -3, k
Let h = 23 + -21. Suppose -h*j = 2*x - 8, -2*j = -x - 7*j + 20. Sort x, -4, 4 in ascending order.
-4, x, 4
Let h(u) = 14 - 3*u**2 + 5*u - 5 + 0*u. Let o(k) = -k**2 + 2*k + 3. Let d(x) = 4*h(x) - 11*o(x). Let j be d(-3). Put -1, j, 1 in decreasing order.
1, j, -1
Let i = -2 - -1. Let x = i - 0. Let q = -2 - -2.3. Sort 1/4, x, q in ascending order.
x, 1/4, q
Let n be (1 + -1)*(-3)/(-6). Let x(r) = -2*r**3 + 3*r**2. Let u be x(2). Sort u, 4, n.
u, n, 4
Let i = 76 - 78. Put -0.17, -5, i in decreasing order.
-0.17, i, -5
Let j = 3.9132 + -0.0832. Let k = j + 0.17. Let x be 6/8 - (-1)/4. Sort k, -0.5, x in ascending order.
-0.5, x, k
Suppose f - 15 = 6*f. Let g be (-2)/7 - 2/(-7). Let o be (g + 1)*2*1. Sort f, 0, o in ascending order.
f, 0, o
Let y be -2 + 5 + (-1 - 2). Suppose 0 = -6*u + 2*u + x - 15, 0 = -2*u - x - 3. Sort -1, u, y in descending order.
y, -1, u
Suppose -5*j - 15 = 3*x - 45, 20 = 2*x - j. Sort -5, 1, 0, x in increasing order.
-5, 0, 1, x
Let p(f) = -f**3 - f**2 + f - 5. Let u be p(0). Let k(w) = -5*w**2 + 2*w - 1. Let i = 3 - 2. Let r be k(i). Sort r, 0, u in increasing order.
u, r, 0
Let p be (-10)/15 + (-1)/3. Suppose -5 + 13 = -4*j. Sort j, p, 2 in increasing order.
j, p, 2
Let l = -32 - -40. Let f(s) = -s**3 + 11*s**2 - 9*s + 1 + 9 - 2*s**2. Let n be f(l). Sort n, 5, 4 in descending order.
5, 4, n
Let s be (-1)/2 - (-5)/2. Suppose 3*r + n - 15 = 6, -s*n - 6 = -2*r. Suppose r = -4*g + 5*w + 27, 5*g = -w - 10. Put g, -2, 5 in increasing order.
-2, g, 5
Let z(x) = -x**3 + 9*x**2 + 3*x - 9. Let s be z(9). Let l be 60/s + (-2)/6. Let i be (-1)/3 + (-16)/(-3). Sort -4, i, l in decreasing order.
i, l, -4
Suppose -l - 10 = 5*f, -2*f + l + 7 = 4. Let w be (((-2)/1)/(-1))/4. Put 0, w, f in increasing order.
f, 0, w
Suppose 5*h = -2*j, 4*j + j = h. Suppose 3*s - 6*s - 2 = 5*i, j = -3*s - 3*i - 6. Sort 2/5, s, 1 in increasing order.
s, 2/5, 1
Let y = -217/4 + 2829/52. Sort y, -1, 0.
-1, 0, y
Suppose -3*m = -3*t, 7 + 9 = 4*m. Sort 5, 3, t in increasing order.
3, t, 5
Let c be 4/18 + 178/(-612). Let l = c - -4/17. Let a = -2.7 + 3. Sort -1/5, a, l in increasing order.
-1/5, l, a
Let c = 20/4031203 - -5438030547/12557197345. Let i be (-12)/(-30)*1/89. Let v = i - c. Sort 3, v, -0.4 in decreasing order.
3, -0.4, v
Let m be 0 + (-3 + 0 - 1). Let t be 1/(1*2/(-10)). Sort -2, m, t in decreasing order.
-2, m, t
Let v be (6/(-20))/((-10)/20). Let c = -648/7 - -92. Put c, 1/5, v in ascending order.
c, 1/5, v
Suppose -3*d + 8*d - 4*k = -1, 0 = -4*d + 4*k. Put d, -0.9, -0.1 in descending order.
-0.1, -0.9, d
Suppose -14 = -2*m + 14. Let u = m - 15. Sort u, -3, -4.
-4, -3, u
Let q = -0.066 + -38.934. Let m = q - -35.3. Let z = m + -1.3. Put -2/11, -1, z in increasing order.
z, -1, -2/11
Let l(v) = v**2 + 8*v + 9. Let s be l(-6). Let c be ((-4)/(-5))/((-14)/35). Put 2, c, s in decreasing order.
2, c, s
Suppose -2*o - 104 - 10 = 0. Let m be 3/(o/24 - -2). Let d = 9 + m. Put d, -4, -1 in decreasing order.
d, -1, -4
Let w be 6/(-8)*(-2)/(-4). Put w, -0.5, -0.2 in decreasing order.
-0.2, w, -0.5
Suppose y + 0 = -1. Put 5, y, 0 in decreasing order.
5, 0, y
Let d(z) = -z + 9. Let q be d(4). Sort -5, -4, q in ascending order.
-5, -4, q
Let w = -121/5 - -24. Sort -4/5, w, 0.3 in increasing order.
-