j*t = 18 - 3. Sort t, 2, 0.
0, 2, t
Let r(f) be the first derivative of -f**4/4 + 4*f**3/3 + 2*f**2 + f - 1. Let o be r(5). Put o, 1, 4 in decreasing order.
4, 1, o
Let w(g) = 3*g - 2. Let v be w(2). Suppose -5*f = c - 6*c - 15, v*c - 8 = -f. Put f, 1, -3/4 in decreasing order.
f, 1, -3/4
Let s be (12/45 + 6/(-18))*3. Sort 1, 1/2, -0.3, s.
-0.3, s, 1/2, 1
Let h = -3 + 14. Suppose 3*g + 16 = -h. Let n = 11 + g. Sort -4, n, -3 in ascending order.
-4, -3, n
Let c = -3.5 - -3. Let s = 2.05 + -0.05. Suppose -q - q + 15 = 3*w, 0 = -2*w + 6. Sort c, s, q in descending order.
q, s, c
Let c(a) = -a**3 + 1. Let m be c(-1). Suppose 3*z = -m*z - 5. Suppose 5*q - 2*v = -0*v + 30, 2*q = 5*v + 33. Sort q, z, 1.
z, 1, q
Let x = 14 - 20. Let t be (x/4)/((-5)/2). Sort t, 1, -4 in decreasing order.
1, t, -4
Let j = -0.1 + 0.1. Let i = -0.4 + 0.3. Let r = i - j. Sort r, -1/11, 0 in descending order.
0, -1/11, r
Let a = -8.2 - -0.2. Let m = a - -8.5. Sort -1, 0.4, m in descending order.
m, 0.4, -1
Let x be 2/1 + (-24)/2. Let c = -6 - x. Let t be (1/(-2))/((-2)/(-4)). Put t, c, 1 in descending order.
c, 1, t
Let w be 56/42*(-6)/(-4). Put 3, 4, w in descending order.
4, 3, w
Suppose -2*p - 11 = 3. Let b = p - -11. Let g be (6/24)/(2/24). Sort -5, b, g in descending order.
b, g, -5
Let u(c) = c**3 - 3*c**2 - 2*c - 4. Suppose -3*a - 5 = -17. Let v be u(a). Suppose 0 = v*r - 8*r + 4. Put -2, r, 0 in descending order.
r, 0, -2
Let l(i) = 2*i**2 + 14*i - 8. Let p be l(-8). Sort 4, -3, p, -1 in descending order.
p, 4, -1, -3
Let j = -1.14 - 0.86. Let f = -4 + 3. Sort f, 0.5, j.
j, f, 0.5
Let a(z) be the second derivative of -2*z**3/3 - 3*z. Let g be a(-2). Suppose -g = 4*k, 6*j - 3*j - 19 = 5*k. Sort 4, j, -3 in descending order.
4, j, -3
Let q = -3 - 0. Let n = -0.7 + 1. Put -1, n, q in descending order.
n, -1, q
Let q be (3/(-4))/(3/12). Suppose -y - 6 + 5 = 0. Put q, y, -5 in increasing order.
-5, q, y
Suppose -2*c - c - 1 = 4*r, 5*r - 4*c = -9. Put r, 0, -6 in decreasing order.
0, r, -6
Let u be (5/10 - 0)*-14. Put 2, 1, u in increasing order.
u, 1, 2
Let j be (-3 - -1)*5/(-10)*3. Put -3, j, 4, -1 in increasing order.
-3, -1, j, 4
Let b = -0.5 - 1.5. Let u = b - -3.08. Let p = -0.08 + u. Sort -0.5, p, -5 in decreasing order.
p, -0.5, -5
Let b = 1.6 + -1.52. Let o = 0.58 - b. Sort o, -2, -0.5 in descending order.
o, -0.5, -2
Let y = 50 - 54. Let v = -958/187 + 84/17. Sort v, y, -3.
y, -3, v
Suppose 3*b - 48 = -b. Suppose 0 + b = i. Let n = 17 - i. Sort n, -2, -4 in descending order.
n, -2, -4
Let z = 13.04 + -12.9. Sort -5, z, -4 in decreasing order.
z, -4, -5
Let o = -87 + 82. Suppose -z - 2 = -6*z + 3*u, z = -u + 2. Sort o, z, 0 in descending order.
z, 0, o
Let a(h) = -h**2 - 7*h + 19. Let l be a(-9). Sort l, -1/2, 5, 0.4.
-1/2, 0.4, l, 5
Let a be (-4)/(-12) - (-100)/(-30). Let k be -1 - (-3)/(3/2). Let q = k - 1. Sort 1, q, a in descending order.
1, q, a
Let w = -4 + 9. Suppose 1 = w*i + 16. Sort 4, 5, i.
i, 4, 5
Let p be 16/(-2)*((-5)/(-10) - 0). Sort -3, 5, p, 3 in ascending order.
p, -3, 3, 5
Let o(m) = m + 2. Let k be o(-6). Sort k, -5, -3 in descending order.
-3, k, -5
Suppose 3 = 4*x - 1. Let v be x/3*(1 - 0). Sort 0.3, 3, v.
0.3, v, 3
Let v = 67 - 68. Sort -12, 2/3, v, 5.
-12, v, 2/3, 5
Let w be 8/10 - 8/10. Sort 1, 5, w in descending order.
5, 1, w
Suppose 0 = -5*n + 12 + 8. Suppose x - 3*r - 7 = 0, -2*r = -2*x - 5*r - 4. Sort n, x, 5 in ascending order.
x, n, 5
Let h = -117 + 118. Put 6, 4, h in ascending order.
h, 4, 6
Let v(j) be the first derivative of -j**2/2 - 1. Let h be v(-2). Suppose 0 - 6 = -h*q. Put 2, -3, q in ascending order.
-3, 2, q
Let c(y) = y**3 - 3*y**2 + 2. Let l be c(3). Let m be (l - 1)*(13 - -2). Suppose -3*r + 16 = -2*h + 1, 0 = -3*r + m. Put -1, h, -5 in decreasing order.
h, -1, -5
Suppose 10*u - 56 = -6. Sort u, 2, -30, -1 in decreasing order.
u, 2, -1, -30
Suppose 0 = -9*r + 4*r + 15. Suppose r = -4*c + 3*c. Put 4, c, -0.3 in descending order.
4, -0.3, c
Let k(j) = -j**3 - 5*j**2 - 2*j - 7. Let t be k(-5). Suppose 0 = -3*p + 9, 2*p = -2*c + t*p - 9. Put 2/11, 4, c in ascending order.
c, 2/11, 4
Let w = -1 - 1. Let o(u) = -8*u - 77. Let a be o(-10). Put w, a, 2 in increasing order.
w, 2, a
Let a = 131/340 - -1/68. Put -2/5, a, 6 in descending order.
6, a, -2/5
Let s be ((-20)/(-6))/(2*(-2)/(-6)). Sort 2, -1, s in ascending order.
-1, 2, s
Suppose 15 = 5*r - 5. Let j be (-40)/(-10) - 2/((-4)/(-6)). Put j, -1, r in decreasing order.
r, j, -1
Let h = 83 - 82. Sort h, -4, 14.
-4, h, 14
Let a be (1 - 0)*-1 - 2. Let s(z) be the first derivative of z**4/4 + 4*z**3/3 + 2*z**2 - z + 3. Let j be s(a). Sort -3, 1, j.
j, -3, 1
Let x = -2 + 5. Let h = 5 - x. Let l(y) = y**2. Let f be l(0). Sort f, h, -3 in increasing order.
-3, f, h
Let p = 14 - 10. Suppose 0 = -p*y + 2 + 2. Suppose -4*o + 7 = 3*r, -2*r + 25 = -5*r + 4*o. Sort y, r, 5 in increasing order.
r, y, 5
Let c be 12/8 + 0 - 1. Let t = 0.2 - 0.3. Sort t, c, -4 in ascending order.
-4, t, c
Let s(u) = -u**3 + 3*u**2 + 5*u - 6. Let t be s(4). Sort -5, t, 0.
-5, t, 0
Let z = 5/7 - 3/14. Let y = -1.8 - -0.8. Put y, 0, z in descending order.
z, 0, y
Suppose 3*y - 9 = -2*r, 0 = -2*r + 2*y - 3*y + 3. Sort 1, r, -2.
-2, r, 1
Suppose 2*w - 5*w - 15 = 0. Let q = 8 + w. Suppose -3*l - 4*j + 4 = 0, -4*l + q*j = -j + 4. Put 1, -5, l in increasing order.
-5, l, 1
Suppose 5*q + 5 + 0 = 0. Suppose -i + 2*d - 2 = -12, 5*d = 4*i - 25. Suppose s = -u - 7, 2*s - 2 = -i*s + 2*u. Sort 2, s, q in increasing order.
s, q, 2
Suppose 2*h = 6*h - 20. Let y(v) = v**2 - 3*v - 2. Let t be y(h). Let g be 6/9 + t/(-3). Sort -0.2, g, 0 in descending order.
0, -0.2, g
Let m = 0.5 - -0.5. Let t(h) = h**2 - 6*h + 2. Let q be t(5). Let r be (-2)/(-4) + (-1)/3. Sort m, r, q.
q, r, m
Suppose 0 = 3*v + 23 - 38. Put 8, 0, 1, v in increasing order.
0, 1, v, 8
Let x = 31 + -31. Put 5, x, -1 in descending order.
5, x, -1
Let j(t) = -t**3 + 12*t**2 - 11*t - 5. Let u be (13 + (1 - 3))*1. Let c be j(u). Sort 3, 2, c.
c, 2, 3
Let k = -9.2 - -3.2. Sort k, 4/3, 5, 1.
k, 1, 4/3, 5
Let o = 2 - 1.8. Put 4, -5, o in increasing order.
-5, o, 4
Let s(w) = -w**3 - 4*w**2 + w + 4. Let q be s(-4). Suppose 5*y + 0*k = k - 19, -5*k + 11 = 3*y. Let a be y/(30/4)*5. Sort q, 4, a in ascending order.
a, q, 4
Let j = 0.468 + -0.068. Put j, 5, -2/25 in ascending order.
-2/25, j, 5
Suppose -5*h = -3*y - 35, 21 = 5*h - 2*y - 9. Let r = 0.4 + -0.2. Suppose -6*c + 3*c - 12 = 0. Put c, h, r in descending order.
h, r, c
Suppose 0*q + 10 = -2*q. Suppose 3*r - 4*z = -z + 15, 3 = 3*z. Suppose -12 = r*o - 2*o. Sort q, o, -1 in descending order.
-1, o, q
Let m = -3 - -5. Suppose m = 4*a - 2. Sort a, 2, -3 in increasing order.
-3, a, 2
Let i = -23 + 29. Sort i, 2/5, -5 in descending order.
i, 2/5, -5
Let c = 39 - 38.6. Put -1, 3/8, c in increasing order.
-1, 3/8, c
Suppose 4*z = 3*a - 17 + 42, 5 = 5*a. Suppose 11 - z = -4*x. Sort -2, x, 3.
-2, x, 3
Let t = 1387/6 + -232. Suppose 2 = 4*n - 10. Let y(b) = b - 7. Let a be y(n). Sort a, 2/7, t.
a, t, 2/7
Let q = -269/1540 - 1/140. Let b be 4/(-14)*(-140)/(-60). Sort q, b, 3 in decreasing order.
3, q, b
Let j be (-2)/(2*1/(-3)). Let b = -0.01 + 0.05. Let d = -0.04 + b. Put -3, d, j in descending order.
j, d, -3
Let c be (4/(-6))/((-6)/45). Suppose -4*q + 8 = 3*x - 2*q, -c*x + 15 = 5*q. Sort 1/11, x, -1.
-1, 1/11, x
Suppose 3*m + 2*g - 12 = -0*g, 2*g = -5*m + 16. Suppose 0 = -3*k + k - i - 8, k = -m*i - 10. Suppose 0 = -4*w + 4 - 0. Put k, 5, w in ascending order.
k, w, 5
Let d = 41 - 35. Sort 2, 3, d, 4.
2, 3, 4, d
Let f be (0/1)/(-2) - -4. Suppose f*z - 1 = t, 0 = 4*z + 4*t + 2 + 22. Let p = 24 - 19. Put p, z, -1/4 in decreasing order.
p, -1/4, z
Let n = 0.6 - 0.1. Let v be ((-3)/(-12))/(0 - -1). Sort v, n, 3 in ascending order.
v, n, 3
Suppose 4*s - 1598 + 1590 = 0. Suppose 2*a = -a + 12. Let o(y) = -y**3 + y**2 - 1. Let i be o(1). Sort i, a, s in increasing order.
i, s, a
Let h be 3/(-60) - 4/(-16). Sort h, -2/13, 0.02 in decreasing order.
h, 0.02, -2/13
Let u be 8/(-20) - (-684)/385. Let z = -9/7 + u. Sort -3/2, 0.5, z.
-3/2, z, 0.5
Let g = -31 - -34. Sort g, 1/4, -1 in decreasing order.
g, 1/4, -1
Suppose -r - 192 = -193. Let n(b) = -3*b - 4. Let x be n(3). Sort x, -3, r in increasing order.
x, -3, r
Let i = -2 