 Put 1/10, 4/3, -0.3, z in decreasing order.
z, 4/3, 1/10, -0.3
Let m = 0.02 + 0.38. Let n = -5 + 4.8. Let u = n - 0.8. Put -3, m, u in descending order.
m, u, -3
Suppose 2*b + 4 = -5*q - 16, -2*b = 2*q + 14. Let n(f) = -17*f + 1. Let x be n(-2). Let t = x - 33. Put t, b, 3/2 in ascending order.
b, 3/2, t
Suppose 0 = -j + 4*j. Let i = -9 - -19.3. Let s = i - 10. Put j, -0.1, s in ascending order.
-0.1, j, s
Let v be (-3)/42*2*-10. Let r = v - 33/28. Let y = -3 - -2.8. Sort 2/5, r, y in increasing order.
y, r, 2/5
Let o(p) = -2*p**2 + p. Let l be o(-1). Suppose -2 - 8 = 2*f. Sort f, -2, l.
f, l, -2
Let h(m) = -m**3 - 5*m**2 + 7*m + 9. Let d be h(-6). Suppose -c = c - 4. Put d, 4, c in ascending order.
c, d, 4
Let y be 2/4*-1*-10. Suppose 3*b = -2*o - 2 + 3, -5*o + 2*b + 12 = 0. Suppose -y*x + 4*s - 8 = 9, -5 = -x - o*s. Put 3, 0, x in descending order.
3, 0, x
Let g(c) = c**2 + 6*c - 7. Let y be g(-8). Suppose -4*k = -y*k + 25. Put k, 1/2, 3 in increasing order.
1/2, 3, k
Let z be (2 + 1)*251/21. Let q = z - 36. Let l = -0.01 - 1.99. Put l, 3, q in decreasing order.
3, q, l
Suppose -4*s + 3*s = 1. Sort -5, 2, s, -3.
-5, -3, s, 2
Let k be 1 + 1/(10/(-6)). Suppose 1 = 3*m - 5*r + 4, 0 = -m - 3*r + 13. Sort m, -4, k in ascending order.
-4, k, m
Let q = 42 - 35. Sort q, -4, -1 in ascending order.
-4, -1, q
Suppose -8 = 5*w - 33. Sort 2, w, 1 in ascending order.
1, 2, w
Suppose m = 3*l + 13, -l = -2*m - 0*l + 1. Let y be 4 + (3 - 3)*1/(-2). Sort m, 2, y.
m, 2, y
Let t = 0.1 - 0.3. Sort t, -4/3, 0.2.
-4/3, t, 0.2
Let t be 19/3 + 3/(-9). Suppose -u - t = -q, -2*u - 9 = 2*u - q. Put 2/5, u, 3 in increasing order.
u, 2/5, 3
Let a = -12 - -11.9. Sort 4, a, 3 in descending order.
4, 3, a
Let j = -0.03 - -5.03. Let v = 0.03 + -0.08. Let s = -0.05 - v. Sort s, j, 0.5 in increasing order.
s, 0.5, j
Suppose -5*s + 53 + 137 = 0. Put -4, s, 3, -3 in decreasing order.
s, 3, -3, -4
Let k = -139/3 + 46. Let r = 644/99 + -74/11. Sort k, r, -3/5.
-3/5, k, r
Let i be 52/112 + (-3)/4. Put -4, i, -0.3 in increasing order.
-4, -0.3, i
Let i = -5 + 4.94. Let y = i + 5.26. Let m = 5 - y. Put -4, 3/4, m in descending order.
3/4, m, -4
Let y = -562/4875 - -8/125. Put y, -0.2, 3 in decreasing order.
3, y, -0.2
Let o be -10*2/(-72) + 4/(-8). Let u = 2 - -3. Sort 1/6, u, o in decreasing order.
u, 1/6, o
Suppose 0 = 4*m - 4. Let d(k) = 3*k - 46. Let b be d(16). Put b, 0, m in ascending order.
0, m, b
Let w be (-2)/(-8) + (-123)/12. Let o(m) = m + 11. Let u be o(w). Sort u, 5, -1 in descending order.
5, u, -1
Let p(f) = -f**2 + 7*f + 4. Let v be p(7). Suppose -u + v*b = 10, -5*u - b + 5 = -8. Suppose 4*g + 32 = -5*d, g - 17 = 3*d + u*d. Sort 0, -5, g.
-5, g, 0
Let y be 87/(-12) + 1/4. Let b = y + 10. Suppose 5*l = -2*w - 12, -4*l + b*w = 9 - 4. Sort l, 3, -4 in decreasing order.
3, l, -4
Let j be 6/5*(-15)/(-6). Let k be (-215)/40 + 6/16. Sort k, j, 5 in descending order.
5, j, k
Let j be 3/(-12) + (-60)/(-48). Suppose -3 - 17 = 4*s. Put j, -1, s in descending order.
j, -1, s
Let b be (-2)/11 + (-28)/(-77). Suppose 8 + 7 = 3*c. Sort -5/6, c, b.
-5/6, b, c
Let k = 52 - 49. Sort -3/4, 2.2, k, -2 in decreasing order.
k, 2.2, -3/4, -2
Suppose -2*f + 4*m = 2, f + 2*m + m - 9 = 0. Let i = 0.4 + 0. Let r = -0.5 + i. Put r, 4, f in decreasing order.
4, f, r
Let j(x) = -3*x - 3 - 4*x + 6*x. Let i be j(-5). Suppose -3*y = 2*y. Sort y, -3, i.
-3, y, i
Let m = 0.1 - 1.1. Let b = 2 + m. Let w = 40 - 201/5. Put w, 4, b in decreasing order.
4, b, w
Let u = -4 + 1. Let w = 1 - u. Suppose 4 = 2*r + r + 4*i, 4*r - 2 = -2*i. Put w, -6, r in descending order.
w, r, -6
Suppose -5*l = 3*v + 29, -3*v + 2 = -v - 2*l. Put 4, v, 1, -5 in ascending order.
-5, v, 1, 4
Let l = 10.9 - 1.9. Sort -0.4, 0.4, l.
-0.4, 0.4, l
Let b be (-48)/20*(-10)/4. Put 2, b, -0.3 in ascending order.
-0.3, 2, b
Let b = 7 + -16. Let m = -8.8 - b. Sort -4, m, -3 in descending order.
m, -3, -4
Let p = -0.29 - -0.19. Sort p, 0, -2 in ascending order.
-2, p, 0
Let w = 0.03 + -0.43. Let u be 16/(-96) + (-1)/2. Put w, -0.6, u in descending order.
w, -0.6, u
Suppose -23 + 3 = 4*r. Put r, 0, 0.1 in decreasing order.
0.1, 0, r
Let b = -18 - -18.11. Let l = b - -4.89. Let u = 3 - -1. Sort u, -1, l.
-1, u, l
Let s be (-21)/14 + (-1)/2. Let t be 2*(s/(-4) - 3). Sort 1, t, 6 in descending order.
6, 1, t
Let i(w) = -w**3 + 5*w**2 + w - 5. Let g be i(5). Suppose 5 = k - 0*k. Sort g, k, 1 in ascending order.
g, 1, k
Let u(q) = q**3 + 4*q**2 + 4*q - 1. Let k be u(-3). Suppose 2*f = -f - 6. Sort k, 1, f.
k, f, 1
Let u be -44*(2 + (-54)/8). Let l be (-6)/(-9) - u/3. Let d = l + 347/5. Sort d, 4, 5 in ascending order.
d, 4, 5
Let n(o) = -3 - 4*o + 1 + 3*o + 3. Let u be n(0). Suppose 4*k - u = 5*k. Sort 1, k, -2 in increasing order.
-2, k, 1
Suppose 5*j - 5 = 2*r, -5*r = -2*j + 6*j - 4. Suppose -3*v = 3*y - 3, -3*y = 2*y - 2*v - 19. Put j, y, 4 in descending order.
4, y, j
Let v = 39 + -43.4. Let u = v - -0.4. Put u, -3/7, -0.4 in increasing order.
u, -3/7, -0.4
Suppose 0 = 2*q - 1 - 5, -5*a = 3*q - 14. Let x = 7 + -4. Let w be 13/x - (-4)/6. Sort a, 2, w in descending order.
w, 2, a
Let q = 0 + 3. Let z be (-1*3)/(-3)*-1. Sort -5, q, z in descending order.
q, z, -5
Let j be -4 + (-52)/(-4) - 2. Suppose -j*g + 9*g = -2. Sort g, 0.2, 3 in ascending order.
g, 0.2, 3
Suppose -67*l + 20 = -62*l. Sort -9, l, 5 in increasing order.
-9, l, 5
Suppose -2*t - 4*p = 12, -7 + 3 = 2*t + 2*p. Sort -1, t, 3/5 in decreasing order.
t, 3/5, -1
Suppose 2 = 3*p - 4. Sort -6, 5, p in decreasing order.
5, p, -6
Let y = -46 + 48. Put 5, -4, -2, y in decreasing order.
5, y, -2, -4
Let c = 372.6 + -372. Let d = -0.27 - 0.03. Put 0.3, c, d in descending order.
c, 0.3, d
Let l = -7.2 + 7.1. Sort l, 0.14, 1/9, 0.3.
l, 1/9, 0.14, 0.3
Let r = 26 - 31. Sort 0.4, r, -0.4 in descending order.
0.4, -0.4, r
Let b = -2.3 + 2. Suppose 5*y - 4*y = 1. Let z be (-2 - 45/(-51)) + y. Sort z, b, 2/3 in descending order.
2/3, z, b
Let k(d) = d + 1. Let h be k(-3). Let v be 13/((-39)/(-12)) - 8. Put v, 6, h in descending order.
6, h, v
Let a = 4 - -1. Let v = -1 + -1. Let g(s) = s**3 - 1. Let p be g(0). Sort a, v, p in increasing order.
v, p, a
Let f(s) = s**3 - 9*s**2 + 8*s - 1. Let d be f(8). Let h be -3 + -1 + (-2)/d. Put 0, h, -9 in descending order.
0, h, -9
Let f = -19 - -4. Sort -4, f, 2 in decreasing order.
2, -4, f
Suppose -3*f - z + 10 = 0, -3*f - 3*z + 25 - 7 = 0. Suppose o = 5*g + 14, 0 = -3*g + o - 8. Sort g, 1, f in decreasing order.
f, 1, g
Let v = -44.2 - -44. Sort v, 4, 0 in decreasing order.
4, 0, v
Suppose j = -3*j + 16. Sort -5, 1, 2, j.
-5, 1, 2, j
Let t be 2/13 - 44/(-52). Sort t, -0.2, 1/5 in increasing order.
-0.2, 1/5, t
Let o = -0.1 + 1.1. Put -3, o, 3 in decreasing order.
3, o, -3
Let d = 131 + -915/7. Let i = 81 - 84. Sort 3, i, d in ascending order.
i, d, 3
Suppose -5*y + 8 = 3. Suppose -u + y = -0*u. Put -1, u, -3 in decreasing order.
u, -1, -3
Let r = -16.2 + 12.2. Put r, -0.3, -0.1 in increasing order.
r, -0.3, -0.1
Let p = 71 - 71. Let y(k) = -2*k**2 - 3*k - 2. Let l be y(-2). Sort l, p, -1 in descending order.
p, -1, l
Let m be 26/(-6) + 3 - 3/(-9). Put -2, m, 5 in increasing order.
-2, m, 5
Let k = -33 - -29. Put k, 1.2, -0.2 in ascending order.
k, -0.2, 1.2
Let i(o) = 4*o - 2. Let j be i(3). Suppose -5*k - j = -0*k. Sort k, 3, 4 in ascending order.
k, 3, 4
Let b = 1 + 1. Suppose -b + 5 = t. Suppose t*j = 5*s - 3, 2*j + j + s = 15. Put j, -2/17, 5 in ascending order.
-2/17, j, 5
Suppose 7*t = 3*t. Let d = 7 - 4. Sort t, 1, d in ascending order.
t, 1, d
Let n(t) = -t**2 - 9*t + 13. Let h be n(-10). Suppose -r + 8 = -h*r. Suppose -j = j - 4*m + 10, -2*m + 4 = 0. Sort j, -5, r in descending order.
j, r, -5
Let j be 0/(2 - -2) - -4. Sort -5, 5, j in increasing order.
-5, j, 5
Let y = 229/4 - 57. Let p = -1 + -2. Put y, p, -2 in decreasing order.
y, -2, p
Let s = -5 - -3. Sort 2, -1/9, s in decreasing order.
2, -1/9, s
Let g = 3 + 5. Suppose 4 = 4*t - g*t. Let s = 1 + -1. Sort t, s, 3.
t, s, 3
Let o = -104 + 99. Sort -4, o, 5.
o, -4, 5
Suppose -1 = -0*l + l - h, -19 = -l - 3*h. Sort 1, l, 0 in ascending order.
0, 1, l
Let u = -34 - -67. Let v be (-8)/28 + u/(-7). Suppose l - 13 = 5*t, 5*l = -5*t + 5 - 0. Sort v, -4, t in increasing order.
v, -4, t
Let h be 0