3*z. Put j, 5, v in ascending order.
j, v, 5
Let g be -5*1 + (-24 - -24). Sort g, 3, 0 in ascending order.
g, 0, 3
Let h = -9.68 - -0.18. Let z = h - -9. Let v = 0.08 - 0.18. Sort 3/2, v, z in ascending order.
z, v, 3/2
Let p(w) = w**2 + 4*w + 4. Let r be p(-4). Put r, -3, 6 in decreasing order.
6, r, -3
Let b be 12/9 - -3 - 4. Sort -2, b, 0.2, 5.
-2, 0.2, b, 5
Let x be (1/2)/((-30)/12). Put 60, x, -1/6 in ascending order.
x, -1/6, 60
Suppose 0*s + s - 5 = 0. Put 0, 7, s in increasing order.
0, s, 7
Suppose -3*l - 3*r = 57, 4*l + 96 = -5*r + 22. Sort -5, 1, l.
l, -5, 1
Let f be (0/(-54))/(1 - (3 - 0)). Let a(p) = p**2 + 5*p. Let w be a(-4). Put w, 3, f in ascending order.
w, f, 3
Let i = 8.5 - 2. Let r = i - 6. Put 2, r, -11 in descending order.
2, r, -11
Let w = -4 - -8. Let n be w/20 - 6/(-10). Let o = -25/4 + 6. Sort n, -4, o.
-4, o, n
Suppose 2*t - m + 11 = 0, -7 = t - 3*m + 2*m. Suppose 47*c = 53*c + 6. Put t, c, 4 in decreasing order.
4, c, t
Let p(g) = g**3 + g**2 + 2. Let h be p(0). Suppose -3*c + 4*f = -6, 0*c + c = f + h. Sort -0.2, -3, c.
-3, -0.2, c
Let t = 108 - 107.2. Let r = -10 - -14. Sort t, r, 2/19 in decreasing order.
r, t, 2/19
Let f = -4.2 - -21.2. Let l = -13 + f. Sort -1, l, 2 in ascending order.
-1, 2, l
Let p = -10 - -5. Let s be -1 + 3 + 3/1. Suppose -s = g - 6*g. Put 0, g, p in descending order.
g, 0, p
Let n = 0.305 - -0.095. Sort n, -5, 0.8 in descending order.
0.8, n, -5
Let y = 15.1 + -15. Sort y, -4, 2.
-4, y, 2
Let m be 1*(3 - 1) + -4. Sort 2, m, 5 in ascending order.
m, 2, 5
Suppose 3*h = -4 - 5, 0 = -3*g + 2*h. Let v(d) = d + 6. Let n be v(-6). Suppose 5*m - 24 - 1 = n. Put 3, g, m in descending order.
m, 3, g
Suppose 0*b - 3*j - 21 = 3*b, -5*j = -4*b - 19. Let z be b/(-4) + (-8)/4. Sort z, 5, 0.5.
z, 0.5, 5
Let x(q) = 38*q**2 - q. Let s be x(-2). Let w be (-72)/s + (-2)/(-7). Suppose 2*b + 2*l + 0 + 2 = 0, -4*b + l = -11. Sort b, w, 0.4.
w, 0.4, b
Let v = 21 + -26. Sort v, -3, -1 in decreasing order.
-1, -3, v
Let m = 1.7 - 0.5. Let n = m + -1.1. Sort 1/20, 5, n.
1/20, n, 5
Let c = -0.14 - -1.14. Let m = 0.3 + -0.1. Sort m, 5, c in decreasing order.
5, c, m
Suppose 4*v = v + 15. Suppose 3*r = v - 2. Suppose 11 - r = -2*z. Sort z, -2, 2 in increasing order.
z, -2, 2
Suppose -13 = -2*h - 7. Suppose -2*a + h*f + 2*f + 9 = 0, 4*f + 12 = 4*a. Let t = a + -1. Sort t, 5, 0 in decreasing order.
5, t, 0
Suppose -3*o + 4 - 16 = 0. Let p be 1/o*8/9. Let y = 4.87 + 0.13. Sort y, -0.3, p in ascending order.
-0.3, p, y
Let a be (-4)/3*(-9)/(-6). Let v(w) = w**3 + w**2 - 2*w + 1. Let i be v(a). Sort -3, i, 3.
-3, i, 3
Let w = 19.7 + -20. Sort 5, w, 0.2 in decreasing order.
5, 0.2, w
Let b = 22 + -22.1. Put 2/3, 0.3, b in descending order.
2/3, 0.3, b
Let c be 78/168 - 3/4. Put 0, c, 1/3 in increasing order.
c, 0, 1/3
Suppose 0 = -9*a + 8*a + 3. Sort 5, 1, a in descending order.
5, a, 1
Suppose -3*g - r - r = 0, 0 = 2*r. Sort 4/5, 1/7, g in increasing order.
g, 1/7, 4/5
Let r = 13 + -8. Let o = 77 - 76. Suppose -2*t + 3 = -1. Put o, r, t in ascending order.
o, t, r
Let f be (-1)/(-2) + 20/(-8). Let c = 8 - 11. Suppose 2*q - 4*o - 17 = q, 3*q - 11 = 2*o. Sort q, f, c in ascending order.
c, f, q
Let x = 8.4 + -3.4. Sort x, 4, -3.
-3, 4, x
Let x be (-2)/((-4)/(-1))*2/9. Put -2/7, x, -5 in descending order.
x, -2/7, -5
Let n = 19 - 22. Put 5, n, 6 in decreasing order.
6, 5, n
Let r = 5 - 7. Put 3, 7, r in descending order.
7, 3, r
Let u(f) be the second derivative of -f**4/12 + f**3/6 + 3*f. Let d be u(1). Let i(x) = x**2 + 5*x + 4. Let h be i(-5). Put h, 5, d in decreasing order.
5, h, d
Let m = 2/79 + 306/395. Let n(d) = -d + 3. Let h be n(0). Sort -4, m, h in descending order.
h, m, -4
Let i(n) = n + 7. Let p be i(-5). Let b be p/(-1) + 6/1. Sort -1, b, -2 in descending order.
b, -1, -2
Let m be ((-8)/(-10))/((-10)/(-25)). Put m, -0.4, -2/21 in descending order.
m, -2/21, -0.4
Let x = 8 - 13. Suppose 6 = -22*j + 20*j. Sort x, j, 4.
x, j, 4
Let c = 43 + -73. Let x be (-12)/(-20) + 23/c. Let b = 1.9 - 2. Sort -3, b, x in descending order.
b, x, -3
Suppose -3 = 5*p + 3*v, 0*v - 4*v - 4 = 3*p. Put -3, p, 1, 5 in descending order.
5, 1, p, -3
Let n = 2 - 0. Suppose 7*y = n*y + 25. Put 2, -2, y in ascending order.
-2, 2, y
Let w(o) = -10*o - 162. Let i be w(-16). Suppose 0 = 4*q + q + 15. Put 4, q, i in ascending order.
q, i, 4
Let h be (224/10)/((-2)/(-10)). Suppose -3*b - b - h = 3*d, -b - 28 = -5*d. Let k be b/32 - (-2 + 1). Put 5, k, -1/7 in ascending order.
-1/7, k, 5
Let u = -47 + 45. Let d = 1.1 - 1. Sort 2/5, d, u in descending order.
2/5, d, u
Suppose y = -y + 64. Suppose -2*m + y = -4*p + 2*m, 0 = 2*p + 5*m - 5. Let x(v) = v**3 + 6*v**2 + 4*v - 5. Let q be x(p). Sort -1, q, 5.
-1, q, 5
Suppose -2*q + 8 = -3*q - 3*j, 2*q - 4*j = -6. Let o = -10 + 6. Let b be -1*(-2 - -2) - 2. Sort b, o, q in decreasing order.
b, o, q
Let g(c) = -c**3 - 14*c**2 - 3*c + 6. Let l be g(-14). Sort l, -4, 1 in decreasing order.
l, 1, -4
Suppose 0 = -4*i - a + 4*a - 4, 0 = 4*i - 5*a + 12. Let b be (i - 0)*(-2 + 3). Put -1, b, 5 in descending order.
5, b, -1
Let v = -12 - -7. Sort v, 3, -4, 1 in descending order.
3, 1, -4, v
Suppose 5*j = 4*o + 45, -5*o - 40 = -j - 2*j. Put 1, -1, o, 3 in descending order.
3, 1, -1, o
Let t be (-2)/(-8)*2*0. Let f = t - 1. Let y = 224 + -1569/7. Put -2, f, y in increasing order.
-2, f, y
Suppose 2*n - 2*s - 29 = -7*s, 5*s - 35 = -5*n. Put -5, n, 5 in ascending order.
-5, n, 5
Let a = -26 + 26.1. Put -1/2, a, 0 in ascending order.
-1/2, 0, a
Suppose -4*m = -5*m + 17. Suppose 2*n - n = 5*u - 27, 0 = -4*n - 5*u + m. Sort n, -5, 1 in descending order.
1, n, -5
Let b be (-8)/5 - (-34)/(-85). Sort -5, -4, 2, b in descending order.
2, b, -4, -5
Let u(w) be the second derivative of -w**3/6 - 5*w**2/2 + 2*w. Let q be u(-5). Let f = -9 + 7. Sort f, q, 2 in ascending order.
f, q, 2
Let f(n) = -3*n + 5. Let u be f(2). Put u, 1, 4 in increasing order.
u, 1, 4
Let w = 8.2 + -8.5. Sort 1, -1/7, 0.4, w in ascending order.
w, -1/7, 0.4, 1
Suppose -5 = u - 4*c + 5, 0 = -4*u + 2*c + 16. Let i = u + -4. Suppose 0 = -5*b - 29 + 4. Put i, b, 0 in ascending order.
b, 0, i
Suppose 5*f + 23 = -5*n - 12, -3*n = -2*f + 11. Let j = -9 + 12. Suppose 4 = 4*q - r, 3*r + r - j = -3*q. Sort 0.1, q, f.
f, 0.1, q
Let i be (1 + (-5)/3)/(4/(-24)). Let u(z) = -z**3 + z**2 - 2*z + 1. Let f be u(1). Sort f, -2, i in decreasing order.
i, f, -2
Suppose -4*a - 10*a = -2*a. Sort 2, -5, a, 4.
-5, a, 2, 4
Let v be 0 + 2 + 0 - 0. Suppose -4*k - v*h = -3*h - 21, -33 = -3*k - 5*h. Let a be -1 - (16/k - 2). Put a, -2/11, 2/7 in descending order.
2/7, -2/11, a
Let t = -30 - -33. Suppose i + 2*i + 15 = 0. Put t, 5, i in decreasing order.
5, t, i
Let k = -0.8 - -1. Let i = -0.2 - -0.3. Let b = i - k. Put -2, 2/9, b in ascending order.
-2, b, 2/9
Let d(u) = u**3 - 3*u**2 - 5*u + 3. Let m be d(4). Put m, 6, 2/11 in increasing order.
m, 2/11, 6
Let v = 7 - 2. Let l be (-2)/8 + (-11)/(-44). Suppose l = -v*k + k - 20. Sort 0, 1, k in decreasing order.
1, 0, k
Let t = 4 + -8. Let g = 10 + -9.7. Put t, g, 4 in increasing order.
t, g, 4
Suppose 4*n - 15 = -3*p, -4*n + 2*p + 17 - 7 = 0. Let h = 3 - n. Put h, 2, 1 in decreasing order.
2, 1, h
Let h = -3 - 1. Let r = 1.5 - 1.5. Let v = r - h. Sort -0.1, v, 2 in decreasing order.
v, 2, -0.1
Let p(n) = -n**3 + 4*n**2 + 5*n - 4. Let u be (25/(-10))/(2/(-4)). Let m be p(u). Suppose 5*x + 2 - 7 = 0. Put x, -1, m in decreasing order.
x, -1, m
Suppose -7*i + 12*i + 5 = 0. Sort 4, 0, i, 1 in decreasing order.
4, 1, 0, i
Let u = 3 + -4. Let g be 18/12 + 0/u. Let t = -71/15 + 22/5. Sort 4, t, g in decreasing order.
4, g, t
Let g = -22 - -22.4. Let q = -1.6 - g. Sort 4, q, -1/2 in ascending order.
q, -1/2, 4
Let d = 32 + -31.6. Sort 2/3, d, 9 in ascending order.
d, 2/3, 9
Let m = -1 - -0.7. Put -1, m, 1/2 in decreasing order.
1/2, m, -1
Let o = 5 - 1. Suppose -o*n = -4*u - 0 - 4, n - 2*u - 2 = 0. Put 3, 1, n in increasing order.
n, 1, 3
Suppose m + 15 = -5*n, -4*n = 4*m - 2*n + 24. Sort m, -11, 0.
-11, m, 0
Let n = 0.484 - -0.016. Let j = 141 + -707/5. Put n, 0, j in increasing order.
j, 0, n
Let z = -0.25 - -0.35. Sort 4, z, 0.5 in decreasing order.
4, 0.5, z
Suppose -2*z = -7*z - 5. Suppose -4*x - y = 4, 3*y - 17 = -5. Sort x, z,