 15
Suppose -2*v - 12 = -q, -v = -2*q + 30 - 9. Suppose q*z + 571 = 501. Let b be (2/(-28))/((-1)/(-2)). Put b, 3, z in descending order.
3, b, z
Suppose 0 = -50*p + 39*p + 1210. Suppose 88 = -18*l - p. Let m = 2 - 2. Sort l, m, -1, 3.
l, -1, m, 3
Let x = -2155 - -2150. Sort -1, 135, x, 1 in increasing order.
x, -1, 1, 135
Let h = -31503 + 31497. Put -48, h, -4, 8 in decreasing order.
8, -4, h, -48
Let m = -39 + 43. Let p be (96/1176)/(m/14). Sort 2, 39, p in descending order.
39, 2, p
Let c = 288 - 289. Sort c, 2, -19, 0.2 in increasing order.
-19, c, 0.2, 2
Suppose 0 = -4*h - 2*p + 4, 1277*h = 1274*h - 4*p - 2. Sort -2, h, 655, -1 in descending order.
655, h, -1, -2
Let y = -2884 + 1554. Let h be 380/y - ((-17)/(-14) - 0). Let i = -8 - -4. Sort h, i, -5, 5 in descending order.
5, h, i, -5
Let o be 32/((-56)/(-7)) - (-6 + 8 + 5). Sort 2, -66, o in descending order.
2, o, -66
Let v = -94.09 - -2.09. Let r = v - -91.7. Sort 0.04, 0.2, 2/3, r in ascending order.
r, 0.04, 0.2, 2/3
Let m = 118 + -117.8. Let q = -3 + 3. Let g = q - m. Sort g, 1/3, -5/3 in descending order.
1/3, g, -5/3
Let r = 3.47 - 32.07. Let v = r + 29. Put 1/11, -3/5, v, -6 in decreasing order.
v, 1/11, -3/5, -6
Let w(v) = -2*v**2 + 87*v + 423. Let j be w(48). Sort -0.25, -4, j in decreasing order.
-0.25, -4, j
Let j = 757664 + -757663. Let g = 3.4 + -3. Put -1/15, 5, g, j in ascending order.
-1/15, g, j, 5
Suppose 2*n + 0*k + 2*k = -6, -4*n + k = -3. Suppose -13*t + 126 = 8*t. Suppose n = -2*b - 0 + t. Sort 2, b, 5, -4 in increasing order.
-4, 2, b, 5
Let v(f) = -f**2 - 9*f - 11. Let u be v(-3). Let b be (-18)/36*(-1 + 3/1). Put b, -5, u in decreasing order.
u, b, -5
Suppose -2*i - 144 = -6*i. Let m = -152 - -154. Suppose -14*x - i = -m*x. Sort -4, -7, x, 5 in descending order.
5, x, -4, -7
Let b = -311.53 - -306. Let d = 5.33 + b. Put -90, d, 0, -2/5 in decreasing order.
0, d, -2/5, -90
Let u(h) = -h**2 + 153*h - 744. Let k be u(5). Put -2, -13, -16, -5, k in descending order.
-2, k, -5, -13, -16
Let y = -15.8 - -13.8. Put -1/6, 1/2, y, 6/17 in descending order.
1/2, 6/17, -1/6, y
Let k = 313 - 315. Put -3, 2, -4, -9, k in ascending order.
-9, -4, -3, k, 2
Let w = 0.2 + 0.8. Let p = -60 + 59.46. Let s = p - -0.44. Sort s, -2/5, 0.3, w in decreasing order.
w, 0.3, s, -2/5
Suppose 134*x + 4213 + 1756 = 207. Sort 0, -14, x, -3 in increasing order.
x, -14, -3, 0
Suppose 5*i + 5*z + 95 = 0, 0*i = -3*i + 5*z - 89. Let w = i - -12. Let a(o) = o**2 + 5*o + 4. Let x be a(-3). Sort w, x, 5.
w, x, 5
Let m be (((-15)/(-120))/((-3)/6))/((-16)/64). Suppose 4 = -2*t - 0, 2*t = 2*z + 6. Sort 20, m, z in ascending order.
z, m, 20
Let h = 4763 - 4767. Sort -6, 143, h in descending order.
143, h, -6
Suppose -t = -2 - 0. Let q(r) = -6 + 33*r**2 + 14*r - 5*r - 32*r**2. Let o be q(-9). Sort o, t, 1 in ascending order.
o, 1, t
Let m(f) = -68*f - 403. Let u be m(-6). Let o be 25/(-6) - 1/(-6). Sort 4, u, o.
o, 4, u
Suppose 0 - 5 = m. Let t = 2.2 + 1.8. Let y be (4/(-30)*2)/((-176)/110). Put m, y, t in decreasing order.
t, y, m
Let v be (-66)/(-8) - (-4)/(-16). Let m be (-5)/(-4)*v/(-6). Let g = 6574/341 - 592/31. Sort g, m, -3, -0.3 in decreasing order.
g, -0.3, m, -3
Let j = -149 - -82. Let v = j + 86. Suppose 0 = r - 4, -v = -4*n - 2*r + 25. Put -1, -4, n in decreasing order.
n, -1, -4
Let n be (10/(-15))/((-1)/(9 - 3)). Suppose -n*b + 16 = -4. Let q = 469 - 473. Put b, -3, 19, q in ascending order.
q, -3, b, 19
Let r be 5 - ((-1)/((-14)/40) + 31/217). Sort 18, 0, r, 46, -5 in descending order.
46, 18, r, 0, -5
Suppose -27*n + 5*p + 42 = -25*n, -7*n + 4*p = -66. Put n, -5, -38, 4 in decreasing order.
n, 4, -5, -38
Let d be (-508)/(-4) - -3 - 1. Let w be (8 + (-119)/14)*0*-1. Put w, d, 1 in ascending order.
w, 1, d
Let v = 234 + -230. Suppose -g + 5*f = -5*g + 5, -4*g = 2*f + 10. Let m be (g + 2)*(-2)/33. Put 6, m, v in increasing order.
m, v, 6
Suppose f = 5*f - 4, 3*t - 5*f - 4 = 0. Suppose -2*z = 4*o - 0*o - 104, -5*z = -4*o - 246. Let h = z - 51. Sort t, h, 0, 4 in descending order.
4, t, 0, h
Suppose -36 = 72*l + 37*l - 145. Sort l, 41, 3, -1, 0.2 in decreasing order.
41, 3, l, 0.2, -1
Let q be (-6*6/60)/(15/(-75)). Put -1, -5, q, 20, -4 in descending order.
20, q, -1, -4, -5
Let d = -369 - -274. Let s = d + 90. Sort 2, s, 1 in descending order.
2, 1, s
Let r = 110.97 + -111.07. Sort r, -0.2, -2/9, 4, 1.4 in decreasing order.
4, 1.4, r, -0.2, -2/9
Suppose -2*q - 5*p - 34 = -11, 5*q - 20 = 3*p. Let u = -7 - -9. Suppose b - 11 = -u*b + 2*a, -b - 2*a + 9 = 0. Sort 24, b, q.
q, b, 24
Let u be (-8 + -26)/102*12. Let o(p) = 8*p**2 + 3*p + 3. Let r be o(-2). Put -1, u, r, 0 in descending order.
r, 0, -1, u
Suppose -g + 4*g = -12. Suppose 0 = 42*w - 236 + 320. Sort 6, w, g in decreasing order.
6, w, g
Let m = 6.225 + -2.225. Let h(c) = 2*c**3 - 8*c**2 + 3. Let l be h(4). Sort l, -2, -3/8, m.
-2, -3/8, l, m
Suppose -27 = 21*s + 78. Let v be (20/2)/(6/9). Let p = v - 12. Put s, 0, p in descending order.
p, 0, s
Let x be 2 + 0/(-1)*(-5 + 6). Suppose 6*r = -133 + 343. Suppose 6*a - 34 = -4*t + 4*a, 4*a = -5*t + r. Sort 0, x, t in increasing order.
0, x, t
Suppose 7*l + 62*l - 10*l = 0. Let h be 2*(-3 - -4) - 29. Put l, h, 5 in ascending order.
h, l, 5
Suppose -5*g - 11 = 14. Let c = 2.038 + -1.638. Sort -2, g, 4, c in descending order.
4, c, -2, g
Let z be 6/(-18)*1*-36. Let j be (-280)/(-28)*(2 + z/(-5)). Sort j, 1, -5, 7 in increasing order.
-5, j, 1, 7
Suppose -4*r - 16 = -4*y, 0 = 5*y - 8*r + 50 - 73. Sort -1, -160, 1, y.
-160, -1, 1, y
Let g = -1042 + 1038. Sort -1/2, -3/19, g, 0, -73 in decreasing order.
0, -3/19, -1/2, g, -73
Let g(n) = -2*n**2 - 81*n - 105. Let i(p) = -41*p - 53. Let h(w) = 2*g(w) - 5*i(w). Let y be h(12). Put 1, 4, -3, y in decreasing order.
4, 1, -3, y
Let n = -54 + 189. Suppose 58 = -2*r - 2*h, 5*r + 0*h + n = 5*h. Put 4, 0, -5, r in descending order.
4, 0, -5, r
Suppose -2*r - 204*v + 200*v - 24 = 0, 33 = -4*r - 5*v. Put r, -1/7, -1/4 in decreasing order.
-1/7, -1/4, r
Let b(d) = -10*d + 143. Let h be b(14). Put -5, -511, h in descending order.
h, -5, -511
Let i = 1.2393 - -0.4607. Sort i, 8, 1/20, 2 in descending order.
8, 2, i, 1/20
Suppose t = -k - 171, 40*t + 2*k = 35*t - 861. Let l = t - -162. Sort -4, 2, -1, l in decreasing order.
2, -1, -4, l
Suppose -r = 3*r + 388. Let w = 97 + r. Suppose -s + 10 + 13 = w. Sort 4, 3, s in ascending order.
3, 4, s
Let n = 2.773 - 2.573. Let r = -23.3 - -25. Let p = -2.1 + r. Put 0.3, p, n in decreasing order.
0.3, n, p
Let a = -21 - -30. Suppose 5*b - a = 1. Let w(c) = 3*c**2 + 76*c - 130. Let s be w(-27). Sort s, b, -4 in decreasing order.
s, b, -4
Let q = -3129.1 - -3129. Let k = -88 + 266/3. Let a be (-10)/45 + 34/(-90). Put q, a, k in decreasing order.
k, q, a
Let r be (-9 - 219/(-24))*4*14. Sort r, -2/17, 0.1 in decreasing order.
r, 0.1, -2/17
Suppose 9631 = -28*w - 5965. Sort -2, -3, w in increasing order.
w, -3, -2
Suppose -14*u + 267 = -3527. Let b = -273 + u. Put 3, b, -18, -1 in decreasing order.
3, -1, b, -18
Suppose 4*y + u = -5, 3*u - 14 - 1 = 3*y. Put -100, 2, y in descending order.
2, y, -100
Let d be (12*(-8)/(-432))/(2/342). Suppose -4*b - 5 = -3*b. Sort 5, b, 0, d.
b, 0, 5, d
Suppose 189 - 206 = 17*w. Let u = 0.1 - 0.1. Sort 3, u, w, -2/13 in descending order.
3, u, -2/13, w
Suppose 3*l + 23 = -13. Let j(f) = f**2 + 64*f - 420. Let k be j(-70). Put l, 3/5, k in decreasing order.
3/5, k, l
Let q = 4.5162 + -4.7162. Let c = 3 + 1. Put c, 5, q in ascending order.
q, c, 5
Let q = 0.02475 + 0.03525. Sort -2, 3, q.
-2, q, 3
Let j = 14999 - 14998. Sort j, -57, 1/3, 2, -2 in decreasing order.
2, j, 1/3, -2, -57
Let w = -4367 + 4369. Sort 3, w, 364 in decreasing order.
364, 3, w
Suppose -3*i = -2*p + 22, 0*p + 5*p = 25. Suppose -54*z - 337 = 2*z + 11*z - 538. Sort 39, i, z.
i, z, 39
Let r(j) = -58*j + 60. Let s be r(3). Let u = 129 + s. Suppose 30 = -2*v - 4*d + 12, -v + 3*d + 1 = 0. Sort v, 3, -3, u in increasing order.
v, -3, 3, u
Suppose -2*r + 9 = -3*y, 0 = y - 6*r + 5*r + 2. Let s(f) = f**3 + 46*f**2 + 240*f + 9. Let q be s(-40). Sort q, -4, 5, y in decreasing order.
q, 5, -4, y
Let r(h) = -h**3 + 132*h**2 + 21*h - 2776. Let g be r(132). Put 1121, -2, g in decreasing order.
1121, -2, g
Suppose -544 = -6*f + 74*f. Put 