et w be t(14). Sort -2, w, d.
-2, d, w
Let m = -0.23 + -3.77. Let f = -0.72 + -8.28. Sort m, -3, -2, f in descending order.
-2, -3, m, f
Let t(d) = d**3 - 7*d**2 - d + 6. Let c be t(7). Let w = -95 + 116.2. Let u = -21 + w. Sort c, u, 3.
c, u, 3
Let v be -7*(-1 - 2 - -2). Suppose v = -4*u - 9. Sort -2, 0, u, 3 in decreasing order.
3, 0, -2, u
Let i = 13 + -12. Let z = -5.8 - -0.8. Sort 0.1, z, i.
z, 0.1, i
Let b(k) = k**2 - 9*k + 3. Let q be b(8). Let n = q - -10. Let z = -13 - -12.8. Put n, z, -0.1 in decreasing order.
n, -0.1, z
Let t be 1*(-7 - (5 + -8)). Sort -3, -1/3, t, -1 in decreasing order.
-1/3, -1, -3, t
Let u = 6.1 - 8.1. Let i = -0.12 - 2.38. Let a = u - i. Sort 2/17, 1, a.
2/17, a, 1
Let h(v) = 3*v + 71. Let r be h(-19). Put 5, 4, r, 2 in descending order.
r, 5, 4, 2
Let z = -294 + 295. Sort 4, z, -8.
-8, z, 4
Let o(z) = 2*z + 8. Let r be o(-6). Let w be (-33)/(-11) + r + -1. Let y be 0/(w/6*3). Put y, 1, 5 in increasing order.
y, 1, 5
Let w = -28 - -33. Suppose -7*b + w = -30. Sort 2, b, 1, -2 in decreasing order.
b, 2, 1, -2
Let o be -2 + 76/57 - (-8)/3. Let s = -13 - -8. Let w be (-42)/(-5) + 2/s. Put 4, o, w in decreasing order.
w, 4, o
Let q be 2*-2*2*(-8)/(-32). Put 2/5, 1/20, q in descending order.
2/5, 1/20, q
Let x be 20/3*306/255. Sort x, -5, -7, -1 in decreasing order.
x, -1, -5, -7
Suppose f + 4*n = 15 - 2, 0 = 5*f + 5*n - 50. Suppose 15*w - 13*w + 7 = z, w - 4*z = -7. Put f, 0, w in increasing order.
w, 0, f
Suppose 2*c + 11*c = -18*c + 31. Suppose -6 + 0 = 3*b. Sort 0, c, -1, b in descending order.
c, 0, -1, b
Let g = 2 + 7. Let o be g*(10/3 + -3). Put -2, 2, -3, o in increasing order.
-3, -2, 2, o
Let h = -8.07 + 8.07. Put h, 12, -3 in increasing order.
-3, h, 12
Let y = 29.982 - -0.018. Let c = -26 + y. Sort -0.3, c, 1.
-0.3, 1, c
Suppose -2*n + 24 = -28. Let v = 828 - 829. Sort v, n, 2 in descending order.
n, 2, v
Let x be 1 - (4 + -5)*2. Suppose -x = -2*d + d. Let p be -3*4/(-6) + d. Sort p, -5, -1 in decreasing order.
p, -1, -5
Let g be ((-78)/(-52))/(6/(-152)). Put -0.1, 2/15, g in ascending order.
g, -0.1, 2/15
Suppose 3*j + r + 82 = 0, -4*j + 5*r = 189 - 48. Sort j, 3/4, -1/3, 0.3.
j, -1/3, 0.3, 3/4
Let t = 31406.923 - 31370. Let m = t - -0.077. Sort m, -1, 0 in increasing order.
-1, 0, m
Let m be 8/(-6)*72/40 - -2. Sort -2/13, m, 1/32 in ascending order.
m, -2/13, 1/32
Let x(k) = -k**2 + 10*k + 6. Let w be 212/20 + 2/5. Let v be x(w). Let q be ((-4)/v)/((-10)/25). Sort -0.5, q, 1/3.
q, -0.5, 1/3
Let o = 77.59 - 78. Let q = 9 + -8.99. Let b = o + q. Sort -2, -1/4, b in ascending order.
-2, b, -1/4
Suppose 0 = -n + 3*n. Let v = 0.02 + -26.02. Let l = 29 + v. Sort n, l, -0.3 in ascending order.
-0.3, n, l
Suppose -5*t + 3*d = 44, 3*d = t + 6*d - 2. Let z be (5 + -3 + 2 + -15)*1. Let w = t - z. Sort 1, w, -1 in descending order.
w, 1, -1
Let n = -65 - -68. Sort -49, -0.3, n.
-49, -0.3, n
Let j be 0 + (-3)/(-300) - 1/4. Sort -2/21, -0.04, j in decreasing order.
-0.04, -2/21, j
Let d = -1 + 1. Let v be (-10 + 8)/(-1 - d). Suppose v = -3*l + 17. Sort 4, l, 1 in increasing order.
1, 4, l
Let m = -6.88 + 7. Let s = -340.8 - -341. Sort m, s, 1/3 in increasing order.
m, s, 1/3
Let y be 10/(-4)*(-32)/(-760). Let j(q) = -q**3 + q**2 + q - 4. Let f be j(0). Let b be f/(-6)*(-1)/(-2). Sort b, y, 5 in descending order.
5, b, y
Let a = -22 + 22. Suppose 2*d + 3*d = a. Let h be d + ((-4)/(-8) - 0). Put h, -3, 5 in descending order.
5, h, -3
Let b be ((-28)/(-6) - 4) + (-5)/75. Sort b, 2/3, -4, -0.06.
-4, -0.06, b, 2/3
Let k = -0.1 - -0.1. Let j = 341 + -346. Sort k, j, 0.5 in decreasing order.
0.5, k, j
Suppose 2*n - 5 = -5*j, 0 = 4*n + j + 5 + 12. Let s be -1 - (-1 - (34 - -1)). Suppose 0 = -4*r + 3*u + s, 5*u - 2 = -4*r - 7. Sort r, 2, n in increasing order.
n, 2, r
Let i = 1834 - 1813. Sort 2, 5, -2/5, i.
-2/5, 2, 5, i
Let b(k) = k - 8. Let w be b(3). Let g = -51 - -50. Sort w, 0, g.
w, g, 0
Let o = 7 + 12. Suppose -2*g - o = 5. Let a be 3*-1*20/g. Put 2, a, -5 in descending order.
a, 2, -5
Suppose 2*b - 3 = y + 2, 2*y + 5*b - 17 = 0. Let l be y/(((-6)/15)/(-2)). Suppose n = l*n - 8. Sort n, -4, -9.
-9, -4, n
Let c(l) = 5*l + 11. Let a be c(-5). Let h = -15 - a. Let w be 2/(-8) + (-57)/12. Sort h, w, -3 in descending order.
h, -3, w
Let s(d) = d + 3. Let n be s(-5). Let w be -1*((-1)/1 - n). Let t be w*((-1 - 1) + 3). Sort 0, t, 4 in descending order.
4, 0, t
Suppose 3*f - 296 = -278. Put 25, f, -2 in increasing order.
-2, f, 25
Let k = 0 + -4. Let w = 5 + k. Let i = 70 - 64. Put i, w, -4 in decreasing order.
i, w, -4
Suppose 0 - 6 = 2*i. Suppose -2*c - 5*f + 6*f = 14, c + 3*f = 0. Sort 4, i, 0, c in increasing order.
c, i, 0, 4
Let k(b) = b**2 - 11*b + 28. Let v be k(9). Suppose 12*h = v*h. Put -2/11, -1, h, 3/4 in descending order.
3/4, h, -2/11, -1
Let t be 4/(-20)*5/7. Let v = -165 - -3137/19. Sort 5, t, v in descending order.
5, v, t
Let p = -122 - -123. Sort p, -5, -51 in descending order.
p, -5, -51
Let k = 2.69 - 2.99. Sort -35, k, -5 in ascending order.
-35, -5, k
Let u = 2 - 2. Let w = -70.127 + 0.127. Let z = 70.5 + w. Put z, u, -0.2 in descending order.
z, u, -0.2
Let l = -29/2 + 265/18. Let m = -326 + 308. Put l, m, -0.4 in ascending order.
m, -0.4, l
Let k = -61.2 + 55. Let h = -0.8 + k. Let b = -11 - h. Sort -0.3, b, 1/3 in decreasing order.
1/3, -0.3, b
Let g = 15.6 - 16. Let a = g - -5.4. Let d = a - 4.5. Put -10, d, -0.5 in ascending order.
-10, -0.5, d
Let d = -349.28 + 356. Let j = 0.28 + d. Sort j, -0.4, 5, -3 in decreasing order.
j, 5, -0.4, -3
Let q = -48 - -78. Let l = -5/1776 - -162223/5328. Let t = l - q. Sort t, -1, 5 in decreasing order.
5, t, -1
Let l(f) be the second derivative of -f**5/20 - f**4/4 - f**3/3 - 23*f. Let w be l(-2). Put -1/3, 0.1, w, -0.5 in decreasing order.
0.1, w, -1/3, -0.5
Let b(r) = 3*r + 44. Let c be b(-16). Sort c, 0, -1, -5.
-5, c, -1, 0
Let o = 4 + -7. Suppose s - 35 = j - 44, -3*s - 3*j - 3 = 0. Put o, -1, 3, s in decreasing order.
3, -1, o, s
Suppose -177*q + 166*q - 11 = 0. Sort -2, q, -2/13, -2/5 in descending order.
-2/13, -2/5, q, -2
Let n be (8/42)/(30/(-35)). Let r = -4 + 7.8. Let h = r - 4. Put 0.1, n, h in increasing order.
n, h, 0.1
Let g = -2069 - -2074. Sort 15, g, 2, 1 in decreasing order.
15, g, 2, 1
Let r be (8 - (-7 + 10)) + -5. Sort -7, r, 10.
-7, r, 10
Let q = -212 - -216. Let o(s) = -s**3 + s - 4. Let l be o(0). Sort 2, l, 0, q in ascending order.
l, 0, 2, q
Let c = -47 - -140/3. Let n = 117.4 - 4.4. Let j = n - 112. Put c, 2, j in decreasing order.
2, j, c
Let g = -229 + 2979/13. Let s = -18.88 + 19. Let l = -0.02 + s. Put l, -0.9, g in decreasing order.
g, l, -0.9
Let q = 15.975 + -15. Let o = q - 4.985. Let m = o + 0.01. Put 3, m, -0.5 in descending order.
3, -0.5, m
Let n = -193 + 201.3. Sort n, 3, -2 in increasing order.
-2, 3, n
Let u be (1 - 2)/((-2)/4). Suppose 11 = 6*d + 29. Sort u, d, 0 in decreasing order.
u, 0, d
Let a = -48 - -50. Suppose -5*j = 4*m + 7, a*j - 5*j - 17 = -4*m. Put 4, j, -5 in increasing order.
-5, j, 4
Suppose -1 = 5*w - 11. Suppose m - w = -r, 5 + 1 = -m + r. Let v(n) = n**3 - 18*n**2 + 4*n - 70. Let b be v(18). Sort m, b, -4.
-4, m, b
Let c be 5 + (4/(-34) - 5). Put 4, c, -3, -21 in decreasing order.
4, c, -3, -21
Let g(k) = -5*k - 25. Let z be g(-11). Let y = 34 - z. Sort -5, 0.3, -2/13, y in decreasing order.
y, 0.3, -2/13, -5
Let f be (2/15)/((-30)/45). Let l = -1.5 - 1.5. Let y = l + -2. Sort f, y, 2.
y, f, 2
Let p = -862 - -866. Sort -0.31, 4/5, p in descending order.
p, 4/5, -0.31
Let n be (-131)/393 + (-119)/3. Sort -2, 0, -3, n in increasing order.
n, -3, -2, 0
Let z be (1/(-6))/((-4)/(-12))*0. Suppose 4*v - 34 + 14 = z. Sort 2, v, 4 in increasing order.
2, 4, v
Let t be (-1 - 6/(-4))/(-1). Put -0.4, 0.4, t, 0 in descending order.
0.4, 0, -0.4, t
Suppose -2*v + 15 = 3*l, -2*l = v - 5*v - 26. Suppose 1 + 14 = -5*p. Put 3, -5, p, l in decreasing order.
l, 3, p, -5
Let g(o) be the first derivative of -6*o**2 - 9*o + 7. Let u be g(-2). Sort -4, u, -3.
-4, -3, u
Let o(r) = r**3 + 8*r**2 - r - 4. Let t be o(-8). Suppose 0 = -5*b + 4*p - 1 + 3, -t*b = 2*p - 12. Sort -5, b, -1.
-5, -1, b
Let b be (-249)/(-27) - 9 - 0. Sort 9, 1/2, -2, b.
-2, b, 1/2, 9
Suppose 2*v = -0*v - 66. Let c = v - -31. Sort 8, 3, 2, c in 