cending order.
q, -3, -5
Let b = -3.6 - -4. Sort b, -4, -1/2 in descending order.
b, -1/2, -4
Suppose g = -2 - 2, 0 = -5*u + 3*g + 2. Sort u, 5, -3/8.
u, -3/8, 5
Let d be 15/(-35)*(1 + 6). Sort d, -2, -64 in increasing order.
-64, d, -2
Let w be 0*1/(2/2). Let l(d) = d**2 + d - 4. Let z be l(w). Let m(x) = -x**2 - 8*x + 5. Let k be m(-8). Sort z, k, -5.
-5, z, k
Suppose -b + 0*b = -3. Let q = -16 - -15.9. Let l = -6.1 - q. Sort 1, l, b.
l, 1, b
Let a be (-17)/5 - 6/(-15). Suppose 6 + 2 = 4*j. Sort a, j, 1.
a, 1, j
Let k = -21 + 26. Put 3, k, 8 in increasing order.
3, k, 8
Let a = 9 + -20. Let m = a - -16. Let o be 0/(-4)*(-1)/(-2). Sort o, m, -1 in descending order.
m, o, -1
Let n = -131 - -135. Put 3, 0.2, n in decreasing order.
n, 3, 0.2
Let h = 114 - 111. Sort 0, 1, h, 4 in descending order.
4, h, 1, 0
Let t = 2 - 0. Suppose -t = -3*i - 5*m, 0 = -5*i + i + m + 18. Let r(b) = -b**3 - 4*b**2 - 2*b + 1. Let h be r(-3). Put h, i, -4 in ascending order.
-4, h, i
Let q be 3/12 - (-33)/(-100). Let t(o) = o**3 + 6*o**2 - 7*o + 3. Let r be t(-7). Sort -0.4, r, q.
-0.4, q, r
Suppose c = -0*c. Let g = -11 - -6. Sort c, -1, g in descending order.
c, -1, g
Let t(i) = -i**3 + 7*i**2 + 7*i + 9. Let y be t(8). Suppose -1 = -o - 2. Let h be (2 + o)/(-2 + 1). Put -2, h, y in increasing order.
-2, h, y
Let a = 12.26 - 0.26. Let f = a - 11.5. Sort f, -6, -5 in increasing order.
-6, -5, f
Let t = 1.5 - -0.5. Suppose -60 = 2*c - 6*c. Let r be (1/(-1))/(3/c). Sort t, 2/3, r in decreasing order.
t, 2/3, r
Let s be (42/27 + -2)*3/(-2). Let v = -0.5 - -3.5. Let x be (-22)/26 + (1 - 0). Put v, s, x in increasing order.
x, s, v
Suppose -l + 0 = -4. Sort -0.1, l, -2/5 in descending order.
l, -0.1, -2/5
Let h(j) = -j + 23. Let b be h(13). Let c be 2 - b/2 - -4. Sort -1, -4, c.
-4, -1, c
Let g = 194 + -577/3. Put g, -3/2, -2/23, -4 in increasing order.
-4, -3/2, -2/23, g
Suppose 2*p - 25 = -3*p. Let m = -0.1 + 3.1. Let t = -3.2 + m. Sort p, -1, t in decreasing order.
p, t, -1
Let u = -6.9 - -4.9. Sort 1, -5, u in descending order.
1, u, -5
Let f be 3 + (-1 - -3) + -2. Suppose -3*c = -c. Let b be -3 + (c - (-3 - -1)). Sort b, 5, f.
b, f, 5
Let f be -1*(-4)/((-8)/(-6)). Let y = 139 - 134. Sort 4, f, y.
f, 4, y
Let h be (92/(-46))/((-2)/(-5)). Let v = 6 + -8. Put -4, v, h in ascending order.
h, -4, v
Suppose 6 + 9 = 3*n. Let b be 16/(-6) - (-2)/3. Put -4, n, b in decreasing order.
n, b, -4
Let z = -2 - -6. Let h be 2/(-9)*(-105)/28. Sort h, z, 1/6 in ascending order.
1/6, h, z
Let n(u) = -u**3 - u**2 - 1. Let o be n(0). Suppose 0*l = -3*l + 9. Put 7, o, l in descending order.
7, l, o
Let y = 9 + -16. Let i = 5 + y. Let x = -6 - i. Put 1, x, -0.2 in descending order.
1, -0.2, x
Let j(k) = k**2 - 5*k - 1. Let l be j(5). Suppose 4*p = -13 + 1. Sort l, -4, p.
-4, p, l
Let f = 23.4 - 24. Sort f, -2/13, -1/8.
f, -2/13, -1/8
Let r(c) = -c**3 - 4*c**2 + 7*c + 6. Let s be r(-5). Let l(h) = -h**2 - 6*h - 3. Let m be l(s). Sort m, 0, 4 in ascending order.
0, 4, m
Suppose -3*v = -3*c + 12, 0 = 3*v + v - 3*c + 16. Sort -5, 1, v.
-5, v, 1
Suppose 0 = 2*f - 4*f - 10. Let p be (-1)/(-6) - 65/30. Let t be (-8 + 7)/(p - -1). Sort t, 4, f in decreasing order.
4, t, f
Let z be 3/(-6) + 380/(-88). Let b = 5 + z. Put b, -4/3, -3/5 in ascending order.
-4/3, -3/5, b
Suppose -k + 5*m + 5 = 0, 2*k - 3*m = -13 - 5. Put 1/6, -5, k in ascending order.
k, -5, 1/6
Let y = 16 + -11. Suppose -y*x - 9 = 6. Sort x, 2, -1.
x, -1, 2
Suppose 16 = 4*k - t + 5, -5*t = -5*k + 10. Let w = 15 - 10. Sort k, w, -5 in descending order.
w, k, -5
Suppose 0 = -6*d - 0 - 6. Sort d, -0.1, 0.2 in ascending order.
d, -0.1, 0.2
Suppose 21 = -7*n - 0. Let q(l) be the first derivative of -l**4/4 - 2*l**3 + 7*l**2/2 + 6*l - 1. Let s be q(-7). Sort n, 5, s.
n, 5, s
Let l be (-10)/12 - 15/(-45). Sort -0.2, 7, l in ascending order.
l, -0.2, 7
Let d = -0.4 + 4.4. Let n = d - 1. Put 1, n, -2 in decreasing order.
n, 1, -2
Let g be 2/(-6)*2 - 68/(-12). Let z = 0.3 - 0.8. Put z, -2, g in ascending order.
-2, z, g
Let l = -16 + 15.5. Sort 1, l, 1/2 in ascending order.
l, 1/2, 1
Let z be (-1)/(-3) - (-96)/(-18). Sort 3, 4, z in descending order.
4, 3, z
Let s(m) = 2*m - 13. Let q be s(7). Let t = -54 + 704/13. Sort q, -1, t in descending order.
q, t, -1
Suppose -4*j + l = -8 - 12, 4*j - 5*l = 20. Let z be 42/5 - 2/5. Let h = z + -5. Put j, h, -2 in increasing order.
-2, h, j
Let n = -68 - -64. Put -1, -5, 3, n in decreasing order.
3, -1, n, -5
Suppose -17*x = -16*x. Let v be (-3)/9 + (-16)/(-3). Suppose -5*g - 4*b = 21, v*g = -0*b + 5*b + 15. Sort x, -4, g in decreasing order.
x, g, -4
Suppose -4*g + 25 = s, -2*g = -0*s - 4*s + 10. Suppose g*c + 1 - 6 = 0. Put 2, 4, c in decreasing order.
4, 2, c
Suppose -2*p - p = 0. Suppose g - 5*z = -3*z + 2, 5 = -4*g - 5*z. Suppose -2*s - 2 = -g. Sort 5/4, s, p in ascending order.
s, p, 5/4
Let d = -0.06 + 0.18. Let q = d - -0.18. Let y = -2 + 2. Sort q, -1/6, y in decreasing order.
q, y, -1/6
Let x = 8 + 0. Suppose 5*t + 7 = -x. Put 5, t, 4 in decreasing order.
5, 4, t
Let m = -46/11 + 261/44. Let j = m + -2. Let g(p) = p**2 - 4*p. Let b be g(4). Put j, 2, b in decreasing order.
2, b, j
Let q be (-13 + 7)/(2/(-1)). Sort 0, -3, q, 2 in descending order.
q, 2, 0, -3
Let j(a) = -a + 10. Let t be j(6). Let l be (-1 - (6/2)/3) + 3. Sort t, -5, l in decreasing order.
t, l, -5
Suppose 21 = -5*k - 4. Sort k, 1/2, -2.
k, -2, 1/2
Let o = 1 - 0. Let w = -0.9 - -1.5. Let s = o - w. Sort s, 3, 0 in decreasing order.
3, s, 0
Let l = 2.67 + -2.5. Let u = l + -0.77. Put u, -2/11, -5 in descending order.
-2/11, u, -5
Let n = -14 + 2. Let b = -13 - n. Suppose k = 4*k. Put b, k, 0.5 in decreasing order.
0.5, k, b
Suppose -3*r = j - 0*j - 11, 3*j = -3. Put 3, 0.04, r in decreasing order.
r, 3, 0.04
Let m = -7203/19 + 379. Sort m, -4, 5.
-4, m, 5
Let i = -1.1 + 3.1. Let c(x) = 6*x**2 + x**3 - 5*x**3 + 3*x**3 + 3. Let q be c(6). Put i, q, 2/3 in increasing order.
2/3, i, q
Let g(l) = -13*l - 58. Let m be g(-4). Suppose -s + 2*c = -2*c + 3, 4*s - 2*c = 16. Sort 3, m, s in descending order.
s, 3, m
Suppose 2*w - 5*w - 9 = 0. Put 0, -0.3, w in decreasing order.
0, -0.3, w
Suppose 2*d + 14 = 4. Sort 2, -3, 0, d in descending order.
2, 0, -3, d
Suppose -7 = -4*m + 1. Let y be -3 + (-5 - -4) + 44. Let g = y - 40. Sort g, m, -2 in decreasing order.
m, g, -2
Let r be 7 - 3*(3 + -2). Suppose 3*c = 5*c + r. Sort -5, 3, c in descending order.
3, c, -5
Let z = -5.86 - 0.14. Let a = 5 + z. Let x = a + 0.8. Put x, 1/4, 4 in ascending order.
x, 1/4, 4
Let m = 1 - 0.89. Let s = m + 0.59. Let v = s + -0.6. Put -1/2, v, -0.3 in decreasing order.
v, -0.3, -1/2
Suppose -17*y + 10*y = -35. Let g be 0 - -1 - (6 + -1). Sort -5, g, y in increasing order.
-5, g, y
Let h = 2 - 7. Sort h, 3, -1.
h, -1, 3
Let f = 5 - 0. Let v = -11 - -15. Sort 3, f, v.
3, v, f
Suppose -h + 5*h = 0. Suppose -3*x - 6 = -0*x. Sort h, x, -4 in decreasing order.
h, x, -4
Let i be -2 - (-1)/((-2)/2). Let y(t) = t + 5. Let o be y(0). Sort 0, o, i in ascending order.
i, 0, o
Let h = -1.2 - -3.2. Sort h, -9/5, -4 in increasing order.
-4, -9/5, h
Let w(g) = -g**3 + 14*g**2 - 14*g + 17. Let j be w(13). Sort -18, j, 3 in increasing order.
-18, 3, j
Let s = -121 - -120.7. Let k = -18 + 4. Let l = 10 + k. Put s, 3/8, l in descending order.
3/8, s, l
Let c = -12 + 40. Put -1, 3, c in increasing order.
-1, 3, c
Let v = 16 - 20. Let u be 5/(-3) + (-2)/6. Sort u, v, 0.
v, u, 0
Let w = -1.5 + 1.2. Suppose 0 = -b - 3*v + 6, -3*b + 6 = -b + 3*v. Sort b, w, -1/8.
w, -1/8, b
Suppose -4*o + 98 = 86. Sort o, 0, 4.
0, o, 4
Let y = -18.1 + 18.1. Suppose 8 = 2*x - 2. Sort x, y, -5 in ascending order.
-5, y, x
Let c = -11 - -7. Sort 3, -5, c in decreasing order.
3, c, -5
Suppose 2*m + 3*m - 20 = 0. Suppose -1 = -4*j + 7. Suppose 5*r + 3 = -5*w - 2, r - 5 = 2*w. Sort m, w, j in decreasing order.
m, j, w
Let a(w) be the first derivative of w**3/3 + 13*w**2/2 + 15*w - 4. Let n be a(-12). Let f = 2.9 - -1.1. Sort n, -5, f in decreasing order.
f, n, -5
Let k(t) be the third derivative of -t**5/60 - 7*t**4/24 + 3*t**3/2 - t**2. Let r be k(-8). Put 5, r, 4 in decreasing order.
5, 4, r
Let z = 0.3 - -0.05. Let j = -0.15 - z. Put j, 0.5, -8 in decreasing order.
0.5, j, -8
Let c be 8 - ((2 - 5) + 1).