+ 5*b + 1. Suppose -4*f - 8 = -2*f. Sort f, c, 5 in decreasing order.
5, c, f
Let v = -4 + 7. Let b be 16/(-20)*(2 + 3). Put v, -5, b in decreasing order.
v, b, -5
Let s = -1.98 - 0.02. Let t = 20 + -19. Sort s, -0.4, t in decreasing order.
t, -0.4, s
Suppose -7*g + 2*g = -25. Sort 2, g, -1/4 in descending order.
g, 2, -1/4
Suppose 0 = -5*s + 10. Let h be 2/5 + (-16)/(-10). Suppose 2*m - 2*u = 0, -m + h*u + 3 = -0*u. Sort m, s, 3 in decreasing order.
3, s, m
Let u = 0.37 - 5.37. Sort u, 5/4, -5/2, 1 in ascending order.
u, -5/2, 1, 5/4
Suppose -2*s + 7 - 1 = 0. Suppose s*h - 3 = 2*h. Suppose t = -m + 1, -h*t = -0*m + 4*m - 2. Sort -2, 4, m in decreasing order.
4, m, -2
Let c = -30 + 28. Let s = -0.7 + 1. Put 0, s, c in descending order.
s, 0, c
Let z(s) = -1 - 2 - 4*s + 0. Let k be z(-2). Suppose -9 = 5*h - 4*b, 0*b = -3*h - 4*b - 31. Sort 2, k, h.
h, 2, k
Let m = -30 - -30.1. Sort m, 1, 3, -0.5.
-0.5, m, 1, 3
Let x = 0.5 + -3.5. Suppose 10*t = 9*t - 6. Let i = 4 - 1. Sort i, x, t in ascending order.
t, x, i
Let b(z) = 9 - z + 0*z + 0*z. Let h be b(7). Let q = -15 + 13. Sort q, h, 0.
q, 0, h
Suppose 5*l = l - 16. Let d(b) = b - 3. Let t be d(7). Suppose 8 = t*y - 0. Put -5, l, y in descending order.
y, l, -5
Suppose 2*s = 3*s + 1. Let y = -2 - -2. Let m be s + 1 + y - -4. Put 5, m, -2 in ascending order.
-2, m, 5
Let n = -391.54 + 395. Let g = -0.84 - n. Let s = -4 - g. Put s, 4, -1/2 in decreasing order.
4, s, -1/2
Let l = 1 + -1. Let z = l - -3. Put z, 2, 4 in decreasing order.
4, z, 2
Let v = -24 - -19. Sort -1, v, -0.1, -2 in descending order.
-0.1, -1, -2, v
Let h = 501.04 + -501. Let a = -4.3 - -4. Sort a, 0, h in ascending order.
a, 0, h
Suppose 6*c = c + 15. Sort 4, -20, c in decreasing order.
4, c, -20
Let r = -0.2 + 0.2. Let z = -4 - -3.7. Sort z, 3/5, r in descending order.
3/5, r, z
Let b = -24 + 13. Let t = b - -15. Let o be -1 + (0 - -1 - 5). Put t, -1, o in increasing order.
o, -1, t
Let d = -2 + 5. Let m = 0.09 + -4.09. Put -1/4, d, m in decreasing order.
d, -1/4, m
Let w = -0.08 - -0.09. Let q = -0.21 + w. Put 5, q, -5 in decreasing order.
5, q, -5
Suppose 0 = -2*n + 5*p + 17, -2*p + 2 = -4*n - 4*p. Suppose 9*t - 11*t = -20. Let r = t + -14. Sort 5, n, r in decreasing order.
5, n, r
Let n = -5/27 + 1/54. Let r = -7.3 + 8. Let d = 1.7 - r. Put -5/4, n, d in decreasing order.
d, n, -5/4
Let k be 4/12*1 + (-7)/30. Let a = 0 - -2. Put k, a, -2/3 in increasing order.
-2/3, k, a
Let n(o) = -2*o + 9. Let g be n(5). Suppose -3*m - 2*m = -5. Put g, -4, m in descending order.
m, g, -4
Let a = -75 + 221/3. Let g(k) = -k**2 + 20*k + 5. Let s be g(20). Put a, s, 4 in descending order.
s, 4, a
Let s be 50/20*6/(-5). Let p be 30/8 - (-1)/4. Let h = -6 + p. Sort h, s, 3 in increasing order.
s, h, 3
Let y be ((-2)/5)/((-2)/5). Suppose 2*t = -0 + 6. Let q = -8 + t. Sort -4, y, q in descending order.
y, -4, q
Let k = 4.9 - 7.9. Put 0.2, -1, 0.07, k in decreasing order.
0.2, 0.07, -1, k
Let i = -0.19 - -0.09. Sort i, 3, -5 in ascending order.
-5, i, 3
Let o = -0.4 - 0.4. Let l = o - -1. Put l, 4, -2 in ascending order.
-2, l, 4
Let q(t) = -t**2 - t + 2. Let n be q(0). Let h(a) = -a + 12. Let g be h(7). Sort n, g, 1 in decreasing order.
g, n, 1
Let n(l) = -3*l**2 - 34*l - 14. Let z be n(-11). Put 3, 1, z, 5 in decreasing order.
5, 3, 1, z
Let s be ((-12)/(-117))/(2/(-9)). Put s, -1/6, 1/4 in ascending order.
s, -1/6, 1/4
Let u(t) = -2*t + 25. Let i be u(0). Suppose 0*v = 5*v + i. Sort -1, -4, v in descending order.
-1, -4, v
Let x = -36.5 + 37. Sort 5, 60, x.
x, 5, 60
Let j = -192 - -197. Put -5, 3, -4, j in descending order.
j, 3, -4, -5
Suppose -5*a = -a - 8. Let d be (9 - (a + -1)) + -4. Put -4, -3, d in decreasing order.
d, -3, -4
Let y = 5 - 3. Let k = y + -1.5. Sort -3, -1, k in increasing order.
-3, -1, k
Suppose 28*z = 33*z. Sort 4, z, 21 in ascending order.
z, 4, 21
Let i be (-2)/15*30/(-50). Sort -0.1, 1/10, i in ascending order.
-0.1, i, 1/10
Let b be (8/(-3))/((-6)/(-9)). Sort b, 2, -5.
-5, b, 2
Let q be ((-4)/(-6))/((-3)/(-108)). Let p = -73/3 + q. Sort -5, 0.1, p in ascending order.
-5, p, 0.1
Let g = 110/8177 + 3/221. Let h = -43/222 + g. Let f = -9 - -13. Put f, -4, h in decreasing order.
f, h, -4
Let h = -3 - 5. Let m = h - -3. Sort m, 5, -2.
m, -2, 5
Let w = 1.6 + 6.4. Let l = 7.5 - w. Let k = 2/15 - 4/5. Sort -2/15, l, k in decreasing order.
-2/15, l, k
Suppose s - 20 = -s + 4*w, 20 = s - 4*w. Suppose 11*u = 10*u + 2. Put s, u, 4 in ascending order.
s, u, 4
Let g(u) = -5*u**2 - u + 2. Let n be g(1). Let c = -2 - 1. Put 1, c, n in ascending order.
n, c, 1
Let u be (5 + -1)/4 + 1. Sort 1, u, -4, 4 in increasing order.
-4, 1, u, 4
Let w be -1 - (-5)/1*1. Let f be 2*-1 - (-28)/w. Sort -5, f, -3.
-5, -3, f
Suppose f - 2 = 3*p - 3*f, 3*f = -4*p - 11. Let z = 2 - p. Let b = 143 + -142. Sort z, -3, b in increasing order.
-3, b, z
Let y = 67985387/156 + -435802. Let s = 23/12 - y. Let a = -5 - -5.1. Put a, -4, s in increasing order.
-4, a, s
Let u be (132/5)/((-2)/10). Let w = u + 1190/9. Let g = 6 + -5.7. Put w, 5, g in increasing order.
w, g, 5
Let a = 23 - 23. Put 0.2, -5/6, a in decreasing order.
0.2, a, -5/6
Suppose 2*i - 22 = -n - 4*n, i + 15 = 4*n. Let t = 6 + -3. Suppose 2*d = 5*j + 10, 2*j - 3*d + t = -1. Put j, i, 2 in descending order.
2, i, j
Let x(o) be the third derivative of o**6/120 + 11*o**5/60 - o**3/2 + 4*o**2. Let s be x(-11). Sort 0.5, -1/10, s in decreasing order.
0.5, -1/10, s
Suppose 0 = -s + 6*s. Sort -3, 4, s, 2 in descending order.
4, 2, s, -3
Suppose 0 = 5*o - 20, p - 2*p = -4*o + 21. Put p, 1, -10 in decreasing order.
1, p, -10
Let k(n) = -n**2 - n + 5. Let s be k(0). Let j = -10 + s. Sort -2, j, -1 in increasing order.
j, -2, -1
Let q be 1/(-10)*(-12)/9. Sort 1/10, q, -4/5, -2/21 in descending order.
q, 1/10, -2/21, -4/5
Let d = -159 + 161.72. Let w = 0.12 - d. Let m = w - 0.4. Sort 2/3, -1/5, m.
m, -1/5, 2/3
Let r = 5.2 + -11.9. Let v = 7 + r. Sort 4, -1, v.
-1, v, 4
Let c = -0.24 - 0.06. Sort -0.5, 4/3, c in decreasing order.
4/3, c, -0.5
Suppose -2*l = 3*j + 25 + 10, 0 = -4*l + j - 35. Sort -5, l, -2 in increasing order.
l, -5, -2
Suppose -4*s - s = 15. Suppose 0*h = 5*h - 40. Suppose -3*o + h = o. Sort s, -2, o in decreasing order.
o, -2, s
Let u be (-7 + 7)*(-1)/7. Let b = 4 - 25. Let y be 27/b + (-4)/(-14). Sort y, 6, u in increasing order.
y, u, 6
Let g(u) = 21*u**3 - u. Let w be g(1). Let z be (-76)/(-6) - 6/9. Suppose -m + w = -4*t, 2*m = 3*t - 2*t + z. Sort t, 0, 3.
t, 0, 3
Let d = 10 - 6. Put d, 2, 3 in descending order.
d, 3, 2
Suppose -16 = k - 21. Sort -5, 0, k.
-5, 0, k
Suppose r - 3*r - 13 = 3*d, 0 = 4*r - 3*d - 19. Let l(i) = i**3 + 6*i**2 + 5*i + 1. Let f be l(-5). Let t = f + -5. Put r, 4, t in decreasing order.
4, r, t
Let p = 26 + -26. Suppose -5*f + 105 - 5 = 0. Suppose -4*k - 5*z - 12 = 4, 5*k + z = -f. Put p, k, 5 in decreasing order.
5, p, k
Let d = 3.013 - 0.013. Sort d, 0.2, 2/11.
2/11, 0.2, d
Let x = -38/15 - -11/5. Let v = 3.762 + 0.238. Sort 0, x, v in ascending order.
x, 0, v
Let o(n) = n**2 + 17*n + 57. Let c be o(-12). Put 109, c, 4 in increasing order.
c, 4, 109
Suppose -3*l + 2*m - 4 = 0, -l = -m + 1 + 2. Let k be (12/(-3))/(l/(-2)). Let y be (0/(3 + -2))/(-2). Sort y, k, 3.
y, 3, k
Let r be 1*(12/7 + 10/35). Sort 0, 5, r in increasing order.
0, r, 5
Let g(k) be the second derivative of -k**4/12 - k**3/3 - k**2 + k. Let z be g(-3). Let t be 1*5/(10/(-8)). Put t, 3, z in ascending order.
z, t, 3
Let n = -29 + 24. Let b(t) = t**3 + 5*t**2 + 6*t + 4. Let u be b(-4). Sort u, 4, n in descending order.
4, u, n
Let q = 10 + -5. Suppose -5*b = -6*b + 2. Put q, b, -0.5 in increasing order.
-0.5, b, q
Let v = -17 - -18. Sort -7, -1, v in ascending order.
-7, -1, v
Let m be 0 - 22/6 - -3. Let l = 3.08 + -0.08. Put m, l, -3 in increasing order.
-3, m, l
Suppose -2*i + 6 = i. Let y be -2*(1/2 + i). Sort -1, 2, y in ascending order.
y, -1, 2
Let n = 29 + -5. Let c = -29 + n. Let l = -0.3 + 0.8. Sort l, c, -0.2 in descending order.
l, -0.2, c
Let x be ((-36)/(-21) - -1) + -3. Put -0.3, -0.4, x in increasing order.
-0.4, -0.3, x
Let o = 3 + -1. Put 3, o, 5/2 in ascending order.
o, 5/2, 3
Let q = -5 - -9. Sort q, 0.4, -5, 1.6 in ascending order.
-5, 0.4, 1.6, q
Suppose -2*a + 15 = 3*a. 