4. Let a = -3 + y. Let x = -5 + 8. Put x, 1, a in descending order.
x, 1, a
Suppose -25 = -5*i - 2*y, -5*i + 10 = -3*i - y. Let x(n) = n + 9. Let a be x(-6). Let m = 772/7 - 110. Sort i, a, m in decreasing order.
i, a, m
Let h be (-48)/462 + 4/14. Let j = 0.04 + 3.96. Put j, h, -0.1 in increasing order.
-0.1, h, j
Suppose 2*k + 38 + 18 = 0. Let b = k + 53. Let u be b/30 + -1*1. Put -1/4, u, -2 in increasing order.
-2, -1/4, u
Let o be (60/(-8))/(-3) + -3. Let d = -0.6 - -0.8. Put o, d, 3 in increasing order.
o, d, 3
Let l = 7 - 5. Let x = -2 + 1. Let c = l - x. Sort -4, -3, c in descending order.
c, -3, -4
Let s = -2.6 + 3.6. Put 2/3, s, -2/7 in decreasing order.
s, 2/3, -2/7
Let j be (-2 - -1) + -2 - 1. Put 1, 6, j in increasing order.
j, 1, 6
Let c be (1/3)/((-1)/18*-1). Sort c, -3, 0, -2 in descending order.
c, 0, -2, -3
Let q = 5 + -5.5. Let b(g) = g**2 + g + 3. Let m be b(0). Sort q, m, -5 in decreasing order.
m, q, -5
Let q = 2/5 + 0. Put q, 5, -2/7 in ascending order.
-2/7, q, 5
Suppose 3*l = -2*s + 4*s + 12, -l - 10 = 4*s. Let v = -5 + 10. Sort v, l, -3.
-3, l, v
Let j be (0 + 1)/(10/30). Let b = 0 - 0. Let w(h) = 5*h + 1. Let g be w(-1). Put b, g, j in decreasing order.
j, b, g
Let b = -5 - -5.03. Let u = -5.03 + b. Sort -1, u, -2/3 in descending order.
-2/3, -1, u
Let z = 1 - -2. Sort 6, 5, z in decreasing order.
6, 5, z
Let p = 25/93 - -2/31. Put 9, p, 4 in increasing order.
p, 4, 9
Let r be -2 - (-2)/(-4)*2. Sort -1, -3/4, r, 4 in descending order.
4, -3/4, -1, r
Let i = 0.9 - -0.1. Sort i, 0.3, -15 in descending order.
i, 0.3, -15
Suppose -3*j = -3*w, j + 21 = -5*w - j. Let q(r) = r**3 - 9*r**2 - 9*r - 10. Let i be q(10). Let s be 2/(1/(-4)*-2). Sort i, w, s in decreasing order.
s, i, w
Let z = 25825/6 - 4363. Let q = z + 59. Let x = q - 1/2. Put -2/7, x, 1/5 in decreasing order.
1/5, -2/7, x
Suppose 4*f + 0*f = -4*l, 6 = 5*l - f. Put 9, -0.5, l in increasing order.
-0.5, l, 9
Let y be (2 - 21/10)*(-22 - -17). Sort y, -4, 0.3, -0.5 in descending order.
y, 0.3, -0.5, -4
Let v = -76 - -72. Put v, 7, -1, -5 in descending order.
7, -1, v, -5
Let m be 5/(-20) - 19/4. Put 5, m, -1 in descending order.
5, -1, m
Let y = 0.01 + 0.39. Put y, -1, -0.7 in increasing order.
-1, -0.7, y
Let j be -2 + -1 + 5 + -2. Suppose -29 = -4*n - 5. Suppose -9*k = -7*k + n. Put -1, k, j in decreasing order.
j, -1, k
Let q = 2 - 0. Let k = 6 - q. Sort k, -3, 5 in ascending order.
-3, k, 5
Let z be (-2)/1 + -3 + 2. Let p = 2.1 - 2. Let h = 11 - 10.7. Sort z, p, h.
z, p, h
Let x = 33.8 + -34. Let w be ((-2)/4)/(2/16). Sort x, w, 0.07 in descending order.
0.07, x, w
Let l(d) = d**3 - 4*d**2 - 6*d + 4. Let u be l(5). Let m(a) = -a**3 + 2*a**2 + 4*a - 3. Let r be m(3). Suppose 5*j + v = 20, r = -4*v + 8 + 12. Sort u, j, 2.
u, 2, j
Let a = 6.18 - 1.18. Sort 10, a, -0.3 in increasing order.
-0.3, a, 10
Suppose 3*p - 2 = 7, -3*v - 2*p = -6. Put 1, -19, v in ascending order.
-19, v, 1
Suppose 5*h = 3*h. Suppose 3*l + 11 + 6 = 2*d, l = -5*d + 17. Put h, 1, l in decreasing order.
1, h, l
Let t = -60 + 60.1. Let y = 0.23 - -0.07. Let a = y + 1.7. Sort a, 0.4, t in ascending order.
t, 0.4, a
Let k = 0.1 - 0.3. Let x = -11 + 8. Let w = x + 1. Sort w, 1/3, k.
w, k, 1/3
Let r = 0.58 + -25.58. Let a = r + 24.5. Let k = 769/63 - 87/7. Put a, k, 2 in increasing order.
a, k, 2
Let i(l) = -l**3 + 6*l**2 - l + 2. Let w be i(6). Let u = 0 + 5. Let x be 6/4 + 2/(-4). Sort w, x, u.
w, x, u
Suppose 0 = -o + 5*m + 8, -4*o - 3*m + 8*m + 17 = 0. Let u be ((-1)/2)/((-2)/16). Suppose d - 1 = -2. Sort o, u, d in descending order.
u, o, d
Let r = -4 - -6. Let q = 139 + -145. Sort q, r, 0 in descending order.
r, 0, q
Suppose -a + 2 = 3. Put -4, 2, 5, a in ascending order.
-4, a, 2, 5
Let j be (4/(-12))/(3/18). Suppose -3*v = -6, 3*c + 0*v = 5*v + 2. Put c, -5, j in ascending order.
-5, j, c
Let n(k) = -2*k**2 + 4*k - 3. Let y be n(3). Let a = 14 + y. Suppose 4*d - 5*d + a*l = 7, 0 = -3*d + 2*l + 5. Sort -3, -2/11, d.
-3, -2/11, d
Let l = 0.14 + -14.14. Let g = 10 + l. Let r be (0 - 2)/(-1 + 6). Put g, -1, r in ascending order.
g, -1, r
Suppose 2 = 3*x + u, -u + 4*u - 20 = 5*x. Let o = 10 + 1. Sort -3, x, o in ascending order.
-3, x, o
Let b be (-2)/3*(-60)/8. Sort -1, b, -4/5 in decreasing order.
b, -4/5, -1
Let z(u) = u**3 - 5*u**2 + 3*u + 3. Let b be z(4). Put 4, 2, 3, b in descending order.
4, 3, 2, b
Let p = 4.8 + -1. Let x = p - -1.2. Let o = 2.97 - -0.03. Put 1/2, o, x in increasing order.
1/2, o, x
Suppose 3*i + 59 - 11 = 0. Sort -1/5, 0.1, i in increasing order.
i, -1/5, 0.1
Let o = 10 + -5. Suppose 0 = 4*c - 11 + 3. Let k be (-6 + 6)/(c + 0). Sort k, 4, o in decreasing order.
o, 4, k
Let y(t) = t**2 - 3*t + 1. Let s be y(3). Let x(h) = 3*h**2 - 2*h + 1. Let w be x(s). Let i = 0.4 + 0.1. Put -2, w, i in decreasing order.
w, i, -2
Let p = -39 - -17. Let u = p + 27. Sort u, -1, 0 in decreasing order.
u, 0, -1
Let t = 0.3 - 0.4. Let z = -0.03 - 3.97. Sort z, t, -2 in descending order.
t, -2, z
Let b = 8 - 5. Sort -8, b, 5 in ascending order.
-8, b, 5
Let l be 2/(-12)*(-4 - -2). Let k = 7 + -4. Let q = 1.6 + -2. Sort k, l, q in increasing order.
q, l, k
Let w(o) = 2*o + 9. Let k be w(-4). Sort 4, -2, k in increasing order.
-2, k, 4
Let u = -0.04 - -0.34. Let h = -0.02 - 2.98. Let b = h - -2. Sort b, -1/4, u in decreasing order.
u, -1/4, b
Let c = -22 + 22.3. Sort c, -1, -1/4, 0 in descending order.
c, 0, -1/4, -1
Let w be -4 - -1*(-5 - -1). Put -5, -2, -3, w in descending order.
-2, -3, -5, w
Let x = 15 - 11. Let j be 2 + 4 + -6 + -3. Let g be (j/2)/(1/2). Sort g, x, 0.
g, 0, x
Let m = 0.18 + 0.22. Put -2/11, m, -3/7 in decreasing order.
m, -2/11, -3/7
Let l = -6 + 8. Suppose -5*f - 4 = 3*x - 15, -x + 4*f = l. Sort 4, x, -5 in descending order.
4, x, -5
Let c be (6/(-21))/1*-1. Let i = 2/277 - -263/1939. Put 5, i, c in ascending order.
i, c, 5
Let b = -11 + 18. Let t = 10 + -14. Sort t, 3, b.
t, 3, b
Let f = 0.6 - 0.4. Sort f, 5, 2.
f, 2, 5
Suppose 3*l + x + 14 = -29, -l + 5*x - 25 = 0. Let t be (1 + 0)/(3/l). Sort 2, t, 3 in decreasing order.
3, 2, t
Let k be (-2 - 0) + 1496/552. Let c = -1/23 + k. Put c, 0, -0.1 in decreasing order.
c, 0, -0.1
Suppose 5*t = -15, -2*c + 4*t = -4*c + 36. Let r be (2/(-10))/(c/(-80)). Put r, -1/8, -5/3 in decreasing order.
r, -1/8, -5/3
Let m = 14.6 + -15. Put -1/9, m, 2 in descending order.
2, -1/9, m
Suppose -2*a + 17 = -5*r - 0, -4*r = 3*a + 32. Let l(h) = -5*h - 132. Let p be l(-26). Sort a, p, -5 in ascending order.
-5, a, p
Let w be (-1)/3 + (-16)/(-3). Let j = 0.15 - 16.15. Let f = -16.1 - j. Put -0.03, f, w in decreasing order.
w, -0.03, f
Let r = -2.6 - -0.6. Put 0.04, r, -0.5 in ascending order.
r, -0.5, 0.04
Let t = 2 - 3. Suppose -5*h + 23 = 3. Let x = h - 1. Put t, x, 2 in decreasing order.
x, 2, t
Let f = 6 - 9. Suppose -4*c - 4*h = -40, 3*c = c + 2*h. Suppose 2*p + c = 3. Put 5, f, p in ascending order.
f, p, 5
Let p = -1250384/71425258191 - -2/474741. Let q = p - 221764756/1354059. Let y = q - -164. Sort y, 5, 0.1 in ascending order.
0.1, y, 5
Let g = -27 + 19. Let p = -9 - g. Sort 0.2, 0, p.
p, 0, 0.2
Let a = 3.1 + -15.1. Sort 3, -0.3, a in decreasing order.
3, -0.3, a
Let n be (5/2)/((-627)/39). Let j = -1/38 + n. Put -3, -4, j in increasing order.
-4, -3, j
Let g = -0.49 + -0.01. Put -0.3, 5, g in increasing order.
g, -0.3, 5
Suppose 4*w + s = 6*s - 12, -3*w = s + 9. Suppose -3*x + 6 = -3. Put x, -1, w in ascending order.
w, -1, x
Let f = -48 + 99. Suppose f = -4*k - 53. Let y be (-4)/k + 1 + -1. Put -1, y, 1/8 in decreasing order.
y, 1/8, -1
Let s = -5 - -1. Let n = s + 7. Let l be ((-2 + 4)*-1)/(12 + -14). Put l, n, -3 in descending order.
n, l, -3
Let g = 0.45 + -0.25. Sort -2, g, -1 in ascending order.
-2, -1, g
Let b = -24 - -21. Sort b, 7, 3, 2 in ascending order.
b, 2, 3, 7
Let p be (-12)/(16/(-4)) - 0. Put 2, p, 4 in descending order.
4, p, 2
Let k be (10/(-45)*21)/((-2)/(-9)). Sort -2, 5, 4, k in decreasing order.
5, 4, -2, k
Suppose -4*g - s + 12 = -3, -2*g - 5*s + 21 = 0. Sort g, 4, 0 in decreasing order.
4, g, 0
Let c = 0.12 + -0.02. Put -14, c, -2/5, 3 in decreasing order.
3, c, -2/5, -14
Let m be 6/8*(7 - 3). Suppose 0 = -m*o + 6 - 0. Sort -3, 0, o.
-3, 0, o
Let i(g) = -g**2 - 2*g + 5. Let v be i(-4). Sort v, -1, -2.
