order.
-5, y, h
Let f be (-2 + (-9)/(-2))/((-5)/10). Let l(d) = -d + 2. Let i be l(-2). Let v = 0.39 - -0.01. Put i, f, v in decreasing order.
i, v, f
Suppose 0 = 5*p - 8*k + 3*k - 30, -4*p = 3*k - 3. Suppose 2*i + 4*u = 6, -3*i = -7*i + u - 24. Put i, -3, p in decreasing order.
p, -3, i
Suppose 5*t + 0*g - g - 24 = 0, -3*g = -2*t + 7. Suppose -t*b = -4*b + 1. Let u = 4 - 1. Put -4, b, u in decreasing order.
u, b, -4
Let p(z) = 3*z + 4. Let a be p(-3). Let o(x) = x**3 + 4*x**2 - 5*x - 2. Let k be o(a). Sort 3, -5, k in decreasing order.
3, k, -5
Suppose 2 = -24*h + 22*h. Sort 5, -7, -4, h in descending order.
5, h, -4, -7
Let f(p) = -3*p + 20. Let i be f(8). Put -2, i, 3 in ascending order.
i, -2, 3
Let c = -1/239 + -469/2151. Let q = 21/118 - 2/177. Sort q, -5, c in descending order.
q, c, -5
Let u = -90 - -87. Sort u, 6, 5 in decreasing order.
6, 5, u
Let q(u) = u - 1. Let w(m) = -2*m + 3. Let g(h) = q(h) + w(h). Let y be g(4). Let n be 0 + 3/((-2)/2). Sort y, n, 2 in descending order.
2, y, n
Let t(v) = -v + 8. Let x be t(6). Sort -5, x, -2/7 in ascending order.
-5, -2/7, x
Let q = 64 + -72. Sort 1, 2/3, q in increasing order.
q, 2/3, 1
Let x be -4*(55/20 - 4). Put 0.5, 3/2, x in ascending order.
0.5, 3/2, x
Let n(x) = 9*x + 54. Let q be n(-6). Put 5, -4, q, 2 in increasing order.
-4, q, 2, 5
Let q = -2/1523 + -3004/31983. Sort -5, q, -4/3, 3/2.
-5, -4/3, q, 3/2
Let d = -0.03 - 5.97. Let n = d + 9. Sort -3/2, 2/3, n in ascending order.
-3/2, 2/3, n
Let k(n) = 2*n - 5. Let p be k(5). Sort p, 2, 3 in increasing order.
2, 3, p
Let v be (-6)/9*9*-1. Let l be 2/4 + v/(-4). Put 0.3, l, 0.4 in increasing order.
l, 0.3, 0.4
Suppose -5*u + 3 = -2. Let o = 52 + -56. Sort o, u, -3 in ascending order.
o, -3, u
Suppose 5*d = 2*x + 2, -3*d - 4*x + 2 = -6*x. Suppose 3 = 2*z - 7. Let r(v) = v - 1. Let m be r(z). Put m, 1, d in decreasing order.
m, 1, d
Suppose 6*s - 9 - 21 = 0. Let m be ((-2)/(-3))/(7/(-6)). Sort 0.1, s, m in ascending order.
m, 0.1, s
Let r = 1057484/21 + -50370. Let o = r + 40/3. Sort o, 1/11, -3/8 in decreasing order.
1/11, o, -3/8
Let g be 24/(-60) - (-16)/(-10). Put -4, g, -3 in decreasing order.
g, -3, -4
Suppose 0 = -3*o - 2*d + 17, 3*o = -5*d - 0*d + 20. Sort -6, 0, o.
-6, 0, o
Let b(n) = 0*n + 2*n - 1 - 3. Let a be b(3). Suppose a*u + 1 = u. Sort -4, u, 3 in decreasing order.
3, u, -4
Let l = -40 + 39.7. Let j = -3 - -7. Sort l, j, 0.2 in ascending order.
l, 0.2, j
Let u(d) = -d + 10. Let n be u(5). Suppose -3*z + 4 = -z. Suppose -5*v = -z*v. Sort n, v, 4 in ascending order.
v, 4, n
Let k = 52 - 48. Sort -0.4, -0.05, k, 1 in decreasing order.
k, 1, -0.05, -0.4
Let y(w) = -2*w**2 - 24*w + 1. Let r be y(-12). Let s = -9 - -6. Sort r, s, -4.
-4, s, r
Let r(m) = m**3 + m**2 - 1. Let j be r(1). Let x be j/36 + 5/(-20). Sort -0.1, x, 2 in ascending order.
x, -0.1, 2
Suppose 5*k = -4*v + 41, 2*v + 2*k - 3 = 3*k. Put -4, v, 3 in ascending order.
-4, 3, v
Let a = 65 - 66.95. Let f = 0.05 - a. Sort 0, -2, f in increasing order.
-2, 0, f
Let y(f) = -f**3 + 9*f**2 + 11*f - 7. Let r be y(10). Let n = 3 - 2. Put r, -4, n in increasing order.
-4, n, r
Let l = 1.5 - 1.31. Let a = -4.19 + l. Suppose -2*y + 6 = -4*m, -m - 3 = -2*y - 0*y. Put 0.2, y, a in increasing order.
a, 0.2, y
Suppose 1 = -3*f + 10. Suppose 0 = 5*v, -4*d + 4*v + 23 = f. Let o = -8 + d. Put -5, o, -4 in decreasing order.
o, -4, -5
Let q be (-12)/(-27)*9/(-6)*3. Put -0.1, q, -3, 2/9 in increasing order.
-3, q, -0.1, 2/9
Let x = -0.5 - -1.5. Let k be 6*(3 - (-10)/(-4)). Sort x, k, 0.2 in descending order.
k, x, 0.2
Suppose 5*c - c = -32. Let f = c + 28/3. Let i = -2 - -6. Sort f, i, -1/2.
-1/2, f, i
Let q(g) = -g**2 - g. Let h be q(-1). Sort 4, h, -1.
-1, h, 4
Let p = -170 + 170.1. Let i(g) = -g - 7. Let k be i(-6). Put -2, k, p in decreasing order.
p, k, -2
Let n = 1 - 0.7. Let c = 73 + -45. Let o be (2 + c/(-12))/(-1). Sort o, n, 0.5.
n, o, 0.5
Let c = 6 + -2. Let f(s) = -s**2 + 6*s - 3. Let x be f(c). Sort -2, -5, x.
-5, -2, x
Let w(a) be the third derivative of -a**4/24 - 7*a**3/6 - 5*a**2. Let p be w(-6). Sort 2, -4, p in decreasing order.
2, p, -4
Let s = 0.24 + 0.06. Let f be 3/(-10) - 3/15. Sort s, -5, f in descending order.
s, f, -5
Let y = -3 + -3. Put 1, 3, y in ascending order.
y, 1, 3
Suppose 3*m - 77 = -26. Suppose m + 3 = 4*g. Sort g, 3, 0 in descending order.
g, 3, 0
Suppose -v = 5, -5 = b + 5*v + 24. Put b, -7, -2 in increasing order.
-7, b, -2
Suppose -45 = -5*u + 30. Suppose -4*m - m + u = 0. Put -2, m, -1 in ascending order.
-2, -1, m
Let l = 6 + -3. Let o = -3 + l. Let p = -6 - -2. Put p, 6, o in descending order.
6, o, p
Let i = -0.5 + 0.4. Let y = -0.11 - i. Let r = y + -4.99. Put r, -3/7, 5 in descending order.
5, -3/7, r
Let p = 8 - 11. Suppose 10 = 2*j - 4*w, 5*j - j + 2*w + 10 = 0. Sort p, j, -4 in decreasing order.
j, p, -4
Suppose 3*g - 4*v = -0*g - 35, -4*g - 4*v = 0. Sort 4, 0, g.
g, 0, 4
Suppose h = 5 - 0. Suppose -5*q + 33 = 4*w, -w - 13 = -0*w - 3*q. Suppose -s + g - 11 + h = 0, 3*g = w*s + 13. Put 5, 0, s in decreasing order.
5, 0, s
Let q be -2 + 0 - (7 + -3). Let i = 8 + q. Suppose -l - i*h = 5, -3*l + h - 15 = -3*h. Put 0, l, 2 in ascending order.
l, 0, 2
Let s = -50 + 52. Sort s, -4, 1 in descending order.
s, 1, -4
Let k = 3.1 - 2.9. Let f = -5 + 11. Suppose 0 = -5*q + 3*c + 8, 0 = 3*q + f*c - c - 32. Sort -0.5, k, q in decreasing order.
q, k, -0.5
Suppose -2*k + y = 3, -2*k + 3*k + y = 0. Let o be (-1)/(3/15*k). Put -0.5, o, 3 in decreasing order.
o, 3, -0.5
Let a = 0.043 - 18.043. Sort -0.4, a, -1 in increasing order.
a, -1, -0.4
Let l = 0.12 - 5.12. Let u(m) = m + 14. Let k be u(-10). Sort -2, l, k in ascending order.
l, -2, k
Let y(l) be the first derivative of -l**3/3 - 5*l**2/2 + 10*l + 29. Suppose 3*a + 0*a = -21. Let x be y(a). Sort 0, x, 5 in ascending order.
x, 0, 5
Let u(g) = -5 - 3 + 4 + 4*g - g**2. Let z be u(4). Suppose -k + 6 = -3*k. Put z, k, -2 in ascending order.
z, k, -2
Suppose 6 + 6 = -2*f. Sort 0, -1, f, 1 in ascending order.
f, -1, 0, 1
Suppose o - 4*o - 9 = 0. Put -1, o, -13 in ascending order.
-13, o, -1
Let j = 12 - 7. Suppose 8 = j*h - 17. Put h, 4, 0 in descending order.
h, 4, 0
Let m = 11 - 11. Put -1, m, 0.4 in ascending order.
-1, m, 0.4
Let w = 150/131 - 60188/52793. Let v = 1199/2015 + w. Let h be (-1)/4 + (-2)/24. Put 2, v, h in increasing order.
h, v, 2
Suppose 0 = -2*h + 3*i + 18, 8 = -i - 3*i. Suppose 3*q + q = -2*k + 18, -33 = -4*q - 5*k. Sort h, -1, q in decreasing order.
h, q, -1
Let q(c) = c**3 - 3*c**2 + c. Let s be q(3). Put -3, -4, s in descending order.
s, -3, -4
Suppose -7*j - 2*j = j. Put -1, j, 10, -4 in ascending order.
-4, -1, j, 10
Let l = -50 - -46. Sort -0.4, -5, -3/5, l.
-5, l, -3/5, -0.4
Let j = 11 - 13. Sort j, 2, -5 in ascending order.
-5, j, 2
Let g be (-4)/6*(1 - -2). Suppose 4*z + 40 = 5*j - z, 3*j - 27 = 4*z. Let i(v) = v**2 - 6*v + 2. Let a be i(6). Sort g, j, a in descending order.
j, a, g
Suppose 0 = 2*q + 474 - 484. Suppose -2*c = -6*c + 24. Suppose 2*x = -5*f + c, 0 = 5*f - x - 3*x - 18. Put q, f, -3 in increasing order.
-3, f, q
Let l = 103/159 + 1/53. Sort 1/3, l, 1.
1/3, l, 1
Suppose -4 - 4 = -2*h. Suppose 3 = j - 5*w, -h*j = -0*j + w - 12. Sort j, -4, -5 in descending order.
j, -4, -5
Let b = -6 - -6.1. Let j = 1.4 + -0.9. Put b, j, -2 in ascending order.
-2, b, j
Suppose -4*l - 2*f = -3 + 5, 3*f + 3 = l. Put 4, -3, l in decreasing order.
4, l, -3
Suppose -3*x = -14 + 2. Let r be (x/3)/((-2)/3). Let g be -1*3 - 7/(-1). Sort r, 1, g in decreasing order.
g, 1, r
Let k(n) = -n**2 - 15*n. Let c be k(-15). Let h be 4/2 + (-1)/(-1). Sort c, h, 4.
c, h, 4
Suppose 15 = -5*n - d, -5 - 4 = 2*n + d. Let t = 0.8 + -0.3. Sort -1/3, t, n.
n, -1/3, t
Let q = 20 - 25. Sort 2/19, q, -1 in descending order.
2/19, -1, q
Let c be 0 - -2 - (2 - 4). Let p = 7 + -4. Suppose -p = -5*k - 18. Sort k, 2, c in decreasing order.
c, 2, k
Let h = -12 - -22. Let c = -7 + h. Sort c, -0.4, 2.
-0.4, 2, c
Suppose a + 25 = 4*r, 5*r + 4*a = 2*a + 15. Let y(o) = o + o**3 + 0*o - 5*o - 4*o**2. Let x be y(r). Sort x, -2, 2.
-2, 2, x
Let h(v) = -v + 10. Let c be h(5). Suppose -4*p = c*b + 8, 2*p + b - 1 = 1. Sort 2/15, p, 1 in decreasing order.
p, 1, 2/15
Suppose -w = -3 - 2, 60 = -5*l + 5*w. Let c(x) = 7 - 3