3. Let t be s(0). Sort 2, m, t in decreasing order.
2, t, m
Let v = -97.7 - -104. Let x = -1.3 + v. Let j = -63 - -249/4. Sort x, -2, j in descending order.
x, j, -2
Suppose 0 = -5*i + k + 156, i = -i + 5*k + 67. Suppose -3*f + i = 2*h, 4*h - 4*f - 7 = f. Let x be 105/196 + (-2)/h. Put -0.5, x, 1/4 in increasing order.
-0.5, 1/4, x
Let d = -0.071 - 8.329. Let p = -8.2 - d. Put 2.1, p, 2 in ascending order.
p, 2, 2.1
Let i = 641 + -628. Sort 4, i, -5.
-5, 4, i
Let c = 81.9 + -82. Sort -2, -0.12, c, 1/8 in descending order.
1/8, c, -0.12, -2
Suppose 0 = -2*n - 3*a + 1, -14 = -4*n + 2*a - 4. Put 10, 4, n in decreasing order.
10, 4, n
Let i(k) = -k**3 - 4*k**2 + 5*k + 7. Let t be i(-5). Suppose n + 15 = h, -6*h + 75 = -h + 3*n. Suppose h*a = 10*a - 25. Put a, t, 2 in descending order.
t, 2, a
Suppose 3*a - 6 = 15. Let c = -4 + a. Let u = -420 + 421. Put 2, u, c in ascending order.
u, 2, c
Suppose -4*j - 5*w + 19 = -4*w, 5*j - w = 17. Suppose -j*c + 3 = -5*c. Let l be 3/4 - (-1)/4. Sort c, l, -1 in ascending order.
c, -1, l
Let y be -5 + 2 + 6 - 6. Let x = 152 + -151. Sort x, y, -1 in decreasing order.
x, -1, y
Let v be (57/12)/(6/48). Sort 1, -0.2, v in decreasing order.
v, 1, -0.2
Let i be 10 + (-12 - (-7 - -6)). Put -4, -49, i in decreasing order.
i, -4, -49
Let c = -2.31 - -136.81. Let u = c + -134. Let l = 1/5 + -7/10. Sort u, l, -0.3 in decreasing order.
u, -0.3, l
Suppose 2 = -2*w, -5 = -4*q - 3*w + 28. Let b = 64 - 54. Suppose 0 = 4*i - q*i - b. Put i, 4, -3 in descending order.
4, i, -3
Let o = 0.69 - -2.41. Let k = o - 0.1. Let s be 29/(-42) + (34/12 - 3). Sort s, k, -2 in ascending order.
-2, s, k
Suppose 0*s = 5*s - 60. Let z be (-1)/(-3 - (-33)/s). Suppose z*h + 2*b + 22 = 0, b + 4*b = h - 11. Sort h, 3, 4 in ascending order.
h, 3, 4
Let k(t) = 5*t + 9. Let a be k(-3). Let o be (-2)/7*3*28/a. Put -4, o, -10 in ascending order.
-10, -4, o
Let a be (11/((-77)/70))/(-2). Sort 17, a, -5, -1 in ascending order.
-5, -1, a, 17
Suppose -10*p + 22 = 62. Sort p, -5, -30, 2.
-30, -5, p, 2
Let i = -0.75 + -3.25. Let y be 6/9 - 4/(-6). Sort 0.9, y, i, -0.1 in decreasing order.
y, 0.9, -0.1, i
Let v be (13 + -35)*3/(-2). Sort -4, 1, v in ascending order.
-4, 1, v
Let x = -43/26 - -3/2. Put -0.4, 0.6, x in ascending order.
-0.4, x, 0.6
Let a = -4 + 4. Suppose 8*q - 12 = 5*q. Put 1, a, q in increasing order.
a, 1, q
Suppose n - 2 = 0, f + 12*n = 7*n + 10. Put -99, -3, f in decreasing order.
f, -3, -99
Let m = 6.58 + -3.58. Put m, -21, -2/11, -1 in ascending order.
-21, -1, -2/11, m
Let d be (68/(-18) - -4)*-141. Let t = d + 30. Sort -0.4, 2/11, t in decreasing order.
2/11, -0.4, t
Let o be 0/((6 - 2) + -3). Suppose o = -4*p - a - 20, 0*p + 4*a = -2*p + 4. Let y be (5/2)/(p/(-6)). Put -0.1, 3, y in descending order.
3, y, -0.1
Let y be 276/(-34) - (1 + (-76)/68). Put 4, -4, y in increasing order.
y, -4, 4
Let i be (-134)/(-5) + 4/(-5). Suppose -5*q + 11 + 9 = 0, -2*y + 3*q = i. Let s = y + 6. Sort s, -4, 4 in increasing order.
-4, s, 4
Let h be 18/(-24)*4 - -5. Let u be (-14)/(-49) - (-160)/(-462). Let z = -3.2 - -0.2. Put z, u, h in descending order.
h, u, z
Let i = -108.34 - 0.66. Let r = i - -111. Let o be 4/(-10) - 26/10. Sort r, -2, o in decreasing order.
r, -2, o
Let w = -197 - -201. Sort -1, w, -1/3 in descending order.
w, -1/3, -1
Let v = -0.99 - -1.53. Let s = -0.02 + -0.02. Let b = s + v. Put -5, b, 1/7 in decreasing order.
b, 1/7, -5
Let d = 3 - 8. Let i(m) = -m**2 - 4*m. Let t be i(-2). Suppose -6 = 3*x - 5*c, 4*x - 24 = -0*c - t*c. Put x, 2, d in descending order.
x, 2, d
Let v be 9/15*(-20)/(-3). Put 0, -21, v in descending order.
v, 0, -21
Let d be 7/(7/(-36)) + 2/(-2). Let o = 33 + d. Put o, 2, 1 in decreasing order.
2, 1, o
Let t = -1.9 - -0.6. Let k = 2.2 - t. Let q = k + -1.5. Put -0.2, q, 2/5 in increasing order.
-0.2, 2/5, q
Suppose 0 = -5*s + 4*x + 33, -3*s - 3*x = 2*s - 19. Suppose 210 = -68*z + 74. Put s, -5, z in decreasing order.
s, z, -5
Let a = 9 - 12. Let i = -61 + 61. Sort i, 2, a.
a, i, 2
Let b(u) = u**3 + 16*u**2 - 10*u + 116. Let l be b(-17). Put l, 5, -13 in ascending order.
-13, l, 5
Let k be ((-6)/4 + 1)*40/(-10). Suppose -4*m + k*m - 4*t = 20, 2*m - 3*t - 8 = 0. Sort 1, 0, 3, m in decreasing order.
3, 1, 0, m
Let m = 231 + -233. Sort 2/3, 2, -2/29, m.
m, -2/29, 2/3, 2
Let i = 549 - 553. Sort 0.02, i, 2, -0.2 in descending order.
2, 0.02, -0.2, i
Let u(b) = -b**3 + 5*b**2 + 8*b - 7. Let t be u(6). Let f be ((-90)/25 - -4)*(-5)/(-2). Put 2, f, t in increasing order.
f, 2, t
Let o be (54/126)/(4/(-14)). Let r = 15/34 - 205/272. Let f = r + -3/16. Sort -1, o, f in ascending order.
o, -1, f
Let v = -809 - -814. Put 0.4, v, -1/109 in descending order.
v, 0.4, -1/109
Let h(q) = -q**3 - 3*q**2 + q - 1. Let y be h(2). Sort -4, y, 4 in descending order.
4, -4, y
Suppose -5*i + 9 = -2*i. Suppose -5 = -4*h + m - 2, -3*m - 9 = -3*h. Suppose 4*p - 2 = -6, -u - p + 4 = h. Sort u, 4, i in descending order.
u, 4, i
Let p(y) = y**2 + 2*y + 2. Let k be p(-1). Let t be 60/(-24)*12/(-10). Suppose -2*f + 6 = -5*w + 4, -5*f - 14 = -t*w. Sort w, k, -5.
-5, w, k
Let j(t) = 3*t**2 + 10*t. Let o(k) = 3*k - 28. Let n be o(8). Let v be j(n). Let i = -5 + 10. Put 4, i, v in descending order.
v, i, 4
Let h be 0 + 1 - (-2 + 5). Let g(m) = 3*m + 48. Let a be g(0). Let q be 1 - (-14)/a*-4. Sort h, -0.4, q in increasing order.
h, -0.4, q
Let t(s) = -s**3 + 17*s**2 - 18*s + 27. Let w be t(16). Sort w, -0.3, 16, 5 in ascending order.
w, -0.3, 5, 16
Let x = -0.13 + -0.17. Let g = 9 + -10. Let m = -0.2 - -0.3. Put m, x, g in increasing order.
g, x, m
Let t = 20 - 9. Let m = 8 - t. Let j = -131 - -131.02. Sort m, -0.5, j in descending order.
j, -0.5, m
Let h = 2.1 - 2. Let m = -0.4 - h. Let k = 0.073124 - 1.073124. Sort k, 2, m in increasing order.
k, m, 2
Let v be (-24)/21 + 1 + 24/(-28). Let p(i) = -4*i + 24. Let t(x) = -x + 8. Let r(k) = 2*p(k) - 7*t(k). Let m be r(6). Put m, -0.1, v in increasing order.
m, v, -0.1
Let w(m) = m**2 + 3*m + 1. Let g be w(-5). Let t be g/3 + 3/9. Suppose -10*z + 1713 = 1743. Sort z, t, -4 in descending order.
t, z, -4
Let o be (2/4)/(7/28). Suppose 0 = -d - o, -8 = -g + d + 2*d. Let q be ((-4)/6)/(-3 + (-116)/(-36)). Put g, 3, q in increasing order.
q, g, 3
Let z = -4 - -1. Let u(j) = -j + 0*j - j - 2. Let g be u(-2). Put g, z, -4 in ascending order.
-4, z, g
Let x(o) = -o**2 + 2. Let j be ((2 - 2)/(-2))/1. Let p be x(j). Let z be 3/5*4*20/16. Sort -1, z, p in increasing order.
-1, p, z
Let z be ((-180)/(-13) - 6) + -8. Let c be (-21)/(-6) + 2/(-4). Suppose 4*p + c = p. Put p, -2, z in descending order.
z, p, -2
Suppose -4*h - 191 + 35 = 0. Let x = -35 - h. Sort 0, x, -1 in decreasing order.
x, 0, -1
Let x(y) = 2*y**3 + 19*y**2 + 10*y + 11. Suppose 2*a - 3 + 21 = 0. Let r be x(a). Sort -3, 0.3, 0.5, r.
-3, 0.3, 0.5, r
Let j(w) = w**2 + 33*w + 116. Let v be j(-29). Sort v, -2, 14.
-2, v, 14
Let v be 1/(-4)*(7 - 1)*1. Sort 1, v, -1/5 in descending order.
1, -1/5, v
Let r(c) = -8*c + 33. Let u be r(5). Let l(f) = -6*f - 41. Let b be l(u). Put -2/15, 2, b in increasing order.
-2/15, b, 2
Let b(c) = -2*c + 33. Let j be b(14). Suppose 2*z + 22 = -2*w, 3*w - j*w - 22 = -2*z. Sort 4, w, 5 in ascending order.
w, 4, 5
Let o(t) = 4*t**2 + 4*t + 5. Let g be o(-1). Let b be 1/((-6)/(-4))*9. Sort g, b, -1, -3.
-3, -1, g, b
Let b = -0.041 - -1.741. Sort -1, b, 1/11 in decreasing order.
b, 1/11, -1
Let n = 187 + -127. Suppose -n = 3*i - 8*i. Suppose 0 = 3*d - 7*d - 2*j + i, 3*d - 3*j = 0. Put -5, d, 5 in descending order.
5, d, -5
Suppose -2*h = -5 + 23. Let u be (-3)/h + 4/6. Suppose a + 2 = -u. Sort a, 1, 0 in ascending order.
a, 0, 1
Let q be 4 - (-238)/12 - (-4)/24. Put 4, 1, q in decreasing order.
q, 4, 1
Suppose -7 = -i + f - 2, i = 3*f + 13. Suppose 3*z - 1 - 6 = 4*k, 5*k + 4*z + 32 = 0. Put 5, i, k in decreasing order.
5, i, k
Suppose -x = -25 + 27. Sort 1, -1, -3, x in increasing order.
-3, x, -1, 1
Let o = -4 - 1. Suppose g + 7 = -2*b + 20, 12 = 4*b. Suppose -z - 26 = 2*x - g*x, -4*z - 14 = -2*x. Sort 4, z, o in decreasing order.
4, z, o
Let s = -16 + 16.2. Sort s, -5, 69 in decreasing order.
69, s, -5
Let p be 14*(1 + (-3)/6). Let d = p + -4. Suppose 3 = d*o - 0. Sort o, 0, -1.
-1, 0, o
Let p be 75/50*(-5 - (-62)/12). Sup