 1, -3
Suppose -6*z - 3 + 21 = 0. Let d be z*((-3)/(-3))/(-1). Put 1, -2, d in decreasing order.
1, -2, d
Let i(d) = d**3 - 14*d**2 - 2*d + 32. Let a be i(14). Let c be (-2)/(0 + 2/3). Sort 2, c, a in ascending order.
c, 2, a
Suppose 2*f = -r, -2*f + 1 = -r - 3. Suppose 3*l - 3*m - 2 = f, 17 = -3*l - m. Put 5, l, 2 in ascending order.
l, 2, 5
Let q = 1/3 + -2/15. Let d(v) = 2*v**2 - v. Let j be d(-1). Let o be (j/(-18))/((-2)/6). Sort o, -2, q.
-2, q, o
Let p = -0.2 + 0.3. Put -4, p, 4 in decreasing order.
4, p, -4
Let s = 0.14 - 0.54. Let d = 0.04 + -3.04. Sort 4, s, d in ascending order.
d, s, 4
Let p = -0.484 - 3.486. Let m = 0.03 - p. Let h = m - 4.5. Put 1/3, h, 3/4 in decreasing order.
3/4, 1/3, h
Let p = 3.8 + -4. Let a(o) = 3 + 5*o**2 + o - 4*o**2 + 0. Let k be a(0). Sort k, p, -0.5.
-0.5, p, k
Let l = 0.2 + -0.7. Sort -5, -1, l, 0.7.
-5, -1, l, 0.7
Let w = -0.3 - -0.3. Put 0.3, w, -2 in descending order.
0.3, w, -2
Let p = 8 - 12. Let d = p - -9. Suppose -2*i + 3 = -k - i, -2*k - 3*i = 11. Sort d, 4, k in descending order.
d, 4, k
Let r be (-9)/(-1)*1/3. Suppose 0 = -t - 0*t. Suppose -10 = -2*y, -5*b - 3*y + 0*y + 5 = t. Sort 2, b, r in decreasing order.
r, 2, b
Let q = 2.1 + -7.1. Sort 2, q, -11.
-11, q, 2
Let z = -23/7 + 177/56. Let o = 0.08 - -0.02. Sort z, o, -4 in descending order.
o, z, -4
Let c(p) = p**3 - 6*p**2 + 4*p + 7. Let o be c(5). Let k be -6*(-7)/(-105) + 26/(-10). Put k, o, 1 in decreasing order.
o, 1, k
Let k = -111 - -111. Sort 5, -8, -1, k in descending order.
5, k, -1, -8
Let u(c) be the first derivative of -c**4/4 - 5*c**3/3 - c**2/2 - 7*c - 1. Let v be u(-5). Let h be (-1)/(v + (3 - 0)). Sort -2, 3, h in ascending order.
-2, h, 3
Let y = -87 + 92. Put 4, y, 0 in increasing order.
0, 4, y
Suppose 0 = -3*g + 3*d - 3, 22 = 4*g - 2*g + 4*d. Suppose g*m = -0*m - 6. Put -0.2, m, -0.1 in descending order.
-0.1, -0.2, m
Let n = -1.09 - -1. Let b = n - 2.91. Put b, -1/3, 2 in descending order.
2, -1/3, b
Let f(z) = z**3 - 3*z**2 - 8*z - 5. Let j be f(5). Suppose -h + 3 = -4*h. Put j, h, 1 in decreasing order.
j, 1, h
Suppose -3*r + 5*i + 30 = 2*i, -r - 3*i = 6. Put r, 3, -2 in decreasing order.
r, 3, -2
Let w = -4.8 - -5. Let z be ((-9)/162)/(2/4). Let d be 24/(-182) - 4/(-14). Sort z, w, d.
z, d, w
Let y = 43/6 - 17/3. Let o = -3 + 4. Let l be 5/2*o/(-10). Put l, y, -0.3 in ascending order.
-0.3, l, y
Let n = 0 + 4. Let t = -13 - -2. Let f = 8 + t. Put 0.2, f, n in increasing order.
f, 0.2, n
Let f(s) = -5*s**2 + s - 1. Let c be f(1). Let l = 7 + c. Suppose 0 = -2*x + x + 4. Put x, l, -2 in decreasing order.
x, l, -2
Suppose 3*w + 5*t - 11 = 0, 20 + 5 = -3*w + 4*t. Let g(p) = p**3 - 8*p**2 + 6*p + 10. Let r be g(7). Sort w, -1, r.
w, -1, r
Let z be 2/(-7) + (-60)/(-14). Let o(i) = i + 9. Let q be o(-14). Let l = q + z. Put 1/2, l, -0.5 in descending order.
1/2, -0.5, l
Let l = -183 + 184. Put -1/7, l, 0.3, 2/13 in ascending order.
-1/7, 2/13, 0.3, l
Let x = -56 - -61. Let i be 2/4*(2 + 2). Sort x, i, -5 in decreasing order.
x, i, -5
Let s(i) = i**2 - 6*i. Let p be s(5). Let z be ((-4)/(-7)*-1)/((-4)/14). Put p, z, -2 in decreasing order.
z, -2, p
Let j(u) = -u**2 + 7*u + 8. Let l be j(8). Suppose -5*r + r + 4 = l. Let w(z) = -z**3 + 6*z**2 - 5*z. Let b be w(5). Sort r, b, -5 in decreasing order.
r, b, -5
Let d be 40/144 + (-2)/(-9). Let i = 0.06 - -2.44. Let r = 2 - i. Sort d, 0.4, r in decreasing order.
d, 0.4, r
Let r = 66/5 + -13. Let c = 5/6 - 47/42. Sort r, c, -1/3 in descending order.
r, c, -1/3
Let j be ((-4)/(-3))/((-14)/42). Sort j, -2, 5 in decreasing order.
5, -2, j
Suppose -5*s = 3*s. Put 4, 5, -2, s in decreasing order.
5, 4, s, -2
Let a = 57 + -96. Put 2, -3, a in descending order.
2, -3, a
Let f be 1 + -4 - (-147)/48. Let g be (-8)/10*5/(-14). Put g, -1/3, f in ascending order.
-1/3, f, g
Let x = 20 + -25. Suppose 4*o - 15 = 9. Suppose -2*i = 3*k - 2, -k - o = 2*i + 2*i. Put x, -3, k in descending order.
k, -3, x
Let k be -1*1 - ((-192)/(-56))/(-3). Let g = 5.9 + -0.9. Put k, -1, g in increasing order.
-1, k, g
Let x = 804/2765 - 2/395. Let a = -1.8 - -2. Sort a, 1, x in ascending order.
a, x, 1
Suppose i = -14*i - 45. Put 5, i, -45 in increasing order.
-45, i, 5
Let c = 1 - 0. Suppose 5*u = -b - c, 3*u + 4*b + 0 + 4 = 0. Suppose u = i - 0*i + 4. Put -5, 3, i in decreasing order.
3, i, -5
Let q = -0.2 + -0.8. Let z be ((-3)/2)/(-6 + 3). Put -4, q, z in descending order.
z, q, -4
Let z = -11 + 15. Let m = 0.59 + -0.49. Sort -0.4, z, m in descending order.
z, m, -0.4
Let d = -35 - -30. Let g = 5 - 7. Let t = 1.9 + g. Sort d, -3, t.
d, -3, t
Let s be (-14)/(-16) + 1/(-1). Let b = 0.28 + 0.12. Let o = b + -0.5. Put o, -3/2, s in increasing order.
-3/2, s, o
Suppose 2*q = 4 + 2, c + 2 = 3*q. Suppose 3*f + 1 - c = 0. Let a = 0.3 - 0.4. Sort a, -4, f.
-4, a, f
Let w be (1 + -3)/(12 - 9). Suppose s = -4*z - 4*s, 4*z + s = 16. Suppose -z*u = -4 - 1. Sort w, u, 2.
w, u, 2
Let m = 0.362 + -19.262. Let t = m + 19. Sort t, 3/2, -4.
-4, t, 3/2
Let c = 0 + 0. Let j(l) = 11*l - 119. Let a be j(11). Sort a, c, -4 in decreasing order.
a, c, -4
Let h be 3/(-18)*3*3*4. Put 4, 2, h in descending order.
4, 2, h
Suppose 5*r = -0*r - 30. Let i(s) = s**3 + 6*s**2 - 4. Let h be i(r). Put h, 2, -2 in ascending order.
h, -2, 2
Let i = -47 - -46. Sort -2, i, 1/3 in decreasing order.
1/3, i, -2
Suppose -5*u - 24 = 1. Suppose -3*k - 6 = -j - 4*k, -5*j + k = -12. Sort u, j, 2 in decreasing order.
j, 2, u
Let h = -2 - -6. Suppose -3*s = -l + 18, -4*s + 3*s + h*l - 6 = 0. Sort -1, -4, s.
s, -4, -1
Let t = 98 + -93. Sort t, -2, 0, -4 in ascending order.
-4, -2, 0, t
Suppose -3*k = 146 - 155. Sort -2, k, 1 in decreasing order.
k, 1, -2
Let w be -1*3*1/3. Put -3, 3, w in descending order.
3, w, -3
Let k be 7 + -2 - (-2)/(-1). Suppose -18 = -3*z - 0. Put -4, k, z in descending order.
z, k, -4
Let h = -2 + 1. Let r be ((-1)/h)/(1/(-4)). Put 2, r, 5 in decreasing order.
5, 2, r
Let b = 0.79 + -0.29. Put -1.1, 0, b in descending order.
b, 0, -1.1
Suppose 0 = -2*f + 5*h - 12 + 2, -4*f = -5*h. Sort 1, 3, f in ascending order.
1, 3, f
Suppose x = 5*t - 10, -2*x - t = -x + 4. Let u = -5 - -4. Let m = u + 0. Sort x, m, 3.
x, m, 3
Let j = 4.2 + -4. Suppose -3*t + 39 = -0. Let n be 0 - t/11 - -1. Sort -1/10, n, j.
n, -1/10, j
Let f = 7 + -3. Suppose 0 = 4*n + 3*s + 10 + 21, -f*s - 36 = 4*n. Put -3, 0.4, n in increasing order.
n, -3, 0.4
Let h = 22 - 11. Let s = h - 7. Put 3, s, 0 in increasing order.
0, 3, s
Let a = 531/7 - 76. Let h = -2 - -4. Put h, -3/2, a in descending order.
h, a, -3/2
Suppose j + 1 = -1, 0 = i + 3*j + 3. Suppose -4*r + i*r + 5 = 0. Suppose -f - r = -2. Put 1, -1, f in descending order.
1, -1, f
Let u(m) = -m**3 + m**2 + m - 1. Let v be u(1). Let g be (-1)/2 - 2/4. Sort v, 4, g in descending order.
4, v, g
Suppose 3*i = q - 1, -5*i + 5 - 35 = 4*q. Let r = 4 + -4. Let y be -3 + (5 - (3 + r)). Sort q, y, -2.
q, -2, y
Let h = -19.9 - -20. Put h, 9, -0.2 in descending order.
9, h, -0.2
Let n = 12 - 12.5. Sort 0.3, n, 2/21 in ascending order.
n, 2/21, 0.3
Suppose 0 = -d + 3, 4*d = -y + 15 - 3. Put 59, -4, y in ascending order.
-4, y, 59
Let o = -1 + 4. Let c be ((-16)/6)/((-2)/o). Let a be (-6)/c*(-1 + -1). Put a, 0, -2 in decreasing order.
a, 0, -2
Let k be 39/(-52) - (-3)/4. Suppose -5*l = -2*i - 12, 3*i = -0*i + 5*l - 8. Let g be (-3)/i - k/1. Sort g, 1/6, -0.3 in decreasing order.
1/6, -0.3, g
Let b = 13.2 + -13. Sort 0.5, -0.1, b in decreasing order.
0.5, b, -0.1
Let y be (-8)/(-3)*6/(-4). Let t = -3 - -8. Sort t, 3, y.
y, 3, t
Let q(j) = -10*j + 15. Let w be q(3). Put w, 2, -5, 5 in decreasing order.
5, 2, -5, w
Let q be 10/4*56/35. Let o = q - 0. Let s be 0*(3 + -2 - 2). Put 5, s, o in decreasing order.
5, o, s
Suppose 3 = -2*t + 13. Put t, 7, 3 in increasing order.
3, t, 7
Let t = -4 + -1. Suppose -7 = -5*q + s, -3 = 3*q + s - 4*s. Suppose 5*y - 3*y + 2 = 2*b, b + 2*y = -q. Sort t, -1, b.
t, -1, b
Let m = -24 + 35. Let w = m - 8. Sort 4, w, 0 in decreasing order.
4, w, 0
Let c be (0 - -3) + -5 - -16. Suppose f + f = -4*d - c, 4*d + 5 = f. Put f, 3, 5 in increasing order.
f, 3, 5
Let y(i) = 2*i**2 - 3*i + 1. Let o be y(2). Let m be (-26)/(-10) - 6/(-15). Suppose 13 = 2*g + 2*b + m, 2*b - 20 = -4*g. Put 4, o, g in descending