et b = 4.698 - -0.002. Let k = b - 5. Let z be (-18)/21 - (-11)/11. Put -3, z, k in descending order.
z, k, -3
Let c = -12.28 + 12. Let r = 2.7 - 2.82. Let f = c + r. Put f, 2/3, -2 in increasing order.
-2, f, 2/3
Let t be 3*(-16)/(-210) + (-6)/(-30). Let v be -1*((-1)/(-6) + 0). Let g = -1.3 - 0.7. Sort v, g, t.
g, v, t
Let t = 1.1 + -1.4. Let r(x) = -8*x - 43. Let c be r(-6). Sort c, t, 9 in increasing order.
t, c, 9
Suppose -2 = d - g - 3, 0 = -2*d - g - 1. Put 1, -14, d in increasing order.
-14, d, 1
Let f = 2 + -4. Let m = 7 + -14. Suppose 0 = 5*j + k - 3*k - 5, k - 4 = -4*j. Put f, j, m in decreasing order.
j, f, m
Let h = 0.12 - -0.88. Put -2/7, 5, h, -0.1 in descending order.
5, h, -0.1, -2/7
Suppose 0 = 4*x + g - 0 - 3, -4 = 4*g. Let p be (((-198)/(-4))/9 + -6)*8. Sort -6, -5, p, x in descending order.
x, p, -5, -6
Suppose 3*j + 0*j - i + 6 = 0, -17 = 2*j - 5*i. Let y = -1091 + 1086. Put 2, j, y, 0 in decreasing order.
2, 0, j, y
Let n = 3.9545 + 0.0455. Put -0.1, n, 0.01, -3 in ascending order.
-3, -0.1, 0.01, n
Let z = -2 - -2. Let m = -0.2 + z. Let j = 18.55 - 14.55. Sort 0.1, j, m in decreasing order.
j, 0.1, m
Let z(t) = -t**3 - 11*t**2 - 9*t + 7. Suppose 29*q - 30 = 32*q. Let c be z(q). Sort 0, c, 2, -5 in decreasing order.
2, 0, c, -5
Let m be (4/(-5))/((-14)/6230). Let y(o) = -2*o + o + 368 - m. Let w be y(15). Put w, -5, 3 in increasing order.
-5, w, 3
Let c(o) = -7*o + 20. Let w be c(3). Sort -7, w, -0.5.
-7, w, -0.5
Let n = 370 - 1852/5. Let d be (-1)/(-28)*(15 - -2). Let u = d - 3/28. Sort u, n, -5.
-5, n, u
Let j = -10 + 9.87. Let r = j - 2.87. Let g = 9 - 9.5. Put 5, r, g in descending order.
5, g, r
Let n be (2400/56)/(-15) + 1/(-7). Sort 1, -4, n, -152 in ascending order.
-152, -4, n, 1
Let p(w) = w + 19. Let t be p(-23). Let o be (-2)/(-3)*2*(-6)/t. Suppose -5*m + 6 = -7*a + 5*a, -5*m + 3*a = -9. Put m, o, -1 in descending order.
o, m, -1
Let c(g) = -g + 5. Suppose -2*o + 0 = -4. Suppose 2 = 2*y, 5*j - o*y = 3*y + 30. Let q be c(j). Put q, 1, -5 in increasing order.
-5, q, 1
Suppose 0 = 2*d + 4*d - 42. Suppose 2*a + 3*w - 18 = -d, -3*w = -4*a - 23. Sort a, 3, 4, 0 in descending order.
4, 3, 0, a
Suppose 16*g + 16 - 32 = 0. Put -4, 3, g, -1 in increasing order.
-4, -1, g, 3
Suppose 36 = 2*w + 4*p, -w + 5*p + 22 = 3*p. Suppose -k + w = -0*k. Let f = k - 24. Sort 3, f, -1 in decreasing order.
3, -1, f
Let r be ((-560)/(-21))/(-16)*3. Sort 4, r, 5, 178 in decreasing order.
178, 5, 4, r
Let p = 2597 - 2821. Put 4, 0.4, p, 0.5 in increasing order.
p, 0.4, 0.5, 4
Let u = -2.5 - 0.5. Sort u, 1/3, 0.3 in decreasing order.
1/3, 0.3, u
Suppose -5*u - 5 = -4*g - 63, 2*u - 12 = -4*g. Let m be 6/12*(0 + u). Let i be (3/m)/((-16)/10). Put i, -0.5, -3 in descending order.
i, -0.5, -3
Let h(s) = -s**2 + 12*s - 6. Let x be h(11). Suppose -3*y = -x*y. Put -3, y, -2 in decreasing order.
y, -2, -3
Let p = 59 + -59. Sort 10, 0.3, p, 2.
p, 0.3, 2, 10
Suppose 4*t = -i - 23, 0 = t - 2 + 7. Put -1, i, -2, 5 in descending order.
5, -1, -2, i
Let w be ((-4)/24)/((-2)/6). Let s = -1.5 - -1.38. Let r = s + -0.88. Sort w, 0, r in decreasing order.
w, 0, r
Let c = 182 + -160. Put -5, 0, c in ascending order.
-5, 0, c
Let f be (0 - 3/(-12))*4. Suppose -l + j + 2 = 4, -6 = -4*l - 3*j. Sort f, 5, l in decreasing order.
5, f, l
Let q(j) = -4*j**3 - 3*j - 2. Let b be q(-1). Let p = 7 + 5. Suppose b*w + 13 = -p. Sort w, 4, 3.
w, 3, 4
Let h = 166.2 - 166. Sort -4/9, 2/9, h, -5 in increasing order.
-5, -4/9, h, 2/9
Let g(h) = -h**2 - 9*h + 24. Let o be g(-11). Suppose -o*a - 41 + 51 = 0. Sort 4, a, 3 in increasing order.
3, 4, a
Let k = -301/2 + 151. Sort 4, 0.3, 5, k in decreasing order.
5, 4, k, 0.3
Let o = -0.7 - 1.1. Let p = o - -1.6. Let f = -1/40 - 3/8. Put p, 0.4, f in descending order.
0.4, p, f
Let o be ((-1)/1 - -2) + 3. Suppose 0 = 3*z + 2*h + 3, -3*z + 3 = -0*z + o*h. Let u be (6/(-4))/(-4*30/400). Sort u, z, -5 in decreasing order.
u, z, -5
Let m be 1048/(-52) - 2/(-13). Let q = m + 26. Suppose 3*h + q = 6*h. Put h, 3, -2 in decreasing order.
3, h, -2
Suppose 4*w = 12, -2*w - 2 = 5*u - 6*w. Let b(t) = t**2 - 2*t - 4. Let y be (-88)/(-28) - 1/7. Let x be b(y). Sort x, 3, u.
x, u, 3
Let f = -208138/2861 + 1/11444. Let t = f + 72. Let q be 145/30 + 7/6 + -1. Put 7, t, q in descending order.
7, q, t
Let p be (-1 - (-38)/14) + -2. Let r = 4.4 - 5. Let o = -0.3 - r. Sort p, 3, o.
p, o, 3
Let x = -2 - 7. Let d = x + 7. Let w be (2/4)/((-17)/170). Sort d, w, -3.
w, -3, d
Suppose 2*a = -a - 15. Let z = 470 + -473. Suppose -3*j + n + 4*n + 4 = 0, 0 = -4*j + 2*n - 4. Put a, z, j in descending order.
j, z, a
Let g(u) = -4*u**2 + 36*u - 67. Let f be g(6). Sort f, -2, 0, 3.
-2, 0, 3, f
Let g be (46 - -4)/5 - 5. Sort g, 1/2, 1/6, 16 in ascending order.
1/6, 1/2, g, 16
Suppose 24*y + z + 45 = 26*y, 4*y - 87 = 3*z. Put y, -0.4, 4 in descending order.
y, 4, -0.4
Let c(l) = -3*l - 8. Let x be c(-3). Let n = -391/14 - -57/2. Put n, x, 2 in decreasing order.
2, x, n
Let d = -3.9143 + -0.0857. Put d, 21, 0.14 in decreasing order.
21, 0.14, d
Let y be (-39*(-6)/(-54) - -4)/(-3). Put 2, -18.9, y, -1 in descending order.
2, y, -1, -18.9
Let p(f) = f**3 - f**2 + 6. Let d be p(0). Suppose -4*t = -2 + d. Sort -10, t, -4 in descending order.
t, -4, -10
Suppose 0 = 5*v - 4*v - 10. Let q = -7 + v. Let g be (-75)/27 + q*1. Sort g, 0.3, -3 in increasing order.
-3, g, 0.3
Let g = 273 + -265. Let i = 38 - 30.1. Let q = g - i. Put -3/2, q, 1 in descending order.
1, q, -3/2
Let z(w) = -w**2 + 40. Let g be z(6). Sort -3, g, 33, -5.
-5, -3, g, 33
Let p = 89 - 89.054. Let d = 4.054 + p. Let z = 0.13 + 4.87. Sort 0.2, d, z in decreasing order.
z, d, 0.2
Suppose 2*v - 3*v - 1 = 0. Let g be (4 + 2*(-76)/32)/v. Put 2/7, g, 0.02 in increasing order.
0.02, 2/7, g
Suppose 42 = 6*d - 30. Suppose 15 = d*f - 15*f. Sort f, -1, 1, -2 in descending order.
1, -1, -2, f
Let f = -233 + 215. Put 5, 0, f, -3 in descending order.
5, 0, -3, f
Let s be 1*3*(-3 + 4). Suppose -j - 2 = -s*j. Put 5, 4, j, -3 in ascending order.
-3, j, 4, 5
Let n = -1566 + 1562. Suppose -3*x - 14 = -2*x. Put x, 1, n, 0 in decreasing order.
1, 0, n, x
Let d = 0 - 4. Let r = 35 - 36. Sort d, 7, r in ascending order.
d, r, 7
Let t = 2.24 + -4.24. Put 0.4, 3, 0, t in descending order.
3, 0.4, 0, t
Suppose -3*u = 5*l - 20, 0 = u + 4*u - 25. Suppose 15*o + 0 + 15 = 0. Sort 9, o, l in decreasing order.
9, l, o
Let c = 32 - 28. Suppose 13 = -c*y + 25. Suppose -5*f + 6 = -2*h, -2*h = -0*h + 4*f - 12. Sort y, h, 14 in increasing order.
h, y, 14
Let a(z) = -2*z - 8. Let s be a(-5). Put 6, 8, s, 1 in decreasing order.
8, 6, s, 1
Suppose -2*g + 3*g + 2 = -x, 0 = 2*x. Suppose -6 = -5*b + j, 13*j = -4*b + 9*j + 24. Sort g, -3, b in descending order.
b, g, -3
Let t be 7 + 2*(-8)/(-20)*-10. Sort -4, -48, t, 3 in descending order.
3, t, -4, -48
Suppose 19*s - 131 + 150 = 0. Sort 2, -10, s in descending order.
2, s, -10
Let u(d) = -4*d - 48. Let a be u(-12). Suppose 7*j - 2*j - 10 = a, -2*j = p - 8. Suppose -6 = g - 3. Put p, g, 3 in ascending order.
g, 3, p
Let l be (10 - 2 - 1) + 2. Let w = 7 - l. Let p = w - 3. Sort 1, -3, p in descending order.
1, -3, p
Let b = 1370.2 + -1370. Sort b, 3, 0.5, 19 in increasing order.
b, 0.5, 3, 19
Suppose 34*q - 493 = 5*q. Sort 11, 2, q in increasing order.
2, 11, q
Let i = 40 + -114. Let z = -69 - i. Let k(d) = d**3 + 5*d**2 + 5*d + 3. Let a be k(-4). Sort -3, z, a.
-3, a, z
Let s be (-3)/2 - (-33)/(-6). Let y be s/7*(-1 - 0). Suppose -l = l. Sort 4, y, l in increasing order.
l, y, 4
Let u(p) = 2*p**2 + 47*p + 30. Let b be u(-23). Put -4, 3, -1, b in ascending order.
-4, -1, 3, b
Let q(x) = -8*x**3 - x**2 + x + 1. Let j be q(-1). Let v(d) = d**2 - 7*d + 2. Let g be v(j). Suppose t - g = -t. Sort t, 3, 2/11 in descending order.
3, t, 2/11
Let q(y) = 6*y + 71. Let l(a) = -a - 14. Let u(p) = 11*l(p) + 2*q(p). Let k be u(8). Put -1, -3, k in ascending order.
k, -3, -1
Suppose 4 = -4*a + 5*v + 9, 5*v = 3*a. Let w(g) = -g**3 - 4*g**2 - 4*g - 2. Let o be w(-3). Suppose i + 1 = -o. Sort 3, a, i in ascending order.
i, 3, a
Let k = 3.1 - 2.2. Let z = 89/94 - -22909/376. Let r = z + -62. Put 1, r, k in increasing order.
r, k, 1
Let f(a) = -a**3 + 2*a**2 + a + 2. Let t(i) = -3*i**2 + i + 3. Let j be t(0). Let r be