 y in decreasing order.
y, 1, -2
Let i = -4 + 7. Let j be 2/56 - i/(-12). Let l = -0.06 - 0.34. Put j, 4, l in decreasing order.
4, j, l
Let r = -4.3 + 4. Let u = -28/351 + -2/27. Sort 1/2, u, r in decreasing order.
1/2, u, r
Let s = -50 - -1. Let o be (-14)/s - 33/(-7). Sort o, 1/6, 0.3.
1/6, 0.3, o
Suppose 0*k + 2*k = 0. Suppose 0 = -u - u - 10. Put -1, k, u in decreasing order.
k, -1, u
Let a = 60 + -43. Suppose -5*p = 2*n - 7*n - 45, -2*p = 5*n + a. Put -2, n, -4 in descending order.
-2, -4, n
Let f = -14 + 18. Sort 3, f, -8 in increasing order.
-8, 3, f
Let s(h) = 8*h - 25. Let r be s(3). Suppose -6 = -4*o + 10. Sort 3, o, r.
r, 3, o
Let f = -86 + 81. Sort 2/3, f, 3/8, 0.02.
f, 0.02, 3/8, 2/3
Let j = -2 + 4. Let k(f) = -f**2 + 9*f + 14. Let x be k(10). Let g = 7 - x. Sort 0, j, g.
0, j, g
Let i(s) = s**3 - 7*s**2 + s - 3. Let x be i(7). Put x, -10, -5 in decreasing order.
x, -5, -10
Let u be 2 + (-1 - 0) + -1. Suppose 3*g + 4*o = 14, u*g - 12 = -4*g - 2*o. Let i(q) = -2*q + 2. Let w be i(2). Sort 3, g, w.
w, g, 3
Suppose 0 = 3*z - 4*x - 16, 7*z = 2*z + 4*x + 24. Put z, -10, 0 in increasing order.
-10, 0, z
Let z(b) be the third derivative of b**4/24 - b**3/2 + 3*b**2. Let l be z(3). Suppose 9 = -4*v + 5*g, -v + 2*g = 4*g - 14. Put l, -2, v in descending order.
v, l, -2
Let l(n) = 1. Let x(q) = -2*q + 6. Let a(v) = -l(v) + x(v). Let i be a(5). Let u(r) = r**3 - 2*r**2 - r + 1. Let w be u(2). Sort i, w, 3 in ascending order.
i, w, 3
Let m(b) = -b**3 + 12*b**2 - 2*b + 10. Let v be m(12). Let l = v - -10. Sort 2, l, 0 in descending order.
2, 0, l
Let f = 18 + -14. Sort -2, -3, f.
-3, -2, f
Let o = -0.112 + 0.042. Sort 5, o, -0.3.
-0.3, o, 5
Suppose -7*n - 5 = -2*n. Let d be 0/(-1 - (-1 - n)). Sort -2, d, 2 in ascending order.
-2, d, 2
Let l = 26 - 24. Let c be (-5)/(-16)*(-6)/(-15). Sort -1, c, l in increasing order.
-1, c, l
Let n = -0.315 - -0.015. Let g = 0.2 - 0.3. Sort g, 6, n in descending order.
6, g, n
Let u(o) = o**3 - 12*o**2 + 5*o - 64. Let k be u(12). Let i = 2.48 - 0.28. Let p = i - 2. Put k, -2/3, p in descending order.
p, -2/3, k
Let d be 4*(4 - (-334)/(-84)). Sort -1/3, d, 2/3, 4.
-1/3, d, 2/3, 4
Let p(g) = -g**2 + 6*g - 2. Let y be p(6). Let z be ((-2)/(-6))/(y/(-6)). Let w(s) = 2*s**3 + 3*s**2 - 1. Let m be w(-2). Sort -2, m, z in descending order.
z, -2, m
Let g = 3.01 + -3. Let y = g + 0.39. Sort 5/2, -3, y.
-3, y, 5/2
Suppose -23 = -4*o + 9. Let v = -12 + o. Suppose -4 = 2*u + 2*r, 3*r + r = u - 13. Put v, u, 4 in increasing order.
v, u, 4
Suppose -4*z - 3*z = 28. Sort 0, 1, z in decreasing order.
1, 0, z
Let w be 8 - 4 - (3 + -1). Sort -3, w, 2/5, -1/3.
-3, -1/3, 2/5, w
Suppose -3*y + 4 = 2*g, 2*g - 2*y + 12 = g. Let b = g + 8. Suppose -3*q + b = -4*q. Put 0, q, 1 in increasing order.
q, 0, 1
Let t be (28 - 32) + 9/1. Suppose 3*w - 4*w + 1 = -3*r, r = 1. Put t, w, -1 in increasing order.
-1, w, t
Suppose -2*t = j, 5*t - 2*j - 2*j = 26. Suppose 0*l + t*l + 2 = 0. Suppose 13 = 5*x + 3. Sort l, x, 5 in descending order.
5, x, l
Let d be ((-195)/(-35))/((-22)/96). Let w = d - -258/11. Sort w, -2/3, -0.4 in descending order.
-0.4, -2/3, w
Let i be -144*(2 - (-15)/(-6)). Let c be 20/i + (-1)/2. Let q be 0 + -1 + -1 + 1. Sort q, c, 5/2.
q, c, 5/2
Let p be 34/8 - (-2)/(-8). Let s be ((-10)/p)/(3/(-6)). Sort s, -1, 1 in ascending order.
-1, 1, s
Let x(k) = k**3 - 5*k**2 - 5*k - 2. Let b be x(6). Suppose -6*s + 25 = -s. Sort 3, s, b in decreasing order.
s, b, 3
Let u be (-30)/4*(-36)/(-15). Let i be (-60)/u*(-12)/(-10). Put -2, 1, i in ascending order.
-2, 1, i
Let f = -1.031 + 0.031. Sort 1/5, -2/5, f in descending order.
1/5, -2/5, f
Suppose -5*w + 3 = 4*n, -3*w + 1 = 2*n + 2. Suppose 4*s - 23 = -n. Suppose 4*v - s*u = -12, 2*v + 3 = v - 5*u. Sort 1, v, 0 in ascending order.
v, 0, 1
Let l be 4*(17/(-18) - -1). Let v = 3.033 + -0.033. Sort v, l, 0.5.
l, 0.5, v
Suppose 3*b - 8*b = 5. Sort 0, 3, b in descending order.
3, 0, b
Let j = -18 - -16. Put j, -9, 0.4 in ascending order.
-9, j, 0.4
Suppose 4*m + 2*t + 24 = 68, t = 2*m - 14. Let i be -4 + 3/m*0. Sort i, 6, 5 in decreasing order.
6, 5, i
Let a be -8*(-1)/(-4 + 2). Let g = -343/1011 - -2/337. Sort g, a, 0.2 in decreasing order.
0.2, g, a
Suppose 0 = -z - 4*z - 2*c + 1177, 5*z - 3*c = 1172. Let h = z - 2587/11. Let b = -3 + 2.8. Put h, b, 0 in ascending order.
b, h, 0
Let m = 11 + -6. Let p = m - 1. Put p, -0.6, 1/6 in ascending order.
-0.6, 1/6, p
Suppose -1 = -k - 0. Let i be 0*k/(-2)*2. Sort 6, i, 5 in descending order.
6, 5, i
Suppose 0 = w - 2*m - 7 - 3, 0 = w - m - 6. Let y be 52/16 - w/8. Suppose 5*n = -7 - y. Put -5, -4, n in descending order.
n, -4, -5
Let t(r) = -r + 1. Let x be t(-3). Let c(f) = -2*f + 1. Let i be c(0). Suppose 2*m + 5*v - i = 0, -4*m + 0*m - 5*v = -7. Sort m, 0.4, x.
0.4, m, x
Let v = -3.4 + 3.07. Let a = 0.03 + v. Let x = -6.3 + 1.3. Put a, x, 3 in ascending order.
x, a, 3
Let i = 74 - 75. Sort 5, -3, i in ascending order.
-3, i, 5
Suppose 5*n - 8 = m, -4*n = -9*n + 5. Let o = -9/2 - -61/14. Sort o, m, 1/2 in increasing order.
m, o, 1/2
Let v = -0.51 + -0.09. Let p = v - -0.8. Put 0.1, -1, p in increasing order.
-1, 0.1, p
Let n = 2 + -2. Suppose 2*t - 4*t = -4*x + 8, -x + 2*t + 2 = 0. Suppose -2*q + 2 + x = 0. Sort n, 3, q in increasing order.
n, q, 3
Let y(k) = -k**2 + k + 1. Let u be y(0). Let r(f) = f - 5. Let z be r(8). Put z, u, -5 in ascending order.
-5, u, z
Suppose 6*a = 2*a. Let p(d) be the second derivative of -d**3/6 + 13*d**2/2 - d. Let s be p(10). Sort s, -2, a.
-2, a, s
Let s = -3 + 3.1. Let k = -1.8 - -2. Let g = k - -0.2. Sort -1, g, s in descending order.
g, s, -1
Suppose 9 = -4*w + w. Suppose -20 = 2*t + 3*t. Put w, -2, t in descending order.
-2, w, t
Let h = 0.07 + 0.29. Let q = h + 0.14. Let i = 4 + 0. Sort q, 1/5, i.
1/5, q, i
Let g = 0.08 + -4.08. Let u = 0.3 - 0.5. Let b = u - -0.5. Sort b, g, 2 in ascending order.
g, b, 2
Suppose -a = -2*g - 4, 3*g + a = 6*a - 20. Suppose 2*d - 5*p + g + 4 = 0, 5*p = -4*d + 22. Suppose 39 = -5*c + 14. Sort d, 4, c.
c, d, 4
Let w(u) = -u**3 - 4*u**2 - 3*u. Let x be w(-2). Let k = 9 - 4. Sort x, 2, k in ascending order.
x, 2, k
Suppose 0*r = 5*r - 25. Suppose 4*i = -3*v - 31, v = -0*v - r. Sort 1, i, 3 in ascending order.
i, 1, 3
Let x = -0.32 - 0.08. Let h = 1 + -3. Put x, 2/13, h in increasing order.
h, x, 2/13
Let j(x) = -4 + 5*x**2 - 4*x - x**2 - 3*x**2. Let b be j(4). Let m(g) = -g**2 - 6*g - 2. Let z be m(-6). Sort b, z, 2.
b, z, 2
Suppose 3*k - k + 16 = 0. Let b be (-45)/12 - (-2)/k. Let d(i) = -i**2 - i + 2. Let p be d(-2). Sort b, p, 5 in increasing order.
b, p, 5
Suppose 5*n - p = -4*p + 30, 2*n = -p + 11. Let g be (0 - n/(-6))/(-1). Sort -1/5, -1/7, g in decreasing order.
-1/7, -1/5, g
Let b(c) = -c + 8. Suppose -4*y - 37 = -5*d, -5*d - 2*y + 49 + 0 = 0. Let z be b(d). Let w = -1/46 + 57/506. Sort 2/7, w, z in descending order.
2/7, w, z
Suppose -3*x - 9 = 3. Let w be (-2)/(-2)*(x + -1). Put -1/4, 1, w in ascending order.
w, -1/4, 1
Let h = 4 + -5. Let q be (2 + h)*-1 + 2. Let i(c) = -c - 1. Let t be i(-5). Put q, t, -2 in descending order.
t, q, -2
Suppose 2*l = 5*r + 9, -4*l + 5 = -2*l - r. Let s be 4/1 - (-2 - -2). Sort -8, l, s in decreasing order.
s, l, -8
Let i be (-2*5/40)/(14/8). Let a = -3 - -3.2. Put 0.4, i, a in descending order.
0.4, a, i
Let k = -3.8 + 3. Let n = -0.33 + 0.03. Let d = k - n. Sort d, -4, 4 in increasing order.
-4, d, 4
Let t = -2 - -4. Let u be (-1)/4 + 10/8. Let r be (-2)/(u + 9/(-6)). Put r, -3, t in decreasing order.
r, t, -3
Suppose 4*q - 4 + 0 = 0. Let t be (5*-1)/(q - 2). Put t, 0, 2/13 in descending order.
t, 2/13, 0
Suppose -2*d - 3 = -1. Suppose 0*p = 2*p. Put 1, d, p in decreasing order.
1, p, d
Let q = -25 + 8. Let b = 22 + q. Put -2, 2, b in increasing order.
-2, 2, b
Let t(j) = -j - 18. Let b be t(-16). Put b, 1/4, -1/5, 9 in decreasing order.
9, 1/4, -1/5, b
Suppose -9 = j + 2*j. Let d = 2 + j. Suppose -5*l = 4*t - 33, 2*l - t + 3*t - 14 = 0. Sort 0, l, d in decreasing order.
l, 0, d
Let v = 1.2 - 0.9. Put 6, v, 4/5 in descending order.
6, 4/5, v
Let b = 57 - 58. Put 6, -3, b, 2 in descending order.
6, 2, b, -3
Suppose -4*t + 2*h - 1 = -3*h, -2*t = -2*h. Sort t, 6, -5 in ascending order.
-5, t, 6
Let n = 8 + -4. Let m = n + -4. Put -1