4. Put 0, -1, 5, u in ascending order.
u, -1, 0, 5
Suppose -35 = -3*q - 8*j + 3*j, -8 = -4*q + 3*j. Let o be q/(-10)*(5 + -1). Let h = -39.6 + 40. Sort o, h, -1 in increasing order.
o, -1, h
Suppose -m = -4*f, -m - 8*f + 7 = -5*f. Sort 5, 9, m, 3 in increasing order.
3, m, 5, 9
Let t = -4.7 - -4.5. Sort t, 0, -7, 1/4.
-7, t, 0, 1/4
Let n be (2*-7)/((-12)/6). Suppose -u + 2*u + n = l, 2*l = -5*u - 14. Let i = -5 + l. Sort i, 3, 2 in increasing order.
i, 2, 3
Suppose -5*w + 26 + 4 = 0. Suppose -26 = -w*c - 170. Let a be 9/c - 21/(-56). Sort -2, a, 2 in decreasing order.
2, a, -2
Suppose 0 = -11*x + 44 - 33. Put x, 5, 11, 10 in descending order.
11, 10, 5, x
Let i = -6 - -7. Suppose 2*o = -i + 11. Let c be 8/(-20) + (0/1)/(-1). Put 2, o, c in ascending order.
c, 2, o
Suppose k = -0*k + 32. Let v = -20 + k. Suppose 2 = l - 2*i + v, -5*i = 3*l - 25. Sort 2, 3, l in decreasing order.
3, 2, l
Let y = 13.46 + -0.46. Let a = y + -10. Sort -0.2, a, 0.1 in descending order.
a, 0.1, -0.2
Suppose -43 = 7*y - 8. Sort y, -3, -56 in descending order.
-3, y, -56
Suppose -3*o = 2*o + 15. Let h = -839 - -839. Put 2, h, o in decreasing order.
2, h, o
Let b(a) = 2*a. Let u be b(1). Let l = -830 - -827. Put u, l, 1/2, 2/5 in ascending order.
l, 2/5, 1/2, u
Let t = -376 + 377. Let m be (0 - -3)*8/6. Let g = 1 - m. Put t, -5, g in increasing order.
-5, g, t
Let x(i) = i**3 + 2*i**2 + 2. Let c be x(-2). Let b(v) = -2*v**2 + 8*v - 5*v**2 - 1 + 8*v**2. Let w be b(-8). Sort -2, c, w in decreasing order.
c, w, -2
Let y(j) = 3*j. Let k be y(1). Let w be ((-23)/69)/((-1)/9). Suppose -10 = -f + w*f. Sort f, -4, k in decreasing order.
k, -4, f
Let b = -14.7 + -11.9. Let h = -27 - b. Let j = -2747/15 - -183. Sort h, -1/2, j in increasing order.
-1/2, h, j
Let d(c) = -3*c - 32. Let u be d(-9). Let o be 2 + 0/(-5) + u. Sort -1, 4, o, 13 in decreasing order.
13, 4, -1, o
Let a be (2/(-5))/((-8)/(-50)). Let b = -7/3 - a. Suppose 48*h + 15 = 53*h. Sort h, 4, b.
b, h, 4
Let z(m) = m**2 - 4*m. Let i be z(5). Suppose 3*g - 2*u = 2*g - 6, -3*u + 12 = -3*g. Let s be 7/(-14)*(g + -1*4). Sort i, s, -4 in decreasing order.
i, s, -4
Suppose 3*n - 15 - 15 = 0. Let t = -124 - -140. Suppose t*b - 25*b - 9 = 0. Sort -3, b, n in decreasing order.
n, b, -3
Let i be 0 - (-2)/7*-1. Let u be 114/15 - 6/10. Suppose -u*j = -3*j + 12. Sort j, i, 2.
j, i, 2
Suppose 99 = -11*r - 66. Sort -14, 0, r in increasing order.
r, -14, 0
Let x = 2.8 - 2.4. Let h be (-8 - -7)/(1/(-17)). Let g be h/7 - (1 - -1). Sort 5, x, g in decreasing order.
5, g, x
Let c be (-33)/(-60) + (17/4 - 4). Sort -1/82, 5, c in decreasing order.
5, c, -1/82
Let z(k) = -3*k - 18. Let m be z(-11). Suppose 0 = -5*q + 5*j + m, q = 3*j + 10 - 1. Sort 1, -1, q, 5.
-1, q, 1, 5
Suppose -14*b = 105 - 189. Put -1, b, 4 in increasing order.
-1, 4, b
Suppose 3*b = b + 6. Let g = 76 - 203. Let i = 132 + g. Put b, 2, i in increasing order.
2, b, i
Suppose 4 = f - 4*u, -9*f = -10*f - 5*u + 4. Put f, -2, 62, 2 in decreasing order.
62, f, 2, -2
Suppose -5*t = 4*g + 2 + 17, -5*t = 5*g + 20. Let p = 4.1 - 8.1. Sort 4, p, t.
p, t, 4
Let s be (-35)/(-21) + (-3 - -2). Let t = 12 + -17. Let k = t + 5.5. Sort s, k, -0.4.
-0.4, k, s
Let z be (-15)/35 - (-12)/28. Suppose -3*g + z*g - 12 = 0. Sort 1, -3, g in decreasing order.
1, -3, g
Let u = 3 - 1. Let z = 10 + -5. Let s(j) = j**3 - 43*j**2 + 221*j + 36. Let w be s(37). Sort u, w, z in descending order.
z, u, w
Let g = -2 + 1.6. Let f = -34.103 + 34. Let t = -0.067 + f. Put 2/3, t, g in decreasing order.
2/3, t, g
Let r(n) = 3*n - 22. Let s be r(7). Sort 13, s, 5, 4 in descending order.
13, 5, 4, s
Suppose 4*z - 4*a + 8 = 0, -3 = 4*a - 19. Let x = -43 + 43. Put 6, 5, z, x in descending order.
6, 5, z, x
Let g(u) = -u**2 - 2*u + 3. Let o(x) be the second derivative of -x**3/2 + 3*x**2 + 3*x. Let m be o(3). Let z be g(m). Sort z, -4, -2 in descending order.
z, -2, -4
Let j = -6.3 - -6. Let f = -46 + 45.6. Sort 1/2, f, j in decreasing order.
1/2, j, f
Let k be -3 + 7 + -4 + -1. Let i = k + 5. Suppose -5*h + 9*h = -i. Sort h, 2, -9 in increasing order.
-9, h, 2
Let r = -43.251 + 1.251. Sort r, -1, -3/4, 3 in descending order.
3, -3/4, -1, r
Let p be ((-21)/9)/7*(12 - 12). Sort 1, -3, 2, p in ascending order.
-3, p, 1, 2
Let y = 0.46 - 0.66. Let x = 0.6 - 2.6. Let p = x - -1. Sort y, p, 3.
p, y, 3
Let i = -1897 - -1897.4. Let d be (18/(-4))/((-1)/1). Let p = d + -4. Sort i, p, 3/4.
i, p, 3/4
Let t be (17 + -11)/((-1)/(-4)). Let o be ((-36)/48)/(2/t). Suppose 0 = -2*r - 5*l + 16, 2*r + 2*l - 16 = -2*r. Sort o, r, 4 in ascending order.
o, r, 4
Suppose 4*p = 6*f - f + 18, 2*f + 15 = -p. Suppose 0 = -5*a, 3*a - 2 = 2*n + 6*a. Suppose -3*c + 2*h = 4*h - 25, -10 = -2*h. Sort c, f, n in ascending order.
f, n, c
Let v = 24.9 - 27. Let h = v - -0.1. Let m = -38 + 39. Put -0.3, h, m in decreasing order.
m, -0.3, h
Let l = -43 - -42. Put l, 2, 9 in decreasing order.
9, 2, l
Suppose 5*h = 4*h + 3. Let k be 4/10 + 198/30. Suppose 0 = -5*n - 9*n - 56. Put n, h, k in decreasing order.
k, h, n
Let j be 4/((-2)/4*-2). Suppose 2*l - 5*n = 1 + 7, -3*n - 6 = 0. Sort -2, j, l, 5 in increasing order.
-2, l, j, 5
Suppose 4*p - 58 - 51 = -3*k, 3*k + 3*p - 105 = 0. Put k, -3, 3 in ascending order.
-3, 3, k
Let v = 0.1 - -0.3. Let d(m) = m**3 + 6*m**2 + 3*m + 18. Let k be d(-6). Suppose 3*i - 2*n - 28 = 3*n, -n - 5 = k. Sort -2, i, v in descending order.
i, v, -2
Let c = -6 + 10. Let q = 75/32 + -461/224. Sort 0.5, c, q, -3/2 in descending order.
c, 0.5, q, -3/2
Let w = -171 + 182. Let y be ((-3)/2)/(6/12). Sort y, -1, 0, w in decreasing order.
w, 0, -1, y
Let x = 8 + -14. Let n = 181 + -186. Put x, n, -2 in decreasing order.
-2, n, x
Let h = 58 - 58. Sort -1, 1, -2, h in descending order.
1, h, -1, -2
Suppose b - 16 = -2*b - h, 4*b - h = 26. Let y be (b/21)/((-8)/(-28)). Let r be 6/4*4/3. Put y, 20, r in increasing order.
y, r, 20
Let s = 0.542 - 1.042. Sort -0.08, -3, s in descending order.
-0.08, s, -3
Let f be (-70)/105*(-9)/(-47). Put 1, 2, f, 3 in ascending order.
f, 1, 2, 3
Let x be 78/8 + (1 - 2) - 3. Let p = x - 77/12. Sort 13, p, -3, -1/3 in descending order.
13, -1/3, p, -3
Suppose -4*q + 132 = 3*z + 12, -5*z + 5*q = -200. Put z, 3, 5 in decreasing order.
z, 5, 3
Suppose 5*o - 2*b + 5*b = 8, 0 = o - 2*b + 1. Sort o, -1, -6 in ascending order.
-6, -1, o
Suppose -10 = 2*z - 3*b, -25 = -3*z + 8*z - 3*b. Sort 7, 4, z.
z, 4, 7
Let r = -9.9 - -10.22. Put r, -1/10, -3/2 in descending order.
r, -1/10, -3/2
Suppose 3*h + s = -s + 2, 10 = 5*h + 2*s. Let c be (6/4)/(11/44). Suppose c = 7*t - 29. Put h, -3, t in ascending order.
-3, h, t
Let j be ((-65)/15 + 4 - 0)*15. Put 5, j, 3, -1 in descending order.
5, 3, -1, j
Let n = 0 + 3. Let p = -25 + 24. Sort n, -0.5, p in decreasing order.
n, -0.5, p
Let o = -515.7 + 515. Put -1.8, o, 0.4, -1 in increasing order.
-1.8, -1, o, 0.4
Suppose -20 = 3*r + r. Let x be (-86)/(-30) - 2/(-15). Suppose x*m + 12 = h, -h - 4*h - 4*m - 35 = 0. Sort h, -1, r.
r, h, -1
Let x = -80 + 80.61. Put 4, 3, x in decreasing order.
4, 3, x
Let l = 0.1 + 0.1. Let k = l - -1.8. Let a = 0.77 - -0.23. Sort k, -2/5, a.
-2/5, a, k
Let k be (-66)/(-9) + (2 - 6) - 2. Put -1/2, 0.2, -1, k in increasing order.
-1, -1/2, 0.2, k
Let n = -36/121 + 10430/34243. Put -2/7, -1, n in decreasing order.
n, -2/7, -1
Let x(r) = -r**3 - 18*r**2 + 18*r - 37. Let i be x(-19). Let w be (-6)/28 + (-9)/i. Let c = -3.1 - -3. Sort c, w, -3 in descending order.
w, c, -3
Suppose -41 - 245 = 13*l. Sort 5, -2, l in decreasing order.
5, -2, l
Suppose 58*s = 67*s + 45. Sort 1, -4, s, 0.4.
s, -4, 0.4, 1
Let d = 4 + -1. Suppose d*g - m = -9, m + 12 = 5*m. Let l be (-336)/98 - 1*g. Sort -0.1, -0.2, l in decreasing order.
-0.1, -0.2, l
Let j be ((-5)/(-2))/(4/8). Suppose -3*y + 8 - 14 = 0. Sort j, 1, y.
y, 1, j
Suppose 9 = 6*s - 4*s + u, 3*u + 5 = 2*s. Suppose -3*p - 5 = -20. Sort -1, s, p in descending order.
p, s, -1
Let x = -0.02 - -0.13. Let j = -0.11 + x. Let m(y) = y - 1. Let s be m(6). Sort j, -2/9, s in descending order.
s, j, -2/9
Suppose -5*q + 0*q - 50 = -5*o, -o = 5*q + 20. Suppose -6*d + 50 = 4*d. Suppose -x = -1, -d*k + 5*x - 11 = -2*k. Sort -3, k, q in decreasing order.
k, -3, q
Let s = 2.062 + -0.062. Sort 9/13, -0.4, s in descending order.