 order.
3, b, -0.6
Let m = 10 - 12. Sort -5, 3, m.
-5, m, 3
Let g be 6/10*(-10)/(-15). Sort -6, g, -2 in decreasing order.
g, -2, -6
Let j be 26/10 + (-2)/(-5). Let m = 1.3 - -0.7. Sort j, 5/2, m.
m, 5/2, j
Suppose -6 = -2*t, -11 - 7 = -4*h - 2*t. Suppose -4*d = h*r + 2*r + 37, -5*d - 40 = 5*r. Let f be (-5)/(-2)*(-8)/(-10). Sort d, f, 5 in descending order.
5, f, d
Let t = 21 + -17. Let l = -3.6 - -0.6. Let c = t + l. Sort 3, c, 0.2.
0.2, c, 3
Suppose -5 = -2*w + 3. Sort -9, w, -3 in ascending order.
-9, -3, w
Let c be (1/3)/((-8)/12). Let a = -0.6 + 5.6. Let b = a + -6. Put 4, c, b in descending order.
4, c, b
Suppose 2*m + 5*b - 8 - 12 = 0, -2*m = 3*b - 12. Let q be 2977/143 + (-4)/(-22). Let k = q - 23. Sort 5, m, k in decreasing order.
5, m, k
Suppose -36*m = -34*m - 6. Let g = 6 + -11. Sort g, 4, m in decreasing order.
4, m, g
Let r = 8 - 4. Suppose -r = 2*q - 14. Sort q, -1, 3 in decreasing order.
q, 3, -1
Suppose -4*h = -29 + 109. Let q = -25 - h. Sort -4, -2, q.
q, -4, -2
Let d be 3 + (7 + -3)/(-4). Suppose -5*y - 10 = 4*r, 5*r - 55 = 7*y - d*y. Let k be (-3)/(-2)*2/3. Put k, -2, y in decreasing order.
k, -2, y
Suppose l + 7 = 2. Let i be (-8)/28 + (-298)/(-14). Suppose -5*v - 6 = -i. Sort v, 1, l in decreasing order.
v, 1, l
Let t = -2 - -2. Let l = -10 + 16. Let s be 2/l*(1 + -4). Put t, -3, s in increasing order.
-3, s, t
Let z be 3/((-9)/15)*-1. Sort -0.5, -4, z in ascending order.
-4, -0.5, z
Let u(h) = 0*h - 2*h + h. Let p be u(4). Let z(y) = -y + 12. Let g be z(7). Sort g, p, 2 in increasing order.
p, 2, g
Let h be 1 + 10/(-6) - (-8)/84. Sort -4/5, h, -2/3, -0.1.
-4/5, -2/3, h, -0.1
Let r = 4 - 2. Suppose 4*s = r + 2. Let t be -3 - (9 + 0)/(-3). Sort s, t, -5 in decreasing order.
s, t, -5
Let x(k) be the second derivative of -k**3/6 + 8*k**2 + 2*k. Let q be x(7). Let g = q - 6. Put 2, g, 0 in descending order.
g, 2, 0
Let s(l) = l**3 - 7*l**2 - l + 2. Let p be s(7). Let f be (p/2)/((-3)/(-6)). Sort 0, f, 2 in increasing order.
f, 0, 2
Let z(m) = 12 - 7*m + m + 7*m. Let i be z(-6). Put -2, 0.5, i in decreasing order.
i, 0.5, -2
Suppose -2*k - 2 = -4*d + 2, 3 = 3*d + 5*k. Suppose 5*m - 9 = d. Put -3, 5, m in descending order.
5, m, -3
Let l be ((-1)/3)/(1/15). Let o = 0 + 4. Put o, l, 5 in decreasing order.
5, o, l
Let a = -2 - -1.5. Let x = 0.11 + -0.31. Sort -1, x, a.
-1, a, x
Let n be ((-3)/1)/(15/10). Sort n, -3, -1.
-3, n, -1
Suppose 2*q + 5 + 1 = -2*j, -5*j + 25 = -5*q. Suppose 0*a - 1 = -a. Put a, 4, q in decreasing order.
4, a, q
Let n = -82 + 79. Put 3, n, 2 in decreasing order.
3, 2, n
Let n = 3 - 1. Let d be 27/12 - (45/20)/(-9). Sort 1/4, d, n in decreasing order.
d, n, 1/4
Let j be -2*(1 - 15/6). Suppose -14 = -j*c - 2*z, 0 = 4*c + c - z - 19. Let w be (-4)/(-14) - (-2)/(-7). Sort c, 3, w.
w, 3, c
Let l = -3.3 + 3. Put 2/7, 1/8, l in decreasing order.
2/7, 1/8, l
Suppose -6*o + 4*o = -4*k + 14, 5*o = 3*k - 28. Let f = o - -7. Let x = -10 - -10. Sort 3, f, x.
x, f, 3
Let l = -3.3 - 0.7. Put l, 4, -1 in increasing order.
l, -1, 4
Let n = 322278 + -60265838/187. Let h be (-10)/(-11) - (0 + 0). Let z = n - h. Put z, 0.1, 5 in decreasing order.
5, 0.1, z
Let d = 21 - 18. Put 1, d, -2 in descending order.
d, 1, -2
Suppose 2*c = -4*h + 10, -h + 2*h + 2*c = 4. Put 20, -2, h, -5 in decreasing order.
20, h, -2, -5
Let h(r) = r**2 - 4*r - 15 + 4*r + 6*r. Let m be h(-8). Sort -3, m, -6 in descending order.
m, -3, -6
Let z be (-34)/4 + (-3)/(-6). Let f be z*2*(-4)/16. Sort f, -7, -3 in descending order.
f, -3, -7
Suppose r + 5 = 0, p + 0*p = -r - 2. Suppose 5*f = 4*f + p. Put -4, f, -5 in decreasing order.
f, -4, -5
Let u(n) = n**2 - 2*n + 1. Let z be u(2). Suppose 0 = 3*k, 0 = -r - k + 5 + 10. Suppose r = 2*i + i. Sort i, z, -1.
-1, z, i
Let j(h) = h**3 + 3*h**2 + h + 1. Let k be j(-3). Let n be k/1 + 76/10. Let o = n - 107/20. Put o, 2, -4 in descending order.
2, o, -4
Let d = -18 + 23. Sort 1, -3, d.
-3, 1, d
Let n(l) be the second derivative of l**5/20 + l**4/4 + l**3/6 + 2*l**2 + 3*l. Suppose -3*t - 1 = 8. Let v be n(t). Sort 4, v, 0.
0, v, 4
Suppose -4*c = -0*c - 12. Let u be (3/c - 1)/(-2). Suppose -10 = 6*a - a. Sort u, a, -5 in decreasing order.
u, a, -5
Let v be (-316)/(-28) - (-2)/(-7). Let f = 15 - v. Put f, 3, -5 in increasing order.
-5, 3, f
Let i = 36 + -34. Sort 0.4, -2, 4, i.
-2, 0.4, i, 4
Suppose -4*v - v - 4*a = -322, 4*v + 2*a - 260 = 0. Let g be (-2)/(-1) - 144/v. Sort 4, 12, g in increasing order.
g, 4, 12
Let r be (-8)/48*(-2 + 6). Let g = 6 + -1. Sort 0, r, g.
r, 0, g
Suppose -3*q - 5*x = -6*q + 6, 0 = 5*q - 5*x - 10. Let o be (2 - 1) + -4 - q. Let a(b) = b**2 + 6*b + 6. Let r be a(-5). Put r, o, 0 in decreasing order.
r, 0, o
Let j(i) = -4*i**2. Let g be j(1). Let y = 1 - g. Let o(p) = -p**2 + 6*p - 7. Let n be o(y). Put n, 5, 4 in descending order.
5, 4, n
Let b be 6/(-10)*2/12. Let k = -0.9 + -0.2. Let q = -5.1 - k. Sort q, b, -2 in ascending order.
q, -2, b
Suppose -6*i - y + 25 = -2*i, -35 = -5*i - 5*y. Suppose 0 = 3*k - 3*c, -c + i = 3*k + 2*c. Sort -4, 2, k in decreasing order.
2, k, -4
Let v = -81 - -83. Sort 0.1, 0.028, v.
0.028, 0.1, v
Let p be 2/(-17 - (1 - 3)). Put -2/17, p, -1, 1 in increasing order.
-1, p, -2/17, 1
Let k(d) = 2*d**2 + 7*d + 4. Let r be k(-4). Let w = 693 - 693.2. Put 4, r, w in descending order.
r, 4, w
Let b(s) = -s. Let u be b(-2). Suppose -4*w - u*f + 14 = 0, -4*w + 2*f + 34 = -0*w. Suppose -k + 5 = -w*k, -n + 5*k = 0. Put 5, 2, n in increasing order.
n, 2, 5
Let g = -143.5 - -143. Put g, -3/2, 5 in increasing order.
-3/2, g, 5
Suppose 3*t - 5*t = 0. Let j be 12/(-114) + t/(-2). Let r = 7 + -3. Put r, j, -2/5 in descending order.
r, j, -2/5
Let q be 3/((588/(-16))/7). Sort -2, 0.5, -5, q in increasing order.
-5, -2, q, 0.5
Suppose 2*i = 2*n + 4, -i + 0*i = 4*n - 17. Suppose 5*x + 5 = 3*z, -13 = -i*x - 2*z + 7. Sort -2, 1, x in decreasing order.
x, 1, -2
Let i = 0.3 + -1.3. Let h = i - -6. Let x be -2 + 3*(-1)/(-1). Sort h, 0.1, x.
0.1, x, h
Let g(y) = y - 3. Let z be g(6). Let s(p) = -p**3 + 5*p**2 - 5*p + 1. Let i be s(4). Let t be -3*(2/i - 0). Sort t, z, -1 in descending order.
z, t, -1
Suppose 0*v - 3*v = -5*z + 4, -v - 5*z = -32. Suppose 11 = -2*q - j, -q + 2*j = 3*j + v. Suppose 0 = -3*w + 4*w. Sort q, 1, w.
q, w, 1
Let w be (-7 - -6)/(2/(-4)). Let m = 4 + -6. Let p be (0 - 2)/(m/(-4)). Sort p, w, 4.
p, w, 4
Let o be 1/(-2 + 5/2). Let q be (4 - 3)*-2 - -2. Suppose -2*n + 3 = 3*f, -n + 4 = -q*n + 4*f. Sort 1, o, n in increasing order.
n, 1, o
Suppose -5*d - 15 = 4*r, -r + 3*d = -14 + 5. Suppose -w + r = -2. Sort 3, 5, w in ascending order.
w, 3, 5
Let s(b) = 2*b + 4. Let m be s(-3). Let p be ((-25)/(-2))/(m/(-4)). Suppose w = -5*i - p, -3*i = -w - 7*i - 21. Sort 2, 0.3, w in descending order.
2, 0.3, w
Let m = 5 + -5. Suppose -19*w + 18*w - 4 = 0. Sort m, -3, w in ascending order.
w, -3, m
Let s = -75 - -70. Let t be (-4)/(-6) + 16/(-6). Put t, -4, s in ascending order.
s, -4, t
Suppose 3*s + 13 - 1 = 0. Sort 5, s, -3 in ascending order.
s, -3, 5
Suppose 4*q = -q + 10. Sort q, -4, -5 in ascending order.
-5, -4, q
Let z = -48 + 43. Let t(d) = -d**2 - d - 1. Let s be t(-2). Sort s, 4, z in increasing order.
z, s, 4
Let i = -20 - -11. Let o = i - -9.5. Sort 5, -0.5, o in decreasing order.
5, o, -0.5
Let j = 2.6 + 0.4. Let z = -10 - -6. Put z, 3/4, j in decreasing order.
j, 3/4, z
Let w be ((-1)/(-3))/((-1)/(-3)). Let k = 19 - 14. Let t be (0 - 0)/(0 - 1). Sort w, k, t in descending order.
k, w, t
Let p be (2/(-20))/(2/(-4)). Sort p, 2, -0.1 in descending order.
2, p, -0.1
Suppose 0 = -3*l + 2*v + 3*v + 24, 0 = -4*l + 3*v + 21. Suppose -4*b + 12 = -4*o - 3*b, -2*o - 2*b - 16 = 0. Sort o, l, 5 in decreasing order.
5, l, o
Suppose 3*b + 2*b - 15 = 0. Let n be b*(-1 + 2/3). Sort n, -2/11, -0.4 in increasing order.
n, -0.4, -2/11
Let m(c) = -c**2 - c + 10. Let o be m(0). Suppose -2*s = -o, 5*i + 10 = -2*s + 7*s. Sort i, -3, 0 in descending order.
i, 0, -3
Let l be ((-2)/(2/1))/(72/(-360)). Sort -12, l, -4 in descending order.
l, -4, -12
Let j be -6 - (3 + -6 - -2). Put -0.5, j, 0.4, -0.4 in descending order.
0.4, -0.4, -0.5, j
Suppose 4*i - 61 = 19. Suppose -2*h - 3*h = i. Let f = h + 7. Put 4, 5, f in descending order.
5, 4, f
Let i = 2.3 + -0.3. Let z = -58/315 + -1/63