 -3. Sort y, j, -1 in descending order.
j, -1, y
Let x(n) = 3*n - 11. Let d(b) = -15*b + 56. Let o(c) = 2*d(c) + 11*x(c). Let p be o(13). Suppose 2*l + p = -4*l. Sort l, -4, 2.
l, -4, 2
Let g = 3482/13 - 268. Put g, -131, 0 in ascending order.
-131, g, 0
Let k = 188/3 - 62. Let x be ((-18)/(-24) + -1)*(5 - 6). Put k, x, 5 in increasing order.
x, k, 5
Let x be (-6)/27 + 25/(-9). Let z be ((-12)/(-10))/((-5)/((-350)/21)). Sort x, z, 5.
x, z, 5
Suppose 2*l - 6 + 4 = 0. Suppose 48 = w - 13*w. Put l, -3, w, 4 in ascending order.
w, -3, l, 4
Suppose -5*z - 224 - 303 = 3*p, 0 = -4*p + 4*z - 756. Sort 0, -5, p in descending order.
0, -5, p
Let d be (-16)/(-10)*30/(-12). Sort d, -0.4, -61 in decreasing order.
-0.4, d, -61
Let n = 62 + -64. Put 36, n, -5, 3 in decreasing order.
36, 3, n, -5
Let a(w) = -5*w + 75. Let h be a(16). Sort -2, -1, 5, h in increasing order.
h, -2, -1, 5
Let i(v) = -v + 18. Let a be i(12). Suppose 0 = -2*w - a + 16. Let x = -7 + 11. Sort x, w, 2.
2, x, w
Suppose i = 6*i + 15. Suppose -5*y = -22 - 3. Suppose -12*q + 3*q + 18 = 0. Put i, q, y in ascending order.
i, q, y
Let q = 201 + -206. Put 0, q, 4 in ascending order.
q, 0, 4
Let y = 9 + -10. Let p = -4 - y. Suppose 3 = -4*x - t, -2*x = 3*x + 4*t - 10. Sort x, 1, p in decreasing order.
1, x, p
Let h(d) = -d**2 - 25*d - 51. Let r be h(-23). Put 26, r, -10 in ascending order.
-10, r, 26
Let o be (2/(-14) + 0)/1. Let b = -296/21 + 2347/168. Sort 5, o, b in decreasing order.
5, b, o
Let w(y) = 4*y - 45. Let d(k) = 5*k - 45. Let r(p) = -5*d(p) + 6*w(p). Let l be r(0). Let a be (-4)/6*l/(-6). Put -1, a, -3 in decreasing order.
-1, -3, a
Let u = 110 + -112. Suppose 17 + 4 = -3*g. Put 0, u, g in ascending order.
g, u, 0
Let b be -4*20/16 - 86/(-18). Sort b, 2, -4, 7/19.
-4, b, 7/19, 2
Let s be 1/(((-120)/15)/40). Suppose -5*f = -3*y - 16, f + 0*f - 8 = 3*y. Let b be y/(-5)*5/(-1). Sort s, b, 1.
s, b, 1
Suppose -k - 5 + 1 = 0. Let l = 531/4 - 133. Sort 0.1, l, k in descending order.
0.1, l, k
Let o = 47.048 + -47. Let l = o + 0.152. Sort -1/2, 0.5, l, 0.4.
-1/2, l, 0.4, 0.5
Let g = 0.0646 - -0.3354. Sort -6, 9, g in increasing order.
-6, g, 9
Let t(q) = 4*q**2 + q + 1. Let k be t(-1). Suppose 4*m + 3*n - 53 = 26, -k = m - 4*n. Suppose 3*v = 3*j, 2*j = 2*v - 4*v + m. Put -1, 5, j in ascending order.
-1, j, 5
Let b = -1181.6 + 1181.2. Let h(w) = -w**2 + w - 1. Let y be h(1). Sort 1, b, 0, y in decreasing order.
1, 0, b, y
Suppose 24 = 6*a - 2*a. Let m be a/27 - 150/189. Sort -1/11, 1.6, m.
m, -1/11, 1.6
Let y = 277.5 - 277. Let z(s) = -s - 2. Let n be z(-2). Suppose 0*w - w = n. Put w, 2/9, y in ascending order.
w, 2/9, y
Suppose 59*u + 2*s - 2 = 54*u, -4*u = -2*s + 2. Let a(l) = -l**2 - 6*l - 2. Let c be a(-5). Sort u, -2, c, -8 in ascending order.
-8, -2, u, c
Let n = -112 + 104. Put 1, 4, -5, n in descending order.
4, 1, -5, n
Let y be (-1 - 9)*((-8)/2 - -5). Let a = 5 + y. Put 0.3, -1/2, a, -2/15 in ascending order.
a, -1/2, -2/15, 0.3
Let w = -323/15 + 67/3. Let h = 0.14 + -0.04. Sort w, -5, -0.4, h in decreasing order.
w, h, -0.4, -5
Let f = -3/46 - -36/23. Let w = -164 - -167.45. Let p = w - -0.55. Sort f, p, 5 in increasing order.
f, p, 5
Let s be 718/2118 - (-14)/(-42). Let l = s - -1398/2471. Let t = 3 + -2.5. Put t, -4, l in decreasing order.
l, t, -4
Suppose 3*q + 37 - 102 = n, -270 = 5*n - 4*q. Let s be (-17)/(-5) - (-20)/n. Sort 0, 4, -6, s in descending order.
4, s, 0, -6
Let o(d) = -3*d - 5. Let p be o(-4). Suppose -8*i + i = -p. Let g = -5 - -10. Put i, -4, g in ascending order.
-4, i, g
Suppose 5*h - 688 = 3*a, 4*h = -a - 2*a + 572. Let u be 4 - (h/(-8))/(-7). Sort -2/13, u, -1/3 in increasing order.
-1/3, -2/13, u
Let r = 25 + -18. Let b = -536 + 540. Sort -4, r, b in decreasing order.
r, b, -4
Suppose 5*n - z + 41 = -5*z, -5*n - 5*z = 45. Sort 2/15, -2, n.
n, -2, 2/15
Let k(r) = 5*r + 12. Let i(v) = v. Let g(w) = -4*i(w) + k(w). Let c be g(-9). Sort -2, c, -3 in descending order.
c, -2, -3
Suppose 4*q + 0*q + 5*p + 5 = 0, 2*p = -2*q - 2. Let c = q + -3. Suppose 2*n - 5 - 1 = -2*v, -4*n + 5*v = -12. Sort c, 1, n.
c, 1, n
Let f be 2 - 3/(-1) - 3. Let c = 4 + -1. Suppose 5*s - 31 = c*t, -4*t - 3 - 10 = -s. Sort s, f, -4 in decreasing order.
s, f, -4
Let j be 3/(-30)*(-105)/(-14) - 1. Let a be (1 - 0) + (-36)/20. Sort j, a, 0.1.
j, a, 0.1
Let y be ((-4)/(96/18))/(2/8). Let k be (-3)/2*56/12. Let g be ((-57)/(-21) - 3)*k. Put y, g, 4 in increasing order.
y, g, 4
Let f(x) = 5*x. Let o be f(0). Let v(d) = d**2 - 8*d + 10. Let c be v(5). Sort 2, c, o, 6.
c, o, 2, 6
Suppose -9*o + 24*o = 75. Let y = -0.3 + 0.4. Put o, 0, y in descending order.
o, y, 0
Let s(t) = -5*t**2 - 6*t + 14. Let n be s(4). Let r = -93 - n. Put -4, -21, r in ascending order.
-21, -4, r
Let c be (-21)/504*-40*(-6)/(-4). Suppose 3*o - 3 = -12. Let l = o + 4. Put c, 14, l in descending order.
14, c, l
Suppose 3*x + 7 = -4*g - 36, -x - 21 = 2*g. Let c(v) = 12*v**2 + 1. Let s be c(-1). Let q = s + g. Put 0, q, -5 in increasing order.
-5, 0, q
Let j(d) = -d**3 - 2*d**2 + 3*d. Let t be j(-3). Let r be 14/20 + 1/(-2). Let h = 8/15 - r. Sort h, -0.2, t in decreasing order.
h, t, -0.2
Let m = 6.5 - 6.6. Let l = -402/5 + 80. Sort m, l, 0.2.
l, m, 0.2
Suppose -20 = 5*b, -7*u + 5*b - 20 = -3*u. Let f = u - -10. Suppose f = 2*g - 6*g + 2*y + 18, -12 = -5*g - y. Sort 0.5, 4, g in decreasing order.
4, g, 0.5
Let m = -987 + 12841/13. Sort -1/5, m, -0.5.
-0.5, -1/5, m
Let u be (-1 + 2)/((-2)/(-10)). Suppose 0 = 3*l + 2*j - 2, 3*j - 3 = -u*l - 0. Sort -6, -4, l.
-6, -4, l
Let n = -1.088 - -1.21. Let u = -2.878 - n. Let w be 13/30 + 2/5. Put w, u, -0.1 in increasing order.
u, -0.1, w
Suppose 2*i - 4*i + r + 8 = 0, 2*i + r - 12 = 0. Put -2, -1, i, 2 in descending order.
i, 2, -1, -2
Let t(l) = -2*l - 2. Let o be t(1). Let q = 16 - 13. Let a = q - 3. Sort a, 0.3, o in ascending order.
o, a, 0.3
Let k = 0.1 - 0.2. Let s = k + -0.2. Let i = 1650.5 + -1651. Sort i, 0.5, s in ascending order.
i, s, 0.5
Let p = -0.059 + 0.449. Let k = p - -0.01. Let b = 3.26 + -0.26. Put b, k, -4 in ascending order.
-4, k, b
Let w = -9 - -5. Let f = -1.913 + 8.913. Let l be (0 + 2)/(1*-3). Put l, f, w in ascending order.
w, l, f
Let c = -909 - -909.4. Put -0.5, 7, c in decreasing order.
7, c, -0.5
Suppose -3*b - 39 = 10*b. Sort -1, -9, b.
-9, b, -1
Let x be (-54)/(-10) - 150/30. Sort x, -5, 5/8, -0.1 in increasing order.
-5, -0.1, x, 5/8
Let t = 45.62 - 1.72. Let h = t + -44. Let i be (-3)/(-3) + 1*2. Sort i, h, 4.
h, i, 4
Let t = 0.22 + -0.31. Let v = 0.01 - t. Let q = v - -0.9. Put q, 0.4, 0.01 in decreasing order.
q, 0.4, 0.01
Let k be 3*((-2)/(-18))/(76/24). Sort 0, 2.3, k in decreasing order.
2.3, k, 0
Suppose 0 = -2*k - 10 - 30. Suppose -2*f = -f + 1. Put f, k, 1 in decreasing order.
1, f, k
Suppose 3*f = 4*q - 8, -109*q + 112*q = 3*f + 6. Sort -6, f, 2, 6 in decreasing order.
6, 2, f, -6
Let l = -0.2 + -8.8. Let o = 24 + l. Let k = 11 - o. Sort -0.3, 0.4, k in decreasing order.
0.4, -0.3, k
Let n = 5 - 7. Let r(j) = -j**2 - j. Let z be r(4). Let f = -24 - z. Put n, -5, f in decreasing order.
n, f, -5
Suppose -2*o - 2*r + 6 = -12, 2*r - 6 = o. Let g be 2/o + (-33)/(-6). Put 0, g, -3, -1 in descending order.
g, 0, -1, -3
Let s = -14 + 14.3. Let j = 6 - 6. Put j, -9, s in descending order.
s, j, -9
Let z be (5 - 10)*(2 + -3). Suppose -z*j = -5*l + 1 + 9, -l + 2 = -4*j. Put 5, -4, j in descending order.
5, j, -4
Let g = 10 - 8. Suppose -10*x = -12*x + 10. Let i(l) = -2*l**2 + 11*l - 6. Let s be i(x). Put g, -3, s in descending order.
g, s, -3
Let n = 120 + -838/7. Let g be 33/(-22) - (-7)/2. Suppose -24 = 5*a - g*i, 4*a + 18 = 4*i - 3*i. Put 3/10, n, a in decreasing order.
3/10, n, a
Let v = 219 - 210. Sort -10, 3, v in descending order.
v, 3, -10
Suppose -4*u - 39 = 41. Let r = -23 - u. Let w be (-1 - r) + -6 - 0. Put -0.1, w, -1/6 in ascending order.
w, -1/6, -0.1
Suppose -5*f - 21 = 5*m - 56, -5*m - 15 = -5*f. Let l = 0 + 0. Put m, l, -2 in decreasing order.
m, l, -2
Let d(i) = -i + 10. Let g be d(7). Suppose m - 9 = -g*u, -5*u + 0*u = -m - 23. Let l be (-1168)/(-240) - (1 + (-51)/45). Sort l, m, 4 in descending order.
l, 4, m
Let y be (5/(-105))/((-6)/36). Put -1/4, -2, y, 1 in decreasing order.
1, y, -1/4, -2
Let n be 20/8*6/5. Let u =