.3, w
Let o(f) = -3*f + 1. Let n be o(-4). Let w = n - 38/3. Sort 2, w, 0.2 in descending order.
2, w, 0.2
Suppose -4*z = -8 - 8. Sort z, 0, -3/4.
-3/4, 0, z
Let d = -40 + 35. Let l = 1 - 16. Let w = -11 - l. Put 5, w, d in descending order.
5, w, d
Let h be 2211/27 - (1 - 4). Let k = h - 85. Put 2/3, k, 4 in descending order.
4, 2/3, k
Let f(g) = -6*g + 1. Let t be f(1). Sort t, 0, 3 in decreasing order.
3, 0, t
Suppose -16 = -3*h + 17. Suppose 3*q + l - 4 - h = 0, 0 = 3*q - 3*l - 15. Sort -13, 0, q in decreasing order.
q, 0, -13
Let q be (-4)/30*(-15)/(-9). Sort 3/13, q, -1 in ascending order.
-1, q, 3/13
Let x = -3.41 + 3.6. Let j = 0.49 - x. Sort j, -1/4, -5 in ascending order.
-5, -1/4, j
Let w(j) = 3*j - 25. Let p be w(10). Suppose 19 = p*y + 39. Put y, 5, -1 in ascending order.
y, -1, 5
Suppose -3*o = -5*w + 15, 3*w - 4 - 1 = o. Let u be (2 + -7)*2/(-2). Put u, o, -2 in descending order.
u, -2, o
Let o = -0.631 - -4.521. Let y = o - -0.11. Let k = 0.12 + -0.62. Sort k, 1/7, y.
k, 1/7, y
Let b = 9 - 2. Suppose 0 = -5*q - 40 - 15. Let w = b + q. Put -3, 0, w in ascending order.
w, -3, 0
Suppose 0 = 5*o - 7 + 2. Let n = o - 4. Let g be -1*(-1)/(1/(-4)). Sort 2, n, g.
g, n, 2
Let v be (1/(-3))/(10/(-12)). Let u = 1 - 2. Sort u, v, -4.
-4, u, v
Let n = -0.067 + -3.933. Sort n, 3, 4 in increasing order.
n, 3, 4
Let l = -21 - -30. Let j = l - 9.1. Sort 1/5, -4, j in decreasing order.
1/5, j, -4
Let b(g) = -g**3 + 5*g**2 - 2*g + 7. Let x be b(4). Put 1, x, -5 in ascending order.
-5, 1, x
Let y(a) = -3*a - 21. Let z be y(-11). Let k(r) = r**2 - 11*r - 14. Let p be k(z). Put -4, p, 3 in ascending order.
-4, p, 3
Suppose 12 - 3 = -3*m. Put -1, 4, m in increasing order.
m, -1, 4
Let o = -79 + 84. Sort -3, o, -5 in ascending order.
-5, -3, o
Suppose 2*a - 2 = -4*h, -3 + 0 = -3*a. Sort 5, h, -3.
-3, h, 5
Let m = 10 + -7. Let g(j) be the third derivative of -j**4/24 + 5*j**3/6 - 5*j**2. Let y be g(0). Sort y, m, 2 in decreasing order.
y, m, 2
Let g be 1/(-4) + (-11)/4. Suppose -n = n + 18. Let x be (-2)/4 + n/6. Sort g, -4, x in ascending order.
-4, g, x
Let j(p) = -p**2 + 7*p. Let l be j(7). Let c = 5.13 + -0.13. Sort 0.4, c, l in ascending order.
l, 0.4, c
Suppose 0 = 16*c - 9*c + 70. Sort 5, c, -3, 1.
c, -3, 1, 5
Let m = 3.5 - 0.5. Let c = m - 2. Let t = -25 + 27. Put t, 1/8, c in descending order.
t, c, 1/8
Suppose -g - 4*g + 36 = 4*u, 0 = u - 4. Suppose 2 = 5*p + 3*f, -p - 18 = -0*p - 4*f. Sort 1, p, g in decreasing order.
g, 1, p
Let f be 12/9*42/4. Sort 5, f, 0 in descending order.
f, 5, 0
Let s = 2 - 5. Let g be 30/76 + 3/(-6). Put s, -3/4, g in decreasing order.
g, -3/4, s
Let i = 0.53 - -5.47. Sort i, -5, 3 in increasing order.
-5, 3, i
Suppose -2*t - 12 = 2*t. Let x = 1 + t. Suppose -i + 3*i - 4 = 0. Put i, x, -1 in decreasing order.
i, -1, x
Let h = -19 - -9. Sort -5, h, 5 in increasing order.
h, -5, 5
Let r(w) = -w**3 + 11*w**2 - 13*w + 5. Let a be r(9). Let t be (-908)/18 + 4/(-18). Let f = a + t. Sort f, -0.5, 1/4 in increasing order.
f, -0.5, 1/4
Let a be ((-2)/8)/(42/24). Put -0.6, a, 2/5 in increasing order.
-0.6, a, 2/5
Suppose -3*i - 5 = 1. Let g(f) = -f**3 - 9*f**2 - f + 12. Let n be g(-9). Suppose -5*a - 5*q = 5, 2*a - n = -2*a + q. Sort i, -0.4, a in decreasing order.
a, -0.4, i
Let i = 21 + -18. Sort i, -9, 2, -2 in descending order.
i, 2, -2, -9
Let s = -2 - -1.8. Let b = -6.93 + -0.07. Let d = b + 7. Sort s, -4, d in decreasing order.
d, s, -4
Let n = -601/9 - -67. Let f = 4.89 - -0.11. Sort f, 0.4, n in decreasing order.
f, 0.4, n
Let p(r) = -r - 8. Let v be p(-10). Put v, 0, -2 in descending order.
v, 0, -2
Suppose 4*x = 3*l - 14, 0 = -l + x - 6*x - 8. Let h be l/(-6)*-3*0. Sort 1, h, 4 in increasing order.
h, 1, 4
Let t be (2/(-3))/(1 - -1). Put t, -9, -2 in descending order.
t, -2, -9
Suppose -1 - 3 = -2*r. Suppose o - 4*l = 6*o - 8, -3 = l. Put r, -3, o in ascending order.
-3, r, o
Let j = -0.85 + 0.8. Let l = j - 2.95. Put -3/5, l, -2 in increasing order.
l, -2, -3/5
Suppose -5*k = 5*o - 15, 0*k + 4*k = 4*o - 28. Let t be k*(7/(-2) + 2). Suppose t*i - 4*u + 6 = -7*u, 5*i + u + 6 = 0. Put 3, -5, i in descending order.
3, i, -5
Let u(w) = w**3 + 12*w**2 + 11*w + 4. Let g be u(-11). Suppose g = -3*k + 19. Put -6, 2, k in ascending order.
-6, 2, k
Let h = -27 - -27. Put 1/3, -5, h in increasing order.
-5, h, 1/3
Suppose 0*y - y = -3, 41 = s + 5*y. Suppose -k = k - s. Suppose 5*c + 2*h + 0*h = -22, -3*h = -4*c - k. Put c, 0, -5 in increasing order.
-5, c, 0
Suppose 2*l - 5*v = 8, -2*l = -4*l - 4*v + 8. Suppose -5*o + 0*o + 15 = 0. Sort l, o, -3 in ascending order.
-3, o, l
Let n be ((-24)/40)/((-1)/(-5)). Sort n, -4, 2.
-4, n, 2
Let k be (1/(-3))/((-23)/(-46)). Put 0.3, 5, k, -1 in descending order.
5, 0.3, k, -1
Let d(y) = -3*y - 58. Let a be d(-24). Put -3, 1, a, -4 in descending order.
a, 1, -3, -4
Let y = -2 + 4. Let w = 5 - 3. Suppose c - 4 + w = 5*t, 2*c = -6. Put y, t, 3 in descending order.
3, y, t
Let s be 1/9*-28 + 3. Put 4, -0.1, s in descending order.
4, -0.1, s
Let g be 9/3*1 + (-6)/6. Sort g, 4, -4/7 in increasing order.
-4/7, g, 4
Let s = 55.6 + -56. Let x = -5 - -1. Sort s, 0.4, x in ascending order.
x, s, 0.4
Suppose 2*a = 3 + 1. Sort a, -3, 5 in increasing order.
-3, a, 5
Let y be (-1 - -2)*(5 + -8 + 4). Sort -4, y, 0 in ascending order.
-4, 0, y
Let c = -16/11 + 123/77. Put 2/17, 1/6, c, 55 in decreasing order.
55, 1/6, c, 2/17
Suppose 0 = -2*m + 7*m. Let r be (4/3)/((-3)/9). Let c be 3/(-2)*2/6. Sort m, c, r.
r, c, m
Let o = 1.6 - 1.47. Let c = o - 4.13. Sort 0, 4, c in descending order.
4, 0, c
Suppose 3*k + 4*z = 45, -4*k - z = -5*k + 8. Let w be (-12 + k)*(-2)/(-14). Sort w, -3, -0.4.
-3, -0.4, w
Let i = -0.061 - -0.161. Sort i, -0.003, 2 in increasing order.
-0.003, i, 2
Let k(z) = -5*z + 5. Let g be k(0). Let r = -12 - -20. Put -2, g, r in decreasing order.
r, g, -2
Let b = 0.025 + 0.275. Sort 1/5, b, 0 in increasing order.
0, 1/5, b
Let p = 0.4 + 0.7. Let q = p + -1. Sort 1, -6, q in descending order.
1, q, -6
Let l = -8 - -12. Suppose i - 3*z - 19 = 0, 4*i - 2*z = -z + 21. Suppose -4 = -i*y - 2*d, -4*y + l*d - 24 = -d. Sort -3, 5, y in ascending order.
-3, y, 5
Let h = -3 + 4. Let a = -2/215 + 448/1935. Sort 4, h, a in decreasing order.
4, h, a
Suppose 5*k - 7 = 2*d - 0*d, 3*k + 2*d - 1 = 0. Put k, -3, 3, 0 in ascending order.
-3, 0, k, 3
Let q = 1286/7 - 184. Let r = -0.39 + -0.01. Let x = -3 - 2. Put x, r, q in ascending order.
x, r, q
Let m = -7/12 - -1/3. Sort m, 0.4, -5 in descending order.
0.4, m, -5
Let z = 4 + -8. Let x = -4.5 - z. Let b = -0.1 - -0.1. Sort x, b, 1/8.
x, b, 1/8
Let z(k) = -3*k + 12. Let n(g) = -4*g + 13. Let o(j) = -4*n(j) + 5*z(j). Let s be o(-7). Sort -1, 3, s in decreasing order.
3, s, -1
Let c = 0.36 + 0.14. Let r = 0.2 + 0.3. Let t = c - r. Put -5, -4, t in decreasing order.
t, -4, -5
Let s = 57 + -52. Sort 3, 10, s in increasing order.
3, s, 10
Let w be 4/(-26) - 22/26. Let a be (3 - w)*(-6)/8. Put a, 5, 1 in decreasing order.
5, 1, a
Let d be 2/(-3)*3*-1. Let q = -6 + d. Put q, 4, -0.1 in descending order.
4, -0.1, q
Let y(u) = -u**3 - 12*u**2 - 11*u - 2. Suppose 2*n - 53 = 5*h - 0*n, 5*h + n + 56 = 0. Let x be y(h). Sort x, 5, -1/4 in descending order.
5, -1/4, x
Let f(x) = 6 + 5*x**2 - x**2 + 8*x + x**3 + 4*x**2. Let c be f(-7). Let a be (7 + -4)*(-2)/(-3). Sort c, -5, a in decreasing order.
a, c, -5
Let y be ((-9)/(-3) - 2) + -5. Let q be (-2 - (-2)/y)/(-2). Sort -0.5, 0.5, q.
-0.5, 0.5, q
Let b = -1 + 3. Let v(a) = -4*a + 1. Let f be v(-1). Put 3, f, b in ascending order.
b, 3, f
Let l(v) = -v**2 - 12*v - 16. Let h be l(-11). Sort 1, h, -4 in ascending order.
h, -4, 1
Let l be (-12)/21 + (-6)/14. Sort 4, 1, l in increasing order.
l, 1, 4
Let l = 0.6 + 0.4. Let i = l - 0. Let r = -1 - i. Put r, 3, 5 in ascending order.
r, 3, 5
Let q = 2 + 1. Let a = 101 - 104. Put q, -2, a in decreasing order.
q, -2, a
Suppose 3*f + 4*x + 93 = x, 5*x = -4*f - 127. Let t be f/6 - (-1)/(-3). Suppose 0 = d - 0 + 3. Put 4, t, d in descending order.
4, d, t
Let g = 46 + -43. Put -1, -0.4, g in descending order.
g, -0.4, -1
Let o = 23 + -23.9. Let q = -0.4 - o. Put -4, 2, q in ascending order.
-4, q, 2
Let o(u) = u**3 - 3*u**2 - 3*u - 4. Let m be o(4). Suppose -6*f + f - 25 = m. So