6*c + s = c. Suppose c*r = 6*r - 20. Put -1, r, 4 in ascending order.
-1, 4, r
Let n be 2 + (-4 - 2) + 0. Suppose 0 = -23*j + 25*j + 4. Let i = -3 - -2. Put n, j, i in increasing order.
n, j, i
Let r = 1.4 + -0.7. Let u = -5.22 - -0.22. Put r, u, 3 in decreasing order.
3, r, u
Let x = -216 + 214. Put x, 2, 0 in decreasing order.
2, 0, x
Suppose y - 2 = 3*g, -2 - 14 = -4*y + 4*g. Let u be 8/(-2) - (y + -4). Sort 2, u, 5 in ascending order.
u, 2, 5
Let k = 0.3 + -0.6. Let r = k - -1.3. Let v = -3174 + 3177. Put v, r, -3/5 in descending order.
v, r, -3/5
Let s = -858.7 + 859. Sort 5, 1, s, 4 in decreasing order.
5, 4, 1, s
Let z(k) = -k**2 - k - 5. Let q be (9/5)/((-2)/10). Let y = q - -9. Let a be z(y). Put 1, a, -2 in ascending order.
a, -2, 1
Let l = -24 - -8. Let a = l - -16.25. Let u = 0.15 - a. Sort -0.3, u, -0.5 in descending order.
u, -0.3, -0.5
Let t = 19 - 20. Let u = t + -13. Let w be ((-2)/(-2))/((-35)/u). Put w, 5, 2 in increasing order.
w, 2, 5
Suppose -22*g - 35 + 13 = 0. Put 6, g, -3 in increasing order.
-3, g, 6
Let n be (-125)/35 + 4 - 22/(-14). Suppose -4*f = -1 - 11, 0 = -2*v - 3*f + 15. Put n, v, 18 in descending order.
18, v, n
Suppose -5*d + 3*v - 12 = -2*d, 9 = -3*d + 2*v. Let y(z) = -2 + 1 + z**2 + 1 - 3. Let l be y(0). Sort d, 2, l.
l, d, 2
Let x = 0.6 + -2.6. Let j = 17 + -20. Put x, 2, j in decreasing order.
2, x, j
Let w be (0 + -1)/5 - 2736/(-180). Sort w, 3, -5, 5 in descending order.
w, 5, 3, -5
Let g be (1 - (-28)/(-20))*-15. Let f(y) = y - 4. Let z be f(g). Let d be (z/4)/((-6)/(-20)). Put d, 2, -4 in increasing order.
-4, d, 2
Suppose b = w, 5*w = -5*b + w + 36. Suppose -3466*q = -3447*q + 133. Sort -1, q, b in ascending order.
q, -1, b
Let b = 2 - -2. Suppose 0 = b*c - c + 9. Let f = 258 - 253. Sort 4, f, c in decreasing order.
f, 4, c
Suppose 7 = -4*v - 5*c - 7, -v + c - 8 = 0. Let d be -3 + 2/((-4)/v). Put -4, 5, 1, d in decreasing order.
5, 1, d, -4
Let q = -370 - -372. Sort q, -1/3, 0.1 in increasing order.
-1/3, 0.1, q
Suppose -4*p = -p - 6. Suppose 47*m + p = 45*m. Put -3, 5, m in ascending order.
-3, m, 5
Let u be 66/10 + (-135)/(-25) + -6. Put 3, -9, u, 1 in increasing order.
-9, 1, 3, u
Let j = 17 - 14. Suppose 4*d + 2*r - 7 = j*r, 5*r + 12 = -3*d. Let i be 0 - (0 - 3 - 1). Sort d, i, -1 in ascending order.
-1, d, i
Let v be (660/45 - 13) + 4/(-6). Let a(y) = y**2 - 4*y - 1. Let o be a(5). Sort o, v, -1, 2.
-1, v, 2, o
Let u be 6*(1/(-4))/(2/(-8)). Suppose -18*k + u*k = 0. Sort -13, 5, k.
-13, k, 5
Let f = 1453 + -1453. Suppose -4*p - p = 15. Put f, 4, p in decreasing order.
4, f, p
Let v be (-6)/11 + 4366/10384. Sort 0.5, v, 0.2, -2/19 in decreasing order.
0.5, 0.2, -2/19, v
Suppose 5*t + 4*g = 114, -6*g + 2*g - 68 = -2*t. Suppose t - 35 = 9*y. Put 4, 0, y, -2 in ascending order.
-2, y, 0, 4
Let x = -65.1 - -62. Let p = 3 + x. Let m = 0.9519 - 0.8519. Put p, -4/5, m in increasing order.
-4/5, p, m
Let i = 1504 - 1504.4. Let v be (-3 - 0)/(1/(-1)). Let s = -4093/13 - -315. Put s, v, i in decreasing order.
v, s, i
Let n = -9.99 + -0.01. Let c = n - -9.8. Let w = -8 - -7.7. Sort w, c, 0.3 in descending order.
0.3, c, w
Let h = -1082/5 - -217. Sort 5, h, 0.03, -5 in decreasing order.
5, h, 0.03, -5
Let l = 2.25 - 1.6. Let u = -0.35 - l. Put -0.2, u, 2 in decreasing order.
2, -0.2, u
Let r = 0.16 - 5.16. Let z = 6 + r. Let g = 14 - 9. Put z, 2/15, g in increasing order.
2/15, z, g
Let m = 1030 + -1036. Sort m, -1/8, -4 in descending order.
-1/8, -4, m
Let i = 2 + 8. Suppose -4*y = -22 + i. Suppose 5*p = y*p - 2*w + 12, 4*p - 16 = 4*w. Put p, -4, -3 in ascending order.
-4, -3, p
Let i be 238/70 - (-2)/(-5). Suppose 2*l + i*l = -20. Sort 1, l, -24.
-24, l, 1
Let a be 21/(-6)*456/266. Put a, 1, 3, 12 in ascending order.
a, 1, 3, 12
Let m be (-24)/11 - -6 - 4. Put -0.4, -3, m in increasing order.
-3, -0.4, m
Let y = 5 + -10. Let l = -8 + 6. Suppose 5*n - 5*r = 0, 3 = -3*n - 5*r - 21. Sort l, n, y in ascending order.
y, n, l
Let z be -1*0*2/6. Let d be z*((-15)/(-6) - 2). Sort -4, d, -1 in ascending order.
-4, -1, d
Let v be 4/(10/(-3) - -4). Suppose -4*u - 3 + 5 = -o, 0 = 3*u - 5*o - 10. Suppose u*z - 2*z - v = 0. Sort 2/7, z, -4/7 in decreasing order.
2/7, -4/7, z
Suppose 2*n + 4 = 5*u, -n = u + 2 - 0. Suppose 0 = 4*y + 5*z - 40, -2*y + 2*z - 4*z + 20 = 0. Let p = -11 + y. Sort p, n, 4.
n, p, 4
Let p(v) = v**3 + 4*v**2 - 3*v + 7. Let h be p(-5). Let j be (-30)/(-6) - (1 - -3). Sort -1, j, h.
h, -1, j
Let q be -2*6/3*-1. Sort -4, -3, -15, q in increasing order.
-15, -4, -3, q
Let t be (0 - -1)/(3/15). Let h = 79 + -79. Put h, 2, t in ascending order.
h, 2, t
Let g = 4.92 + 0.08. Let f = 5 - g. Let q = -12.5 + 13. Put f, 5, q in decreasing order.
5, q, f
Let z(f) = 6 + 0*f - 5 + 2*f + 5. Let j be z(-3). Suppose 0 = 2*c - j*c - 10. Put -4, -1, c in increasing order.
-4, -1, c
Suppose -3*x + 3*o + 273 = 294, -o + 2 = 0. Sort -4, 4/7, x, 8.
x, -4, 4/7, 8
Let x = 0.1 + -0.2. Let q = -4267 - -4267.8. Sort x, q, -4 in increasing order.
-4, x, q
Let w = 53 + -28. Let i = w + -24.9. Put 2/7, i, 5, -5 in descending order.
5, 2/7, i, -5
Let o be 3 + -2 + 10/(-12). Let j = -14 - -19. Let h = -1.6 - -1.2. Sort j, o, h in increasing order.
h, o, j
Let t = 58/11 + -60/11. Sort -4, -0.4, -1, t.
-4, -1, -0.4, t
Let l(j) = -j**2 - 9*j - 5. Let c be l(-6). Suppose 14*w - c*w - 4 = 0. Sort -1, 6, w in decreasing order.
6, w, -1
Suppose -61*m + 41*m - 100 = 0. Put -3, 6, 8, m in increasing order.
m, -3, 6, 8
Let c(x) = 15*x + 1. Let w = -12 - -11. Let g be c(w). Let d be (-12)/7 + 4/g. Sort d, 2/17, -4 in ascending order.
-4, d, 2/17
Suppose -5*a - 31 = 20*y - 16*y, y - 3*a - 5 = 0. Put -3, -7, y, -1 in decreasing order.
-1, -3, y, -7
Let n = -19 + 17. Let p be (n + 1)*(-2)/(-10). Let k be ((-2)/10)/(8/(-10)). Put p, -5, k in increasing order.
-5, p, k
Let j = -2673 + 2670. Let f = 16 - 7. Sort j, 3, f in decreasing order.
f, 3, j
Let m = 0.5 + -0.2. Let n = m - 0.1. Let s(x) = 2*x + 20. Let r be s(-12). Put n, r, 3 in descending order.
3, n, r
Let u = -1.99 + -0.41. Let d = 1.4 + u. Sort -9, -3/4, d.
-9, d, -3/4
Suppose -w + 4*a - 3 = 0, w + 3*w = -3*a + 26. Suppose -3*b - w*s - 36 + 2 = 0, -4*b - 24 = -4*s. Let q be 0 - (3 + 2 - 5). Sort b, -4, q in decreasing order.
q, -4, b
Let s = -2.92 + -0.08. Let r = 6.3 + -2.3. Let q = -0.26 - -5.26. Sort s, r, q in descending order.
q, r, s
Suppose 4 = 3*x + 2*i, -3*i - 5 = -4*i. Let j be (10/2)/(x + 3). Sort 1, j, -3 in decreasing order.
j, 1, -3
Let r = -11.6 + -2.4. Let l = 12 + r. Sort l, 1, 3 in decreasing order.
3, 1, l
Let s be (3 + -4)/((-3)/72). Let u be (-18)/s + (-15)/12. Sort u, 2, -4, -11 in increasing order.
-11, -4, u, 2
Suppose 2*h - 35 = -3*h. Let o be 3*h/(84/8). Suppose 0 = o*v - 7*v - 25. Sort 6, v, -3 in descending order.
6, -3, v
Let j = -312.5 + 313. Let c = 8.6 + -9. Sort j, c, -1/3, -1/6 in increasing order.
c, -1/3, -1/6, j
Let a = 2 - 1.87. Let u = 1.29 - 1.39. Let b = a + u. Put -1/3, 1, b in increasing order.
-1/3, b, 1
Suppose 4*l - 12 = 4*u, -4*u - 10 = -3*l + 4. Let x = 18 + -11. Suppose -y - 3*z = 2*z - x, -4 = 2*y + z. Sort u, y, -0.1.
u, y, -0.1
Let l = 4525/7 + -646. Sort -3, 13, l in decreasing order.
13, l, -3
Let n = 74 + -76. Suppose -3 = -2*q - 3*w + 8, 0 = -3*q - w + 6. Put 2/9, n, q, 3 in increasing order.
n, 2/9, q, 3
Let t = 1.21 + -1.01. Sort t, 19, 0.04, -1 in decreasing order.
19, t, 0.04, -1
Let d = -0.359 - -21.359. Put 1/5, 0.3, d in ascending order.
1/5, 0.3, d
Let c = -8 - -8.4. Suppose 19 = -4*u - 17. Let h = u + 14. Sort c, -3, h in decreasing order.
h, c, -3
Suppose -3*m = 2*v - 9, 0 + 1 = m. Suppose 4*j - 43 = -5*b, 0*b - 6 = -3*j + 5*b. Suppose g - 1 = 1. Put v, j, g in increasing order.
g, v, j
Suppose 0 = d - 5*d + 4, -4*d = 4*w - 4. Suppose -4*v + 2*a - 10 = w, a = -4*v + 4*a - 9. Sort 1, -5, v in descending order.
1, v, -5
Let y(s) = s**3 - 8*s**2 - 12*s + 31. Let o be y(9). Sort 0.2, o, 2, -96 in descending order.
o, 2, 0.2, -96
Suppose -5*q = 49 - 59. Sort q, -6, 0.
-6, 0, q
Let g = 0.42 + -0.4. Let f(o) = -o**2 - o + 4. Let j be f(-3). Let w be (-1 + 2 - j) + (-80)/24. Put w, 2/9, g in increasing order.
w, g, 2/9
Suppose 0 = 116*a - 114*a + 26. Sort -1, a, 6 in ascending order.
a, -1, 6
Let x be (7/(35/10) + 0)*1. Sort