
w, 0, y
Let w(d) = -d**3 - 10*d**2 - 7*d + 15. Let r be w(-9). Put 0.2, -4, r in decreasing order.
0.2, r, -4
Let j be 3*((-30)/81)/5. Let x = 0.3 - 0.2. Let v = -193 - -1739/9. Put j, v, x in ascending order.
j, x, v
Suppose -3*w - 20 = w. Let h be (1 - 3)*(2 - -1)/3. Sort 3, w, h in descending order.
3, h, w
Let a = 1.9 - 1. Let b = a + -0.5. Put 3, b, 4 in ascending order.
b, 3, 4
Let j = 22 + -19. Put 2/9, j, -0.05 in ascending order.
-0.05, 2/9, j
Suppose -d + 0*a = -4*a + 12, 0 = 4*d + 3*a - 28. Suppose 12 = d*y - 2*y. Let z = y + -5. Sort z, -5, -3 in descending order.
z, -3, -5
Let r = -6 - -1. Let n = -0.4 - 0. Let q = -3.6 + n. Sort -0.4, q, r in decreasing order.
-0.4, q, r
Let a(m) = -m**3 - 12*m**2 - 19*m + 13. Let c be a(-10). Sort -1, c, 2, 7 in decreasing order.
7, c, 2, -1
Let i = -44 - -38.9. Let l = -5 - i. Put -1, l, -2 in ascending order.
-2, -1, l
Suppose -2*r = 2*j - r + 3, 0 = -5*j - 4*r - 6. Sort -0.5, -2/39, j.
j, -0.5, -2/39
Suppose 6 = -2*k + 16. Suppose 5*x + 36 = 4*y, -4*y + 14 = -2*x - 10. Suppose 40 = -5*t + p + y*p, -3*p = -9. Put 2, t, k in decreasing order.
k, 2, t
Let j = 0 + 3. Suppose j*a + h = -14, 2*a + 7 = -h - 4. Put a, 2, 0 in decreasing order.
2, 0, a
Let l = -8.5 - -11. Let w = -3 + l. Let v = -0.03 - -0.03. Sort v, w, 3 in descending order.
3, v, w
Let m be -2 - 1*(-1)/(-1). Let k(c) be the first derivative of -c**4/4 + 4*c**3/3 + 2*c**2 - 2. Let f be k(5). Sort f, -2, m in descending order.
-2, m, f
Let b = -0.2 - 8.8. Let x = b - -12. Put 0.3, -1, x in descending order.
x, 0.3, -1
Let s(u) = u**2 + 4*u + 3. Let v be s(-2). Let g = -15 - -3. Let a = -14 - g. Sort a, -3, v in decreasing order.
v, a, -3
Let t = -1.4 + 7.4. Let v = 19 - t. Let h = v + -8. Sort -1/6, -0.2, h in descending order.
h, -1/6, -0.2
Let m(t) = -t**2. Let n be m(-1). Let k = n - -1. Sort -5, k, 3.
-5, k, 3
Let i = 15 + -25. Let j = -14 - i. Put 1, j, 0.1 in decreasing order.
1, 0.1, j
Suppose -2*m + o = 8 + 3, 14 = -3*m + 2*o. Let x be m/198 - 4/(-18). Let h = -7.9 + 8. Sort h, 2, x.
h, x, 2
Suppose 0 = r + 2 - 17. Let h be -1 + 0 - r/3. Let m be (1/3)/(h/54). Put 0, m, -5 in descending order.
0, m, -5
Let t(j) = 7*j**2 + 3*j - 1. Let l be t(-1). Sort -7, l, -4, -1 in decreasing order.
l, -1, -4, -7
Let f = -469/4 - -118. Let m = -70 - -352/5. Let c = 0.5 + 0. Sort m, c, f.
m, c, f
Let p = 0 + 0.2. Let y = 0 + 1/2. Let u = 1 + -1. Put y, u, p in decreasing order.
y, p, u
Let b(d) = -d + 2. Let k be b(2). Suppose 10*g + 16 = 4*p + 8*g, 4*p + 2*g - 24 = 0. Put 7, k, p in decreasing order.
7, p, k
Let w = -15 + 13. Put -5, w, -1/11 in increasing order.
-5, w, -1/11
Let r = -0.3 + -0.2. Let q be ((-3)/(-18))/((-1)/28). Let p = -13/3 - q. Put p, r, 3/8 in increasing order.
r, p, 3/8
Let z be 15/30 + 6/4. Sort z, -6, -2/9.
-6, -2/9, z
Let y be 5 + -2 + -1 + -2. Let z = 57 + -58. Put 2, z, y in descending order.
2, y, z
Suppose r - 3*r = 0. Suppose 3*u + 2*o + 16 = r, 3*u = -0*o + 2*o + 4. Let h be (-14)/4 + u/4. Sort h, -3, 2 in ascending order.
h, -3, 2
Let h be ((-12)/(-16))/((-6)/4). Put 4, h, 0.3 in ascending order.
h, 0.3, 4
Let y = 0.07 - -0.33. Put y, 1/5, 3/5, 0.3 in descending order.
3/5, y, 0.3, 1/5
Let q = -59.4 - -59. Sort -1, q, -2 in descending order.
q, -1, -2
Suppose 3*d = -t, -3*t + 24 + 0 = d. Suppose -g - t = -2*x + 5*x, 2*x = -5*g + 7. Put 0, 1, g in increasing order.
0, 1, g
Suppose -2*t + 6 = -2. Let r = 15 + -8. Let k(n) = -n**3 + 7*n**2 + n - 8. Let f be k(r). Sort t, f, -5 in increasing order.
-5, f, t
Let x = 2 + -1.8. Let l = 0.1 + -1.1. Put l, x, 1 in descending order.
1, x, l
Suppose -j + 3 = 5. Let r = -0.3 + 0.5. Let d = -0.3 - r. Put 0.4, j, d in descending order.
0.4, d, j
Suppose 0 = 3*n - 2*v + 7, 0 = -0*n - 2*n - v. Let b = -1 + -1. Suppose 3*j + 21 = 3*f, -3*j = 3*f - 2 - 1. Sort n, j, b.
j, b, n
Let g(p) = p**2 - p - 7. Let w be g(0). Suppose -13*q + 19*q - 12 = 0. Sort -5, w, q.
w, -5, q
Let l(x) = -x**3 + 7*x**2 - 6*x + 4. Let d be l(6). Sort -2/9, d, -3 in descending order.
d, -2/9, -3
Let d(i) be the second derivative of -5/3*i**3 - 3*i + 0 + 5/2*i**2 - 2/3*i**4 + 1/20*i**5. Let m be d(9). Put m, 4, -1 in decreasing order.
4, -1, m
Let h = 23 + -14. Suppose 2*u = -a - u - h, a = u + 7. Suppose -a - 3 = 3*t. Sort -4, 0, t in ascending order.
-4, t, 0
Let i = -111/2 - -158/3. Let k = -137/42 - i. Sort -0.1, k, -1 in descending order.
-0.1, k, -1
Let j be ((-5)/3)/(6/18). Sort j, -1, 3 in ascending order.
j, -1, 3
Let p = 0.9 - 1.4. Let t be (9/(-12))/(45/10). Put -1, t, p in decreasing order.
t, p, -1
Let i = -14 + 21. Suppose -3*z + i + 5 = 2*j, z + 5*j - 17 = 0. Let w(b) = b**3 + 4*b**2 + 4*b + 2. Let c be w(-3). Sort z, -5, c in decreasing order.
z, c, -5
Let v = -2.3 + -16.9. Let i = v - -19. Let r(n) = -n**3 - 5*n**2 + 7*n + 9. Let g be r(-6). Put g, 4, i in decreasing order.
4, g, i
Let n = -44.6 - -45. Sort -3, n, -0.5, 3 in decreasing order.
3, n, -0.5, -3
Let d = 4 + 2. Let u be ((-10)/(-18))/(2/d). Put -5, u, 2 in decreasing order.
2, u, -5
Let r be 48/(-36)*(-10)/(-8). Sort r, 2, 1.
r, 1, 2
Suppose -1 = -z - 2*w, -w + 2*w - 1 = 0. Let h be z/(-3) + (-20)/15. Let b(v) = 2*v - 1. Let p be b(-2). Sort p, h, 5.
p, h, 5
Suppose -2*r = -f - 3*f - 38, 1 = -2*f - 5*r. Let x = f - -33/4. Put 4, 2/13, x in ascending order.
2/13, x, 4
Suppose 0 = 2*r - 2. Let f(x) be the second derivative of -x**5/20 - x**2/2 + x. Let m be f(0). Sort r, -2, m.
-2, m, r
Let f be 6/(-10)*(-50)/(-40). Sort 7, f, 0.1 in descending order.
7, 0.1, f
Let c = -0.15 - -0.05. Put -2, -4, c in increasing order.
-4, -2, c
Let n = 96.3 + -96. Put -2/3, 1, -2, n in descending order.
1, n, -2/3, -2
Let j = 5 - 5. Suppose 2*b - 10 = -j*b. Let x(v) = v - 1. Let i be x(b). Sort 0, i, -0.1 in descending order.
i, 0, -0.1
Suppose 3*k - 3*q = 18, -3*k + 4*q - 2 = 5*q. Sort 5, k, 0, -1 in descending order.
5, k, 0, -1
Let r = 4.94 + 0.06. Let s = -61 + 85. Let l = 20 - s. Sort r, l, 0.1 in decreasing order.
r, 0.1, l
Let p = 26 - 14. Let c = p + 9. Let f be (-6)/c - (-1)/28. Sort f, 5, 0.
f, 0, 5
Let w be 4 + ((-12)/4)/3. Suppose 3*b - 2 = 2*b. Put -4, b, w in ascending order.
-4, b, w
Let j = -3 + 3.5. Let o = 0.6 + -4.1. Let y = o + -0.5. Sort y, j, 2 in decreasing order.
2, j, y
Let x(b) = b**3 - 7*b**2 + 6*b - 2. Let j be x(6). Let z be j/(-9) - (-10)/(-126). Sort z, 4, -1/3 in descending order.
4, z, -1/3
Let d = 9/49 + -19/637. Put 0.4, d, 1/3 in ascending order.
d, 1/3, 0.4
Let a = 22.8 + -23. Put a, 2, 6 in increasing order.
a, 2, 6
Let m(g) = 20*g - 145. Let v be m(7). Let t be (1/2)/((-2)/(-12)). Sort 2, v, t in descending order.
t, 2, v
Let y be (2 - 0)/(2/(-5)). Sort y, 0, -3, 3 in descending order.
3, 0, -3, y
Let g(x) = -x**3 - 14*x**2 - 24*x - 1. Let d be g(-12). Sort -4, d, -6.
-6, -4, d
Suppose -p + 0*p = -126. Let m be p/(-24) - 2/(-8). Sort 1, 3, m.
m, 1, 3
Let y be 10/(-8) + 2/4. Let q = 15 + -13. Sort q, -3/8, y in ascending order.
y, -3/8, q
Let a = -249/5 - -50. Let m = -447/5 - -89. Suppose 20 = -5*w + w - 2*p, -4*w - 4*p = 28. Sort m, w, a.
w, m, a
Suppose -13 = -3*j - 1. Sort j, 3, -5 in descending order.
j, 3, -5
Let n = -442 - -8396/19. Sort 2, n, -1/12, -5 in decreasing order.
2, -1/12, n, -5
Let o(l) = -l**2 + 12*l - 21. Let s be o(10). Put s, 4, 5 in decreasing order.
5, 4, s
Let q be (-1)/2*(-32)/144. Let t = 11 + -6. Put q, t, -0.3 in increasing order.
-0.3, q, t
Let y = -40 + 31. Sort 5, 0, y in increasing order.
y, 0, 5
Let l(q) = -q**3 - 9*q**2. Let y be l(-9). Sort -5, y, 3 in descending order.
3, y, -5
Let j = -86 - -86.2. Let w = 3 + 2. Sort w, 3/5, j in descending order.
w, 3/5, j
Let i(x) = x**2 - 7*x - 2. Let o be i(7). Let s be (1/o)/(1/(-18)). Let b be (-3 - (-24)/s)*-3. Sort 3, b, 2 in descending order.
3, 2, b
Let w = -11 + 15. Let r = 6043/15 + -403. Let n = r - 11/30. Sort w, n, -5 in increasing order.
-5, n, w
Let a = 0.127 - -0.073. Sort a, -1/6, -5.
-5, -1/6, a
Suppose -17 = 3*n - 4*o, 2*n + 3*n = -4*o - 7. Put 0, n, 3 in increasing order.
n, 0, 3
Suppose 14 = 5*r - 11. Sort 2, r, 3.
2, 3, r
Let x be ((-48)/(-32))/((-1)/2). Sort x, 4, 5 in descending order.
5, 4, x
Let n = 0.3 - 1.3. Suppose 9*i = 6*i + 12. Suppose -5*c - 2*r = -25, -r = c - 4*c + i. Put c, 0.2, n in decreas