/5, f, t in descending order.
1/5, t, f
Suppose 5*s = -0*s + 35. Suppose -4*c = 5*k + 10 + s, 4 = -c - k. Suppose 2*l + 0*l - 8 = 0. Sort c, 6, l in descending order.
6, l, c
Let g = 2 + -2. Sort -1, -0.1, g.
-1, -0.1, g
Let y = 38 - 38.4. Sort 0.5, 1/6, -2, y in descending order.
0.5, 1/6, y, -2
Let c be 48/(-56) - (-1 - 0). Put 0, c, -2/3 in descending order.
c, 0, -2/3
Let v be 65/26 + 2/(-4). Sort 1, v, -3 in ascending order.
-3, 1, v
Let a = 150 + -155. Let u be 4/(-12) + 13/3. Sort 0, a, u in decreasing order.
u, 0, a
Let l(g) = -5*g + 37. Let j be l(7). Let f be ((-15)/(-12))/(2/8). Sort 0, f, j in ascending order.
0, j, f
Suppose 0 = 2*p - 0 - 4. Suppose 0 = -5*a + p + 18. Let z(x) = -x**3 - 5*x**2 - 6*x - 6. Let q be z(-4). Sort q, a, -3 in descending order.
a, q, -3
Let v = 16 + -11. Let a = -4.3 + 0.3. Sort 0.2, v, a in decreasing order.
v, 0.2, a
Let l = 1 - 3. Let j = -46/9 - -340/63. Sort j, -2/7, l in descending order.
j, -2/7, l
Let a = -2.7 - -2.9. Sort a, 14, 0.5 in decreasing order.
14, 0.5, a
Let m = -18250 - -11778. Let s be 1/(-3) + m/(-84). Let p = s + -77. Sort 0.1, -2/19, p.
p, -2/19, 0.1
Suppose 4 - 14 = 5*x, 5*d + 3*x = 19. Put -1/5, -1, 0.3, d in increasing order.
-1, -1/5, 0.3, d
Suppose -s = -5*s - 4. Suppose -7*v = -3*g - 10*v + 3, -v + 7 = 4*g. Sort 3, s, g in descending order.
3, g, s
Let x(p) = p**3 - p**2 - 2*p + 3. Let a be x(2). Let r(j) = j**3 - 2*j**2 - 2*j + 1. Let l be r(a). Let y = -0.5 - 2.5. Sort l, y, -1.
y, -1, l
Let u = -30 - -25. Let v(j) = -j**2 - 4*j + 5. Let c be v(-4). Put c, -4, u in descending order.
c, -4, u
Let y be 1/4*(-36)/(-3). Put y, -1, 0 in ascending order.
-1, 0, y
Let s = -2 - -4. Suppose 12 = -4*w, 5*n - s*w = -6*w - 52. Let b be 2/n + 2/(-24). Sort b, -1, -0.3 in decreasing order.
-0.3, b, -1
Suppose 0 = q - 3*q - 8. Let s be (-6)/q - (-35)/(-20). Let d = -1 + -3. Sort 0.1, d, s.
d, s, 0.1
Let s = -56 + 61. Put -3, -1, s in descending order.
s, -1, -3
Suppose 4*s = -5*t + 17, -23 = -5*s - 5*t - 3. Let h be (-40)/12 + (-4)/6. Put s, h, 1 in descending order.
s, 1, h
Suppose -17 = -5*t + 3. Let c = -8 + t. Suppose -3*u = -7*u. Sort 5, u, c in decreasing order.
5, u, c
Let c = -0.023 + 6.223. Let i = 6 - c. Let a = 0.5 + -0.4. Sort a, -1/3, i in increasing order.
-1/3, i, a
Let k be (3/(-2))/(6/(-20)). Suppose 5*b = 3*x + 3, 6 = -k*b - 5*x + 1. Sort 5, b, 4 in ascending order.
b, 4, 5
Let l = -6 + 5.84. Let u = l - 2.64. Let k = u - 0.2. Sort k, 0.5, 1 in increasing order.
k, 0.5, 1
Suppose 3*n = 6, -t - 16 = -3*t - 5*n. Suppose 3*q + 5*x = -0*q, 0 = -q - 2*x + 1. Put -3, t, q in increasing order.
q, -3, t
Let c = -0.3 + 0.28. Let i = 24.38 - 24. Let g = c - i. Sort -0.3, -4, g in descending order.
-0.3, g, -4
Let z = -19 + 16. Sort 1, z, 0.01 in descending order.
1, 0.01, z
Let z = -2 - -1.8. Let r = 1.4 - -0.6. Sort r, 3, z in descending order.
3, r, z
Let y be 3/6 + (-33)/6. Sort y, -1, -4 in ascending order.
y, -4, -1
Let s(j) = 4*j**2. Let u be s(1). Suppose -3*n = 3*v, -2*v - 15 = u*n - 3*v. Sort 1, 2, n in decreasing order.
2, 1, n
Let p(z) = z + 9. Let n be p(-5). Suppose n*h = -7 - 1. Sort 5, h, 0.1 in ascending order.
h, 0.1, 5
Let q(p) = -p + 9. Let h be q(5). Sort -3, -4, h.
-4, -3, h
Suppose -3*g + 2*t + 5 = 0, 0 = -3*g - 2*t - 1 + 2. Let q(y) = -y**3 - y**2 + 1. Let z be q(-2). Put -3, z, g in increasing order.
-3, g, z
Suppose -3*s = 2*s - 20. Suppose 2*n = -5*a + 21, -3*n = -0*a - 2*a - 3. Let u = -1 + n. Put s, u, 3 in descending order.
s, 3, u
Let g = -224 - -228. Let f = -0.2 + -0.1. Put f, -0.1, g in increasing order.
f, -0.1, g
Let a = -4 - -4.25. Let r = -0.05 - a. Let z = -0.3 - r. Put z, -1, -5 in increasing order.
-5, -1, z
Suppose 0 = 2*v + 3*z - 93, 3*z + 129 = 3*v + 4*z. Let d be 4/(-7)*v/(-12). Put 1, 6, d in ascending order.
1, d, 6
Let n(a) = -a - 3. Let k be n(-5). Let l(f) = -f**3 + 5*f**2 - 2*f + 6. Let h be l(5). Let u be (-1)/(-3) - (-2)/(-6). Put u, h, k in descending order.
k, u, h
Let b(f) = f**3 + 8*f**2 + f + 11. Let i be b(-8). Sort 1, i, 2.
1, 2, i
Let t(q) = -q**2 - 7*q - 5. Let l = 15 - 22. Let z be t(l). Sort z, -9, -4 in descending order.
-4, z, -9
Suppose -23 = 3*j - 2*x, -12 - 10 = 2*j - 3*x. Let p = -40.63 + 41. Let h = p - -0.13. Put h, 3, j in increasing order.
j, h, 3
Let f = 5 - 3. Suppose -n + 5*w = 3*w + f, -w = 2*n + 4. Let b(p) = 2*p + 1. Let l be b(2). Sort l, 2, n in increasing order.
n, 2, l
Let i = -4.2 + 0.6. Let u = i - -4. Let b = 14 + -9. Put b, 0, u in increasing order.
0, u, b
Let n = -39/2 + 20. Let y = -64 - -66. Sort n, y, -2.
-2, n, y
Let x = -0.1 - -0.1. Let l = 0.062 - 0.362. Let g = -5.3 - -0.3. Sort l, g, x.
g, l, x
Let u(j) = -j + 9. Let v be u(4). Suppose -3*t = -3*r - 10 - 5, -5*r = -3*t + 17. Suppose -t*y - 15 = -y. Sort v, y, 0 in decreasing order.
v, 0, y
Let x(k) = -3*k + 2. Let m be x(-1). Sort 2, m, 4.
2, 4, m
Suppose 6*j - 5*j + 4 = 0. Sort j, -1, 2 in ascending order.
j, -1, 2
Let f = 2 + -2.04. Let n = f - -0.05. Let v = -0.19 - n. Sort -1, 3, v in descending order.
3, v, -1
Let i be (-3*(1 + -2))/1. Suppose -i*p + 17 = 2. Let b(u) = 2*u**2 - 12*u + 1. Let d be b(6). Put p, d, 2 in ascending order.
d, 2, p
Let y(v) = v**3 + 11*v**2 + 13*v + 11. Let f be y(-9). Suppose k + 5*n = -10, -4*k + 2*n + f = -2*n. Suppose -2*d + k = 3*d. Sort d, -5, 5 in ascending order.
-5, d, 5
Let p(k) = k**2 - 10*k - 5. Let m be 39/4 - 1/(-4). Let w be p(m). Put -3, 0.2, w in descending order.
0.2, -3, w
Let i = -9 + 8.9. Sort 0.5, i, 0.01.
i, 0.01, 0.5
Let n be 3/9 + 16/(-3). Suppose -l + 4 = 0, -3*h + 0*l + 28 = 4*l. Sort h, 1, n in descending order.
h, 1, n
Suppose 0*j + y = 2*j - 8, j - 4 = -2*y. Put j, -20, 3 in ascending order.
-20, 3, j
Let p(j) = -j - 1. Let f be p(2). Sort -1, -4, f.
-4, f, -1
Let a = 5 - 4.6. Let x = a + -0.9. Put x, 0.4, 1/2 in ascending order.
x, 0.4, 1/2
Let v(r) = -2*r + 22. Let p be v(10). Suppose 0 = -3*f + 6*f + 15. Put -2, p, f in decreasing order.
p, -2, f
Let m = 0.012 - 1.012. Put m, 0.2, 6 in increasing order.
m, 0.2, 6
Let j = 34 - 36. Let q(s) = s**2 + 10*s + 10. Let p be q(-9). Sort -0.4, p, j in decreasing order.
p, -0.4, j
Suppose 6 = -0*v + 2*v + 5*p, -8 = -4*p. Let m be v + -1 + (2 - 1). Sort 3, m, 0 in descending order.
3, 0, m
Suppose -4*o = -31 + 11. Suppose -3*n = 4*f + 2*n - 6, -3*f = -5*n + 13. Sort 4, o, f in increasing order.
f, 4, o
Suppose 0 = -r - 3*v - 7, -2*v = -2*r - v. Sort 2, r, 1 in decreasing order.
2, 1, r
Let w be ((-1)/4)/((-2)/12). Put w, -3, 3/5 in ascending order.
-3, 3/5, w
Suppose -3*g = 4*s - 7, -14 = -4*g - 3*s - 0. Suppose 5 = -3*c - 1. Sort c, 1, g in decreasing order.
g, 1, c
Let m(s) = -4*s + 24. Let r be m(5). Suppose g + 12 = -2*i + 5*i, -g = -5*i + 18. Put -2, r, g in descending order.
r, -2, g
Let l = 6 - 4. Let f be 122/18 - (-6)/27. Suppose 2*a - 5 = -3*x - l*x, -2*a + f = 3*x. Put 3, x, 1 in descending order.
3, 1, x
Suppose 3*a - 2*q = 2*q - 7, -3*a = -2*q + 11. Let y(h) = h + 3. Let l be y(a). Suppose 3*m - 2*v = -4, 2 = 2*m - 2*v + 8. Sort 3, m, l in ascending order.
l, m, 3
Let v = -1 + 4. Suppose -j = v*j. Put j, -0.5, 0.5 in increasing order.
-0.5, j, 0.5
Let y(l) = -l**3 - 5*l**2 - 5*l - 6. Let q be y(-4). Sort -3, q, 3.
-3, q, 3
Let l = 15 - 5. Let t = l - 11. Put 1, -4/7, t in descending order.
1, -4/7, t
Let p be (-1)/4 + (-9)/12. Sort 1, -2, p in descending order.
1, p, -2
Let w = -23/12 + 5/3. Let l = 19.4 - 21. Let t = 0.4 - l. Sort t, w, -3 in increasing order.
-3, w, t
Let h = 5/14 - 13/7. Put h, -0.05, 0.4 in decreasing order.
0.4, -0.05, h
Let u = -0.3 - -0.5. Suppose 0 = -s - 3*y + 5*y - 11, 4*s + 2*y + 4 = 0. Put s, u, -0.5 in descending order.
u, -0.5, s
Let q = -0.085 - -5.085. Let g = -4 + 7. Sort 4/3, g, q in descending order.
q, g, 4/3
Let y be 3/12 - 10/24. Let l = -3.7 - 1.3. Let g = l + 5. Put y, g, -0.1 in ascending order.
y, -0.1, g
Suppose 6*y + 12*y + 18 = 0. Put 4, -33, y in ascending order.
-33, y, 4
Suppose -4*q + 4 = 0, 5*q - 4 = -2*u + 3. Let v = 6 + -11. Let h be -3*(8/3)/2. Sort h, v, u in decreasing order.
u, h, v
Let l = -56 + 52. Sort 0.4, -19, 0.3, l in increasing order.
-19, l, 0.3, 0.4
Let i = -21 - -13. Let x = -11 - i. Sort x, -2, 0.
x, -2, 0
Let r be (-24)/11 + 1 + 1. Let d be -1*1