increasing order.
u, g, 4
Let z = -63 + 67. Put z, -1, 1/4 in decreasing order.
z, 1/4, -1
Suppose 55 = 5*k - 5*b, -3*k - b + 19 + 14 = 0. Let t be (-10)/(-4) - k/(-22). Sort 4, 1, t in ascending order.
1, t, 4
Let t = 2.69 + 0.31. Suppose 0 = -3*a + 8*a + 150. Let r be a/(-26) - (-2)/(-2). Sort t, -2, r.
-2, r, t
Suppose -5*s = -s - 4. Let b = -10.06 - -5.06. Put b, -2/17, s in increasing order.
b, -2/17, s
Let b = -15 - -36. Let r = -23 + b. Sort 2, r, 0 in descending order.
2, 0, r
Let x(m) = -m**2 - 11*m - 12. Let o be x(-10). Let h = -2 + 5. Let p = o - h. Sort 5, p, 2 in descending order.
5, 2, p
Suppose 0 = u - 0*u - 4. Let d be (-3 + 4 + 0)/u. Put d, -2, -18/7 in decreasing order.
d, -2, -18/7
Suppose 4*f + 4*k = -80, -f = 5*k - k + 26. Let l(n) = -n**3 - 19*n**2 - 19*n - 16. Let j be l(f). Suppose -2*d - 4 + 0 = 0. Put j, 5, d in ascending order.
d, j, 5
Suppose 32 + 13 = -5*d. Let j be (-42)/d - (-20)/(-5). Let x be 1/(-4 + (-2)/(-2)). Sort x, -1, j in descending order.
j, x, -1
Let a be 1/(3 + -2 - 8). Let w be 6 + -4 + 11/(-5). Put 0, a, w in increasing order.
w, a, 0
Let u = -19.11 + 19. Let d = u - -0.31. Sort 0.1, 2, d in descending order.
2, d, 0.1
Suppose -5*i + 3*k = 26, -3*i - 5 = k + 5. Sort -1, i, 1, 4 in descending order.
4, 1, -1, i
Let o = -0.4 + 0.8. Let y = -4 + 9. Let x = y - 10. Sort x, -0.3, o.
x, -0.3, o
Let h(r) = -3*r + 3. Let i be h(3). Let u be ((-1)/12)/(i/18). Put u, -0.3, -4 in decreasing order.
u, -0.3, -4
Let w = 0.8 + -1.4. Let h = 0 - w. Sort 3/2, h, 0.2.
0.2, h, 3/2
Let g(x) = x**2 + 19*x - 15. Let z be g(-20). Suppose -3*d + 9 + 3 = 0, -2*d + 5 = -b. Let w be b/2*(-8)/(-6). Put w, z, -4 in descending order.
z, w, -4
Suppose -y - g - 3*g = -8, 0 = 3*y + 3*g + 21. Let b = y + 7. Let z be -1*1/2*-2. Put -3, z, b in decreasing order.
z, -3, b
Let z be (-1)/(-5) + (-27)/360. Put z, -0.4, -0.2 in decreasing order.
z, -0.2, -0.4
Let v = 30 + -34. Sort -1, v, -2 in decreasing order.
-1, -2, v
Let z(l) = l**3 - 11*l**2 - l + 6. Let m be z(11). Put m, 4, 3 in decreasing order.
4, 3, m
Suppose 5 - 13 = -2*s. Let k be 24/(-42) + (-16)/(-28). Sort k, s, -5 in decreasing order.
s, k, -5
Let f be 0/1*(5 + -4). Suppose f = 2*x - x + 3. Suppose 3*y = 3*a - 3, y + a + a - 5 = 0. Put y, -2, x in increasing order.
x, -2, y
Let y be 2/(-9) + 29/9. Sort -1, y, -8 in descending order.
y, -1, -8
Let l = 2.93 - -0.07. Put 5, l, 0 in decreasing order.
5, l, 0
Suppose 5*j - 21 = 3*u, -3*j - 3*u + 9 = 2*j. Suppose j*h + 1 = 7. Let c be 2/(-9) + (-38)/(-9). Sort c, h, -3 in ascending order.
-3, h, c
Suppose -10*b + 5*b + 5 = 0. Let k be 3 - 51/18*b. Put -1/6, -0.4, k in descending order.
k, -1/6, -0.4
Let l = 227/15 - 15. Let i = 3.8 - 4. Sort -4, l, i in descending order.
l, i, -4
Let l be 14/(-44) + 4/(-22) + -1. Let h(p) = -2*p - 13. Let x be h(-9). Sort x, -5, l.
-5, l, x
Let p = -33 - -29. Sort 2/13, 0, p in descending order.
2/13, 0, p
Let v be (-1)/3*(-6 - 0). Let u = 6 - v. Let h be -1 + (0 - (3 - 1)). Sort u, 0, h in ascending order.
h, 0, u
Let c be (8/4*1)/(-9). Let b(g) = g**2 + 5*g + 6. Let t be b(-4). Sort c, 0.3, t.
c, 0.3, t
Let o = -393 + 281. Let n = -115.08 - o. Let f = n + 0.08. Sort 1, f, -1 in ascending order.
f, -1, 1
Let j = -0.024 - 0.176. Sort 3, j, -6.
-6, j, 3
Let i be (4 - 2)/((-1)/2). Let y = -18 + 16. Sort y, 4, i in descending order.
4, y, i
Let z be 8/28 + 60/(-14). Suppose 25 - 10 = -5*s. Sort 4, s, z in ascending order.
z, s, 4
Suppose -o + 37 = 6*w - w, 0 = 3*w + 4*o - 12. Let s be 60/14 - w/28. Sort s, -5, 2 in decreasing order.
s, 2, -5
Suppose 0 = -0*m - 5*m. Put -1, m, 2 in descending order.
2, m, -1
Let a = -77.7 + 78. Let r = 2 - 7/6. Sort -5, r, a in descending order.
r, a, -5
Let b be ((-1)/(-5))/((-16)/(-20)). Let v = 2 + -7. Sort v, b, 1/3 in increasing order.
v, b, 1/3
Let w be ((-2)/5)/((-1)/(-5)). Let b be 0 + -1 + 1 + -4. Sort w, 3, b.
b, w, 3
Let s be (40/(-3))/(-20)*(-3)/(-2). Let f(k) = k**3 + 2*k**2 - 4*k. Let r be f(-3). Put r, -2, s in increasing order.
-2, s, r
Let d(j) = -j + 11. Let a = -10 + 18. Let o be d(a). Let y be 2/o - (-7)/3. Sort y, -2, 0 in descending order.
y, 0, -2
Let w(j) = -j**2 - 10*j - 10. Let q be w(-9). Sort q, 8, -2.
-2, q, 8
Suppose -q + 0*q + 1 = 0. Put -1, -2, q in ascending order.
-2, -1, q
Let x be 1 - 4 - 35/(-5). Put 5, x, 3 in descending order.
5, x, 3
Let s be 257/255 + 4/(-6). Let y = 1/17 + s. Let z = 6 + -6.4. Sort 1, z, y in increasing order.
z, y, 1
Let x(v) = v**2 + 7*v + 3. Let u be x(-7). Let y = -45 + 31. Let b = y + 9. Sort b, 1, u in descending order.
u, 1, b
Suppose -5*a = 25, -3*k + 4*a = 3*a + 43. Let j(t) = -t**3 - 16*t**2 + t + 15. Let i be j(k). Sort -5, 2, i in decreasing order.
2, i, -5
Suppose 52*b - 152 = 14*b. Suppose 3 = 2*r - 3. Sort -4, r, b in descending order.
b, r, -4
Let r(g) = 2*g - 12. Let b be r(4). Sort -5, b, -3 in descending order.
-3, b, -5
Suppose 2*j + 2*j + 8 = 0. Let l = 0.02 + -4.02. Let m = -60 - -59. Sort j, m, l.
l, j, m
Let v = 17 - 21. Sort v, 0.03, 2/23 in decreasing order.
2/23, 0.03, v
Let q be (15/48)/5*6. Let r = 0.3 - 0. Let g = r - -0.2. Put q, g, 1/6 in decreasing order.
g, q, 1/6
Let j be 2/(-5) + (-24)/(-10). Suppose 2*l - 2 = 4*l. Put 4, l, j in increasing order.
l, j, 4
Let n(r) = 2*r**3 + 11*r**2 - 10*r - 27. Let s be n(-6). Put -86/7, s, -1 in ascending order.
-86/7, s, -1
Let v = -1 + 5. Suppose -9 = -5*d + 6. Suppose n + d = v*n. Put 5, n, -2 in decreasing order.
5, n, -2
Let q be ((-17)/153)/(-1*1/(-3)). Put 2, 0, 3, q in decreasing order.
3, 2, 0, q
Let z = -1607 - -1607.0823. Let p = z - -4.8877. Let a = -0.03 - p. Put -2/9, -2/3, a in ascending order.
a, -2/3, -2/9
Let k(t) = -3*t - 35. Let g be k(-12). Sort g, -10, 2, -1.
-10, -1, g, 2
Suppose 3*g + 3*b = 0, -1 = 5*g + 4*b + 2. Sort g, -2/11, -5 in descending order.
-2/11, g, -5
Let b = 20 - 30. Let o = b - -9. Let m = -2 + 3. Put o, 0, m in descending order.
m, 0, o
Let n = -15 - -10. Let j = 8 + -10. Put j, n, 2 in increasing order.
n, j, 2
Let z be (-4)/(-6)*(-4 - -6)*3. Put 6, 2, z in decreasing order.
6, z, 2
Let n(r) = -r**3 + 8*r**2 - 9*r + 8. Let a be n(7). Suppose d + 3*q = -12, -20 = -6*d + d + 5*q. Put d, a, 4 in ascending order.
a, d, 4
Suppose 2*h - 6 = 2*u - h, 5*u - 6 = -3*h. Suppose u*y - 3*y + 18 = g, -24 = -4*y - 3*g. Put 4, 2, y in descending order.
y, 4, 2
Suppose -9 = -2*m - 1, -3*f = 3*m - 18. Sort f, -5, 0 in descending order.
f, 0, -5
Let y be 17/6 + 3/3. Let c = 19/6 - y. Let o = 1 + -2. Sort c, o, 0.5.
o, c, 0.5
Let d = -0.88 - 0.02. Sort d, 3, 0 in increasing order.
d, 0, 3
Let w be (-8)/(-12)*3*1. Put w, -2, -3 in descending order.
w, -2, -3
Let v = -2.5 + 3. Let u = -240 - -242. Sort u, v, -5.
-5, v, u
Let c = -4 - 1. Sort -11, 4, c in ascending order.
-11, c, 4
Let g = 0.04 - 0.04. Let w = g + 2. Put 5, w, -1 in decreasing order.
5, w, -1
Let u be 1/(-3)*(2 + -2). Let w be (-2)/(-4) + (-27)/(-6). Put u, -4, w in ascending order.
-4, u, w
Suppose -a + 6 = 3. Sort a, 2, -4 in increasing order.
-4, 2, a
Let m be 7/(-2) + 1/(-2). Let r = m - -8. Sort r, -1, 5.
-1, r, 5
Let o = 15 + -20. Sort o, 1/5, -0.5 in descending order.
1/5, -0.5, o
Let p(n) = -n**2 - 9*n + 5. Let m be p(-9). Let v = -3 - -2.6. Sort m, -0.3, v in increasing order.
v, -0.3, m
Let w = 4.87 + 0.13. Put w, -2, -2/31 in ascending order.
-2, -2/31, w
Let s = -9 + 2. Let m be (-5 - s)/(20/2). Put m, -0.2, 1/2 in descending order.
1/2, m, -0.2
Let q = -0.49 + 0.29. Sort 0.4, q, 0.5 in descending order.
0.5, 0.4, q
Suppose o - l = l, -30 = -2*o - 2*l. Suppose 2*d + o = 7*d. Suppose 0 = -4*b - 0*b - 16. Put b, d, -0.2 in descending order.
d, -0.2, b
Let t = -4 + 4.3. Let s(j) = -j + 1. Let l be s(7). Let h be (l/(-4))/(35/(-10)). Sort 5, t, h in decreasing order.
5, t, h
Let l = -7 + 7.5. Put l, 2, 2/7 in decreasing order.
2, l, 2/7
Let j(f) = f**3 - 6*f**2 + 6*f - 7. Let t be j(5). Let p(d) = 4*d**3 + 3*d**2 + 2*d. Let r be p(-1). Sort t, r, 0.
r, t, 0
Let m = -0.32 + 0.02. Let j = 0.4 + 0.1. Let i = 0.3 + -0.1. Put m, i, j in ascending order.
m, i, j
Let o = 7 + -5. Suppose 2*a - o*c - 44 = 0, 5*c - 137 = -5*a + c. Suppose a = 3*k + 2*k. Put -2, k, 0 in ascending order.
-2, 0, k
Suppose -19*q - 4 = -20*q. Put q, 5, -3 in ascending or