4, 2
Let t = -81.5 - -63. Let g = t + 23. Let u = g + -4. Sort 4, -1, u in descending order.
4, u, -1
Suppose -5*i = 5*l - 15, i + 2*l - 6 = -2*l. Let j(f) = 2*f**2 + 6*f + 5. Let s be j(-3). Put 1, s, i in increasing order.
1, i, s
Suppose 4*t = -1 + 5. Sort t, -4, -2 in increasing order.
-4, -2, t
Suppose -127 = 6*s - 145. Suppose -2*w - 2 = -4*w. Sort s, w, 11 in decreasing order.
11, s, w
Let i(m) = m**3 + m**2 + m - 5. Let v be i(0). Let n be 3/(-2) + 3/6. Sort 0.4, v, n in ascending order.
v, n, 0.4
Let i be (-2)/(-8) - 113/4. Let k be ((-8)/(-14))/((-8)/i). Let o = -2 + k. Put -5, o, 1 in decreasing order.
1, o, -5
Let y(b) = b**3 - 2*b - 3. Let o be y(0). Put -6, 4, 3, o in descending order.
4, 3, o, -6
Let i be 16/(-24) - 11/6. Sort -3, i, 0.5.
-3, i, 0.5
Let z = -4 - -3. Let x = 0 - 0. Put x, 2, z in increasing order.
z, x, 2
Let a(x) = -5*x**3 + x - 1. Let p be a(1). Suppose 5*o + 19 = -b, -8 = 2*o + 2. Suppose -v = -b*v. Sort p, v, 1 in decreasing order.
1, v, p
Let a = -0.01 + -4.99. Suppose 0 = -4*i - 0*i + 20. Put i, -1, a in decreasing order.
i, -1, a
Suppose -3*q - 42 = -3*w, -w + 1 = -2*q - 22. Let v be (-26)/6 - (-6)/q. Let l = 7 + -6. Put l, v, -2 in ascending order.
v, -2, l
Suppose -5*o + 16 = -4*f, -2*f - 7 - 1 = 0. Put 0.1, o, -1/11 in descending order.
0.1, o, -1/11
Suppose -4 = -j - 0. Let m(v) = -v**2 - 3*v + 5. Let w be m(-5). Put j, 5, w in increasing order.
w, j, 5
Let v = 2 - 1. Let l = -21 - -15. Let q = l + v. Put 0.2, q, -1 in descending order.
0.2, -1, q
Let t be (-16)/(-10) + 12/30. Suppose t*u + 4 = -0*u. Let h be (0/u*1)/1. Put -5, 1, h in decreasing order.
1, h, -5
Let k be (-1)/(-12) + 1/(-3). Let b = -3 - -7. Let c = b - 4. Sort 0.4, c, k in descending order.
0.4, c, k
Let p = 4.8 + 0.2. Let g = p - 2. Let x = -2/49 + 155/196. Sort g, x, -5 in descending order.
g, x, -5
Let f = 50 - 45. Sort -0.1, f, -3, 0.1 in increasing order.
-3, -0.1, 0.1, f
Let d(i) = i**3 - 4*i**2 + 3*i - 9. Let b be d(4). Let u = b - 7. Sort -1, -3, u in ascending order.
u, -3, -1
Let u(i) = -i**2 - 5*i + 1. Let r be u(-5). Sort -5, -20, r in decreasing order.
r, -5, -20
Suppose -5*l - 306 = 4*l. Put 0, l, 4 in decreasing order.
4, 0, l
Let g = -1 - -16. Suppose m - g = -4*m. Put 1, -5, m in decreasing order.
m, 1, -5
Let n = 147.85 + -148. Sort 2, 0.2, 5, n.
n, 0.2, 2, 5
Suppose 0 = m + 3 + 1. Sort 5, 3, m, -3 in descending order.
5, 3, -3, m
Suppose 0*c - 4*c = 0. Let h be c/(3 + 0 + -1). Put h, -4, 1 in decreasing order.
1, h, -4
Let b = 11 - 8. Suppose -7*i = -2*i - 5*u + 15, 5*i - u - 5 = 0. Suppose i*m - 5*p = -37 + 2, 0 = -3*m - 3*p. Put b, -4, m in decreasing order.
b, -4, m
Let t = 61 - 59. Sort 9, -4, -3, t in decreasing order.
9, t, -3, -4
Let u(f) = f - 8. Let v be u(11). Suppose 2*i = v + 3. Sort 0, i, -3 in decreasing order.
i, 0, -3
Let n = 4.5 - -0.5. Suppose -w - 14 = 3*b, 3*b - 3 = w - 19. Let p = -0.2 - -3.2. Put p, n, b in increasing order.
b, p, n
Let d(f) = -3*f**2 - 5*f + 6. Let q be d(5). Let c = -466/5 - q. Let r = -3 - -10/3. Put c, -0.2, r in decreasing order.
c, r, -0.2
Let c = 2.43 - 2.4. Sort -1, c, -1/9 in descending order.
c, -1/9, -1
Let t = -3 - -1. Let g = t + 2. Let k be 27/18*(-6)/(-9). Sort 2, k, g in increasing order.
g, k, 2
Let k = 0.5 - 0.3. Let s = k + -0.6. Let v be (-2)/5*(-1)/(-2). Sort -0.1, s, v in decreasing order.
-0.1, v, s
Let k = 0.2 - -0.3. Let s = 0.04 + -2.04. Put 5, k, s in decreasing order.
5, k, s
Let n be (-3)/(-4) - 90/(-72). Sort -3, n, 0, -2 in decreasing order.
n, 0, -2, -3
Suppose 4*n = k + 2, 0 = 2*k - 2*n - 0 + 4. Let i be (1 + k)/(-1 - 2). Let w = 0.07 + 0.23. Sort i, w, -0.2.
-0.2, w, i
Let x be 1*(-1 + -2 + 3). Suppose 2*g + 4 + 24 = x. Let h = 10 + g. Sort 0, h, 2.
h, 0, 2
Let r = 50 + -247/5. Sort 0.5, r, 3.
0.5, r, 3
Let m be 1*(-2 - -4)*-1. Let o be 1/m*(-5 + -20). Let f = o + -12. Sort 0.1, f, -0.3.
-0.3, 0.1, f
Let r = -7.81 + -0.19. Let n = 5 + r. Sort n, -0.3, 2/21 in decreasing order.
2/21, -0.3, n
Let o = 0.3 + 0. Let z be 15/4 + 1/4. Let x = -0.43 + 0.03. Sort z, o, x.
x, o, z
Suppose -4*a + 3*a - 4*a = 0. Sort -1, 23, a in descending order.
23, a, -1
Let p = 1 - 1. Let f = -7.7 - -2.6. Let z = -5 - f. Put 5, p, z in ascending order.
p, z, 5
Let v(d) = 5*d**2 - 4. Let z be v(2). Let o = -15 + z. Sort o, 13, -4.
-4, o, 13
Let o = 6 + -2. Sort o, 2, -5 in decreasing order.
o, 2, -5
Suppose -112 = -25*p + 32*p. Put 0.3, 1/4, 2/15, p in increasing order.
p, 2/15, 1/4, 0.3
Let c = -18 + 17.7. Sort c, -3/5, 3 in decreasing order.
3, c, -3/5
Let b = 3 - 3.2. Suppose 203*k - 54 = 221*k. Let a = 6.4 + -6. Sort a, b, k in descending order.
a, b, k
Let o = -433/6 - -72. Put -1/9, o, -12, -1 in ascending order.
-12, -1, o, -1/9
Suppose u - 1 - 8 = 0. Let d(b) = -b + 12. Let m be d(u). Suppose m*i + 13 = -5*o, -11 = o - i - 2. Put -1, 1, o in increasing order.
o, -1, 1
Let k be 0/(-2 - -3 - 0). Sort k, -5, 4 in decreasing order.
4, k, -5
Let h = 5.5 - 5. Let y(t) = -t**2 + 4*t - 4. Let c be y(4). Let v be ((-9)/(-66))/(-3)*c. Put 5, h, v in decreasing order.
5, h, v
Let n(t) = -t**2 + 4*t - 3. Let o be n(4). Let w be (0 + -4 + o)*1. Put w, 3, 4 in decreasing order.
4, 3, w
Let v = 3.1 + -1.1. Sort 1/8, -2/7, 0.1, v in ascending order.
-2/7, 0.1, 1/8, v
Let v(n) = 4*n - 1. Let s be v(2). Suppose 18 = 5*g - s. Sort 3, 1, g in decreasing order.
g, 3, 1
Let y be (-18)/(-9) - (-2)/(-4). Let d = -3.04 - -3. Let r be (-12)/3 + 1 + -2. Sort d, r, y in decreasing order.
y, d, r
Suppose 0 = -7*u + 3*u - 24. Let s = u + 4. Let d be (-2)/4 + (5 - 12/8). Put s, -5, d in decreasing order.
d, s, -5
Suppose -10 = -2*c + 5*j, 0 = 6*c - 2*c - j - 2. Let w(k) = -k**3 - 3*k**2 + 2. Let u be w(-3). Sort c, 3, u in ascending order.
c, u, 3
Let b = -26 - -26.1. Sort b, -1/3, -2 in descending order.
b, -1/3, -2
Let i = -0.3 + -0.2. Let m = 5.5 + i. Let k = m + -1. Put k, 0.4, 2 in ascending order.
0.4, 2, k
Let p(v) = -v + 23. Let o be p(18). Sort o, -4, -15 in decreasing order.
o, -4, -15
Let o(i) = 2*i**2 - i - 1. Let u be o(-2). Suppose u = -2*j + 1. Let d = 3 + 1. Put j, 0, d in decreasing order.
d, 0, j
Let t(z) = -z**2. Let n be t(2). Let f be 8 - (-4 - -3 - n). Sort -4, 2, f in increasing order.
-4, 2, f
Let t(b) = 8*b + 2 - 2*b**2 - 3*b - 2*b**2 + 6*b**2. Let c be t(-3). Put 0.4, -6/11, c in descending order.
c, 0.4, -6/11
Let r = -19.7 - -3.7. Let h = r + 19. Let w(s) = s**3 + 3*s**2 - 4*s - 4. Let n be w(-4). Sort h, -0.1, n in decreasing order.
h, -0.1, n
Let r = -8 - 6. Suppose -5*s - 50 = -3*t, s = 5*s - 5*t + 40. Let b = r - s. Sort 2, 0, b in increasing order.
b, 0, 2
Let p be -30*((-9)/(-6))/(-3). Let c = 11 - p. Sort -0.1, -0.2, c in descending order.
-0.1, -0.2, c
Let f = 2.37 - -0.13. Let p = -3.03 + 0.03. Let b = f + p. Put b, 2/3, -4 in decreasing order.
2/3, b, -4
Let z be (-2)/(-12) - 7/6. Put 3, z, 0 in decreasing order.
3, 0, z
Suppose -3 = l - 5. Suppose -4*w + 5*k = 0, 0*w - 5*w = l*k - 33. Suppose 5 = f - 5*u - 14, 4*f - 19 = u. Sort f, -3, w in descending order.
w, f, -3
Let g = -3 - -2. Let i be ((-2)/(-3))/(2/(-6)). Let s(c) = 2*c**2 + 2*c - 2. Let p be s(i). Put p, g, -3 in decreasing order.
p, g, -3
Let b = -5 + 5. Let m = -1 - b. Let p = 132/305 + -2/61. Put m, -2, p in descending order.
p, m, -2
Let x = 27 + -28. Let v be 2/(8*1)*-6. Put v, x, 2/11 in decreasing order.
2/11, x, v
Suppose -2*r + 3 + 5 = 0. Suppose d - 2 = -0*d. Sort 1, d, r.
1, d, r
Let r(c) = 2*c - 2. Let x be r(2). Suppose 2*s + d + 1 = 0, -x*d = -5*d - 3. Sort 4, s, -5.
-5, s, 4
Let q = 4 + -9. Let s = -5 - -1. Let c be (-33)/6 - (-5 - 0). Sort c, s, q in decreasing order.
c, s, q
Let d = 5.3 + -5.7. Sort -1.7, 0.3, d in increasing order.
-1.7, d, 0.3
Let s(g) = g - 2. Let p be s(-3). Let a = p + 5. Suppose a*v = -v. Put 1, v, -5 in descending order.
1, v, -5
Let o = 0.63 - 0.23. Let a = o - 0.8. Put -2/13, a, 3 in descending order.
3, -2/13, a
Let d = 17 + -10. Let p = -2.5 - -2.3. Sort p, 0.5, d in ascending order.
p, 0.5, d
Let a be (-1 + 0*(-2 - -3))/15. Put 1/2, a, -0.1, 4 in descending order.
4, 1/2, a, -0.1
Let q be (-16)/(-6) + (-2)/(-6). Let j(w) = w**3 - 5*w**2 - 8*w + 9. Let m be j(6). Let z = 4 + m. Put 2, q, z in increasing order.
z, 2, q
Let i = -4.937 - 0.063. Put