 order.
1, v, -21
Suppose -2*j - 2 - 8 = 0. Suppose 0 = 4*l - 10 + 2. Let a = 5 - l. Sort a, -2, j in decreasing order.
a, -2, j
Let p = 7/8 + 13/8. Put p, -4, 4, -5 in descending order.
4, p, -4, -5
Let j(z) = -z**2 + 5*z - 5. Let a(g) = 2*g**2 - 9*g + 9. Let t(f) = -4*a(f) - 7*j(f). Let i be t(2). Sort 0, 2, i in decreasing order.
2, 0, i
Let w be -2 + (0 - 0) - -4. Suppose f + w*f = -3. Let g = 4 - 3.8. Sort 3/5, f, g.
f, g, 3/5
Suppose -5*w = 3*h - 12, 5*h - 3*w = -5 - 9. Let n(l) = l**3 - 5*l**2 - 7*l + 3. Let o be n(6). Put h, o, 0 in decreasing order.
0, h, o
Suppose -4*w - 3*j = -23, -w - 2*w + 31 = 5*j. Put w, -2, -6 in decreasing order.
w, -2, -6
Suppose m + 10 = 9. Suppose 0 = -2*z + 5*z. Put z, m, 5 in decreasing order.
5, z, m
Let y = 3.8 - 4.6. Sort y, 0, -3, -1/6.
-3, y, -1/6, 0
Suppose -2*w = 2*w. Sort -2/3, -1/7, w, -0.5 in increasing order.
-2/3, -0.5, -1/7, w
Let f be (-44)/(-258) - (-1)/(-3). Let a = f - 123/301. Let g = 3.3 - 3. Sort a, -1/5, g in increasing order.
a, -1/5, g
Let a be 1/(2/6) - (-1 - -4). Sort -5, 2, a in decreasing order.
2, a, -5
Let b = 0.02 - -0.18. Let v = 0.1 - b. Sort 0, 0.4, v.
v, 0, 0.4
Let c = -183 + 727/4. Sort c, 1/18, -0.3, -5.
-5, c, -0.3, 1/18
Let i(w) = 2*w - 7. Let g be i(5). Let x(c) = c + 1. Let n be x(g). Suppose -3*f - 2*f + n*y = -27, 0 = 4*f - 2*y - 18. Put 0, 1, f in descending order.
f, 1, 0
Let o be 4/(-6) - 160/(-168). Sort -3, o, 0 in increasing order.
-3, 0, o
Let i = -17 - -20. Sort -2, i, -1.
-2, -1, i
Let g be (12/(-15))/(14/5). Sort 1/6, g, -1/4.
g, -1/4, 1/6
Let h = -6 - -8. Suppose 0*s + h*b + 3 = s, -b = -5*s + 15. Let g be -4*6/(-8) + (-8 - -2). Sort 1/2, s, g in decreasing order.
s, 1/2, g
Let m = 9 - 5. Suppose 2*a - 8 = -6. Sort a, 5, m in decreasing order.
5, m, a
Let a = -28.8 - -29. Sort -8, 3/4, a in decreasing order.
3/4, a, -8
Let t = 0 - -7. Let q = 5 - t. Suppose -5*o + 26 = 2*i - 5*i, -i = -5*o + 22. Put o, q, 5 in ascending order.
q, o, 5
Suppose j + 30 = 6*j. Let q(w) = -w**2 + 6*w + 1. Let g be q(j). Let u(h) = -h + 1. Let b be u(-2). Sort g, -4, b in ascending order.
-4, g, b
Suppose -2*r - 4 = z - 3*r, 3*r = 3. Put 2, z, -2 in descending order.
2, -2, z
Suppose -3*w - w - 16 = 5*b, -4*w - 16 = 2*b. Let y = -8 - -10. Put -6, y, w in decreasing order.
y, w, -6
Let f(b) = -b**2 + 7*b - 2. Let d be f(7). Let t be 3/1 + (-9 - -1). Put -1, d, t in descending order.
-1, d, t
Let k = -5.3 - -0.3. Sort 1/4, -0.01, k in increasing order.
k, -0.01, 1/4
Suppose 4 = v - 0*v. Suppose -4*u + 8 = 0, -8 - 34 = 2*o - 2*u. Let y be (o - -15) + 46/12. Put v, y, 0.3 in decreasing order.
v, 0.3, y
Let k = 6 + -1. Suppose 6 = i + 2*i. Sort -1, k, i in decreasing order.
k, i, -1
Let j = 61/60 - 1. Put -0.3, 3, 1/2, j in ascending order.
-0.3, j, 1/2, 3
Let i be (-1)/(-4 - 84/(-20)). Suppose 20 = 4*x, h + h - 2*x + 4 = 0. Let z(q) = q**3 - 3*q**2 + 2*q - 3. Let c be z(h). Put i, c, 1 in descending order.
c, 1, i
Let c = -28.9 + 29. Put -3, c, 5/3 in descending order.
5/3, c, -3
Let j be (3 - 4)*(-1 + 0). Suppose 4 = -d + j. Let f = 2 - 2. Put d, -4, f in descending order.
f, d, -4
Let h be (-68)/(-960) + (-4)/30. Sort -2/5, -3, h in ascending order.
-3, -2/5, h
Let m = 90 + -100.6. Let w = -11 - m. Sort w, -3, -2.
-3, -2, w
Let i = -115 - -118. Let w(o) = -o**3 + 4*o**2 - 4*o. Let k be w(3). Let u = -2.5 + 3. Sort k, i, u in descending order.
i, u, k
Let a be -1*1/(-2)*-2. Suppose 3*c + 24 = c. Let h be ((-8)/c)/2*3. Sort 4, a, h.
a, h, 4
Let z = -1132/11445 + 2/545. Let u = -3 - -1. Put z, -1, u in ascending order.
u, -1, z
Suppose -5*u = -7 + 32. Suppose 8*p = 4*p + 4. Suppose 2*f = p + 1. Sort f, u, 3 in decreasing order.
3, f, u
Let c = -0.33 - -0.03. Let o = 0.4 + c. Sort -2/7, o, -2/3 in increasing order.
-2/3, -2/7, o
Let p be (4*(-1)/10)/2. Sort 2, -5, p in descending order.
2, p, -5
Let f = -6 - -9. Sort -2, 1, f.
-2, 1, f
Let q = 39 - 39. Sort q, 2, -2 in descending order.
2, q, -2
Let p(j) = -j**2 - 17*j - 3. Let h be p(-17). Sort 0, 2, h in decreasing order.
2, 0, h
Let c = 55/3 - 19. Put -0.3, 3, c, 0.1 in ascending order.
c, -0.3, 0.1, 3
Let n(j) = 19*j**2 - 1. Let z be n(-1). Suppose -3*g - 2*y - z = -0*y, 0 = -4*y - 12. Let u = -15 + 15.1. Sort 0.5, u, g in ascending order.
g, u, 0.5
Let k = -89 - -84. Sort -4, 1, k, 0 in ascending order.
k, -4, 0, 1
Let d = -3.5 - -3.8. Let h(v) = v**2 - 4. Let q be h(4). Suppose -w - 2*w + q = 0. Sort -0.5, d, w in ascending order.
-0.5, d, w
Let h = 2 - -2. Let f = -7 + h. Let g = 2 - 4. Put f, -5, g in decreasing order.
g, f, -5
Let a be (-1 + -3)*(-3)/6. Suppose 0 + 6 = a*g. Sort g, -2, 5 in decreasing order.
5, g, -2
Let i = -5 + 5. Suppose 2*a - 7 = 3*x, 4*a + x - 18 = 3*x. Suppose -15 = c + 4*m + 2, 0 = -a*c - m + 10. Sort c, i, -1.
-1, i, c
Let y be 2/12 + (-1)/(-2). Let s = -1.2 + 1.5. Put -2/11, s, y in ascending order.
-2/11, s, y
Suppose q - 1 = 0, 4*y + 2*q + 2*q = -24. Let u be y + 1 + 3 + -2. Put -3, u, 4 in ascending order.
u, -3, 4
Let h(j) be the first derivative of -j**2 - j + 19. Let v(c) = c + 3. Let w be v(-5). Let q be h(w). Sort -1, -3, q in descending order.
q, -1, -3
Let h(d) = -d**2 + 3*d + 3. Let y be h(4). Sort y, -2, 2 in increasing order.
-2, y, 2
Let i(p) = -p**2 - 5*p + 6. Let x be i(-6). Suppose -3*b - 6 = x, -2*b - 16 = 2*u + 2*u. Let t be (-1)/u - (-4)/6. Put 0, t, -1 in ascending order.
-1, 0, t
Let b(k) = -3*k + 1. Let m be b(-1). Suppose 3*z = -5*o - 35, 5*o + 3*z = 5*z - 10. Sort 1, o, m.
o, 1, m
Let d = -0.022 + -0.378. Sort d, 0.1, 1/5 in decreasing order.
1/5, 0.1, d
Let n = 1 - -1. Suppose -5*s - 4*o - 25 + 7 = 0, o = n*s + 2. Let z be (4/6)/(s/(-3)). Put z, 0, 2 in decreasing order.
2, z, 0
Suppose 3*u + 15 = -3*w, -5*w - 25 = -u - 0*u. Sort 5, u, 3 in increasing order.
u, 3, 5
Let d = 0.3 - 0.3. Sort 2, d, -1/5 in decreasing order.
2, d, -1/5
Let v = -47 + 44. Sort 3, v, 7, 1 in decreasing order.
7, 3, 1, v
Let n = -161 - -161.04. Put 2/17, 0.2, n in ascending order.
n, 2/17, 0.2
Suppose s + 2 = -4. Let y be (-4 - 2)/(s/4). Sort y, 5, 0 in descending order.
5, y, 0
Let b = 171 - 174. Put 2/9, b, 3/4, -14 in ascending order.
-14, b, 2/9, 3/4
Let c = 2.6 - 0.6. Let i = -1.6 + c. Let j = 0.7 - i. Sort -4, j, 1 in ascending order.
-4, j, 1
Let n(c) = 0 - 3*c + 5*c - c - 11. Let v be n(6). Put 4, -1, v in increasing order.
v, -1, 4
Let h(y) = -y**3 + 5*y**2 - 4*y + 4. Suppose 2*i - f + 3 = 6*i, 0 = -f - 1. Let k = i + 3. Let a be h(k). Put 2, a, -5 in increasing order.
-5, 2, a
Let j be 66/30 - 2*(-1)/(-10). Let h = 1 - 1. Suppose 16 = -2*x + 2*p, -3*p + 3 = 3*x + 9. Sort x, h, j.
x, h, j
Suppose -2*j + m = -7, -5*m + 2 = j - 4*m. Put -1, -4, j in decreasing order.
j, -1, -4
Let x = 7 - 11. Sort -8, -2, x in decreasing order.
-2, x, -8
Let v = -26.49 + 0.99. Let z = v + 26. Let g(q) = -q**2 + 5*q - 2. Let f be g(6). Put f, -0.5, z in ascending order.
f, -0.5, z
Let i = 76 - 76.4. Put -4, i, 0 in ascending order.
-4, i, 0
Let i(k) = 3 - 5 + 3 - k - 5. Let t be i(0). Put 4, t, 3 in decreasing order.
4, 3, t
Let z = 3 - 2. Let n(h) = 8 - h + 2*h + h. Let s be n(-6). Put z, 5, s in increasing order.
s, z, 5
Let j be 18/112 + (-12)/42. Put -3/2, -2/7, j in decreasing order.
j, -2/7, -3/2
Let y = 4.97 + -5. Let d = -49.73 + 50. Let o = y - d. Sort 4, 1/3, o in increasing order.
o, 1/3, 4
Suppose -4*c - 10 = 3*r - 0, -4*r - 2*c = 0. Suppose 0 = 4*t + 4*i + 8 - 0, 3*i = -r*t - 9. Let g = -192 - -1342/7. Sort 2/5, t, g in descending order.
t, 2/5, g
Let s = -49 + 49.02. Sort 1, 2, s in decreasing order.
2, 1, s
Let d(j) = -2*j. Let s be d(-4). Let z be s/14*(-14)/4. Put -3, -1, z in decreasing order.
-1, z, -3
Suppose -u - 13 - 13 = -3*j, -3*j + 14 = -4*u. Let s be j/(-36) - (-4)/(-18). Sort -3, 1/5, s in decreasing order.
1/5, s, -3
Let y = -8.9 + 0.9. Sort y, 2, 5.
y, 2, 5
Let v be -2*((-45)/(-22) + -2). Let x(k) = k - 2. Let n be x(6). Suppose -n*q + 13 = -o, 2*q + 0*q = -5*o + 23. Put q, 5, v in increasing order.
v, q, 5
Suppose -h - 3 = 4*z, -2*z = 1 + 1. Suppose 2 + 4 = 3*v. Suppose 0 = -i + v*i. Sort i, 2, h in descending order.
2, h, i
Let t = -35 + 31. Sort t, -2/7, -1, -2/3 in decreasing order.
-2/7, -2/3, -1, t
Let k = -135.01 + 135. Let j = 1 - 1.5. Put j, 1, k in descending orde