0.5, 3/5
Let x = 0 + 4. Suppose -9 = -c - 8. Put 5, c, x in increasing order.
c, x, 5
Let m be (0 - -1)*(16 + -5). Let c(p) = p**2 - 11*p - 1. Let t be c(m). Put t, -5, -3 in descending order.
t, -3, -5
Let r = -15 - -13.8. Let k = r + 1.1. Let x = -185 - -1483/8. Sort x, k, 2 in descending order.
2, x, k
Let i = 0.13 - 4.13. Put -2, i, -5 in descending order.
-2, i, -5
Let y(h) = 2*h**2 + 16*h + 16. Let d be y(-7). Let s(f) = f**2 + f - 1. Let v be s(-1). Put v, 0, d in descending order.
d, 0, v
Suppose 2*l = -2*l - 2*s + 8, 0 = l - s - 8. Let u = -11/2 + l. Sort -0.4, u, 3/4 in decreasing order.
3/4, -0.4, u
Let s(l) = -2*l**2 - 4*l - 3. Let u(g) = g**2 + g + 1. Let b(r) = s(r) + 3*u(r). Let q be b(2). Sort q, 3, 4 in increasing order.
q, 3, 4
Let j = -1/38 - 17/76. Put -2, 0.2, j, -0.2 in decreasing order.
0.2, -0.2, j, -2
Let f = 13 + -11. Let s = -2.1 + f. Let x = 1 + -0.8. Put x, s, -1/4 in decreasing order.
x, s, -1/4
Suppose -s + 11 = 3*q - 3*s, -8 = 4*q + 3*s. Suppose c = 2*c + q. Put c, 0, -4 in descending order.
0, c, -4
Let g = -43 + 25. Let y = g + 16. Sort 2/11, y, -5 in descending order.
2/11, y, -5
Let d be -2*(-3)/18*-3. Let b(q) = 9*q**3 - q**2 - 2*q - 1. Let h be b(d). Let v be 10/3 - 6/h. Sort 0.5, 3, v in descending order.
v, 3, 0.5
Let j be (1/3*-4)/((-18)/135). Put -5, j, -2 in descending order.
j, -2, -5
Suppose 2 = -3*w + 5. Sort 5, 0, w in increasing order.
0, w, 5
Let q(l) = l + 8 + 0*l - 4. Let d be q(-6). Let v be 0 + d + 4 + -5. Sort 1, -1, v in decreasing order.
1, -1, v
Let d be 1*-4 + (-1 - -1). Suppose 11*v - 16*v - 6 = 2*w, 3*v - 6 = 2*w. Put w, d, 0 in descending order.
0, w, d
Let p be (-3 - 51/(-15))*(-10)/6. Let y = -2 + 0. Let h be (-5)/(y + 1) + -1. Put 0.2, p, h in decreasing order.
h, 0.2, p
Let i be 1 - (18/14 - 0). Let t = -1.5 + 1.9. Sort i, 0.3, t in descending order.
t, 0.3, i
Suppose -h + 4*y = 3*h + 16, -3*h = -5*y + 10. Suppose -3 = -0*g + g. Sort h, -4, g in decreasing order.
g, -4, h
Let q(w) = w**3 - 11*w**2 + w - 11. Let p be q(11). Let g = 26 + -29. Sort g, 1, p in increasing order.
g, p, 1
Suppose -4*n + 4 - 22 = 2*l, 0 = -3*l - 3. Suppose 1 = 2*w + 11. Put w, 3, n in decreasing order.
3, n, w
Let o = 25 + -13. Let a = o - 11.9. Let v = -0.1 - 0.2. Put -2/3, v, a in ascending order.
-2/3, v, a
Let d = 17 + -21. Sort d, 5, 2 in descending order.
5, 2, d
Let n(g) = g**3 - 5*g**2 - 8*g + 3. Let u be n(6). Sort 1, -5, u.
u, -5, 1
Let x(c) = -2*c**2 + 15*c - 8. Let v be x(7). Put 10, v, 1, 5 in ascending order.
v, 1, 5, 10
Let b be 3 + (-7 - -3 - -5). Suppose -b*p + p = 3. Put p, -4, -5 in descending order.
p, -4, -5
Let q(f) be the third derivative of -f**5/60 - f**4/24 + f**3/6 - 4*f**2. Let u be q(-2). Suppose 0*p + 2 = p - 2*i, 4*i = 0. Put -4, u, p in ascending order.
-4, u, p
Let d be -5 - (4/(-1) - -5). Put -0.1, 0.1, d in ascending order.
d, -0.1, 0.1
Let d be (33/(-12) + 3)*4. Put 5, -3, d in increasing order.
-3, d, 5
Let x = -20/27 - -2/27. Let y = 19 - 13. Let s = -6 + y. Sort x, s, -2/13.
x, -2/13, s
Let m = 1.1 + -0.8. Let h = m - 0.5. Put 0.4, h, 5 in increasing order.
h, 0.4, 5
Let i be 6/5*70/(-3). Let d be ((-4)/6)/(i/(-12)). Put 2/25, -2/3, d in decreasing order.
2/25, d, -2/3
Let j = -15.1 - 88.9. Let b = j + 105.01. Let q = -0.01 + b. Put 0.4, q, 5 in increasing order.
0.4, q, 5
Let c = -3.1 - 0.9. Let u = 3 + c. Sort -3, 2, u.
-3, u, 2
Let v be 4/8 - (14/(-4))/(-1). Sort 4, v, 22 in decreasing order.
22, 4, v
Let l = -2.743 + -0.267. Let n = l - -0.01. Let w = n + 4. Sort 0, 3/2, w.
0, w, 3/2
Let b be 0/1 - (0 + -2). Let g = 47 - 47. Put g, b, 4 in descending order.
4, b, g
Let l(o) = -2*o**3 + 2*o**2 + 2*o - 3. Let n be l(1). Put -4, n, 2 in ascending order.
-4, n, 2
Let r be 24/(-18)*(-3)/(-2). Sort -1, r, -4.
-4, r, -1
Let o(p) = p**2 + 5*p. Let r be o(-4). Put -2, 5, r in descending order.
5, -2, r
Let d = 0.047 + 2.433. Let a = -0.02 - d. Let q = a - -3. Put -4, q, 0.2 in decreasing order.
q, 0.2, -4
Suppose 8 = -4*l + 16. Suppose 4*u = 3*b + 9, -3*b = u - l - 4. Sort b, 5, -3 in decreasing order.
5, b, -3
Let m(t) = -t + 3. Let w be m(6). Let k = 1 - -7. Let s = k - 8.4. Sort w, s, -0.1 in ascending order.
w, s, -0.1
Suppose 0 = -11*n + 13*n + 8. Let c = 0 + 2. Put n, -1, c in descending order.
c, -1, n
Suppose 3*o = 2*a + 25, 2*o - 15 = 4*a + 3*o. Let l(m) = -12*m - 1. Let u be l(1). Let v = -10 - u. Sort a, 1, v in ascending order.
a, 1, v
Suppose 3*r + 25 = -2*r. Suppose 0 = 3*a - 29 - 52. Suppose 2 = -5*t + a. Sort 4, t, r.
r, 4, t
Let n(y) = -y + 1. Let u be n(-2). Let i be u/4 + (-54)/(-24). Put 0, i, -5 in decreasing order.
i, 0, -5
Let t = -10.9 - -11. Put 4, 2/11, t in ascending order.
t, 2/11, 4
Suppose -2*i + 4*i + c + 5 = 0, -5*i - 6 = -4*c. Let j be (4/(-6))/((-1)/18). Suppose 4*n - j = -0*n. Sort 4, i, n in increasing order.
i, n, 4
Suppose -3*w + 14 = 2*g - 7*g, -4*w = 4*g - 8. Let v = 2 - -3. Sort v, g, 0 in ascending order.
g, 0, v
Let f = 21 - 17. Let s = 0 + f. Sort 0.4, s, 5.
0.4, s, 5
Let z(q) = -q - 1. Let h be z(-6). Let i be (4/10)/(-4 - 80/(-25)). Put -4, i, h in decreasing order.
h, i, -4
Suppose t + 3 = 1. Put -9, -4, t in increasing order.
-9, -4, t
Suppose -4*m + 5 - 1 = 0. Let h be -3*((-14)/6 + m). Let l = 6 - h. Sort 0, 5, l in increasing order.
0, l, 5
Suppose -2 = 3*g - 5. Suppose -2*b + 7*b + 25 = 0. Let m = -13 - -9. Put g, m, b in decreasing order.
g, m, b
Suppose -4*x = 14 + 6. Suppose -2*y + 4*q = y, 5*y - 5 = 5*q. Suppose 7 = f + 2*p - 5*p, f - y = 2*p. Put f, x, 3 in descending order.
3, f, x
Let r = -1/3304595540 - -18626765836351/2308259984690. Let b = 1189/127 + r. Let x = b - 69/4. Put x, 2, -1 in descending order.
2, x, -1
Suppose 6*r - r - 10 = 0. Sort r, -2, -3 in decreasing order.
r, -2, -3
Let g = -0.08 - 0.42. Put 2, 0, g in descending order.
2, 0, g
Let l = 6.4 - 6. Let r = l - 0.7. Put 0.4, r, 1 in descending order.
1, 0.4, r
Let q = 14 + -13.7. Put 1, q, -2 in ascending order.
-2, q, 1
Suppose -15 = -4*w + 3*r - 8*r, 0 = 3*w - 4*r + 12. Sort w, 5, 3, -1.
-1, w, 3, 5
Let f = 3 - -2. Suppose -3*c + 5*i - 3*i = -17, f*c - 2*i - 27 = 0. Let z be (-3)/c - 10/25. Sort z, -2, 2 in ascending order.
-2, z, 2
Let h = 2 + 0. Suppose 4 = h*y + 2. Let v(p) = p + 9. Let u be v(-9). Sort y, 5, u.
u, y, 5
Let s be (-11 + 15)/((-2)/1). Sort 2, 1, s, -4 in increasing order.
-4, s, 1, 2
Let t be 10/(-14) - 2/7. Suppose 2*l + 25 - 9 = -2*f, 5*l = -f - 20. Let m be 1*1*l/(-6). Sort t, 1/6, m in ascending order.
t, 1/6, m
Let o = 178 - 1960/11. Sort 4, 0.1, o, 0.3 in decreasing order.
4, 0.3, 0.1, o
Let u(c) = c**3 + 4*c**2 - 8*c - 12. Let p be u(-5). Put p, -8, -5 in descending order.
p, -5, -8
Suppose 0 = -m - 16 - 19. Let a be (-4)/10*m/(-21). Put a, 2/9, -5 in ascending order.
-5, a, 2/9
Let b = -24.2 + 3.2. Put b, -4, 0 in decreasing order.
0, -4, b
Suppose 0 = 5*b + 5 + 15. Let n = -5/7 + 2/7. Sort b, n, 1/9.
b, n, 1/9
Let f = 0.68 - 0.08. Let a = 3.4 + f. Sort a, 3, -1 in descending order.
a, 3, -1
Let j(r) = -5*r + 7. Let l(w) = -w. Let z(v) = -j(v) + 4*l(v). Let d be (0 + 4/(-6))*-9. Let b be z(d). Sort 0, 3, b in increasing order.
b, 0, 3
Let b = -13 + 18. Sort b, -2, 2, 0 in increasing order.
-2, 0, 2, b
Let i = 31 - 34. Put -0.4, 0.1, i in descending order.
0.1, -0.4, i
Let k(z) = -z**3 + 3*z**2 + 3*z - 1. Let a be k(4). Let t = 3 + -7. Put t, -1, a in decreasing order.
-1, t, a
Let q(k) = -k + 10. Let r be q(7). Suppose -d = 3*j - 2*d + 28, -5*j - 60 = -5*d. Let c(m) = m**3 + 8*m**2 - 5. Let g be c(j). Sort g, 4, r in descending order.
4, r, g
Let n = 0.44 - 0.14. Put n, -5/3, -1/4 in decreasing order.
n, -1/4, -5/3
Let c be (-3)/18*-20 + 1/(-3). Put 4, c, -2 in descending order.
4, c, -2
Let v = -2.094 - -0.094. Put -3, 1, v in decreasing order.
1, v, -3
Suppose 26 - 34 = -2*s. Sort -6, -3/2, s in ascending order.
-6, -3/2, s
Suppose v + 3*v + 6 = -2*o, 3*v - 5*o - 28 = 0. Put 2, v, 4 in decreasing order.
4, 2, v
Let f(t) = t**2 + 5*t + 4. Let b be f(-5). Let y = b + -3. Sort 2, y, -0.2 in decreasing order.
2, y, -0.2
Let g = 23 + -15. Put 1, g, -1, -0.2 in decreasing order.
g, 1, -0.2, -1
Let t be (-104)/(-18) + (-4)/(-18). Suppose -t = -4*p + 10. Sort 0, p, 3 in decreasing order.
p, 3, 0
Let t be (6/4)/((-9)/(-12