easing order.
4, n, 0.5
Let x be 2/4*-6 + 12. Suppose 8 = m + y, -3*m + 0*m + x = -2*y. Suppose -m*f = -4*f - 2. Sort f, 4, 3 in descending order.
4, 3, f
Let j = -4 - -5. Let d = -0.5 + j. Sort d, -2, 0.06 in descending order.
d, 0.06, -2
Let o = 2 + -2. Let h = -0.128 + 0.028. Sort h, -3/5, o in ascending order.
-3/5, h, o
Let y = 1.5 - 2. Let k = -9/20 - -7/10. Put k, 0.4, y in descending order.
0.4, k, y
Let g be (6/9 + 2)*6/(-4). Sort 5, 2, g in increasing order.
g, 2, 5
Let i = 16.5 - 16. Put -1/5, i, 11 in decreasing order.
11, i, -1/5
Suppose -4*r - 3 = -r. Let a be (r - -3) + 1 + -7. Let i = 2 + a. Sort i, 2, 3.
i, 2, 3
Let t(n) = -n**3 - 19*n**2 - 18*n + 1. Let z be t(-18). Sort z, 2, 4.
z, 2, 4
Suppose -73 = -4*p + 3. Suppose p = 5*g - 6. Put g, 3, 2 in descending order.
g, 3, 2
Let s be (-3)/(-7)*4/6. Let i = 443/56 + -58/7. Let f be ((-2)/(-6))/(4 - 3). Put f, s, i in ascending order.
i, s, f
Let g(a) = a**2 + 1. Let u be g(0). Suppose -9 = -2*i + u. Sort 3, i, 0 in descending order.
i, 3, 0
Suppose d - 3 = -0*d + v, -v - 2 = 0. Sort d, 3, 5, 4 in increasing order.
d, 3, 4, 5
Let y be 1 + 1 + 13 + 0. Suppose -b + 4*b - y = 0. Sort 0, 2, b in decreasing order.
b, 2, 0
Let m(f) = -f**2 - 4*f. Let j be m(-3). Suppose -7*v = -j*v. Let c be (1 + 0)*(15 - 10). Put -1, v, c in decreasing order.
c, v, -1
Suppose k = -0*k + 505417. Let w = -215813301/427 + k. Let b = w - 2/427. Sort b, -2, 0.2.
-2, b, 0.2
Let i = 29 - 32. Sort i, 0.4, 4.
i, 0.4, 4
Let i = -1 + 0. Let s = -10 - -14. Let t = s - i. Put 2/15, t, -1/6 in descending order.
t, 2/15, -1/6
Suppose -30 = 5*i - 6*r + 7*r, -25 = 2*i + 3*r. Put -2, i, -0.2, -0.04 in ascending order.
i, -2, -0.2, -0.04
Let p be 16/(-12)*(2 + 1). Put p, -18, -2 in decreasing order.
-2, p, -18
Let x be (-2)/(-3)*15/2. Let u(r) = -r**3 + 6*r**2 - 5*r + 4. Let j be u(x). Sort 1, j, 5 in ascending order.
1, j, 5
Let i(x) = 3*x + 19. Let j be i(-8). Put 2, 5, -2, j in ascending order.
j, -2, 2, 5
Let f = 7 - 18. Sort 1, f, -4 in ascending order.
f, -4, 1
Let m be (-95)/(-25) - 1/(-5). Let x(w) = 0*w - 2*w + 1 + 3*w. Let l be x(-6). Put m, 0.5, l in ascending order.
l, 0.5, m
Suppose -4 = -2*o - 0*o. Let h be 9/o + (-2)/(-4). Let x = 0.1 - 2.1. Sort x, h, -1/4 in decreasing order.
h, -1/4, x
Let a = 0.39 + 0.01. Let o = -3 + -1. Let l = -0.3 - -0.3. Sort l, o, a in increasing order.
o, l, a
Suppose 5*p = d - 11, 2*p + 0*p - d = -2. Sort 2, 5, p in ascending order.
p, 2, 5
Let q = -13 - -12.6. Put -1, -0.5, q in increasing order.
-1, -0.5, q
Let y = 10 - 11. Suppose -h = -3*w + 5*w + 13, 3*w + 15 = 0. Put 2, y, h in ascending order.
h, y, 2
Let o(c) = c**3 + 7*c**2 + c. Let h be o(-7). Let q(j) = j**2 + 7*j - 4. Let i be q(h). Sort 4, -5, i in descending order.
4, i, -5
Suppose 5*g = -2*m - 11 + 31, 5*g - 20 = -m. Sort m, -3, 4.
-3, m, 4
Let o = -7 - -5. Let u = -36 - -36. Let y = u - o. Sort y, -0.5, -2 in descending order.
y, -0.5, -2
Let g = -0.05 - 8.95. Sort -4, g, -0.2.
g, -4, -0.2
Let t be -1*(-6 + 4) - 12/(-3). Sort t, 2, -3, 4.
-3, 2, 4, t
Let g = 26 + -26.1. Let l(y) = y**3 + 7*y**2 + 7*y + 9. Let r be l(-6). Sort -3, r, g in increasing order.
-3, g, r
Let y(f) = -5*f - 10. Let j be y(-2). Sort 4, 5, j, 2 in descending order.
5, 4, 2, j
Let x = 67/35 + -11/5. Let w = -1/28 - x. Let v = 21 + -20.7. Put w, -0.2, v in descending order.
v, w, -0.2
Let o = 17 + -17. Put 4, o, 1, 5 in decreasing order.
5, 4, 1, o
Suppose 7*x - 11 = 17. Let j be 1/(-1)*2 + -3. Let u = x + j. Put 2, u, 3 in increasing order.
u, 2, 3
Let p(s) = -2*s**3 + 39*s**2 + 19*s + 23. Let o be p(20). Put o, 28, -5 in ascending order.
-5, o, 28
Let y = 215287/1428 + -4/357. Let u = 150 - y. Let o = -0.6 + 0.3. Put u, o, 5 in ascending order.
u, o, 5
Let j be -4*1/(-2) + 1 + -4. Sort -1/4, j, 76 in increasing order.
j, -1/4, 76
Let o = 0 + -1. Let v be (6 + -3 + -5)*1/(-11). Let t = 7 - 11. Sort v, o, t in decreasing order.
v, o, t
Suppose 1 = 3*y - 2. Suppose 5*u + 4*t = 7, -14 = 3*u - 5*t + 4. Sort u, 4, y in decreasing order.
4, y, u
Suppose 13 = 4*d - 11. Suppose 5 = s, -7*s + 12*s - 24 = k. Sort k, d, 5 in descending order.
d, 5, k
Let q = -13.8 + 13.4. Sort 2/7, 0, q in decreasing order.
2/7, 0, q
Let a = -10 - -15. Let x = -4 + 2. Put a, -1, x in increasing order.
x, -1, a
Let b = -2 + 6. Let i = 1 - 12. Let q = 7 + i. Sort q, -5, b in descending order.
b, q, -5
Let v = -31.5 + 57. Let s = v - 21. Let t = 5 - s. Sort -5, 3, t.
-5, t, 3
Suppose 1 = 3*m - 11. Let t be (0 + m/10)*5. Let v be t/(20/(-1)) - 0. Sort -1/2, -2/11, v.
-1/2, -2/11, v
Let v = -14.8 + 15. Put 4, v, -0.4 in decreasing order.
4, v, -0.4
Let r = 2 - 4. Put 4, r, 1 in descending order.
4, 1, r
Let l = 37 - 184/5. Sort -5, 0.5, l, 1/8.
-5, 1/8, l, 0.5
Suppose 2*h - 17 = -3*c, 5*c + 8 = c + 5*h. Suppose -c = -2*x + 5. Let u be 3 - ((-2)/(-2))/1. Put 1, x, u in descending order.
x, u, 1
Let b = -0.1 + 3.1. Let o = 259/9 - 29. Put b, o, 0.3 in decreasing order.
b, 0.3, o
Let z(t) be the second derivative of -t**4/12 + 3*t**3/2 - 2*t**2 + 2*t. Let v be z(8). Sort 2, v, 1.
1, 2, v
Let q = -0.25 - 0.15. Put 1, q, 0.3 in descending order.
1, 0.3, q
Let d = -2 + -1. Let h(t) = t - 13. Let w be (-4)/(-10)*15*2. Let n be h(w). Sort d, n, -2 in descending order.
n, -2, d
Suppose 2*n = 7*n - 10. Sort 11, n, 3, -1 in increasing order.
-1, n, 3, 11
Suppose 0 = -2*p - 2*m + 6, 4*m = -3*p - 0*m + 14. Sort -1, -52, p.
-52, p, -1
Let y(d) = -d**3 - 3*d**2 + 2*d + 2. Let f be y(-3). Let n = f - -1. Suppose v - 7 = 5*p, 2*p + 3*v = 3 + 1. Sort n, 3, p in increasing order.
n, p, 3
Suppose -3*z + 21 = 4*z. Let a be ((-10)/(-6))/(1/(-3)). Put z, 1, a in descending order.
z, 1, a
Let u = -10 - -6. Let v = -0.01 - -0.03. Let n = v - 0.42. Sort 0.5, n, u in decreasing order.
0.5, n, u
Suppose 25 + 3 = 2*o. Put -4, -5, 5, o in descending order.
o, 5, -4, -5
Let v be -1*(2 - (-2 + 1)). Let f be 10*v/(-3 - -9). Put 4, 5, f in decreasing order.
5, 4, f
Let l = 1 - 4/3. Sort -2/31, -1/8, l.
l, -1/8, -2/31
Suppose -2 = -m - 0. Suppose -4*u - 19 = -4*b + 3*b, 8 = -m*u + 2*b. Suppose 2*h - 6*h - 12 = 0. Put 3, u, h in ascending order.
u, h, 3
Let f = 0.3 + -0.33. Let q = f + -1.97. Let t = -0.1 - -0.3. Sort 2/5, t, q in decreasing order.
2/5, t, q
Suppose -2*s - 2*s + 11 = p, 5*s - 19 = 4*p. Let j be (p/2)/(5/(-2)). Sort j, 1, 2/11 in descending order.
1, j, 2/11
Let d = 3 - 7. Let r(g) = g**3 - 5*g**2 + 3. Let z be r(5). Let w be (2 - (-6)/(-3)) + 1. Sort w, z, d.
d, w, z
Suppose 11 = -3*c - 1. Let w(d) = -d**3 - 3*d**2 + 5*d + 3. Let b be w(c). Put 3, 4, b in decreasing order.
4, 3, b
Let x be 0/(-12) + (-6 - -1). Put -3, x, -4 in decreasing order.
-3, -4, x
Suppose -2*f + 2*t - 8 + 4 = 0, -t + 8 = -4*f. Suppose 4 = -v - 2*k + 6, 1 = v + 3*k. Let c = -7 - -2. Sort f, v, c in increasing order.
c, f, v
Let i = -1 + 1. Suppose 2*c + i*c = 18. Let r be 1 + 15/c + -2. Put 4, -3, r in descending order.
4, r, -3
Suppose 0 = -7*r + 4*r - 2*c - 6, -r + 5*c - 19 = 0. Let l(i) = i**2 - 3*i. Let a be l(4). Let u = -57 + 62. Sort a, r, u in increasing order.
r, a, u
Let k = 30 + -29.01. Let c = 0.01 + k. Let t = 1.98 + 0.02. Put c, t, 0 in decreasing order.
t, c, 0
Let j = 9 + -6. Let y = j - 4. Put 4, -3, y in descending order.
4, y, -3
Suppose -26 = -a - 23. Let y be (-3 - -1)/(4/(-10)). Put y, 11, a in decreasing order.
11, y, a
Suppose 5*q = 3*b - b + 14, -21 = 3*b + q. Sort -2, b, 2.
b, -2, 2
Let k(h) = -h**3 + 21*h**2 - 20*h. Let v be k(20). Suppose -4*i + 2*q + 8 = 6*q, i + 2*q = 6. Put i, v, -1 in decreasing order.
v, -1, i
Let y be (-3 + 2)/((-2)/2). Put y, -5, -1/7 in descending order.
y, -1/7, -5
Suppose 80*j + 12 = 84*j. Sort 1, j, -4 in ascending order.
-4, 1, j
Suppose -5*y + 9 = -2*y. Suppose -2*h + 6 = 4*t, -t - 5*h + y*h - 6 = 0. Let c be ((-8)/10)/(t/(-10)). Sort c, -5, 3 in decreasing order.
3, c, -5
Suppose -2*b - 20 = 3*y, 0 = -2*y + 5*b + 12. Suppose o + 3 = 2*o. Let s be (-8 + 0)*o/(-6). Put 5, s, y in decreasing order.
5, s, y
Let b = 2/205 - 223/1845. Put b, 1/9, 0.4, 0.1 in descending order.
0.4, 1/9, 0.1, b
Let v = 2992 + -9082/3. Let x = v + 36. Sort 1/3, 4, x in decreasing order.
4, x, 1/3
Let c = 1.6 + 1.4. Let u = 0 + -0.1. Put -3, c, u in increasing order.
-3, u, c
Suppos