r.
o, -0.5, c
Let y = 0.45 + -0.05. Let z be -2*(3 + 1/(-2)). Suppose -u + 3*m = -11, 0*u + 5*m = u - 21. Put y, u, z in decreasing order.
y, u, z
Let x = -14 - -23. Suppose 4*l - 1 = -2*c - 13, 3*l + x = -3*c. Sort l, -4, 0 in decreasing order.
0, l, -4
Suppose -o + 2*c = -3, 0*c = 5*o - c + 30. Sort 5, -4, o in decreasing order.
5, -4, o
Suppose 10 - 12 = -c. Sort -2, 1, c in decreasing order.
c, 1, -2
Suppose -4*z - 11 = -u, 6 = 3*u + z - 1. Put u, 4, 2 in decreasing order.
4, u, 2
Let o = -0.4 - -0.1. Let u = -9 - -11. Suppose 0 = 4*c + 3*r + 6, -2*c + 4*r = -4*c + u. Sort -1, o, c in decreasing order.
o, -1, c
Let q = 7 - 11. Put -2/5, 10, q in increasing order.
q, -2/5, 10
Let c(h) = -h**3 - 6*h**2 - 4*h + 5. Let r be c(-5). Let l be ((-2)/(4/6))/1. Put l, -5, r in descending order.
r, l, -5
Let n be (-3)/(-3) - (5 + -2). Let j(k) = k**3 + 3*k**2 - 1. Let v be j(-2). Put n, 4, v in descending order.
4, v, n
Let o(u) = u**2 - u - 4. Let y be o(3). Suppose -3*b = -y*b + 4. Let c be (-3)/((b + 2)/(-2)). Sort 1, 5, c in ascending order.
c, 1, 5
Let w be (13/(-42))/(-1) + (-3)/18. Sort 3/2, w, 2, 1/2.
w, 1/2, 3/2, 2
Suppose 4*w + 3*p + 18 = 0, -3*w - 2*p - 7 = -2*w. Suppose 53 = 4*j + 13. Let q be (j - (0 + 4)) + -1. Sort 4, w, q.
w, 4, q
Let t be ((-4)/18)/(2/2). Let n = -0.031 + 1.031. Sort t, n, -2.
-2, t, n
Let a(d) = 3*d - 3. Let g be a(2). Suppose -g*w - 4*i = -2*w - 11, 0 = -4*w + i - 7. Sort w, 5, -2 in increasing order.
-2, w, 5
Let m = -18 - -21. Sort m, -22, -3.
-22, -3, m
Let q = 4 - 3.9. Let c = q - 0.1. Let y = c - 1. Put -3/5, -3, y in descending order.
-3/5, y, -3
Let k be -2 - (5 - 1)*-1. Suppose k*h + 2 = -0*h. Let b be 2 - (-4 + (-9)/(-1)). Sort h, b, 5.
b, h, 5
Let h = 419/65 + -33/5. Put h, 1, -0.05 in descending order.
1, -0.05, h
Let m = 14.8 - 2.8. Let d = m - 15. Let i = 2/89 - 95/267. Sort d, i, 0 in decreasing order.
0, i, d
Let b(r) = -r**2 + 31. Let q be b(6). Sort 8, q, 3, 4 in ascending order.
q, 3, 4, 8
Let m = -56947/4 + 14093. Let d = 143 + m. Put -2, -4, d in increasing order.
-4, -2, d
Suppose -t - 23 = -5*l, -3*t + 3 = 3*l - 0. Let h = 21 + -21. Sort h, t, 4 in ascending order.
t, h, 4
Let v = 40 - 33. Put -1, v, 3/5 in decreasing order.
v, 3/5, -1
Suppose -7 = -i - 3. Suppose -2*p - 5 = y, 3*p - 4 = i*p + y. Sort p, 5, -4.
-4, p, 5
Let y = -0.86 + 0.06. Let n = y + 4.8. Put n, -4/5, -0.6 in ascending order.
-4/5, -0.6, n
Let x = 4 + -5. Put x, 0.5, -0.11 in decreasing order.
0.5, -0.11, x
Suppose 0 = 5*w, 0 = -u - 4*w - 4. Suppose -4*j + 15 = -25. Suppose -4*r + j = 2*v, 0 = -0*r - 2*r - 3*v + 3. Sort 2, r, u in ascending order.
u, 2, r
Let f = 68 + -67. Sort -1, f, 3, 0.5.
-1, 0.5, f, 3
Let v be (-2 + 4)/(8/16). Suppose 10 = -3*u - 2*u. Let a be u + (v - 1) - -1. Put -3/2, a, 3/8 in decreasing order.
a, 3/8, -3/2
Let z = 19 - 17. Suppose -w - 3*w = 16. Sort w, z, -2 in increasing order.
w, -2, z
Let f = 0.3 - 0.28. Let u = f + 3.98. Let s = u - 1. Sort s, 5, 1/6 in decreasing order.
5, s, 1/6
Let j = 7.7 + -7.2. Suppose -6*y = -3*c - 2*y - 4, 4*y - 4 = 0. Let l = c + -1. Put j, 1, l in ascending order.
l, j, 1
Let j = -13 + 12.8. Let o = -5 + 4.6. Let u = o - j. Put 2, u, -3 in decreasing order.
2, u, -3
Let d = -0.7 + 0.2. Let f = -8 + 5. Sort f, 0.2, d.
f, d, 0.2
Let f = 11/23 - 124/115. Let t = -1.1 - 3.9. Sort -3, f, t in ascending order.
t, -3, f
Let k(w) = w**3 - 7*w**2 - 8*w - 4. Let s be k(8). Let f = 0.5 + -0.4. Put 2/11, f, s in increasing order.
s, f, 2/11
Let u(t) = t**2 + 4*t - 8. Let w be u(-5). Let i be ((-2)/5)/(w/30). Suppose -5*k - 10 = 10. Sort k, 2, i.
k, 2, i
Let j = 11 + -12. Sort j, 0.5, 1/5, 5 in increasing order.
j, 1/5, 0.5, 5
Let m = -995/182 - 3/91. Let b = -6 - m. Sort -2, 2, b.
-2, b, 2
Let v(q) = q - 17. Let k be v(8). Let y be -2 - 1/(5/k). Put y, -3, 5 in ascending order.
-3, y, 5
Let i = -8 - -17. Sort 0.1, 4, i in ascending order.
0.1, 4, i
Let d = -5 - -10. Put 12, -5, d in descending order.
12, d, -5
Let g(y) = -y**2 - 2*y + 2. Let z be g(-2). Put z, 1, -5 in descending order.
z, 1, -5
Suppose -5*r + 8 + 12 = 0. Suppose -r*u + 1 - 2 = -3*n, 4*n + 3*u + 7 = 0. Sort -5, -2, n in increasing order.
-5, -2, n
Let d = -0.54 + 0.34. Sort 3, -0.1, d, -3/2 in increasing order.
-3/2, d, -0.1, 3
Let b = -110 - -113. Put b, 1, 1/8, -0.3 in increasing order.
-0.3, 1/8, 1, b
Suppose 5*b + 5 = -0. Let c = 97/7 + -95/7. Put b, 1, c in descending order.
1, c, b
Suppose 2*i - 4 = -2*i. Let y be (0 - i)*0 - 2. Let t = y + -1. Sort 1, t, -4 in descending order.
1, t, -4
Let y = -26 + 25. Let z = -3.5 + -0.5. Let w = z - y. Put w, -2, -0.4 in increasing order.
w, -2, -0.4
Let n(g) = g**3 + 6*g**2 - 8*g + 2. Let v be n(-7). Let j be 1*(6/v)/2. Let w = -2 - 0. Sort 1, j, w in ascending order.
w, j, 1
Let o = -23 - -27. Sort -5, 0.5, -1, o in descending order.
o, 0.5, -1, -5
Let z = 4 - 6. Let f(b) = b**2 + 5 + 0*b + 9*b + b. Let u be f(-9). Put z, 1, u in descending order.
1, z, u
Let v = 5 - 9. Let b(r) be the first derivative of -r**4/4 - 5*r**3/3 - r**2 - 6*r + 1. Let u be b(-5). Sort v, u, -2 in descending order.
u, -2, v
Let k = -7/45 - 4/9. Sort -0.4, k, -25 in increasing order.
-25, k, -0.4
Let m be (-3)/(-2)*(-32)/(-36). Let q = 0 - 5. Sort m, q, -1/2 in decreasing order.
m, -1/2, q
Let i be 2*((-21)/6 - -2). Let z(o) = -o**3 + 4*o**2 - 5*o + 2. Let c be z(3). Put i, -5, c in ascending order.
-5, c, i
Let v = -4 - -5. Sort v, -5, 5.
-5, v, 5
Let r = -9.1 + 9. Let q = r + -0.9. Put 2/5, 0.3, q in descending order.
2/5, 0.3, q
Suppose 7*r + 20 = 5*a + 4*r, 0 = 2*r - 10. Sort -3, -4, a, 2 in decreasing order.
a, 2, -3, -4
Suppose 0 = -3*z + 4*z. Suppose -l - 2*v + 4 = 7, -3*l + 3*v = z. Let g(j) = j**3 + 3*j**2 - 2*j + 5. Let k be g(-4). Put l, k, -5 in decreasing order.
l, k, -5
Let z be (-4 - -3)/((-10)/4). Let q = -4 - -7. Sort z, -1, q in ascending order.
-1, z, q
Let q = -1.48 + -0.32. Put -0.5, q, -2/7 in decreasing order.
-2/7, -0.5, q
Let w = -35 + 35. Put 24, w, 3/8, 0.3 in decreasing order.
24, 3/8, 0.3, w
Let r = -3.4 - -8.1. Let v = 5 - r. Sort v, 4, 3 in descending order.
4, 3, v
Let a(z) = -z**2 - 8*z + 9. Let n = -18 - -9. Let p be a(n). Sort -4, p, -5 in ascending order.
-5, -4, p
Let v be (34/(-8))/(-1) + -4. Let f = -2 - -1. Sort -0.4, f, v in descending order.
v, -0.4, f
Let l be 0 + -2 - (-7 - 0). Sort -3, l, 1 in ascending order.
-3, 1, l
Let y = -6.73 - -7.2. Let o = y + -0.07. Sort 3/5, o, 4 in ascending order.
o, 3/5, 4
Let c = -3 - -4. Let d = -19 + 18. Sort d, -8, c in decreasing order.
c, d, -8
Suppose -4*f + 21 = -f + 4*g, -2*f + 5*g + 37 = 0. Let d = 20 - f. Let n be (2/12)/(4/d). Put n, 2, -5 in ascending order.
-5, n, 2
Let f = 0.7 + -0.9. Let r(h) = -2*h + 19. Let m be r(7). Put m, -2, f in descending order.
m, f, -2
Let w be (-12)/2 + (-14 - -17). Let i = 3 - 0. Let y = i + -2. Put w, 3, y in decreasing order.
3, y, w
Let y = 1.28 + -0.18. Sort -5, 4, y in ascending order.
-5, y, 4
Let j = 8 - 15. Sort -3, -1, j.
j, -3, -1
Let v = 5 + -4.5. Let c = v - 0.9. Put c, -4/3, -0.5 in decreasing order.
c, -0.5, -4/3
Let m be (-12)/((-1)/2*4). Suppose m + 10 = -4*z. Sort 2, z, 0.
z, 0, 2
Let d(j) = -j + 4. Let s be d(0). Suppose -23 + 3 = -s*a. Sort 2, a, -6.
-6, 2, a
Let h be (-8)/(-28)*-1*7. Sort h, 1/6, 5 in increasing order.
h, 1/6, 5
Let p = -92 + 94. Sort p, -1, 5 in decreasing order.
5, p, -1
Let s be (-2)/3 + 4*51/36. Put -1, 1, s, -5 in increasing order.
-5, -1, 1, s
Let o be 16/48 - 14/24. Put 3, -5, o, 0.09 in decreasing order.
3, 0.09, o, -5
Suppose -2*u = 4*p + 12, 0 = 4*p + 12 + 4. Suppose 3 = -5*v + 18. Put v, 5, u in increasing order.
u, v, 5
Let d be 7 - (0 + -1) - 1. Let g be (-3)/d - (2 - 2). Let k = 54/5 - 172/15. Sort -5, g, k in decreasing order.
g, k, -5
Suppose 3 = 4*i + 2*w - 5, -3*w = 2*i. Suppose -2*u + 7*u = 3*m + 11, i*u - m - 5 = 0. Let t = 1 - -2. Sort u, 0, t in decreasing order.
t, u, 0
Suppose 2*l + 7 = -9. Let w be 38/l - 3/(-4). Suppose m = 3*t - 5 + 3, 0 = -m + 2*t - 1. Sort -1, w, m in descending order.
m, -1, w
Let g be 20/6 + (-4)/(-6). Put -1, 1/2, -5, g in increasing order.
-5, -1, 1/2, g
Suppose j = 1 - 0. Put 0.3, j, 0, -1 in decreasing order.
j, 0.3, 0, -1
Suppose 0 = -0*z - z + 5*x - 8, 0 = z - x + 4. Let y be 