0.5, g, 2/3
Let y = 6 + -7. Let d be 3*(-3)/(27/(-6)). Sort 0, d, y.
y, 0, d
Let c = 117 + -110. Put 1, -5, c, 3 in ascending order.
-5, 1, 3, c
Suppose -y - 4*g + 6*g = 0, y + 3*g = 0. Suppose y = -4*i - 4*m - 28, -3 = -3*i + m + 2*m. Sort 0, i, -5 in decreasing order.
0, i, -5
Let r = 20 + -16. Put -7, r, -2 in increasing order.
-7, -2, r
Let g = -37 + 40. Sort g, -2, -5 in increasing order.
-5, -2, g
Let g = -2 + 3.2. Sort -2, 0.2, g in descending order.
g, 0.2, -2
Let c = 893650 + -13399967/15. Let l(p) = -39*p**3 + 3*p**2 + 4*p + 3. Let u be l(-2). Let k = c - u. Put 0.4, k, -0.2 in decreasing order.
0.4, k, -0.2
Suppose -5*t - 4*m = -1, 0 = 2*t - 2*m - 4. Suppose 2*u - 22 = 4*i, 4*i + 0*i = 3*u - 23. Put t, i, -2 in decreasing order.
t, -2, i
Suppose 0 = r - 5 + 7. Sort 4, -0.6, r in descending order.
4, -0.6, r
Let a = 0.08 - -6.02. Let q = -6 + a. Let n = -0.09 + q. Sort 3, n, -1/3 in decreasing order.
3, n, -1/3
Let j = 7 - 4. Suppose -j*t - 10 - 2 = 0. Put -5, t, 5 in decreasing order.
5, t, -5
Let j = 6 - 3. Let n = -5 + 4. Sort n, 2/3, j.
n, 2/3, j
Let h(u) = u + 1. Let q be h(-2). Suppose 2*g = 6*g. Suppose -5*i + 2*i = 9. Sort g, i, q in increasing order.
i, q, g
Let l = 15.8 - 15.6. Let t = -10 - -28/3. Sort l, t, -0.3 in decreasing order.
l, -0.3, t
Let m(g) = -g**2 + 2*g + 1. Let k = -7 - -11. Suppose 0*i - 1 = i + k*l, -i + 5*l = 1. Let v be m(i). Sort 2, 3, v in descending order.
3, 2, v
Let d = 14 - 14. Sort d, -3, 4 in descending order.
4, d, -3
Let d(o) = 2*o - 7. Let p be d(5). Suppose 0 = -2*j + 4. Suppose -5*z = -5*w, 4*z = 2*w - 0*z. Put w, j, p in descending order.
p, j, w
Suppose -3*i + 4*b = -14, -3*b = -4*i - 2*b - 3. Suppose 4 = 2*z - 3*z - p, 5*p = 3*z + 4. Let o be (-6)/8*i/z. Sort -1, o, -2/15 in ascending order.
-1, o, -2/15
Suppose 5*j - 3*h = 4, 2*j - 6 = -0*j - h. Sort j, -2, 0.14 in ascending order.
-2, 0.14, j
Let t = 0.1 + -0.09. Let x = 2.01 - t. Let h = -3.94 - 0.06. Sort x, h, 1/5 in decreasing order.
x, 1/5, h
Let a be (-15)/6*(-8)/(-10). Put 2, -5, 4, a in descending order.
4, 2, a, -5
Let p be (-1)/2*96/12. Sort 5, -5, p in decreasing order.
5, p, -5
Let a be (-2)/10 + 357/85. Suppose 3 = -d - 2*x - 0, -3*x = 3*d + 9. Sort a, 5, d in increasing order.
d, a, 5
Let j(s) = s**2 + 13*s + 16. Let z be j(-12). Let f = z - 8. Let k = 0 - -3. Sort 5, k, f.
f, k, 5
Let n = -1.5 - -2. Let f be 22/(-18) - (-14 + 13). Sort n, f, -1 in descending order.
n, f, -1
Let t(o) = o**3 - 8*o**2 + 8*o - 17. Let r be t(7). Sort -3, 5, r.
r, -3, 5
Let f = 123 + -127. Sort -5, f, 7, 1 in decreasing order.
7, 1, f, -5
Let z(v) = 2*v**2 + 4*v + 3. Let p be z(-2). Suppose -l - 3*l = -3*i + 22, -i = -3*l - 9. Suppose p*u = -0 + i. Sort 3, 5, u in decreasing order.
5, 3, u
Let v = 21 - 107/5. Let m = -16/3 + 26/5. Put v, m, -3/8 in decreasing order.
m, -3/8, v
Suppose 4*v = 7 + 1. Let x = 16/7 - 2. Put v, x, -2/5 in decreasing order.
v, x, -2/5
Let h = -19.4 + 19. Put h, 11/2, 2/15 in increasing order.
h, 2/15, 11/2
Suppose 0 = 2*r - 4. Suppose 0 = -4*u - 0*f + f + 29, -r*f = 10. Suppose -5*x - 31 = -4*t, -x = -t + u*t - 17. Sort -1, 1, t in increasing order.
-1, 1, t
Let l be 8/(-6)*(-3)/2. Let j = 1 - l. Suppose 0 = -5*z + 25, z + 5 = -4*r - 6. Sort j, r, -3.
r, -3, j
Let y be (-1 + (3 - 0))/(-2). Sort 0, -0.1, y in ascending order.
y, -0.1, 0
Let q = -51 - -54. Put 4, q, 33, -0.2 in decreasing order.
33, 4, q, -0.2
Let w = 12 - 7. Suppose w*u - 7*u = 0. Sort u, 6, -5 in ascending order.
-5, u, 6
Let r be 10/4*(-12)/(-15). Suppose r*n + 10 = -0*q + 2*q, -q - 11 = 3*n. Put q, 3, -5 in descending order.
3, q, -5
Let l = -16 - -11. Let u = -23 + 22.5. Sort u, 2/7, l in increasing order.
l, u, 2/7
Let k be 0 - (3 + -2 - 1). Let q be (2 - k) + (3 - 0). Sort -2, -1, q.
-2, -1, q
Suppose 0 = 5*r - 3*b - 2*b + 5, 0 = r - 4*b + 10. Sort -1, r, 1, 0 in ascending order.
-1, 0, 1, r
Let s = 23 + -24. Sort s, 1, -4.
-4, s, 1
Suppose 12 = 4*r - 12. Let a = r - 7. Suppose 2*k = 4*p + 8, 0 = 3*k - 0*p - p + 3. Put 0, a, k in increasing order.
k, a, 0
Suppose -5*a - 24 = -2*x, 4*a + 5 + 5 = -3*x. Let u be (2 - -1) + -3 + 4. Put u, a, 3 in descending order.
u, 3, a
Suppose s + 3*u = 5, 7*u = 2*u + 15. Let b be 4 + -3 + s/(-2). Sort 0, 2, b in increasing order.
0, 2, b
Let p be (-95)/900 + 4/18. Let t = p - 19/20. Sort 3, t, -0.5 in descending order.
3, -0.5, t
Let o(u) = u**3 - 8*u**2 + 7*u + 9. Let v be o(7). Let m be ((-138)/(-3))/(v + -2). Let j = m - 44/7. Put -1/8, j, -2/5 in ascending order.
-2/5, -1/8, j
Let b be 3/(-12)*72/(-6). Suppose 0 = t - 3*k - 16, -5*k - 32 = 5*t - 8*t. Let s be (-4)/(-8) + (-27)/6. Put b, s, t in decreasing order.
t, b, s
Suppose -3 = -5*z + 4*q, -q = 3*z - 2*q - 6. Suppose z*x - 4 = 7*x. Put -4, 5, x in ascending order.
-4, x, 5
Suppose z + 6 = 11. Suppose -2*d - d + 4*t + 7 = 0, 0 = 5*d + 3*t + 27. Suppose 4*u + 2 + 7 = -3*c, 2*c + 6 = 4*u. Put u, d, z in descending order.
z, u, d
Let p(l) = 5*l**3 - 5*l**2 - 2*l**3 + 6*l - 2*l**3 - 3. Let a be p(4). Let f(z) = -z**3 + 12*z**2 - 12*z + 9. Let n be f(11). Sort -4, n, a in decreasing order.
a, n, -4
Let r be (-1 - -313)*14/(-6). Let d be 1646/r + (-3)/12. Let l = d - -33/14. Sort 2, 0.3, l.
l, 0.3, 2
Let x = -8 - -6. Let s = -15 + 20. Sort x, 0.1, s in ascending order.
x, 0.1, s
Let q be (-116)/(-1008) - (-2)/(-7). Let x = q + 11/28. Let p = 0.04 - -3.96. Sort x, 2/5, p.
x, 2/5, p
Let k = 61 + -61. Let r be (0 - -1) + 6/(-5). Sort r, -3, k.
-3, r, k
Let w(b) = b**2 - 2*b - 3. Let s be w(-2). Suppose -6 = -0*i - i. Let d = -3 + i. Put -4, d, s in descending order.
s, d, -4
Let b = 1 + 13. Sort b, 0, -2.
-2, 0, b
Let n be (2*((-4)/8 + -1))/1. Let a be -2*-1*4*1. Let d = a - 6. Sort d, n, 1 in increasing order.
n, 1, d
Suppose -p - 2 - 1 = -2*u, 0 = 2*u - 4*p + 6. Let l(g) = -g**3 - 5*g**2 - g + 3. Let t be l(-5). Sort u, -0.1, t in decreasing order.
t, u, -0.1
Suppose 0 = -4*w + 2*w. Suppose w - 4 = 4*b. Put b, -8, 3 in decreasing order.
3, b, -8
Suppose 0 = -p + 2*d + 7, -5*p = -d - 3*d - 11. Let n = 4/45 - 1/5. Put p, n, 0.5 in descending order.
0.5, n, p
Let j = -0.14 + 1.14. Sort 4, -0.4, 3/2, j in decreasing order.
4, 3/2, j, -0.4
Let o be ((-38)/171)/((-4)/(-6) - 0). Let d = 0.15 + -0.2. Let r = -0.25 + d. Sort r, -3, o in ascending order.
-3, o, r
Let s be (-84)/7 - -6 - -11. Let v = 3 + -1. Sort -2, s, v in ascending order.
-2, v, s
Let o(v) = v**2 - 7*v - 10. Let z be o(10). Let w = 0.64 + -0.14. Put z, w, -2 in increasing order.
-2, w, z
Let t be 4/18 + 48/(-54). Sort t, -2/11, 0.
t, -2/11, 0
Let y = 3.8 - 4. Let z = 0.2 - y. Put -3, 3, z in increasing order.
-3, z, 3
Suppose 0*m - 3*j = 5*m - 80, -3*j = -15. Let u = m - 115/9. Sort -0.5, -3, u in descending order.
u, -0.5, -3
Let m be ((-6)/45)/(2/(-6)). Sort m, 2/3, 0.1 in increasing order.
0.1, m, 2/3
Suppose d + 0*d + 27 = -5*v, 0 = -5*d + 4*v + 10. Let q be (d - -2)/(-2 + 3). Suppose o = -5*y - 17, q*o = 3*o + 3*y + 3. Put o, 2, 5 in increasing order.
2, o, 5
Let l = -10 + 10. Let f = 5 + 1. Let j(g) = g - 3. Let s be j(f). Sort l, s, 4.
l, s, 4
Suppose 80 = u + 4*u. Suppose u = -3*b + 4. Put 1, b, -1 in decreasing order.
1, -1, b
Suppose -3*x = -0*x. Suppose x = b + 4*b + j - 7, 3*j - 6 = 0. Sort b, 4, -4 in descending order.
4, b, -4
Let m = 2 - 1. Let k = -0.52 + 4.52. Sort k, -1/4, m.
-1/4, m, k
Suppose 39*q - 24 = 35*q. Sort -5, q, 5 in decreasing order.
q, 5, -5
Let f(z) = z**2 + 2*z + 4. Let a be f(-3). Let h = a - 2. Sort 4, -4, h in decreasing order.
h, 4, -4
Let l(s) = s**3 - 3*s**2 - 4*s + 1. Let a(x) = x**3 - 4*x**2 - 4*x + 2. Let w be 2/((-1)/(1/1)). Let j(c) = w*a(c) + 3*l(c). Let m be j(3). Sort 2, m, -0.3.
-0.3, 2, m
Let v(i) = i**2 - 18*i - 2. Let c be v(18). Sort 5, 3, c.
c, 3, 5
Let t(j) = j + 2. Let a be t(-3). Let b = 10 + -5. Let m = -12 + 7. Sort m, b, a.
m, a, b
Let r = -57/34 + -14/17. Sort 3/7, 4, r.
r, 3/7, 4
Let p = 4 + 1. Suppose -p = -0*r + r - 2*z, 25 = -5*r - 2*z. Let c(b) = -b**3 + 6*b**2 - 6*b + 6. Let n be c(5). Sort n, 3, r in descending order.
3, n, r
Suppose -a - 5*c - 18 = 0, 4*c + 26 = 7*a - 2*a. Put -4, 0, a in increasing order.
-4, 0, a
Let j = -0.39 - -0.4. Let m = j - -0.49. Sort 0, -0.1, m.
-0.1, 0, m
Let d = -5 - -3. Let n = -2.2 - 0.2. Let c = d 