4 + 0.2. Let v = 362/285 - -6/95. Put l, -3/2, v in ascending order.
-3/2, l, v
Suppose 5*f + 36 = -4*t, 5*t = 4*f + 2*t + 4. Suppose -8*z + 27*z - 95 = 0. Put z, f, -3 in ascending order.
f, -3, z
Let u = 9 - 5. Let k = -19 - -22. Suppose -u*q = -g - 7, -4*g + 17 = 2*q - k*q. Sort -1, -4, g.
-4, -1, g
Let h = 66 + -65. Let b = 3 + -3. Sort b, -1, h in ascending order.
-1, b, h
Suppose -28*w = -21*w - 42. Put 4, 5, w, 0.4 in decreasing order.
w, 5, 4, 0.4
Let c = -4 - -3.6. Let z be 6/(-12)*(1 + -3). Sort c, z, 0.1 in decreasing order.
z, 0.1, c
Suppose 2*i + 3*f - 73 = 0, 101 = 3*i - 0*f - 4*f. Let u = i - 5. Suppose 0 = 5*c - 5 + u. Put 3, 1, c in descending order.
3, 1, c
Let v be (-4 - -3)/(2/10). Sort 5, v, 4 in descending order.
5, 4, v
Let p(k) = -2*k - 6. Let m be p(-4). Suppose 3*s - 3*i = 15, m*s + 2*i - 2 = s. Suppose 2*a + 10 = -3*a. Sort 3, a, s in descending order.
s, 3, a
Let p = 0.35 - 0.05. Let c = 6757/7 + -965. Let q = 4 + -4.3. Sort q, p, c.
q, c, p
Let r(f) = -11*f - 1. Let m be r(-2). Suppose -y - 5*l + m = 0, 0 = -2*y + 3*l - 15 - 8. Put y, 0, -5 in ascending order.
-5, y, 0
Let i be -1 + -1 - 16/2. Let q be (-12)/i*10/3. Suppose 0 = q*u + 8. Sort u, 1/2, 1 in ascending order.
u, 1/2, 1
Let u(q) = -q**3 - 3*q**2 - 3*q - 1. Let r be u(-2). Suppose -4*l - 6*l = 0. Sort 1/9, r, l in decreasing order.
r, 1/9, l
Suppose 3*w + 13 = j, 4*j = j + 2*w + 11. Suppose -2*b = -3*r - 4, 11 = 2*b + 1. Sort j, 5, r in decreasing order.
5, r, j
Let d be (-2)/(-10) + 12/(-10). Suppose 0*q = -5*q + 20. Put q, d, 1 in decreasing order.
q, 1, d
Let p = 0.6 + -1.6. Let a be 23/7 - 2 - 1. Put 2/11, a, p in increasing order.
p, 2/11, a
Let i = -0.4 + 0.3. Let a(d) = -d + 12. Let g = -10 + 17. Let j be a(g). Sort -0.5, i, j in ascending order.
-0.5, i, j
Let s = 7 - 6.99. Let t = s + -0.41. Sort -5/4, 6/5, t in increasing order.
-5/4, t, 6/5
Suppose -i = -4*i + 129. Suppose -25 - i = -4*w. Suppose -h + 2*h = 5*n - w, n + 4*h = 16. Put n, 5, -1 in decreasing order.
5, n, -1
Let l = 0.113 - -2.887. Sort l, 4/5, -2/11, 2 in descending order.
l, 2, 4/5, -2/11
Let a = 3.1 - 3.2. Let d(i) = i**3 - 2*i**2 + 3*i - 3. Let b be d(2). Put a, b, 2 in decreasing order.
b, 2, a
Let d(u) = -u - 6. Let i(x) = 6*x + 30. Let t(z) = 11*d(z) + 2*i(z). Let c be t(0). Sort -1, -2, c in descending order.
-1, -2, c
Suppose 5*u + 24 = -1. Put u, -3, 6, 0 in ascending order.
u, -3, 0, 6
Let q = 0.6 + -0.4. Let x = 1.2 - q. Let a = -1 - x. Sort 1, a, -0.3 in decreasing order.
1, -0.3, a
Let u = 3 + 1. Let p(b) = -2*b + 8. Let s be p(6). Put s, 3, u in increasing order.
s, 3, u
Suppose 0 = -4*q - 20, -3*b = -5*q - 23 - 17. Sort 4, 36, b in decreasing order.
36, b, 4
Let g = -8.7 - -9. Let y = 0.2 + 0.8. Let n = y - 4. Sort n, -5, g in decreasing order.
g, n, -5
Let u = -6 - -4. Let t(j) = -j**2 + 3. Let c be t(0). Put u, 1, c in descending order.
c, 1, u
Let m be 2*((-15)/6 - 0). Let c = 0.01 - -0.09. Sort m, -3, c.
m, -3, c
Suppose 5*q - 9 = -14. Let i(t) be the first derivative of t**3/3 - 3*t**2 + 3*t - 2. Let z be i(5). Sort -3, z, q.
-3, z, q
Let o = 3 + -15. Sort -2, o, -1 in decreasing order.
-1, -2, o
Let p = -2 + 6. Let j be (-3)/4 - (-742)/840. Sort j, p, -1/4 in descending order.
p, j, -1/4
Suppose -5*j + j = 0. Let n be 1/(10/4 - 2). Suppose 0*o = -n*o - 4. Put j, 1, o in ascending order.
o, j, 1
Let u(a) be the third derivative of a**6/20 - a**5/60 + a**2. Let y be u(1). Let w(j) = j**2 + 16*j - 1. Let t be w(-16). Put -1/5, y, t in descending order.
y, -1/5, t
Let o = 117 - 157. Sort 5/2, o, 0.5 in decreasing order.
5/2, 0.5, o
Let o = -272/5 + 54. Sort o, 3, -0.2.
o, -0.2, 3
Let o(a) = a**2 - a - 4. Let w be o(3). Suppose w*s = 0, -4*s - 25 = -5*d - 3*s. Let b = 9 - 11. Sort b, d, 2 in ascending order.
b, 2, d
Let t = 3.6 - 4. Let h = 0.15 - 0.15. Sort h, t, -2 in decreasing order.
h, t, -2
Suppose 18 = 2*n - 4*f, 2*f - 4 = -4*n + 12. Suppose s + 2*g = -3, -2*s + n = -3*g - 10. Let k(z) = z + 4. Let q be k(-9). Put s, 2, q in increasing order.
q, 2, s
Let k = 23 + -28. Put 0, k, 1 in decreasing order.
1, 0, k
Let w be 81/99 + 0 + -1. Put -5, w, 2/21 in descending order.
2/21, w, -5
Suppose 4*l - 5*j - 9 = 0, -4*l = -l - 2*j + 2. Suppose o = -5*f + 5*o + 2, 2*f + o - 6 = 0. Let m be (-4)/(-3)*3/f. Put m, l, -3 in ascending order.
l, -3, m
Let o = -14 - -11. Let f be (1*2/(-11))/(-1). Sort f, o, -1/3 in decreasing order.
f, -1/3, o
Let h = 0.078 - -2.922. Suppose -2*k - 3*k = 0. Put k, 0.04, h in decreasing order.
h, 0.04, k
Suppose 0*j = 5*j + 5. Let c(d) = -d. Let t be c(-6). Suppose 3*g + 0*g - t = 0. Sort -2, j, g in increasing order.
-2, j, g
Let o(c) = 13*c + 77. Let f be o(-6). Let b = -5 - -10. Sort -2, f, b in decreasing order.
b, f, -2
Let p(k) = -k**3 - 10*k**2 - 10*k - 6. Let w be p(-9). Put -1, w, 5, -3 in increasing order.
-3, -1, w, 5
Let x be (-5 - -3 - -1) + 6. Suppose -5*d + 3*d - 4*j = 6, -4*d = x*j + 15. Put -2, 1, d in decreasing order.
1, -2, d
Let c be ((-1)/3)/(2/6). Let z = 0.61 + 0.09. Let h = z - 1.1. Put -4, h, c in increasing order.
-4, c, h
Let b = -0.24 + 0.19. Suppose 3*w + 0*w - 22 = -5*x, 0 = -4*w + 5*x + 6. Suppose 4 = 3*n + 5*f - 25, 2*f = 2*n + 2. Sort b, w, n in descending order.
w, n, b
Let v = -50 + 46. Let w = -1 + -2. Sort w, v, -1 in increasing order.
v, w, -1
Suppose -4*x = -3*a - 11, 0 = 2*x - a - 4*a + 5. Sort -0.1, x, -0.4.
-0.4, -0.1, x
Let q = 34.9 + -33. Let r = 2.2 - 0.2. Let p = q - r. Sort -2/11, 5, p in decreasing order.
5, p, -2/11
Suppose 9*k = k + 16. Sort k, -2, -1/10.
-2, -1/10, k
Suppose 3*n = -2*q - 0 - 25, -3*q + 2*n = 70. Let k be (16/q)/((-44)/10). Sort -0.1, 5/2, k in decreasing order.
5/2, k, -0.1
Let k be 18/(-14) - (-2)/7. Let l(d) = 3*d - 45. Let w be l(14). Put k, 4, w in ascending order.
w, k, 4
Let g = 0.028 + 0.272. Put -5, 1, g in descending order.
1, g, -5
Let o be (-63)/28 - 1/(-4). Let f be (-28)/2*1/2. Let g be (o/7)/1*f. Sort -3, 3, g.
-3, g, 3
Let b be -6 + 3/(3 - 2). Let y = 5 - 4. Sort y, b, 0 in descending order.
y, 0, b
Let v(y) = -y**2 - 9*y - 18. Let s be v(-5). Let i = -7 - -11. Sort s, i, 0.
0, s, i
Let n(f) be the first derivative of 3*f**2/2 - f - 1. Let t be n(-1). Let b be (1/2)/(14/t). Put 4, -4, b in increasing order.
-4, b, 4
Let f = 6 - 11. Sort 2, 0, f in increasing order.
f, 0, 2
Let p(d) = -2*d**3 + 37*d**2 - 19*d + 13. Let l be p(18). Let h = 0 - -3. Let a be (2/2 - 1) + h. Put 5, l, a in increasing order.
l, a, 5
Let i = -2 + -2. Sort -1/2, -1.4, i in descending order.
-1/2, -1.4, i
Let l be (-6)/(-6)*(-4)/(-1). Suppose 4 = z + 3, 0 = -5*b - 3*z - 7. Sort b, l, -5 in increasing order.
-5, b, l
Suppose -4*b + 6*x - 2*x = -16, -4*x - 16 = 2*b. Put 3, -3, -4, b in increasing order.
-4, -3, b, 3
Let l = -5.5 + 5. Let m = l + 1. Suppose 3*t + 6 = 2*t - 5*n, t + 2 = -n. Put t, m, 1 in increasing order.
t, m, 1
Let j = -2 + 0. Let u = -8 - 11. Let i = u - -18.5. Put i, 3, j in decreasing order.
3, i, j
Let q = 4 + -14/3. Let s be (-1)/(3 - 1) - 27/18. Sort 0.3, s, q in decreasing order.
0.3, q, s
Let u = -10.1 - 1.2. Let p = u - -11. Sort p, 5, 1/5 in decreasing order.
5, 1/5, p
Let j be (5/1)/(-1 + 2). Let h be (18/(-24))/(1/(-4)). Let w = h - 4. Put j, w, -3 in decreasing order.
j, w, -3
Let z = -39 - -38.7. Put -2, -3, 1/2, z in decreasing order.
1/2, z, -2, -3
Let m = -0.03 + -0.67. Let k = -0.5 - m. Put -2/13, -4, k in decreasing order.
k, -2/13, -4
Let i be 2/4 - 42/(-12). Put i, -1, 9 in descending order.
9, i, -1
Let d = 123 - 134.9. Let r = 12 + d. Put -1/6, 0.3, r in descending order.
0.3, r, -1/6
Let n = 3 + -3.3. Let p = -1.3 - n. Let h be (8/(-32))/(45/24 + -1). Put h, 2/5, p in increasing order.
p, h, 2/5
Let s(h) = h**3 - 7*h**2 - 6. Let q be s(7). Let m be q/(-9) + 42/(-9). Suppose 0 = -3*r - r - 4, -r + 11 = 3*v. Put m, v, 3 in increasing order.
m, 3, v
Let y(r) = -r**3 + r + 5. Let q be y(0). Let u(p) = p**2 - 5*p - 2. Let h be u(6). Suppose -4*t + h = -3*k + q*k, -4 = -4*t. Put 3, k, 2 in ascending order.
k, 2, 3
Suppose 5*y = -5*b, -5*y = -2 - 8. Let s be b/8 + (-46)/8. Let d = -10 - s. Sort 3, d, 1.
d, 1, 3
Let s = -0.075 - 0.325. Put 0, 3, s in decreasing order.
3, 0, s
Let q = 1 - -1. Let y = -1.5 + q. Suppose -4*n - 4*n = -16. Sort n, y, -