0). Sort f, v, -2 in decreasing order.
v, f, -2
Let s = 14 - 14. Put 0.5, s, -2 in decreasing order.
0.5, s, -2
Suppose 2*a + 3 + 5 = 0. Suppose 0 = -3*o - 6 - 3. Let f be ((-2)/(-3))/(4/30). Sort a, o, f.
a, o, f
Let o(h) be the first derivative of -h**3/3 + 5*h**2 - 4*h + 5. Let j be o(10). Put j, -3, 3 in decreasing order.
3, -3, j
Let n = -8 + 5. Let p = -3.1 - n. Let j = 6 - 6. Put p, -5, j in ascending order.
-5, p, j
Let b be ((-45)/12)/((-5)/20). Suppose -5*y = 5*w - 3*y + b, -w = y + 3. Suppose 10 = -5*a + 5*o + 25, 2*o = a - 1. Put w, a, -4 in descending order.
a, w, -4
Let b(i) = i**2 - 8*i - 12. Let d be b(9). Let k be (1 - -6) + d/1. Put k, -3, -1 in increasing order.
-3, -1, k
Suppose 0 = t - 2*t - 4. Let j = -59 - -54. Put j, 1/8, t in decreasing order.
1/8, t, j
Suppose -5*x - 13 + 33 = 0. Let f(z) = -z**2 + 5*z - 6. Let o be f(x). Put 4, -4, o in decreasing order.
4, o, -4
Let y be 4/(-20)*2*5. Let u = 0.3 + -3.3. Put -0.2, u, y in increasing order.
u, y, -0.2
Suppose -5*n - 5*z - 5 = 0, n + 5*z + 5 = -8. Sort 0, -3, -5, n in ascending order.
-5, -3, 0, n
Let v = -0.91 + 0.01. Let y = v + 0.7. Put y, 1/9, -2 in descending order.
1/9, y, -2
Let s = -0.05 - 0.25. Suppose 0*i + 16 = -4*i. Let o be (-1)/i - (-231)/(-44). Put o, 2/9, s in descending order.
2/9, s, o
Let b be ((-3)/(-6))/((-2)/24). Let u = b - -9. Put -2, 0.5, u in descending order.
u, 0.5, -2
Suppose -3 = -2*l - m, -3*m + 8*m + 5 = 0. Let i = -9 + 13. Sort l, -5, i.
-5, l, i
Let z = 5.89 + -0.81. Let t = -0.08 + z. Let d = 3.1 + -3. Sort t, d, -0.5 in decreasing order.
t, d, -0.5
Let s be (-9)/(-15)*10/27. Let f = -0.02 - 1.98. Suppose 14 = 3*r + b + 1, -2*b = -3*r + 1. Put f, r, s in increasing order.
f, s, r
Let w be ((-28)/(-8) - 3)*0. Suppose -5*c = -c - 12. Sort 4, w, c in descending order.
4, c, w
Let p(q) = q**2 - 3*q - 7. Let l be p(5). Let u be l/4*(-8)/(-2). Sort u, 4, -2.
-2, u, 4
Let k = 15 - 20. Let u = -1 - -1.1. Let n = -1 + -1. Put n, u, k in increasing order.
k, n, u
Let n be (117/(-26))/(3*2)*-1. Sort 2/11, n, -5, 0.4 in descending order.
n, 0.4, 2/11, -5
Let b be (2/(-3))/(-1*6/(-9)). Suppose 3*n = -n + 20. Suppose 0 = -4*g - g - 15. Sort g, n, b in descending order.
n, b, g
Suppose 3*m + 25 = -5*v + m, 2*m = 0. Put 1, v, 0 in descending order.
1, 0, v
Let c be (-2)/4*(15 + -5). Let o = c - -10. Suppose 0 = -3*p + 4*q - 8, 6*p = 5*p - 2*q + 14. Sort 3, p, o.
3, p, o
Let t be 0 - (10/2 - 2). Let z = 115 + -111. Sort 2, z, t in ascending order.
t, 2, z
Let d = 79 + -78. Put d, -5, -3, 0.5 in descending order.
d, 0.5, -3, -5
Suppose -2*b - s + 12 = s, 36 = 4*b - 2*s. Sort -2, -2/9, b.
-2, -2/9, b
Let p = -16 + 15.7. Sort 3, p, 2.5, -3.
-3, p, 2.5, 3
Let s = 8 - 8. Suppose 4*o - 8*o - 24 = s. Sort 0, -1, o.
o, -1, 0
Let x = 0.1 + 0.3. Let i = 7.8 + -8.8. Put x, i, 2 in increasing order.
i, x, 2
Let d(g) = -g**2 + 1. Let y be d(-1). Sort y, 5, 2.
y, 2, 5
Suppose -3*l - l = -20. Suppose 0 = -l*s + 21 - 1. Sort s, -5, 1.
-5, 1, s
Let k = 2 - 7. Let l be (-2)/k*10/(-14). Let d = 14.7 - 15. Put 1/2, d, l in descending order.
1/2, l, d
Suppose 7*j - 6*j = -1. Sort 0.4, 0.3, j, -1/7 in decreasing order.
0.4, 0.3, -1/7, j
Suppose -p = -3*w - 3*p - 9, -3*p - 9 = 0. Suppose 0 = -3*u - 3 + 15. Suppose 7*l = 2*l + 15. Sort w, l, u in decreasing order.
u, l, w
Let v = -39 - -41. Sort v, -4, 6, -1.
-4, -1, v, 6
Suppose l + 9 - 4 = 0. Put -2, l, -3 in descending order.
-2, -3, l
Let t = 0 - 0.2. Suppose g + 8 = -0*g. Let b = g + 5. Sort b, t, -5 in decreasing order.
t, b, -5
Let b(h) = -3*h. Let a be b(1). Suppose -87 = -7*x + 4*x. Let o = -28 + x. Sort a, 0, o.
a, 0, o
Let o = 3.5 + -0.5. Suppose -w = 2*k + 7, -2*k + w = -0*w + 9. Let h = -20 - -25. Sort h, o, k in increasing order.
k, o, h
Let y(j) = -2*j - 13. Let n be y(-7). Sort 4, -2, n in increasing order.
-2, n, 4
Suppose 2*q - q = 0. Let a(j) = -j**3 + j**2 + j - 2. Let r be a(q). Put r, -3, 0 in decreasing order.
0, r, -3
Let c = 1.68 - -0.32. Sort 5, 4, c.
c, 4, 5
Let u = -0.02 - -0.01. Sort -0.2, u, -3 in increasing order.
-3, -0.2, u
Let n = -48 - -48. Put n, -0.5, -2/5, 2/7 in decreasing order.
2/7, n, -2/5, -0.5
Let x be ((-4)/7 - 0) + 1. Let m = 11975/4 + -3041. Let p = m + 47. Sort x, -3, p.
-3, p, x
Let g be 2/5*(-30)/(-2). Suppose -3*c + g*c + 9 = -j, -c = 2*j + 3. Let i be (2/c)/(12/(-9)). Sort i, 0.3, -0.4 in decreasing order.
i, 0.3, -0.4
Let g = 170/3 - 55. Put 3/5, -0.2, g in descending order.
g, 3/5, -0.2
Let y = -5 - -3. Let l = 0.9 + y. Let i = l - -1. Put i, -4, 1/3 in ascending order.
-4, i, 1/3
Let v(s) = -5*s - 40. Let q be v(-6). Put 3, q, 2, -1 in increasing order.
q, -1, 2, 3
Let i = -0.1 + -6.9. Sort i, 0.4, 2/3 in decreasing order.
2/3, 0.4, i
Let s = 6.1 + -6. Let z = 4 + -4.2. Sort s, z, 3 in descending order.
3, s, z
Suppose -3*u = 45 - 3. Let h = u - -9. Suppose 3*j - 3*f = 2*f + 41, -4*j + 40 = -3*f. Sort -3, j, h in decreasing order.
j, -3, h
Let l = -1.5 + 1. Suppose 7*d - 24 = -n + 2*d, 4*d = 16. Let r = 3 - n. Sort 3/5, r, l.
r, l, 3/5
Let u(m) = -3*m**2 + 8*m - 7. Let o be u(3). Sort o, 5, 0.2, 0.1 in descending order.
5, 0.2, 0.1, o
Let h be 478/3 + (-4)/6. Let v = -160 + h. Put -4, v, 5 in ascending order.
-4, v, 5
Let v = 5.936 - 9.2. Let o = v - 0.036. Let h = o - -3. Sort h, -0.1, 3/2 in ascending order.
h, -0.1, 3/2
Let a = 18 - 13. Let l(u) = u - 2. Let b be l(1). Put b, 4, a in decreasing order.
a, 4, b
Let k = 520/9 - 58. Let c = -1.3 + 2.3. Let v = c + -3. Sort -0.1, v, k.
v, k, -0.1
Let u(k) = k**3 - 9*k**2 - 2*k + 13. Let g be u(9). Let v = -5 - -3. Put -3, v, g in descending order.
v, -3, g
Suppose 2*j + 10 = -5*g, j + 3 = -2*g - 0. Let d = 25/8 - 159/56. Put j, 0, d in descending order.
j, d, 0
Let o be -5 + (-13)/((-78)/60). Sort o, -1, 0, 2 in decreasing order.
o, 2, 0, -1
Suppose -5*g - 20 = 3*m + 2*m, 2*g = -2. Sort 1, m, 3 in descending order.
3, 1, m
Let r(z) = 5 + 1 - z + 4. Let k be r(7). Suppose 2*j - 4 = 2*u, 5 = k*j + 2*j - 4*u. Sort -4, j, 1 in ascending order.
-4, j, 1
Let q = 13 - 13. Suppose -z + q*k - 3 = 3*k, -k + 15 = -5*z. Suppose -5*i + 6 = 3*a - 2, 8 = -2*a. Put z, i, 5 in increasing order.
z, i, 5
Suppose -j - 4 + 1 = 0. Let p = -15 - -17.9. Let g = 3 - p. Sort g, j, 0.5 in decreasing order.
0.5, g, j
Let i(h) = -3*h - 4. Let z(s) = -7*s - 8. Let a(c) = 5*i(c) - 2*z(c). Let v be a(-4). Sort 1, v, -4 in increasing order.
-4, v, 1
Let m be (-170)/(-210) - (-4)/(-6). Sort -4, m, 1 in descending order.
1, m, -4
Let q be 3/1 + (41 - -4). Suppose -4*w + w - 12 = y, 3*y + q = 3*w. Let z be 5/2*(-18)/y. Sort -4, -2, z.
-4, -2, z
Suppose -2*i = 2 + 6. Put 0, i, 2 in increasing order.
i, 0, 2
Suppose -18*r - 9 = -9*r. Sort -2, 1, 8, r in decreasing order.
8, 1, r, -2
Let a = 49/2 - 26. Put a, 0, 2/3 in ascending order.
a, 0, 2/3
Suppose 4*l = 4, -3*l = -3*q + l - 19. Sort q, -1, 6.
q, -1, 6
Let x(a) be the second derivative of a**4/2 + a**3/6 + a**2/2 - 2*a. Let q be x(-1). Let r(j) = j**2 - 7*j + 7. Let c be r(q). Sort c, 5, 0.
0, c, 5
Suppose -q + 6*q - 25 = 0. Sort -5, -3, q in descending order.
q, -3, -5
Let u(m) = m + 5. Let b be u(-7). Sort 2, 3, b in ascending order.
b, 2, 3
Suppose -2*b + 39 - 29 = 0. Suppose -4*p - 3*t + 6 = -3*p, -9 = -2*p - 5*t. Sort b, 4, p in ascending order.
p, 4, b
Suppose t = -1 - 1. Let o = t + -1. Sort o, 3, -5 in ascending order.
-5, o, 3
Let n be (18/15)/((-3)/(-10)). Suppose 2*u - n = 0, -2*d + 0*d = 4*u - 2. Put d, -5, -1 in increasing order.
-5, d, -1
Suppose 0 = -s - 4*i + 20, 4*i = 1 + 15. Sort 5, s, 1, 2 in ascending order.
1, 2, s, 5
Let l = 7.32 + -0.32. Put 2/21, 3/2, l in descending order.
l, 3/2, 2/21
Suppose 2*p = -2*q + 19 - 3, -5*p - 2*q = -28. Put p, 2, 20 in decreasing order.
20, p, 2
Suppose -7*m = -3*m + 96. Let i be (0 + m/(-10))*5. Let s be (-4)/6 + (-16)/i. Sort s, 1, 2.
s, 1, 2
Let t = 1.4 + -2. Let a = -76.2 + 77. Let s = t + a. Put 2, s, -2 in descending order.
2, s, -2
Let j(k) = 5*k. Let f be j(1). Sort -2, f, -4 in increasing order.
-4, -2, f
Let q = 0.2 - 0.3. Let v be 2816/21 - 8/12. Let d = 133 - v. Put 0.3, d, q in descending order.
0.3, q, d
Let m(j) = j**2 + 5*j + 2. Let h be m(-5). Put 1/6, h, -2 in descending order.
h, 1/6, -2
Let w = -0.46 - -0.437. Let u = w - -6.223