k, h, 13, 5 in decreasing order.
13, 5, k, h
Let r(a) = -a**3 + 5*a**2 - 32*a + 113. Let q be r(4). Sort 3, 96, q, 4.
q, 3, 4, 96
Suppose 3*u - 57 = -3*f, 76 = 4*u - 0*u - 4*f. Let l(d) = -d**3 - 11*d**2 + 62*d + 27. Let k be l(-15). Sort u, k, -2 in ascending order.
k, -2, u
Let u be -9*(-36)/243 + 124/(-12) + 3. Put 29/3, 0.03, -4, u in increasing order.
u, -4, 0.03, 29/3
Let w = 0 - -4. Suppose 0 = 4*m - w*k, 0 = -3*m - 0*k + 2*k + 1. Let y(u) = -u + 10. Let q be y(10). Put q, 6, m, 3 in increasing order.
q, m, 3, 6
Suppose -4*x + 5*t = -85, x - 9 - 22 = -2*t. Suppose 7*o = x*o + 108. Sort 1, o, 5.
o, 1, 5
Let s = -5 - -5.7. Let f = -859/42 + 142/7. Put f, -5, s in ascending order.
-5, f, s
Suppose -5*a - z - 183 + 153 = 0, 0 = -5*a - 2*z - 35. Put 2, 8, a in ascending order.
a, 2, 8
Let u = -1878 + 1672. Put 0, u, -4 in ascending order.
u, -4, 0
Suppose 2*s + 1 - 27 = -4*l, s - l + 2 = 0. Let r(o) = 4*o**3 + o. Let v be r(1). Suppose 0 = -3*c + v*h + 23, 3 + 9 = -3*h. Put c, 0, s in decreasing order.
s, c, 0
Let l = 2 + -1.7. Let t = -11470 - -11468. Sort l, -5/2, 4, t in decreasing order.
4, l, t, -5/2
Let j be 238/(-102)*2/7. Put 5, 6.3, j, -2/15 in decreasing order.
6.3, 5, -2/15, j
Let l be ((-9)/(-1))/((-1)/6*6). Let a be ((-12)/l)/(-1)*(-6)/(-4). Sort -12, -1, 2, a in ascending order.
-12, a, -1, 2
Let q be 5 + 23/((-46)/(-168)). Sort 7, -1, q, 0 in descending order.
q, 7, 0, -1
Let w(g) = g**2 - g + 13. Let x = -89 + 89. Let c be w(x). Suppose 16*q + 83 = -c. Put -4, 4, q in descending order.
4, -4, q
Let r(b) = -2*b**3 - 8*b**2 + 209*b - 119. Let t be r(8). Suppose 3*c + 2*v = 6, 3*c + 0*v = v - 3. Sort c, 3, t, -5 in decreasing order.
t, 3, c, -5
Let y = 763 - 770. Let l = -2 + -3. Let k = -22 - -20. Put k, l, y, 5 in ascending order.
y, l, k, 5
Let w(f) = 62*f - 1235. Let x be w(20). Put -3, 0, x, 3, 362 in ascending order.
-3, 0, 3, x, 362
Let z = -0.03 - -0.02. Let i = 327/43 + -1067/129. Sort z, i, -9 in ascending order.
-9, i, z
Let o be 16/(-19 + -157) + 1/((-22)/2572). Sort 11, 2, o, 5.
o, 2, 5, 11
Let c = 7443.8 - 7445. Sort c, 21/11, -2/7, -5/2.
-5/2, c, -2/7, 21/11
Let n = -0.0424 - 0.0576. Suppose -4*x = -1 - 3. Sort 1/5, x, 3/29, n in descending order.
x, 1/5, 3/29, n
Let a = -2795 - -2790. Sort 2, -2/3, 7.5, -2/9, a in ascending order.
a, -2/3, -2/9, 2, 7.5
Let y be (-928)/16*(-44)/638. Put y, 0, 1, -62 in increasing order.
-62, 0, 1, y
Let z = -25013 - -25009. Sort -170, 5, z.
-170, z, 5
Let i = -106 + 109. Suppose i*c - 6 = k, 2*c + 2 = 5*k + 3*c. Let f(p) = -p**2 - 3*p + 2. Let j be f(-2). Sort -4, j, k in descending order.
j, k, -4
Let k = 4.7 + -5. Let j be ((-10)/(-15))/((-26)/481) - -13. Put 0, 1, j, k in decreasing order.
1, j, 0, k
Suppose 0 = 7*y - 1 + 190. Let g be ((-4)/(-18))/(24/y). Sort 0.5, 3/7, g, 4.
g, 3/7, 0.5, 4
Let m = -3193 + 2872. Sort m, 0, 2.
m, 0, 2
Let x = 2 - 2.1. Let a(i) = -20*i - 5. Let t be (1 - 4) + -1 + -8 + 12. Let l be a(t). Put 0, 3, x, l in descending order.
3, 0, x, l
Let h(n) = -3*n**2 + 2*n - 1. Let u be h(1). Let v be 7 + 1 - 1 - 1. Suppose -3*c = 5*q - 2*q, -4*c = 2*q + v. Sort -10, q, u, -4 in descending order.
q, u, -4, -10
Let f = 11 + -25.2. Let c = -14.4 - f. Put -5, -2/9, 2/19, c in decreasing order.
2/19, c, -2/9, -5
Let k be (2 - 1/3)*-54. Let i = 94 + k. Sort -2, -23, i in descending order.
i, -2, -23
Let l = 5254/11 - 78788/165. Put 2, 1/3, l, 15 in descending order.
15, 2, 1/3, l
Suppose 3*l + 3*k + 127 = 67, 2*l - 2*k + 60 = 0. Sort l, -13, 3 in descending order.
3, -13, l
Let l(w) = -w**2 + 12*w - 20. Let o be l(10). Suppose -35 = -2*t - c - 32, t + c - 1 = o. Let z = 0 + -2. Sort 16, t, z in increasing order.
z, t, 16
Let y = 12 - 90. Let i = 1517 + -1596. Let p = i - y. Sort -4, p, -5, 2/11.
-5, -4, p, 2/11
Let d = -4157694973/2839037 - 2/2839037. Let m = d - -1464. Let o = m + -1/38. Put -2/9, 4/9, o in decreasing order.
4/9, -2/9, o
Let g be 2 + ((-22)/(-12))/(-1). Let i be 126/(210/(-10)) + (-4)/(-1). Sort 2/11, i, g, 0.01.
i, 0.01, g, 2/11
Let i be -2*(-33)/4 + 43/86. Suppose 0 = 3*j, -4*u - 8 = i*j - 13*j. Sort 1, -8, u, 4 in ascending order.
-8, u, 1, 4
Let c(x) = -516*x - 3578. Let n be c(-7). Sort n, 7, -3, -1, 2 in descending order.
n, 7, 2, -1, -3
Let r(p) = -p**2 - 7*p + 6. Let x be r(-6). Suppose 15*h - x*h = -24. Let s be (-5)/((-20)/h) - -6. Sort 0, s, -3, -4 in descending order.
s, 0, -3, -4
Let r = -226 - -225. Suppose 4 = -7*g + 6*g. Sort -3/2, r, g in increasing order.
g, -3/2, r
Suppose -j - 3*d = -30, -4*j + 3*d + 30 = -3*j. Suppose 5*h + 5*u - j = 15, 0 = 5*u - 15. Put -2, 11, h, 4 in increasing order.
-2, 4, h, 11
Let j = -216 + 216.84. Let i = j + 0.16. Let g be 5 + 0*1/2. Sort 3/8, i, g, -0.5 in descending order.
g, i, 3/8, -0.5
Suppose -2*z = -2 + 6, 0 = 5*n - 5*z - 40. Suppose -n*u = -0*u - 42. Suppose u*p + 8 = 3*p. Sort p, 3, 0, 4 in descending order.
4, 3, 0, p
Let o be (3 + (-12 - -1))/(-1). Suppose -1356 + 1111 = -9*d - 40*d. Sort -33, o, d.
-33, d, o
Let h be 10 - (-28)/(-7) - (11 + -4). Let x = -18.5 + 18. Sort h, x, -16 in increasing order.
-16, h, x
Let s be (0/1)/(1 - (-8)/(-4)). Suppose s = 35*p - 31*p - 140. Let b = -35 + p. Put -4, -3, 2, b in decreasing order.
2, b, -3, -4
Let y(r) = 25*r + 475. Let f be y(-19). Suppose -u - 3*j + 15 = 0, 4*j - 1 = 5*u - 0*u. Suppose -c + 4*p = 4 - 0, 5*p - 10 = 0. Put f, u, c in decreasing order.
c, u, f
Let b(k) be the second derivative of k**4/12 - k**3/2 + k**2 + 59*k. Let n be b(3). Put n, -1, 1 in increasing order.
-1, 1, n
Let j = -2473.3 - -2473. Sort 3.04, 2, j, -4.
-4, j, 2, 3.04
Suppose 5*s = 949 + 476. Let l = -289 + s. Put 30, 2, l in ascending order.
l, 2, 30
Let k be (87/(-522))/(6/(-176)) + (2 - 7). Let t = -5.2 + 5. Put k, t, 2/9, -8 in decreasing order.
2/9, k, t, -8
Let h = 1.265 - -111.935. Let r = -113 + h. Let j = -1259/9555 + -1/637. Sort 9, j, r, -0.2 in descending order.
9, r, j, -0.2
Let i be ((-3)/(-2))/((-21)/(-28)). Suppose -b - 4*b + i*o = 30, 3*b + 17 = o. Let n be 8/(-1)*2/(-4). Sort n, -3, 5, b in descending order.
5, n, -3, b
Let n(d) = 2*d**3 + 97*d**2 - 55*d - 143. Let h be n(-49). Put 3, -5, -2, h in ascending order.
-5, -2, 3, h
Let p = -12116 - -72695/6. Put p, 2/11, 9, -4 in increasing order.
-4, p, 2/11, 9
Let t = 3.2 - 4.13. Let y = 0.63 + t. Let l be 6/(-5)*2/(-6). Put y, 4, l in increasing order.
y, l, 4
Let m = 18 + -6. Let p be ((-6)/(-27))/(8/m). Let z = 0.019 - 6.019. Sort p, -4, z, -5.
z, -5, -4, p
Let v = 0.4475 + -0.0475. Sort -1.4, v, 2/11, -4 in increasing order.
-4, -1.4, 2/11, v
Let u = -0.8661 - 258.1339. Sort u, -0.11, -4.
u, -4, -0.11
Let a = -227.4 + 227. Let v = -3.975 + -0.025. Sort v, 2/9, a in increasing order.
v, a, 2/9
Let b be (-105)/11 - (-8)/2 - (-162)/297. Suppose 106 = -5*g - 4*u, -u = u - 2. Put b, g, 2/15 in ascending order.
g, b, 2/15
Let q be -2 + (-8)/6*-3. Suppose -v = 3*p - 12 - 0, 0 = 3*p - 12. Suppose -2*i - 5 + v = -5*b, -3 = -3*b + 3*i. Sort -2, b, 3, q in descending order.
3, q, b, -2
Let m = 5384 + -5383.6. Let h = 253/2 + -126. Put 5, h, m in descending order.
5, h, m
Let k be ((-304)/(-76))/((-3)/(3/(-2))). Let n be (-13)/(-39) + (-58)/3. Sort k, n, -4 in increasing order.
n, -4, k
Let l be ((6/5)/((-16)/40))/(-1). Sort -3, -216.3, l.
-216.3, -3, l
Suppose 25 = 5*t, -3*w + 111*t = 110*t + 17. Sort 7, 0.4, w, 15 in increasing order.
w, 0.4, 7, 15
Let x be (-4)/(-4) + -6 + -39 + 39. Let f(q) = q**2 + 1. Let c be f(0). Let i = c + -4. Sort x, i, 4, -1 in descending order.
4, -1, i, x
Let v = 95.908 + -96. Let f = -0.508 - -0.1. Let i = v + f. Put i, -2/9, 0.09 in decreasing order.
0.09, -2/9, i
Let g be 4/18 - 25/(-9). Suppose -7*f + g + 4 = 0. Let b = 31.5 - 31. Sort b, -39, f in decreasing order.
f, b, -39
Suppose -2*f + 3 = 27*o - 32*o, -3*f + 14 = 2*o. Sort f, -5, -1, -2, 3 in decreasing order.
f, 3, -1, -2, -5
Suppose -2*y = -0*y + 6. Let a = 164 - 162.7. Let w = a - 2.3. Sort w, 6/5, y.
y, w, 6/5
Let r be (-4)/(-9) - (-27545)/(-315). Let x = r + 84. Let y be 1/(-4) + 30/(-8). Put 24, y, 5, x in ascending order.
y, x, 5, 24
Let f = -9 - -4. Suppose 2*w - x + 5*x - 12 = 0, -4*w - 3*x + 49 = 0. Suppose 31*n - w*n + 60 = 0. Sort f, 2, 0, n.
f, n, 0, 2
Let m(j) = j**2 + 6*j + 3. Suppose b + s = 3, 1 + 