t k(f) = f**3 + 5*f**2 + 2*f - 3. Let g(s) = -5*s + 1. Let b be g(1). Let t be k(b). Put 0, -1, t in descending order.
t, 0, -1
Let t = 3 + -4. Let b = 0.48 + 0.02. Let k = t + b. Put -0.3, k, 0.4 in descending order.
0.4, -0.3, k
Suppose 3*m - 5 = 4*m, 3*a = -2*m + 2. Put a, 7, 2 in ascending order.
2, a, 7
Let m = 25 - 28. Sort -8, 3, m, 5 in decreasing order.
5, 3, m, -8
Let q = 15.2 - 15. Put q, -5, 0.1 in descending order.
q, 0.1, -5
Let t = 2.9 + -3.2. Put -1/3, t, -0.4 in decreasing order.
t, -1/3, -0.4
Let b = 54/7 - 298/35. Let a = 3 + -3. Put a, -2/5, b in descending order.
a, -2/5, b
Suppose v - 5 = i - 0*i, 2*i - 3*v = -15. Sort -2, i, 5 in ascending order.
-2, i, 5
Suppose 0 = -4*r - 8, 5*n + r + 8 + 14 = 0. Suppose p + p = 0. Sort p, 3, n in ascending order.
n, p, 3
Let i = -213/4 + 53. Sort i, 0.05, 1/6 in decreasing order.
1/6, 0.05, i
Suppose -j + 0 = -2. Suppose -j*f = -0*f - 30. Suppose 3*m + 0*m - f = 0. Sort m, 0, 3 in increasing order.
0, 3, m
Let v = -30 + 27. Sort -1/9, -1/6, v in ascending order.
v, -1/6, -1/9
Suppose -3*c - 403 = 4*a, 3*a + 2*c + 311 = -2*c. Let i = a + 483/5. Sort -2, i, 0.1.
-2, i, 0.1
Suppose -3*z - 3 - 3 = 0. Let u = z + 3. Put -1, 0, u in decreasing order.
u, 0, -1
Let s = 5.13 + -0.13. Sort 1/7, -4, s in descending order.
s, 1/7, -4
Let z = 9 + -9.1. Let t = 48 - 43.1. Let i = z - t. Sort -3, 5, i.
i, -3, 5
Let l(j) = 2*j - 12. Let t be l(8). Sort -3, 1, t, 5 in ascending order.
-3, 1, t, 5
Suppose -30 = -3*j - 9. Suppose a = -4*k, -3*a + 4*k = -j - 9. Let s = a + -8. Put 0, 3, s in ascending order.
s, 0, 3
Suppose 12 = -5*a - 13. Let k = a + 5. Suppose k*l - 5*l = -20. Put l, 1, -5 in descending order.
l, 1, -5
Let d = -15 - -22. Sort d, 2, -4 in descending order.
d, 2, -4
Let w = 0.24 + -0.04. Put 4, w, -2/7 in decreasing order.
4, w, -2/7
Suppose -h + 4*g = -g - 10, 2*g = -6. Sort -2, 2, h.
h, -2, 2
Let i(f) = 16*f - 1. Let v be i(1). Suppose 5 = -5*l - v. Sort -0.1, -1/9, l in increasing order.
l, -1/9, -0.1
Let b = 0.7 + 0.3. Let f = -11.2 + 11. Sort f, b, 2 in increasing order.
f, b, 2
Let h = 9305/21 - 443. Put h, 2/5, 5 in descending order.
5, 2/5, h
Suppose -5*h - 4*b + 8 = 0, -5*h + 23 + 6 = -3*b. Let o be (-4 - -2)*2/4. Sort o, -4, h in decreasing order.
h, o, -4
Let k = -111 + 108. Let u(n) = n + 6. Let o be u(-7). Sort k, o, -2 in decreasing order.
o, -2, k
Let c(v) = 2*v - 4. Let u be c(3). Suppose w = -2*w + 6, 4*n - 3*w = -2. Let t = n - u. Put t, 3/2, -2 in decreasing order.
3/2, t, -2
Suppose -3*u = 130 - 115. Put u, 0.1, -3, 6 in descending order.
6, 0.1, -3, u
Let i = 6 - 6. Let x be (-1 - i)*(-1 + 3). Let z be 3*(1 + x)/1. Put 4, 5, z in descending order.
5, 4, z
Suppose -3*t = 5*v + 37, 3*v = 2*t + 8*v + 33. Put t, -5, 2 in descending order.
2, t, -5
Let z be (-6)/(-15) + (-13)/(-5). Let w be (-10)/(-35)*(0 - 14). Sort w, z, 4 in ascending order.
w, z, 4
Let q be (-13)/(-3) + 4/(-12). Suppose 4*s = g - 10, -s = 5 - 3. Sort g, q, 3.
g, 3, q
Let w = 3.3 - 2.9. Put w, 3, 0, -3/8 in decreasing order.
3, w, 0, -3/8
Let q be (-115)/35 - 6/(-2). Sort -5, -3, q in descending order.
q, -3, -5
Let i = 0.35 - 0.05. Put i, 3/4, 0.2 in ascending order.
0.2, i, 3/4
Let o(m) = m**3 + 8*m**2 + 7*m + 5. Let a be o(-7). Sort a, 0, 4 in decreasing order.
a, 4, 0
Let x = -0.04 - 0.36. Let c = -0.3 - 0.7. Let p = c - -2. Put 0, x, p in decreasing order.
p, 0, x
Let g = -31 - -30. Sort -0.1, g, -1/3 in increasing order.
g, -1/3, -0.1
Suppose -2*y = -4*g, -3*y - g = 4*g - 11. Let q be y/(12 + (0 - 2)). Sort 4, q, 3/4 in decreasing order.
4, 3/4, q
Let v = 13 - 38/3. Sort -7, 0, 0.4, v in decreasing order.
0.4, v, 0, -7
Suppose -27 = -4*y - 3*a, 1 - 2 = -a. Let p = -3 + y. Suppose 0*s + 7 = -4*s + 3*j, -9 = -2*s - j. Put p, -2, s in ascending order.
-2, s, p
Let g = 4 - 5. Let c(s) = -s**3 + 5*s**2 - 2*s - 2. Let p be c(2). Suppose -2*d + p = -0*d. Sort 2, g, d.
g, 2, d
Let u = 0.5 + -1. Suppose 5*r = -8 + 3. Let t = 191/4 + -48. Put u, t, r in ascending order.
r, u, t
Let h be (13 - -1)/(-7 + 5). Let f(y) = y**2 + 7*y. Let t be f(h). Put 3, t, -1 in decreasing order.
3, t, -1
Let j(q) = -4*q - 1. Let y(b) = -1. Let l(p) = j(p) - 2*y(p). Let s be l(1). Sort s, -5, -2.
-5, s, -2
Let y = 1 + -2. Let a be (-6)/7*(-4)/324. Let w = a - -332/4347. Put w, y, -0.3 in decreasing order.
w, -0.3, y
Let c = 90 + -992/11. Let v = -0.03 - -4.03. Sort v, 3, c.
c, 3, v
Suppose z - 9 = -2*z. Suppose -z*k - 15 = -6*k. Suppose 12 = 3*f + f. Put f, k, 1 in increasing order.
1, f, k
Suppose 4*k - 8 = 8*k. Let g be (4/2 - 0)*-1. Let a = 2 - g. Put k, 1, a in descending order.
a, 1, k
Let n = -71 - -76. Sort n, 2, -2 in descending order.
n, 2, -2
Let g = -28 + 27. Put 1, -5, g in increasing order.
-5, g, 1
Suppose 0*w + 2*w - 16 = 2*m, 0 = -4*w - 3*m + 4. Put 1, w, -28 in descending order.
w, 1, -28
Let s = -17 - -17.3. Sort 5/2, -5, s in descending order.
5/2, s, -5
Let o = -0.12 - 0.88. Sort o, 3, -0.2 in increasing order.
o, -0.2, 3
Let y = 0 - 17. Let g = 20 + y. Put 5, 1, g in increasing order.
1, g, 5
Let a = 457/7 - 65. Let t be (-3)/(-8) + (-84)/96. Sort a, t, 3 in ascending order.
t, a, 3
Suppose -r + o - 16 = -5*r, 0 = -5*o. Suppose -h - 14 = r*v, h + 3*h = 2*v + 16. Let b = 7 - 6.8. Put b, v, 4 in descending order.
4, b, v
Let v be 50/105*(-18)/15. Put 0, -0.5, v in ascending order.
v, -0.5, 0
Let i = -2.65 + 2.6. Put -2/7, 4, i in descending order.
4, i, -2/7
Let v(a) = a**3 - 2*a**2 - 2*a + 4. Let b be v(3). Suppose 0 = z - 3 + b. Let h = -4 - z. Sort -2, h, 3.
-2, h, 3
Let r be 9/(-26) - 5/(-10). Let a = 0.8 - 1.3. Sort a, -2, r in increasing order.
-2, a, r
Let q = -8 + 8.6. Let o = q + -0.7. Put 3/5, o, -2 in ascending order.
-2, o, 3/5
Let q = 0.22 - 2.22. Sort -4, q, -2/3 in decreasing order.
-2/3, q, -4
Suppose 0 = -2*b + 2, 0 = -0*p + 5*p + 3*b - 13. Sort p, -5, -2 in descending order.
p, -2, -5
Let o be 3/4*(-4)/(-7). Let f = 4 - 0. Let a = 2.2 - 2. Put f, o, a in descending order.
f, o, a
Suppose q - 6*q = 15. Let b be (0 - 3) + 8 + q. Let l(u) = u. Let j be l(b). Sort j, 1, 3.
1, j, 3
Let x(p) = 5*p**2 + p + 1. Let g be x(-1). Put -6, g, 4 in decreasing order.
g, 4, -6
Let r = 18 + -13. Suppose 0 = r*u - 0*u. Suppose 0 = -u*y - y. Sort 3, -4, y in descending order.
3, y, -4
Let f = 8 - 0. Let p = 4.5 - f. Let v = p - -4. Sort -4, 0.4, v in decreasing order.
v, 0.4, -4
Let m = 5.9 + -5.4. Let q be (-1 + 1)/(-1) + 3. Let j = 207/424 - 6/53. Sort q, m, j.
j, m, q
Let i(d) = 4*d**3 - d**2 - d. Let x be i(-1). Let a(s) = s**2 - 12*s + 31. Let y be a(8). Sort y, 3, x in increasing order.
x, y, 3
Suppose -2*d = p - 3, 2*p = -0*d + 4*d - 26. Sort d, -4, 3 in descending order.
d, 3, -4
Let u = -1.7 + -0.3. Let p = -52 + 27. Let t = 24.5 + p. Put t, u, -5 in descending order.
t, u, -5
Suppose -11 = -5*n + 4. Let l = -10 + 16. Let m be (5 - l/n)/5. Sort m, 4, -2.
-2, m, 4
Let g = 2.03 - 0.03. Let w = g + -2. Let y be -5*1*(2 - 1). Sort y, 0.5, w in decreasing order.
0.5, w, y
Let h = -100 + 95. Sort 3/5, h, 0.08, 2 in decreasing order.
2, 3/5, 0.08, h
Let o be (-15)/(-6)*24/(-15). Suppose 5*l + 2*i = 40, 3*i - 19 = -4*l + 4*i. Suppose 0 = -7*v + 4*v + l. Sort o, 5, v in ascending order.
o, v, 5
Let q(i) = 6 - 3*i + 3 - 4*i - 5*i**2 + i**3. Let u be q(6). Sort 2/11, u, -0.5.
-0.5, 2/11, u
Suppose -3*t - 4*j = 14, 0 = -5*t - 0*t + 2*j - 6. Suppose 2*a - 5 = 25. Suppose -2*y - 9 = 4*v - 5*y, 3*v - 5*y + a = 0. Put t, -4, v in descending order.
v, t, -4
Let v = 30 - 33. Put v, -2, -0.4 in decreasing order.
-0.4, -2, v
Suppose 0*t + t - 5 = 0. Let i(j) = -2*j + 6. Let p be i(t). Sort 1, 0, p.
p, 0, 1
Let d(a) = 6*a**2 + a + 1. Let i be d(-1). Let r(f) = -f**3 - 11*f**2 + 2*f + 19. Let g be r(-11). Sort i, 3, g in decreasing order.
i, 3, g
Let q = -130 + 394/3. Let d be 2/(-8) + 1/(-1)*-1. Sort 2/5, q, d in descending order.
q, d, 2/5
Let a = 0.1 + 0.1. Suppose 3*b - 2*w - 8 = 0, b - 3*w = -w + 8. Suppose -y + b*y = 0. Sort 4, a, y in increasing order.
y, a, 4
Let i = 3 + -3.3. Let r = 0.9 - 1. Let v = r + 1.1. Sort -1/6, i, v in decreasing order.
v, -1/6, i
Let m be (-6)/(-8)*(16/(-12))/2. Sort 1/7, 1, m in ascending order.
m, 1/7, 1
Let w = 0.7 + 0. Let m = w + -0.3. Let g = -0.23 - -0.03. Sort m, g, -5 in 