, -1 in descending order.
h, u, -1
Let y be ((-614)/10)/(8/(-1)). Let x = y + -55/8. Sort x, 0.5, 1/7 in increasing order.
1/7, 0.5, x
Let n = 18 + -27. Let o be 6/n + (-17)/(-3). Put -2, 2, o in descending order.
o, 2, -2
Let n(v) = -3*v. Let i(m) = m + 8. Let x be i(-9). Let b be n(x). Suppose -4*j - 5 + 1 = 0. Sort j, 2, b.
j, 2, b
Suppose 0*u = 6*u - 2*u. Put 4, 2, 1, u in descending order.
4, 2, 1, u
Suppose -6*m + m = 75. Put m, -2, 5 in increasing order.
m, -2, 5
Let q = -17.3 - -17. Sort q, 3, 0 in decreasing order.
3, 0, q
Suppose -2*v + 2 = -4. Let a be 4 + 0/(-1*v). Put -4, 1, a in ascending order.
-4, 1, a
Let m(c) = 9*c - 1. Let k be m(-1). Let i(d) = -d**2 - 9*d + 6. Let j be i(k). Sort 3, 5, j.
j, 3, 5
Let l = -9 - -6. Suppose 0 = -2*s - 2*f + 2, -2*s + 0*s + 18 = -2*f. Let c be 0 - -2*10/(-4). Put s, l, c in decreasing order.
s, l, c
Suppose 2*m + 0*m - 4*a = -6, 3*a + 3 = 0. Let x = 14 + -12. Suppose 2*u - x = u. Put m, u, -4 in descending order.
u, -4, m
Suppose 0 = -2*h + h. Suppose 5*z + 2*g - 20 = 2*z, 2*z + 5*g = 6. Suppose b = 5*b + z. Sort h, b, -1 in descending order.
h, -1, b
Let g = -29 - -26. Put 4, 5, g in decreasing order.
5, 4, g
Let l = 20 + -16. Let f be 2*(2/3 + -1). Put f, l, -1/10 in increasing order.
f, -1/10, l
Let h = -1 - 2. Suppose 0 = -n + 3*s - 7 - 1, -2*s = -6. Suppose 2*b + 7 = -0*b - r, 18 = -3*b - 4*r. Sort n, h, b in increasing order.
h, b, n
Let a(y) = -y**2 + 3*y + 1. Let s be a(2). Sort 6, s, 0 in descending order.
6, s, 0
Let s = -0.07 + -0.13. Sort -1/4, s, -1/2.
-1/2, -1/4, s
Let b be ((-2)/8)/(20/16). Let j be 2/(-1) - (-70)/25. Sort 0.5, j, b in increasing order.
b, 0.5, j
Let t = -2/307 - 600/2149. Let s = -0.8 + -0.2. Sort 0, s, t.
s, t, 0
Suppose 4*g + 7 = c, 0 = -4*c + 5*g - 3 - 2. Let q = 303 + -299. Put q, c, 0 in increasing order.
c, 0, q
Let r = -113 - -115. Sort -2, 1/2, -5, r.
-5, -2, 1/2, r
Suppose -30 = -2*j - 4*f, 5*j - 5*f = -3*f + 15. Sort -4, j, -6 in decreasing order.
j, -4, -6
Let x(u) = u**2 - 3. Let m be x(4). Suppose m = -4*l - 3. Let j be 5 + 3/(-6)*6. Sort j, l, 3 in increasing order.
l, j, 3
Let f(u) = -u**2 + 4*u + 3. Let n be f(4). Suppose -6*r - n = 27. Let c(y) = y - 1. Let d be c(1). Sort 3, r, d in descending order.
3, d, r
Let s be (-9)/45 + (-8)/(-10). Sort -0.5, -4, s in descending order.
s, -0.5, -4
Let u(j) = j**3 - 2*j**2 - j + 1. Let p be u(1). Sort -3, 3, p in descending order.
3, p, -3
Let c(h) be the first derivative of h**2/2 - 7*h - 3. Let d be c(5). Let t = -8 + 4. Sort d, t, 2 in descending order.
2, d, t
Suppose -4*g + 0*g + 22 = -5*a, 0 = -a + 4*g - 14. Let k be (-36)/(-10)*5/2. Let n be 6/3*(-1)/k. Put 0, n, a in ascending order.
a, n, 0
Let m be 2*-1*3/(-2). Suppose -m*q - 2*w + 31 = -3*w, 3*q - 4*w = 34. Suppose 2*o - 4*o = q. Sort o, -3, 5.
o, -3, 5
Let b = -6 - -10. Let d be 55/(-45) + 6/27. Let w be (-1)/(-3) + 2/(-6). Sort b, d, w in increasing order.
d, w, b
Let i = -3.6 + 3. Let c = 2.6 + i. Let f(q) = -2*q**2 - 3*q - 1. Let v be f(-2). Sort v, c, -2/15 in ascending order.
v, -2/15, c
Let h be 1 - (380/68)/5. Sort h, -4, 4.
-4, h, 4
Let m = 3 - 3. Let a(t) = -3*t - 3. Let u be a(-2). Sort 4, u, m in increasing order.
m, u, 4
Let b be 0 + -2 + 15 + 4. Sort 2, b, 3 in descending order.
b, 3, 2
Let h = -18 - -20. Put 0.2, 0.3, h in descending order.
h, 0.3, 0.2
Let i = 17 - 33/2. Suppose t + 0 - 1 = 0. Suppose -2*g = -2*u, g - 3*u - 7 = -t. Sort i, g, 0.
g, 0, i
Let g = -2.4 - 0.6. Let d = 2 + g. Sort -4/3, d, 4.
-4/3, d, 4
Let p = 0.3 - 0.8. Let v = 1.35 + -0.15. Let z = -3.8 - v. Put -3, p, z in ascending order.
z, -3, p
Let b(m) = m**3 - 5*m**2 + 2*m + 3. Let i be b(4). Let o = 10 + i. Put 0.3, o, -0.2 in increasing order.
-0.2, 0.3, o
Let f = 83 + -85. Let i(s) = -s**3 + 2*s**2 + s + 3. Let n be i(3). Sort 3, f, n in descending order.
3, f, n
Suppose -c - y - 2*y - 4 = 0, 4*c - 2*y = -30. Put 4, -3, c in decreasing order.
4, -3, c
Suppose -y + 1 = o, -3*y + 4*o = y + 28. Let h be (-12)/(-18)*y/(-2). Let q be 4/(-5)*10/(-2). Sort h, q, 3.
h, 3, q
Let j = 0.5 - 0.55. Let q = j + 0.05. Sort -0.2, q, 0.5.
-0.2, q, 0.5
Let s be 2*2/16*0. Let u = 1 + 2. Sort u, s, -3.
-3, s, u
Let x = -214007511/1391302 - 3/126482. Let m = 154 + x. Let i = 4.4 + -1.4. Sort m, i, 5 in increasing order.
m, i, 5
Let r be 99/(-572) + 1/4. Let y = -16/39 + r. Put y, -2, 1 in ascending order.
-2, y, 1
Let x be -1*((-4)/(-16) + (-10)/24). Let f be 150/(-54) - 2/9. Sort 3, x, f in decreasing order.
3, x, f
Suppose -3*q = -0*q. Sort 2, q, 6 in descending order.
6, 2, q
Let a be 1/5 - (-2 + 2). Let x = 8.18 - 0.18. Let l = x + -8. Sort l, 3/5, a in decreasing order.
3/5, a, l
Let h(c) = c**2 + 2*c. Let v(l) = l**3 + 3*l**2 - 1. Let d be v(-3). Let s be h(d). Let u(o) = 6*o**3 + 1. Let r be u(-1). Put s, r, 5 in descending order.
5, s, r
Let x = -4 - -8. Let n(z) = z**2 + z + 11. Let w be n(0). Let c = w + -10. Sort x, c, -1.
-1, c, x
Let t = -2/9 - -4/9. Let z = -6 + 11. Sort t, -0.5, z.
-0.5, t, z
Let x = 14 - 14.1. Let q = -50/7 - -136/21. Put x, 0.2, q in descending order.
0.2, x, q
Let t = 27 - 24. Sort -5, 2, 0, t.
-5, 0, 2, t
Let f(v) = v**2 - 10*v + 13. Let b be f(9). Sort -4, b, -10.
-10, -4, b
Let s be 9/6 + ((-22)/4 - 2). Sort s, 3, 5 in decreasing order.
5, 3, s
Let j(d) = -d**3 - 4*d**2 + 2*d + 5. Let p be j(-4). Suppose 4*y - 5 = 7. Let u = -2 + y. Sort 0, u, p.
p, 0, u
Let a be (-5)/(-2)*9/90. Sort a, 3/4, -0.4 in descending order.
3/4, a, -0.4
Let g be (-6)/8 + (-63)/(-36). Suppose 2*l = 2*f + 12, -2*f - g = l + 2. Let o = -2 + -2. Put f, 4, o in descending order.
4, f, o
Suppose b = 2*w + 6*b, -3*b + 6 = 0. Put 5, 3, w in decreasing order.
5, 3, w
Let n = 12 + -5. Let v = n - 12. Let r = -145 + 1012/7. Sort 1/3, v, r in descending order.
1/3, r, v
Let t be 5*(6/(-20))/(-1). Put 0.06, t, 3 in descending order.
3, t, 0.06
Let a be ((-6)/8 - -1)*-6. Let f = 7.4 + -0.4. Let x = f + -10. Put a, 1/3, x in descending order.
1/3, a, x
Let i = -96 - -91. Put 3, -3/5, i, -16 in decreasing order.
3, -3/5, i, -16
Let h be 2/(-10) - 38/60. Let l be ((-12)/15)/(42/(-15)). Sort h, 5, l in descending order.
5, l, h
Suppose -p - 4 = b - 1, -p - 7 = 5*b. Sort p, 4, 23 in increasing order.
p, 4, 23
Let s(l) = -l**2 - 5*l - 3. Let i be s(-4). Let u be 1/i - 4 - -1. Sort -3, 5, u in decreasing order.
5, u, -3
Let u(b) = b - 8. Let g = 9 + -6. Let t = g + 5. Let y be u(t). Sort y, 5, 0.4 in increasing order.
y, 0.4, 5
Let a = 1.99 + 0.01. Let o = a - -1. Let v = o + -2.9. Sort -2, -0.3, v in increasing order.
-2, -0.3, v
Let o = 6.7 - 6. Let k = -1 + o. Let a = -30 - -35. Put a, k, 1/2 in decreasing order.
a, 1/2, k
Let l = -56 + 53. Put -0.4, -1.3, l in ascending order.
l, -1.3, -0.4
Let y = -191 + 1721/9. Let o = -3.8 + 4. Let u = 0.8 + o. Put y, 0, u in descending order.
u, y, 0
Let d = 3 + -5. Suppose 5*q + 2 - 7 = 0. Sort q, 6, d in ascending order.
d, q, 6
Let u be (1 + -11)*4/(-10). Suppose -u*f - 3*c + 2 = 0, -c - 3*c - 2 = 3*f. Sort f, 1, 4 in increasing order.
1, f, 4
Let c = -60 - -59. Suppose -5*w = -14 + 4. Put w, 0, c in ascending order.
c, 0, w
Let i(y) = -2*y + 1. Let v be i(-2). Suppose 4*a = 2*o + o - 1, 0 = 3*a + 5*o - 21. Suppose 4*u - 3*m = -25, -3*m - 11 = -a*u + 7*u. Sort v, -3, u.
u, -3, v
Suppose -5 + 15 = 5*z. Suppose -15 = -3*c + k, -2*c - k + z + 8 = 0. Suppose 15 = -4*h - h. Sort h, 1, c in descending order.
c, 1, h
Suppose -4*t = -p - 15, -5*t - p = -3 - 9. Sort -7, 0, t in descending order.
t, 0, -7
Let o = -255 - -1788/7. Let s = -3 + 2.5. Let p = -2 + 0. Put s, o, p in increasing order.
p, s, o
Let k(p) = p**3 + 4*p**2 + 3*p. Let n be k(-2). Let x(h) = h**3 + 8*h**2 + 2*h + 6. Let s be x(-8). Sort -4, s, n.
s, -4, n
Let o = 75 + -78. Suppose -5*w + 23 - 3 = 0. Sort -4, w, o in decreasing order.
w, o, -4
Suppose 0 = -15*z + 24*z + 27. Sort -4, 22, z in descending order.
22, z, -4
Let w(b) = -b**3 - 4*b**2 - 3*b + 3. Let y be 1*(2 - (0 + 5)). Let o be w(y). Suppose 0 = i + 3*a + 4, -5*i + 29 = -i - 3*a. Sort i, -1, o in ascending order.
-1, o, i
Let r = 7 - 17. Sort 1, r, 0.
r, 0, 1
Suppose 10 = 3*k - w - 1, -5*k + 3*w + 21 = 0. Let p(x) = -x + 6. Let f be p(6). Suppose f = i + 5 - 2. Put i, k, -2 in decreasing order.
k, -2, i
Suppose 4