y - 12. Sort z, m, -4 in increasing order.
-4, z, m
Let m = -10.744 - 0.256. Sort -1/6, m, -4 in descending order.
-1/6, -4, m
Let p = 126 - 102. Sort p, 0.1, -3 in decreasing order.
p, 0.1, -3
Let u = 4.187 + 0.451. Let b = 0.038 - u. Let x = b - 0.4. Sort x, -2, 2/3.
x, -2, 2/3
Let x = -39.7 + 41. Let o = -1.24 + -0.16. Let a = o + x. Put 2, a, -2/9 in increasing order.
-2/9, a, 2
Let x = -0.6 - -0.8. Let j = x - 0. Let g = 61/40 - 9/8. Sort g, 3, j in increasing order.
j, g, 3
Suppose -9 = -h - q, -2*h + 2*q + 4 = -2. Let z(y) = y**2 - 8*y + 8. Let m be z(h). Let b = 8 + -7.8. Put b, 4, m in descending order.
4, b, m
Suppose -442*m = -446*m - 8. Let p be (-15)/(-6)*(3 + -1). Put 2, 0, p, m in ascending order.
m, 0, 2, p
Let x be (52/12)/(2*(-3)/54). Let u = -42 - x. Sort u, 5, 4, -6 in decreasing order.
5, 4, u, -6
Suppose 6*h + 6 = 4*r + 5*h, -r = -4*h + 6. Let z(f) = -41*f - 207. Let b be z(-5). Put -14, b, r in ascending order.
-14, b, r
Let x = 2 + 1. Let c be -2*(-43)/18 + 10/45. Suppose d + 2 = c*w - 23, 0 = 2*w - 3*d - 10. Sort x, 4, w.
x, 4, w
Let u = -0.0174 - 0.2826. Put 2.1, 1, -2, u in increasing order.
-2, u, 1, 2.1
Suppose 0 = 4*c - 2*w + 3*w - 6, -5*c + w = -12. Let i = -1 - c. Let x be 6/i - 12/4. Sort x, 0.1, 0.4 in ascending order.
x, 0.1, 0.4
Let v(a) = -6*a**2 + 3*a**2 + 2*a**2 - 1 - a**2 + 4*a. Let k be v(3). Sort 1, k, 5 in ascending order.
k, 1, 5
Let u = -0.47 - -0.44. Let t = u + 3.03. Sort 22, 1/5, -5, t in decreasing order.
22, t, 1/5, -5
Let x(u) = -u**2 + 15*u + 6. Let l be x(15). Suppose -7*m + 6 = l. Put m, -5, 5, 2 in increasing order.
-5, m, 2, 5
Suppose 12*f - 136 = -5*f. Sort -4, -5, 5, f in ascending order.
-5, -4, 5, f
Let q = -103.5 - -103. Sort -41, 0.2, 0.1, q.
-41, q, 0.1, 0.2
Suppose 0 = y - 0*y - 1. Suppose 5*s - 41*s = -118 + 46. Sort 3, s, y in decreasing order.
3, s, y
Let q = 5.29 - 0.29. Put q, 2/257, -0.1 in descending order.
q, 2/257, -0.1
Let o be (60/(-18))/((-12)/90*5). Let q be -4*((-50)/8)/(-5). Put q, -1, o, 4 in increasing order.
q, -1, 4, o
Let r = -1927/9685 + -2/1937. Put 0.5, r, 36 in increasing order.
r, 0.5, 36
Let o be (-370)/(-7) - 162/189. Sort 5, o, -4 in descending order.
o, 5, -4
Suppose 3*m - 53*m = -350. Sort 0, m, -1, 6 in decreasing order.
m, 6, 0, -1
Suppose 20 = 2*n - 7*n, 0 = c + 2*n - 7. Let z be (6/15)/((-18)/c). Let f = 28 - 57/2. Sort f, z, -3 in ascending order.
-3, f, z
Let b be -6 - -1 - (2 + -3 + 4). Let k = 2 - 2.1. Let r = -0.4 - k. Sort b, r, 0.1 in descending order.
0.1, r, b
Suppose -56*t - 56 = -0. Sort t, -13, 4, 1 in ascending order.
-13, t, 1, 4
Let w = -0.8 - -6.8. Let z = w - 8. Suppose 10*x = -0*x + 10. Sort z, x, 3.
z, x, 3
Let g = 0.157 + -0.257. Put -2/213, -5, 4, g in descending order.
4, -2/213, g, -5
Let v = 91.7 + -67.81. Let c = -24 + v. Let r = 2342 + -2341.6. Sort r, 3, c.
c, r, 3
Let t be 2/((-15)/(15/(-2))). Sort -4, 0, t in decreasing order.
t, 0, -4
Let c = -1.28 - 84.72. Let s = c - -85.8. Put -4/7, s, -14 in increasing order.
-14, -4/7, s
Let d(i) = -i**3 - 5*i**2 - i - 101. Let m be d(-7). Let p be 44/(-6)*(-12)/8. Put m, p, -2 in ascending order.
-2, m, p
Suppose 46*w + 80 = -58. Sort w, -13, -4 in descending order.
w, -4, -13
Let s(v) = 6*v - 22. Let o be s(5). Suppose -r - 9 = t, 2*r - t = 3*t + 6. Sort r, o, 2, 5 in increasing order.
r, 2, 5, o
Let f = 677 + -678. Put 1/3, f, -0.3 in increasing order.
f, -0.3, 1/3
Let a be (176/(-880))/(1*1*(-1)/5). Let k = -0.2 + -0.3. Sort a, -2/9, k in ascending order.
k, -2/9, a
Let k = 303.7 - 304. Sort -3, -4, k in decreasing order.
k, -3, -4
Suppose n - 3*l - 19 = -0*n, -2*l - 10 = 0. Let k be 4/(-10) + (-85)/(-25). Suppose -k + 9 = t. Put n, t, 0 in ascending order.
0, n, t
Let z be (-6 - -6)/5 + -5. Put z, -0.5, -1, -7 in descending order.
-0.5, -1, z, -7
Suppose i = 0, -5*i + 7 = 3*z - 2. Suppose s - 12 = -2*s. Let r = -9 - -6. Put z, r, s in increasing order.
r, z, s
Suppose 0 = i - 3*c + 17, 5*i + 9 + 0 = -4*c. Let y = 6265 + -6271. Sort i, y, -1, 2.
y, i, -1, 2
Suppose 20 = -c - 4*m, -4*c + 3 = 3*m + 31. Put -2, 2, c, 1 in increasing order.
c, -2, 1, 2
Let o(t) = t**2 + 5*t - 7. Let k(b) = -b + 1. Let l(j) = -2*k(j) - o(j). Let x be l(-4). Put x, 3, 4 in decreasing order.
4, 3, x
Let k = 2183/2 - 1059. Let d = 33 - k. Let j = -0.171 - -5.171. Put j, 0.2, d in ascending order.
0.2, d, j
Suppose -686*j + 687*j + 3 = 0. Put -31, -4, j, 2 in ascending order.
-31, -4, j, 2
Suppose 0 = -62*q - 168 - 80. Suppose -2*l = -3*m, 3*m - 11 = -3*l + 2*m. Sort q, 0.7, l.
q, 0.7, l
Let h = -13.84 + 9.84. Sort -0.04, -25, h in increasing order.
-25, h, -0.04
Let y = 230 + -228. Sort 9, y, -36 in increasing order.
-36, y, 9
Let i be (-2)/1*2/8. Suppose -54 = -3*m - 3*h, 2*h = 4*m - h - 37. Let s = 37/3 - m. Sort s, 1, i in descending order.
1, i, s
Let t = -1747/5259 - 2/1753. Let w be 0 - ((-10)/4 + 2). Sort t, -4, w in increasing order.
-4, t, w
Let q be 90/(-12)*(-2)/3. Suppose -25*g = -31*g - 24. Put -5, g, q, 0 in decreasing order.
q, 0, g, -5
Let l be ((-8)/(-10))/((-2)/(-5)). Suppose -10 = 4*t - 2*n, 0 = n + l - 1. Let r be ((-21)/28 + 3/(-12))/1. Sort 3, r, t in descending order.
3, r, t
Let n = -1.864 + -0.136. Suppose -4*z = -z + 30. Sort n, -0.1, z in decreasing order.
-0.1, n, z
Suppose -v - 6 = 3*v + 2*w, -3*v - 22 = 5*w. Sort -23, -4, v in ascending order.
-23, -4, v
Let d be ((-14)/(-42))/(1/9). Sort 1/2, -1/17, d in decreasing order.
d, 1/2, -1/17
Suppose 5*z + 4*u = 17, -u = 2 - 0. Let w = -3 - -17. Suppose -3*p = w - 5. Put p, z, 2 in decreasing order.
z, 2, p
Let g(u) = -u**2 - 21*u - 113. Let b be g(-10). Put 31/2, -5, b in descending order.
31/2, b, -5
Let f(v) = -10*v + 84. Let h be f(9). Sort h, 2, -4.
h, -4, 2
Suppose 2*l + 48*n = 52*n + 20, 8 = l - 4*n. Put 0, l, -5, 5 in descending order.
l, 5, 0, -5
Let h = -39.9 + 40. Sort -2, -0.5, h, -8 in decreasing order.
h, -0.5, -2, -8
Let n = -927 + 932. Sort 1, n, -13, -4 in decreasing order.
n, 1, -4, -13
Let p = 10.9 - 11. Let q = 249 - 1740/7. Sort -0.2, p, q in decreasing order.
q, p, -0.2
Let m = 341 - 348. Put m, 2/11, -2/21, 0.3 in increasing order.
m, -2/21, 2/11, 0.3
Let n be ((-8)/(-102))/((-1)/(-3)*2). Put 4, 24/11, n, -3 in increasing order.
-3, n, 24/11, 4
Let x(v) = v**2 + v + 4. Let f(s) = 1. Let h(u) = f(u) - x(u). Let i be h(0). Let w be 11/i - (-10)/(-30). Put w, -1, -3 in increasing order.
w, -3, -1
Let w = -57/280 - -1/280. Sort -0.3, -8, w, 2/7.
-8, -0.3, w, 2/7
Let p = -8 + 10.6. Let u(v) = v**3 + 24*v**2 + 45*v + 26. Let d be u(-22). Sort 2/7, -0.4, d, p.
-0.4, 2/7, p, d
Let z = 58 + -208. Let p = -150 - z. Put 1, -2, p in increasing order.
-2, p, 1
Let x = 0.1 - 1.1. Let n(d) = -d**2 - 23*d - 120. Let b be n(-15). Sort 0.3, -2, b, x in increasing order.
-2, x, b, 0.3
Let f be (-2)/(8/(-6))*10. Suppose c + 4*c = -f. Suppose -63 - 73 = 34*y. Sort 5, c, y.
y, c, 5
Suppose -28 = -4*j - 5*t, -t - 14 = -26*j + 24*j. Sort 5, -20, j in descending order.
j, 5, -20
Let t be 0 + 6 + 13/(-3). Sort t, 3, 0.4 in increasing order.
0.4, t, 3
Let u = 427.07 + -427. Let x = 4.05 + -0.05. Put x, -1/5, u in increasing order.
-1/5, u, x
Let f = -310 - -307. Sort 4, f, -171 in ascending order.
-171, f, 4
Let h = -49 + -5. Let n be 2 + 1 + h/3. Let c be 2*n/6 + -3. Put 0.5, c, -1/3 in descending order.
0.5, -1/3, c
Suppose -2*l + 30 = l. Let r(p) = -8*p - 58. Let b be r(-7). Put b, 1, l in decreasing order.
l, 1, b
Let l = -13682.1 + 13682. Let i = 3.93 + 0.07. Put 5, l, i in ascending order.
l, i, 5
Let s = 4102 - 4101.6. Suppose -2*g - 25 = 3*g. Let h = 97/66 - -1/33. Put g, h, s in decreasing order.
h, s, g
Let j(w) = 8*w - 176. Let t be j(22). Put 3, -9, t in decreasing order.
3, t, -9
Let m = 6 - 11. Let l(v) be the third derivative of -v**6/120 - 17*v**5/60 + 7*v**4/8 + 28*v**3/3 - 15*v**2. Let o be l(-18). Put o, 3, m in ascending order.
m, o, 3
Let c = 36.3 + -10.2. Let z = c + -26. Put 0, 1/7, -1/12, z in increasing order.
-1/12, 0, z, 1/7
Suppose 0 = -3*q + 6*q. Let z = 41 + -46. Suppose 12 = -2*s - 2*s, -27 = -5*k + 4*s. Put q, k, z in descending order.
k, q, z
Let d = 0.4 + -0.8. Let g = -23.048 - -0.048. Let z = g + 20. Put z, 4/5, d in increasing order.
z, d, 4/5
Let d = 203 - 320. Let x be 1*-1 - d/104. Sort