+ x = 5*o. Sort o, 6, 4 in decreasing order.
6, 4, o
Let u = -102.415 + 102. Let z = u + -0.085. Sort -4, 2.2, z in descending order.
2.2, z, -4
Suppose -12*f + 17*f = 0. Let x be (3 - 4)*(-10)/2. Sort 3, -3, x, f in decreasing order.
x, 3, f, -3
Suppose -4*u = -5*h + 6, -u - 4*h = -6*h. Put u, -5, -3 in increasing order.
-5, u, -3
Let l be 546500/90 + (-2)/9. Let u = l - 1001788/165. Let t = -14/33 + u. Put 0.3, t, 4 in decreasing order.
4, 0.3, t
Suppose 2*x = -2*r + 3*x - 6, 0 = -2*r - 2*x - 18. Let b = -128 - -124. Suppose 16 = 4*n - 0*n. Sort n, r, b in increasing order.
r, b, n
Let x = -1.3 + 1.3. Let a = 0.1 - x. Let z = a - -0.3. Put z, 5, -2 in descending order.
5, z, -2
Let i(o) = 5*o**3 + 8*o**2 + 22*o - 24. Let d be i(-4). Sort d, 5, -0.3, 3 in decreasing order.
5, 3, -0.3, d
Suppose 3*d - 28 = -4*u - 3, 1 = d + 5*u. Put 1, d, 1/4 in decreasing order.
d, 1, 1/4
Let c = 0.8 - 4.8. Let b = 0.4 - 0.6. Sort b, c, 3 in decreasing order.
3, b, c
Suppose -5*a - w = -9, 3*a + w - 11 = 6*w. Suppose -15 = -3*o, -a*q - q - 2 = -o. Sort 2, -18, q.
-18, q, 2
Let l = 0.02125 - 4.02125. Let z = -2 + -6. Put -0.3, 4, z, l in decreasing order.
4, -0.3, l, z
Let f be 3/7 - ((-102)/7 + -3). Suppose 6*z - 24 = f. Sort z, -4, 1, -3 in decreasing order.
z, 1, -3, -4
Suppose 27*c - 29*c = -p - 25, 0 = -5*c + 35. Let k = 3 - 0. Sort k, -2, p, -3.
p, -3, -2, k
Suppose -10*f + 76 = 86. Sort f, -45, -5, 0.2.
-45, -5, f, 0.2
Let l = -241/158 - -2/79. Let v = -40 - -55. Let i = -14.9 + v. Put i, 0.4, l in descending order.
0.4, i, l
Let i be (0 + 0)/(-2 - -1 - -3). Let g be 6/(i + -2) + 6/2. Let f be (3 - 1)/2 + 0. Sort -1, f, g.
-1, g, f
Let o = 1.1 - 6.1. Let b be 128/(-1152)*(-12)/(-10). Sort -2/131, -1/12, b, o.
o, b, -1/12, -2/131
Suppose 6*o - 3*s = 3*o + 42, 2*o - 28 = s. Let v be o/35 - (-2)/(-80). Let r(j) = j**2 - 4*j - 2. Let i be r(4). Sort v, 3/5, i.
i, v, 3/5
Let l = 474 + -479. Put -0.1, l, 1/2, 2 in descending order.
2, 1/2, -0.1, l
Suppose -2*g - 14*b + 11*b = -6, -3*g + b = 13. Let y be (-1)/(2/2) - -1. Put g, -30, 5, y in descending order.
5, y, g, -30
Suppose -4*m - 20*m + 312 = 0. Let w = 4/17 - -1/68. Sort m, -2/9, w in descending order.
m, w, -2/9
Let g = 14.2 - -1.3. Let q = -16 + g. Sort q, 5, -4/7 in descending order.
5, q, -4/7
Let g = -18 - -18. Let q(x) = -x**2 - x + 4. Let l be q(g). Let f be l/(-15) + (-2)/(-3). Sort 1/2, -5, f.
-5, f, 1/2
Let b(v) = v - 2. Let y be b(2). Suppose -n + 0*n = y. Suppose -2 = -d - 0*d + 4*w, -2*w = n. Sort -0.1, 0, d in ascending order.
-0.1, 0, d
Let y = -250 - -255. Sort 1/5, y, -2 in decreasing order.
y, 1/5, -2
Suppose 25 = 9*b - 11. Sort 0, b, -12 in decreasing order.
b, 0, -12
Let d = -4.58 + 4.28. Let s = 34 - 16. Put d, s, 0 in decreasing order.
s, 0, d
Suppose 13*x = 9*x + 188. Let v = 421/9 - x. Let a = 4/7 - -2/21. Sort 5, v, a.
v, a, 5
Let g = -1244 + 1243. Put 14, g, -11, 3 in ascending order.
-11, g, 3, 14
Let o = 38 - 40. Let z be 11/(-2) - 3/o. Put 2, 5, 0, z in increasing order.
z, 0, 2, 5
Let q = 1359 - 1358.7. Sort -2, -5, q, -2/117 in decreasing order.
q, -2/117, -2, -5
Suppose 33*z = 12*z - 63. Sort z, 2, -5, -23 in descending order.
2, z, -5, -23
Let y = -1 + 1.12. Let n = y - 0.18. Let w(x) = -2*x + 2. Let q be w(2). Put n, 3, q in increasing order.
q, n, 3
Suppose 4*b - 2*b + 6 = -4*x, -4*x + 9 = 5*b. Let w be 15/4 + 4/16. Suppose 5*g - 2*g = w*t - 15, 2*g - 3*t + 11 = 0. Sort 0, b, g.
g, 0, b
Let v = -1135 + 1132. Let r = -1/40 - -43/120. Sort v, 0.1, 3/7, r.
v, 0.1, r, 3/7
Let k = -3 + 8. Suppose 16*f + 24 = -40. Sort k, 4, f in decreasing order.
k, 4, f
Let g = 0 + 5. Let u(i) = i - 12. Let c be u(10). Put -1, g, 3, c in descending order.
g, 3, -1, c
Let c = 4 - 7. Let w = 959 - 963.63. Let g = -0.37 + w. Sort g, c, -0.4.
g, c, -0.4
Suppose g = 5*i - 22, 2*g + 25 = 5*i + 6. Let z be -6*((-15)/6)/i. Suppose -p = -z*p - 4. Sort 4, p, 3 in decreasing order.
4, 3, p
Suppose -4*y - 3*o + 16 = -13, -y + o + 9 = 0. Suppose -y = m - 3*m. Suppose 6 = m*g - 6. Put g, 1, -5 in descending order.
g, 1, -5
Suppose 3*p + 8 = 2*p. Let w = 28 - 41. Let y = w + 12.9. Put p, 4, y in descending order.
4, y, p
Suppose -2381 = 68*c + 339. Put 1, 4, 0, c in ascending order.
c, 0, 1, 4
Suppose -37 + 13 = 4*k. Sort -5, -10, k, -2 in increasing order.
-10, k, -5, -2
Let o = 88 + -88.5. Let z = -3.01 - 8.03. Let c = -0.04 - z. Sort c, 0, o in decreasing order.
c, 0, o
Let k = -58 - -56. Put -0.5, k, 24 in descending order.
24, -0.5, k
Let v = -66.9 - -71.9. Let k = -0.2 - -0.2. Let q = -0.5 + k. Sort q, v, -4 in decreasing order.
v, q, -4
Suppose 2*a = -4*q - 16, -4*a = -a - 4*q + 4. Put -6, 5, a, 2 in descending order.
5, 2, a, -6
Suppose -y + 5*b = 3*b + 7, 0 = -y - 4*b + 23. Sort -9, -1, y in decreasing order.
y, -1, -9
Let l = 64 - 68. Suppose -2*i + 1 = 5, 2*i = -4*r - 20. Let z = r - -6. Sort 0, z, l in decreasing order.
z, 0, l
Let r = 0.0748 + -1.0728. Let f = r - 0.102. Sort -2, f, -3 in increasing order.
-3, -2, f
Suppose -4*c = 3*h - 14, -2*c + 0*h - 4 = -4*h. Sort c, 116, 5, -4 in descending order.
116, 5, c, -4
Let g(c) = 8*c + 9. Let t be g(-4). Let x(f) = 5*f**2. Let n be x(2). Let s = n + t. Sort -4, 2, s in decreasing order.
2, s, -4
Let v = 4.1 + -3.46. Let y = v - -0.36. Put 0, 3/4, y in increasing order.
0, 3/4, y
Let k = 114.2 + -113.8. Sort k, -191, 2 in ascending order.
-191, k, 2
Let a = 232 + -245. Put -4/3, 3, a in decreasing order.
3, -4/3, a
Let r = -1/17 - 12/85. Let c = 360.5 + -360. Sort -0.06, r, c in descending order.
c, -0.06, r
Suppose 1243*d - 30 = 1248*d. Sort d, -8, -2 in descending order.
-2, d, -8
Suppose -179*y = -180*y + 4. Sort y, -2, 1 in increasing order.
-2, 1, y
Suppose 92 = 2*d + 4*j, -178 = -0*d - 4*d - 2*j. Suppose 0 = -4*z + d - 12. Let f = 4 - z. Sort -5, -2, f in descending order.
-2, f, -5
Let z = -113.38 + 0.38. Let b = z + 114. Put -2, 0.5, b in descending order.
b, 0.5, -2
Let o = 4 + -8. Let i = -6 - o. Suppose 11*p - 2*p = -27. Put -5, i, p in increasing order.
-5, p, i
Let n(u) = 0 - 1 + 22*u + 5 - 24*u. Let x be n(2). Sort 4, 3, x in decreasing order.
4, 3, x
Let c(o) = -3*o. Let u be c(-2). Suppose v - u = -v. Suppose -v*r - 17 = g - 5*g, 3*g = -2*r. Sort g, 0, -1 in increasing order.
-1, 0, g
Let v be (80/(-25))/8*-40. Let y(t) = -6*t + 6. Let s be y(4). Let b = s + v. Sort 0.2, 1, b in decreasing order.
1, 0.2, b
Let a(j) = -4*j**3 - 2*j - 3. Let t be a(-1). Suppose -2*n - 5*h + 7 = n, -h - 3 = 5*n. Let i = -11 - -7. Sort n, t, i in decreasing order.
t, n, i
Suppose h - 1 = -5*v + 13, -2*h + 4 = 2*v. Let o be h*(2 + (-15)/9). Let n = 0.43 - 0.43. Put -0.4, o, n in ascending order.
-0.4, o, n
Let w = -929 + 1021. Sort 5, 0.3, w, -4 in descending order.
w, 5, 0.3, -4
Let d = -37 - -33. Let r = 23 + d. Let h = 15 - r. Put 0.05, -1, h in increasing order.
h, -1, 0.05
Suppose -3*t = 58 - 67. Let n = -9 - -20. Suppose -5*i - 5 = -k, -i + 11 = i - 3*k. Sort i, n, t in descending order.
n, t, i
Let v = -80.114 + 0.114. Let g = -79.6 - v. Sort -1, 0.3, g, 0.2 in increasing order.
-1, 0.2, 0.3, g
Let n = 0.102 - 0.302. Sort n, -2, 0.3, 1/2 in decreasing order.
1/2, 0.3, n, -2
Let a = -352 - -408.6. Let j = a + -57. Put -5, -2/11, 11, j in descending order.
11, -2/11, j, -5
Let o be -1 + -63 - (4 - (10 + -7)). Let j = 70 + o. Sort -2, -1, j in descending order.
j, -1, -2
Let o(q) = q**2 - q. Let d(p) = 2*p**2 - 8*p + 2. Let x(w) = -d(w) + 6*o(w). Let t be x(-2). Let u = t - 8. Sort -3, u, -2 in descending order.
u, -2, -3
Suppose 0 = 2*w - 3*w - 2. Suppose 2*j - t = 11, -16 = -j + 4*j + 5*t. Suppose a = -5*q + 12, j*q - 9 = -a - 1. Sort -3, w, q in decreasing order.
q, w, -3
Let b be 3/2*4/6. Let i be b/3 - (-88)/(-66). Sort i, 3, 7 in decreasing order.
7, 3, i
Suppose -5*z - 40 = -5*h, -11*h + z = -13*h + 4. Sort 5, h, -76 in increasing order.
-76, h, 5
Let b = -198 - -195. Put 20, 4, -4, b in ascending order.
-4, b, 4, 20
Suppose 56*s + 12 = 52*s. Let i be (3/(-1) - -3) + -10. Let y = -9 - i. Sort 3, y, s.
s, y, 3
Suppose -3*k = -41 - 52. Suppose 0 = 30*x - k*x. Sort 3, x, -3/7 in descending order.
3, x, -3/7
Suppose -2*z + 3*z + 5*t = 17, 4*t = 4*z + 4. Suppose -z*m + 11 - 3 = -g, -2*m = -8. Let d = -0.2 + 0.3. Sort d, 0.5, g in descending