 Put 0, 2, h in decreasing order.
2, 0, h
Let q be (-1)/2 - (-2)/8. Let h = 0.024 - 0.124. Sort h, -5, q in descending order.
h, q, -5
Suppose 3*f - 7*f = -16, -18 = -5*b + 3*f. Let r = 9 - b. Sort -5, r, 5 in descending order.
5, r, -5
Let m = -96 - -94. Sort m, -3, 5, 4 in descending order.
5, 4, m, -3
Let v(o) = 2*o + 5. Let d be v(3). Let a(u) = -u**2 + 12*u - 7. Let g be a(d). Put -2, -5, g in decreasing order.
g, -2, -5
Let n = 2 + -3. Let x = 50 - 49. Suppose -7 = y - 4*b, 5*b = -2*y + 5*y + 14. Sort y, n, x.
y, n, x
Suppose -4*f = 3*g + 8, -9 = g - 7*f + 2*f. Sort g, 3, -5.
-5, g, 3
Let s(t) = -t**2 - 10*t + 40. Let k be s(-13). Put -3, k, -5, -1 in descending order.
k, -1, -3, -5
Let k = -10 + 11. Let q = 5 - k. Put q, -1, 0.4 in decreasing order.
q, 0.4, -1
Let w = 2.4 - -1.6. Suppose -4*k - 22 = 2*m, 5 = k + m - 4*m. Let b be (1 - 0) + k/6. Sort b, -5, w in ascending order.
-5, b, w
Let k = -1.2 - -1.2. Let s = 1059/7 + -151. Let o be (9/12)/(3/12). Sort s, o, k in increasing order.
k, s, o
Let v be 45/12 - (-2)/8. Let g be (-12)/v*5/3. Let h(b) = 2*b**2 + b - 2. Let i be h(-2). Sort g, i, -1 in descending order.
i, -1, g
Suppose 0 = 4*o + n - 1 - 2, -5*o - 15 = 5*n. Sort -9, -1, o in ascending order.
-9, -1, o
Let h be (6/(-3))/(1/6)*-1. Let f = 24 - 12. Let c be (-3)/h + 9/f. Sort c, -2, 1 in descending order.
1, c, -2
Let f = 13 - 18. Let z(x) = x - 2. Let c be z(4). Sort -2, c, f in descending order.
c, -2, f
Let m = -107 + 746/7. Put -2/3, 0.3, m in descending order.
0.3, m, -2/3
Let y be -1 + 6 + 42/(-14). Put -2, y, 1 in descending order.
y, 1, -2
Let r(b) = 3*b. Let j be r(-1). Let a = 3 + -2. Let g = a + 0. Sort j, 4, g in decreasing order.
4, g, j
Let m = -16 + 22. Suppose 0 = -3*f - m, -14 = -4*a + 7*f - 2*f. Sort a, -2, 3 in descending order.
3, a, -2
Suppose 2*a + 2 = 5*t, -5*t + 30 = 2*a + 3*a. Let r(w) = w**2 - 3*w - 5. Let m be r(5). Put 2, a, m in ascending order.
2, a, m
Let b = 14/33 + -1/11. Let i = -1.05 - -0.95. Sort b, -0.2, i in descending order.
b, i, -0.2
Let n(r) = 2*r. Let y be n(-1). Sort y, 4, 1 in descending order.
4, 1, y
Let h = 14 - 11. Let w = -7 - -10. Suppose 0 = -g - w*g + 16. Sort g, h, -4 in descending order.
g, h, -4
Let s(t) = t**2 - 2*t - 27. Let q be s(6). Let r(a) = a**2 - 2*a - 2. Let f be r(3). Sort f, q, -1.
q, -1, f
Let l = -2 + 8. Let f = l + -5.4. Let r = f - 0.5. Sort -2, r, -3/4 in descending order.
r, -3/4, -2
Let u be ((-4)/12)/((-15)/18). Put u, 0.5, 4 in increasing order.
u, 0.5, 4
Suppose 3*x = 4*v - 3 - 4, 0 = 5*v + 4*x - 1. Let m = 30 + -32. Sort 3, v, m.
m, v, 3
Suppose -p + 6*p - 10 = 0. Suppose -t - t - 6 = 0. Put t, p, -4 in descending order.
p, t, -4
Let k(o) = o**3 + 4*o**2 - o - 2. Let w be k(-4). Suppose -w*a + 4*h = -16 - 4, -3*a = -2*h - 10. Sort 1/5, -4, a in descending order.
1/5, a, -4
Suppose 0 = 2*p + 10, -20 = -3*i - 0*i + 4*p. Put i, 1, 5 in increasing order.
i, 1, 5
Let k(m) = -m**2 + 3*m + 2. Let i be k(4). Let w be 171/(-36) + (2/2)/(-4). Suppose 3*a = 1 + 2, 22 = 4*d + 2*a. Sort i, d, w in descending order.
d, i, w
Let w = -21 - -19. Put w, 0.2, 0.5, 0 in increasing order.
w, 0, 0.2, 0.5
Suppose -2*m = -2*t + 4, 5*t - 16 = -4*m + 3*m. Sort 0, -3, m.
-3, 0, m
Let s(i) = -i**3 + i**2 + i - 3. Let r be s(0). Suppose 4*v + 10 = -5*x + 7*x, 0 = -5*v + 5*x - 20. Let j = v - -3. Sort j, -5, r.
-5, r, j
Let n = 0.2 - -0.3. Let q = -0.2 + 0.35. Let j = 0.05 + q. Put 0.1, j, n in descending order.
n, j, 0.1
Let g = 2 + 2. Suppose 4 = -4*k - g. Put k, -7, -3 in descending order.
k, -3, -7
Let x = -0.1 - -0.1. Let h = x + -2. Let k = -0.0063 - 0.1937. Sort k, h, 3 in decreasing order.
3, k, h
Suppose 3*d - 4*d = 5, 0 = 2*w + 5*d + 29. Let q be 11/15 + 8/(-60). Put w, 0.3, q in increasing order.
w, 0.3, q
Suppose p - 9 = -2*p. Let k = -3 + 10. Suppose -g - 3 = -k. Sort -4, p, g.
-4, p, g
Let i = 4 + -3.94. Let k = -0.06 + i. Sort 5, 1, k in decreasing order.
5, 1, k
Let v be (-8 + 11)*(-2)/6. Sort 3, -4, v in decreasing order.
3, v, -4
Let n = 3 + -4. Let w(j) = j**3 - 16*j**2 + 12*j + 43. Let v be w(15). Let z(o) = 5*o**3 - o + 1. Let m be z(1). Put v, m, n in ascending order.
v, n, m
Let a(b) = -b. Let v be a(2). Let g(h) = -h**3 + 7*h**2 - 2*h - 4. Let q be g(6). Suppose -4 = -2*d - r, d + q = -r + 6*r. Sort v, -4, d in decreasing order.
d, v, -4
Let u = 3.15 - 0.15. Let t = u - -2. Let o = 0.9 + 0.1. Sort o, 2/7, t in descending order.
t, o, 2/7
Let k(p) = -15*p**3 - 2*p**2 + 1. Let j be k(-1). Let i be (-24)/j*(-4)/16. Put 4, -5, i in decreasing order.
4, i, -5
Let s(m) = -6*m**2 + 1. Let h be s(1). Sort -3, h, 5 in increasing order.
h, -3, 5
Let h(a) = 6*a**2 - a + 1. Let t be h(1). Let y = t - 2. Let u = -6 - -2. Sort y, u, 0.
u, 0, y
Let w(u) = 2*u**2 - u + 1. Suppose s + h - 6 = 0, 0*s = 5*s + 4*h - 25. Let y be w(s). Let j be y/3*(4 + -5). Sort j, 5, 2.
j, 2, 5
Let r be (-4)/6*(3 + -6). Let f be 20/5 + -1 + r. Let s be 2/(-3)*6/(-4). Put f, s, -1 in ascending order.
-1, s, f
Let a = 12.2 + -12. Sort -0.3, 0.3, a in descending order.
0.3, a, -0.3
Suppose 5*t - 14 + 4 = 0, 3*t + 3 = 3*d. Suppose k + c + 6 = 0, c + 28 = -5*k - 2*c. Sort -1, d, k in increasing order.
k, -1, d
Let f be (4/54)/((-8)/24). Let z = -1.1 + 1. Let t = -37 + 36.7. Put z, f, t in descending order.
z, f, t
Let i(r) be the third derivative of r**6/120 - r**5/60 - r**4/12 + r**3/3 - r**2. Let t be i(2). Sort 1, t, 0 in decreasing order.
t, 1, 0
Let c = 1 + 0. Let k = 0.11 + -0.31. Put -2/13, c, k in descending order.
c, -2/13, k
Let i = 0.8 - 0.5. Let j = i - -0.2. Let b = -2.01 - -0.01. Sort j, b, -0.3 in descending order.
j, -0.3, b
Let a(f) = -f**2 - 5*f - 3. Let s be a(-5). Put -2, s, -5 in ascending order.
-5, s, -2
Let v = 11 - 9. Suppose 0 = 5*p + v*m - 9, 0 = 5*p - 2*p + 2*m - 3. Sort -1, 5, p.
-1, p, 5
Let r = 1 - 1.2. Let y = 0.3 + r. Sort -2/9, 0.5, y in decreasing order.
0.5, y, -2/9
Suppose 5*o - 2*b - 2*b = 16, -5*b - 3 = -2*o. Sort 2, 7, o in descending order.
7, o, 2
Let a = -14/9 - -5/3. Let i = 5.376 + -0.076. Let b = -1.3 + i. Put b, 1, a in decreasing order.
b, 1, a
Suppose 1 = -a + 10. Put -1, -3, 3, a in decreasing order.
a, 3, -1, -3
Suppose -2*t = -0*t + 2. Let q = 0 + 4. Suppose q*c - 28 + 4 = -2*l, 0 = -2*c + 8. Sort 0, l, t in increasing order.
t, 0, l
Suppose 3*r + h + 13 = 0, 5*r + 4*h + 19 = -12. Suppose 5*a = 10, -6*x + 3*x - a = -11. Suppose x*c + 4 - 1 = 0. Sort r, -4, c in decreasing order.
c, r, -4
Let z = 71 + -73. Sort z, -2/45, -0.3.
z, -0.3, -2/45
Let h = 7.3 - 7. Suppose 11*r - 1 = 32. Put r, 0.5, h in ascending order.
h, 0.5, r
Let g = 2 - 4. Let r = -1.9 - g. Let n = 0.4 + r. Sort 3, n, 2/3 in decreasing order.
3, 2/3, n
Let p = -11 + 11. Sort p, 1/6, 3 in decreasing order.
3, 1/6, p
Suppose -36 - 9 = -5*f. Sort 2, f, -1, -4.
-4, -1, 2, f
Let u = 128935594/2065 + 27148/295. Let q = -62739 + u. Let a = -208 - q. Sort -3, a, 2 in decreasing order.
2, a, -3
Suppose -7 = 5*m - 6*m. Sort -2, 0, m, -1/5.
-2, -1/5, 0, m
Suppose 41 - 17 = -6*r. Let h = 17 + -12. Put r, 0, h in decreasing order.
h, 0, r
Let f(v) = -2*v - 9. Let w be f(-8). Suppose -j + 18 = -w. Suppose 8*g = 3*g - j. Put 1, g, 5 in descending order.
5, 1, g
Let n(q) = 4*q - 24. Let j be n(6). Put 3, j, 5, -2 in decreasing order.
5, 3, j, -2
Let s = -0.22 - -0.02. Let f = -85 + 80. Sort 0.07, s, f in descending order.
0.07, s, f
Let g be 6/(-4)*20/(-10). Sort -3, g, -1.
-3, -1, g
Let o = -9.6 + 0.6. Put -3, -4, o in descending order.
-3, -4, o
Suppose -2*u + 8 = 2. Let g be (0 - 5/u)*3. Put -1, g, -4 in descending order.
-1, -4, g
Let w be (3/(-2))/(3/(-10)). Let f(b) = b**2 - 2*b - 2. Let o be f(2). Let s(d) = -d**3 + 2*d**2 - 2*d + 1. Let j be s(1). Put w, j, o in decreasing order.
w, j, o
Suppose 58*u = 53*u - 10. Let t be 3/2 - 3/3. Put u, 0.4, t in ascending order.
u, 0.4, t
Let d(o) = 6*o - 2. Let r be d(4). Suppose b = 2*x, -5*b - x - r = -0*b. Sort -1, 5, b in ascending order.
b, -1, 5
Let d = 13.93 + -14. Let m = 2.93 - d. Let w = -0.4 - -0.8. Put 0, m, w in ascending order.
0, w, m
Let r be (-2)/2 - 2/1. Let t be 1/(-3) - (-8)/6. Let n(u) = 6*u**3 - u**2 - u + 1. Let q be n(t). Put r, q, 0 in decreasing order.
q, 0, r
Let g = 22.043 - 0.043. Sort g, 2/7, 2/3 in decreasing ord