.
1/4, k, c
Let s = -37 - -29. Sort s, -0.1, 2/11.
s, -0.1, 2/11
Let u = -0.8 - 0.2. Let r = 4 + u. Let w be (-6)/28*(0 - 2). Put r, w, -2/5 in increasing order.
-2/5, w, r
Suppose 0 = 5*v - q - 5, 3*q = -3*v - 12 - 3. Suppose -4*p - 5 = h + 7, 4 = -3*p - 2*h. Put p, v, 5 in descending order.
5, v, p
Let v = 6245039/4491270 + -1/128322. Let l = v + -4/21. Put -4, l, 2 in ascending order.
-4, l, 2
Let l(p) = 7*p + 2. Let n(g) = g + 2. Let z be n(-3). Let h be l(z). Suppose 3 = -u - 1. Sort h, 5, u.
h, u, 5
Let p = 1 - -4. Sort p, -3, 8 in decreasing order.
8, p, -3
Let s = -129 - -128.9. Let w = 15 - 11. Sort s, -6, w in ascending order.
-6, s, w
Let d = 120 - 122. Suppose -3 = -c + 2*c. Sort d, 0, c in increasing order.
c, d, 0
Suppose -m + 0*m - 8 = k, 3*m = -2*k - 21. Let b = 206/3 + -68. Put 1/6, m, b in increasing order.
m, 1/6, b
Let t = -31 + 31.21. Let n = t - -0.19. Sort 4, -2, n.
-2, n, 4
Let t = -63 + 54.4. Let l = t - -9. Sort -5, 0.3, l in descending order.
l, 0.3, -5
Let y(m) = -9*m**3 - m**2 - 2*m - 1. Let p be y(-1). Let n = 13 - p. Suppose n*w - w = 12. Put -2, w, 1 in ascending order.
-2, 1, w
Let x = -3012/11 - -274. Put 2, x, -0.7, -0.1 in ascending order.
-0.7, -0.1, x, 2
Suppose 0 = -4*h + 5*g - g - 16, 0 = -3*h - 3*g - 12. Sort h, 2, -2, -15.
-15, h, -2, 2
Suppose -2*w - 20 = 2*a + 3*a, a = -w - 7. Suppose 2*h = n + 7, 3*n - 3*h + 18 = -n. Suppose -5*l - 4 = -19. Sort a, l, n in decreasing order.
l, a, n
Let u(b) = b - 8. Let m be u(12). Let v(h) = h**3 + 9*h**2 + 8*h + 7. Let q be v(-8). Sort 5, m, q.
m, 5, q
Let p be (-112)/735 - (-4)/14. Put 2, -3, p in decreasing order.
2, p, -3
Let v be (-4)/(-2) - 0/(-2). Let o be v/(-1) + -1*3. Sort -1/11, o, -0.2.
o, -0.2, -1/11
Let m = -84 - -82. Sort -50, 4, m in decreasing order.
4, m, -50
Let m(x) = x**2 + 3*x + 1. Let o be m(-2). Let y be -1 + (-1 + 4 - -2). Sort 0, y, o in decreasing order.
y, 0, o
Let x be ((-112)/(-26))/2 + -2. Let m = 0.11 - 5.11. Let f = m - -2. Put -2/15, f, x in descending order.
x, -2/15, f
Let i be 202/18 + (-6)/27. Suppose 3*x - i = 3*z - 2, x + 4 = 0. Let p be 2/(-3)*3/z. Put 1, 5, p in descending order.
5, 1, p
Let a = 3.892 + 0.008. Put 1, -3, a, 1/3 in increasing order.
-3, 1/3, 1, a
Let r = -17665/92 + 192. Let d = r - -189/460. Put d, -2/7, 0 in ascending order.
-2/7, 0, d
Let c(g) = -2*g**2 - g + 4. Let x be c(-2). Sort 5, x, 6 in descending order.
6, 5, x
Let j = 4 - 4.4. Let n = -0.3 - j. Suppose p + 4*f = 4, 0 = f + 4*f - 10. Put p, -3, n in ascending order.
p, -3, n
Let u = 3 + -8. Sort 4/9, -18, u, 1.
-18, u, 4/9, 1
Let z = 2 + -1.86. Let l = z + 0.06. Sort l, 1/8, 1/3 in decreasing order.
1/3, l, 1/8
Let u be ((-20)/6 - -2)*-3. Suppose -3*i = -a + u*a + 6, 2*i + 5*a + 4 = 0. Let m = -110 - -105. Put i, m, 5 in descending order.
5, i, m
Let p = -49 + 45. Sort 2/5, 13, p in descending order.
13, 2/5, p
Let v = -25 + 31. Sort -3, -2, v in decreasing order.
v, -2, -3
Suppose 5*x + 15 = -10. Let c = 1 - 3. Let i be 6/(-2) - (c - -2). Put 1, x, i in descending order.
1, i, x
Let t = -11 - -17. Suppose -k - t = 4*h + 3, 11 = -3*k - 4*h. Sort 1, 4, k in increasing order.
k, 1, 4
Let h(o) = o**3 + 3*o**2 - 5*o - 3. Let p be h(-4). Sort -1, -3, 0, p in ascending order.
-3, -1, 0, p
Suppose -l - 4*r = -2*l - 10, -l - r = 0. Sort l, -1, 8, 0 in increasing order.
l, -1, 0, 8
Suppose -16 = -3*y + m, 4*y + 4*m = 3*m + 12. Let u(a) = a - 2. Let x be u(y). Let z = 3.9 + 0.1. Sort z, -0.4, x in decreasing order.
z, x, -0.4
Let g be 1/((-2)/(1 + -3)). Let m be (4 - 96/20) + 1. Put g, -5, m in descending order.
g, m, -5
Suppose 5 = 5*f, 2 = -4*d - 2*f - 12. Let t = 5 + d. Sort -5, t, 0 in ascending order.
-5, 0, t
Suppose 5*u + 3*w = -2, 2*u - 3*w - 8 = 8. Suppose u*q + q = -2*v - 5, -5*q = -4*v - 21. Let j = v - 1. Sort 4, j, 0.2 in decreasing order.
4, 0.2, j
Let v = 3.6 + -3.1. Let c = -3 + -3. Let w = c - 1. Sort w, -2/7, v in increasing order.
w, -2/7, v
Let j(i) = -i**2 + i - 3. Let t be j(0). Suppose 4*q - 6*w + 3*w = -11, -3*q = 3*w + 24. Let k be -2 + -1 - t - q. Sort 1, 4, k.
1, 4, k
Let g = 72 + -77. Put -4, 3, g, 0 in descending order.
3, 0, -4, g
Let q = 40 - 41. Suppose 0 = -4*n + 3 + 1. Suppose -2*a - 3*g = 7, -2*g = -4*a + 3*g + 41. Put q, a, n in descending order.
a, n, q
Let z(n) = -n**3 - n**2 + n. Let v be z(1). Let g(j) = -j**3 - 6*j**2 - j - 1. Let d be g(-6). Let s be (-22)/8 + 1/(-4). Sort s, d, v in increasing order.
s, v, d
Let q = -0.12 + -1.08. Let s = 3.8 - q. Put -0.4, s, 2 in descending order.
s, 2, -0.4
Let a = 7 + -6.5. Suppose 0 = 3*t - 2*i - 2, 3*t + 5*i - 4*i = -10. Let q be (-4)/(t - 0) + -1. Sort -5, a, q in decreasing order.
q, a, -5
Suppose 2*x - 12 = -0*x. Let n = x + -4. Let y(r) = 3*r + 1. Let b be y(-1). Sort n, b, 5 in decreasing order.
5, n, b
Let l = -1.95 - -2. Let d = -2.95 - l. Let o = 0.14 + -0.24. Sort d, 1/3, o in decreasing order.
1/3, o, d
Let k(w) = 1 + 8 - 8 - 11*w - w**2. Let o be k(-11). Sort 0, o, 5 in descending order.
5, o, 0
Let l = 24 - 12. Suppose -5*o + o = l. Let h = 0.6 - 0.3. Sort o, h, 0 in descending order.
h, 0, o
Let g be (8/(224/(-35)))/((-1)/(-4)). Sort -1, g, -3, -4 in ascending order.
g, -4, -3, -1
Let z(d) = -d**2 - 5*d - 5. Let x be z(-4). Let t = 1.8 + -3.8. Sort t, x, 0.2 in descending order.
0.2, x, t
Let c = 109 + -109.3. Sort c, -3, 1.
-3, c, 1
Let s be (-4)/6*(-5)/20*30. Put 4, 2, s, 0 in increasing order.
0, 2, 4, s
Let a = -22 + 16. Sort 5, 1/6, a.
a, 1/6, 5
Let h = -28 - -14. Let v be 4/h - 48/28. Sort v, -3, 2.
-3, v, 2
Let r = 2 + 2. Let k = 54 + -58. Sort k, -3, r in ascending order.
k, -3, r
Suppose -2*k + 6 - 4 = 0. Sort -3, -5, k, 2 in decreasing order.
2, k, -3, -5
Suppose 42 = -4*p + 2*p + 2*o, 4*o - 109 = 5*p. Let m be ((-24)/15)/((-10)/p). Sort m, 3, -1/3 in decreasing order.
3, -1/3, m
Let z(v) be the first derivative of 2*v**3/3 - v**2/2 - v + 2. Let l be z(-1). Let f = l + -1. Put -5, f, -3 in descending order.
f, -3, -5
Suppose -3*k = -4 - 2. Suppose 0 = -6*u + k*u + 8. Put 2/17, 1/8, u in ascending order.
2/17, 1/8, u
Suppose 2*f - 6 = -0*f. Suppose 5*c + 9 = -3*g - 20, 0 = c - f*g - 5. Suppose -2*r = -3*r - 5. Put 0, r, c in decreasing order.
0, c, r
Let o be 2 - (-3 + 2) - -1. Let q = o - 4. Sort q, 4, 3 in decreasing order.
4, 3, q
Let z = -5 + 0. Let v be 1 - (-4 - (z + 3)). Suppose 4*f + 0*f = -12. Put f, v, 0 in increasing order.
f, 0, v
Suppose n + 15 = -r - 2*r, -15 = 3*r - 5*n. Let o be -2*(13/2 - 6). Sort o, r, 5 in descending order.
5, o, r
Suppose 0 = -x - 3*u - 13, 5*x + 22 = 3*x - 5*u. Sort -4, 0, x.
-4, x, 0
Let r be 3*((-8)/6 + 1). Suppose 7 = -4*q - 5. Suppose 5*m + 0 = 5. Sort m, r, q in increasing order.
q, r, m
Suppose 2*c + 6 = 0, -c + 12 = -3*a + 6*a. Let x(g) = 6*g. Let z be x(2). Let w be 3/(z/(-8)) - -1. Sort w, -2, a in decreasing order.
a, w, -2
Let n = -125 + 124. Put 2/13, -2/13, n, -0.1 in descending order.
2/13, -0.1, -2/13, n
Let c(w) = 3*w**2 - w + 1. Suppose 4 = -2*y - 0. Let u be c(y). Suppose -3*f = -3*h + u, -4*h + 4 = 5*f - 7. Sort -2, h, 5 in descending order.
5, h, -2
Suppose 5*g + 4 = -11. Let b = -6 - -6. Sort 3, g, b in descending order.
3, b, g
Let y = 23 + -24. Put -1/5, y, 0.5 in descending order.
0.5, -1/5, y
Let b = -7 + 2. Sort 2/17, b, -0.6 in ascending order.
b, -0.6, 2/17
Let a = 22 + -20. Sort a, 0, 5.
0, a, 5
Suppose -4*g - f + 67 = 0, -86 = -5*g + 3*f - 2*f. Suppose -2*a - g = -7. Let k = 11 + -7. Sort k, 0, a in descending order.
k, 0, a
Let s = -6.4 + 6.2. Put s, -1/2, -3 in descending order.
s, -1/2, -3
Suppose -5*j = -j - 4*l - 56, -3*j + l = -48. Suppose 14*t - 3 = j*t. Put t, 2, -2 in decreasing order.
2, t, -2
Let p(z) = z**3 - 12*z**2 - 6*z - 15. Let s(c) = -c**3 + 11*c**2 + 7*c + 14. Let o(v) = 2*p(v) + 3*s(v). Let y be o(10). Put -3, y, 5 in decreasing order.
5, y, -3
Suppose -5*n - 28 + 8 = 0. Let t = -18 - -18. Suppose -5*h + 3 - 28 = t. Put n, h, 3 in decreasing order.
3, n, h
Let c be (-6 - -2)*10/8. Sort 4, c, -3/8, -3/7 in increasing order.
c, -3/7, -3/8, 4
Suppose -r = -0*r + 3. Put 0, -5, r, -4 in decreasing order.
0, r, -4, -5
Suppose 0*m - 3*m = -6. Put 1, 3, m in descending order.
3, m, 1
Let z be (-261)/(-15) - (-4)/(-10). Suppose -2*v - 13 = 3*a, -4*v - z = 4*a - a. Sort 2,