 4. Put k, -2, 1 in decreasing order.
k, 1, -2
Let o be 5*13/((-325)/(-30)). Let d(t) = -3*t + 20. Let g be d(o). Suppose 4*h + b + 2 = h, -2*h = 4*b + 18. Put -3, g, h in descending order.
g, h, -3
Suppose u + 15*u - 80 = 0. Let l be 0/(-2) + (1 - 1). Suppose -6*a + a = l. Sort a, 1, u.
a, 1, u
Suppose -2*p - p + 10 = 5*w, 3*w = 5*p + 40. Suppose -8 = -0*k - 2*k. Suppose k = -u + 2*u. Sort -5, w, u in descending order.
w, u, -5
Suppose 0 = 875*p - 899*p + 96. Let w be ((-3)/(-4))/(2/8). Suppose -f + 2 = -3*c, -2*f + w = -c - p*c. Sort 2, -3, f in descending order.
2, f, -3
Suppose 3*m + 2*f - 38 = -3*f, 3*f = 3*m - 30. Suppose 15*x = m*x + 12. Sort x, -5, -2.
-5, -2, x
Let s(n) = -n**2 - 6*n + 1. Let m = 9 + -15. Let b be s(m). Let d = 24.7 - 25. Sort b, -1, d in increasing order.
-1, d, b
Suppose -j = y - 3*y + 118, 5*y + j = 295. Suppose 3*f = 23 - y. Sort 2, -5, 3, f in ascending order.
f, -5, 2, 3
Let a be -5 - (0/12 + 22/(-4)). Sort 1.2, 2/3, a, 1 in decreasing order.
1.2, 1, 2/3, a
Suppose -2*h = -11*h + 9. Let u be h/(-4) + 126/312. Sort 2/11, u, -3 in descending order.
2/11, u, -3
Let r(k) = 8*k**2 - 49*k + 4. Let m be r(6). Sort -1, m, 3, 11 in descending order.
11, 3, -1, m
Suppose -6 = 4*t - t. Let o be (-1 - 3)*(-321)/428. Sort -3, t, 14, o in descending order.
14, o, t, -3
Let y be ((-22144)/(-40))/16 + 6/(-10). Sort 0.5, y, -1 in decreasing order.
y, 0.5, -1
Suppose 4*k - 3*y = -159, k - 52 = 3*k + 4*y. Let g = 38 + k. Sort -1, -5, -2, g in increasing order.
-5, -2, -1, g
Let f = 5392 + -5359. Let u = -0.2 + 0.2. Sort -2/19, f, u in increasing order.
-2/19, u, f
Let k = -732 + 724. Sort k, 5, -1, -5 in increasing order.
k, -5, -1, 5
Let p(r) = -18*r - 257. Let v be p(-14). Put 4, 0.08, 0.04, v in increasing order.
v, 0.04, 0.08, 4
Let g = -3/98 - -355/5194. Sort -2/13, -5, g in decreasing order.
g, -2/13, -5
Suppose -h + 5*h = 0, 2*h + 256 = 4*a. Let i = -515/8 + a. Let d be (-153)/21 - (-10)/35. Sort i, d, -4 in decreasing order.
i, -4, d
Let i(g) = -g**3 - 8*g**2 - 2*g - 17. Let f be i(-8). Sort f, -55, 5 in descending order.
5, f, -55
Let n = -88 + 27. Put -0.3, n, -2/3 in decreasing order.
-0.3, -2/3, n
Let w = -3.95 - 0.05. Let c = -4 + 4.3. Let v be ((-4)/10)/((-28)/(-20)). Put c, v, w in descending order.
c, v, w
Let c be (-1 - -17) + 0*(-6)/(-12). Suppose -5*f = -y - c, 3*y - f - 16 = -2*f. Sort y, -5, 3, -6.
-6, -5, 3, y
Suppose 0 = 4*r - 15 + 3, 3*v - 2*r - 15 = 0. Sort -23, v, -1/8, 5 in descending order.
v, 5, -1/8, -23
Suppose -q - 3*r - 3 = -2*q, 4*q + 18 = -3*r. Suppose 20*x = -40*x - 300. Put q, 5, x in increasing order.
x, q, 5
Let l = -1.07 - 0.93. Sort l, -1/12, 3, 7 in decreasing order.
7, 3, -1/12, l
Let d be (-105)/(-28) + -5 - 95/4. Sort d, 1, 2, 5.
d, 1, 2, 5
Suppose 3*l + 42 = 2*f + 12, -5*l - 20 = 0. Suppose 2*w + f = -3*r, -2*w - r = -w + 3. Sort w, 3, 1, -5.
-5, w, 1, 3
Let s = 22 - 26. Let v(m) = -5*m - 29. Let w be v(-6). Sort 0, w, s in ascending order.
s, 0, w
Suppose 3 = -4*g - 9. Suppose -4*k + 6 = 3*p + 40, 3*k + 2*p = -25. Sort 5, k, g in decreasing order.
5, g, k
Let n = 6 + -5.9. Let i = 18 + 36. Let t = i + -53.92. Sort n, 2/5, t in decreasing order.
2/5, n, t
Let h(a) = -a**3 + 13*a**2 + 33*a - 48. Let s be h(15). Put s, 320, 1/2 in decreasing order.
320, 1/2, s
Let q = 3 - -1. Suppose 0 = -q*n - 2*l - 12, 0*n - 4 = 3*n - l. Let v be 6/2 - 69/21. Sort 1/4, v, n.
n, v, 1/4
Let f = -332 - -333. Sort -21, f, 3.
-21, f, 3
Suppose -171*g + 468 = -210*g. Let c = -0.2 + -2.8. Put g, c, -5 in ascending order.
g, -5, c
Let m = -69.3 - -69. Let j be 2/2 + (-146)/16. Let o = j + 439/56. Put m, -4, o in descending order.
o, m, -4
Let i = -1330 + 1266. Put -6/7, -1/5, i in decreasing order.
-1/5, -6/7, i
Let d = -160 - -159. Sort d, -0.3, 0.3, 0.
d, -0.3, 0, 0.3
Let t = 3/23 + -308/69. Let p = 4 + t. Sort 8, 4, p in decreasing order.
8, 4, p
Suppose 53*q + 10 = 43*q. Sort -0.4, -20, q, -1/5.
-20, q, -0.4, -1/5
Let s = -2.15 + 0.15. Let w = -196.3 - -196. Put w, 4, -5, s in descending order.
4, w, s, -5
Let u be -2 - (-16)/(-7) - -4. Let t = -0.07 - 0.43. Put t, -0.2, -2/11, u in decreasing order.
-2/11, -0.2, u, t
Let w = 646 - 651. Put 0.1, -0.1, -1, w in decreasing order.
0.1, -0.1, -1, w
Let u = -478 + 477.6. Sort -11, -3, 5, u in ascending order.
-11, -3, u, 5
Let j be -2 + 14*2/16. Let w = -19.6 - -20.6. Sort 0.4, 0.2, w, j in descending order.
w, 0.4, 0.2, j
Let g(k) = k**3 + 4*k**2 + k + 3. Let c be g(-4). Let p be ((-6)/(-21))/c - (-2)/7. Sort p, 1, 5, 2 in increasing order.
p, 1, 2, 5
Let q = 6884/11 + -626. Let y = 22 - 9. Sort q, y, -2 in decreasing order.
y, q, -2
Suppose 5*x = -20, 1 = 5*m - x + 2. Let r be -7 + 8 - (-3 - -2)*m. Put 4, r, 1, -1 in ascending order.
-1, r, 1, 4
Let o = -2 + 3.5. Let d = -0.0421 - 0.1579. Sort -1, d, o in decreasing order.
o, d, -1
Let j be 42*((-2)/7 + (-2)/42). Sort -2, j, -3, -5 in decreasing order.
-2, -3, -5, j
Let l be 16/(-392)*(19/(-3) + 4). Put l, -5, -88 in increasing order.
-88, -5, l
Let a(w) = -2*w**2 - 6 + 9*w - 16*w + w**2. Let f be a(-7). Put 3, -3, f in increasing order.
f, -3, 3
Let o = -0.099 - -0.045. Let d = o + 0.054. Let j = 8.81 - -0.19. Put 0.2, j, d in descending order.
j, 0.2, d
Let z = -9 - -9.02. Let y = z + -0.31. Let v = 0.01 - y. Put 1/3, 0, v in increasing order.
0, v, 1/3
Suppose 0 = -3*s + 9 - 3. Suppose 3*w = d + s*w - 1, -4*d + 2*w + 2 = 0. Suppose d = 4*i - 2*i. Sort -11, -4, i in descending order.
i, -4, -11
Suppose 2*f + 4*j - 42 = 0, j + 7 = 2*f - 2*j. Let k = -3 + -2. Suppose -3*l = -5*r + l - 2, -5*r + l + 7 = 0. Put f, k, r in decreasing order.
f, r, k
Suppose -245 = 52*r - 17*r. Sort 0, -57, r.
-57, r, 0
Let f(w) = 5*w**2 + 4*w - 4. Let b be f(1). Suppose 2 = 5*u + 27. Sort 3, u, 0, b.
u, 0, 3, b
Let y = 0.05355 + -2.05355. Suppose 0*j = n + 2*j + 3, 0 = n - j. Put n, 1.1, y in increasing order.
y, n, 1.1
Let y = -22 - -25. Suppose -6 + 26 = 5*t. Suppose -4*p + 3*c = 2 + t, 0 = c - 2. Put p, -4, y in descending order.
y, p, -4
Let k = 5 + 0. Let f = 979.1 - 979. Put f, 0.2, k in increasing order.
f, 0.2, k
Suppose 0 = d - 4*y + 17, -5*d - 10 = 10*y - 5*y. Sort 3, d, 0.3, -3 in descending order.
3, 0.3, -3, d
Suppose 880*d = -1584 - 3696. Let m be 5 + (0 - -1) + -2. Suppose -m*k + 7*k + 3 = 0. Put d, 5, k in ascending order.
d, k, 5
Let k be (-817)/(-171) + (-2)/(-9). Put 0, -10, -2, k in descending order.
k, 0, -2, -10
Let z = 111 - 103. Suppose -w - 3 = -2. Sort w, z, 2.
w, 2, z
Suppose j - 4*j + 61 = -4*l, -5*l + 55 = 5*j. Let r be j + (-1 - (-2 + 4)). Let f = r + -13. Put -5, -4, f in descending order.
f, -4, -5
Let l be -7 + 10 + -4 + 1 + -4. Suppose -4*k = -4*h, 0*h - 5*k = -4*h + 3. Sort l, h, -5 in decreasing order.
h, l, -5
Let r be (-3 - 55/(-20)) + (-13)/(-4). Put 4, -1, -2, r in decreasing order.
4, r, -1, -2
Let o = -1032 - -1032.36. Sort o, 1/4, 2/3, 2 in ascending order.
1/4, o, 2/3, 2
Let l(j) = -3*j + 7. Let f be l(7). Let x = f - -8. Sort x, -4, 4.
x, -4, 4
Let l = 1 - 1. Let m = l + -0.2. Let j = 530 - 529.9. Sort j, -4, m in ascending order.
-4, m, j
Let p be 12/(-20) + ((-231)/15 - -4). Put p, 2, 1, 3 in descending order.
3, 2, 1, p
Suppose 0 = 3*g + 5 - 11. Sort g, -14, -11 in ascending order.
-14, -11, g
Let o be (-23)/(-5) + ((-16)/10)/(-4). Let z be 1 + 3 - (-6 + 7). Suppose -z = -q - 2*q. Sort -2, q, o in decreasing order.
o, q, -2
Suppose -6*b - 10 = 14. Suppose -3*t + 9 = 0, -3*t = -3*x - 2*t + 12. Sort b, -3, x.
b, -3, x
Let z = 2229 + -2200. Put -2, z, 4 in decreasing order.
z, 4, -2
Let t = 37.5 - 38.5. Put 2/11, 1.7, t, -2/5 in increasing order.
t, -2/5, 2/11, 1.7
Let x = 176 - 176.2. Put x, -16, 2/5 in decreasing order.
2/5, x, -16
Let m = -6 + 6. Let x be 2/25*5*-10. Sort m, x, 4.
x, m, 4
Let w = 938/5 - 191. Put w, -0.4, -1 in descending order.
-0.4, -1, w
Let y = -6 + 0. Let c(t) = t**2 - 14*t + 17. Let r be c(13). Sort y, -0.1, r, -0.5 in descending order.
r, -0.1, -0.5, y
Suppose -5*j - 10 = -0*l + 5*l, -3*j = 5*l. Suppose -2 - 1 = -3*w. Let v = w + 0. Put v, l, 2 in ascending order.
v, 2, l
Suppose 1 - 37 = 9*x. Sort x, -3, -0.2, -2 in increasing order.
x, -3, -2, -0.2
Suppose n - 3*n = 0. Suppose n = -2*g - 0 + 2. Suppose 12 = 3*d - 0*d. Put -3, d, g in decreasing order.
