 Sort -5, f, 5 in increasing order.
-5, f, 5
Let p be 48/(-6)*2/(-8). Sort -0.4, p, -1/3, 0.1 in increasing order.
-0.4, -1/3, 0.1, p
Suppose 1 = -2*v - 13. Let u = 6 + v. Put u, -0.4, -3 in decreasing order.
-0.4, u, -3
Let n be 15*(-2)/(-6)*10/(-10). Sort 3, n, 6 in decreasing order.
6, 3, n
Let r be 7 - (3 - 0/1). Let z be (33/(-6))/(2/(-4)). Suppose z = 5*y - 4*l, y + 17 = -0*y - 4*l. Sort -4, y, r in descending order.
r, y, -4
Let i = -5 - -1. Let x = i - -7. Sort -2/5, x, -5 in decreasing order.
x, -2/5, -5
Let y = 0 + -3. Let g be 0 - 46/14 - y. Let t = 0.4 - 0.7. Put 2/5, g, t in increasing order.
t, g, 2/5
Let g be (25/(-50))/(1/(1 + 1)). Put 1, 2, g, 7 in ascending order.
g, 1, 2, 7
Let k = 87 - 88. Put -5, 5, k, -8 in increasing order.
-8, -5, k, 5
Suppose 4*t = 4*o - 12, 4*o + 0 - 13 = 5*t. Let r = 1 - -1. Let n = -3 + r. Sort 3, o, n in ascending order.
n, o, 3
Suppose 3*g - 2*a + 15 = 0, -4*a = -5*g - 2*a - 21. Put 3, -5, g in ascending order.
-5, g, 3
Suppose -44 + 32 = 12*q. Sort 4, q, 5, -5 in increasing order.
-5, q, 4, 5
Let z(s) = -s**3 + s + 2. Let f be z(-1). Sort f, -1, 14, -4 in descending order.
14, f, -1, -4
Let f = 10 - 4. Suppose 2*t = -3*z + 3*t - f, 3*t - 4 = 2*z. Let i be z/(-2) - 1/1. Sort -5, 4, i.
-5, i, 4
Let c be (-2)/(-1 + 34/38). Suppose -a = 5*b - 13, -3*a + 5*b = c + 2. Put 4, a, 2 in descending order.
4, 2, a
Let c(r) = r**3 + 7*r**2 - 2*r - 8. Let v be c(-7). Let j = -10 + v. Sort j, -2, 5 in decreasing order.
5, -2, j
Suppose w + 11 = -0*v + 2*v, 4*v = w + 21. Put -11, w, -3 in decreasing order.
w, -3, -11
Let i = 16 + -21. Sort i, 12, -1 in ascending order.
i, -1, 12
Let a = 4 - 7. Suppose 5*n + 22 = 17. Sort -2, n, a in ascending order.
a, -2, n
Let c(u) be the second derivative of -u**5/20 - 7*u**4/12 - u**3 - u**2 - u. Let l be c(-6). Let v = 0 - l. Put -5, v, -2 in descending order.
v, -2, -5
Let c = 0 + 3. Suppose 3*n = 2*n + 3. Let a be c/n - (-1 + 3). Sort -2, a, -3 in ascending order.
-3, -2, a
Let g = 1/151 - -7699/302. Let q = 355/14 - g. Sort 3, q, 4.
q, 3, 4
Let d(z) = z**3 + 5*z**2 + z. Let x be d(-5). Let h = -33.7 + 34. Put x, h, 0.2 in decreasing order.
h, 0.2, x
Suppose -1 + 2 = -f. Sort 5, -5, f in decreasing order.
5, f, -5
Let y = -5.5 - -0.5. Let r = -125.2 - -125. Put r, -2/3, y in increasing order.
y, -2/3, r
Let m = 2 + -5. Let k = -6 + 9. Suppose 6*t - 3 = k*t. Sort t, -5, m in descending order.
t, m, -5
Let q(k) = 3*k + 1. Let o = -5 + 3. Let u be q(o). Suppose 0 = 4*g + 3*z + 3, 10*g = 7*g - z - 1. Put u, 5, g in increasing order.
u, g, 5
Let f = 612 - 1837/3. Let h = 1 - 1. Sort f, h, -5 in decreasing order.
h, f, -5
Let a be 4/(-6) - (35/15 - 0). Sort a, -16, -0.2 in descending order.
-0.2, a, -16
Let m(f) = -2*f**3 + 4. Let r be m(0). Sort 0, 3, -4, r.
-4, 0, 3, r
Let a(w) = 2*w**3 + 13*w**2 - 8*w - 11. Let z be a(-7). Let x(q) = -3*q**3 + q**2 - 1. Let u be x(-1). Let r = 2 - u. Sort 5, r, z in decreasing order.
5, r, z
Let k = 5 - 2. Let n(a) = -2*a - 17. Let l be n(-11). Suppose 0 = -l*c - i + 5*i - 4, i - 1 = -2*c. Put k, -5, c in increasing order.
-5, c, k
Suppose 20 = -2*o - 3*o. Suppose 4*k + 44 = 5*y + 3*k, 20 = 4*y + 3*k. Suppose 13*w = 17*w + y. Sort w, -5, o in descending order.
w, o, -5
Let j be -10*(-3 + (-28)/(-8)). Sort 3, j, 4.
j, 3, 4
Let d be (-3)/10*(-11 + 0). Let k = d + -317/90. Sort 0.1, -1/6, k in ascending order.
k, -1/6, 0.1
Let t = -1973/9 + 219. Sort 2/13, -44, -0.3, t in decreasing order.
2/13, t, -0.3, -44
Let t = -0.37 + 6.17. Let n = t + -6. Sort 1, 1/4, n in increasing order.
n, 1/4, 1
Suppose 0 - 3 = l - n, 0 = 4*l - 2*n + 12. Let z be 1/(-3)*l*0. Suppose 0 = -2*q - 2*q - 12. Put z, 2, q in decreasing order.
2, z, q
Let y = 2.4 + -0.4. Put -1/2, 0.5, 3, y in decreasing order.
3, y, 0.5, -1/2
Let f be -4*4/(-16) - 2. Suppose -7*p - 25 = -2*p. Put 5, p, f in decreasing order.
5, f, p
Let k be 2/3 + (-8)/(-6). Let m = k - -2. Sort 2/7, 0.4, m in descending order.
m, 0.4, 2/7
Let t(k) = -k**3 - 5*k**2 - 5*k - 1. Let p be t(-4). Suppose -p = -q - 4. Sort q, 1, -2.
-2, q, 1
Let q = -0.02 + -0.04. Let t = q + -2.94. Put -0.1, 0, t in ascending order.
t, -0.1, 0
Let b = -3 + 4. Let r = b - 1.2. Put -4, r, -1/3 in increasing order.
-4, -1/3, r
Let x be -1 + 3 - (3 - 50). Let z = x - 244/5. Let f = 1 + -3. Sort f, z, 0.
f, 0, z
Suppose 14 = -v - 0*v. Let q = v + 10. Let t be (-1 - 1)/(-2) - -2. Sort t, q, -3 in descending order.
t, -3, q
Let b be 23/69 + (-11)/6*1. Put 3, 2, b in increasing order.
b, 2, 3
Let m = 2 + -1.5. Let l = 180 - 182. Sort m, -4, l.
-4, l, m
Suppose -4*p - 20 + 4 = 0. Let g(x) = x**3 - 2*x**2 + x + 1. Let s be g(2). Put p, s, -3 in decreasing order.
s, -3, p
Let p = -16 + 9. Let g = -14 + 20. Let m = p + g. Sort 3, m, -4 in increasing order.
-4, m, 3
Let b = 340 + -339. Let j = 1 - 1.05. Sort b, -2/7, j in ascending order.
-2/7, j, b
Let s = 0.186 + 4.814. Sort -19, -0.5, -4, s.
-19, -4, -0.5, s
Let y(s) = -s - 3. Let v be y(4). Sort 1, v, -1 in descending order.
1, -1, v
Suppose 0 = -s + 32 - 29. Let x be (-14)/10 + (-2)/(-5). Sort x, -2, s in descending order.
s, x, -2
Let l = 0.3 - 1.3. Let v(u) = -u**2 - 6*u + 12. Let t be v(-8). Sort 0, t, l.
t, l, 0
Let q = 4617/13 - 355. Let n = -0.4 + 3.4. Let i = -1 - n. Sort i, q, 0.1.
i, 0.1, q
Let k = -1 + 0.8. Let c = 17 + -18. Sort c, k, 1/5 in increasing order.
c, k, 1/5
Let t(n) = 2*n - 25. Let u be t(12). Put 3/5, -7, u in decreasing order.
3/5, u, -7
Let u = 2.5 - 2. Let g = -0.5 + 0.2. Put u, -4, g in decreasing order.
u, g, -4
Suppose 5*s - 4 = s. Suppose 3*n = -n + 12. Sort -4, s, n in descending order.
n, s, -4
Let v = 0.37 + -0.4. Let t = v + 3.03. Suppose -j = -5*r + 6 - 3, 2*j + 2*r + 6 = 0. Sort 0.1, j, t.
j, 0.1, t
Let t = -104/9 + 1973/171. Let f be (-742)/4389 + (-2)/11. Let b = t - f. Sort -2, 2/5, b.
-2, b, 2/5
Let g = -0.08 + 0.68. Let x = 5.6 - g. Sort -1/5, 4/5, x in descending order.
x, 4/5, -1/5
Suppose 8 = -5*s + 9*s. Let l = 1 + -1. Put s, -1, l in decreasing order.
s, l, -1
Let f(m) = -m**2 - 10. Let s be f(0). Sort s, 3, 5 in descending order.
5, 3, s
Suppose 6 = -6*s + 3*s. Suppose 3*u = 4*w - 2, -w + 3 + 1 = u. Sort 3, s, w in descending order.
3, w, s
Let t(j) = 8*j**3 - j - 1. Let n be t(-1). Put 3, n, 5 in decreasing order.
5, 3, n
Let d be ((-1)/(-2))/((-1)/(-6)). Let r = -17 - -16. Sort d, -4, r.
-4, r, d
Let h be (1 - -1) + (2 - 2). Suppose 3 = h*l - l. Let t(w) = -2*w + 5. Let q be t(4). Sort 1, q, l in decreasing order.
l, 1, q
Let u = -2 - -1. Let b = -2 - -5. Let o be (-1)/5 - 72/90 - 2. Put b, u, o in descending order.
b, u, o
Let c = -11 - -15. Suppose 0 = -5*q + 4*k - 8, -c*q - 9 = -k + 4. Let n = 7 + q. Sort 0, 2, n in increasing order.
0, 2, n
Let m = -3 - -3.1. Suppose 0 = -5*b + 6*b + 5. Let y be -1 - (-3)/((-6)/4). Sort m, y, b in increasing order.
b, y, m
Let p = 7351/19 - 387. Sort -2, -0.02, p in ascending order.
-2, p, -0.02
Let f(i) = i + 15. Let d be f(-13). Sort -3, d, -1 in descending order.
d, -1, -3
Let q = 7/11 - 85/99. Sort -0.3, q, 18.
-0.3, q, 18
Let k be (6 + (-126)/27)/(2/3). Suppose 5*x - 7 = 13. Let w(b) = -b**3 + 4*b**2 + 5*b. Let o be w(5). Put o, x, k in decreasing order.
x, k, o
Suppose t + 3*t - 20 = 0. Suppose -2*n + 5*b = -25, -3*b - 10 = -5*n + t. Sort 2, 4, n in decreasing order.
4, 2, n
Let a(c) be the first derivative of -c**4/4 + c**3 - 2*c - 5. Let g be a(3). Let j(r) = r**2 + r - 2. Let v be j(g). Sort -4, v, 4.
-4, v, 4
Let n = -1.1 + 1.03. Let g = -0.87 - n. Let j = g + 1.2. Put j, 0.2, -2/19 in descending order.
j, 0.2, -2/19
Suppose a + 5 = -5*b, -2*b + 2 + 3 = -a. Let n be (a/3)/((-2)/6). Suppose n*c + 2*h = 9, -3*c - h + 0*h = -6. Sort c, -4, -3 in increasing order.
-4, -3, c
Let d be (-24)/9 - 4/(-6). Let q(f) = 3*f**3 - 2*f**3 + 2*f**2 + 0*f**2 + 4. Let y be q(-3). Sort d, y, 2 in ascending order.
y, d, 2
Let a = -0.145 - 0.055. Sort a, -2, 1 in increasing order.
-2, a, 1
Let b(n) = n + 10. Let d be b(-7). Put 4, d, 0 in ascending order.
0, d, 4
Let v(r) = r + 3. Let a = 0 - 6. Let n be v(a). Put 4, 2, n in increasing order.
n, 2, 4
Suppose 2*a + 24 = 2*k - 2*a, 2*k + a = 19. Sort k, 0, 4.
0, 4, k
Let c = -28 + 31. Let n(a) = a - 9. Let s be n(8). Let q be 2 - (3 + 0 + -1). Put c, s, q in