r.
1/6, v, -3
Suppose -6*l + l = -25. Suppose 17 = -9*k + 6*k + 5*o, 5*o - 13 = 2*k. Put l, k, 4 in decreasing order.
l, 4, k
Suppose 3*w = 4*w + 1. Sort 5, w, -3 in increasing order.
-3, w, 5
Suppose -o + 11 = 3*l - 7, 4*o - 37 = -5*l. Suppose 4*d - d - 4 = 2*j, -3*j - 5 = -l*d. Put 4, 0, j in increasing order.
j, 0, 4
Let d be -1*(-1 - 2/(-1)). Let g be -9 + d - (2 + 0). Let r be 4/g + 1/3. Sort -5, -3, r in decreasing order.
r, -3, -5
Suppose -4*y = -0*y + 16. Let x(s) = s**3 - 4*s**2 + 3*s - 2. Let z be x(3). Sort z, y, -5.
-5, y, z
Suppose -4*p = t + 11, 17 = -p - 6*t + t. Let u = 65 + -65.4. Sort u, 2, p in descending order.
2, u, p
Suppose -7*f + 3*f = 20. Sort -2, -1, f, -4 in increasing order.
f, -4, -2, -1
Let d = -29 + 21. Let g = 13 + d. Let k(u) = -2*u**2 + 5*u - 1. Let q be k(3). Put -2, g, q in increasing order.
q, -2, g
Suppose 0 = 3*x + 2 + 4. Let c be (-1)/((-1)/(-10)*x). Let f(h) = -11*h - 43. Let b be f(-4). Sort -1, b, c.
-1, b, c
Let w be (-3 - -4)/1 - -5. Let r = w - 7. Put r, 2, 0 in ascending order.
r, 0, 2
Let u be 3 + (2 - 44/10). Put -1, 4, u in decreasing order.
4, u, -1
Suppose f + 1 - 3 = 0. Suppose -5*v = 2*g + 24, f*v + 4*g + 19 = 3. Let b be (-26)/(-6) - (-2)/3. Sort -4/3, b, v in decreasing order.
b, -4/3, v
Let s = 0.1 + 0. Let i = 7 + -6. Let q(p) = 6*p - 1. Let d be q(i). Put 3, s, d in descending order.
d, 3, s
Let u(b) be the second derivative of b**4/12 + b**3 - 3*b**2/2 - 2*b. Let q be u(-7). Suppose o - 3 = 2. Sort -1, q, o in increasing order.
-1, q, o
Let c = -2.95 - 1.05. Sort c, 2, 3, -3 in descending order.
3, 2, -3, c
Let b = 101/30 + -16/5. Put -1/8, b, 0, -3/4 in increasing order.
-3/4, -1/8, 0, b
Let k = 0.1 - -0.9. Let h = 2.3 - 6.3. Put h, 2/5, k in decreasing order.
k, 2/5, h
Let v be ((-4)/14)/(12/(-168)). Put -3, v, 5 in decreasing order.
5, v, -3
Suppose 0 = 2*x + 4*g - 34, 3*g = 2*x - 0 + 1. Let y = 9 - x. Let r = -5 + 3. Sort y, -3, r in increasing order.
-3, r, y
Suppose 0 = 8*x - 6*x. Suppose 0*q = 3*q + 66. Let b be -3*(q/(-6) - 2). Sort x, 4, b in decreasing order.
4, x, b
Suppose 2*d + 14 = -c, -3*c - 17 = -5*c + 5*d. Let n be 4*(0 - -3)/6. Suppose -g = -n*b + 3, -g - 4*g + b - 15 = 0. Sort c, -5, g in ascending order.
-5, c, g
Let c = -0.1 + -6.9. Let v = c - -6.6. Sort v, 4, -2 in ascending order.
-2, v, 4
Let f be ((-2)/7)/((-6)/(-14)). Let m be 9/14 - 1/2. Let k = 0.8 + -0.3. Sort m, k, f in increasing order.
f, m, k
Let m = 5 - 5.4. Let f = -1 + 5. Let u = 5 - f. Put u, -1, m in ascending order.
-1, m, u
Let z = 1.1 - 1.25. Let u = z + -0.15. Let p = -1 - -1. Sort 2/17, u, p in decreasing order.
2/17, p, u
Let k be ((-20)/30)/((-2)/(-30)). Put 4, k, 2 in ascending order.
k, 2, 4
Suppose -2*u - 20 = -3*b - b, 3*b - 15 = u. Let w be (b - 3)/(4/(-6)). Let s = -4.92 - 0.08. Put s, w, 1/2 in descending order.
1/2, w, s
Let g be (-1)/(-3)*(-9 - 0) + -1. Put 0, g, -2, 5 in descending order.
5, 0, -2, g
Let y be (1/2)/(6/12). Let c be (-20)/24 - (-1)/(-6). Let a be 0 + 5/c + 2. Sort 5, y, a in decreasing order.
5, y, a
Let y be (-18)/(2 - (-30)/(-14)). Let d = 884/7 - y. Let s = -1.1 - -6.1. Put 0, d, s in descending order.
s, d, 0
Let v = 2.7 + -2.3. Sort 1/2, v, -5/3, -7 in descending order.
1/2, v, -5/3, -7
Let i = -13 - -7. Suppose -3*p = p - 4. Let r = 0.068 - -0.132. Put i, p, r in descending order.
p, r, i
Let p = -3 - 11. Put -0.2, 2, p in descending order.
2, -0.2, p
Let f = -0.28 + 1.38. Let l = 0.7 - f. Sort 1/5, 0.4, l in descending order.
0.4, 1/5, l
Let p = -11.72 - -12. Let a = -1.72 - p. Sort a, -0.4, -0.2.
a, -0.4, -0.2
Suppose 4*i = 5*i. Let n = 8 + -12. Sort n, -1, i in descending order.
i, -1, n
Let p = 0.09 - 0.59. Sort p, 2/3, -1.
-1, p, 2/3
Suppose -2*d - 32 + 8 = 0. Let n be 16/d*1/4. Let u be (2/14)/((-3)/(-3)). Sort u, 0.1, n.
n, 0.1, u
Let x be (-9)/(-21)*(-91)/(-2). Let l = 13520125/701334 + 2/38963. Let u = x - l. Put -1, -4, u in descending order.
u, -1, -4
Let w(t) = -t**2 - 10*t - 20. Let v be w(-6). Put v, 0, 2 in descending order.
v, 2, 0
Let x = -4.75 + 0.75. Let l be 2 - ((-27)/(-24) + 1). Put -5, l, x in decreasing order.
l, x, -5
Suppose 5*s = 1 + 4. Put 3, s, -5 in descending order.
3, s, -5
Let a = 1.4 + -2.7. Let u(z) = z**3 - 10*z**2 + 20*z + 3. Let f be u(7). Sort -3, f, a in ascending order.
f, -3, a
Suppose -16*c - 20 = -11*c. Let r = 0.1 + 0.15. Let b = -0.05 - r. Sort -1, c, b in ascending order.
c, -1, b
Let r = 3.1 + -2.9. Sort r, -2, 1, -4 in descending order.
1, r, -2, -4
Let j = -0.04 + -1.96. Put j, 0.7, 0.4 in ascending order.
j, 0.4, 0.7
Suppose -l + 9 = 4. Put -1, l, 0, 4 in descending order.
l, 4, 0, -1
Let f(v) be the third derivative of v**4/24 + 5*v**3/6 + v**2. Suppose -5*z + 4*z - 3 = 0. Let k be f(z). Sort 3, -5, k in decreasing order.
3, k, -5
Let d(u) = -2*u**3 + 31*u**2 - 14*u - 9. Let p be d(15). Sort 4, p, 1 in decreasing order.
p, 4, 1
Let s = -8 + 5. Let b = s - -2. Sort 0, -5, b.
-5, b, 0
Let y = 9 + -3. Sort 2, 3, y in descending order.
y, 3, 2
Let s = -36 - -32. Sort s, 4, -3, 16 in increasing order.
s, -3, 4, 16
Let h = 0.04 + -3.02. Let q = -0.02 + h. Sort -1, 3, q in increasing order.
q, -1, 3
Let x be 2/(-8) - (-69)/4. Let d = x + -35/2. Let g = -3 - -3.3. Put -4, g, d in ascending order.
-4, d, g
Let q = 0.1 - 0.14. Let x = 0.04 + q. Sort x, -3, 4 in decreasing order.
4, x, -3
Let c be 808/(-33) + (-2)/11. Let n = c - -25. Let f = -1347/7 - -192. Put f, 2/9, n in ascending order.
f, 2/9, n
Suppose 0 = -3*m + 6*m + 2*y - 21, -m + 2 = -y. Put m, -1, -13 in decreasing order.
m, -1, -13
Let u(l) = -l**3 - 7*l**2 - 7*l - 5. Let q be u(-6). Let k(c) = -c**2 + 7*c - 1. Let r be k(6). Put -4, q, r in increasing order.
-4, q, r
Let f = 0.14 + -0.1. Let v = 4 + -3.54. Let o = f + v. Put o, 2/11, -1/7 in increasing order.
-1/7, 2/11, o
Let s = -0.18 + 5.18. Let y = -3 - -3. Suppose y = 4*v + 9 + 11. Sort -0.2, s, v in descending order.
s, -0.2, v
Suppose 0 = 4*c - 3 - 13. Suppose -c*b + 6 = 3*a - 8, 0 = 4*b - 4*a. Put 3, 4, b in ascending order.
b, 3, 4
Let s be (-2 - 5/(-4))*4. Let r = s + 2. Put 0, -2, r in increasing order.
-2, r, 0
Let w(u) = -3*u + 6*u - 2 - u. Let f be w(5). Let d be (15/20)/((-14)/f). Sort d, 0.3, -5/4 in increasing order.
-5/4, d, 0.3
Let t = 0.1 + -0.18. Let n = t - -2.08. Sort -0.1, 1, n in increasing order.
-0.1, 1, n
Let a(x) = x + 2. Suppose 5*h + 3*d = 4*d - 24, -4*h - 36 = -5*d. Let i be a(h). Put i, -1, -5 in ascending order.
-5, i, -1
Let l(u) = 20*u - 17. Let n be l(1). Let a = 0.08 + -10.08. Put a, -2, n in descending order.
n, -2, a
Let j = -5 - 5.8. Let s = j - -11. Let r be -4 - -1 - 9/(-2). Put 0.5, r, s in ascending order.
s, 0.5, r
Let i = 0.26 - 0.3. Let a = 1.96 - i. Let u = -0.15 + -4.85. Put a, u, 2/9 in decreasing order.
a, 2/9, u
Let a(t) = -6*t**2 - 1. Let l be a(-1). Let j(r) = r - 1. Let n be j(0). Sort -4, n, l in decreasing order.
n, -4, l
Suppose -j + 4 = j. Let m(h) = -2*h + 1. Let l be m(j). Let t be l + (-4)/(-6) - -3. Sort -1/8, t, 4 in ascending order.
-1/8, t, 4
Let u = 0.02 - -1.98. Let h be (0 - -1)*1 + -1. Put u, 0.1, h in decreasing order.
u, 0.1, h
Suppose 2*z - 2*x + x = 4, 4*z + 4*x = -16. Put z, 1, -3/4 in decreasing order.
1, z, -3/4
Let f = -36 - -31. Sort f, 3/8, -0.4.
f, -0.4, 3/8
Let q be (3/3 - 2) + -3. Suppose 2*f - 2 = 4. Sort q, f, -3 in ascending order.
q, -3, f
Let x be -3 + 92/(-24)*2. Let s = 166/15 + x. Sort -3, s, 3.
-3, s, 3
Suppose 11 = -5*a - 9. Put -2, a, 5 in decreasing order.
5, -2, a
Let y = 0.09 + -0.02. Let k be 5 - (-3 - (-5 + 1)). Put k, -0.2, y in ascending order.
-0.2, y, k
Suppose q + 37 - 32 = 0. Sort -2, q, 0 in decreasing order.
0, -2, q
Let k be -7 + 1 + (-29)/(-5). Sort k, 8/5, 0.3 in decreasing order.
8/5, 0.3, k
Suppose 0 = 2*p - 7*p + 10. Sort -12, -5, p in decreasing order.
p, -5, -12
Suppose -2*a - z = -4, 0*z = 3*a + 4*z - 1. Let t = -2 + 3. Let p = t - a. Put -4, p, 4 in descending order.
4, p, -4
Suppose 26 = 3*w + 32. Sort w, -1, -4, 3 in ascending order.
-4, w, -1, 3
Let w = 2.3 + -1.3. Let m(d) = -d**3 + 3*d**2 - 1. Let a be m(3). Sort w, a, 0.2 in increasing order.
a, 0.2, w
Let b = 0 + 0.1. Let o be (-4)/12 + 51/99. Sort 0.2, b, o.
b, o, 0.2
Let z = -9 - -4. Let k = -6.4 + 6. Sort 2/15, k, z in decr