 = -4 - -8. Suppose -2*f + 6 = -4. Suppose k*l + 17 = -y, f = -y - 0*y - l. Put -0.2, y, 2/21 in descending order.
2/21, -0.2, y
Let x = -119 - -119. Put 4, 0.2, x in increasing order.
x, 0.2, 4
Let g(j) = j**2 - 19*j + 22. Let q be g(18). Put q, 5, -2, 1 in ascending order.
-2, 1, q, 5
Let j = -134 - -134.4. Sort 0.5, 2, 2/9, j in descending order.
2, 0.5, j, 2/9
Let j(v) = -v**2 + v + 332. Let d be j(0). Let y be (-1)/((-2)/d*-6). Let f = 27 + y. Sort 1, 0.4, f.
f, 0.4, 1
Let k = -0.113 - -3.993. Let v = k - -0.12. Sort -8, v, 1 in decreasing order.
v, 1, -8
Let u(p) = 4*p**3 + p. Let o be u(1). Sort 3, o, -4.
-4, 3, o
Suppose -4*n - 6 = 3*i, -5*i - 9 = -5*n + 1. Let f = -1 + 6. Let q = 4.6 - f. Put 2/9, n, q in ascending order.
q, n, 2/9
Let g = -0.64 + 0.34. Sort 0.08, g, -4.
-4, g, 0.08
Let v(z) be the first derivative of z**3/3 - 3*z**2 - 2*z - 2. Let c be v(7). Let r = 2 - c. Put 4, r, -5 in increasing order.
-5, r, 4
Let u = -0.3 + -6.7. Let m = u + 7.3. Sort m, -1, 4 in decreasing order.
4, m, -1
Let x(h) = -2*h - 18. Let u(g) = -2*g - 17. Let l(j) = -3*u(j) + 2*x(j). Let n be l(-10). Sort n, 2, -2.
n, -2, 2
Let j be 2 - ((-2 - -3) + -2). Put j, -0.3, -5, 6 in increasing order.
-5, -0.3, j, 6
Suppose 0 = 3*z - 5*y + 2*y - 3, 27 = 3*z + 5*y. Suppose c = -z*c + 20. Suppose 0 = 3*i + s - 10 - 3, -c*i - 8 = -5*s. Sort i, -1, 5 in increasing order.
-1, i, 5
Suppose -3*s = -3*v, 2*s + 3*v + 35 = -2*s. Sort 0, -1, s in decreasing order.
0, -1, s
Let a(g) = -g + 5. Let n be a(6). Suppose 0 = 5*q - 4*v + 7, 3*q - 17 + 8 = -2*v. Sort -7, n, q in decreasing order.
q, n, -7
Let m(o) = -4*o**2 + 1. Let n be m(-1). Suppose -f - 5*k + 21 = 0, -2*f + 5*f = -3*k + 3. Put n, -1, f in decreasing order.
-1, n, f
Let u = -8 + 14. Suppose v - 5 = u*v. Let x be v/(-1 + 2/3). Put 1, -4, x in decreasing order.
x, 1, -4
Suppose 0 = v + 2*v - 12. Suppose 5*w = -6 + 96. Suppose 4*y = 2*j - 4*j - w, -v*j - 2*y = 12. Put -5, j, -4 in decreasing order.
j, -4, -5
Let c = -10 - -13. Let j = 1/14 + -23/28. Put j, 5, c in ascending order.
j, c, 5
Let s = -1 - -6. Let n(k) = -k**2 + 6*k. Let x be n(6). Sort s, 2, x in descending order.
s, 2, x
Let t = 20 - 15. Suppose 3*z - t*c = -2*z, 0 = -5*z + 4*c + 1. Put 0, -4, z in ascending order.
-4, 0, z
Let m be (4 - -4 - 2) + -1. Put m, -5, -3 in increasing order.
-5, -3, m
Let z = -0.1 - 1.1. Let r = 2.1 + z. Let h = r - 0.5. Put -0.1, 0.2, h in descending order.
h, 0.2, -0.1
Let z(c) = -c**3 + 3*c**2 + 7. Let v be z(4). Put -2/11, 0, v in descending order.
0, -2/11, v
Suppose -8 = -2*o - 2*o. Suppose -o*z - z = 6. Let r be (2 - z/(-2)) + 1. Sort r, -0.5, -1/6.
-0.5, -1/6, r
Let q be 11/(0/(-1) + 1). Let t be ((-6)/4)/((-3)/18). Suppose 5*o + t = -q. Put o, 5, -1 in descending order.
5, -1, o
Let c = 0.3 + -0.8. Let m be 2/(-11) + (-135)/(-198). Put c, -3, m in decreasing order.
m, c, -3
Let z = 15 + -7. Let b = 7.5 - z. Put 5, b, -4/3 in decreasing order.
5, b, -4/3
Suppose 3*v = -v - 8. Put -4, v, 0, -3 in descending order.
0, v, -3, -4
Let k = 16.076 + -0.076. Put -1, -3, k in increasing order.
-3, -1, k
Let b = 367/3 + -122. Sort b, 5, 4/3, 0.4.
b, 0.4, 4/3, 5
Let p be (-10)/(-1)*(3 + -1). Let f = -1 + 4. Suppose 0*j + 5*j - 32 = f*r, p = -5*r. Sort 3, 2, j in ascending order.
2, 3, j
Let s(h) = 10*h**3 + h**2 + 2*h + 2. Let w be s(-2). Let m = w + 547/7. Sort m, -0.1, 1/4 in descending order.
1/4, m, -0.1
Let u = 313 + -2183/7. Put u, -2/11, -3 in ascending order.
-3, -2/11, u
Suppose 2*s + 3*j - 11 = 0, 29 = -5*s + 5*j - 6. Let b(g) = -g**2 + 8*g + 10. Let m be b(9). Sort s, -5, m.
-5, s, m
Suppose 5*z + 8 = -w, 3*w - 2*z + 4*z + 63 = 0. Let q = -139/6 - w. Sort 2, q, -1/3.
-1/3, q, 2
Suppose 8*q = 9*q + 24. Let v be -12*(-4)/q*2. Sort -2, -7, v.
-7, v, -2
Let l = -165 - -165.5. Sort l, 2, 3.7.
l, 2, 3.7
Let m = -167/4 + 42. Suppose -2*f + 20 = -3*k, 4*k - k - 5*f + 23 = 0. Let s be k/(-5) - (1 + 0). Sort s, m, 1/8 in decreasing order.
m, s, 1/8
Let v(f) = f - 3. Let y be v(-1). Sort y, -1, 0.5.
y, -1, 0.5
Let w = -6 - -8. Suppose -w*g - 3 = -3*g. Suppose -8 = v + 5*x - 3, 0 = 2*v + g*x - 4. Put v, -1, -5 in increasing order.
-5, -1, v
Let k = 0.1 - -0.1. Let c be (4/(-12))/(4/54). Put -1/8, c, k in descending order.
k, -1/8, c
Suppose y = 4*d + 12, 0 = -5*d - 2*y - 0 - 15. Let j = -4 - -2. Sort 3, j, d in ascending order.
d, j, 3
Let u = 1 + -1. Suppose -1 = y, 4*y = -2*f + 5*y + 11. Suppose u = 4*b + 5*r, -f*b + 12 = -b + 2*r. Put b, -4, 4 in ascending order.
-4, 4, b
Let w be -1 + 7/(21/(-9)). Sort 3, 1, w.
w, 1, 3
Let v be (-16)/56 + 5246/35. Let c = v - 151. Put -0.5, 0.2, c in decreasing order.
0.2, -0.5, c
Let v be 6/(-4)*8/102. Let r = -609/5 - -121. Sort v, -3/7, r.
r, -3/7, v
Let f = 0.8 + -0.3. Suppose -s - 16 = -4*b, -5*b + 0*b + 29 = s. Let r be 1 - -9*s/(-28). Put 1, f, r in decreasing order.
1, f, r
Let d(m) = m**2 + 6*m. Let i be d(-6). Suppose -5*n + 0*o = 2*o + 13, -o = 5*n + 14. Suppose 3*f = 7*f - 2*y - 18, f = -2*y + 7. Sort i, n, f.
n, i, f
Suppose 2*t = -2*t + 12. Suppose t*h + 1 = 7. Suppose 3*x = -h*x + 20. Sort 2/11, x, 3 in increasing order.
2/11, 3, x
Let t = -1.29 + 1.09. Sort t, -28, -2/5.
-28, -2/5, t
Suppose v = 7 - 1. Suppose k + v*i - 2 = i, 2*k = i - 7. Put k, -5, 2 in increasing order.
-5, k, 2
Let n(w) = w + 2. Let b be n(2). Put 3, 1, b in ascending order.
1, 3, b
Suppose -5*a - 3*m - 22 - 301 = 0, -2*m - 327 = 5*a. Let z = a + 465/7. Let b = -0.3 - -0.4. Sort b, 2, z in decreasing order.
2, b, z
Let a = -6.06 + 0.06. Let t = -6 - a. Let j be (-6)/(-4)*1/(-6). Sort t, j, -0.3.
-0.3, j, t
Suppose -d + 4 = l, 4*d + 2*l + 0 - 6 = 0. Let f = 31 + -31.2. Sort d, f, -0.3 in descending order.
f, -0.3, d
Let b(t) = -t**3 + 1. Let c be b(-1). Let d(u) = 17*u - 3. Let x(n) = 6*n - 1. Let i(p) = -4*d(p) + 11*x(p). Let y be i(3). Sort 4, y, c in descending order.
4, c, y
Let n = -0.14 - 5.56. Let v = -6 - n. Let q be 2*(2 - 9/5). Sort q, v, 2/3 in ascending order.
v, q, 2/3
Let b(f) = f**3 - 10*f**2 + 8*f + 12. Let l be b(9). Sort -4, l, -5 in decreasing order.
l, -4, -5
Suppose -5*r + 0*r + 20 = 0. Suppose -r*t - 15 = -t. Sort t, -4, 0.
t, -4, 0
Let s be (8/(-16))/((-1)/(-6)). Suppose 11 = l + 2*x - 6*x, 2*x = -3*l - 23. Sort s, l, -4 in descending order.
s, -4, l
Suppose -3*k + 38 = 2*k - 3*t, 4*k - 5*t - 20 = 0. Sort 3, k, -2 in descending order.
k, 3, -2
Let j be 0 - 0 - (-2 + (-1 - -1)). Put -4, 5, j in ascending order.
-4, j, 5
Let f be (-2)/8 - 30/8. Let c(b) = b**3 + 5*b**2 + 7. Let p be c(-5). Let l = -12 + p. Sort f, l, -1/8 in descending order.
-1/8, f, l
Let g = -27.057 + 0.057. Let p = g + 22. Suppose -3*y + 12 = -2*c + 5*c, 2*y - 6 = 0. Sort c, -0.1, p in decreasing order.
c, -0.1, p
Let u = 18.2 - 18. Sort 3/4, u, -2/7.
-2/7, u, 3/4
Let d be (-20)/40 - ((-2)/(-4) - -1). Sort d, -4, -5 in increasing order.
-5, -4, d
Suppose 9*x - 4*x + 15 = 0. Let t be 2/x*6/(-22). Suppose w + 3*w = 0. Put -1/5, t, w in ascending order.
-1/5, w, t
Let x(b) = -5*b - 7. Let t be x(-2). Let y(r) = r**3 - 8*r**2 + 6*r + 6. Let g be y(7). Sort g, t, 1 in descending order.
t, 1, g
Suppose 4*h + 5*t = -19, -3 + 18 = -3*h - 4*t. Sort 0, h, 1, 3 in increasing order.
h, 0, 1, 3
Let b be (-14)/(-8) + 2/8. Suppose 0 = -8*a + 10*a - 10. Sort 1, a, b in decreasing order.
a, b, 1
Suppose -2*u = -5*u + 21. Let q be (-8)/28 + (-26)/u. Let w = -1 + 1.2. Sort w, -1/10, q in decreasing order.
w, -1/10, q
Suppose t - 4*t = -9. Suppose -t*g - 2*g + 10 = 0. Let h(o) = o**3 + 5*o**2 - 8*o - 7. Let x be h(-6). Sort g, -5, x.
-5, g, x
Let w be -3 + (-4)/2 + 2. Put 2, 5, w in descending order.
5, 2, w
Let c = 4 - 5. Let a = c - -4. Sort -2/15, 0, a.
-2/15, 0, a
Let t = 2 + -2. Let f = 0.4 + 0. Let j be 3/(-9)*1*1. Put j, t, f in descending order.
f, t, j
Let a(q) = q - 1. Let t(x) = -2. Let r(k) = 2*a(k) - t(k). Let h be r(-1). Let s(o) = -o**3 + 21*o**2 + 24*o - 40. Let g be s(22). Sort h, g, 2.
h, 2, g
Let g = -2 - -2.1. Let a = -21.6 + 25. Let t = -0.4 + a. Put g, 1/2, t in ascending order.
g, 1/2, t
Let t(n) = -n - 9. Let l be t(-11). Let u be (-2)/(-4) + (-7)/2. Let c = 1 - u. Put 1, l, c in increasing order.
1, l, c
Suppose 0*s = s. Let q = -0.7 + 33.7. Let n = -33.4 + q. Sort s, n, -1 in ascending order.
-1, n,