(10/15). Let o = -323/35 + m. Sort 4, n, o in decreasing order.
4, o, n
Suppose -5*o - 5 = 10. Let y = 0.2 - -3.5. Let j = 3.6 - y. Put j, 0.3, o in descending order.
0.3, j, o
Let d = -0.04 + 0.16. Let j = d + -0.21. Let x = j - -0.59. Put -3, x, -0.5 in descending order.
x, -0.5, -3
Let a(l) = -l**2 - 11*l + 150. Let x be a(-19). Suppose -3*k - 49 = 2*g, 4*k - g = -30 - 28. Put x, 2, k in ascending order.
k, x, 2
Let u = -0.43 - 50.57. Let x = 36 + u. Let d = x - -14.8. Sort -1, 0.3, d in descending order.
0.3, d, -1
Let b = -342 + 349. Sort -4, -2, 4, b in ascending order.
-4, -2, 4, b
Let i(h) = 6*h**2 - 41*h + 59. Let y be i(5). Let a(z) = z**3 + z**2 - z + 5. Let o be a(0). Sort y, 6, 1, o in decreasing order.
6, o, y, 1
Let m(j) = j**3 - 5*j**2 + 10*j - 4. Let y be m(2). Sort 0, y, 0.5, 0.63 in decreasing order.
y, 0.63, 0.5, 0
Let p = -1008 + 7053/7. Sort 0.4, 57, p in descending order.
57, 0.4, p
Let c = -13.6 + 14.38. Put 0.4, 0.5, c, -0.5 in increasing order.
-0.5, 0.4, 0.5, c
Let m be -6 + 120/21 + 38/(-14). Suppose 0 = 3*p + 2*p - 0*p. Suppose -o = 2*o - 9, 2*o - 4 = g. Put p, m, g in ascending order.
m, p, g
Let c(h) = h**2 + 8*h. Suppose -k + 5*k = -16. Let i be c(k). Let j = 18 + i. Put j, 5, -4 in ascending order.
-4, j, 5
Let b = 66 + -65.8. Let x = -5702/19 + 300. Let m = -0.1 + 0.1. Sort b, m, x.
x, m, b
Let n = -17 - -14. Put 0.03, n, 3 in decreasing order.
3, 0.03, n
Suppose -5*k = -4*k - 0*k - 2. Let m = -0.2 + 0.3. Sort k, -2, -0.2, m in ascending order.
-2, -0.2, m, k
Let w = -1.11 - -1.01. Let g = 5 + -4.7. Let r = w - g. Put 0.4, -0.5, r in descending order.
0.4, r, -0.5
Suppose 14*x - 1352 = -344. Suppose 0 = 77*l - x*l - 80. Sort -1, -4, l, 0 in descending order.
l, 0, -1, -4
Let q = -2.3 + 6.3. Let s = 22 + -21. Let d = 4 + -3.6. Put d, s, q in increasing order.
d, s, q
Let f(a) = a**2 - 7*a + 6. Let d be f(6). Put 16, -4, d in descending order.
16, d, -4
Let u = 11.3 + -11.372. Let i = u + 0.072. Sort i, 4, 2/11, 5 in ascending order.
i, 2/11, 4, 5
Suppose 12*q + 320 = 16*q. Suppose -q*k + 79*k = -1. Sort -1, k, -4 in ascending order.
-4, -1, k
Let c = 363 + -364.4. Put c, 4, 0 in descending order.
4, 0, c
Let q = -0.32 + -0.2. Let l = q + 0.92. Let f = -0.42 - -0.02. Put l, f, 5 in ascending order.
f, l, 5
Let z be (-4)/(-6)*405/18. Let n be (8/(-3))/((-10)/z). Suppose 3*m - 2*l + 1 = -8, -15 = 5*m - 2*l. Sort m, n, 2 in descending order.
n, 2, m
Let l be 12/21 - (-1 + (-102)/42). Suppose 4*x - 2*x = -24. Let y be ((-6)/(-4))/(9/x). Sort y, l, -1.
y, -1, l
Suppose 0 = d - 4*d - 15. Let v be -2 + 4 + 0 + d. Let y(m) = 3*m**2 - 46*m + 16. Let j be y(15). Sort v, 0, j in descending order.
j, 0, v
Suppose 2*k + 0*k = -o - 15, 36 = -2*o - k. Let s = o - -18. Suppose h + 8*h = -27. Put 4, h, s in ascending order.
h, s, 4
Let c be (6/(-9))/(5/3). Let s = 0.0574 - 0.0474. Put 1, s, c in decreasing order.
1, s, c
Let l be (6/1 + 0)/(-6 + 8). Sort l, -5, -2, -4 in increasing order.
-5, -4, -2, l
Suppose 16*i = 17*i - 3. Let m be i - 1 - (-14 - -23). Sort 4, m, 1.
m, 1, 4
Suppose 25 = -5*y - 5. Let z = y - -8. Suppose 4*g - 3 = -4*r + 5, -3*g - 5*r = 0. Sort z, -7, g in decreasing order.
g, z, -7
Let m(a) = -a - 7. Let t = -10 - -14. Let y(q) = -2*q - 15. Let h(r) = t*y(r) - 7*m(r). Let c be h(-11). Sort 1, c, -3 in decreasing order.
1, c, -3
Let w be (-1)/(-2) - 38/60. Let i = 28 - 28. Put -0.3, w, i in ascending order.
-0.3, w, i
Let t = 0.0392 - -0.9608. Sort -4/3, -1.79, t.
-1.79, -4/3, t
Suppose 0 = 4*j + h - 9 + 92, -4*h - 59 = 3*j. Let b be 0 + (-4)/6 - j/(-9). Let g be 1/4 - (-1)/(-4). Sort 5, g, b in descending order.
5, g, b
Let g = 1.994 + -37.994. Sort g, 0.4, 0.1, 1/4 in descending order.
0.4, 1/4, 0.1, g
Let x = 85 - 87.04. Let h = x + 0.04. Let t = 4.4 + -4.4. Sort 1/4, h, t.
h, t, 1/4
Let u = 820 + -820.4. Sort -24, u, 1, 1/4.
-24, u, 1/4, 1
Suppose 307 + 444 = -400*n - 449. Let l be (-4)/(-10) - 46/(-10). Let v be (-3)/(-6) - l/2. Put n, -4, v in decreasing order.
v, n, -4
Let n be 6/9 - 176/246. Let i be (-7190)/(-3895) + 10/(-5). Let a = n - i. Put a, 1/4, 5 in increasing order.
a, 1/4, 5
Let y be (-8)/(1 - 3)*1. Let m = 1 - 4. Sort m, -1, 2, y in descending order.
y, 2, -1, m
Let g = 124.7 + -125. Let m = 15 - 10. Suppose 4*p - m*o - 10 = -4*o, -4*o = 4*p. Put -3/5, g, p in increasing order.
-3/5, g, p
Let o = -2464 + 2465. Put -70, -5, o, 6 in increasing order.
-70, -5, o, 6
Let p = 313 + -310. Sort 0, 335, p in decreasing order.
335, p, 0
Let a(l) be the second derivative of -l**2 - 1/6*l**3 + l + 0. Let c be a(-4). Put c, -2, -4 in ascending order.
-4, -2, c
Let x = 108 - 108.1. Sort 0, -1, 4, x.
-1, x, 0, 4
Let w be -1*((-8)/2 - 0). Suppose -6 = j + f, 0 = 2*j - f - 9 + 18. Sort w, j, -3.
j, -3, w
Let c(g) = g**2 + 2*g - 7. Let k be c(-5). Let s(t) = -2*t**3 - t**2 - 2*t - 4. Let v be s(-2). Suppose -a + k = v. Sort -0.4, a, -5 in ascending order.
-5, a, -0.4
Suppose -1692*d = -1693*d + 7. Put -2/9, 0.1, -1, d in decreasing order.
d, 0.1, -2/9, -1
Let x = -1700 + 1696. Sort x, -1.4, -1/11 in decreasing order.
-1/11, -1.4, x
Let o(k) = 3*k**2 - 8*k + 34. Let w be o(-10). Sort w, -2, -1 in decreasing order.
w, -1, -2
Let y = 57 - 87. Let a = y + 29.9. Put -5, 1/4, a in increasing order.
-5, a, 1/4
Let d = -12.9891 - 0.0109. Sort 4, -1/3, -2, d.
d, -2, -1/3, 4
Suppose -2 + 7 = o. Let w be o*-3 - 6/(-2). Let n = -11 - w. Sort -2, n, -1 in ascending order.
-2, -1, n
Let o = 129 + -105. Let l be o/(-60)*(-10)/(-16). Put l, -6, -4 in descending order.
l, -4, -6
Suppose 30 - 26 = s. Put s, -7, 1 in increasing order.
-7, 1, s
Let h = -236 + 229. Sort 2/21, 1, h in descending order.
1, 2/21, h
Let j = 11 - 6. Let q = 41 + -44. Let r be (1/3)/((-1)/3). Sort j, r, q in decreasing order.
j, r, q
Suppose -5*x - 5 = 5*w, -x = -0*w - w - 9. Suppose 0*i = i + 2. Let j = 5 + i. Sort w, j, -2 in decreasing order.
j, -2, w
Let y be 40/80*(1 - 5). Put 0, y, -14, 4 in descending order.
4, 0, y, -14
Let r = 584 - 582. Put 3, -1, r in ascending order.
-1, r, 3
Let z be (-6)/(-3 + (-27)/(-12)). Suppose 0 = 4*d + 4*g - z, 4*g - 11 = -2*d + 3. Let q(p) = -p - 4. Let v be q(d). Sort v, 3, -2.
-2, v, 3
Let j = 0.043 - 1.843. Sort -4, -1, j in increasing order.
-4, j, -1
Let s = -7.3 - -7.5. Let d = 10 + -7. Sort d, 0.5, s in increasing order.
s, 0.5, d
Let g be ((-20)/80)/(10/4). Sort -0.4, 2, 1, g in increasing order.
-0.4, g, 1, 2
Let r(h) = -8*h - 214. Let o be r(-27). Put 4, -6, -1, o in decreasing order.
4, o, -1, -6
Let s = -696 + 692. Sort s, 0.3, 35, -1.
s, -1, 0.3, 35
Suppose 2 = -3*h + s - 3*s, h - 6 = -4*s. Suppose -v + 32 = 4*r + 2*v, 48 = 4*r - v. Sort r, h, 5 in increasing order.
h, 5, r
Let g(k) = -3*k + 8*k + 62 - 55. Let s be g(-2). Sort -12, s, 2 in descending order.
2, s, -12
Suppose -6*a + 32 = 2. Let v(g) = g**3 + 6*g**2 - 5*g + 9. Let b be v(-7). Sort 3, 4, a, b.
b, 3, 4, a
Let d = -7 - -2. Suppose 4*r - 31 = -7. Suppose -21*c = 9*c - 90. Sort d, r, c in descending order.
r, c, d
Let m be (-4 - (0 - 2)) + 4. Suppose 5*j - j = -5*h - 23, -3*h = 5*j + 19. Let v = m + h. Sort 4, -4, v.
-4, v, 4
Let y = 15 - 10. Suppose -y*f + 12 = -7*f. Let q = -2 - f. Sort -0.3, q, -1/3.
-1/3, -0.3, q
Let y be -2 + (-6 - -10 - 2). Sort -3, y, -58 in descending order.
y, -3, -58
Suppose -2 = -4*k + 30. Let z(w) = -2*w + 98. Let a be z(51). Sort a, k, 0.
a, 0, k
Let v = 7 + -12. Let d be (v + -1)*(-6)/(-9). Let u = -5 + 4.8. Sort d, u, 0.
d, u, 0
Suppose -3*z = 4*y + 71, -2*z = z + 15. Sort -3, 0, y, 2 in increasing order.
y, -3, 0, 2
Let x be (12/(-48))/(2/(-8)). Sort 71, 3, x.
x, 3, 71
Suppose 68 = 3*z + z. Let i = -18 + z. Let u be i - 12/(-9)*3. Sort 2, 4, u in ascending order.
2, u, 4
Let j = -28089/8 - -3511. Let n = -3.92 + -0.08. Sort -0.02, j, n.
n, j, -0.02
Let s be 1053/(-3759) - 4/(-14). Let t be 156/(-117) - (3562/(-3222) - 0). Let f = t + s. Sort 2/5, f, 6 in ascending order.
f, 2/5, 6
Let f = -0.175 - -9.475. Let z = f + -6.3. Put -4, z, -5, 1 in descending order.
z, 1, -4, -5
Suppose -7*t + 7 + 7 = 0. Put t, -5, 1, -1 in descending order.
t, 1, -1, -5
Suppose 2*o = 4*s + 4 - 24, 25 = 5*s - 4*o. Sort -5, -4, s.
-5, -4, s
Suppose 4*o = -7*y - 2, -y - 8*o + 18 = -12*o. Suppose -1 - 8 = 3*u, 6 = -3*g - u. Sort