 order.
g, 4, o
Let u = -14.3 + 14. Sort -2, u, -3 in increasing order.
-3, -2, u
Suppose 2*q + 2*g - 4 = 6*q, -3*q + g - 3 = 0. Let m = 58 - 56. Put m, -4, q in increasing order.
-4, q, m
Let x = 33068 - 165873/5. Let u = 107 + x. Put 0.1, u, -0.5 in descending order.
u, 0.1, -0.5
Suppose -241 + 41 = -4*t. Let c = t + -199/4. Sort -2, -4, c.
-4, -2, c
Let b = 5.9 + -6. Let g = b - 0.4. Put -1, g, -5 in descending order.
g, -1, -5
Let r = -3 - 6. Let l = r + 11. Put l, 5, 0 in ascending order.
0, l, 5
Let r = 3.41 + 0.09. Let p = r - 3. Let c = 32 - 33. Sort c, p, -0.4.
c, -0.4, p
Let z(d) = -d**3 + 4*d**2 + 4*d + 4. Let x be z(4). Suppose 40 = 3*s + s. Let u be (x/475)/((-4)/s). Sort u, -0.2, 1 in ascending order.
-0.2, u, 1
Let o = 20 - 25. Sort 0.1, o, 0 in decreasing order.
0.1, 0, o
Let l be -4*6/(-63)*(-9)/12. Let x be 1*(-1)/(-4) - 0. Sort l, -0.1, x in descending order.
x, -0.1, l
Let t be (-10)/4 - (-20)/40. Let d = -7 + 4. Sort 4, d, t.
d, t, 4
Suppose j - 4*k - 8 = 0, 5*k + 11 + 10 = 4*j. Suppose 4*s = 2*h + 4, 0 = -0*s - s - 3*h + 15. Put -2, s, j in descending order.
j, s, -2
Let j(n) = n**2 + 1. Let g be j(2). Let l = g + -8. Let z be (-2)/l*(-12)/8. Put -2, 2, z in decreasing order.
2, z, -2
Suppose 15 = -3*c - 4*j, 4*j - 3*j + 4 = -c. Let v be (-6)/(-15) + (-164)/(-90). Let d = -23/9 + v. Put 3/4, d, c in decreasing order.
3/4, d, c
Let b(u) = -u**2 + u + 20. Let s be b(0). Let w be 2/(-1) - 2*-1. Suppose w = 5*h - h + s. Put h, 4, 1 in ascending order.
h, 1, 4
Let j(y) = -4*y - 35. Let w be j(-8). Put 1, w, -5, 2 in increasing order.
-5, w, 1, 2
Let k be 16/6*(-6)/(-4). Put 0.02, k, 3, -0.5 in descending order.
k, 3, 0.02, -0.5
Let d = 12 + -7. Suppose 2*n = 4*t + t - 29, 0 = -d*t + 5*n + 35. Let q = 6 - 6. Sort q, t, -3 in descending order.
t, q, -3
Let i(n) = -2*n. Let o be i(-1). Let w be (24/9 - o)/1. Put -4, -3/7, w in ascending order.
-4, -3/7, w
Suppose k - t - 10 = 0, -3*k + 3*t + 5 = 5*t. Let j be (-72)/(-45)*10/4. Suppose -q + 25 = j*x, 4*x - 50 = -x - k*q. Sort -5, x, -1 in increasing order.
-5, -1, x
Let t be (-4)/18 + (-16)/(-18). Let z = 5.1 - 1.9. Let s = z + -3. Sort 0, t, s in ascending order.
0, s, t
Let k(b) = b**2 + 6*b - 4. Let u be k(-6). Suppose -7*t = 2 - 9. Sort -2, t, u in decreasing order.
t, -2, u
Suppose 25 = 10*o - 15. Put 1, -2, -4, o in descending order.
o, 1, -2, -4
Let h(m) = -3*m - 7 - m**2 + m + 2 - 2*m. Let z be h(-4). Sort -0.2, 1/2, z.
z, -0.2, 1/2
Let v = -27 - -36. Put -4, v, 2 in increasing order.
-4, 2, v
Suppose -5*g = 4*l - 11 + 43, 3*g = -12. Let c be (-5)/12 - 2/6. Sort c, -2/13, l in descending order.
-2/13, c, l
Let a be 26/143 - (-16)/33. Sort 3/4, -6/7, -1/6, a in increasing order.
-6/7, -1/6, a, 3/4
Let r = -53 + 56. Let x(w) = w**2 + 3*w + 1. Let s be x(-4). Suppose s*f - 8 = -r. Sort 3/4, f, 4 in increasing order.
3/4, f, 4
Suppose -5*y + 1 - 21 = 0. Sort -5, y, -7 in decreasing order.
y, -5, -7
Let j(q) = 2*q**3 + 2*q**2 - 5*q - 5. Let r be j(-5). Let t be (-32)/r - (-4)/(-10). Put -2, -4/7, t in decreasing order.
t, -4/7, -2
Let t = -100 + 105. Sort -5, -1, t in increasing order.
-5, -1, t
Let m(t) = t**3 - 3*t**2 - 2. Let a be m(3). Let f = 4 + a. Sort f, -5, 1 in descending order.
f, 1, -5
Let z(p) be the first derivative of p**4/4 - 4*p**3 - 13*p**2/2 - p + 6. Let q be z(13). Put q, -2, 0 in decreasing order.
0, q, -2
Let y be (-4)/2 + 16/9. Sort 0.5, y, 2/17 in descending order.
0.5, 2/17, y
Let z be 1/(-10) - (-2)/(-5). Let y = 102 + -99. Sort -4, z, y in descending order.
y, z, -4
Suppose -4*y - 3*o + 9 = 0, 3*y + 2*o = 6*o + 13. Put 2, -4, y in decreasing order.
y, 2, -4
Let h be 8/(-28) - 1/(-7). Put -0.2, 3/2, h in descending order.
3/2, h, -0.2
Suppose 2*p - 22 = 4*s, -4*s - 5*p + 0*p = -13. Sort s, 5, 1.
s, 1, 5
Let h = -10 - -25. Suppose -h = 2*x + 3*k, -4*x + 0*x - 25 = 5*k. Sort -1, -0.2, x in increasing order.
-1, -0.2, x
Let w = 10.5 + -8.5. Put 4, w, 3 in descending order.
4, 3, w
Let x = -734 - -11012/15. Let o = 2.1 - 2. Put o, x, -3 in ascending order.
-3, o, x
Let t = 136 - 136. Suppose p + 3 = -1. Put 2, p, t in decreasing order.
2, t, p
Let p = 2.7 - 2.3. Sort 5, 0.2, p in ascending order.
0.2, p, 5
Suppose -2*u + 5*b - 27 = 0, -u - 18 = 2*u - 3*b. Sort -4, u, -5, 5 in descending order.
5, u, -4, -5
Let y(j) = -3*j + 10. Let f be y(4). Let w be (-4)/10 + (-34)/(-10). Suppose -w*m = m - 8. Sort m, f, -3 in descending order.
m, f, -3
Let w = 19 + -20. Sort 3, w, -4 in decreasing order.
3, w, -4
Suppose -5*a = 11 - 1. Let z be a/3*9/(-12). Suppose -y = -2*q + 7, 0*y = -y - 3*q - 2. Sort y, -0.2, z in descending order.
z, -0.2, y
Suppose 4*i - 4 = 8. Suppose s - 5 = -i. Let r = 3 - 2. Sort r, s, 3 in decreasing order.
3, s, r
Let o be 28/(-33) + 22/33. Put 3, -5, o in ascending order.
-5, o, 3
Suppose 5 + 1 = -2*p. Suppose -2*k + 9 - 1 = 0. Let q(a) = 2*a + 7. Let y be q(-6). Sort k, p, y in ascending order.
y, p, k
Let z(p) = p - 1. Let u be z(5). Let t be (-3)/(-5)*(7 - 2). Suppose 7*c - 4*y - 4 = 4*c, 4*c + t*y + 28 = 0. Sort c, u, 1 in decreasing order.
u, 1, c
Suppose -6*m - 34 = -5*d - 9*m, -9 = -3*m. Suppose 7*k - 4*k = 0. Let z = -2 + k. Sort z, -1, d in decreasing order.
d, -1, z
Let u = 90 - 266/3. Put 0.5, u, 2/11 in descending order.
u, 0.5, 2/11
Suppose -5*c + 4 + 1 = 0. Let y = c - -3. Sort y, 3, 1 in descending order.
y, 3, 1
Let t(y) = -y**2 - 7*y - 3. Let m be t(-6). Suppose -6*f - 8 = -5*b - m*f, -b + 8 = f. Put -3, b, 1 in descending order.
b, 1, -3
Suppose 2*g - 6 = -0. Let c be (1/(-12))/(g/(-9)). Sort -2, c, 6.
-2, c, 6
Let p = -20.2 - -16.11. Let w = p + 0.09. Let d be 2 - (1/2 - -1). Sort 3, d, w.
w, d, 3
Suppose j + 3*p = 7, -16 = 2*j - 2*p + 2. Suppose -5 + 1 = -t. Put -3, t, j in decreasing order.
t, -3, j
Let o = 6 - 4. Let t(k) = k + 5. Let f be (1 - 4)*(-4)/(-2). Let d be t(f). Put o, 5, d in descending order.
5, o, d
Let x(q) = 2*q**3 - 11*q**2 + 5*q. Let m be x(5). Suppose -5*r + v - 5 - 2 = 0, -3*r - v - 9 = 0. Let y be (-1)/3 + 22/(-6). Sort y, m, r in increasing order.
y, r, m
Suppose -3*q = -7 + 10. Sort 1/4, q, 3/7, -10/3.
-10/3, q, 1/4, 3/7
Suppose 0 = 4*y - 4 - 4. Sort y, 1, 6 in descending order.
6, y, 1
Suppose 2*t - 5 = 3*t. Put t, 2, 4 in descending order.
4, 2, t
Let j be (-2)/5 + (-4)/40. Let x(i) = -i**2 - 2*i + 2. Let q be x(-4). Let n be q/9 - 17/(-3). Put -2, j, n in descending order.
n, j, -2
Let d be -1 - (-126)/33 - 4/(-22). Put 2, -5, d, 1 in decreasing order.
d, 2, 1, -5
Let c be (-2)/(-6) - 32/6. Let o be (5 + 0)*((-60)/(-25) + -2). Suppose 4*y + b = 17, 3*y - 3*b = -2*y + 34. Put c, o, y in decreasing order.
y, o, c
Let w = -21 - -19.5. Let d = w - -2.5. Sort 0.1, -1, d in ascending order.
-1, 0.1, d
Let q = 26 - 25.8. Let c be 1/2 + (-9)/10. Put q, 5, c in ascending order.
c, q, 5
Let t be (-3 - -4)/(20/(-8)). Put -2/11, 5, t, -5 in ascending order.
-5, t, -2/11, 5
Let l be 1 + -3 - 30/(-5). Suppose -5*n + 158 = -l*p, 5*p + 122 = 4*n + 4*p. Suppose -5*y - n = -10. Sort y, 1, 5 in ascending order.
y, 1, 5
Suppose -19 = a + 5*n - 4, 3*a - 2*n - 6 = 0. Put 0.5, a, -9 in descending order.
0.5, a, -9
Let b = 103.1 + -95. Let u = 1.1 - b. Let m = u + 6.7. Sort -4/3, 1/3, m in descending order.
1/3, m, -4/3
Suppose -2*c = 2*h - 18, 0 = 3*c + 5*h - 29 + 12. Let s = 22 - c. Put 0, -3, s in ascending order.
-3, 0, s
Suppose -4*t + d + 9 = 0, 8 - 4 = -t - d. Put -3, t, -5 in decreasing order.
t, -3, -5
Let r be 1 + -1 + 10/2. Suppose r*u - l - 15 = 0, 7*u - 40 = 2*u - 4*l. Put -5, u, -4 in descending order.
u, -4, -5
Let w = 7 + -4. Let d = 3 - 4. Sort 4, d, w in ascending order.
d, w, 4
Let r = -64 + 69. Sort -2, -5, r, -4 in decreasing order.
r, -2, -4, -5
Let y = -47 + 51. Sort 0.5, -1, y in increasing order.
-1, 0.5, y
Let g = -39.3 + 39. Sort -22, 0, g in decreasing order.
0, g, -22
Let h = -0.01 + 0.31. Let y be (-1)/3*(-60)/160. Put h, y, 0.4 in descending order.
0.4, h, y
Let p = 35/44 + -6/11. Put 1/7, p, 2 in decreasing order.
2, p, 1/7
Let c = 94 + -99. Sort 10, 1, c in increasing order.
c, 1, 10
Suppose 16 - 58 = 7*d. Put d, -4/5, -4 in decreasing order.
-4/5, -4, d
Let z be (-6)/8 - -1*(-9)/(-12). Put -4, 2, z, -5 in decreasing order.
2, z, -4, -5
Let b = 115 - 117. Sort 3, b, 5/9 in ascend