 = -12 - -14. Let i be (x/(-3))/((-8)/3). Put i, v, -2/5 in decreasing order.
i, v, -2/5
Suppose 5*n + 0*n = 0. Suppose -m - 16 = 2*q, 3*q = -2*q + 5*m - 70. Let p(x) = -x - 6. Let d be p(q). Sort -2, n, d in descending order.
d, n, -2
Let x = 0.2 - 0.3. Let w = x + 0.3. Let j = -0.49 + 1.49. Sort w, 3/8, j in descending order.
j, 3/8, w
Let m = 0.05 - 0.1. Let n = 0.247 + 0.753. Sort 2/13, m, n in descending order.
n, 2/13, m
Let s be (-2)/2 - (2 - -1). Let y = s + 0. Let h = 993 - 995. Put 1, y, h in decreasing order.
1, h, y
Suppose 92*b + 45 = 77*b. Sort 3, b, -15, -4 in increasing order.
-15, -4, b, 3
Suppose 8*l + 32 = 224. Suppose -c - 4*t - l = -2*c, 2*c = 4*t + 28. Put -3, c, -1, 5 in descending order.
5, c, -1, -3
Let l = 4.11 - 4.01. Sort -1, l, -0.17, 3 in decreasing order.
3, l, -0.17, -1
Let s = 917 + -921. Put -2, -94, s in decreasing order.
-2, s, -94
Let v be 165/66*(20/25)/1. Suppose -4*m = m - 25. Sort 8, v, m in increasing order.
v, m, 8
Let n(v) = v**2 + 7*v + 9. Let z be n(-6). Let j(b) = 73*b - 659. Let y be j(9). Put 5, z, 0, y in increasing order.
y, 0, z, 5
Suppose 0 = -2*r + 4*v + 14, 7*r - 5*v = 3*r + 25. Put -5, r, -6 in increasing order.
-6, -5, r
Let w be -1 - ((-66)/(-2) + 1). Let k be 8/10 + 133/w. Let o(f) = -f**2 + 4. Let a be o(k). Sort 5, -4, a.
a, -4, 5
Suppose 0 = l + 3*p - 9 - 11, -5*p - 12 = -4*l. Suppose l - 11 = 3*m. Sort 4, m, 0 in descending order.
4, 0, m
Let a(z) = -z**3 + 5*z**2 - 7*z. Let o be a(3). Let i = -7 - -9. Suppose 0 = -i*p - 5*b - 2, -b = -2*p + 5*p + 3. Put p, 2, o in increasing order.
o, p, 2
Let y = 52 + -52. Sort -0.5, y, -2/9, -0.14 in descending order.
y, -0.14, -2/9, -0.5
Let v = -0.4 - 0.6. Let o = -12/301 + -253/1204. Sort 2, v, o, 1.
v, o, 1, 2
Let u = -3 + 7. Suppose 2*i - 3*i + 3*t = -24, -i - u*t - 4 = 0. Suppose -3*o + i = 3*x, o = -x - 2*x + 2. Sort 1, -5, o.
-5, 1, o
Let c = 1183/5 - 237. Sort c, -5, 0.2 in decreasing order.
0.2, c, -5
Suppose -3*b + 2*o = 4, -3*b - 2*o + 2 = -o. Let a(h) = -4*h + 1. Let y be a(-2). Suppose -y = -5*p + 6. Sort 5, b, p in descending order.
5, p, b
Let y = 403/4 - 102. Let k be 4/(16/(-5)) - (-60)/80. Put k, 5, y, -4 in decreasing order.
5, k, y, -4
Suppose 11*h - 90 = 6*h. Suppose h = 3*s + 9. Sort s, 0.5, -2/3 in descending order.
s, 0.5, -2/3
Let d = 194 + -191. Let n = -19 + 16. Sort 0.6, d, n in decreasing order.
d, 0.6, n
Let m be 8/(-32) - ((-7)/(-4) - 1). Suppose -6*q + 2*q - 4*v = 0, -16 = 3*q - 5*v. Sort m, q, 4.
q, m, 4
Let g = -6 + 5. Let u = g - -1.1. Suppose i = -2*t + 11, -5*t + 0*i + 25 = 2*i. Sort 2, t, u in decreasing order.
t, 2, u
Let g be (-4)/22 + (-28)/88. Let s = 4.37 - 4.67. Put 2, -1, g, s in descending order.
2, s, g, -1
Let u = -9.96 - -10.06. Sort u, -1/5, -26, 11 in ascending order.
-26, -1/5, u, 11
Let g = -73 - -78. Let c(a) = -a - 5. Let f be c(-6). Sort -3, f, g, 4 in decreasing order.
g, 4, f, -3
Let t = 0.2959 - -0.0041. Put 0.1, 6, t, -3 in descending order.
6, t, 0.1, -3
Let j = -384 + 383.9. Sort 0.5, 2, 0.2, j in descending order.
2, 0.5, 0.2, j
Let q(l) = -l - 24. Let u be q(-24). Let z = -11 + 7. Sort z, 1, u in descending order.
1, u, z
Suppose 3*y = -2*y + 55. Suppose 0*z + 15 = 5*z - 5*t, 0 = 4*z - 3*t - y. Suppose 2*a + 3*h + z + 0 = 0, 2*a = 3*h + 10. Put -2, 5, a in increasing order.
-2, a, 5
Suppose 3*v = -2*h - 2, -3*v = -4*h - 7*v. Put -5, 1, -28, h in decreasing order.
h, 1, -5, -28
Let k = -2.04 - 1.38. Let w = k - 0.08. Let b = -4 - w. Sort b, 2, -2 in increasing order.
-2, b, 2
Let s be ((-10)/4 + 2)*8. Suppose 4*b + 15 = 5*u, -24*u - 6 = 4*b - 26*u. Put 4, b, s, -5 in decreasing order.
4, b, s, -5
Let i = 3/289 - 298/867. Let l = 1.4 - 2.4. Let q = 983/5 + -196. Sort i, l, q.
l, i, q
Let m = -256 - -256.5. Sort -3, m, 9, 0 in descending order.
9, m, 0, -3
Suppose w - 5*i + 6 = 4*w, 0 = w + 4*i - 2. Suppose 0 = -a - w*a - 6. Put -4, -1, a in ascending order.
-4, a, -1
Let j be (-126)/(-91)*(-2)/(-6). Let d = -11/52 + j. Let z = -262 - -266. Sort z, -0.4, d in decreasing order.
z, d, -0.4
Suppose 48 = 2*a + 10*a. Put a, -6, -3 in ascending order.
-6, -3, a
Let p = 2335 + -2330. Sort 1, 7, p, 2 in ascending order.
1, 2, p, 7
Let r = 7 + -12. Let f = -15 + 17. Suppose -5*b + 2*p = -12, -3*b - f*p = -2*b - 12. Sort r, b, 5 in ascending order.
r, b, 5
Let i = -2575 + 2573.7. Sort 1.5, 0, i in descending order.
1.5, 0, i
Let n = -79.7 - -80. Sort 0.5, -142, n in decreasing order.
0.5, n, -142
Suppose -7 + 3 = -2*s + 4*l, -5*s + 2*l + 2 = 0. Put s, 8, 9 in increasing order.
s, 8, 9
Let z(a) = a**2 + 2*a + 1. Let k(i) = i**2 + 3*i. Let d(l) = 3*k(l) - 2*z(l). Let s be d(-6). Sort 14, s, 0, -1 in ascending order.
-1, 0, s, 14
Let f(k) = k**2 - 3*k + 16. Let g be f(0). Let u = 14 - 11. Sort u, -2, g.
-2, u, g
Let f be (1/2)/(2/(-20)). Suppose -3*d + 5 = -2*d. Suppose 65*c + 100 = -160. Sort f, d, c in descending order.
d, c, f
Let c be 1 + -3 + 3 + 3 + -1. Let k = -20 + 19.9. Sort k, c, -15.
-15, k, c
Let x(d) = -d**2 + 3*d + 2. Let c be x(3). Suppose 11 = -91*k + 80*k. Put k, c, -3 in descending order.
c, k, -3
Suppose -310 = 7*d + 460. Let l be 2/8 + d/(-40). Put 0, l, -7 in descending order.
l, 0, -7
Let j be ((-2)/4)/(1/(-10)). Suppose 0 = -g + 7*g - 12. Let w(i) = -4*i + 9. Let l be w(g). Put l, j, -2 in increasing order.
-2, l, j
Let d be (-5 - -1)*((-13 - -6) + 8). Suppose 0 = 2*t - 0*t. Let s(x) = -x**3 - 5*x**2 + 3*x + 9. Let g be s(-5). Sort d, g, t in ascending order.
g, d, t
Let i be (-66)/100 - (-6)/12. Put 1/2, i, -0.4 in decreasing order.
1/2, i, -0.4
Let r(t) = 2*t**2 + 17*t + 12. Let q be r(-9). Suppose -i + q = 5*z, -3*i - z - 7 = -0. Put 2, i, 1 in decreasing order.
2, 1, i
Let a = -5 + -31. Let g = 26 + a. Sort -1, 5, g.
g, -1, 5
Let v(a) = -a**2 + 20*a - 28. Let l be v(18). Put 5, -5, l in descending order.
l, 5, -5
Suppose 57*t = -874 + 190. Sort t, -14, -0.4 in increasing order.
-14, t, -0.4
Let p = -1.5 + -0.42. Let c = p + -0.08. Sort 3, -0.3, c.
c, -0.3, 3
Let k = -0.06 - 1.04. Let g = k + -5.2. Let o = -3.3 - g. Sort 0, 0.6, o in decreasing order.
o, 0.6, 0
Let n be 2/12*(-8 + 43). Let x = n - 137/24. Let i = -2 - -1. Put x, i, 4 in increasing order.
i, x, 4
Let r = -114.5 + 110.5. Put 6/7, r, -0.4, 0.3 in increasing order.
r, -0.4, 0.3, 6/7
Suppose 11*f - 8*f = 69. Let j = -31 + f. Put 3, 2, j in decreasing order.
3, 2, j
Let g = -3 - -11/3. Let d(a) = 4*a - 1. Let y be d(-1). Let w be 9/y - (5 + -7). Sort w, g, 5 in ascending order.
w, g, 5
Let o(v) = v**2 + 8*v + 13. Let b be o(-6). Let n be (-24)/(-10) + 2/(-5). Let j be n/(-4) - 4/(-8). Put b, -2, j in ascending order.
-2, j, b
Let r(j) = -3*j**3 - 196*j**2 - 255*j + 60. Let m be r(-64). Let n = 0.1 + 0. Sort -1/4, m, 1, n.
m, -1/4, n, 1
Let c be (-15)/9 + -1 + 16/6. Sort c, 4, 1 in decreasing order.
4, 1, c
Let g(a) = a - 9. Let p be g(7). Let l(s) = -s**3 + 11*s**2 + 3*s - 134. Let f be l(10). Put 12, p, f in decreasing order.
12, p, f
Suppose 0 = 2*u - b - 10, 3 = -3*u - 2*b + 4. Let c be (4/(-2))/(6/u). Let n = -125 - -122. Put n, -5, c in descending order.
c, n, -5
Let r(y) = y - 5. Let s be r(5). Suppose -202 = 2*x - 180. Put s, x, -3 in decreasing order.
s, -3, x
Let d = -327 - -332. Sort d, 3, 4.
3, 4, d
Suppose d - 10 = -7*m + 2*m, 0 = -m - 4*d + 21. Sort m, -4, 2, -57 in descending order.
2, m, -4, -57
Let t = 17.96 + -18. Let a = t - -0.24. Put a, 4, -10 in decreasing order.
4, a, -10
Let y be (-4)/(-18) + (-1547)/117. Let g = y + 32. Sort -5, g, -4 in descending order.
g, -4, -5
Suppose 0*n + 4 = -2*n - 4*x, 0 = 2*n - x - 21. Suppose 9*u - n = 8*u. Let d be ((-2)/26)/(4/u). Put -1, d, -0.5 in increasing order.
-1, -0.5, d
Let a be -9 - (-9)/((-108)/(-111)). Put -6, 5, a, 0 in decreasing order.
5, a, 0, -6
Suppose z + 11 = -3*k, -4*z + 23 + 8 = -3*k. Sort -154, -1, z in increasing order.
-154, -1, z
Suppose 86*s + 90 = 104*s. Sort -19, 4, 1, s in decreasing order.
s, 4, 1, -19
Suppose 6*d - 7 = 4*d + 3*x, 2*x - 2 = 3*d. Sort -5, 10, d, 1/3 in ascending order.
-5, d, 1/3, 10
Let v = -1.338 - -1.138. Put -2, -100, -1, v in ascending order.
-100, -2, -1, v
Suppose -d + 2 = -2. Suppose r + 2 = -r - d*a, -r - 11 = -3*a. Suppose -4 = 2*y + 4. Put r, y, 2 in ascending order.
r, y, 2
Let d = 259 - 230.9. 