 -1, d
Let y = 4.5 + -4. Let t = y + 0.5. Let i = t + -4. Put -5, i, -4 in decreasing order.
i, -4, -5
Suppose 3*f = -f + 12. Suppose -3*k + 5*m + 42 = 0, m - f*m = -3*k + 33. Suppose -11 - k = -5*h. Sort -3, h, -4 in increasing order.
-4, -3, h
Let q be 1 - 1 - 5/(-15). Let w = 58 + -54. Put q, -0.5, w in decreasing order.
w, q, -0.5
Let u = 14 - 25/2. Let b = 8 + -5. Sort u, b, -2 in increasing order.
-2, u, b
Let x(q) = 2*q**2 + 37*q + 106. Let f be x(-15). Let d = 0 + 6. Suppose 0*s + 3*s + d = 0. Put 2, f, s in decreasing order.
2, f, s
Let m = 0.1 + 1.9. Put m, 1, -1 in descending order.
m, 1, -1
Let f = -19 + 16. Let p = f + -3. Sort -2/5, 2, p in decreasing order.
2, -2/5, p
Suppose 0 = s - 5, 5*n + 2*s = 2*n + 13. Put 2, n, -2 in decreasing order.
2, n, -2
Let v be 26/6 - (-1)/(-3). Let u = v + -7. Let q = -29 - -27. Put u, q, 0 in increasing order.
u, q, 0
Let c be (4/(-10))/(14/(-420)). Suppose 6*x = 2*x - c. Put 1, x, -1 in decreasing order.
1, -1, x
Let q = 4.6 - 5. Let t = 0.01 - -0.39. Sort 0.3, t, q.
q, 0.3, t
Suppose -2*l + 20 = -6*l. Let m = 1 + 0. Put -3, m, l in decreasing order.
m, -3, l
Let t = -2.4 - -2.4. Put t, 0.5, -1 in ascending order.
-1, t, 0.5
Let t be 20/(-35)*1/(-4). Let q = -27/152 + 1/19. Put q, t, -0.3 in ascending order.
-0.3, q, t
Suppose -2*z - 2*z = -40. Let x = 5 - z. Let g(b) = -b - 4. Let c be g(-5). Sort x, -3, c.
x, -3, c
Let k(f) = f - 5. Let b be k(3). Let o be (b + (-27)/(-15))*1. Sort -3/4, o, 0.
-3/4, o, 0
Let n = -3 - -4. Let o be ((-686)/20)/((-4)/(-10)). Let x = -85 - o. Sort x, n, -4/5.
-4/5, x, n
Suppose 16 = -6*f + 4. Sort 0.3, f, -7 in descending order.
0.3, f, -7
Suppose -12 = -7*b + 4*b. Put 1, -2, b in decreasing order.
b, 1, -2
Suppose 3*t + 7292 = -4*j, -2*t + 3*j - j = 4880. Let r = 382454/157 + t. Let v = r - -147/785. Put -1, -3, v in decreasing order.
v, -1, -3
Let q be (-2)/(-5) + (-72)/5. Let g be 14/4*(-8)/q. Put g, -1, 3/5 in decreasing order.
g, 3/5, -1
Let g(z) = -z**3 + 7*z**2 - 7*z + 6. Let d be g(6). Let s = 16 - 32. Let f = 21 + s. Put f, 4, d in descending order.
f, 4, d
Let u be 8/((-40)/(-15)) - 2*4. Sort 3, -1, 0, u in decreasing order.
3, 0, -1, u
Suppose 8*a - 15 = 3*a. Let w = -26 - -26. Put 2, w, a in descending order.
a, 2, w
Let t = -15 - -21. Suppose -t*h + 10 = -h. Sort 5/4, h, -2/3.
-2/3, 5/4, h
Suppose -4*q = 4*a + 16, 4*q = -3 - 9. Let h be a/(-4) + 3/(-12). Suppose i - 5 = -p, 4*i + 5*p - 14 - 9 = 0. Put 5, h, i in increasing order.
h, i, 5
Suppose -1 = 3*c - 7. Let o(b) = -b**2 + 5*b - 2. Let x be o(c). Sort x, 1, -5 in decreasing order.
x, 1, -5
Let z(d) = -4*d - 44. Let x be z(-10). Sort -2, 6, x, -1 in descending order.
6, -1, -2, x
Let p = -3 - -6. Let w be 2 + 1 + 3/3. Let m = w - 4. Sort p, -3, m in decreasing order.
p, m, -3
Let l(t) = 2*t**2 - 11*t + 7. Let v be l(5). Put v, 0, -5, -2 in decreasing order.
v, 0, -2, -5
Let s = 2 + 3. Let v = s + -8. Suppose -4*q + 5 = h, -1 = -5*q + 3*h + h. Put -2, v, q in ascending order.
v, -2, q
Let g = -93.9 + 94. Put 4, 0.4, g in decreasing order.
4, 0.4, g
Let a(k) = -k**2 - 4*k - 1. Let c be 1/((-2)/8) - -1. Let j be a(c). Sort -2, 3, j in increasing order.
-2, j, 3
Let u(h) = 7*h**2 - 5*h - 4. Let g(n) = 4*n**2 - 2*n - 2. Let l(i) = 5*g(i) - 3*u(i). Let d be l(5). Let c = 7 - 9. Sort c, 5, d in descending order.
5, d, c
Let j = -0.2 + 0.3. Suppose 4*k = 15 - 3. Let q be (2 + 0)*4/(-52). Sort j, k, q.
q, j, k
Suppose 0 = -18*o + 9*o + 72. Sort -3, 2, o, -2 in descending order.
o, 2, -2, -3
Let x(a) = -a**3 + 2*a**2 + 2*a + 3. Suppose 8*f = -3*n + 4*f, -4*n = -f - 19. Suppose -n*c - 8 = -20. Let g be x(c). Put 4, g, 3 in decreasing order.
4, 3, g
Suppose 3*g + 2*c - c = 7, -7 = -g - 5*c. Suppose y + g*y - 9 = 0. Suppose -4*o = -5*f + 25, 3*o - 2*o = 5*f - 25. Put y, o, -5 in increasing order.
-5, o, y
Suppose s - 3 = -2. Put -3, 2, s in ascending order.
-3, s, 2
Suppose -q - 5 = 0, -3*v - 5*q - 27 = -2*v. Let x be 1/(v/2*1). Sort x, 2, -4 in descending order.
2, x, -4
Suppose -6*d + 4*d = 5*a + 15, 4*d = 5*a - 15. Sort -2, -4, d, -3 in increasing order.
d, -4, -3, -2
Let x(y) = -y**3 - 2*y**2 + 5*y - 3. Let j(s) = -s**2. Let r(d) = 3*j(d) - x(d). Let p be r(3). Let k(w) = w**2 - 5*w - 7. Let a be k(p). Sort a, 5, -2.
-2, a, 5
Let s = -11.8 + 11. Let c = -0.85 - s. Sort -4, -2/7, c in decreasing order.
c, -2/7, -4
Let s be -2*(2 + (-9)/2). Suppose v + 4*v - 170 = 0. Suppose -s*t + 3*x + v = 0, 1 + 2 = -x. Sort t, 1, 0.
0, 1, t
Let t be 5/6 + (-15)/(-30). Sort 0.4, t, 1, -0.4 in increasing order.
-0.4, 0.4, 1, t
Let l = 1.4 + -1.51. Let w = -0.19 + l. Sort 8, -1/4, w in decreasing order.
8, -1/4, w
Let c = -3 - -7. Sort -3, 0, c in descending order.
c, 0, -3
Let h be (1 - (-2)/(-5)) + (-279)/315. Sort 0.3, 2, 13, h.
h, 0.3, 2, 13
Let o = 1.1 + -5.1. Let v = -0.8 - -2.8. Let j = o + v. Put -5, j, 1 in descending order.
1, j, -5
Let b = 0.104 + -2.104. Sort b, -0.5, -0.4, 10 in ascending order.
b, -0.5, -0.4, 10
Suppose -4*v = f + 4*f - 12, f = v - 3. Suppose 3 = -f*l + 3*l. Let q be 2/(2*(-2)/(-10)). Put l, q, 2 in descending order.
q, 2, l
Suppose 5*j - 25 = 4*d, 3*d = 3*j + 4*d - 32. Let t = j + -5. Let y = 694/11 + -63. Sort t, y, -1/4 in increasing order.
-1/4, y, t
Let h = 5 + -3. Let i be (-7)/((-392)/208) + 2/7. Sort h, 1, i in ascending order.
1, h, i
Suppose -5*f + 6*f + 4*z = -5, 3*f + 4*z - 9 = 0. Suppose -2*k + f*k - 15 = 0. Sort -2, k, 5 in descending order.
5, k, -2
Let n = -0.455 + 0.035. Let r = 1 + -1.02. Let s = n - r. Sort 1, -0.5, s.
-0.5, s, 1
Suppose 27 = -9*g + 72. Sort g, -5, 2/17.
-5, 2/17, g
Let r be ((-3)/(-2))/(12/40). Let o = -0.8 - -5. Let n = 0.2 - o. Sort r, -3, n in descending order.
r, -3, n
Let k be 1*3/((-3)/2). Let n be (-2)/(-4) + 3/k. Let a(q) = -q**3 + 2*q**2 - q + 2. Let y be a(2). Sort y, 3, n.
n, y, 3
Let c = 5 + -7. Let t = 4 - 2. Let n = 3 + t. Sort -4, n, c in decreasing order.
n, c, -4
Suppose 1 = -3*j + 7. Suppose 4*r - j*r = 2. Suppose -4*i + 3*w - 6 = 0, 3*w = 3 + 3. Put i, -1, r in decreasing order.
r, i, -1
Let d be (12/(-96))/((-2)/12). Sort d, -26, -4, -3.
-26, -4, -3, d
Let c = -5.203 - -0.003. Let z = c + -1.3. Let d = z + 6. Sort -5, 1, d in descending order.
1, d, -5
Let n = 1.2 + -1. Let d = -5.2 + n. Put d, 5, -3 in decreasing order.
5, -3, d
Let p = 9 + -14. Let m(q) = q**3 - 5*q**2 - 6*q - 1. Let u be m(6). Let t be (4 + u)/(-3) - -6. Sort t, p, -4.
p, -4, t
Let r = 56 - 52. Sort -4/9, 2, r.
-4/9, 2, r
Let g = 4 - 4. Suppose -z + 2*z = g. Put z, -5, 1 in descending order.
1, z, -5
Let k = -1.7 - -1.4. Put 0.5, k, 2/5 in ascending order.
k, 2/5, 0.5
Let z(i) = 4*i + 33. Let v be z(-8). Put -0.8, 4, v in ascending order.
-0.8, v, 4
Let l(u) = -2*u - 5. Let g be l(-6). Let t = -10 + g. Sort t, 2, -5 in ascending order.
-5, t, 2
Let j = 0.3 + -0.5. Suppose -2*y - 9 = y. Let w = 6 + y. Sort 0, w, j in ascending order.
j, 0, w
Let p = -0.5 - 1.5. Let y = -0.1 + 1.1. Put y, -2/11, p in decreasing order.
y, -2/11, p
Suppose 0 = -3*a + w - 2*w + 12, 0 = -5*a - 5*w + 30. Let x be (-2)/(a*2/(-3)). Sort 5, x, -2 in ascending order.
-2, x, 5
Let g be 48/(-14) - (-3)/1. Put -0.5, 0, -5, g in ascending order.
-5, -0.5, g, 0
Let j be (-308)/99 + 1/9. Put -4, j, 3 in decreasing order.
3, j, -4
Let k = 0.25 - -0.05. Let q be 2*(4 - 2) + -2. Put k, -0.5, q in decreasing order.
q, k, -0.5
Suppose -2*d + 13 - 15 = 0. Sort 0, 2, d in increasing order.
d, 0, 2
Let g = 3 - 2. Let d be 7/(-35) - (-18)/(-10). Sort -5, g, d in decreasing order.
g, d, -5
Let s(g) = g + 2. Let z be s(-1). Suppose z = -3*t + 25. Suppose 0*j - t = 2*j. Sort -3, j, 5 in increasing order.
j, -3, 5
Suppose 31 = 4*x + q + 10, -5*x = q - 26. Suppose -x*a - 28 = -8. Suppose 0 = 5*r + 6 - 1. Sort 0, a, r.
a, r, 0
Suppose -3*u - 23 = -5*h + 6, 5*h + 4*u - 8 = 0. Let v be (-1)/(((-2)/1)/h). Let b = 0 + 3. Put v, -4, b in descending order.
b, v, -4
Let p = 2 + -3. Let b = -0.45 - -0.4. Let l = 1.05 + b. Sort p, l, 5/2 in descending order.
5/2, l, p
Let j = 3 + 1. Sort j, -2, -3 in ascending order.
-3, -2, j
Let y be ((-3)/(-27))/((-2)/(-3758)). Let b = -209 + y. Put b, 4, -0.4 in ascending order.
-0.4, b, 4
Let c = 68 + -44. Put 0, 3, -1, c in decreasing order.
c, 3, 0, -1
Let q = -2/35 - -23/35. Le