 10 - 12. Sort 1, u, 4, n.
u, 1, n, 4
Let s = -3 - -3.2. Let x = 1615/6 - 11293/42. Sort x, s, -2/9 in decreasing order.
x, s, -2/9
Suppose 0 = -3*g + 19*g - 64. Let i = 0.01 + -3.01. Sort -5, i, 8, g in descending order.
8, g, i, -5
Suppose -4*h + 124 = 40. Suppose 0 = -3*q + 5*i - 13, 2*q - i = 6*q - h. Suppose 1 = q*k - 7. Sort 0, -2, k.
-2, 0, k
Let k = -1044 + 1048. Sort -8, k, 0 in increasing order.
-8, 0, k
Let y = -6.135 - -0.035. Let n = y + 6. Let v = 0 - n. Sort v, -7, 2/19 in increasing order.
-7, v, 2/19
Let x(z) = -26*z + 99. Let r be x(4). Sort 15, r, 1, -2 in increasing order.
r, -2, 1, 15
Let d be (32/12 - -1)*-9. Let y be ((-20)/6)/((-22)/d). Sort y, 3, -2 in descending order.
3, -2, y
Let p be 2/(-2) - (-6)/10. Let s = -412 + 411.9. Sort s, 0, p.
p, s, 0
Let p(q) = 2*q - 1. Let m be p(-2). Let y(l) = -16*l**2 + 114*l - 11. Let n be y(7). Sort m, n, 5 in descending order.
5, n, m
Suppose 10*i - 72 = i. Let v(o) = o**3 - 7*o**2 - 7*o - 7. Let w be v(i). Let u = 15 - 11. Sort u, 3, w in increasing order.
w, 3, u
Let b be -19*(-5)/(15/6) - -2. Suppose 0 = -i + b - 44. Let q be (1 - -1)/(-1) - -6. Sort q, i, -5 in decreasing order.
q, i, -5
Let w(a) = -a**3 + 26*a**2 + 15*a + 7. Let p(j) = -j**3 + 25*j**2 + 16*j + 6. Let q(f) = -6*p(f) + 5*w(f). Let n be q(21). Sort n, 1, 29 in descending order.
29, 1, n
Let t be 2/9 - (-915)/702. Let j = t - 22/13. Let q = 6 - 6.3. Sort q, 0.5, j in ascending order.
q, j, 0.5
Let p be (-4)/(-8)*(12 - 2). Suppose 4*w - 15 = 9. Put 1, p, w in ascending order.
1, p, w
Let t be (-5 - 18/(-3))*-3. Let g = -41 - -25. Put t, g, 3 in descending order.
3, t, g
Let m be (4/(-30)*6)/(1/(-5)). Put -9, m, 2 in ascending order.
-9, 2, m
Let a(c) = c**2 - 7*c + 7. Let h be a(6). Let v = -1.9 + 1.65. Let o = 0.15 - v. Sort o, -3/2, h in decreasing order.
h, o, -3/2
Suppose 5*z - 25 = 0, 5*w = 2*z - 3*z - 15. Let q be (-1)/(0 + w/56). Let j = q - 11. Put 5, -2, j in decreasing order.
5, j, -2
Let r = -0.7 - -0.56. Let s = 1.6 + -1.54. Let q = r - s. Put -3, -0.4, q in decreasing order.
q, -0.4, -3
Suppose 2*x + 17 = 5*v, 0*v - 2*x - 2 = -2*v. Put 3, v, -5, -6 in descending order.
v, 3, -5, -6
Let s = 2179.1 + -2179. Put -1/2, s, 5/4 in ascending order.
-1/2, s, 5/4
Suppose 12 = -0*x - x. Let d(c) = c**2 + 3*c + 6. Let k be d(-5). Let m = x + k. Sort -4, m, -1/6.
-4, -1/6, m
Let s be (1 - -2)/(9 + -2). Suppose 2*y = 3*l + 9, 3*l - l - 3*y = -1. Let n(d) = d**2 + 4*d - 7. Let a be n(l). Put a, s, -5/2 in descending order.
s, a, -5/2
Let y be (-46)/(-10) - -4*(-2)/(-20). Let q(x) = -x**2 + 6*x - 5. Let t be q(5). Suppose t = 4*d - 8. Put d, 0, y in decreasing order.
y, d, 0
Let u be (14/10 + -1)*10. Suppose -11*q = -8*q - 12. Suppose 0 = 2*z - q*l - 4, 0 = -4*z - 3*l - 5 + 13. Sort -2, u, z in decreasing order.
u, z, -2
Let f be (-12)/30 - 51/(-15). Sort f, -0.2, 6/5, 1/2 in descending order.
f, 6/5, 1/2, -0.2
Let d(l) = -l**3 + 5*l**2 + 2*l - 7. Let c be d(5). Suppose -96*t = -91*t + n + 11, -t = 2*n - 5. Put c, -4, t in ascending order.
-4, t, c
Let s = -1.43 - -0.43. Let w(z) = z. Let r be w(0). Suppose r = 2*a - 7*a. Put 4, s, a in increasing order.
s, a, 4
Let s = 0.31 + 0.09. Let d = 119 + -601/5. Put d, 0, s in increasing order.
d, 0, s
Let c = -0.9 - -1. Let a be 3 + (-4)/12*8. Sort 0.15, c, a in ascending order.
c, 0.15, a
Let y(a) = a - 9. Let i be y(7). Let x(u) = u - 13. Let d be x(15). Let s be 4/(d - (2 - 1)). Sort s, 2, i.
i, 2, s
Let b = 455 + -450. Put -753, 1, b in increasing order.
-753, 1, b
Let k = -11/6 + 7/3. Let c = -23.887 + 26.887. Put k, c, 5, 0.2 in decreasing order.
5, c, k, 0.2
Suppose -949 = 5*p + 491. Let x be ((-3)/7)/(-1) + p/(-63). Sort x, 7, 0, -4.
-4, 0, x, 7
Suppose -3*h - i - 4*i = 0, i = -2*h + 7. Suppose -20 = -h*q, -4*q = -4*r - r - 41. Put 0, -1, r in increasing order.
r, -1, 0
Let x be 11/(-6) - (-14)/(-84). Let o be x/(-12)*4 - 44/12. Sort o, 4, -5 in descending order.
4, o, -5
Suppose -110*g = -109*g - 10. Let k(b) = b - 12. Let q be k(g). Put q, -1, 1 in increasing order.
q, -1, 1
Let h = 484/21 - 23. Sort 5, h, 0.1.
h, 0.1, 5
Suppose -6*c - 18 = -9*c. Let r(n) = n**2 - 6*n - 4. Let a be r(c). Let w be 0 - (3 + a - -1). Sort w, 5, 2 in descending order.
5, 2, w
Suppose 0 = -0*h - h + 3. Let x = -30 - -34. Let b be 0 + x + -2 + -3. Sort h, -2, b in descending order.
h, b, -2
Let l = -310 + 308. Sort -30, l, -2/9 in decreasing order.
-2/9, l, -30
Suppose 29*k + 5 = 24*k, -2*z = k + 13. Sort -1, z, -13 in decreasing order.
-1, z, -13
Suppose -17*x - 16 = 1. Sort 1, x, 5 in decreasing order.
5, 1, x
Let b be (-28)/6 + 15/9. Sort b, -0.2, 0, -1/2 in ascending order.
b, -1/2, -0.2, 0
Suppose -173 = 45*t + 52. Let a be 6/8 + (-13)/(-4). Suppose 0*b - 2 = -2*b + 3*z, -a*z = 0. Sort t, b, 1/6 in increasing order.
t, 1/6, b
Let h = -0.307 - -2.307. Let d = -0.1 - 0.9. Put d, 4, h in decreasing order.
4, h, d
Let k(x) = -12*x - 2. Let l be k(-1). Suppose -4*f + l = -6. Sort f, 7, -0.1.
-0.1, f, 7
Suppose -148*w + 68 = -182*w. Suppose -2*a - 1 = -5. Let s(v) = v**3 + 4*v**2 + 3*v + 4. Let m be s(-3). Sort a, m, w in decreasing order.
m, a, w
Let r be 5*-1 - (2 + -4). Sort 4, r, 2.9 in increasing order.
r, 2.9, 4
Suppose -6*z + 42 = -84. Let n be 0 - (-6)/z - 20/(-28). Sort -4, -3, n.
-4, -3, n
Suppose 7*q = 11*q - 8. Suppose g - 18 = -q*d - d, d + 5 = 0. Suppose 0 = 5*u + 8 - g. Sort u, -1, 0.5 in descending order.
u, 0.5, -1
Suppose 4*h - 10 = -6. Suppose -79 = -4*z - 31. Suppose 3*q + 4 = 4*j - 0*q, -j - 2*q = -z. Put j, 5, h in decreasing order.
5, j, h
Let g = 255 + -253. Sort g, 2.8, 3/4 in increasing order.
3/4, g, 2.8
Let s = -132 - -132.295. Let w = s - -0.005. Sort w, 0.03, 3/5, -0.3 in ascending order.
-0.3, 0.03, w, 3/5
Let r = -142 - -141.596. Let n = r + 0.004. Sort -1/3, 2/7, -0.3, n in increasing order.
n, -1/3, -0.3, 2/7
Let d = -0.12 + 0.22. Let g = -0.3 + 1.3. Let v be (-2)/(-16) + -1*132/544. Sort g, v, d in decreasing order.
g, d, v
Let u = 250 - 177. Let j = u + -69. Let n = 416/3247 - 2/191. Sort n, 0.2, j in increasing order.
n, 0.2, j
Let h be 32 + (2 - (-1)/(-1)). Let i = -37 + h. Sort -0.3, i, -20.
-20, i, -0.3
Let q = 2/985 - 991/2955. Let r = -12 - -7. Sort -3/5, 2/13, q, r in descending order.
2/13, q, -3/5, r
Let u be (-4 + 2)*3/(9/6). Suppose 3*k + k = 0. Sort -0.5, k, 2/9, u in decreasing order.
2/9, k, -0.5, u
Suppose 4*y + v = 49, -3 + 67 = 5*y + 4*v. Suppose -3*f + 5*r - y = 0, -5*f - 3*r = -11 - 3. Put 0, 10, f in decreasing order.
10, f, 0
Suppose 0 = -5*s + 3*y - 3, 0 = -21*s + 18*s + 2*y - 1. Let i = -2 + 1. Sort s, i, -7.
-7, s, i
Let b be -2 + 0 - (0 - -8). Let x be (-4)/5*(-55)/(-22). Put -4, b, x in descending order.
x, -4, b
Let r be (-553)/49 - (0 + -11). Let c = -0.2 - -0.7. Put c, 4, r in descending order.
4, c, r
Let j be 15/(-20) - 115/(-20). Sort -9, j, 2.
-9, 2, j
Let p be 6*(21/(-18) - -2). Suppose 3*s = -p*s - 184. Put 4, 0.5, s in descending order.
4, 0.5, s
Let s(h) = -170*h - 286. Let i be s(0). Put i, -1, 4 in ascending order.
i, -1, 4
Let l = -46.1 - -7.1. Let k = l - -34. Let v be (-17)/(-36) - 8/36. Put v, -4, k in descending order.
v, -4, k
Let n = -296.2 - -296. Put -8, -4, 0.1, n in decreasing order.
0.1, n, -4, -8
Suppose 9*t = 11*t - 6. Let s be (3/2)/((-54)/(-8)). Put 4, t, s in descending order.
4, t, s
Let m be (5 + (-17 - -6))/(-14). Let t = -0.4 - -0.8. Put 0.1, t, m, 4 in descending order.
4, m, t, 0.1
Let s = -3 - -6. Suppose -s*d + 17 = 5*g, -5*g - 2*d + 1 = -3*d. Let m be (-3 - 15/(-6))*-4. Put m, g, 0 in decreasing order.
m, g, 0
Let q = 36 + -127. Let a = q - -91.2. Sort 2/25, -0.3, a, 4 in descending order.
4, a, 2/25, -0.3
Let t = 0.024 + 13.976. Let i = -16 - -11. Put -1, t, i in descending order.
t, -1, i
Suppose -v + 122 = 4*q - 34, -4*q - 2*v = -156. Let r = -37 + q. Put 3, -1, r in decreasing order.
3, r, -1
Let i be -3 - (-36)/(5 - 2). Put -3, -1, i in descending order.
i, -1, -3
Let x = 0.54 - 0.24. Let d = 2.3 - x. Let g = d - 3. Sort 3/2, g, -0.1.
g, -0.1, 3/2
Let a = -1314 - -1313.6. Sort -1, a, -0.15, -2 in descending order.
-0.15, a, -1, -2
Let x = 3 + -3.09. Let a = 0.13 - x. Let c = a - -3.78. Sort -0.1, c, -1/12.
-0.1, -1/12, c
Let o(u) = -15*u + 80. Let l be o(5). Put l, -7, 4 in inc