et d be (26/39)/((-1)/m). Put 1, 5, d in increasing order.
d, 1, 5
Let v = -3/74 - -95/518. Sort -4, -0.4, v.
-4, -0.4, v
Suppose 2*n + 8 = 6*n. Let x be n/(2/(2 + -4)). Sort 2, -4, x in descending order.
2, x, -4
Let n = 28.2 + -26. Let w = 0.8 + n. Sort -2/13, w, -1 in descending order.
w, -2/13, -1
Suppose 0 = 3*n - 8*n - 4*j + 5, -5*n - 5*j = 0. Suppose -2*y - 9 + n = 0. Let q(s) = -s**3 + 4*s**2 - s - 4. Let r be q(3). Sort r, y, 3.
y, r, 3
Let v(q) = -q**2 + 2. Let a be v(-1). Sort -1, 4, 0, a.
-1, 0, a, 4
Let o(i) = -2*i + 8. Let k be o(7). Let f = -7 - k. Sort 5, f, 1.
f, 1, 5
Suppose f + 2*c = -23, c - 5*c = 3*f + 71. Let u be (-9)/(-6) + f/14. Put -4/7, u, -3/4 in ascending order.
-3/4, -4/7, u
Let c = -153 - -149. Sort c, -5, 6, 2.
-5, c, 2, 6
Let v be 12/9 + 2/(-6). Let u(a) = 3*a - 8. Let w be u(4). Sort 7, w, v in increasing order.
v, w, 7
Let a = 24 - 22. Let p(b) be the first derivative of 3*b**2/2 - b + 2. Let c be p(2). Sort a, c, 1 in ascending order.
1, a, c
Suppose 25 = 2*u + 3*u. Let x = u + -5. Put -4, x, -2 in decreasing order.
x, -2, -4
Let j(t) = t**2 + 14*t - 55. Let m be j(-17). Put -5, 5, m, 0 in decreasing order.
5, 0, m, -5
Suppose 2*b - 4*v - 12 = 0, 3*b - 3*v - v - 10 = 0. Put 0, 2, b, -5 in descending order.
2, 0, b, -5
Let l(o) = -o. Let i(b) = b - 13. Let v be i(11). Let f be l(v). Suppose f*z - 3*z - 5 = 0. Sort z, 0.5, -0.1 in decreasing order.
0.5, -0.1, z
Let t be 1850/6 - (-2)/(-6). Let f = -5170611009/16794113 + -1/987889. Let y = t + f. Put y, 0.2, -5 in descending order.
0.2, y, -5
Suppose 4*f + 28 = -3*v + v, -2*f - 26 = 4*v. Let x = 8.07 + -8. Let y = x - 0.37. Put y, 0, f in decreasing order.
0, y, f
Let b(m) = -m**2 - m + 35. Let n be b(-6). Put n, -3/7, -1/2, -4 in decreasing order.
n, -3/7, -1/2, -4
Let j = 3/16 - -1/16. Sort -3, 4, j, -5 in descending order.
4, j, -3, -5
Let o = 14.6 - 15. Sort o, 0.4, -0.04 in descending order.
0.4, -0.04, o
Let n = -56 + 390/7. Sort 1, -2/5, n in descending order.
1, n, -2/5
Let y = 1.37 - 1.3. Let x = y - 5.07. Sort 1/6, x, -4 in decreasing order.
1/6, -4, x
Suppose -z = -5, -5*c = -4*z + 17 + 13. Let u be c - (-2)/6*0. Let f = u - -1. Sort f, -2, 5 in increasing order.
-2, f, 5
Let o(g) = -g**2 + 4*g + 4. Let s be o(4). Let c(a) = -15 - 1 + s*a - 5*a + 0*a. Let z be c(-11). Sort z, 3, -1 in decreasing order.
3, -1, z
Let a(y) = y + 1. Let i be a(2). Suppose 0 = 3*c + i*h, 0*c + c + 5*h + 20 = 0. Suppose -4*j + c*j = 4. Sort -2, 5, j in descending order.
5, j, -2
Let f = -1 + 1.2. Let o = 10 - 12.9. Let z = 3 + o. Put z, f, 0.3 in increasing order.
z, f, 0.3
Let h(q) = -q - 9. Let j be h(-7). Let y(s) = -4*s. Let g be y(j). Suppose 4*a + g = -12. Sort 4, a, -1 in decreasing order.
4, -1, a
Let i be ((-4)/(-14))/1 - 8/28. Sort -3, i, 1, -5.
-5, -3, i, 1
Suppose -4*w - 14 = 2. Sort -3, 2, w in ascending order.
w, -3, 2
Suppose r - 9 = -5. Sort 5, 3, r.
3, r, 5
Let o = -0.2 + 0.4. Let y = -749/55 - -69/5. Let r = -367/5 + 74. Put o, r, y in ascending order.
y, o, r
Let p = 82 + -411/5. Let b = 3 - 0. Sort p, 4, b.
p, b, 4
Let w = 3.07 + -0.07. Put 0.5, w, 3/4 in descending order.
w, 3/4, 0.5
Let m = 16 + -11. Let g = -1 + -7. Let i be 5/(-2)*g/(-15). Sort -4, i, m.
-4, i, m
Let b be (-6)/21 - 69/(-21). Sort -1, -6, b, 0 in decreasing order.
b, 0, -1, -6
Let l be -5 - -43*(-5)/(-40). Put -0.5, l, -1, 4 in ascending order.
-1, -0.5, l, 4
Suppose 4*s = -s + 5. Let m be 7/(-4) - 1/4. Put m, -3, s in decreasing order.
s, m, -3
Let d(h) = -h**3 + 14*h**2 + h - 14. Let q be d(14). Sort q, -4, -1, 18 in ascending order.
-4, -1, q, 18
Let h = 16 + -21. Let n be (-18)/(-16)*(-40)/(-98). Let p = n + 2/49. Put -0.1, h, p in decreasing order.
p, -0.1, h
Suppose -4*g = g - 15. Let f be (-6)/g + 1 + 0. Put -2, 1, f in increasing order.
-2, f, 1
Let r = -3.986 + -0.014. Sort -1/2, 0.2, 0, r in descending order.
0.2, 0, -1/2, r
Let j = 6 + -3. Let k = -13 - 5. Let z = k - -71/4. Sort z, j, 1/7 in decreasing order.
j, 1/7, z
Suppose 5*o + 3*k = 8, 3*o = 4*o + 3*k - 4. Put 4, o, -1 in increasing order.
-1, o, 4
Let o(r) = r**3 - 2*r**2 + 2*r - 1. Let i be o(2). Let x = 8 - 9. Put x, i, -0.09 in increasing order.
x, -0.09, i
Let c(f) = -f + 2. Let w be c(0). Let p be (-4)/(-14) + (1 - 1). Let j = 6921/7 - 989. Put j, p, w in ascending order.
j, p, w
Suppose -5*t + 33 + 27 = 0. Suppose -l = 3*u + t, 5*l - 3*u - 18 = 12. Let d = -41 + 40. Put l, d, 4 in ascending order.
d, l, 4
Suppose u - 5*v - 4 = 3, 4*v = -2*u. Put u, 0, -0.1 in ascending order.
-0.1, 0, u
Suppose 4*x = -0*i - 4*i - 28, 4*i + 8 = 0. Let w be (-2 + 0)*(-1 + 2). Let g = 4 + -4. Sort g, x, w in descending order.
g, w, x
Suppose -o = 3 - 7. Let h(n) = n**3 + n**2 - 5*n - 2. Let w be h(2). Put o, w, 2 in ascending order.
w, 2, o
Let w = -1 - 1. Let p be 4/2*8/2. Let u be (3/(-12))/((-2)/p). Sort w, u, 4 in descending order.
4, u, w
Suppose 0 = -3*d + i - 10, -i = -d - 4*i. Let v be (-10)/4*(-1 + -1). Let f = -3 + 6. Sort d, f, v in descending order.
v, f, d
Let q = -2/61 + -234/305. Let h = 0.11 + 3.89. Sort h, -0.07, q in ascending order.
q, -0.07, h
Let k be (-3)/(-15) - (-7 + 7). Sort k, -23, -3.
-23, -3, k
Suppose -m - 4*m + 5 = 0. Sort m, 3, -2.
-2, m, 3
Suppose -4*f = 12, 3*i + 15 = -5*f + 2*f. Put -4, i, 2 in increasing order.
-4, i, 2
Let r be (52/(-10))/((-12)/30). Let n = -4 + 7. Let k be 6/n + r/(-7). Sort k, -3, 3 in ascending order.
-3, k, 3
Let u = 0.03 - 0.33. Let z be (-19)/36 - 4/18. Sort u, z, -1 in descending order.
u, z, -1
Let q = 7.3 + -7. Let z = 0.08 + 3.12. Let c = z - 3. Sort q, c, 0.5 in descending order.
0.5, q, c
Let r be 1 + -1 - (1 + 3). Suppose 0 = -4*m - 4 + 12. Sort m, r, 0 in ascending order.
r, 0, m
Let d = 102 - 123. Put -5, 0, d in ascending order.
d, -5, 0
Let o(v) = -v**2 + 3*v. Let d = -5 + 9. Let g be o(d). Put -3, g, 4 in descending order.
4, -3, g
Let s be ((-12)/15)/(14/(-10)). Sort -1, s, 2/17.
-1, 2/17, s
Let q(u) = u + 9. Let a be (0 + (-12)/(-9))*-6. Let o be q(a). Let r be (-2)/(-9) - 32/(-18). Put -2, r, o in decreasing order.
r, o, -2
Let m = -22 - -17. Sort 5, m, -2/7 in decreasing order.
5, -2/7, m
Let o = -970/483 + 44/23. Suppose 5*c - 2*g = c, 0 = 4*g. Sort o, -4, c.
-4, o, c
Let r(y) = -2*y - 7. Let n be r(-4). Let i be (n + 10/(-16))*-2. Let l = 2 - 2.3. Sort l, -0.5, i.
i, -0.5, l
Let m(d) = d**3 - 6*d**2 + 5*d + 2. Let c be m(5). Let w be (1 - c) + (1 - 1). Let i be 5/((w - -1) + 4). Put -2/5, -2, i in increasing order.
-2, -2/5, i
Let s be 1/(-6) - 124/(-24). Sort -2, s, 4, 2.
-2, 2, 4, s
Let a be (0/2)/(-4 + 6). Let q = 4 - 8. Sort q, -0.1, a in descending order.
a, -0.1, q
Suppose 5*n = 2*n. Let t(u) = -u**3 - u + 1. Let j be t(n). Put 4, j, -2 in descending order.
4, j, -2
Let p = -17 - -20. Let t be (-1)/2*(p - 3). Sort -2/3, -4, t in descending order.
t, -2/3, -4
Suppose -1 = 4*i - 5*i. Suppose -2*x + 8 = 2*p, 4*p + 2*x = x + 13. Sort i, 4, p in descending order.
4, p, i
Let d be (4/(-6))/((-40)/(-12) - 3). Sort 5, -16, -5, d in descending order.
5, d, -5, -16
Let t = 6 - 2. Let d = 3 - t. Let w = 2/11 + 51/22. Sort d, w, 2 in descending order.
w, 2, d
Suppose -10 = -3*n + 4*o - 3*o, 4*o + 4 = 3*n. Suppose 5*w + n + 1 = 0. Put -2, 1, w in descending order.
1, w, -2
Let f = -0.8 + 0.5. Let k = 0.2 - f. Let y = -4 - 1. Put k, -4, y in ascending order.
y, -4, k
Suppose -10*f = -6*f - 8. Sort f, 25, 5 in ascending order.
f, 5, 25
Let v be (-2)/((-2)/(-1)) - -4. Suppose -2*r - 13 = -3*s, 6*r - r = -2*s - 23. Sort v, -4, s in decreasing order.
v, s, -4
Let c = 0.052 + 20.948. Let o = c - 17. Let m be (-1)/3*(-6)/(-8). Put o, 1/3, m in ascending order.
m, 1/3, o
Let v = -6 + 1. Let l = v - -22. Suppose -5*n + l = -18. Sort n, 4, 0 in decreasing order.
n, 4, 0
Suppose 0 = 2*u - 2*y + 6*y, 0 = -5*u + 3*y - 26. Put u, -0.3, -0.4, 5/6 in ascending order.
u, -0.4, -0.3, 5/6
Let d = -45 + 181/4. Sort 1, -2, d.
-2, d, 1
Let r = 0 - 0.3. Let b = -5.2 + 1.2. Sort b, r, 1/3 in decreasing order.
1/3, r, b
Let u = 19 + -23. Sort u, 7, -2 in descending order.
7, -2, u
Let n be 123/11 - (-16)/(-88). Suppose 0 = -5*t + 36 - n. Sort 0, t, -2 in increasing order.
-2, 0, t
Let a = 15 + -18. Let x = a + 2.7. Sort 2/11, -5, x in increasing order.
-5, x, 2/11
Let i(w) = w**