creasing order.
3, c, b, -3
Let j = 773 + -774. Sort j, 40, 3.
j, 3, 40
Let m(s) = -1 - 26*s**2 - 5*s + s + 5*s**2. Let t be m(3). Let h = t - -1816/9. Sort h, -5, -2.
-5, -2, h
Let l = 1010 + -990. Put l, 1, 3, -1 in increasing order.
-1, 1, 3, l
Let f = 13 + -9. Let t be 4/(2 + (0 - f)). Sort t, 3, 1, 4.
t, 1, 3, 4
Suppose -327 = 5*p - 102. Let t = -43 - p. Let k be 1 - 4 - (-10)/(-5). Sort 3, k, t.
k, t, 3
Suppose 6*k = k + 15. Let n = -24 + 46. Suppose 2*s + z = -3*s - n, -2*z = -4*s - 12. Put -1, k, s in descending order.
k, -1, s
Let q = -253 - -249. Let v = -15 + 11. Let g be v/(-28)*-3*1. Put -5, q, g in descending order.
g, q, -5
Let v = -2.2 - -0.2. Put 68, v, -4 in descending order.
68, v, -4
Suppose -3*v = -2*q - 1, 3*v + 0*v = 3*q + 3. Let t be (20/6 + q)/((-4)/6). Suppose -g + 3*g = 0. Put g, -0.3, t in ascending order.
t, -0.3, g
Let w(l) = -l + 2. Suppose 5*g = 2*p + 21, -1 = -g - 2*p + 8. Let s be w(g). Suppose -d - 6 = -9. Sort d, 1, s in descending order.
d, 1, s
Let o(z) = 15*z**2 - 31*z + 1. Let m be o(2). Sort 1, 3, m, -22 in descending order.
3, 1, m, -22
Let u = 9 - 5. Let c be (-4)/10 - (-264)/60. Suppose -20 = -c*o + 4*z, 3*z - 8*z - 1 = 3*o. Put o, u, 1 in ascending order.
1, o, u
Let v = 172 - 173. Sort 3, v, -5, 9 in decreasing order.
9, 3, v, -5
Let o = -5 - 1. Let q = o - -9. Suppose q*d + 2 = 5. Put d, -1, 0 in decreasing order.
d, 0, -1
Let v(n) = -4*n**2 + 5*n. Let g be v(2). Let k be g/(-4) + 2/4. Let u = k + -3. Put 0, u, 3 in descending order.
3, 0, u
Let g be (10/(-66))/(-5)*6. Suppose -13*o - 22 = -9. Sort o, g, 1/2.
o, g, 1/2
Let v be 3/(-36)*3 - (-39)/12. Suppose v*k + 11 = b, 0*b - 23 = 4*k - 3*b. Sort k, -0.5, -16 in increasing order.
-16, k, -0.5
Suppose 4 = 2*t + 14. Sort -2, 0.2, -3/4, t in increasing order.
t, -2, -3/4, 0.2
Let o = 27 + -26. Sort o, -4, -41 in increasing order.
-41, -4, o
Let a = -0.31 + 0.31. Put a, -0.1, -4/5, 0.7 in ascending order.
-4/5, -0.1, a, 0.7
Suppose 5 = 3*h - f - 1, -h + 3*f = -10. Put -2, h, -20 in increasing order.
-20, -2, h
Let t = -31.7 + 27.7. Sort t, -1/2, -3, 4 in descending order.
4, -1/2, -3, t
Let h = 5 + -6. Let b = -56.2 + 56.7. Sort 4, b, h, 1 in decreasing order.
4, 1, b, h
Let t be 7*(-3)/(-35) - 13/5. Put t, -66, 2, 3 in ascending order.
-66, t, 2, 3
Let p = -10 + 6. Let v(y) = -y**2 - y - 1. Let s be v(-3). Let c be (4 + s)/3 + 2. Sort c, p, 2 in decreasing order.
2, c, p
Let d = 1 - 1. Let g = 233 + -230. Sort g, -2/11, d.
-2/11, d, g
Suppose -4*t + s + 2 = 2*s, 0 = 2*t + 5*s - 10. Suppose 0 = q - t*q. Let o be (-10)/(-4)*2 + -1. Sort 2, q, o in increasing order.
q, 2, o
Suppose -3*a - 10 = -n + 5*n, 0 = 2*n + 2. Let g = -485 - -477. Sort g, 1, a, 3 in ascending order.
g, a, 1, 3
Let x = -47 - -23. Let q = -1403 + 1404. Sort q, 0, x in ascending order.
x, 0, q
Let s be 4 - 2 - 27/(-1). Let i = s + -28. Put -5, -3, i in decreasing order.
i, -3, -5
Let y = 102.15 + -105. Let c = 0.85 + y. Sort c, 2, -1, 2/7 in decreasing order.
2, 2/7, -1, c
Let z = 122 + -122. Sort -4, z, 12.
-4, z, 12
Let r = 102 - 88.38. Let b = r - -0.38. Sort b, 5, 0.2.
0.2, 5, b
Let l = 545 + -542. Put -0.1, l, -4/55 in ascending order.
-0.1, -4/55, l
Suppose -2*d + 6*d + 12 = 0. Suppose -3*u - 5*c = 369, 6*u - 8*u - 224 = -4*c. Let z = u - -1061/9. Put -5, z, d in ascending order.
-5, d, z
Let d = -2.23 + 2.63. Put 3, 3/7, d, -15 in ascending order.
-15, d, 3/7, 3
Let x(v) = -4*v - 3. Let b be x(-4). Let z(u) = -1 + 3*u - 7 - 2*u. Let p be z(b). Sort -5, 0, p in ascending order.
-5, 0, p
Suppose 20 = 2*p + 5*a - 9, -30 = -5*p - 4*a. Let m be 4 - 2/4*p. Suppose -420*r = -397*r - 23. Sort -1, r, m in descending order.
m, r, -1
Suppose 0 = -2*h, 5*r = -4*h - 14 - 1. Suppose -s - 16 = s - 2*z, 11 = -4*s - 3*z. Put 14, s, r in decreasing order.
14, r, s
Let t = 0.3495 + 0.0505. Sort -0.2, -41, -6/7, t in ascending order.
-41, -6/7, -0.2, t
Let o be (12 + -2)*(-4)/(-10). Suppose u - 30 = -5*l, 0 = -3*u + 6*u + 2*l - 25. Suppose -u*c - 12 - 13 = 0. Sort 5, c, o in ascending order.
c, o, 5
Let f(w) = w - 25. Let u be f(14). Let z = 9 + u. Sort 4, z, 3.
z, 3, 4
Let d = 1.3 + -0.7. Let y = d + -4.6. Let v = -1 + -4. Sort y, 3, v in ascending order.
v, y, 3
Let h(o) = -o**2 + 1 + o + 4*o + 2*o**2. Let n be h(-4). Let k be (-8)/(-5) - (-4)/10. Sort k, -2, n in descending order.
k, -2, n
Let p = 38 + -39.8. Let z = -1.2 + p. Let k = 8 + -5. Sort -2/15, k, z.
z, -2/15, k
Let b = -20 + 22. Put -14, b, -1 in ascending order.
-14, -1, b
Let t(b) = -34*b - 378. Let q be t(-11). Sort 0, -11, 14, q in decreasing order.
14, 0, q, -11
Let m be ((36/(-20))/3)/1. Let s be (2/14 - 0)*(-30)/10. Sort -0.2, m, -4, s in descending order.
-0.2, s, m, -4
Let k = 90 - 89.5. Let q = -103.1 + 96. Let h = -7 - q. Put h, 2/13, k in ascending order.
h, 2/13, k
Let v = 15 + -12. Suppose -v = 4*l - 5*l. Let g be (-3)/((-252)/8)*l. Put g, -2, -5 in decreasing order.
g, -2, -5
Let w = -1362 + 1362. Sort w, 2, 17 in decreasing order.
17, 2, w
Suppose 5 = -4*l - 3. Let d(y) = 0*y**2 - 24*y + 5 - 6*y**2 + 8*y**2 + 8*y. Let o be d(8). Sort l, 0, o in descending order.
o, 0, l
Let g = -1.656 + 1.456. Sort -6/37, -1, g, -4 in descending order.
-6/37, g, -1, -4
Let i = -1/578 - 1151/2890. Put 0.141, -0.5, i in decreasing order.
0.141, i, -0.5
Let z = -29.4 + 31. Let c = 12 + -10.9. Let v = z - c. Sort -0.2, 0.02, v in increasing order.
-0.2, 0.02, v
Let x = 525 - 523. Sort 25, x, 4 in increasing order.
x, 4, 25
Let l(t) = t**2 + 9*t + 16. Let p be l(-7). Let g = 7/120 + -43/1560. Let x = 331/195 - g. Put 4/3, p, x in decreasing order.
p, x, 4/3
Let w be 2/6 + 50/30. Suppose w*s - 2*t = -4 + 20, 4*s - 7 = -t. Suppose 2*k + 3*k + 40 = -s*j, 0 = -3*j - 15. Put k, 5, 1 in increasing order.
k, 1, 5
Suppose -5*a = -5*o + 15, 25*o = 3*a + 27*o - 16. Let j = 6 - 2. Put a, j, -4, 1 in decreasing order.
j, a, 1, -4
Let d = -490.08 + 490. Put d, -5, 11 in ascending order.
-5, d, 11
Let k(q) = -q**2 - 3*q - 3. Let o be k(-2). Let f(g) = g**3 - 6*g**2 + g. Let d be f(6). Suppose -8*c + d = -11*c. Put 3, o, c in ascending order.
c, o, 3
Let d = 0.58 + -2.38. Let n = -1.4 - d. Sort -0.5, n, 2/3, 2 in descending order.
2, 2/3, n, -0.5
Let f = -3.62 - 0.38. Let r be (-4)/(-25)*(-45)/18. Put r, -1, f in decreasing order.
r, -1, f
Let p = -6.7 - -7. Let q = -0.4 + p. Suppose 9 = -3*a - 3. Sort a, 0.2, q.
a, q, 0.2
Let x = 22 - 36. Let p = 247 + -233.1. Let k = x + p. Sort -4, 10, k in descending order.
10, k, -4
Let b(t) = -11*t + 185. Let c be b(17). Sort c, -5, 21, 0 in decreasing order.
21, 0, c, -5
Let b = -359 + 358. Sort b, 5, -5 in increasing order.
-5, b, 5
Suppose -147*j = -148*j - 3. Put -5, 210, j in decreasing order.
210, j, -5
Let s = 310.75 - 310.7. Sort s, 0.1, 6/7 in descending order.
6/7, 0.1, s
Let l(s) = s**3 + s**2 - 5. Let z be l(0). Let b(i) = i**3 + 5*i**2 + 2. Let v be b(z). Sort -1, 5, -1/2, v in decreasing order.
5, v, -1/2, -1
Let f(o) = -o + 10. Let i be f(8). Let d be (0 - -1) + (-12)/104. Let r = 5/13 - d. Put 0.3, r, i in increasing order.
r, 0.3, i
Suppose 0*g + 3 = 2*g + b, -b + 10 = -5*g. Let a(h) = -3*h - 1. Let c be a(-1). Let w(x) = x + 1. Let d be w(c). Put -2, d, g in descending order.
d, g, -2
Let p be (-42)/4*12/(-7). Suppose 4*w = 14 - p. Let b(j) = -j - 3. Let y be b(4). Sort y, w, -5 in increasing order.
y, -5, w
Let x = 34040.9 - 34041. Suppose 6*g - 3*g = b, 0 = -2*g - 4*b + 14. Let w = -7 - -6.4. Sort w, g, x in ascending order.
w, x, g
Let u(q) = q**3 - 4*q**2 + 2*q + 3. Let m be u(3). Suppose 0*j - j + 5 = m. Suppose j*n = 25, 5*x + 6*n = n + 10. Put 12, -1, x in ascending order.
x, -1, 12
Let o = -0.152 + -0.048. Let a = 8 + -14. Sort o, 2/7, a in decreasing order.
2/7, o, a
Let p = 406 + -410. Sort 1/4, p, 9, 0.2 in ascending order.
p, 0.2, 1/4, 9
Let c = 3 - 1. Let f = 1219 - 1216. Put f, 4, c, -5 in decreasing order.
4, f, c, -5
Let p be 1/5 + 20/25. Suppose 5*t = -4*h - 28, -t + 3 = -3*h + p. Let u(d) = 16*d + 107. Let x be u(-7). Put 2, x, t in descending order.
2, t, x
Suppose r = -3*r + 8. Suppose -5*s + 40 = 3*b - 5, -5*s = 0. Suppose 5*n - b = 0, -v - 15 = -4*n - 0*n. Sort -1, v, r.
v, -1, r
Let u be 6/(-168)*-7 + (-126)/(-8). Suppose 32*l + 112 = u. Let z be 2/(-9) - (-33)/27. So