e l(k). Sort -4, u, x in decreasing order.
u, -4, x
Let g = 27546 + -27555. Sort -4, -6, g, 1.5 in increasing order.
g, -6, -4, 1.5
Suppose -2*u + 223 - 13 = 0. Suppose -438*r = -447*r - 45. Sort r, 5, u in decreasing order.
u, 5, r
Let b(i) = i**2 - 3*i - 22. Let a be 1315/45 - (-4)/(-18). Suppose 2*k + 2*z = 1 + 1, z + a = 4*k. Let x be b(k). Sort 0, 2, x, 1 in increasing order.
x, 0, 1, 2
Let d(f) be the first derivative of -1/4*f**4 - 2*f**2 - 2/3*f**3 - 3*f - 1. Let a be d(-2). Put 2, 4, 0, a in decreasing order.
a, 4, 2, 0
Let k be (-379)/4548 + 4/(48/25). Let c(o) = -o**3 + o**2 - 2*o - 4. Let h be c(3). Put -2, h, k in decreasing order.
k, -2, h
Let f = 157.6 - 20.6. Let j = 136 - f. Let n be -2 + (24/10 - 0). Sort 0, n, j, 2/9 in descending order.
n, 2/9, 0, j
Let w = -10212 - -10212. Let l be 5/(-2) + 7/14. Sort w, l, -3, -8.
-8, -3, l, w
Let u = -1 - 1. Let k be -4 + 28 - (-5 + 2). Suppose 5*b = -4*b - k. Put 5, 0, b, u in descending order.
5, 0, u, b
Let h(j) = -j**3 + 78*j**2 + 83*j - 314. Let k be h(79). Sort -2, -17, -9, k in decreasing order.
k, -2, -9, -17
Let w = -2049 - -14344/7. Put 7/2, -3, w, 1/3, -0.2 in increasing order.
-3, -0.2, w, 1/3, 7/2
Suppose 3*w = -0*w + 6. Suppose -18*f + 37 + 53 = 0. Let i be 312/(-60) + 6/(-21)*7/(-10). Sort w, f, i in descending order.
f, w, i
Let t = -0.015 + -13.185. Let n = t - -17.2. Sort n, -1/4, -2/3.
-2/3, -1/4, n
Suppose -5*a = -5*k + 35, 2*a + 61 = 3*k + 44. Let c(w) = 3*w**2 - w + 1. Suppose 3*p - 10 = 8*p. Let f be c(p). Sort f, a, -3 in ascending order.
a, -3, f
Suppose 0 = -y - 2 - 2. Let j be (10 - 0) + (-5 - y) + 1. Let u be 5/(-2)*((-12)/j - -2). Sort -2/3, 0.4, u.
u, -2/3, 0.4
Suppose 3*s - 3*k + 27 = 0, 2*k - 3 - 3 = 0. Let u be (s/(-12))/((-1)/10). Let d = 219 - 6349/29. Sort d, u, 2/11 in increasing order.
u, d, 2/11
Let o = 0.21 - 0.08. Let i = o + -23.13. Let a = -10157/6 - -1693. Sort -0.5, i, a, -5 in ascending order.
i, -5, -0.5, a
Let n(y) = -y**3 + 6*y**2 + 20*y - 14. Let r be n(8). Suppose 4*c + r*c - 66 = 0. Put -1, -2, c in ascending order.
-2, -1, c
Let l = -289 + 168. Let c = 123 + l. Suppose -c*u - u = 153. Sort u, 5, 0 in decreasing order.
5, 0, u
Let b = -69 + 65. Let j = -193 + 116. Sort 5, b, j.
j, b, 5
Let l be ((-158)/4)/((-1)/2). Let y = 49382 + -49384. Sort l, y, -4, 4 in descending order.
l, 4, y, -4
Let p = 3900 - 3912. Sort -2, p, -1, -3/2 in decreasing order.
-1, -3/2, -2, p
Let b(r) = -77*r**2 + 989*r + 16. Let p be b(13). Sort 2, p, 0.1, 0.2, -2 in descending order.
2, 0.2, 0.1, -2, p
Let n = -1400.86 - -1400.9. Sort 0, n, 3, -3, 2/7.
-3, 0, n, 2/7, 3
Let u = -280.8 + -2113.2. Sort u, -1, 5/2 in decreasing order.
5/2, -1, u
Let a = -15236/3 + 5079. Sort 6, a, 158 in decreasing order.
158, 6, a
Let x be (-6)/(-2) + -1 + -1. Let t = -1448 - -1447.231. Let z = -0.969 - t. Sort z, 0.1, x, -0.1 in increasing order.
z, -0.1, 0.1, x
Let b = -16 - -10. Let l = b - -17. Suppose -l + 30 = p. Put 1, p, -1, -2 in ascending order.
-2, -1, 1, p
Let w = -89 - -80. Sort 0, 12, w in descending order.
12, 0, w
Let u = -4397/15 - -293. Let l = 4382.25 - 4382. Sort -5, u, l in ascending order.
-5, u, l
Suppose 5*y - 2*p - 6 = 13, y - 2*p - 7 = 0. Let t be (-70)/14*(-1)/5. Let z = 8 - 6. Put t, y, z in ascending order.
t, z, y
Let r(l) = -2*l**2 + 60*l - 2. Let w be r(30). Sort -3, w, 506 in ascending order.
-3, w, 506
Let t = 1796 - 2026.6. Let c = 178 + t. Let w = c + 53. Sort 0.6, w, -0.2 in ascending order.
-0.2, w, 0.6
Suppose 0 = v - 4. Suppose 0 = -3*x - 4*s - 3845, -5289 + 1454 = 3*x + 2*s. Let c be x/357 + 3/14*-2. Sort 3, c, v in decreasing order.
v, 3, c
Let i = -0.01 - -3.01. Let t = -408 + 408. Let g = i + t. Sort -0.5, g, -2/5.
-0.5, -2/5, g
Let s(t) = -t**3 - 2*t**2 - 8*t + 2. Let n be s(0). Sort 43, 5, n, -2, 4.
-2, n, 4, 5, 43
Let i = 55 + 325. Let h = 379.7 - i. Put -1/7, -0.03, h in descending order.
-0.03, -1/7, h
Suppose 0 = 11*x - 50 + 149. Let d be -4*4/72 + 25/x. Put 1, d, 15, 4 in descending order.
15, 4, 1, d
Suppose -3*c + 1 - 3 = 1. Let z = -979/9 + 109. Sort -4, z, 2/19, c in ascending order.
-4, c, 2/19, z
Suppose -4*r - 73*r = 47*r + 75*r. Sort -2/5, r, -0.01, 2.
-2/5, -0.01, r, 2
Let s = -36 - -32. Let b = -144.1 + 158. Let a = 14 - b. Sort 3, a, s in descending order.
3, a, s
Let w = -1.18 + 0.916. Let k = w + -0.136. Let o be (-21)/45 - 4/(-6). Sort k, o, -18 in descending order.
o, k, -18
Let m(k) = 709*k - 2111. Let w be m(3). Put -1, w, 0, -8, 2 in decreasing order.
w, 2, 0, -1, -8
Let k be (-2)/26 - 2398/(-1430). Sort k, -5, -0.1, 5 in decreasing order.
5, k, -0.1, -5
Let s(r) = -2*r - 2. Let y be s(-4). Let v(o) = -13*o**2 - 490*o + 151. Let l be v(-38). Sort y, 13, l.
l, y, 13
Suppose 6*m = -1 + 49. Sort 16, -4, m in increasing order.
-4, m, 16
Let s = -1/8 - 13/24. Suppose -170602 = -14*g - 170532. Sort -8/9, s, g in descending order.
g, s, -8/9
Let y be ((-4)/3)/(4/(-18)). Suppose 2*x - 5*n = 13, 0*x + 5*n = -3*x - 18. Let o be 5 + (x - -13)/(-4). Sort y, -5, 1, o.
-5, 1, o, y
Let c = 94 + -91. Suppose c*x - 5 = b - 16, 14 = -2*x + 4*b. Let n be ((-1)/((-9)/(-12)))/(14/(-21)). Sort n, -19, x, -5 in decreasing order.
n, x, -5, -19
Suppose 3*c = -4 + 16. Suppose 0 = c*y - 18 - 6. Suppose 4*w + 1 = 3*z - 2, 0 = 5*z - 3*w + y. Sort 2, -7, z in descending order.
2, z, -7
Let a = -0.42 - -4.42. Let k = 4.4 - a. Let m = -191/14 - -99/7. Sort m, k, -5, -0.1.
-5, -0.1, k, m
Suppose -z = -5*z. Suppose -4*t = t + l + 15, z = l - 5. Let c be (-22)/99 - 20/(-9). Put t, -1, c in descending order.
c, -1, t
Suppose -4*j - 188 = -4*q, 41*q - 219 = 36*q + j. Sort q, -5, 3, 4 in ascending order.
-5, 3, 4, q
Let u be (-1)/6 - -2 - (-2)/12. Suppose -1 = l + u*w, 2*l - l = -5*w - 13. Sort l, 0, 1, -2 in descending order.
l, 1, 0, -2
Let l = -79.029 - 8.971. Let w = 95.066 + -0.066. Let m = w + l. Sort -1/3, m, 1 in descending order.
m, 1, -1/3
Let q = -0.09 + -0.01. Suppose 42 - 126 = -14*b. Let s be 2/b*((-42)/(-9) - 5). Put q, -1, s in decreasing order.
q, s, -1
Let b = -297 + 607. Let a = b - 315. Let k = 3.2 + 0.8. Put k, -3, a in descending order.
k, -3, a
Suppose 7*q = -6*q - 13. Let y be q + ((-5)/(-1) - -1). Suppose -g - 8 = o - 5*o, 48 = y*g + 2*o. Put 4, 5, g in increasing order.
4, 5, g
Let x(y) = -y**2 - 54*y - 697. Let c be x(-21). Sort -3, 31, 2, -1, c.
c, -3, -1, 2, 31
Let q = -166 - -176. Suppose -4*c - l = 47 - q, -c - 16 = -2*l. Sort 2, 0, 5, c in ascending order.
c, 0, 2, 5
Let u = -67.93 + 67.43. Put -0.3, 2/161, u, 5 in ascending order.
u, -0.3, 2/161, 5
Let u = -14450 + 14428. Sort -0.1, 2/13, u, 1/85 in descending order.
2/13, 1/85, -0.1, u
Let o = -46 - -32. Let s = o - -18. Suppose 5 = -0*b - 5*b. Sort 0, s, b in descending order.
s, 0, b
Let b = 932 - 980. Put 0, 6, 3, b, -2 in decreasing order.
6, 3, 0, -2, b
Let m = -12105/56 + 1514/7. Let s = 0.35 + 0.15. Sort -2/481, s, m in ascending order.
-2/481, m, s
Let o be (-10)/15 - (-333)/270. Let j = o - 331/690. Sort j, 0.5, -2.
-2, j, 0.5
Suppose -3*v + 4*n = 5 - 30, 5*v = 4*n + 31. Let u(a) = a**3 + 11*a**2 - 17*a - 265. Let b be u(-10). Sort v, -7, b.
-7, v, b
Suppose 3*t + 13 = 28. Let x = -7 - -11. Suppose -2*v + 3*v - 5 = -y, x*v = -2*y + 18. Put y, 2, t in descending order.
t, 2, y
Let n = -123 + 136.2. Let q = 13 - n. Let a = 67 + -337/5. Put 3, a, q in decreasing order.
3, q, a
Let n(x) = 2*x**3 + 19*x**2 + 9*x + 18. Let l be n(-9). Suppose -10*h + l*h = -40. Put 1, 2, h, -14 in descending order.
2, 1, h, -14
Let z = -1.5 - 41.5. Let w = z - -42.95. Put 1/4, 1, w in descending order.
1, 1/4, w
Let c = 1821 - 1831. Sort -2, c, -1, 0.02 in ascending order.
c, -2, -1, 0.02
Let h be -7*(-10)/315 + 32/18. Let n(d) = d**3 - 4*d**2 - 33*d + 13. Let j be n(8). Sort 3, j, -4, h in descending order.
j, 3, h, -4
Let c(j) = -j**3 + 14*j**2 + 76*j - 79. Let n be c(18). Sort -4, -5/2, -5, n, 0.7 in descending order.
0.7, -5/2, -4, -5, n
Let v be 448 + ((-576)/(-256))/(3/16). Sort 2, 0, v in decreasing order.
v, 2, 0
Let n be (-3 - (-16)/6)*3. Suppose 3*j - 6 = -o, 4*j = -o + 5*o + 40. Let u = o - -11. Sort -0.04, u, 4, n in decreasing order.
u, 4, -0.04, n
Let m(o) = 59*o - 1299. Let c be m(22). Put c, 10, 22, -4 in descending order.
22, 10, c, -4
Let k = 294 + -290. Supp