= -12*v. Let q = d - -67. Put q, -1/4, w in increasing order.
-1/4, w, q
Let c = -400 + 399. Let a = -19.16 - -19. Let h = a - -5.16. Sort 0.1, c, h in descending order.
h, 0.1, c
Suppose 5*k = -0*k - 5*b - 15, 2*b = 5*k + 29. Let o be (18/(-4))/(-9)*10/14. Let q = o - 3/28. Sort 3, k, 2, q.
k, q, 2, 3
Let x = -12.403 + 0.443. Let h = x - -12. Put h, -0.4, 5, 2 in decreasing order.
5, 2, h, -0.4
Let g be (-4)/2 - (3 + 12). Let r = 1461 + -1458. Sort r, g, 2, -2 in descending order.
r, 2, -2, g
Let b = 14.073 - 17.073. Sort 5, 9, 12, b in descending order.
12, 9, 5, b
Let z = -1468 + 1469. Put -2, z, 6, -8 in decreasing order.
6, z, -2, -8
Let r = 29218/5 - 5844. Sort r, -3004, -1.
-3004, -1, r
Let z(m) = -8*m - 37. Let x(q) = -q**2 + 10*q + 52. Let a be x(14). Let n be z(a). Sort 4, 1, n, -2 in ascending order.
n, -2, 1, 4
Let f = 197.5 + -450. Let s = 252 + f. Sort s, 23/5, -2/7 in decreasing order.
23/5, -2/7, s
Suppose -28*y - 6 = -3*o - 31*y, -3*o + 2*y = -21. Sort 3, 1, 2, o, -33 in decreasing order.
o, 3, 2, 1, -33
Let f = 16.17 + -16.47. Sort 4, 1/3, f in descending order.
4, 1/3, f
Let x = -353 - -926. Let h = -573.07 + x. Sort 3, 0.3, h in decreasing order.
3, 0.3, h
Let w be ((-72)/7 + 10)*-56. Put -3, 2, -10, w in descending order.
w, 2, -3, -10
Let c = 210 + -212. Let k = -119 - -84. Let s be (-14)/k + 58/(-120). Sort c, s, -6 in descending order.
s, c, -6
Let k = 5.65 + 164.85. Let g = k + -171. Put -2/7, -2/17, g, -7 in ascending order.
-7, g, -2/7, -2/17
Let u = 22 - 19. Suppose -h + 5*h - 56 = 0. Let c be (-1 + h/6)*(-35)/210. Sort u, 0, -0.3, c in ascending order.
-0.3, c, 0, u
Let k be (2 - (-143)/55) + (-8)/(-20). Let z = -9 + 13. Sort -0.09, k, -4, z in descending order.
k, z, -0.09, -4
Let v = -41 - -285/7. Let t be 46/8 + (-3772)/(-368) + -14. Sort v, t, -2/19.
v, -2/19, t
Let d = -140 + 141.59. Let z = 1.89 - d. Put z, 2/7, -2/7 in increasing order.
-2/7, 2/7, z
Suppose 35*p - 1512 + 1267 = 0. Sort 4, p, -1, 92, 5 in ascending order.
-1, 4, 5, p, 92
Let v = 673 - 499. Let y = -173 + v. Put -10/9, -1, y in decreasing order.
y, -1, -10/9
Let l = -7 - -11. Let q = 1154 - 1155.3. Put l, 0.6, q in descending order.
l, 0.6, q
Let z be 966/294 - (-2)/28*-2. Sort 1/2, -33, 1/4, 2, z in decreasing order.
z, 2, 1/2, 1/4, -33
Let r = -23.43 - -3.93. Let d = -19.3 + 0.3. Let g = r - d. Sort g, -15, 2 in decreasing order.
2, g, -15
Let d(f) = f**2 - 8*f + 11. Let y be d(7). Suppose 20*b - y = 21*b. Let q = 0.6 - -2.4. Put b, 0.3, -2/3, q in decreasing order.
q, 0.3, -2/3, b
Let o be 1 + -5 + 80/24. Suppose s - 867 = 4*s. Let u = -3181/11 - s. Sort u, o, 1/3, -5 in descending order.
1/3, u, o, -5
Let t(s) = -s**3 - 6*s**2 + 13*s - 23. Let h be t(-8). Suppose 3*n - h - 4 = -2*x, 0 = -4*n - 5*x + 9. Put -4, 11, n in ascending order.
-4, n, 11
Let v be (2/(-11) - 106/22) + 3. Let r(z) = 3*z + 35. Let b be r(-16). Sort b, -1, v, 0 in descending order.
0, -1, v, b
Let i be 40/8 + -13 - 230/(-30). Sort i, -4, 0.2, 4, -15/4 in increasing order.
-4, -15/4, i, 0.2, 4
Suppose -1408 = -17*a + 836. Let f be 3/((a/16)/11*4). Sort f, -4, -79 in decreasing order.
f, -4, -79
Let g = 1650 - 1647. Put 6, -70, g in decreasing order.
6, g, -70
Let w be 1/(-4) + (-63)/(-56)*-2. Put 7, w, 192 in increasing order.
w, 7, 192
Let d be (-4 - -2)*(-24 - -34). Put 16, -1, -4, d, -3 in decreasing order.
16, -1, -3, -4, d
Let o = -720 + 710.44. Let m = -12.56 - o. Put 0.207, 2/17, m in descending order.
0.207, 2/17, m
Suppose -2*h + 0*h = 0. Suppose 16*j - 45 = 9 + 10. Sort -6, -4, j, h in ascending order.
-6, -4, h, j
Let h be (((-4)/(-6))/(55/66))/((-1)/5). Sort -1, h, 0, 1, 10 in decreasing order.
10, 1, 0, -1, h
Suppose 8*p + 15*p = -23. Let j = 83 - 81. Put -55, -2, p, j in descending order.
j, p, -2, -55
Let g = 38 + -23. Let c(n) = n**2 - n + 14. Let q be c(0). Let w = q - g. Sort -4, -3, w in ascending order.
-4, -3, w
Let m = 18 - -4. Let c = m - 19. Suppose 20*a - 21*a - 1 = 0. Sort a, c, -8 in decreasing order.
c, a, -8
Suppose -3*o = z + 174, 3*o = 78*z - 75*z + 558. Put -5, z, 5, -1 in descending order.
5, -1, -5, z
Let u = -190 + 359. Let f = 173 - u. Sort -4, f, -5.
-5, -4, f
Let b be (((-10)/(-35))/2)/((-10)/70). Sort b, 0, -33, 3, 1 in decreasing order.
3, 1, 0, b, -33
Let x be -3 + (-1)/(-8)*24. Let y(k) = -7*k**2 + 2*k. Let u be y(-2). Sort u, x, 1 in increasing order.
u, x, 1
Let h be -12*(1 + 274/(-20)). Suppose -167*z - 291 = -169*z + 5*x, -3*z = x - 462. Let m = z - h. Put -0.5, 0, m in decreasing order.
m, 0, -0.5
Let i = 0.529 + -5.009. Let y = i + 3.48. Let n be 4/15 + (-4)/6. Sort n, y, -2/7.
y, n, -2/7
Let q = 0.0249 + -0.1659. Suppose 0*v + 8 = 2*v. Put q, -1/5, v in ascending order.
-1/5, q, v
Let y = -9426 + 9421. Put -1, 3, 19, y in descending order.
19, 3, -1, y
Let b(f) = 555*f - 7126. Let z be b(13). Let o be (0 + -1)*1*-3. Put o, z, -0.1 in increasing order.
-0.1, o, z
Let o = -62010 - -62011. Suppose 0*h = -3*h - 6. Sort o, 4, h in descending order.
4, o, h
Suppose 0 = -2*h - 4*w + 1128, w + 1 = -1. Let a = 465 - h. Put 5, -3, a in ascending order.
a, -3, 5
Let k = -52 - -17. Let a = 0.311 - -34.089. Let o = k + a. Put 3, 4, o in increasing order.
o, 3, 4
Let p = 9 + -18. Suppose -490*n + 3155 - 395 = 430*n. Sort n, p, 5, -5 in descending order.
5, n, -5, p
Suppose 0 = -4*w - 0*j + j - 660, 0 = w - 2*j + 165. Let q be (12/w)/(8/20). Let h = 1.04 - 2.04. Sort h, q, -0.6 in ascending order.
h, -0.6, q
Let h = -4922 + 4925. Sort 4, -3, -5, h in decreasing order.
4, h, -3, -5
Suppose 2 = t, 2 = u - 3*t + 3. Suppose -2*y + 2*n = -56, -u*y - 5*n + 106 = -54. Let m = 181/6 - y. Put -0.5, m, 5 in descending order.
5, m, -0.5
Let n(q) = -q**2 + 297*q - 3692. Let a be n(13). Put 27, -3, -10, -1, a in decreasing order.
27, a, -1, -3, -10
Let o be (-67)/(-268) + 3/(-6). Suppose 2*x - 16 = 2*g, 4*g = x + 2*x - 32. Suppose -21 = 4*h + s, -4*s = -4*h - 3*s - 11. Sort g, h, o.
g, h, o
Let f = -12323 - -12328. Sort f, -1915, 0 in decreasing order.
f, 0, -1915
Let c(a) = 2*a**3 + 3*a**2 - 2*a + 190. Let x be c(-7). Sort 3, x, 25 in descending order.
25, 3, x
Let c = 382 + -378. Suppose -5*o = -20, 5*h - 7*h + 16 = c*o. Put 13, h, -4, -1 in ascending order.
-4, -1, h, 13
Let j = -7 + 7.1. Let d = 5504.7 - 5505. Sort 1/5, d, j.
d, j, 1/5
Suppose 24 = -v + 7*v. Let w(f) = -2*f**2 + 21*f + 70. Let o be w(13). Sort o, v, 1, -5 in ascending order.
-5, 1, v, o
Let z be 6/(-6 + 3)*37. Let t = 74 + z. Let r be (1320/(-22))/(-1 + (2 - 3)). Sort t, 4, r.
t, 4, r
Let b = 176 + -1938/11. Put -70, 2, b in decreasing order.
2, b, -70
Let t = 0.2 + 0.3. Let m = -138 - -252. Let b = 111 - m. Sort t, -2, b in decreasing order.
t, -2, b
Let y be (6/(-16))/((-1)/22). Let i = -508745/67092 + -3/5591. Let d = y + i. Put 0.3, d, -1, -4 in decreasing order.
d, 0.3, -1, -4
Suppose -4*u = 5*o + 13, -3*o + 0 = -4*u + 27. Put u, -4, -13, -1, -3 in decreasing order.
u, -1, -3, -4, -13
Let d = -30913 + 30909. Sort d, -14532, 2 in decreasing order.
2, d, -14532
Let t be (-5)/(-15)*(-14 - (-9 + -2)). Sort 539, t, -2, 0, -4 in descending order.
539, 0, t, -2, -4
Let o = -4.312 - -1.712. Put -4, 2/3, o in decreasing order.
2/3, o, -4
Let n = 5 + -11. Let f = 3684.96 - 3685. Put -1, f, n in descending order.
f, -1, n
Let j be ((-10)/((-220)/33))/((-21)/(-7)). Sort 2, j, 0.1, -97.6 in ascending order.
-97.6, 0.1, j, 2
Let k = 1.21 - -7.39. Let m = k - 8.3. Sort m, -20, 0.
-20, 0, m
Let k = -1.23 - -1.03. Let v be (6/(-7))/(10/(-350)*15). Let d = 2.7 - -0.3. Put k, -4, d, v in descending order.
d, v, k, -4
Let s = 2.96 - 68.96. Sort s, 2/7, 4/5, -0.4 in decreasing order.
4/5, 2/7, -0.4, s
Let o(s) = -55*s + 13. Let b be o(-1). Let d = -67 + b. Put d, -1, 4 in decreasing order.
4, d, -1
Let q = 2 - 0. Suppose w + 22*g - 17*g = -98, -w + 3*g = 82. Let k be 198/w + (-1)/(-4). Sort q, k, -6 in descending order.
q, k, -6
Let x = -1600 - -1599.5. Sort -5, -302, -2, x.
-302, -5, -2, x
Suppose -3*d = -4*u - 41, u = 5*d - u - 45. Suppose 4*q = 11*q + d. Suppose -5*z + 0*z = -5*v - 25, 0 = 3*v + 5*z + 7. Sort 5, v, q, 2.
v, q, 2, 5
Let a be (1/7)/((-21)/294). Sort a, 11, 0.2, -72 in increasing order.
-72, a, 0.2, 11
Let i be ((880/(-33))/((-4)/(-18)))/(-1). Suppose -t - i = -7*t. Let o 