 3*i + 4*f + 24, 0 = 3*f + 15. Sort l, -5, i in decreasing order.
l, i, -5
Let m = -518 + 490. Sort -0.02, -3, m in descending order.
-0.02, -3, m
Let g = -11 + 7. Let k = -0.32 - -0.32. Let t = -23 - -25. Put g, k, t in decreasing order.
t, k, g
Suppose 12*s + 271 = 223. Put -14, 0, s, -25 in decreasing order.
0, s, -14, -25
Let o(c) = 5*c + 33. Let j be o(-7). Sort 9, -9, j in decreasing order.
9, j, -9
Let x = 1329 + -1334. Let w(p) = p**3 - 8*p**2 + 9*p - 10. Let u be w(7). Let a(b) = b. Let i be a(6). Put x, i, u in descending order.
i, u, x
Let h be 64/12*(-2 + 7/(-28)). Sort h, -2, -5 in descending order.
-2, -5, h
Let w(v) = -v**3 - v**2 + 8*v + 1. Let t be w(2). Sort -30, 3, t in decreasing order.
t, 3, -30
Suppose 5*i - 23 = 2*r, 0*i = r + 5*i - 26. Let l(z) = -6*z + 75. Let d be l(12). Put d, r, -10 in ascending order.
-10, r, d
Let p be 16 + (-5643)/243 + (-2)/(-9). Let l = -4 + 6. Sort -3, l, p, 3 in decreasing order.
3, l, -3, p
Suppose -z + 2*j + 43 - 40 = 0, 5*j + 15 = 0. Sort 29, 1/2, z.
z, 1/2, 29
Let y = 26 - 26.4. Sort -1, y, -21, 1 in descending order.
1, y, -1, -21
Let s be (71 - -1)*(-15)/(-30). Let o be 0 + 1 + (-28)/s. Sort o, 1/3, -0.6 in descending order.
1/3, o, -0.6
Let a = -39 + 16. Let r = -27 - a. Put r, -1/11, -2 in decreasing order.
-1/11, -2, r
Suppose 0 = -30*l + 28*l + 10. Sort 1, -3, l, 10 in descending order.
10, l, 1, -3
Let j = -1 + 0.8. Suppose -43 = -4*m + 5*k, 55 = -m + 6*m - 5*k. Suppose 10*w = 4*w + m. Sort 4, w, j in increasing order.
j, w, 4
Suppose -5*c + 2 + 28 = 3*p, 16 = 5*p - 3*c. Put -3, -5, 2, p in descending order.
p, 2, -3, -5
Let d = -0.23 - -0.13. Let v = -555 - -551. Put d, v, -2/3, -5 in descending order.
d, -2/3, v, -5
Let m = -95 + 96. Let f = 3/2 + -1. Put 4, m, f in ascending order.
f, m, 4
Let u = -215/4 - -2787/52. Sort 2/21, 0.4, u, -4.
-4, u, 2/21, 0.4
Let l = -18 + 14. Let v(a) = 3*a + 3. Let q be v(-1). Sort 5, 3, q, l.
l, q, 3, 5
Let f = -291 - -291.5. Sort f, 2/9, -3/7, 3 in descending order.
3, f, 2/9, -3/7
Let z(m) = -m + 6. Let u be z(4). Let q(p) = -2*p**2 + p**2 + 0*p**2 + 3 - p**3 + 4*p**u - 2*p. Let t be q(2). Sort 5, t, -15 in descending order.
5, t, -15
Suppose -12*b + 558 = -30*b. Sort -4, b, 4/7.
b, -4, 4/7
Let s = 0 - -2. Suppose 5*n + 37 = -3*g - 0*g, -35 = 5*g + 3*n. Let o be s/g*(-8)/(-12). Sort 2/21, o, 1 in increasing order.
o, 2/21, 1
Suppose 2*x - 9*f - 8 = -12*f, -9*x + f = 51. Let p be (-3)/(-2)*(0 - -2). Put 2, -3, p, x in descending order.
p, 2, -3, x
Let z(s) = 4*s + 92. Let d be z(-24). Sort -5, -10, d.
-10, -5, d
Suppose -3*p - 3*z = -15, -2*p - 2 + 0 = -4*z. Suppose 0 = -6*b + 9*b - 69. Suppose -33 + b = -2*r. Put p, r, 0 in descending order.
r, p, 0
Let u be 26/39 + (-13)/(-3). Let k(g) = 9*g - 29. Let a(f) = -3*f + 10. Let q(m) = 8*a(m) + 3*k(m). Let y be q(u). Sort 5, 2, y in ascending order.
2, 5, y
Let y = 1229 - 1227. Sort -4, 0, y in increasing order.
-4, 0, y
Let a = 4.9752 - -0.0248. Put a, 1/43, -2 in decreasing order.
a, 1/43, -2
Let s be (40/(-32))/(4/(-8)). Suppose -g + 12 = 3*g + 5*q, -5*g + 15 = -5*q. Sort s, g, 1.8 in descending order.
g, s, 1.8
Let h = -14.9 - -8.9. Put h, 1, -0.01 in descending order.
1, -0.01, h
Let n be -15 + ((3 - 0)*1 - 1). Let y = n + 8. Sort y, 4, 3, 8.
y, 3, 4, 8
Let k = -893 + 895. Sort k, 1/18, -1/4, -0.3 in descending order.
k, 1/18, -1/4, -0.3
Let p(n) = n**3 + 5*n**2 + 4*n + 1. Let x be p(-3). Let q = x + -10. Suppose -4*j + 2 = -5*z, -3*j - z + 4 = -6*z. Put 5, q, j in increasing order.
q, j, 5
Let h be 9 + (((-2)/1)/(-2) - 0). Suppose 5*w - h*w = 15. Let r be 6 + 3*4/(-6). Put w, -4, r in ascending order.
-4, w, r
Suppose -3*z = -2*p + 26 - 24, 3*z = 3*p. Put z, 0.5, -0.52 in descending order.
0.5, -0.52, z
Let v = -101 + 70. Let p = v - -33. Sort p, 6, -1/5 in descending order.
6, p, -1/5
Let p = 458 - 461. Sort -4, 0.1, p, -3/2 in increasing order.
-4, p, -3/2, 0.1
Let i(a) = a**3 - 8*a**2 + 14*a - 8. Let m be i(6). Suppose 11 = m*b - 9. Let k(l) = l + 4. Let z be k(-3). Sort -4, z, b in descending order.
b, z, -4
Let y be 0/(-2) + (-7 + 3)/(-2). Let u = 6 + -3. Put 4, y, -6, u in ascending order.
-6, y, u, 4
Suppose 20 + 0 = 4*q. Suppose -q*n + 10 = -3*d, -d = -0*d. Suppose -2*r - n*r = 12. Sort r, 3, -0.2.
r, -0.2, 3
Let n = 3901/10 - 390. Sort n, -2/17, 1/7, 5 in ascending order.
-2/17, n, 1/7, 5
Suppose h = -2*i + 6, 0*h - 4*h - 5*i + 27 = 0. Suppose -h = 12*f - 10*f. Let g be 2 + (-1 + 3 - 6). Sort f, g, -1.
f, g, -1
Suppose -5*w + w = 0. Let y be (-10)/(-20)*(-10 - w). Put 4, 3, y in descending order.
4, 3, y
Let n = 63 + -79. Let a be 12/n + -3*(-3)/36. Let c = -0.7 - -0.4. Put a, 2, c in descending order.
2, c, a
Let z(k) = k**2 + 1. Let g be z(2). Let m = -786 - -789. Sort 9, g, m, 4 in decreasing order.
9, g, 4, m
Let n = 563 + -565. Let x be (0 - -2 - 2)*-1. Put x, -4, 3, n in decreasing order.
3, x, n, -4
Let n(m) = -16*m + 381. Let b be n(24). Sort b, -8, 6, 2 in descending order.
6, 2, b, -8
Let u = -3/152 + 11/76. Sort -2.1, -0.09, u in ascending order.
-2.1, -0.09, u
Let r be (-9)/12*17/(459/(-24)). Put 0.2, -0.02, r, -0.4 in decreasing order.
r, 0.2, -0.02, -0.4
Let o = -58.79 + 59. Let j = -0.09 - o. Sort 5, j, 0.3, -4 in ascending order.
-4, j, 0.3, 5
Suppose 3 = -3*p - h, -3*p - 3*h - 2 = -p. Suppose 2*y - 2*n + 5 = 5*y, 5*y - 2*n = 19. Let o(k) = -k + 6. Let t be o(y). Put t, p, -4 in descending order.
t, p, -4
Let d(x) = -x**2 + 29*x - 103. Let c be d(24). Sort -1, c, 4.
-1, 4, c
Let c(g) = -g**3 + g**2 + 5*g - 2. Let w be c(3). Let x = 481 + -480. Put 1/3, w, x in decreasing order.
x, 1/3, w
Let k = -68.51 - 0.49. Put 4, k, 1 in increasing order.
k, 1, 4
Suppose i + 12 = 16. Sort -3, -6, 1, i in decreasing order.
i, 1, -3, -6
Let i = 24 + 6. Let m = 34 - i. Sort 5, m, 2.
2, m, 5
Let k = 523 - 519. Sort -1, -17, k in ascending order.
-17, -1, k
Let h = -4 - -7. Let a = -12.6 - -14. Let i = a - 2.4. Sort 0, i, h.
i, 0, h
Suppose -2 - 19 = -7*z. Suppose 0 = -4*i - z*g - 8 - 4, -2*i + 5*g + 20 = 0. Let m = 9 - i. Sort 0, m, -3 in ascending order.
-3, 0, m
Let x be ((-85)/51)/(5/(-12)). Sort x, -2, -35 in descending order.
x, -2, -35
Suppose -2*i = 4*g - 20, 0 = -5*g - 0*g - 4*i + 25. Put g, 11, -2 in descending order.
11, g, -2
Suppose 35 = -8*k + 27. Sort -2, 29, k in decreasing order.
29, k, -2
Suppose -32 = -3*n - 3*c + 19, 0 = 3*n - 4*c - 86. Let v be 106/(-22) + (-4)/n. Suppose 4*y + 21 - 5 = 0. Put y, v, -11 in descending order.
y, v, -11
Let t = -4 - -9. Suppose -t*h + 9 + 11 = 0. Suppose 4*v = 5*v + h. Sort -3, v, 2 in ascending order.
v, -3, 2
Let p be (-35)/(-5) + (-38)/6. Sort -2/17, 0.5, 13, p in decreasing order.
13, p, 0.5, -2/17
Let p(j) = 4*j - 3. Let k be p(3). Suppose -7*q + k*q = 0. Sort -5, 4, q, 2.
-5, q, 2, 4
Let b = 396 - 324. Put 4, -5, b in decreasing order.
b, 4, -5
Let x = 14 + 28. Suppose 45*l - 3 = x*l. Sort l, 5, 4, 2.
l, 2, 4, 5
Suppose -2*a + 5*j = 3*j, 5*j = -a + 6. Let c(q) = -q**3 + q - 1. Let s be c(a). Suppose -2*y - 2*y = 8. Put s, -4, y in descending order.
s, y, -4
Let z be (-4)/2 + 6 + 12. Let l = z - 13. Suppose -l*s - 23 = -5*s + 5*g, -4*s + 2*g = -22. Put 5, s, -5 in ascending order.
-5, s, 5
Let j = 18.494 + 0.006. Let b = 0.5 + j. Let h = b + -20. Put 3/2, -2/13, h in increasing order.
h, -2/13, 3/2
Suppose -2*b - 6 = 0, b = 4*u - 2*b - 9. Let c be 12*((325/(-6))/(-25) + -2). Put u, c, 4, -8 in decreasing order.
4, c, u, -8
Let v = 10208 - 10175.044. Let y = -0.156 + v. Let a = y - 33. Sort a, -4, -5.
-5, -4, a
Let x = 619 - 618.7. Put -0.2, x, 0, 1/3 in descending order.
1/3, x, 0, -0.2
Let v = 2 - -1. Suppose -t = -4*y + 1 + 4, 2*t - 4*y + 2 = 0. Suppose 6*s = -v - t. Put 7, -5, s in increasing order.
-5, s, 7
Let g = -621 - -623. Sort g, -0.4, -0.075 in decreasing order.
g, -0.075, -0.4
Suppose 28*j - 86*j = 174. Put -4, -9, j in increasing order.
-9, -4, j
Let j = 3 + -4. Let a = 86.23 - -0.77. Let g = 85 - a. Put g, 0.3, j in descending order.
0.3, j, g
Let a(y) = y**2 - 7*y - 8. Let g be a(7). Let o = g + 13. Sort o, -1, -2 in decreasing order.
o, -1, -2
Suppose 2*d = x + 13, -35 = -4*d + 3*x - 12. Sort d, 56, 2 in increasing order.
2, d, 56
Let z = 6494 + -6494.3. Let n = 11.7 - 13. Let w(s) = -s**2 + s + 2. Let i be w(