rt n, -0.03, 1/7 in decreasing order.
1/7, -0.03, n
Let l = 1 + -0.9. Let i = -83 + 87. Put l, i, 1 in ascending order.
l, 1, i
Suppose 0 = 5*l - 8 - 2. Let r(b) = -b**3 + 3*b**2 - 2*b - 2. Let y be r(l). Suppose -3*a + h + 8 = 0, -h + 2*h = 5*a - 16. Put 1, a, y in descending order.
a, 1, y
Suppose -42 = -25*t + 32*t. Put -1, t, 5 in descending order.
5, -1, t
Let t = -2 - -7. Suppose 6*w = 4*w - 4*v + 4, -4*w - 5*v + 5 = 0. Sort w, 2, t in descending order.
t, 2, w
Let k = -26/15 - -152/105. Let n = -4/7 + 23/28. Put 5, k, n in decreasing order.
5, n, k
Suppose 2*u = 4*b - 32, -2*b + 16 = u + 4*u. Let m be -1*3 + 8/b. Sort 3, m, 0 in decreasing order.
3, 0, m
Suppose 0 = 4*d - u + 11, -6*u + 2*u + 2 = -2*d. Let h be 5*3*(-1)/(-3). Put 3, h, d in decreasing order.
h, 3, d
Let s be -1*(-7 - -3)/(-4). Let a = -6 - -11. Sort a, -2, s in ascending order.
-2, s, a
Let g(q) = 3*q**2 + 14*q - 6. Let h be g(-5). Sort h, 4, -5 in ascending order.
-5, h, 4
Let t = -64 - -63. Let d be -1 + (-2)/8*-3. Sort -3, t, d.
-3, t, d
Let h = 0 + 0. Let q be ((-1)/(-6))/(10/(-30)). Sort h, q, 1/2 in increasing order.
q, h, 1/2
Let k = -0.03 - -1.73. Let r = k - 2. Let q = -0.8 + 5.8. Put q, r, 0.2 in increasing order.
r, 0.2, q
Suppose 3 = -4*g - s, -g + 2*s + 3*s - 6 = 0. Suppose 2*b + 2 + 12 = 2*r, -3*b - 23 = -4*r. Suppose -3*a = -a - 8. Put a, g, r in decreasing order.
a, r, g
Let i = 24 - 36. Let k = i + 5. Let n = -5 - k. Sort n, 0.3, -2 in decreasing order.
n, 0.3, -2
Let n = -2 + 3. Suppose 2*u - 5*u = 36. Let b be (u/(-8))/(2/(-4)). Sort -1/6, b, n in ascending order.
b, -1/6, n
Let t(x) = -x**3 - 8*x**2 - 2*x - 12. Let r be t(-8). Put 3, -13, r in increasing order.
-13, 3, r
Suppose 0 = 12*i - 7*i + 5. Suppose 6*j + 3 = 5*j. Sort i, j, -5 in descending order.
i, j, -5
Suppose 4*a = -5*z + 33, a - 5*z = 2*a - 12. Put a, 1, -2 in descending order.
a, 1, -2
Let b be (-1)/(-2) + (-6)/(-36). Put b, -4, 3, 0.1 in ascending order.
-4, 0.1, b, 3
Let d = 0 + 0. Let v(z) = z**3 - 8*z**2 + 14*z - 1. Let x be v(4). Sort x, 0.2, d.
x, d, 0.2
Let l = -3/23 + 47/184. Sort -5, l, -13, -4/5 in descending order.
l, -4/5, -5, -13
Let i = 0.36 - 0.86. Sort 2, i, -11/3.
-11/3, i, 2
Let i(v) = v - 3. Let s be i(0). Put -5, s, 0 in ascending order.
-5, s, 0
Let v be (-3)/6*6 + 1. Let d be v + 4 + (-3)/3. Sort -4, d, -3 in ascending order.
-4, -3, d
Let q(b) = -b**3 - 8*b**2 + 8*b - 8. Let z be q(-9). Suppose 4*i - 7 - z = 0. Suppose -4*p - 7 = 13. Put -3, i, p in ascending order.
p, -3, i
Let m be -4*-2*1/4. Let a(x) = -x. Suppose 5*v + 16 = -z, -v = 2*v - z + 8. Let i be a(v). Sort i, m, -4 in decreasing order.
i, m, -4
Let t = 6 - -4. Let c = -6 + t. Let s = -3 + 3.4. Sort 1, s, c.
s, 1, c
Let q = -1.3 + 0.3. Let l = 0.6 + q. Let b = -11/5 - -2. Put -5, b, l in descending order.
b, l, -5
Suppose -4*p - 8 = -0*p. Let r(d) = -4*d**2 + 2*d + 2. Let q be r(-1). Sort 2, p, q in decreasing order.
2, p, q
Let w = -1/26 - 23/78. Let k = 0.03 + -0.09. Put -5, k, w in ascending order.
-5, w, k
Let y = -44 - -64. Suppose 5*z = k + 2*k - 12, 5*z = -5*k - y. Sort z, 0, 4 in ascending order.
z, 0, 4
Let p = -355/4 + 88. Suppose -3*b + 8 = -b + 2*o, -2*o = b - 8. Sort b, -0.4, p in ascending order.
p, -0.4, b
Suppose -2*o - 3*m - 1 = -0*m, -3*o = -4*m - 24. Suppose -o*v - 7 = 9. Let s be 6/8 + (-1)/v. Put 4, s, -3 in increasing order.
-3, s, 4
Let x be -15*7/21 + 1. Let i = 0 - -1. Put i, x, 0.5 in decreasing order.
i, 0.5, x
Let g = -2 + 2.2. Let l = -8.5 + 0.5. Let y = 7.9 + l. Sort y, -5, g in increasing order.
-5, y, g
Let i = 29 + -32. Put i, 1, -1 in ascending order.
i, -1, 1
Let u = 0.06 - 5.56. Let g = u + 5. Let j = -0.02 - -3.02. Put j, g, -0.1 in ascending order.
g, -0.1, j
Let r = 7 + -4. Put r, 0.3, 1 in increasing order.
0.3, 1, r
Let q(x) = 2*x**3 - x. Let v be q(-1). Let b(u) = 4*u**2 - u**2 + 2*u + u + u**3. Let i be b(-2). Put 4, v, i in decreasing order.
4, v, i
Let m = 0 - -3. Suppose -5*v = -m*h + 7*h - 6, 8 = -2*h + 3*v. Sort 5, -2, h in decreasing order.
5, h, -2
Let s be 2/((-6)/3) - 0. Put s, 5, -5 in decreasing order.
5, s, -5
Let d(t) = t + 7. Let y be d(-9). Sort 2, y, 10 in descending order.
10, 2, y
Let p = 15/7 + -73/21. Put p, -0.4, -4 in descending order.
-0.4, p, -4
Let f = 8.6 - -1.4. Let b = f + -6. Let o = 13 - 8. Sort b, -2, o in increasing order.
-2, b, o
Let h(r) = r**3 + 7*r**2 + 5*r - 6. Let s be h(-6). Let a be (-33)/11 - 0/(-1). Let w be (15/a)/(s + 1). Sort w, -3, 4 in ascending order.
w, -3, 4
Let m(n) = -n**2 + 5*n + 5. Let h be m(6). Let s = h + 3. Suppose -2*w = 3*w + 5. Sort s, w, 1.
w, 1, s
Let u be 3/(-2)*(-8)/6. Suppose u*m - 6 = 6*m - 2*q, 7 = -2*m + 5*q. Sort 2, 5, m in decreasing order.
5, 2, m
Suppose -f - 3*c - 7 = 0, 3*c + c = -16. Put 4, f, 1 in ascending order.
1, 4, f
Let j = 23 + -24. Let x be -1 - (-1)/1*3. Put 3, j, x in increasing order.
j, x, 3
Let v = 6.6 + -2. Let d = 4 - v. Let k = d - 0.4. Sort 0.4, k, -5 in decreasing order.
0.4, k, -5
Let q(u) = u**3 + 5*u**2 + 3*u - 2. Let l be q(-4). Let n = -3.9 + -0.1. Sort l, -1, n in ascending order.
n, -1, l
Suppose 0 = 4*o + o. Suppose 0 = 2*r - o*r - 2*d + 2, -r - 5*d = -29. Put -0.3, -1/3, r in ascending order.
-1/3, -0.3, r
Suppose 0 = -2*o - 4*u, 0*u = 3*u - 6. Let h = -310 - -2489/8. Sort -3/2, h, o in decreasing order.
h, -3/2, o
Let u = 0.231 - -0.069. Sort 3, -5, -0.3, u in decreasing order.
3, u, -0.3, -5
Let x be (-1 + (-27)/(-26))*(-16)/4. Put -0.5, 4, -3/2, x in decreasing order.
4, x, -0.5, -3/2
Let c(w) = -w**3 - 7*w**2 - 5*w + 10. Let r be c(-6). Let g(z) = -z + 3. Let k be g(4). Sort r, 1, k.
k, 1, r
Suppose 2*i = 4 + 2. Suppose 4*r - 2 = -4*u + 2, -5*u = -4*r + 4. Suppose 2*x + x = -5*f - 18, 4*f + 16 = -4*x. Sort r, i, x in descending order.
i, r, x
Let m = -50 - -24. Let g be 2*(-11)/m - 1. Let r = 32 + -34. Put 4, g, r in ascending order.
r, g, 4
Let k be 2942/40 + 6/24. Let j = 74 - k. Let s = 1 + -3. Sort j, s, -1/9 in increasing order.
s, -1/9, j
Let c be (-1 + 0)/(4/72). Let s = -25 - c. Let h(l) = l**3 + 3*l**2 - 5*l. Let f be h(-4). Put f, -2, s in ascending order.
s, -2, f
Let w be 2/(-4)*48/84. Sort -3/7, w, -0.3.
-3/7, -0.3, w
Suppose 8*n - 7*n = -2. Suppose -3 + 4 = 2*a + 5*v, 5 = -5*a - 5*v. Let z(o) = o**2 + 2*o + 1. Let y be z(a). Put -4, y, n in ascending order.
-4, n, y
Let w = 0.3 - -1.7. Let f = 15 - -20. Let v be (-1)/(-5) + 13/f. Sort w, v, -4/5 in decreasing order.
w, v, -4/5
Let p = 1.7 + -1.5. Suppose o = -3*o + 16. Suppose -2*s - 6 = -o*s + 4*y, -3*y = 4*s + 32. Put s, p, -1 in decreasing order.
p, -1, s
Suppose -2*v = -3*t - 2*t + 30, -3*v - 3 = 3*t. Put 4, v, 8 in descending order.
8, 4, v
Let m = -2.2 + 2. Sort m, -1/3, -2 in increasing order.
-2, -1/3, m
Let w(b) = -b**3 + 7*b**2 - 5*b - 7. Let h be w(6). Let x be -4*(2/(-4) - h). Let p = 0.05 + 0.25. Sort 1/4, p, x in ascending order.
x, 1/4, p
Let b = -2 - 0. Let n(f) = -f**3 - 3*f**2 - 2*f - 3. Let t be n(b). Let a(c) = -c**3 - 3*c**2 + 2*c - 5. Let z be a(-4). Put -4, z, t in descending order.
z, t, -4
Suppose 2*h + 2*i = 8, h + 2*i = 3*h - 12. Suppose -4*b + 5*r - 5 = 0, -b = 2*r - 17 + 2. Suppose 4 = -y + 5*y - 4*p, b*p = 3*y + 1. Sort h, y, -4.
-4, y, h
Let c(v) = -2*v + 4. Let h be c(3). Let s(r) = -3*r. Let j be s(-1). Suppose 3*d - 9 = -3*z + z, -3*d - 4*z + 3 = 0. Put d, h, j in decreasing order.
d, j, h
Let n = -68 - -63.7. Let b = n + -0.7. Let k = -0.3 + -0.7. Sort b, k, 4.
b, k, 4
Let y(j) = -j**2 - 9*j + 9. Let m be y(-10). Let b be 2/10*4*-5. Put b, m, -2 in decreasing order.
m, -2, b
Let x be (4/30)/((-2)/10). Let m = -12 + 16. Put m, x, 0.4 in descending order.
m, 0.4, x
Let i = 0.063 + 1.837. Sort i, 0.3, 2/5 in increasing order.
0.3, 2/5, i
Let k = -0.061 - -0.061. Put -0.7, 1, -3/2, k in descending order.
1, k, -0.7, -3/2
Let w(f) = f**3 + 4*f**2 + 3*f + 2. Let b be w(-3). Let k(n) = -n. Let x be k(3). Sort b, x, 5 in decreasing order.
5, b, x
Let j = -6 - -2. Let s(w) = -9*w**3 + w. Let d be s(-1). Let b = d - 9. Sort 4, j, b in decreasing order.
4, b, j
Suppose 5 = 2*q - 3*x - 7, -2*x - 4 = 0. Let b be 0 + 0 + 2*4. Suppose -3*p - 10 = -b*p. Sort 4, q, p in decreasing order.
4, q, p
Let s(w) be the second derivative of -w**5/20 + 2*w**3/3 + 2*w**2 - 2*w