. Put 4, h, 5 in decreasing order.
5, 4, h
Suppose 3*n + 10 = 25. Let l(g) = -4*g**3 - 3*g. Let f(m) = 4*m**3 + 2*m. Let c(s) = 3*f(s) + 2*l(s). Let k be c(-1). Sort k, 0, n in ascending order.
k, 0, n
Let d = 5 - 3. Let t = -8 + 5. Let w = t + -1. Put d, w, 3 in decreasing order.
3, d, w
Let k = -7.1 + 3.1. Put -2, k, -0.4 in descending order.
-0.4, -2, k
Let d = -7 - -17. Suppose p = 3*p - d. Sort 3, p, -5 in decreasing order.
p, 3, -5
Suppose 3*m = s, 5*m - s = -1 - 1. Put m, -4, -3 in descending order.
m, -3, -4
Let m be (-1 - -3)*(-4)/64*-4. Suppose -q = -2*n - 6*q + 44, 5*q = -n + 32. Suppose n + 8 = 5*o. Put m, -0.2, o in decreasing order.
o, m, -0.2
Let x(o) = o**2 - 8*o + 5. Let s be x(8). Suppose -h = u + 2*h - 1, -5*u = -s*h - 25. Put u, -1, -3 in decreasing order.
u, -1, -3
Let j = 0.48 - 0.38. Suppose 0 = -4*m, 0*s + 2*s - 2*m = 4. Put -0.5, j, s in ascending order.
-0.5, j, s
Let g be (22/(-7) + 3)*-7. Let a be 1 + (-7 - (-2)/2). Suppose -5*q + 6 = -9. Sort g, a, q in decreasing order.
q, g, a
Let a be 32/55 + (-2)/5. Let z = -0.03 - -7.03. Let q = -7.4 + z. Put q, 2, a in increasing order.
q, a, 2
Let l = -4 - -6. Let n = l - 4. Put n, -3, 4 in descending order.
4, n, -3
Let y = -52/7 - -142/21. Sort -2, y, -0.1 in descending order.
-0.1, y, -2
Let c be (-5 - -11)/(1*2). Suppose -s = -c*s + 10. Suppose -h = -s*h. Sort 2, h, 3 in descending order.
3, 2, h
Suppose 12 = 2*b - 2*c, -4*b + 14 = -c + 2*c. Sort b, -1, -3.
-3, -1, b
Suppose 3*n - 6 = -2*f + 2*n, -4*f = n - 8. Suppose -2*j - 6 = 0, 4*g = 4*j - 3 - f. Sort g, -2, 1.
g, -2, 1
Let o = 3.966 + 0.044. Let v = o + -0.01. Put v, 2/5, 1/7 in ascending order.
1/7, 2/5, v
Let j = -42 + 212/5. Let f = -2 - -2.3. Sort j, f, 4 in increasing order.
f, j, 4
Let n(x) = -3*x**2 + x**2 + 3*x**2 - 7*x + 1. Let g be n(6). Put 0, g, 3 in decreasing order.
3, 0, g
Let p = 2 + 1. Let q(v) = v**2 - 5*v + 1. Let b(z) = -4*z**3 + z**2 + 2*z + 1. Let d be b(-1). Let h be q(d). Sort -5, p, h.
-5, h, p
Let w(c) = c**3 - 9*c**2 + c - 1. Let v be w(9). Sort v, 1, 5 in descending order.
v, 5, 1
Let b = 7 + -7. Let a(z) = z + 9. Let i be a(b). Let v = i - 66/7. Sort 4, v, -1 in descending order.
4, v, -1
Let u be (-1)/5 - (-456)/(-720). Let n = -0.147 - -6.047. Let r = 0.9 - n. Put r, u, 2 in descending order.
2, u, r
Let y = -0.66 + 0.96. Put 5, -0.4, y in decreasing order.
5, y, -0.4
Let h(g) = -3*g + 34. Let o be h(11). Put -2/17, 1/2, o in decreasing order.
o, 1/2, -2/17
Let c(a) = -a**3 - a**2 - a - 1. Let l be c(-2). Let b = 508 - 513. Put b, 1, l in ascending order.
b, 1, l
Suppose -5*t + 37 = -43. Suppose 7 = -3*c + t. Sort 0, 1, c.
0, 1, c
Let n(m) = m**2 + 3*m - 1. Let l be n(-3). Sort 1, l, 5 in descending order.
5, 1, l
Suppose 0 = -2*i + 9 - 19. Sort -2, 5, 4, i.
i, -2, 4, 5
Let o = -6/49 - -152/441. Let k = -9 - -13. Let s = -1 + k. Sort -4, o, s in increasing order.
-4, o, s
Let v be 2 + ((-120795)/12096)/5. Let w = -1487/2880 - v. Let o = w + 7/30. Sort o, 3, -0.2 in increasing order.
o, -0.2, 3
Let c = -8 - -10. Let y be -7*(c + -1) - -3. Sort y, -1, -3 in descending order.
-1, -3, y
Let p(v) be the first derivative of -v**2/2 - 5*v + 2. Let o be p(-10). Let f(t) = -t**3 + 6*t**2 - 5*t + 4. Let h be f(5). Sort h, o, -2 in descending order.
o, h, -2
Suppose s = 4*v - 6, 0*v + v + 7 = -4*s. Sort v, -3, 5 in descending order.
5, v, -3
Let c = -10 + 14. Sort 5, 8, c.
c, 5, 8
Let l be (-56)/(-90) + 2/(-9). Sort -0.1, -4, l in increasing order.
-4, -0.1, l
Let d = -85 - -80. Put 1, d, -1, -2 in increasing order.
d, -2, -1, 1
Let c = -17.2 - -4.2. Put c, -1, -0.4 in descending order.
-0.4, -1, c
Let k be ((-2)/5)/((-3)/90). Let f = k - 16. Sort -2, -1, f in descending order.
-1, -2, f
Let n = 13 - 14. Sort n, 1, -4 in decreasing order.
1, n, -4
Let d = 87/4 - 1107/52. Sort 1/4, 0.4, d in ascending order.
1/4, 0.4, d
Let f be (7/21)/((-1)/6). Suppose -2*j + 8 = -12. Let w = j - 15. Sort f, w, 1 in ascending order.
w, f, 1
Let c = 57 + -64. Sort c, 1, -0.1, 3 in ascending order.
c, -0.1, 1, 3
Suppose 25 - 1 = 6*t. Let a = 364/11 - 33. Let r = 0.04 + 0.36. Put a, t, r in descending order.
t, r, a
Let p = 0.02 - 0.42. Put 3, 2/17, p in decreasing order.
3, 2/17, p
Let w = -80 - -79.6. Sort w, -3, 1/6, 2 in descending order.
2, 1/6, w, -3
Let v(u) = u**3 - 6*u**2 - 6*u - 7. Let b be 4/24*-14*-3. Let r be v(b). Sort r, -5, -9 in increasing order.
-9, -5, r
Let w(d) = 7*d + 4. Let z be w(-1). Let g(j) = -j**3 - 2*j**2 + j. Let s be g(1). Put s, -5, z in ascending order.
-5, z, s
Let h = 60 + -62.7. Let s = -3 - h. Sort s, 2, 4.
s, 2, 4
Let v(o) be the first derivative of 3*o + 1/3*o**3 + 4 - 3*o**2. Let s be v(6). Sort s, -5, -1 in ascending order.
-5, -1, s
Let f(n) = -n + 8. Let k be f(9). Let z be (-3)/9 - 2/(-6). Let h be (0 + 2)*(z - k). Sort h, 3, 4.
h, 3, 4
Let n = -13 + 25. Let p = n - 13. Put 0, -10, p in decreasing order.
0, p, -10
Let d be -1 - (0 + 0 + -2). Sort d, -1, -2, 2.
-2, -1, d, 2
Suppose -5*l + 10 + 8 = -f, 3 = -f. Put 2, l, 1 in increasing order.
1, 2, l
Suppose 5*c - 2*c - 26 = -5*r, -r - 6 = -5*c. Sort r, -0.3, -0.5 in ascending order.
-0.5, -0.3, r
Let o = -1 + 6. Put -5, -3, o in ascending order.
-5, -3, o
Let r(j) = j**3 + 2*j**2 + 6*j - 3. Let y be r(-6). Let d be y/(-9) + (-1)/3. Suppose 0 = l + 3*l - d. Sort l, -2, -3 in decreasing order.
l, -2, -3
Let o be (-3)/(-2)*(-8)/(-3). Suppose -5*s = -3*s + 10. Sort s, -2, o.
s, -2, o
Suppose -4*a - 1 = -13. Sort -5, -2, -4, a in descending order.
a, -2, -4, -5
Suppose -5*f = -5*i + 3 + 7, 0 = 3*f + i - 2. Sort f, 3, -38 in decreasing order.
3, f, -38
Suppose 3*d - 5*m = -9, 5*d - 1 + 16 = 2*m. Suppose -l = -w - 4, 3*w - l + 8 - 2 = 0. Let b be ((-2 - w) + 2)*-2. Put 2, d, b in decreasing order.
2, b, d
Let q be 1/(-2)*0/(-1). Let k(x) be the first derivative of x**4/4 - 3*x**3 - x**2/2 + 7*x + 3. Let v be k(9). Put v, -5, q in descending order.
q, v, -5
Let r be 7/(-2) + (-2)/4. Let w(j) be the first derivative of j**4/4 - 8*j**3/3 + 4*j**2 - 7*j + 5. Let g be w(7). Sort g, r, 3 in decreasing order.
3, g, r
Let n be -1 + (2 - (-30)/(-25)). Sort -1, n, -2 in ascending order.
-2, -1, n
Suppose 0 = -4*n + 4*k - 220, -2*k + 0*k = 2*n + 114. Let p be (-2)/7 - 184/n. Sort p, 0, 2 in increasing order.
0, 2, p
Suppose 6*m - 15 = -45. Sort m, -2, -17 in descending order.
-2, m, -17
Suppose -6*y - 9 = -3*y. Let t = 5 - 9. Let r be 4/14 - (-20)/28. Sort y, t, r in decreasing order.
r, y, t
Let q = 4.97 + 0.03. Let p = -7 + 10. Let a = p - 2.7. Sort -0.4, a, q.
-0.4, a, q
Let n = -160 + 166. Sort -5, -3/5, n in decreasing order.
n, -3/5, -5
Let t(o) = -2*o - 16. Let i be t(-7). Sort 2, 1, i.
i, 1, 2
Suppose -5*q + r = -r + 15, 0 = -4*q + r - 15. Let p = 8 - 38/5. Put p, q, 3 in increasing order.
q, p, 3
Suppose -5 = -4*x + 7. Suppose 0 = -3*i - x*d + 15, -2*d + 13 = 3*i + 1. Sort -3, i, 0 in descending order.
i, 0, -3
Let k(d) = 10*d - 20. Let g be k(2). Put -2, 2, g, 14 in descending order.
14, 2, g, -2
Suppose 4*p - 4 - 12 = 0. Let i(a) = -6 + 7 - 2*a + 6 + a. Let f be i(p). Put 0, f, 4 in ascending order.
0, f, 4
Let g = 19.3 - 19. Put g, -0.1, -6 in decreasing order.
g, -0.1, -6
Let l = 1.73 + 0.17. Let n = 1.1 + l. Sort 0.2, 0.1, n in decreasing order.
n, 0.2, 0.1
Suppose 3*w + 5*j + 4 + 1 = 0, 0 = -4*w - 3*j - 14. Let f be (2/w)/(28/(-35)). Sort 0.1, 1, f in increasing order.
0.1, f, 1
Let b(c) = 2*c**2 + 23*c + 16. Let y be b(-11). Sort -4, 0, y, -5.
-5, -4, 0, y
Suppose 62 = -4*z + 6. Let g = -17 - z. Sort g, 1, 4 in decreasing order.
4, 1, g
Let v(x) = 2*x + 5. Let r be v(-6). Let m = r - -2. Let n be (0 + 1)/(1/(-1)). Sort n, m, -3 in descending order.
n, -3, m
Let c(s) = 3*s + 12. Let a(h) = -2*h - 8. Let v(o) = -7*a(o) - 5*c(o). Let l be v(-3). Suppose 4*j = -j - 20. Sort j, l, -2 in descending order.
l, -2, j
Let x be (-2 - -1)*1 + 2. Let s be (-1 - x)/((-10)/15). Sort s, 4, -5 in decreasing order.
4, s, -5
Suppose 3*d + 4 = -11. Sort 14, d, -3 in increasing order.
d, -3, 14
Let x(p) = 2*p - 1. Let r be x(-2). Let z = -3.6 + 2.8. Let f = z + -3.2. Put 2/3, r, f in descending order.
2/3, f, r
Let b = 34 - 239/7. Sort 4, 0.3, b in decreasing order.
4, 0.3, b
Let v = -0.3 - -0.7. Let b = -14 - -9. Sort -1/2, b, v in descendi