a, -4
Suppose 0 = -9*f - 19 - 17. Sort -1, f, 6 in increasing order.
f, -1, 6
Suppose -3*q - k = -2*k - 8, k - 10 = -3*q. Suppose q*v - 7*v = 4. Put -5, v, 4 in descending order.
4, v, -5
Let k be 100/36 - 5/((-135)/6). Sort k, -2, 0 in increasing order.
-2, 0, k
Let k = -1624/9053 - 2/823. Sort -3/2, k, -2/17 in ascending order.
-3/2, k, -2/17
Suppose 2 + 3 = 5*j. Sort -0.2, j, -3 in ascending order.
-3, -0.2, j
Let i be (-10)/(-4)*(2 - (-46)/(-20)). Let k = 0.29 - -0.01. Sort i, k, 3 in increasing order.
i, k, 3
Let d be (-40)/16*6/(-5). Suppose -11 = -4*n - 3*w - 3, 2 = -2*n - d*w. Put 2, -4, n in descending order.
n, 2, -4
Let d(v) = v**3 + 10*v**2. Let k be d(-10). Sort -4, 5, k in increasing order.
-4, k, 5
Let w = 29 - 24. Suppose 7 + 1 = 4*o. Put w, o, -5 in decreasing order.
w, o, -5
Suppose 3*f + 26 = -4*j, -2*j + 5*j = -5*f - 14. Let d be j/4*(-3)/2. Sort d, -2, -3 in decreasing order.
d, -2, -3
Suppose 4*t + 2*l = 2, t + 3*l + 15 = 4*t. Let o be (0/(-1))/(1*-2). Suppose 0 = -2*k + k + 4. Put t, o, k in increasing order.
o, t, k
Let p = -7 - -18. Let m = p + -14. Put 1, -2, m in ascending order.
m, -2, 1
Suppose 0 = -5*r + 3*v + 5, 2*r - 4*r = 4*v - 2. Let p = -4 + 1. Suppose 5*u = -4*x + 34, -5*u - 23 + 3 = -5*x. Sort p, x, r in increasing order.
p, r, x
Let a = -0.121 - -0.021. Sort a, 1, 0.01 in increasing order.
a, 0.01, 1
Let s = 11 + -8. Suppose s = -4*t + 3*t. Let k be (-39)/(-6) - (-6)/(-4). Sort 3, t, k in ascending order.
t, 3, k
Let v be ((-2)/(-10))/((-4)/16). Suppose 4*a - 20 = 2*g, a + 5 = -5*g - 1. Put 2/3, v, g in descending order.
2/3, v, g
Let o(g) = g**2 - 4*g + 1. Let l be o(4). Suppose 4*q + y + 16 = l, y = q + 5. Sort 0, q, 5 in descending order.
5, 0, q
Let a = -2 + -3. Suppose -4*i + 19 - 7 = 0. Suppose 5 = -i*u + 17. Put a, u, -2 in ascending order.
a, -2, u
Let t(l) = -13*l**3 - l. Let y be t(1). Let x = -156/11 - y. Let q = -0.27 - -0.37. Sort x, -3, q in increasing order.
-3, x, q
Let j = 5/8 - 29/72. Let w = 0.1 - -0.3. Sort 1, j, w in descending order.
1, w, j
Let q = 2.06 - 0.06. Let p = 2.1 - q. Let v = -1.84 - 0.16. Put v, 0.3, p in ascending order.
v, p, 0.3
Let l be 9/2*(-8)/12. Sort l, 4, 0 in increasing order.
l, 0, 4
Let b be 4/60*(-30)/(-9). Sort 4, -1/2, b, 3 in descending order.
4, 3, b, -1/2
Let h be (-15)/28 + (-4)/(-16). Let z = 0.8 - 0.3. Let b = -0.3 - 0.2. Put b, z, h in increasing order.
b, h, z
Let t = -2/83 + 419/166. Put t, 2/11, 0.3 in decreasing order.
t, 0.3, 2/11
Let g be 18/63 - (-46)/(-14). Put 5, 1/3, g, 0.5 in decreasing order.
5, 0.5, 1/3, g
Let q = -10 - -8. Sort 9, q, 1 in decreasing order.
9, 1, q
Suppose -7*q = -2*q - 15. Suppose -2*u = -q + 1. Let b be u + 3 - (1 - 1). Put b, 3, -1 in ascending order.
-1, 3, b
Let d(q) = q**2 - 8*q - 2. Let m be d(4). Let h be 40/m + 1 + 1. Put 3, h, -3/5 in ascending order.
-3/5, h, 3
Let c(d) = d**2 + 2*d - 3. Let t be c(2). Let j(m) = -m**2 + 4*m + 2. Suppose 4*v = -y - 12, 4*y + v - 28 = 4*v. Let o be j(y). Put o, 4, t in descending order.
t, 4, o
Let n be 1/(-5) + (-54)/(-45). Let l = -1.97 - -2. Sort -2, n, l in ascending order.
-2, l, n
Suppose 3*i + 4*c = 3*c + 6, 0 = 2*i - 2*c - 12. Sort i, -3, -9.
-9, -3, i
Suppose 17 = -2*h - 49. Let l be 2/h*6/(-2). Let y(c) = -3*c - 17. Let o be y(-4). Put -4/3, o, l in increasing order.
o, -4/3, l
Let g(c) = c**2 + c - 2. Suppose -t + 1 = 3*a, -t - 2 = -5*a - 3. Let z = a + -2. Let p be g(z). Put -1, 5, p in ascending order.
-1, p, 5
Let g be (-26)/70 + 4/7. Put -10, -4, g in decreasing order.
g, -4, -10
Suppose 3 = -n - 6. Let o = -7 - n. Suppose 3*f + o = -4. Put f, 3, 1 in descending order.
3, 1, f
Let b = 0.17 - 0.47. Let d = -5579444697/1156 - -4826508. Let f = -1/289 - d. Sort -3, f, b in ascending order.
-3, b, f
Let i(q) = -q + 2. Let y be i(2). Let m = 2 - 0. Suppose -22 + m = 4*z. Put -2, z, y in descending order.
y, -2, z
Let r = 0.8 - 1.3. Let f(c) = c**2 + 3*c - 1. Let g be f(-3). Put -5, r, g in descending order.
r, g, -5
Let x be 10/(-8) + (-1)/(-4). Let u = 3249/6017 + 3/547. Put u, 1/6, x in decreasing order.
u, 1/6, x
Let d = 3 - 4. Let p = -20 + 16. Sort d, p, 7 in descending order.
7, d, p
Let f = -69 - -344/5. Suppose 9*r = 26 + 1. Put 2, f, r in increasing order.
f, 2, r
Let u = 1.9 - 2. Let o = -2 + 1.51. Let q = o + -0.01. Sort 4, q, u in decreasing order.
4, u, q
Let m = -49 + 49. Put 5, -4, m, 0.3 in ascending order.
-4, m, 0.3, 5
Let o(l) = -2*l + 7. Let x be o(6). Suppose g - 48 = -3*g. Suppose -3*u = -0*u + g. Sort u, 4, x in decreasing order.
4, u, x
Let u be (-7)/42*(-3)/(-2). Sort -5, u, 0.1 in decreasing order.
0.1, u, -5
Let i = 95 + -98. Sort -4, -8, i.
-8, -4, i
Suppose -3*f = -4*k + k - 3, -5*f = -20. Suppose -6*j + 2 = -4. Sort k, j, -4 in increasing order.
-4, j, k
Suppose -6*w + 24 = 24. Put w, -1, 21, -4 in decreasing order.
21, w, -1, -4
Let k = 8 + 14. Let a be k/(-4) - 3/(-6). Sort 2, a, 4 in increasing order.
a, 2, 4
Let i = -38 + 41. Suppose x + h + 4 = 0, 12 = -3*x - 0*h - 2*h. Put i, x, 1 in increasing order.
x, 1, i
Suppose g - k = 3*k - 12, 8 = -4*g - 4*k. Sort g, 5/6, 2/11 in decreasing order.
5/6, 2/11, g
Let k be 1868/8*4/(-14). Let s = -67 - k. Put 2, -1/4, s in descending order.
2, -1/4, s
Let w = -0.019 - -3.019. Put 30, -3, w in decreasing order.
30, w, -3
Let p = 174 - 873/5. Put -1, -0.5, 0.5, p in decreasing order.
0.5, -0.5, p, -1
Let c = 31/216 + -1/54. Let u = -0.2 - -1.2. Sort -0.4, c, u in ascending order.
-0.4, c, u
Let u = 12 + -7. Suppose 2*b - 7 = -4*r + u*b, 3*b = 5*r - 8. Let k(o) = -o**3 - 5*o**2 + 6*o + 5. Let x be k(-6). Put r, x, 3 in decreasing order.
x, 3, r
Let a be -10*(10/4 - 2). Let h = 6 - 3. Put a, 2/7, h in increasing order.
a, 2/7, h
Suppose -v - 2*q - 3 = 0, q - 3*q = -v - 7. Sort 4, v, -1, -12.
-12, v, -1, 4
Let c = -157 + 154. Put c, -4, 12 in decreasing order.
12, c, -4
Let n(q) = 2*q + 36. Let i be n(-20). Suppose t + t + 2*b = -10, -20 = 4*t - b. Put i, t, 3 in increasing order.
t, i, 3
Let a be 8/4 - (2 - 2). Suppose p = 3*y - p + 17, -y + a*p = 11. Sort y, 2, -4 in ascending order.
-4, y, 2
Let c = 46/85 + -16/17. Let t = 95/4 + -23. Put -3, t, c in decreasing order.
t, c, -3
Let o = -0.93 + 0.03. Let d = -1 - o. Let s = 237 + -3553/15. Sort d, 0, s in increasing order.
d, 0, s
Suppose -u + 0*u - 3 = -o, -5*u - 27 = o. Sort -5, o, -4, 4 in increasing order.
-5, -4, o, 4
Let o = 10 + -8. Let t be 8*(2 + (-3)/o). Suppose q = -3, -2*k - t*q = -3*k + 9. Put -0.2, 3, k in descending order.
3, -0.2, k
Let c be 0 + 2 + 2 + -1. Let b = c + -4. Let i = b + 4. Put -3, -1, i in decreasing order.
i, -1, -3
Suppose 2*a - 9 = -11. Sort a, 1, -4 in decreasing order.
1, a, -4
Let u be (-24)/(-112)*548/202. Let t = u + -1/101. Sort t, 2, -5 in descending order.
2, t, -5
Let h = -17 - -17.5. Sort h, -1/4, 4 in descending order.
4, h, -1/4
Let k(l) = l**2 + 11*l - 4. Let c be k(-11). Let q = 13 - 9. Sort c, 2, q in descending order.
q, 2, c
Let x(b) = -5*b - 13. Let a be x(-4). Suppose 5*j - 4 = 16. Put a, 0, j in descending order.
a, j, 0
Suppose -2*j = 1 + 9. Let y be 2 - (-2)/(-4)*0. Put y, -1, j in increasing order.
j, -1, y
Suppose 3*l = 14 - 2, -5*l = -4*g - 32. Let j be (2 - 1)/(2 + g). Sort 3, j, 4/7 in ascending order.
j, 4/7, 3
Suppose 0*y - 2 = 2*y. Let r be (-4)/(-10) + (y - -1). Let s = -5 - 0. Put 2, r, s in increasing order.
s, r, 2
Suppose 5*s - u = -2*u + 20, 5*s = 5*u - 10. Sort -10, s, 2 in decreasing order.
s, 2, -10
Let a = -0.1 + 0.3. Suppose 0 = -4*n - 3*p, -n + 8 = -p + 1. Sort n, a, 3/5.
a, 3/5, n
Let n be (2/(-4)*-16)/(-1). Let k = 4 - 5. Put k, n, -5 in decreasing order.
k, -5, n
Suppose 5*g = 2*v + 55, -115 + 32 = 4*v - g. Let d = v + 11. Let t be 6/8 - d/(-28). Sort 0.5, 1, t in decreasing order.
1, 0.5, t
Let f = 0.9 + 0.1. Let l = 99 - 105. Let m = l + f. Sort 2/7, m, 0.4.
m, 2/7, 0.4
Suppose 3*t - 16 = t. Suppose 2*z + 2*x + 16 = 0, -3*z - t = z - 4*x. Put z, 4, -3 in decreasing order.
4, -3, z
Suppose 0 = -2*b - 5 + 1. Let g be -2 + 2*3/2. Suppose 0*h = h - 2. Put g, b, h in decreasing order.
h, g, b
Let q be (-2)/(-1) + 3/(-1). Let w = 5 - 4. Put q, w, -2 in increasing order.
-2, q, w
Let q = -2 + 6. Let f be 1/9*(-39)/26. Sort q, 4/3, f.
f, 4/3, q
Let k = 7 + -9. Sort 0, 5, k 