 t, -4 in descending order.
t, v, -4
Let g(i) = -i - 5. Let f be g(-9). Let a be -2 + 0/(f/2). Suppose -3*b = 3*d - 0*d - 6, 2*b = d - 14. Put a, d, -3 in ascending order.
-3, a, d
Let u = 3.804 + -4.004. Let a = 2 + -3. Sort u, -2/3, a in decreasing order.
u, -2/3, a
Let s = 10 - 5. Let v be -3 + ((-2 + 1)*(-3 + 5))/1. Sort 4, s, v, 0 in descending order.
s, 4, 0, v
Let i = -320 - -319.8. Sort -2/13, -6, i, 4 in ascending order.
-6, i, -2/13, 4
Let i be ((-3)/(-7 - -4))/(-23). Let v = -5.6 - -6. Let w = -0.158 - -0.358. Sort i, v, w in decreasing order.
v, w, i
Suppose -4*y - 29 + 5 = 2*g, y = 4*g + 3. Let r be (-10)/(g + 1 + 3). Put 1, -1, r in descending order.
1, -1, r
Let x be 4 + -2 + (-1)/(-1). Put x, -5, -3, -2 in increasing order.
-5, -3, -2, x
Let b(r) = -4*r**2 + 78*r - 14. Let o be b(20). Put 5, o, 3 in ascending order.
o, 3, 5
Let p = 191 + -192. Let u be 1/4 + (-21)/(-12). Sort 5, p, -4, u.
-4, p, u, 5
Let d = -5904 + 5899. Let u be 2 - ((-5)/(-3) - 0). Put u, -1/2, -0.6, d in descending order.
u, -1/2, -0.6, d
Let f = -0.31 + 3.31. Let k be (-2 + (-85)/(-10))*-2. Let w = k - -92/7. Sort f, -5, w in decreasing order.
f, w, -5
Let d = 788 - 764. Sort -0.5, d, 0, 5 in descending order.
d, 5, 0, -0.5
Let q = 3.87 - -0.13. Let b = -146 - -1025/7. Sort 2, b, 5, q in ascending order.
b, 2, q, 5
Suppose -5*d + 0 = -4*t - 7, -17 = 2*d + 5*t. Let f be (4 - 7 - 113) + -1. Let q be (f/45 - 2) + 4/(-10). Sort q, d, 3.
q, d, 3
Let i be 6 - (-7 - -3 - 216/(-22)). Sort -5, i, -2.6, 5 in decreasing order.
5, i, -2.6, -5
Let c(s) = -2*s**3 - 9*s**2 - 4*s + 4. Suppose 7*w = -6 - 22. Let b be c(w). Sort 1, 0.06, b, 0.1.
0.06, 0.1, 1, b
Let x = -11 + 5. Let d(s) = -7*s**2 - 16*s - 1. Let b be d(-2). Sort b, 5, x.
x, b, 5
Let a = 73 + -105. Let p = 28 + a. Sort p, 2, -0.5 in descending order.
2, -0.5, p
Let y = -127.4 - -127.56. Sort y, 5, 0.1, 1 in decreasing order.
5, 1, y, 0.1
Let z = 201 + -205. Put z, -1/4, -2, 7 in decreasing order.
7, -1/4, -2, z
Let y be (-1 + 2)/(4/(-20)). Suppose 598 = 5*i + 583. Sort -2, y, i in decreasing order.
i, -2, y
Let l = -311 + 313. Let u = -2 + 1. Sort 0.1, l, u.
u, 0.1, l
Let p = -363 - -363.4. Sort p, 1.8, -1, -4 in increasing order.
-4, -1, p, 1.8
Let v(b) = b**2 + 4*b - 3. Let w be v(-5). Suppose 0*m = -2*m + 5*p + 21, w*p = 5*m. Let l = -11 - -13. Sort m, -4, l in decreasing order.
l, m, -4
Let z = 0.082 - -81.918. Let n = 80 - z. Let a = 3 - 0. Sort -3, n, a.
-3, n, a
Let f = 3 - 1. Let j(k) = -k**3 - 5*k**2 + 4*k - 5. Let s be j(-6). Let q(c) = c**3 - 5*c**2 + 2*c - 5. Let p be q(5). Sort f, s, p in increasing order.
f, p, s
Let c = -9.9 - -10. Let z = 18 - 17.6. Sort c, -2/27, z.
-2/27, c, z
Suppose 0 = -24*l + 125 - 125. Suppose -3*h + 11 = 2*b, 3 = b - 2*h + 8. Put b, 3, -5, l in ascending order.
-5, l, b, 3
Let c(r) = r**3 - 12*r**2 - 7*r - 12. Let q(x) = 3*x**3 - 35*x**2 - 21*x - 35. Let d(k) = 11*c(k) - 4*q(k). Let g be d(9). Put -3, g, -2 in ascending order.
g, -3, -2
Let r be (-12)/(2 - -1) + 2. Let u be r/((-2 + -1)/12). Let a = u - 7. Put a, -2, -5 in decreasing order.
a, -2, -5
Let q be ((-48)/27 - -2) + 7/9. Suppose 0 = -4*r + 10 + 6. Sort q, 5, r, -4 in descending order.
5, r, q, -4
Let y = -47/2 - -139/6. Let t be (282/12)/((-1)/2). Sort y, 0, t in descending order.
0, y, t
Let d = 8 + -13. Let n = 0 + -6. Let y = n - d. Put y, 3, 1/2 in descending order.
3, 1/2, y
Let q = 43 - 39. Suppose -2*t - 2*j = -20, 5*t = -q*j + 65 - 16. Sort 1, 5, t in decreasing order.
t, 5, 1
Let n = 208 + -217. Sort -1/2, -1, n, 4 in decreasing order.
4, -1/2, -1, n
Let h = 256/7 - 37. Sort h, -5, -1.5.
-5, -1.5, h
Let b = -235 - -238. Sort b, 0, -24 in ascending order.
-24, 0, b
Suppose 0 = 5*m + 12 - 82. Let s be 1/2*m/21. Put s, 5, -0.1 in decreasing order.
5, s, -0.1
Let v be (-8)/(-2) + (-4)/(12/241). Let t = v + 77. Sort -5, -1/3, 0.5, t.
-5, -1/3, 0.5, t
Suppose -180*f = -187*f - 14. Sort f, 4, -8, 2.
-8, f, 2, 4
Let t = 547/399 - 5/133. Put 2/11, t, -1/59, -5 in descending order.
t, 2/11, -1/59, -5
Suppose 5*t + 45 - 20 = 5*o, 5*t - 4*o + 29 = 0. Sort t, 7, -1 in decreasing order.
7, -1, t
Let r(z) = -z**2 + 4*z + 1. Let a be r(5). Let v(q) = -2*q - 18. Let h be v(-8). Let m be (-27)/70 + h/(-7). Sort m, 2/7, a in descending order.
2/7, m, a
Let n be 2/(-7) - (-60)/14. Suppose 3*p - 12 + 0 = 0. Suppose -4*r = p*r - 8. Put 3, n, r in decreasing order.
n, 3, r
Let v be (-2 - -111 - 1)*(-6)/(-12). Sort v, 3, 4 in descending order.
v, 4, 3
Let l be 29 + -24 + 54/(-10). Sort 4, l, 2 in descending order.
4, 2, l
Suppose 3*m - 44 - 43 = 0. Let k be 12/14 - 1 - m/(-7). Sort -3, -4, k.
-4, -3, k
Let z(h) = h - 1. Let a = 20 + -17. Let g be z(a). Suppose g = y + 5. Sort y, 4, -2.
y, -2, 4
Let i = 67 + -66. Let o = 6 + -2. Sort 3, o, 5, i in increasing order.
i, 3, o, 5
Let u = -158 + 163. Sort -31, 4, u in decreasing order.
u, 4, -31
Let l(m) = -m + 3. Let i be l(-4). Let t = 14 + -11. Sort t, -3, i in decreasing order.
i, t, -3
Let c be ((-40)/182)/((-40)/140). Sort 0.1, c, -0.1 in decreasing order.
c, 0.1, -0.1
Suppose 2*d - 10 = 5*w - 3, 0 = -4*d + 3*w + 7. Let h be d + (0 + -1 - 6). Let r be (4/h)/((-8)/48). Put -0.4, -4, r in ascending order.
-4, -0.4, r
Suppose 3*t + 10 = -5*u, 5*u = -5*t - 3 - 17. Suppose m + 0*m - 7 = 3*n, -4*n - 8 = -m. Sort n, 4/3, u.
n, u, 4/3
Let w(g) = 5*g + 1 + 0 - 5*g - g. Let u(n) = -2*n + 7. Let s(k) = -u(k) + w(k). Let j be s(10). Sort 5, 0, j in increasing order.
0, j, 5
Let r = 580 + -576. Sort 3, 47, r in decreasing order.
47, r, 3
Let x = -0.65 + 0.45. Suppose -26 + 2 = -4*f. Let p = f - 4. Put x, 0.4, p in ascending order.
x, 0.4, p
Suppose 5*f - 81 = -41. Sort f, 2, 4 in descending order.
f, 4, 2
Let h be 5/(-6)*33/110. Put h, -0.06, -1 in decreasing order.
-0.06, h, -1
Let f(d) = 4*d**3 + d - 1. Let j = 20 - 19. Let h be f(j). Suppose -3*i + 0*i + 10 = -p, -9 = 3*p - 2*i. Sort h, 0, p in ascending order.
p, 0, h
Suppose 0 = 2*l + 3*z + 29, -87 = 3*l - z - 71. Put -2, l, -1, -10 in increasing order.
-10, l, -2, -1
Let v = -28 + 17. Let x = -12 - v. Sort x, -0.5, 4 in ascending order.
x, -0.5, 4
Suppose -30 = 12*q + 6. Put 6, q, 2/19 in increasing order.
q, 2/19, 6
Let s = -2.7 - -3. Let v = -3.875 + -0.125. Put -5, s, v in descending order.
s, v, -5
Let y be (-1 - -3)*(-13)/104*12. Put 4, y, 0, 0.3 in decreasing order.
4, 0.3, 0, y
Let s = -0.13 - 0.87. Let o = s + 0.9. Let r = -2/57 + -17/57. Sort 3, o, r in decreasing order.
3, o, r
Let y(o) = o + 13. Let a be y(-11). Suppose -u = -a*b + 2*u, -8 = -4*u. Sort b, -4, 12 in descending order.
12, b, -4
Let k(g) = -12*g - 406. Let d be k(-33). Let j(b) = b**2 - 2*b - 2. Suppose 2*t - 2*h = -2, 11*t = 6*t + 3*h + 3. Let a be j(t). Sort d, 4, a.
d, a, 4
Let n(u) = -u**2 - 20*u + 3. Let h be 15/(-6)*4*2. Let a be n(h). Suppose -v + 12 = -4*d - 5*v, 7 = 3*d - 5*v. Sort 5, a, d in decreasing order.
5, a, d
Let q(m) = 3*m**2 - 7*m + 19*m + 23*m - m + 7. Let w be q(-11). Put 2, -11, w in descending order.
2, w, -11
Suppose 1 = r + 4. Suppose -2*l = 3*l - 75. Suppose -l = -5*f + 5*u, 0*f - 4*u - 14 = -2*f. Sort 1, f, r in descending order.
1, f, r
Let g be 16/20 + 3/(-10). Put 5, g, -1/4, 18 in descending order.
18, 5, g, -1/4
Let d = -0.074 - 1.426. Let i = 0.6 + 2.4. Put d, i, 4 in increasing order.
d, i, 4
Let i be (0 - -3) + (27 - 26). Suppose 4*l = 2*t - 19 + 1, 3*t + 5*l - 60 = 0. Sort i, -2, t in descending order.
t, i, -2
Let a(c) = -13*c - 11. Let z be a(-1). Sort 3, z, -22.
-22, z, 3
Suppose 0 = 16*p - 11*p + 15. Let l be -2 + (0 - p) + 2. Let d = 1 - 1.3. Put d, 1/5, l in decreasing order.
l, 1/5, d
Let g be (-26)/(-117) + 40/(-126). Let q be 34/(-84) - 2/2. Let a = g + q. Put 2, a, -1/6 in increasing order.
a, -1/6, 2
Suppose -4*b + 3 = -13. Let w = 5 + b. Suppose 2*d = -d + w. Put 2/5, d, -5 in decreasing order.
d, 2/5, -5
Let q = 2 - -6. Let l = -3.9433 + -0.0567. Let b = l + q. Sort b, -1, 3 in descending order.
b, 3, -1
Let a be 30/(-18) + 1 - (-36)/81. Sort 5, -0.096, 0.4, a in decreasing order.
5, 0.4, -0.096, a
Let q = -3.3 - -3.66. Let a = 0.5 - q. Let v = 0.27 - a. Put v, -4, 2/7 in descending order.
2/7, v, -4
Let w = 600 - 605. Put 1.59, -1/2, w in decreasing order.
1.59, -1/2, w
Let g be (13/(-65))/(1/(-10))