f.
f, -0.4, t
Suppose -7*u + 3*u = -3*i + 17, 0 = -5*i - 5*u + 5. Put 0.9, 1, 2/13, i in increasing order.
2/13, 0.9, 1, i
Let b = 14 - 17. Suppose 3*f = -5*o + 8, 0 = 2*o - 4*f - 9 - 15. Put o, -5/3, b in decreasing order.
o, -5/3, b
Suppose -2*x = 4*l - 3*l + 5, -3*x + 2*l = -10. Let r be 3/((-3)/(-8)) + -1. Sort r, 3, x in decreasing order.
r, 3, x
Let c be 2/6 - 40/72. Sort c, -0.1, -4 in decreasing order.
-0.1, c, -4
Let h = 7 + 0. Suppose h = -j + 2. Let m = -3 - j. Sort -3, m, 3.
-3, m, 3
Suppose 30 = 5*j - 0*j. Let a be (j/(-21))/(20/(-7)). Sort -2, -2/3, a.
-2, -2/3, a
Let w(v) = 4*v + 12. Let d(h) = h + 1. Let r(a) = -3*d(a) + w(a). Let u = -5 + 1. Let i be r(u). Put -1, i, 4 in descending order.
i, 4, -1
Let b = -0.1 + 0.1. Let c be 1/(2*(0 + 1/(-10))). Sort c, b, 5 in ascending order.
c, b, 5
Let b(m) = m**2 - 9*m + 9. Let y be b(8). Let i(d) = 2*d + 8. Let q be i(-6). Sort 4, y, q in decreasing order.
4, y, q
Let p be 1 - (4 - 3) - 0. Suppose 2*m - 2*i = -p*i, i - 6 = 3*m. Sort -4, m, -1 in ascending order.
-4, m, -1
Let x = 0 + 2. Let c = -1783/66 - -161/6. Sort x, -3/2, c.
-3/2, c, x
Let z be (-2 + -1)/(9/(-6)). Let s(n) = n**2 - 2*n - 1. Let k be s(3). Let f = k + z. Sort 1, -4, f in ascending order.
-4, 1, f
Suppose -3*n + 3 = -4*n, n = -5*s - 3. Put 0.5, 1, s, -2.6 in decreasing order.
1, 0.5, s, -2.6
Let o be 1 + 0 - (-2)/(-8). Let t be 4/3*(1 + 2). Let s = t - 5. Sort 0.2, o, s.
s, 0.2, o
Let d be 51/(-19) + 9/3. Let a = 4/133 - d. Sort -2, a, 3 in ascending order.
-2, a, 3
Let p = 8 - 3. Let o = -7 - -12. Suppose p*n = -0*n + o. Sort -5, -4, n in ascending order.
-5, -4, n
Let u = 10 + -7. Suppose -15*p + 21*p = 12. Sort -1, u, p in descending order.
u, p, -1
Let k(m) = -20*m - 2 + 14 - m**3 + 11*m - 7*m**2 - 5*m**2. Let g be k(-11). Put -5, g, 5 in decreasing order.
5, -5, g
Let r = -0.53 - -0.43. Let m = -83 + 580/7. Sort r, m, -3 in ascending order.
-3, m, r
Let a be (10/(-6))/((-70)/84). Sort -5, a, 27, 5 in descending order.
27, 5, a, -5
Let q = -2.3 - -2.4. Put 2/7, 5, q in decreasing order.
5, 2/7, q
Suppose -8*p = -3*p. Let f be (8/10)/(6/15). Let w = -10 + 5. Sort f, w, p.
w, p, f
Let k = -103.57 + 104. Let p = k + 0.07. Sort p, 1/7, 3.
1/7, p, 3
Let t = -169 - -1523/9. Let k = -1 + -7. Let h = 8 + k. Sort t, 2/5, h in descending order.
2/5, t, h
Suppose d = u - 4*d, 5*d - 10 = 2*u. Sort -0.5, 4, u, 0.
u, -0.5, 0, 4
Let k(y) = -y + 13. Let r(p) = p. Let s(f) = k(f) + 2*r(f). Let d be s(-8). Let x = 1 + -3. Put d, x, 2 in increasing order.
x, 2, d
Let i = -0.9 - 3.1. Suppose 3 = 3*a - 3. Suppose -u - u + a = -3*k, -k - 2 = 0. Put u, i, 2/7 in decreasing order.
2/7, u, i
Let g(c) = c**3 + 6*c**2 - 7*c + 3. Let u(s) = s + 2. Let w be u(-9). Let f be g(w). Sort 2, -3, f in increasing order.
-3, 2, f
Let g(x) = x**3 - 4*x**2 - 4*x - 3. Let q be g(5). Suppose 0 = -q*c + c + 6. Let w be 84/(-18) + 4/c. Put -3, w, 0 in decreasing order.
0, -3, w
Let n = 123 - 117.7. Let v = n + -5. Let i be (-1)/(6/(-19)) + (1 - 4). Sort i, 3, v in increasing order.
i, v, 3
Let g be 1*(-6)/(-117)*-3. Suppose 2*y - 3*a = 14, y + 5 + 1 = -5*a. Suppose 8 = y*r - b, -3*b - 13 = 4*r - 5*r. Put g, r, -5 in increasing order.
-5, g, r
Suppose -3 - 1 = -h - 5*r, -2*r + 34 = -5*h. Let p(o) = -o**3 + 12*o**2 - 19*o - 5. Let u be p(10). Sort h, u, -3.
h, -3, u
Suppose -5*n - 86145 = 78675. Let s = 362320/11 + n. Let a = s - -26. Put 4, -1, a in increasing order.
-1, a, 4
Suppose 0 = -12*p + 10*p. Let t(d) = d**3 - d**2 + d. Let n be t(p). Sort n, -0.5, -3 in ascending order.
-3, -0.5, n
Let c = 0.09 - -0.11. Let y = 0.1 + c. Sort -0.5, y, -4.
-4, -0.5, y
Let v = 12 + -8. Suppose v*o - 15 = -o. Suppose -2*n = 4*r + 26, -3*r - 4 = -4*n - 12. Put o, n, -4 in decreasing order.
o, -4, n
Let f = -1 - -1. Let q = -4/15 + 3/5. Put q, -3, f in decreasing order.
q, f, -3
Let y be (1/(-3))/(24/18). Put 2, y, -4 in decreasing order.
2, y, -4
Let j be 1 + -2 + 1 - -5. Suppose 0 = -j*y + 20. Let w(b) = b. Let f be w(5). Sort 3, f, y.
3, y, f
Suppose v = 5*v + 8. Let j be -1*1*(-72)/(-12). Let o = -3 - j. Put o, v, -3 in increasing order.
-3, v, o
Let o(i) = 2 - 2*i + 5*i + 4 - 2. Let t be o(-3). Sort 2, 4, t in increasing order.
t, 2, 4
Let f = -0.7 - 6.3. Let b = f + 6. Let z = b - -4. Sort -3, -2/3, z in ascending order.
-3, -2/3, z
Suppose 4*j - 2*j + 8 = 0. Put j, -2, -1 in descending order.
-1, -2, j
Let f be 34/(-40) - (-4 + (-75)/(-20)). Sort f, -3, 1, 4 in decreasing order.
4, 1, f, -3
Let o = 74 - 73.6. Sort -2, -1, 0.3, o in decreasing order.
o, 0.3, -1, -2
Let n = 0.08 + -0.18. Let r be (-3)/(-1) - 22/6. Put n, r, -5 in ascending order.
-5, r, n
Let f(z) = 3*z**2. Let d be f(1). Suppose 18 - 3 = -15*o. Sort 4, d, o in descending order.
4, d, o
Let d be (-48)/(-10) - (-3)/15. Sort 1, d, -2 in decreasing order.
d, 1, -2
Suppose 1 = -2*b - 3*z, 3*b - 4*z = -0*z - 27. Sort 2, b, -4 in decreasing order.
2, -4, b
Let v(x) be the third derivative of x**4/24 + 2*x**3/3 - 3*x**2. Let f be v(-4). Sort f, 2/11, 1/4 in ascending order.
f, 2/11, 1/4
Let n = 160 + -156. Sort 1, 0, n in ascending order.
0, 1, n
Let q = 0.385 + 0.115. Sort 5, 6/7, q, 2/3.
q, 2/3, 6/7, 5
Let d = -17 + 15. Sort 0.4, -0.3, d.
d, -0.3, 0.4
Let l(n) = -3*n - 20. Let m be l(-6). Sort -1, m, 3 in decreasing order.
3, -1, m
Let w = -1.2 + -3.8. Let g = -4.5 - w. Sort g, -1, -1/3.
-1, -1/3, g
Let k(x) = 3*x**2 + 1. Let d be k(1). Put -1, -3, d in decreasing order.
d, -1, -3
Suppose -4*m + 2*m = 10. Let y be 34/(-10) + (-2)/m. Sort 1, y, -4 in decreasing order.
1, y, -4
Let d = -4 - -1. Suppose 0 = -3*g - 1258 + 1261. Sort g, 4, d.
d, g, 4
Let g = 0 + 0. Let c be 5 - -1 - (-784)/(-147). Put g, c, 3 in increasing order.
g, c, 3
Let l = 8 - 5. Suppose -4*w + 13 = -l. Put 0, w, -3 in increasing order.
-3, 0, w
Let l(v) be the first derivative of -5*v**3/3 + v - 2. Let j be l(-1). Sort j, -3, 1/2 in increasing order.
j, -3, 1/2
Suppose 4*i - s = -3*s, 3*s + 14 = i. Put i, -3, 4 in ascending order.
-3, i, 4
Let z be 45 + -38 + 4/(1*-1). Put 28, -4, z, -2 in decreasing order.
28, z, -2, -4
Let o be 0/(-3*2 - -2). Put -13, o, -3 in increasing order.
-13, -3, o
Let f be (-3 + 1)*(-2)/44*-1. Put -2/5, 4, f, -5 in increasing order.
-5, -2/5, f, 4
Let i = 0.3 - 5.7. Let k = i - -5. Let h = -19 - -14. Sort h, 0.3, k.
h, k, 0.3
Let f = 22 + -22.1. Put 10, f, -0.5 in increasing order.
-0.5, f, 10
Let l = -159.7 + 160. Put -2, l, -7, -0.4 in increasing order.
-7, -2, -0.4, l
Let b be (-8)/(-10) + 84/(-80). Sort 3, -1/2, b.
-1/2, b, 3
Suppose -10 = 5*n - 40. Suppose 7 = 4*d + 5*r, 5*d + r - n*r = 20. Suppose d*s + 2*t = 7*s - 8, 0 = 5*s + 3*t + 12. Put s, -1, 4 in ascending order.
-1, s, 4
Let h be (-80)/(-12) - 2 - 4. Suppose 0 = 3*m - 6*m - 36. Let j be (3/21)/(m/14). Put h, j, 5 in descending order.
5, h, j
Let p be (-16)/(-572) - (-6)/39. Put 3, -2, -0.3, p in increasing order.
-2, -0.3, p, 3
Let h(k) = k**3 - 7*k**2 + 7*k - 3. Let o be ((-4)/(-2))/((-1)/(-3)). Let r be h(o). Let b = 12 + -7. Sort -2, r, b in decreasing order.
b, r, -2
Suppose u + 17 = -4*h, 5*u - 3*u + 10 = -2*h. Let p = 1107/892 - -2/223. Sort -12, u, p in descending order.
p, u, -12
Suppose 0 = 2*y - 0 + 4. Let q be 0/y + 3/(-1). Let m = 14 + -96/7. Put -5, q, m in decreasing order.
m, q, -5
Let m(a) = -a**2 + 8*a + 5. Let k be m(8). Suppose 0*d + 10 = k*d. Sort 1, d, -4 in decreasing order.
d, 1, -4
Let s = 0 + -1. Sort s, 2, -4 in decreasing order.
2, s, -4
Let q(m) be the second derivative of -m**4/12 - m**3 + 2*m**2 - 4*m. Let h be q(-6). Sort 5, -1, h in ascending order.
-1, h, 5
Let b(l) = -l**2 + 10*l + 6. Let y be b(10). Suppose 3*u - 5*f + 10 = 0, u + 5*f = y*u + 20. Sort -0.4, u, -1/2.
u, -1/2, -0.4
Let x = -0.41 - -3.81. Let g = 0.4 - x. Suppose -4*s - 2*h - 2 = -2*s, 0 = -s - 5*h + 15. Sort 4, g, s.
s, g, 4
Let n be 448/681 - 2/3. Let w = 922/1589 + n. Put 0.3, -3, w in decreasing order.
w, 0.3, -3
Suppose -5*u = 9 + 21. Sort 1, u, -1 in decreasing order.
1, -1, u
Let d be (-20)/6*(-6)/4. Put 4, d, -2 in descending order.
d, 4, -2
Let u = -3.2 + 3. Let g(n) = n**3 - 13*n**2 + 11*n + 11. Let i be (7 + 5)/(2 - 1). Let k be g(i). Sort u, k, -5 in decreasing order.
u, k, -5
Let w(t) = -2*t - 9. Let b be w(-7). Suppose 2 = -b