-23*a + 20*a. Suppose 2*t + a = -2*z, -4*t + 0*t - 11 = -3*z. Sort -4, -3, -6, z in decreasing order.
z, -3, -4, -6
Suppose 156*x - 159*x + 7 + 2 = 0. Put x, -199, 5 in ascending order.
-199, x, 5
Let u = 107.8 - 157.8. Put u, 3, 0.1, 0, 1 in decreasing order.
3, 1, 0.1, 0, u
Let a = 9599 - 9598.87. Sort -4, a, -33, 3 in descending order.
3, a, -4, -33
Let n be (2/2 - 3)/5. Let s be 147 + 68/85*10/(-4). Let g = -1013/7 + s. Put -2, n, g, -2/17 in ascending order.
-2, n, -2/17, g
Let d = -6 + 2. Let m = 15394 - 15396. Sort 0.3, 4, m, d.
d, m, 0.3, 4
Let m be 0*(10/70)/(-1). Let n = 0.2 + 0. Let x = n - 0. Sort m, x, -3.
-3, m, x
Suppose 3*c + 263 + 25 = 0. Let h = -133 - c. Sort h, 2, -3 in decreasing order.
2, -3, h
Suppose -9 - 15 = -6*l. Suppose -3*p + i = 10 - 7, l = -4*p + 4*i. Sort -2, p, 5, 1 in increasing order.
-2, p, 1, 5
Let q = 0.29 + -0.37. Let v = -0.05 - 3.25. Let n = -3 - v. Sort n, 2, q in decreasing order.
2, n, q
Let w = -21729 - -21724. Sort -1, -0.3, 2/9, w, -707 in increasing order.
-707, w, -1, -0.3, 2/9
Suppose 3*v = v - 2. Suppose -2*z - 54*o + 59*o - 10 = 0, -2*z = o + 10. Sort z, 3, v, 8 in descending order.
8, 3, v, z
Suppose 330 = 16*x - 49*x. Let o be -2 - ((-5)/(x/(-9)) + 5). Let b = 0.02 - -2.98. Put 0.5, o, b, -2/23 in ascending order.
o, -2/23, 0.5, b
Let v(g) = -30*g + 2 + 3 + 31*g - 2. Let t be v(11). Let i be (t/3 - 4)*(5 - -1). Put i, 0.5, -1 in decreasing order.
i, 0.5, -1
Let p = 6.521 - 6.421. Sort p, -2/9, -0.6, -9, -1.
-9, -1, -0.6, -2/9, p
Let q be -3 - (9 - 15 - -4). Let x be (-2)/(-6)*36/48. Put q, x, 43 in descending order.
43, x, q
Let d be (-3)/5*((-365)/(-15) - 26). Sort -81, -1, d in ascending order.
-81, -1, d
Let d = 48 - 45. Let f be (-12)/(-4) - (d + -4). Suppose 33 = s - f*s. Sort -4, -3, s.
s, -4, -3
Let l be (6/2)/((-333)/185)*18/105. Suppose 1 = -f + 6. Let m = 0 + -0.1. Put l, f, m in descending order.
f, m, l
Let k = 226 - 231. Let h be -15 - -9 - (-3 + -7). Sort 11, -12, h, k in decreasing order.
11, h, k, -12
Let k(y) = -828*y + 6651. Let b be k(8). Sort 0, -3, b, -4 in decreasing order.
b, 0, -3, -4
Suppose 3*m - d - d - 6 = 0, m + d + 3 = 0. Let l be m/((1 - 0)/(5/20)). Suppose 3*f + 2*f + 110 = l. Put 0.1, -1/3, f in increasing order.
f, -1/3, 0.1
Let d(t) = -9*t - 56. Let c be d(-7). Let j = -128.6 - -129. Sort -0.2, 1, j, c in descending order.
c, 1, j, -0.2
Suppose g = -2 + 1. Suppose 0 = -5*v - 35, -68*a - 28 = -70*a + 4*v. Suppose f - 3*m = 2, 9 = 4*f - 5*m - 6. Put g, a, f, -4 in descending order.
f, a, g, -4
Let y be (0/2)/(-16) + 3. Sort y, 27, -4, -1, 5.
-4, -1, y, 5, 27
Let k be 4 - -3*(32/3)/(-8). Suppose k = -35*u - 43 + 8. Put 1, u, 7 in ascending order.
u, 1, 7
Let v = -135.8 + 138. Let h = v - -1.8. Let i = 0.4 + 1.6. Put 0.4, h, i in increasing order.
0.4, i, h
Suppose -2*d - z + 8 = -9, 0 = d - 2*z - 6. Let u be (-6)/d - (-693)/(-308). Suppose 1 + 11 = 4*c. Put -1, 0, u, c in ascending order.
u, -1, 0, c
Let h = 25 - 20. Suppose -2*l + 3 = -r - 11, 5*l = 5*r + 35. Sort -3, 2, l, h in ascending order.
-3, 2, h, l
Let u be 4/6 - 2/24*14. Let y = 1.576 + 0.224. Sort 3, -0.1, u, y in decreasing order.
3, y, -0.1, u
Let q = 25542 + -25539. Sort -5, q, 345, 0.3 in increasing order.
-5, 0.3, q, 345
Suppose -g = 28*n - 0 - 7, 21 = 3*g. Let t(q) = q**2 - 9*q + 5. Let h be t(8). Put h, n, -1 in descending order.
n, -1, h
Suppose 0*p + 4*p = 3*b + 4, b + 2 = p. Let s be ((-25)/(-10))/5*60. Sort s, 2, p, 5 in ascending order.
p, 2, 5, s
Let o be 0/((1/15)/((-28)/(-420))). Put o, 4, -142 in descending order.
4, o, -142
Suppose -176*f - 116 = -118*f. Put 3, 285, 4, f, -5 in descending order.
285, 4, 3, f, -5
Let h = -0.5429 - -0.4429. Put h, 21/20, 5, 3/2 in increasing order.
h, 21/20, 3/2, 5
Suppose 0 = 2000*y - 1994*y - 12. Sort -7, 1, -98, y.
-98, -7, 1, y
Let l be (-196)/(-44)*1 + (-450)/(-99) + -4. Put 379, l, 1 in ascending order.
1, l, 379
Let t(z) = -6*z**2 + 160*z + 339. Let o be t(-2). Let k = -51 - -14. Sort k, -4, 2, o in increasing order.
k, o, -4, 2
Let o(q) = 71*q - 46. Let d be o(3). Suppose -3 - d = -5*v. Sort -4, -3, v in decreasing order.
v, -3, -4
Let x = -18.54 + 1.94. Let a = x + 17.1. Let c = -10 + 5. Put -2, c, a, -0.3 in decreasing order.
a, -0.3, -2, c
Let w(z) = 15*z**3 + 4*z**2 - 2*z - 1. Let c be w(2). Let m be (-12)/(-8) + -1 - (-1285)/10. Let j = c - m. Sort -3, -0.5, j, 0.1 in decreasing order.
j, 0.1, -0.5, -3
Let w = 5.7 - 8.7. Let b = -1.8 - -31.8. Let n = -30.2 + b. Put 3, 4, w, n in descending order.
4, 3, n, w
Let w = -104 + 110.2. Let o = w + -9.2. Sort o, 1, -2.
o, -2, 1
Suppose -73 = -82*c - 73. Let l be ((-4)/(-10))/((-3)/15). Sort 2, -5, l, c in decreasing order.
2, c, l, -5
Suppose 7*q = 4 + 17. Suppose 4 = -4*m - 2*l, l = -q*m + 2*l - 8. Sort 1, -1, m in increasing order.
m, -1, 1
Let m(n) = -n**2 + 38*n - 290. Let j be m(16). Sort 1, j, 3, -4, -5 in increasing order.
-5, -4, 1, 3, j
Let u be 5755/10359*3/2. Sort 4, -54/7, u.
-54/7, u, 4
Suppose 3*l = -13*f + 9*f + 24, 0 = -2*f - 2*l + 14. Sort 5, -5, f, -14, 0 in ascending order.
-14, -5, 0, f, 5
Let k = -15988 - -15990. Let m = 8 + -5. Let t(p) = -p**2 + 2*p. Let a be t(m). Put 3, a, k in descending order.
3, k, a
Let a be (12/(-76))/((-3)/4). Suppose 221*o - 223*o - r + 14 = 0, 5*r - 30 = 0. Sort 0.1, o, a in increasing order.
0.1, a, o
Suppose -4*z + 18 - 2 = 0, 0 = -2*o + z - 10. Let s(r) be the first derivative of r**4/4 + 10*r**3/3 - r**2/2 - 15*r + 2. Let q be s(-10). Sort q, -4, o.
q, -4, o
Let x = -0.382 - -3.682. Let z = -9 - -9.3. Let b = x - z. Put b, -0.2, -3/5 in descending order.
b, -0.2, -3/5
Suppose -3*j = y - 6, 0 = -3*y + j + 10 + 8. Let s(g) = 3*g - 9. Let w be s(y). Let b be 1*9 + (-36)/w. Sort b, 4, -5, -2 in descending order.
b, 4, -2, -5
Suppose 0*u - 3*u = 0. Suppose 165*v - 14756 = -105*v - 164*v. Put u, v, 4 in descending order.
v, 4, u
Let s = -14390 + 14359. Sort s, 0, 4, 5, 8.
s, 0, 4, 5, 8
Suppose 0*k + k = 0. Let v be 2*(-6)/4 - (1 - -2). Put k, 2, v in ascending order.
v, k, 2
Let i(y) be the third derivative of y**5/15 - y**3/2 + 2*y**2 - 48*y. Let m be i(0). Put 0, m, 48 in descending order.
48, 0, m
Let x(r) = -2*r**3 - 18*r**2 - 18*r - 11. Let v be x(-8). Suppose -y - v*m + 6 = 1, -2*m + 10 = 2*y. Put -0.3, 231, y in ascending order.
-0.3, y, 231
Let v = 151.4 - 149.4. Put 0.6, -1/2, v in descending order.
v, 0.6, -1/2
Let h = -164 - -163.9. Let j = -58.3 - -58.1. Sort 2.6, 0.2, h, j in ascending order.
j, h, 0.2, 2.6
Let a = -0.0266 + -0.2734. Put a, 3, 1/2, -3/7 in ascending order.
-3/7, a, 1/2, 3
Let i(g) = -g**3 - 6*g**2 - 8*g - 2. Let b be i(-4). Let r = 14 - 10. Sort r, b, -4, -5 in increasing order.
-5, -4, b, r
Let d(j) = -j**3 - 12*j**2 - 2*j. Let x be d(-12). Let z be (-14)/3 - 1/3. Suppose -3*p + 17 = -5*a, p = -80*a + 75*a - 1. Sort z, x, p.
z, p, x
Let t = -9.845 - -14.845. Let a(r) = -16*r - 9. Let n(g) = 3*g + 2. Let u(w) = 2*a(w) + 11*n(w). Let v be u(-6). Put -0.1, 0.4, t, v in increasing order.
v, -0.1, 0.4, t
Let b(w) = -3*w**3 - w**2 + 1. Let y be b(1). Let z(f) = -f**2 + 47*f + 261. Let g be z(-5). Suppose 4*u + d - 5 = -1, -2*d - 16 = -4*u. Sort y, u, g, 5.
y, g, u, 5
Let g(b) = b**2 + b - 9. Let l be g(0). Let h(s) = -s**3 - 29*s**2 + 118*s + 699. Let c be h(-32). Sort l, c, -2, -4 in descending order.
-2, -4, c, l
Let x = 1053 - 1051. Sort x, -5, 1, -4, -30 in increasing order.
-30, -5, -4, 1, x
Let r = -22581 - -22593. Suppose -u + 1 = -6. Suppose 3*o = 4*s + u, -8*s + r*s = -2*o + 18. Sort -4, s, 5.
-4, s, 5
Let m = -2879.1294 + 2879. Put m, 2, 4 in ascending order.
m, 2, 4
Let w = 14777 - 14777.5. Let v = -0.07 - 0.14. Sort w, -2/7, 2/5, v in increasing order.
w, -2/7, v, 2/5
Let s = 2935 - 17611/6. Sort -13, -4, s, -20/9, -2.
-13, -4, -20/9, -2, s
Let j(s) = 2*s**3 - 48*s**2 + s - 18. Let w be j(24). Suppose p + 2*p - w = x, 0 = -4*x - 2*p + 32. Sort -4, -1, x.
-4, -1, x
Suppose 201 = -6*h + 3*h. Let v = h + 72. Let b be (3 - -8)*-1 - 0. Sort v, b, 2.
b, 2, v
Let o = -3576 + 3576. Let t = 17 - 39. Sort -6, o, t, -4.
t, -6, -4, o
Let b(w) = -w**2 - 4*w + 7. Let g be b(-6). Suppose -3*n - 11 = 2*o, 2*o - 3 = 4*n - 7. Let a be (-136)/(-32) - (1 + 2 - n). Sort a, g, 0.1.
g, 0.1, a
Let w be (-1110)/(-102) - 8 - (-56)/