4.
t, -4, 2
Let z = -3.91 - -4. Let a = z - 4.09. Sort 4, 0.2, a in ascending order.
a, 0.2, 4
Let h(m) = -m + 2. Let z be h(0). Let i be (10/15)/(z/12). Sort i, 1, -5 in increasing order.
-5, 1, i
Suppose 0 = -3*c - 2*k - 15, 3*c = k - 6*k - 15. Sort 3, c, 4 in decreasing order.
4, 3, c
Suppose 2*o = -3*o + 5. Let f(m) be the second derivative of -m**4/6 + 11*m**3/6 - m**2 + 4*m. Let d be f(5). Sort -1, o, d.
-1, o, d
Suppose 4*u + 24 = -0*u. Let a be u/15*(10 - 0). Sort 1, 0, a in descending order.
1, 0, a
Suppose -29 = -2*g - 5*v, 4*g + 4*v = -0*g + 28. Put -3, g, -5 in decreasing order.
g, -3, -5
Let s be -2 - 2/16*-13. Sort 0, s, 4 in increasing order.
s, 0, 4
Let c = 11 - 8. Suppose -2*v = -c - 1. Let t(b) = b + 3. Let y be t(0). Put v, -4, y in decreasing order.
y, v, -4
Let c = -0.092 - 3.748. Let i = -0.16 + c. Put 0.1, i, 1/6 in ascending order.
i, 0.1, 1/6
Let q be (0*(-1)/(-2))/1. Let b be 9*(-3)/(-27)*3. Sort b, q, 2 in descending order.
b, 2, q
Let a = -26 - -11. Let u be (0 + (-9)/a)*5. Sort u, 2, -5 in descending order.
u, 2, -5
Suppose f + 9 = 5*u + 35, 3*u = -3*f - 12. Let d = -2 + f. Sort 1, d, 9 in ascending order.
d, 1, 9
Suppose -4*o = -5*o + 2. Let i be o/(1 + -2 + 0). Put i, -3, -1 in decreasing order.
-1, i, -3
Let w = 1.6 - -0.4. Let t = w + -2.2. Let p = 0.3 - t. Put p, -0.3, 1/6 in descending order.
p, 1/6, -0.3
Suppose 17 = -6*q + 23. Put -14, 5, q, 2 in increasing order.
-14, q, 2, 5
Let h = -3 + 0. Let j = -1.64 + 0.24. Let u = -1.7 - j. Put h, u, -5 in increasing order.
-5, h, u
Let q be (4/3 - 1)/(2/(-3)). Sort -2, -2/3, q, 0.5 in decreasing order.
0.5, q, -2/3, -2
Let o = 383/1764 - -1/196. Put o, 5, 3, -3 in descending order.
5, 3, o, -3
Let n be 4/14 + 5/7. Let s be 3*4/(-12)*(-1 - -2). Sort s, n, -2.
-2, s, n
Let n(i) = -i**3 + 3*i**2 + i + 3. Let l be n(3). Suppose -8*g + 6 = -l*g. Put g, 2, 5 in decreasing order.
5, g, 2
Let r = 0.7 + 1.3. Sort 0.1, r, -1 in decreasing order.
r, 0.1, -1
Suppose 7*d - 4*d - 15 = 0, 3*l + 40 = 5*d. Sort 0, 3, l.
l, 0, 3
Suppose 3*j = 5 + 1. Let h = 7 - j. Put 0, 2, h in decreasing order.
h, 2, 0
Let i(h) = -h**2 - 13*h + 26. Let b be i(-15). Sort 4, b, 10, -1 in descending order.
10, 4, -1, b
Let l(p) = 2*p**3 - 2*p**2 + 1. Let m be l(1). Let r(h) = -h. Let o be r(5). Let w be o/((-4)/2 - -1). Put w, m, -5 in decreasing order.
w, m, -5
Suppose 4*v - 30 - 2 = -4*o, 22 = 2*o + 4*v. Let r = -1 + 1.05. Let k = -0.25 - r. Put k, o, -5 in decreasing order.
o, k, -5
Let w(r) = -r. Let i be w(-3). Let d be (6/(-90))/((-1)/i). Sort d, -1, -0.5 in increasing order.
-1, -0.5, d
Let n = -8 - -6. Let i be (1 - (-7)/(-9))*(-15)/(-20). Sort 0.1, n, i in increasing order.
n, 0.1, i
Suppose 4*u - 2*m + 12 = 0, -6 - 3 = 3*u - 3*m. Let c = u - -7. Let k be ((-6)/c)/((-2)/4). Put -4, k, 4 in descending order.
4, k, -4
Suppose -4*m - 9 = -4*j + m, -2*j - 3*m = 23. Let y be j - (-1 + 2 + -1). Sort -1, 1, y in ascending order.
y, -1, 1
Let i = 7 + -11. Let r be ((-6)/(-4))/(2/i). Let j be -1 + (r + 1)/(-1). Sort -5, 4, j in decreasing order.
4, j, -5
Let g(y) = -y - 1. Let u be g(-6). Sort -5, -2, u.
-5, -2, u
Suppose 4*u + 106 + 114 = -5*q, -184 = 3*u - q. Let g be (-1)/(-2) - (-18)/u. Put 0.3, g, 0 in decreasing order.
0.3, g, 0
Let r = -2.925 + -0.075. Let s = 1 - -2. Sort 5, r, s.
r, s, 5
Suppose 0 = 3*m - m - 6. Sort 2, -5, m, 4 in ascending order.
-5, 2, m, 4
Let q = -4 - -6. Suppose 2*j + 4*s - 4 = 2, q*j + s - 9 = 0. Sort -5, j, 0 in ascending order.
-5, 0, j
Suppose 0 = 2*g - 5*o + 5, g - 3*o + 19 = 3*g. Sort 0, g, -3 in ascending order.
-3, 0, g
Let a(r) = -4*r**2 - r + 1. Let z(q) = q + 6. Let n be z(-5). Let u be a(n). Let v be 14/(-4) - (-2)/u. Put 4, -3, v in ascending order.
v, -3, 4
Let d = 2.09 - 0.09. Let p = 2.1 - d. Sort 1/7, p, -0.3.
-0.3, p, 1/7
Let h = -60.7 - -61. Put -0.4, -16, h, 2/9 in descending order.
h, 2/9, -0.4, -16
Suppose -5*u = -9*u - 5*r - 25, -3*u - 3*r = 15. Sort u, -3, 4.
-3, u, 4
Suppose 0 = v - 7 + 4. Put v, 0, -3 in ascending order.
-3, 0, v
Let k = -55 + 51. Sort k, 5, 0, -1 in descending order.
5, 0, -1, k
Let c = -7 - -7.2. Put 1, c, -0.03 in increasing order.
-0.03, c, 1
Let c = -23 + 23. Sort 2/7, 2/11, c.
c, 2/11, 2/7
Suppose 3*i + 44 = 5*g, 0 = -g - 0*g - 4*i - 5. Let v = 4 - g. Sort 0, v, 2 in descending order.
2, 0, v
Let f = 51 + -29. Sort 0, f, 2.
0, 2, f
Suppose 3*l - 4*l + 3 = 0. Let f be ((-5)/(-2))/(l/(-6)). Sort f, -4/5, 0.
f, -4/5, 0
Let a = 1.06 - 0.06. Let h(q) = -q**2 + 7*q - 6. Let g be h(5). Sort a, g, 0.5 in increasing order.
0.5, a, g
Let g(x) = 3 - 4 - x**2 + 5 + x. Let z be g(3). Sort 0, 5, z in decreasing order.
5, 0, z
Let p be (-4)/18*1614/8. Let r = p + 45. Put r, -0.5, -4 in decreasing order.
r, -0.5, -4
Let w be 0 + 0 - (1 + -2). Let z(g) = -9*g - 3. Let a be z(-2). Suppose -5*k + 2 = -4*h - a, 3*k + 2*h - 19 = 0. Sort k, w, 3 in descending order.
k, 3, w
Let d = 6 + -1. Let u = -15.9 - -16. Sort u, 3/4, d.
u, 3/4, d
Let f = -0.05 + 0.35. Let w = f + -0.6. Let b = 0.03 - -0.17. Sort -0.4, b, w in descending order.
b, w, -0.4
Let q be (-4 - -6) + -2 + 2. Let i(a) = -a**3 + a**2 - 2*a + 3. Let j be i(q). Suppose 7*z - 16 = 3*z, -4*z = -3*n - 7. Sort 4, n, j.
j, n, 4
Let l(v) = v**2 + 16*v + 55. Let x be l(-6). Sort -6, x, 1 in increasing order.
-6, x, 1
Suppose 2 = 2*o - 6. Suppose -3*g = -0*g + 3*r, 3*g = o*r + 21. Let t(a) = a**3 - 4*a**2 + a + 4. Let p be t(g). Sort p, 0.5, 1/7.
p, 1/7, 0.5
Let v be 2 + -3 + -3 - -1. Put v, 0, -1, 3 in increasing order.
v, -1, 0, 3
Let v be (-74)/(-8) + 2/(-8). Suppose -4*d - k - v = -2, 5*d - 2*k + 25 = 0. Let w be ((-2)/6)/((-1)/15). Put w, 0, d in ascending order.
d, 0, w
Suppose 0 = -6*h + 2*h - i - 36, 4*h - 2*i = -48. Put 0, h, 2 in descending order.
2, 0, h
Let n be ((-20)/8)/(57/(-9)). Let x = 6/29 - 172/551. Let a = n - x. Sort -3, -5, a in decreasing order.
a, -3, -5
Let u = -29 - -18. Let k = -1 + u. Let v be 2/9*k/20. Put 0.3, v, 0.2 in decreasing order.
0.3, 0.2, v
Let d(f) = -f**3 + 3*f**2 + 5*f - 6. Let m be ((-6)/(-3))/(1/2). Let x be d(m). Let s be x/5 - 54/(-10). Put s, 2, -2 in ascending order.
-2, 2, s
Suppose -4*b + 5*b + 1 = 0. Sort 4, 3, b in ascending order.
b, 3, 4
Let d = 0.07 - 0.17. Put d, -2/3, -1/25 in increasing order.
-2/3, d, -1/25
Suppose -5 = -4*g - g. Let x(b) = -b. Let t be x(-5). Suppose 0 = -t*d + 4*d + 4. Put g, d, -1 in ascending order.
-1, g, d
Let l(u) = -2*u**2 - 9*u + 14. Let c be l(-6). Sort c, 3/2, 0.3 in decreasing order.
3/2, 0.3, c
Let f = -10.8 + 1.8. Let b = f + 9.4. Sort 0.5, 3, b in ascending order.
b, 0.5, 3
Let m(h) = -h**2 + 4*h + 2. Let s be m(5). Sort s, -5, 2.
-5, s, 2
Suppose -27*p = -26*p + 4. Sort 2/11, -12/7, p, -2/5.
p, -12/7, -2/5, 2/11
Let t = 0.1 - -16.4. Let d = t + -16. Sort 1/7, -2, d in descending order.
d, 1/7, -2
Suppose -6 = w - 2. Let c = -7 - w. Put 2, c, 0 in descending order.
2, 0, c
Let k(y) = 4*y**2. Let j be k(-1). Suppose 0 = 7*q - 2*q + j*l - 8, -2*q - 2*l = -4. Sort -5, 5, q.
-5, q, 5
Suppose -3*c = -5*b - 2, 3*b - 6*b = -4*c - 1. Suppose -5*h + 12 = 32. Sort h, b, -3 in decreasing order.
b, -3, h
Suppose 5*j = 5*a + 15, -j + a - 5 = 4*j. Suppose -5*k = -6*k + 5. Sort j, -5, k.
-5, j, k
Let y be (((-6)/(-9))/(3/18))/(-2). Put -3, -5, -4, y in increasing order.
-5, -4, -3, y
Suppose 0*x - x = -3. Put -4, x, 2 in descending order.
x, 2, -4
Suppose -8 = -0*q - 2*q. Suppose 0 = -4*a + 4*t + 16, -t = -3*a - 0*t + q. Let w = 42 - 128/3. Sort a, -0.5, w in increasing order.
w, -0.5, a
Let g = 0.1 + -0.5. Let q = 1.83 + -1.93. Let h = -1461/8 - -183. Put g, h, q in descending order.
h, q, g
Suppose 9 = -5*g - 1. Let s be (4/10)/(2/(-20)). Let p = -9 - s. Put p, g, -4 in ascending order.
p, -4, g
Let x = 0.1 - -0.4. Let y = -90 - -91.06. Let c = 0.06 - y. Sort -0.5, c, x.
c, -0.5, x
Let p be (-42)/(-8) - 3/12. Let u = p + -7. Let m = 2 - u. Sort -1, m, 0 in increasing order.
-1, 0, m
Let j = -11 - -8. Sort 5, 3, j, -1 in descending order.
5, 3, -1, j
Let c = -2/53 + -45/212. Sort -0.5, 0, c.
-0.5, c, 0
Let w be 5/(-15) - 4/6. Sort w, -3, 3.
-3, w, 3
Let g = -5 + 7. Suppose -g = -k + 3*u, k + k - 2*u - 8 = 0. Suppose -2*w - 9 = -5*f + 2, -4*w = -5*f + 17. Sort 4, k, w in decreasing order.
k, 4, w
Suppose a = -1