der.
-3, -3/2, x
Let a be (-1 + 4)*(15/(-9) + 1). Sort -3, a, -3/4 in decreasing order.
-3/4, a, -3
Let o(z) = -z**2 - 8*z + 9. Let v be o(-8). Let j be (-8)/36 - (-47)/v. Sort 4, -5, j in decreasing order.
j, 4, -5
Let z(i) = i**2 + 7*i + 2. Let b be z(-7). Let a = b - 3. Let s(f) = f**2 + 5*f - 2. Let w be s(-5). Put -3, w, a in descending order.
a, w, -3
Let h = 537/4 + -135. Put -4, -3, h in ascending order.
-4, -3, h
Suppose -7 + 19 = 3*g. Suppose -d = 4*f - 27, g*f - 24 = -2*d - 2. Suppose f = 2*r + 2. Sort 0, r, 2 in descending order.
r, 2, 0
Let f(p) = -p**3 - 4*p**2. Let i be f(-2). Let y be i/(-12)*2/4. Put 0, -1, y in decreasing order.
y, 0, -1
Let f(b) = -b**3 - b**2 - 4. Let p be f(0). Sort -3, 10, p in ascending order.
p, -3, 10
Let b = -6 + 3. Let f(n) = n - 5. Let p be f(6). Sort -4, p, b in ascending order.
-4, b, p
Suppose 11 = 4*l - 49. Sort 1, l, 3 in increasing order.
1, 3, l
Let s = -67613/2040 + 19/1020. Let h = -33 - s. Sort h, -2, -7 in increasing order.
-7, -2, h
Let b = -45 + 66. Suppose -4*j - b = -5. Suppose 0 = -4*f + 5*f + 5. Put f, 2, j in increasing order.
f, j, 2
Suppose -3*y + 5*w = 2, -2*w = -5*y + 6*y - 3. Suppose r - 6 = -4. Let o = r - y. Put -5, 2, o in decreasing order.
2, o, -5
Let w be (1 - 0) + (-1 - -4). Let f = -6 + 6. Let z(d) = d**3 + 3*d**2 - 3*d - 1. Let h be z(-4). Sort w, h, f.
h, f, w
Suppose 4*a - 4 = -2*n - 24, -3*n - 3 = -3*a. Put -8, 0.2, a in descending order.
0.2, a, -8
Let d = -1/94 - -51/376. Let t = 0.85 - -0.05. Let w = t + -1. Put w, d, -3 in descending order.
d, w, -3
Let a be 36/(-240) - (-2)/5. Let o = 14 + -16.2. Let y = -2 - o. Put y, -0.2, a in increasing order.
-0.2, y, a
Suppose -2*x + p + 49 + 0 = 0, 0 = -2*p - 10. Let r = x - 111/5. Let u = 0 - -0.2. Put u, 4, r in descending order.
4, u, r
Suppose 6 - 1 = -h. Put 5, 2, -1, h in descending order.
5, 2, -1, h
Let q = 1924.3 - 1822. Let f = -96 + q. Let t = 6 - f. Sort -3/2, -2, t in decreasing order.
t, -3/2, -2
Let r be -3 + 1 + 6/4. Let p = -4.03 - -0.03. Sort p, r, -3/4 in increasing order.
p, -3/4, r
Let t = 76.7 + -77. Let h = -0.24 + -0.06. Let k = h + 2.3. Put k, t, -0.5 in descending order.
k, t, -0.5
Let r be (7 + 189/(-28))/(1/2). Put 1, r, 0.1, -2 in descending order.
1, r, 0.1, -2
Let g be 7/(-9) + (-4)/18. Sort -5, -3, g.
-5, -3, g
Let s(o) be the third derivative of -o**4/12 + o**3/3 + o**2. Let d be s(1). Sort d, -5, 2 in ascending order.
-5, d, 2
Suppose -6 = 4*j + 2*x, j = -j - 3*x - 9. Let b be 42/(2 + 0) - j. Let y be -1 - ((-60)/b)/2. Put 5, y, -1 in increasing order.
-1, y, 5
Suppose 0 = -5*k - 5. Let b be 39/5 - (-1)/5. Let c be -2 + 3 - (b + -2). Sort -3, c, k in decreasing order.
k, -3, c
Let d = -3 + -1. Let h = -1.6 + -0.4. Let f = -60 - -62. Sort d, f, h in decreasing order.
f, h, d
Suppose 2*f + 22 = 5*w, -3*w + 0*f = 2*f - 10. Let o be (4 - w)*(-2)/(-4). Suppose 5*q = -4*a - 5 - 24, q + 8 = -3*a. Sort a, o, 5 in descending order.
5, o, a
Let n = -18/11 + 212/143. Let l = 6.4 + -0.8. Let d = -6 + l. Put -4, n, d in increasing order.
-4, d, n
Let o = -9.13 - -0.13. Let v = o + 8. Put 2/9, v, 1/4 in descending order.
1/4, 2/9, v
Suppose 10 - 66 = -4*h. Suppose -h*n + 9*n = 25. Put n, -1, 4 in descending order.
4, -1, n
Suppose -2*n + 3*r - 6 = 2*r, 0 = -2*n - 2*r - 6. Put -5, n, 2 in descending order.
2, n, -5
Let p be (-2)/(-8) - 18/8. Let m be ((-3)/9)/(3 + p). Put m, 2/7, -2/5 in increasing order.
-2/5, m, 2/7
Suppose -5*p = 4*o - 27, 4*p + 2 = 3*o + 5. Suppose 9*h = 4*h + 2*n + 8, -n = 5*h + 4. Suppose o*y - 2*y - 4 = h. Sort 5, -2, y.
-2, y, 5
Let d = 0.19 + -1.19. Suppose -4*c - 1 + 21 = 0. Let t be ((-4)/(-10))/((-6)/10). Put t, d, c in descending order.
c, t, d
Let s(z) = z**2 + z - 5. Let h be s(0). Put 4, h, -9 in increasing order.
-9, h, 4
Let m = 2 + -2. Put 3, m, 1 in descending order.
3, 1, m
Suppose 4*q - 8*q - 28 = 0. Suppose s - 4*o = -2*s - 3, -5*s = 4*o + 37. Let j = s - q. Put -1, j, -5 in ascending order.
-5, -1, j
Let t = -17 + 16.6. Sort 3, -2, t.
-2, t, 3
Suppose 0 = 2*s - s + 4. Let c be (-55)/4 + (-1)/4. Let o = -16 - c. Put 3, s, o in increasing order.
s, o, 3
Let v = 21 + -15. Put v, -5, -2 in decreasing order.
v, -2, -5
Let s = 15 - 10. Suppose r = -s*t + 5 - 1, -2*t - 8 = -2*r. Suppose 3*b + 4*c - 12 = t, -2*b + 8 = 5*c - 7. Put b, -3, -1 in ascending order.
-3, -1, b
Let l = 2 - -1. Let i = -47 + 83. Let m be i/8 + (-2)/4. Put l, 0, m in descending order.
m, l, 0
Let j = 12 + -8. Let k = -0.07 + -1.93. Let y = -2 + k. Sort 0.3, y, j in ascending order.
y, 0.3, j
Let i = 2/355 + 343/2130. Let h = 71 + -215/3. Sort i, -0.1, h in decreasing order.
i, -0.1, h
Suppose 4*j - 45 = -5*x - 18, 3*x = 3*j. Let d = x - 0. Let f be 1 - (-1 - 0/d). Sort f, 3, 5 in decreasing order.
5, 3, f
Let q = 0.01 - 0.41. Let m be 80/(-25) + -1 + 4. Sort m, q, -1/3 in increasing order.
q, -1/3, m
Suppose 0 = -v + 5*v. Suppose -m + 4 = -v*m. Let n = 2 - 3. Sort -4, m, n.
-4, n, m
Let t(o) = 2*o**2 - 12*o + 4. Let a be t(6). Suppose 12 = -a*f - 0*f. Suppose -5*d + 34 = 14. Put f, d, 0 in ascending order.
f, 0, d
Let f(z) = 4*z**2 - 2*z - 8. Let j(k) = -7*k**2 + 4*k + 16. Let v(b) = -5*f(b) - 3*j(b). Let o be v(6). Suppose 0*t + o = 4*t. Sort 2, t, -3.
-3, 2, t
Let c = 7 - 4. Let u = -4 + 8. Put -2, u, c in decreasing order.
u, c, -2
Let j be 1/(-4)*16/18. Let w = 13 - 12.8. Put w, -0.5, j in decreasing order.
w, j, -0.5
Let v(z) = -z + 6. Let t be v(5). Sort 3/4, 0, t.
0, 3/4, t
Suppose 2*j - 4 = -0*j. Put 0, -4, j in descending order.
j, 0, -4
Let u(n) = n**2 + 4*n + 5. Let k be u(-4). Let b = k - 4. Let f(v) = v**3 + 10*v**2 + 8*v - 11. Let r be f(-9). Put 4, b, r in descending order.
4, b, r
Suppose -5*i - 20 = 5*c, 6*c + 3*i = c - 14. Let s be c/4 - 30/(-48). Put 1/7, 1, s in descending order.
1, s, 1/7
Let k(x) = 3*x**2 - 4*x - 8. Let c be k(-6). Suppose 0 = -5*p - 471 - c. Let j = 593/5 + p. Sort j, 3/4, -4 in increasing order.
-4, j, 3/4
Let w(t) = -t + 13. Let h be w(11). Sort 3, h, -5 in descending order.
3, h, -5
Suppose 252 = -0*m - 3*m. Let f be 2/(-8) - m/16. Sort 0, 2, f in descending order.
f, 2, 0
Let d(w) = w**3 + w**2. Let v be d(0). Let s be -2 + 0 - (2 - 16). Suppose -k = -4*k + s. Sort k, 3, v.
v, 3, k
Let l = 2265 + -33988/15. Let b = 8/15 + l. Let s be (-14)/(-4) - (2 + 0). Put b, 5, s in ascending order.
b, s, 5
Let b = -36 - -32. Sort 0, b, 3 in ascending order.
b, 0, 3
Suppose 5*d + b - 4*b = 10, 5*b = 3*d - 6. Let h be -2*(25/2)/5. Put h, d, -3 in increasing order.
h, -3, d
Let s = -13 + 12.5. Put 0.9, s, 3 in decreasing order.
3, 0.9, s
Let j = 0.3 - 0.1. Let f = -13.6 - -14. Sort j, f, -1 in increasing order.
-1, j, f
Let n be (-9)/(-12) + 2/(-8). Let f = -3/17 - -1/102. Sort 0.4, n, f.
f, 0.4, n
Let t be ((-12)/(-4))/(2 - 1). Let s be ((-5)/4)/(t/12). Put 5, 2, s in ascending order.
s, 2, 5
Let n(g) = 2*g**3 - g**2 - 2*g + 2. Let q be n(2). Let k be q/(-3)*(-12)/10. Sort -4, k, -3 in increasing order.
-4, -3, k
Suppose 5*f - 3 = -3*x + 9, 2*f - 3*x + 12 = 0. Suppose 0 = u - 2 + 4. Put f, u, 2 in increasing order.
u, f, 2
Suppose -3*o + 11 = -19. Suppose 5*h = -0*g - 4*g + 22, 2*h + 2*g - o = 0. Put h, 5, -5 in descending order.
5, h, -5
Let u(o) = 2*o**2 + o - 2. Let w be u(-2). Let f be (-2)/7 + -1*2/(-7). Sort -3, w, f in descending order.
w, f, -3
Let r = -30 - -50. Suppose 2*p - r = -2*p. Let w be (-1 + 0)*-1 + 2. Sort p, w, -2 in increasing order.
-2, w, p
Let s = -3.7 + 1.64. Let d = -0.34 - -0.4. Let v = d + s. Sort v, 0, -0.3 in descending order.
0, -0.3, v
Let w(v) = -v + 5. Let f be w(1). Put 0.5, -3, f in ascending order.
-3, 0.5, f
Suppose 0 = 3*i - 3*y - 7 + 34, -33 = 5*i + y. Let n = -6 - i. Put -4, n, -1 in ascending order.
-4, -1, n
Let a be (-4)/(-2)*1/(-7). Let t(y) = y + 9. Let q be t(-3). Let n be q/3*1 - 6. Put n, a, -3 in descending order.
a, -3, n
Let b = -0.7 - -1.5. Let j = b - 1.1. Let t = 829/4 - 206. Sort t, 0, j.
j, 0, t
Let p = 44.8 + -37. Let q = p - 7. Let c = -1.1 + q. Sort 5, c, -0.1 in descending order.
5, -0.1, c
Let t = 13 - 8. Let m be (5 - 3) + -5 + 6. Let q be 1*m/(-1)*1. Sort 2, t, q in decreasing order.
t, 2, q
Let c = 0.07 - 5.07. Let u be (-16)/(-18) + 4/(-18). Let g = -0.07 + -0.13. Sort g, u, c in ascending order.