. Sort f, 0, c in increasing order.
f, 0, c
Let d = 0.095 + 0.005. Sort 5, 0.3, d, 3/5 in descending order.
5, 3/5, 0.3, d
Let x = -12.8 - -13. Let t = -0.1 - x. Let v = -0.03 + -3.97. Sort t, -2, v.
v, -2, t
Let v(f) = f**2 - 8*f + 3. Let a be v(4). Let s = -11 - a. Let r = -8 + 11. Sort r, s, -4.
-4, s, r
Suppose w = 2*w - 5. Put -3, -4, w, -1 in decreasing order.
w, -1, -3, -4
Let m = -13 - -10. Let l be (0 + 2 + 1)*1. Suppose 2*h = -t + 1, h - 2*t - 6 = -l*h. Sort m, -2, h in increasing order.
m, -2, h
Let d be ((-5)/(-2))/((-2)/(-4)). Let l = d + -3. Suppose -z - 14 = 3*w, 0*z = 2*z + 2*w + 16. Sort l, -4, z.
z, -4, l
Let y = -1 + 2. Suppose 0 = -p + 2 - y. Let t be (9 - 2) + -2 + -1. Sort t, p, -5.
-5, p, t
Let f = -5.589 - 0.111. Let k = 16 + -10. Let j = f + k. Put -1, -5, j in increasing order.
-5, -1, j
Let j(v) = v**2 - 1. Let q be j(2). Suppose 0 = -4*d + 5 - 17. Let r be (10/(-3))/(2/d). Sort r, 4, q in descending order.
r, 4, q
Let z = -0.5321 - -66.9421. Let b = 62.4 - z. Let c = -0.01 - b. Put 0.5, -3, c in increasing order.
-3, 0.5, c
Suppose -i = -q - 6, 0*q = 2*i + q - 6. Suppose k + k = 4. Sort 5, i, k in descending order.
5, i, k
Let r = -22 + 12. Let u = 7 + r. Put 3, 0.02, u in ascending order.
u, 0.02, 3
Suppose -4*k - k + 20 = 0. Let g = 5 - k. Sort 2, g, -1/2 in descending order.
2, g, -1/2
Let d be (-3)/(-8) + 43/(-72). Put 2/3, d, 5, 2/13 in ascending order.
d, 2/13, 2/3, 5
Let z be (-5)/(30/18)*1. Sort -4, z, -9.
-9, -4, z
Let d be 264/(-36) - (-1)/(-6)*-2. Sort 1, -3, -4, d in increasing order.
d, -4, -3, 1
Let o be 2/(-3)*(-45)/(-105). Sort 0, -3, -0.2, o in increasing order.
-3, o, -0.2, 0
Let b(s) = s + 21. Let r be b(-17). Let h be (-1 - -1)/(-1 - 1). Sort 5, h, r in increasing order.
h, r, 5
Suppose 4*y - 3*y - 1 = 0. Suppose -2 = f + y. Sort f, -4, -2/7 in decreasing order.
-2/7, f, -4
Let a = 27 + -30. Put -7, -1, a in ascending order.
-7, a, -1
Let m(u) = -5*u + 5 + 0*u - 2 + 5*u**2 + u**3. Let y be m(-6). Let n(p) = 2*p + 19. Let t be n(-9). Put t, y, 0 in decreasing order.
t, 0, y
Let x be 4 + (2 + -12 - -3). Put 2, 3, x in decreasing order.
3, 2, x
Suppose 5*h - 3*q + 65 = 0, 0 = 2*q - 4*q. Let y = 8 + h. Sort y, 4, 3 in descending order.
4, 3, y
Let z = 2 - 1. Let m = 3.6 - 4. Let r = -2 + 4. Sort r, m, z.
m, z, r
Let n be (-3)/(-6) + (-3)/6. Suppose -x - 3*x = n. Put -5, x, -1 in descending order.
x, -1, -5
Suppose 3*k - 19 = -2*g, 3*g - 5*g = -3*k + 11. Sort -1, 3, k in decreasing order.
k, 3, -1
Let f = 7 + 5. Put f, -2, -3 in increasing order.
-3, -2, f
Let j = -43 - -25.5. Let p = j - -18. Sort -2/5, -2/9, p in ascending order.
-2/5, -2/9, p
Let w = 0.029 - -2.871. Let a = -3 + w. Sort 0, 1, a.
a, 0, 1
Suppose -3 = 5*b + 2. Let a = 3 - b. Sort a, 2, 5 in descending order.
5, a, 2
Let n(k) be the third derivative of -k**5/60 + k**4/6 - k**3/2 - k**2. Let y be n(2). Let s be 4/(-10) + (-12)/(-5). Sort -4, y, s in increasing order.
-4, y, s
Let y be ((-2)/(-4))/((-3)/(-18)). Suppose -t + 7 = y. Suppose -3*k = 3*p, t*p - 3*k - 9 = -23. Put p, 0, 1 in ascending order.
p, 0, 1
Let z = 39 + -38.97. Put -3, z, 0 in descending order.
z, 0, -3
Let m = 4.04 + -4. Let t = 4.04 - m. Put 0.5, t, 2/21 in increasing order.
2/21, 0.5, t
Let c be 2 - (5 - 22/10). Sort 3, 6, -1/4, c in decreasing order.
6, 3, -1/4, c
Let p = 1.1 + -0.8. Let a = -0.7 - p. Let x = 25/33 + -12/11. Sort x, a, 4.
a, x, 4
Suppose -3*d = -2*a - 3*a, -2*a + 5*d + 19 = 0. Let c = -5/2 - a. Let f = 1 + -0.6. Sort c, 5, f in decreasing order.
5, c, f
Suppose -2*m = -o - 3*o - 12, o - 4 = -3*m. Sort 5, 0, 1, m in ascending order.
0, 1, m, 5
Let y = 24 + -22. Let n be (34/(-14) + 3)*7. Let j = -0.2 - -0.3. Put n, j, y in ascending order.
j, y, n
Let d(o) = 5*o. Let m be d(-1). Let r = 11 + -6. Sort m, 1/9, r.
m, 1/9, r
Let s = 1 + -3. Let h = s - -4. Let x = h + 1. Put 0, -5, x in descending order.
x, 0, -5
Let p be 3 + 0 - 30/(-5 - -2). Sort -2, 4, p in descending order.
p, 4, -2
Let k be (-3)/((-3)/(-5))*(1 + 0). Put -3, k, 1 in increasing order.
k, -3, 1
Let x(m) = -m**3 - m**2 - m - 3. Let v be x(0). Suppose h - 5*h = -16. Put -1, v, h in increasing order.
v, -1, h
Let w = 8 - 29/4. Sort 1/7, 2/3, w in decreasing order.
w, 2/3, 1/7
Let b = 3.01 - 0.01. Let h = b - 3. Put -2/5, -3, h in descending order.
h, -2/5, -3
Let a be (9/(-6))/(6/(-8)). Suppose -4*x - g = -0*g + a, 0 = -3*g + 6. Sort x, 13, 1 in descending order.
13, 1, x
Let n = -57 - -57. Sort n, -2, -0.1 in increasing order.
-2, -0.1, n
Let u be 1 + -134 + (-6 - -7). Let m be 2 - (-7)/(441/u). Suppose h + 4*g - 22 = 0, -2*g - g = -4*h - 7. Put h, -0.5, m in descending order.
h, m, -0.5
Suppose -2*r - 2*l = 2*l + 20, 0 = -4*r + 5*l - 1. Suppose s - 3 = z, 3*z - 3*s = -5*s - 19. Put r, z, -3 in descending order.
-3, r, z
Let p be 27/21 - 6/21 - 6. Sort 2, 7, 4, p.
p, 2, 4, 7
Let y = 410 - 819/2. Let w = -1.1 + 1. Put y, 0, w in decreasing order.
y, 0, w
Let i = -77 - -73. Put -0.4, i, -2/15 in increasing order.
i, -0.4, -2/15
Let v = -3.96 + -0.04. Sort -0.3, 5, v.
v, -0.3, 5
Suppose -a - 2*s + 6 = 0, -a + 0 = -3*s + 14. Suppose -u - p = 3*u, 3*u + 7 = p. Let v = u + 6. Put a, -1, v in decreasing order.
v, -1, a
Suppose -2*r - 4 = -5*y, 2*r = r - 4*y + 24. Let z = r - 12. Sort 2, -1, z.
z, -1, 2
Let s = 5 - 6. Sort -3, 3, s.
-3, s, 3
Let n be (-85)/(-15) - (-2)/6. Put n, -2, 5 in descending order.
n, 5, -2
Let c be (4/12)/(1/12*2). Suppose -5*w + 4*v - 19 = 0, -3*w + 3*v - 10 = 2*v. Sort 5, c, w in descending order.
5, c, w
Suppose t = 3*t. Sort t, -4, 5 in descending order.
5, t, -4
Let c be (-1)/(-2) + (-26)/4. Let p be (-8)/c - 6/18. Let z = -3 - -6. Put p, -3, z in increasing order.
-3, p, z
Suppose r = 3*r + 4. Let u be (-18)/12*r/(-15). Put -0.4, 0.3, u in decreasing order.
0.3, u, -0.4
Let b = 4 + -7. Let a be (12/9 - -2)*3. Let v = a - 14. Sort b, v, 2 in descending order.
2, b, v
Let j = -16 - -10. Let d = j - -9. Let r = -58 + 409/7. Sort r, d, 4 in decreasing order.
4, d, r
Let z(a) = 3*a + 26. Let d be z(-8). Let u = 0.4 + 3.6. Sort d, 0.06, u in descending order.
u, d, 0.06
Suppose p - 6*p + 65 = 0. Let t = p + -18. Suppose -32 = 124*s - 132*s. Sort -1, s, t in decreasing order.
s, -1, t
Let i = 3 + 1. Sort i, 5, -2, -0.3 in descending order.
5, i, -0.3, -2
Let b = -87 + 90. Sort 2, b, -9 in ascending order.
-9, 2, b
Suppose -2*g - 14 = -2*l, 3*g - 4*l + 13 = -11. Let v = g + -1. Put 1, v, -2/15 in decreasing order.
1, -2/15, v
Let n be (1 + 0 + 9)/2. Let p = n + -10. Sort 2, p, -1/8 in increasing order.
p, -1/8, 2
Let m(z) be the second derivative of z**5/20 + z**4/3 + z**3/2 + z**2/2 + z. Let g be m(-3). Suppose -3*a = -4*a. Sort g, 3, a.
a, g, 3
Let n be 4/(-10)*(-2 - 3). Suppose 5*c + 4*p = -p - 10, n = -c + p. Let a(b) = -b + 7. Let x be a(11). Sort c, -1, x.
x, c, -1
Suppose 10*l = 14*l + 4. Let f be -6*(-1)/2 - 1. Suppose f*p - 6*p = z + 7, -5*z - p = -3. Sort l, 4, z in descending order.
4, z, l
Let g(b) = b**2 + 7*b + 3. Let y = -3 + -4. Let o be g(y). Suppose q + 3 = -o*w - 4*q, -w + q - 1 = 0. Put 5, w, -3 in ascending order.
-3, w, 5
Suppose -2*h + 16 = 10. Suppose h*y = 9, -3*i = 4*y - 0*y - 3. Let x = 2.9 - -0.1. Sort 5, i, x in decreasing order.
5, x, i
Suppose 0 = -3*n - 9. Suppose 0 = -9*z + 4*z + 20. Sort z, 1, n in descending order.
z, 1, n
Let h be (-147)/153 + (-2 - -3). Let a = 157/102 - h. Let c = 1 - 0. Sort c, a, -1 in ascending order.
-1, c, a
Suppose 26 = -3*l + 29. Sort -5, -2, l, -8.
-8, -5, -2, l
Let q be (4/3)/((-9)/27). Sort q, 4, -3.
q, -3, 4
Let m be 16/(-56)*(-14)/(-3). Put -1/2, m, -0.1 in increasing order.
m, -1/2, -0.1
Let k(v) = v**3 + 3. Let f be k(-2). Sort 4, 2, f, 3 in descending order.
4, 3, 2, f
Let n(y) = 2*y + 8. Let t be n(10). Let m be (-74)/(-14) - 8/t. Let z be 11/3 - 2/3. Sort m, z, 2.
2, z, m
Let s = 0.27 + 4.73. Put -0.2, s, -5 in descending order.
s, -0.2, -5
Let h = -12.6 - -2.6. Let l = h - -18. Let t = -7.6 + l. Put 0.2, t, -0.3 in increasing order.
-0.3, 0.2, t
Let o = 257 + -6423/25. Let q = -21/50 - o. Put q, 2/7, -2/7 in descending order.
2/7, -2/7, q
Let c be -3 + 2 + -1 + 4. Let k be (-1)/(-1 + -2 + c). Let o(f) = -2*f - 4. Let b be o(-3). Put k, b, -5 in ascending order.
-5, k, b
Let m = -680.61 + 674. 