
Let j(v) = -v**2 - 14. Let p be j(0). Suppose 19*a = 23*a + 44. Let i = p - a. Sort i, 1, 0.
i, 0, 1
Suppose -4*z - 53 = 7. Let t = 21 + z. Sort 3, t, 1 in ascending order.
1, 3, t
Let c be ((-4)/(-4) - 3) + 3. Suppose -3*j - 2 = -2*y + c, 1 = -2*j + y. Sort 0, 2, j, 5 in descending order.
5, 2, j, 0
Let y = 45 - -6. Let l = y + -52. Suppose j = 2*j + x, 3*j = -4*x. Put l, j, 0.3 in descending order.
0.3, j, l
Let i = 742 + -723. Sort i, 0.2, -14.
-14, 0.2, i
Let s = -131/548 - 3/274. Sort s, 2/139, 3.
s, 2/139, 3
Let k be (-350)/400 + 1/1. Sort 0.4, -2/141, -2/7, k.
-2/7, -2/141, k, 0.4
Suppose 0 = 13*w + 284 + 67. Sort w, 4, 2 in increasing order.
w, 2, 4
Let y = 0.31 - -0.09. Let z = -674 - -674. Sort -4, y, z.
-4, z, y
Suppose 0 = m - 2*f - 7, -2*m + 22 = 2*m - 2*f. Let x = -1/39 + -71/273. Put 0.5, x, m in descending order.
m, 0.5, x
Let j be 1/((-3)/(-33)) - (1 + 0). Sort j, 2, 5 in descending order.
j, 5, 2
Suppose 0 = -5*b - 16 + 1. Let t be 11/(-33) - 28/6. Suppose 3 = -r, 3*r - r + 3 = -s. Put t, b, s in decreasing order.
s, b, t
Suppose -j = -4*x + 3, -5*j + 10 = 4*x - 23. Put -3, 33, x in descending order.
33, x, -3
Let d = -79.6 + 74.6. Let p = -1.8 + 2. Sort p, d, -2, -1 in decreasing order.
p, -1, -2, d
Let c = 5.445 + -0.445. Put -18, -0.01, -0.4, c in ascending order.
-18, -0.4, -0.01, c
Let d = -1271.6 - -1272. Let g = -0.8 + 0.5. Sort 3/7, d, g, 1/8.
g, 1/8, d, 3/7
Let l be (-4)/(-24)*-3*-2. Suppose -k + 3*h = k - 4, k - 2*h - l = 0. Let f(r) = r + 11. Let o be f(-9). Put o, -2, k in decreasing order.
k, o, -2
Let w = 1249 + -1256. Put w, -2, 4, -3 in decreasing order.
4, -2, -3, w
Let y = -11/49 - 3/49. Let z = -19/48 + -79/528. Put 0.3, y, z in decreasing order.
0.3, y, z
Suppose z + 13 = -5*q - 11, 0 = 4*q + 5*z + 15. Sort 0, -1, q, -6.
-6, q, -1, 0
Let a = -1/36 - -11/72. Let z = -0.04 + -0.36. Let t be (-6)/2 + 144 + -140. Put z, a, t in increasing order.
z, a, t
Let o be (768/5120)/((-12)/10). Sort -0.2, 4, o, -1.
-1, -0.2, o, 4
Let m(o) = o**3 + 2*o**2 - 3*o - 4. Let w be m(-2). Suppose 0 = 4*g - 5*b - 5, g = w*g + 4*b - 17. Put 4, g, -2 in increasing order.
-2, 4, g
Suppose 52*j - 220 = 8*j. Let i = -1/7 + -5/14. Sort j, i, 2 in decreasing order.
j, 2, i
Let r(z) = -2*z**2 - z**2 - 4 + z**3 - 3*z**2 + 4*z. Let x be r(5). Let j(b) = b**2 + 9*b + 5. Let t be j(x). Put t, -5, -1 in descending order.
t, -1, -5
Suppose 19*h = -54 - 22. Put -5, h, 5 in descending order.
5, h, -5
Let a = -36 - -16. Let w = a + 25. Suppose -3*s - 2*s = -10. Put s, 4, w in increasing order.
s, 4, w
Suppose -20*b + 23 = -257. Put 0, -4, b, -3 in increasing order.
-4, -3, 0, b
Let o(r) = r**3 + 17*r**2 - 4*r - 32. Let p be o(-17). Suppose 4*t = 32 - p. Sort -1/4, 2.6, t, 0.1 in increasing order.
t, -1/4, 0.1, 2.6
Let z(p) = p**2 + 3*p - 6. Let i be z(-5). Suppose -2*d + 4*d + u = i, u = -2. Let f(j) = -j - 5. Let m be f(-4). Put d, m, 0.3 in descending order.
d, 0.3, m
Let n(k) = -k**3 - 3*k**2 + 2. Suppose -7*g - 22 = -1. Let a be n(g). Suppose h = 6*h + 3*f + 4, -h - a*f + 2 = 0. Put h, -3, -5 in increasing order.
-5, -3, h
Let f = -0.0496 + -0.9504. Sort -4, f, 2/3, 1/6.
-4, f, 1/6, 2/3
Suppose 3*y + f - 25 = 0, 7*y - 4*f = 2*y + 53. Let u be 4*(y/6 + -2). Let x be 6 + 6/12*-10. Sort x, u, -1 in increasing order.
u, -1, x
Let i(w) = -w**3 - 21*w**2 + 22*w + 5. Let j be i(-22). Suppose -3*k + 2 + 3 = 4*z, z - 3*k - j = 0. Sort z, 3, 0 in decreasing order.
3, z, 0
Suppose b + 6 - 14 = 0. Suppose 4*d = -20 + b. Put 3, -2, 2, d in descending order.
3, 2, -2, d
Suppose -93*q = -107*q + 70. Sort -35, q, 2 in descending order.
q, 2, -35
Suppose 0 = -60*q + 12 + 48. Suppose 2*p + 5*m = 33, -6*m = -3*p - 2*m + 15. Sort p, q, 4 in descending order.
p, 4, q
Suppose 4*w + 3 = -3*n, 5*n = 6*w - 3*w - 34. Sort -4, 4, n, -2 in increasing order.
n, -4, -2, 4
Let i = 391 - 388. Sort 0.3, -1/6, i, 2 in increasing order.
-1/6, 0.3, 2, i
Suppose 76*m = -31 - 121. Sort -1, 1, m, -69.
-69, m, -1, 1
Let g be 5/(100/35)*(-3 - -7). Sort -2, g, -4, 6.
-4, -2, 6, g
Let t = -24 - -10. Let z = t + 17. Let s = 2 + z. Sort -0.12, s, -2/9 in increasing order.
-2/9, -0.12, s
Let v be 4/(-14) - (-6)/21. Sort -72, v, 1/4, 0.4 in descending order.
0.4, 1/4, v, -72
Let l = -0.12 + 0.13. Let f = -569.99 + 567. Let b = f - l. Sort b, -0.1, 0.5 in decreasing order.
0.5, -0.1, b
Let m(k) = k + 8. Let v be m(-6). Suppose 4*c - 4*x = 16, -2*c - v*x = -7 - 5. Put c, -2, 8 in increasing order.
-2, c, 8
Let p = -40 + 33. Let x be ((-8)/(-112))/(1/4). Put 1/6, p, -4/3, x in descending order.
x, 1/6, -4/3, p
Let w be -2 - (-1 + 3)/1. Let p = w + 2. Let x(z) = -z**3 + 10*z**2 - 21*z - 5. Let b be x(7). Put 2, b, p in decreasing order.
2, p, b
Let k(b) = -b**3 - 7*b**2 + 228*b - 1. Let t be k(-19). Sort -63, -2, t.
-63, -2, t
Let p = 1123301945379/6325 - 177597146. Let f = p + 2/275. Let r = -211/345 - f. Put -3/7, r, -3 in decreasing order.
r, -3/7, -3
Suppose 3*j - 17*j = -154. Sort 5, j, -1, -3 in ascending order.
-3, -1, 5, j
Let u = 43 - 1631/38. Let s = 25/76 - u. Sort -4, s, 4/5, 8.
-4, s, 4/5, 8
Let i = -0.633 - -0.59. Let j = 0.143 + i. Put j, -2/13, 7 in increasing order.
-2/13, j, 7
Let q be 4/14 + (-12)/(-7). Let g(u) = -2*u**2 + 0*u**2 + 5*u**q - u - 2*u - u**3. Let i be g(2). Sort -3, 2, i in increasing order.
-3, i, 2
Let r(v) = v**3 - 10*v**2 - 7*v + 20. Let n be r(11). Put n, -3/8, 1 in decreasing order.
n, 1, -3/8
Suppose s - 6*s = -3*n + 6, -5*n = -4*s - 10. Let i = 13/6 - 23/12. Put n, i, 3/4, -10 in decreasing order.
n, 3/4, i, -10
Let r be (-2)/(-3) - (-1133)/(-309). Let l(y) = -y**3 + 5*y**2 + y - 6. Let f be l(5). Put f, r, 3 in ascending order.
r, f, 3
Let t = 0 + 2. Suppose -2*p - 1 = -p. Let x(d) = -d**3 + 28*d**2 + 60*d - 4. Let k be x(30). Sort k, t, p.
k, p, t
Let v be (36/(4 + 0))/(3/2). Sort -54, 2, v in increasing order.
-54, 2, v
Suppose 0 = -k - 0*u + 3*u + 23, 5*k - 102 = 2*u. Let a be ((-105)/k)/(6/16). Sort 0, 1, a in decreasing order.
1, 0, a
Let s = -0.052 - 3.948. Let m = s + 4.2. Sort 0.3, m, -3, 3/4.
-3, m, 0.3, 3/4
Let f = 177.1 - 177.8. Put 42, 5, f in decreasing order.
42, 5, f
Suppose -4*x + 30 = -l + 9, 3*x = -2*l - 9. Let h(z) = 3 + 1 + 7*z**2 - 4*z - 8*z**2. Let j be h(-4). Sort 3, l, j in ascending order.
l, 3, j
Suppose -16*u = -12*u - 72. Let h be 2/9 + (-2 - (-104)/u). Put -6, -3, h, 0.2 in descending order.
h, 0.2, -3, -6
Suppose -47*k - 52*k - 198 = 0. Let l be 88/9 + 4/18. Suppose -3*h - 5*d + l = 0, h - 20 = -5*d - 0*d. Put k, h, 2 in ascending order.
h, k, 2
Let h be (-8)/68 - 539/476. Put 0.37, h, -3, 6/5 in decreasing order.
6/5, 0.37, h, -3
Let l be (1/5)/(284/355). Let u be 4/9*6/4. Let o = 0.037 - -10.963. Sort l, u, o.
l, u, o
Let p = 31 + -62. Let z be 1*0/(8 - 14). Sort -2, p, z, -5 in decreasing order.
z, -2, -5, p
Let l be 2/3*(-141)/(-2). Let w be l/9 - 4/18. Let h = -22 - -25. Put h, w, 0 in ascending order.
0, h, w
Let q = 16 - 10. Let v = -4992 + 4992.3. Put 2, 4/3, q, v in increasing order.
v, 4/3, 2, q
Let l(s) = -13 + 2 - s + 3. Let q be l(-11). Suppose 2*i - 3*i + j + 3 = 0, 2*i - 3*j - 4 = 0. Put i, -4, q in descending order.
i, q, -4
Let q = -1/27 + 10/27. Let u = 127 - 126.5. Sort u, -0.1, q.
-0.1, q, u
Let t = 0.09495 + -0.09495. Let k = 0.08 - 4.08. Put k, t, 5, 3 in descending order.
5, 3, t, k
Let c(t) = t**3 + 8*t**2 + 8*t + 13. Let u be c(-7). Let x be (-56)/12 - (-4)/u. Sort -2, -3, x in descending order.
-2, -3, x
Let z = 47 + -97. Let m = -50 - z. Sort m, 1, -1 in ascending order.
-1, m, 1
Suppose 4*h + 120 = 7*h. Suppose -16*f - h = -8*f. Sort 4, 1, 0, f in ascending order.
f, 0, 1, 4
Let o be (-2 - -1)*(1 + 2). Let m be (-2)/9*-3*27*(-20)/(-360). Sort o, m, -5 in increasing order.
-5, o, m
Let b be 12*384/(-144)*(-2)/8. Suppose -t = 2*t + 6. Put b, 0, t in decreasing order.
b, 0, t
Let r be (-2)/1 - (-10)/4. Let l be 7/((-14)/(-104))*(4 + 0). Let a = l - 1037/5. Sort a, 2, r.
r, a, 2
Let b be (-42)/8 + 1/4. Let r be (-4 - -6)/(8/20). Sort r, b, 0 in decreasing order.
r, 0, b
Let f = -29 + 32. Suppose -2*v = 0, -2*c - f*v = 2*v + 36. Let g = -16 - c. Put 0.4, -1/5, g in increasing order.
-1/5, 0.4, g
Let b be 2/6 + ((-18375)/45)/7. Sort b, 3, -3/7, 0.4.
b, -3/7, 0.4, 3
Let z(f) = f**3 - 4*f**2 - 