z. Suppose 0 = 3*d - 6. Put 0, z, d in increasing order.
0, d, z
Let z = 39 + -41. Sort -18, z, 2 in increasing order.
-18, z, 2
Let k be 0/(((-4)/(-1))/2). Sort -0.2, 2/7, k in ascending order.
-0.2, k, 2/7
Suppose -4*c = 5*n - 8, 2*c + n - 6 = -c. Suppose 3*q - 1 = 2. Let g = -6 + 9. Sort c, g, q in decreasing order.
g, c, q
Let o be (-2)/(-1)*1/(-2). Let s = -561 - -556. Sort 4, o, s in decreasing order.
4, o, s
Suppose 3*i + 17 = 2. Put -4, i, -0.5, 4 in decreasing order.
4, -0.5, -4, i
Let d(l) = -l**3 + 9*l**2 + 22*l + 5. Let f be d(11). Put f, -4, -2 in decreasing order.
f, -2, -4
Let y = -88 + 93. Put -0.5, 3/7, y in descending order.
y, 3/7, -0.5
Suppose 0 = -2*a + 4*a - 20. Suppose 4*o - 6*o = a. Put 2/13, o, -4 in descending order.
2/13, -4, o
Suppose -3 = -3*w + 2*g + 1, -3*g - 23 = 4*w. Let o(h) = h - 4. Let j be o(6). Sort w, -4, j in descending order.
j, w, -4
Let s = -0.4 + 4.4. Let d = -2 + s. Let y = 1 - 1.1. Sort d, y, -3/2.
-3/2, y, d
Suppose 4*t - 20 = 0, -2*t = -l - 7*t + 27. Suppose 0*z = 3*z + 15. Sort -2, l, z in decreasing order.
l, -2, z
Let i(l) = -l - 3. Let d be i(-7). Suppose 1 = -4*q - 7. Sort q, d, 0 in increasing order.
q, 0, d
Suppose -2*l = -2*f + 30, 3*f + l - 29 = -0*l. Let b(w) = -w**2 + 10*w + 7. Let i be b(f). Put 5, -5, i in increasing order.
-5, i, 5
Let w = 295 - 300. Suppose l = 4*l - 3. Sort w, l, -4 in increasing order.
w, -4, l
Let i = 4 + -3.96. Let c = i - 0.04. Let s = 0.4 + c. Sort s, 0.3, 2/3 in ascending order.
0.3, s, 2/3
Let o = 3 + -4. Suppose -2*z - 12 + 14 = 0. Sort o, -5, z in increasing order.
-5, o, z
Let n = -4.5 + -0.5. Let i = 67 - 61.9. Let l = n + i. Put 2/11, 5, l in decreasing order.
5, 2/11, l
Let n = -27 + 47. Suppose n = -2*t - 3*t. Suppose 0*d - 5 = -d. Sort t, 4, d in descending order.
d, 4, t
Let f(b) = b**3 - 4*b**2 - 5*b. Let k be f(5). Let j be (1 - k) + -2 + 0. Let d be j/((-8)/(-6))*4. Put d, 4, 3 in increasing order.
d, 3, 4
Let a = 29 - 15. Let f = a + -10. Sort -1, -4, f in descending order.
f, -1, -4
Suppose 10*b = 16*b - 18. Put b, -5, -2, -4 in increasing order.
-5, -4, -2, b
Let z be ((-35)/(-14))/((-2)/4). Put -2, z, 3 in increasing order.
z, -2, 3
Suppose 35 = 3*j - 25. Suppose -j = -4*q + 12. Sort 1, q, 3 in decreasing order.
q, 3, 1
Let d = -188 + 941/5. Put 0.1, d, -6/7 in decreasing order.
d, 0.1, -6/7
Let t = -20 + 20. Sort 2, -2, t in ascending order.
-2, t, 2
Let l = 0.9 + -0.1. Let z = l - 0.6. Put z, 2/5, -3/8 in increasing order.
-3/8, z, 2/5
Suppose -4*d = c - 11, -5*d = -2*c - d - 2. Let b(u) = -u - 9. Let y be b(-14). Sort c, -1, y.
-1, c, y
Let p(h) = -h**3 - 7*h**2 - 6*h. Let u be p(-6). Sort -4, -6, -5, u.
-6, -5, -4, u
Suppose -12 = -2*b - 5*h, 9 = 3*b - 3*h + 33. Suppose 0 = 5*n - 0*n - 25. Let y(t) = -t**3 + 4. Let p be y(0). Put b, p, n in increasing order.
b, p, n
Let b be 4 + 67/(-9) + 3. Sort -0.3, 3, b.
b, -0.3, 3
Let k(n) = -n**2 + 10. Let b be k(0). Suppose -b + 38 = 4*z. Suppose 0 = 5*a + z - 22. Sort -2, a, 4 in descending order.
4, a, -2
Let a be 9/(-15) - (-53)/5. Suppose 2*l + 2 = a. Sort -0.3, l, 5 in decreasing order.
5, l, -0.3
Let n(w) be the second derivative of w**3/6 + 7*w**2/2 - w. Let x be n(-3). Sort x, -1, -2 in descending order.
x, -1, -2
Suppose -11*j = -8*j. Put j, 3, 12 in descending order.
12, 3, j
Let w = -0.26 - 0.24. Put 3/4, 5, 0.2, w in increasing order.
w, 0.2, 3/4, 5
Suppose 5*i = 1 + 9. Put 4, i, 7 in descending order.
7, 4, i
Let x be 3/(-3)*-3 - -48. Let t be x/18 - 2/(-12). Let w be 13/(-4) - (-1)/4. Sort w, t, 0 in descending order.
t, 0, w
Let j = 2 - 1.5. Let c = -0.28 + -0.02. Let k = 0 - c. Sort j, 5, k in descending order.
5, j, k
Let v = 0.7 + -1.1. Let p = v - 0.1. Put 5, 0.3, p in decreasing order.
5, 0.3, p
Let g = 0.16 + -7.16. Let q = g - -4. Put 4, q, -0.3 in increasing order.
q, -0.3, 4
Let n = -0.113 - 48.287. Let k = -44 - n. Let v = 4 - k. Sort v, 1, -0.2 in increasing order.
v, -0.2, 1
Suppose v + 4*w - 4 = 0, 4*v - w + 5 = 21. Put 3, v, 1, -2 in descending order.
v, 3, 1, -2
Suppose 0 = 3*w - w - 10. Let p(x) = -x**2 + 4*x - 2. Let i be p(4). Let n be (1 + i)*(-8 - -4). Sort n, w, 0 in decreasing order.
w, n, 0
Let t = 43 - 43. Sort -4, t, 3/4, -2.
-4, -2, t, 3/4
Let n = -0.2 - -0.23. Let h = 0.03 + n. Let z = h + 0.34. Sort 2/3, -2, z.
-2, z, 2/3
Let v = 0.3 - -0.3. Let j = v + -2.6. Sort j, -2/3, -1/6.
j, -2/3, -1/6
Let h = 5.7 - 6.2. Let u(r) = -r + 3. Let q be u(0). Suppose 5*s - m = -3*m + 25, 15 = 3*s - q*m. Sort -1/4, h, s in ascending order.
h, -1/4, s
Let u = -4.8 + 7.8. Sort u, -5, 33 in decreasing order.
33, u, -5
Let w = -0.047 + 4.047. Sort -1/3, w, -9 in increasing order.
-9, -1/3, w
Suppose -2*w - 10 = -4*s, 0 = 2*s + 3*w + 2 + 5. Let o be 5/4*(1 - 5). Put o, -1, s in increasing order.
o, -1, s
Let k(g) = g**2 - 12*g - 26. Let t be k(14). Sort 5, 7, t, 4 in descending order.
7, 5, 4, t
Let d = -11 + 7. Put d, 1, -2 in ascending order.
d, -2, 1
Let b = 118 - 70. Suppose -4*o = b + 68. Let w be (-2)/12 - o/(-6). Sort w, 3, -2 in decreasing order.
3, -2, w
Let i be -2*(0 - (-6)/4). Let n = 593/5 + -118. Put i, n, -5 in descending order.
n, i, -5
Let w(j) = -7*j - j - j**2 + 3 - 2. Let m(s) = s**2 + 7*s - 2. Let r be m(-6). Let h be w(r). Put h, -3, -0.4 in descending order.
h, -0.4, -3
Let m = 1890/11 - 172. Sort -7/4, m, 2, 3.
-7/4, m, 2, 3
Let a = 11 + -22. Let k = a - -10.9. Sort 4/3, -1, k.
-1, k, 4/3
Suppose 0 = -6*q + 3*q + 6. Suppose 4*p - 15 = -p. Put p, -4, q in increasing order.
-4, q, p
Let d = 0.17 + -0.57. Let m = -5.3 + 5. Let n be 2/7 - (0 - 0). Sort n, m, d in decreasing order.
n, m, d
Let g = -0.2 - -1.2. Let r = 26 - 17. Let a = 13 - r. Sort g, a, 5 in descending order.
5, a, g
Suppose 4*t - 5 = -9. Sort 3, t, -6, 5 in descending order.
5, 3, t, -6
Suppose -4*c = -5*i + 14, 0 = 5*c - i - 0 + 7. Let y be (-6)/(-9) + 4/(-9). Let w be (-24)/(-35) + (-2)/5. Sort c, w, y in descending order.
w, y, c
Let j = -3 - 2. Let n = -0.3 - -10.3. Let f = n + j. Put -0.2, -1, f in decreasing order.
f, -0.2, -1
Let f be ((-20)/8 + 2)*3. Let b = -0.7 + -0.3. Put 2/3, b, f in increasing order.
f, b, 2/3
Suppose 0 = 2*n - 2*b - 8, 19 = 3*n - 5*b + 5. Suppose -2*p = 7 - n. Sort -0.1, 5/2, p.
p, -0.1, 5/2
Let c = 0.8 + 11.2. Let x = 11.3 - c. Let v = -0.6 - x. Sort v, 2/13, 1 in decreasing order.
1, 2/13, v
Let r = -14.7 + -24.3. Sort r, 0.1, 4, -5 in decreasing order.
4, 0.1, -5, r
Suppose m + 2*j - 13 = -2, -2*j + 15 = 5*m. Let c be 3 - m - (-33)/(-18). Put 5, c, -0.4 in ascending order.
-0.4, c, 5
Let d = 1602 + -475796/297. Let p = d - -604/1485. Let s = 66 - 65.8. Sort s, p, 5/2 in increasing order.
s, p, 5/2
Let i be (0 + 2)/(-7 + 3 + -3). Sort i, 5, 4 in decreasing order.
5, 4, i
Let m be (-4)/6 - (-13)/(-3). Suppose -v + 3*v = 0. Suppose -3*f - 3 = v, -3*t = t + 4*f + 12. Sort m, t, -1.
m, t, -1
Let v = 45.2 - 18.8. Let x = v + -27. Put -2, x, 2 in increasing order.
-2, x, 2
Let h = 25/3 + -109/12. Let x = -127/4 - -32. Sort x, 2, h in decreasing order.
2, x, h
Let b = -13/8 - -67/56. Let n = 9 - 8. Sort -12, n, b in increasing order.
-12, b, n
Suppose 3*j + 0*j = 15. Sort 3, j, -1, 4 in increasing order.
-1, 3, 4, j
Let y = -6.9 - -6. Let w = -4.1 + y. Let u = 0.1 + -0.3. Sort w, u, 4 in descending order.
4, u, w
Let i = 8 - 4. Let f = 4 - 3. Put f, -2, i in descending order.
i, f, -2
Let r be (-14)/(-2) - (-7 - -10). Sort r, 1/5, -5 in increasing order.
-5, 1/5, r
Let o = -9 - -12. Sort 8, o, -3 in descending order.
8, o, -3
Let i be -4*4/(-2 - -6). Let o = i - -3. Put o, 4, 5 in ascending order.
o, 4, 5
Let b = 0.35 - -0.05. Suppose 2*z = 4*z - 2. Let u be 16/12 + (z - 1). Put b, -4, u in increasing order.
-4, b, u
Let l be (-3)/(-2)*(-88)/(-33). Suppose -5*h - 1 + 9 = -3*f, 5*h - 10 = 5*f. Sort l, -4, h in increasing order.
-4, h, l
Suppose -2*a = -a - 4. Sort a, -3, 1 in increasing order.
-3, 1, a
Let p = 18 - 2. Let b be 1/(-2)*(p + -2). Sort b, -4, 0 in decreasing order.
0, -4, b
Let g = 0.18 - 0.18. Sort 0.1, g, 1 in decreasing order.
1, 0.1, g
Let x = 24.1 + -24. Sort -2/3, x, 3.
-2/3, x, 3
Let f = 768 + -22274/29. Let z = 0.41 + 2.59. Put f, z, -5 in increasing order.
-5, f, z
Let p = -15.1 - -16. Let v = p - -3.1. Put 5, 2, v in descending order.
5,