Sort x, 0, 2/13 in ascending order.
x, 0, 2/13
Let d be 2/(-4)*4/(-12). Put d, 0.1, 2/5 in increasing order.
0.1, d, 2/5
Let q = 20 - 19.4. Put q, -5, 0.5 in decreasing order.
q, 0.5, -5
Let n = -0.69 + -0.21. Let l = 0.1 - n. Suppose 4*c - 3*j + 12 = -16, -2*j + 16 = -2*c. Sort l, 2, c in decreasing order.
2, l, c
Let w be 0/(10/5) - (2 + 0). Sort -2/3, w, 0.1, -5/3 in decreasing order.
0.1, -2/3, -5/3, w
Let v(o) be the third derivative of -o**5/60 + o**3/6 - 3*o**2. Let r be v(0). Let i = 0.02 + 1.98. Put r, -5, i in increasing order.
-5, r, i
Let l = -1.1 - 6.9. Let x = l + 8.2. Put 2, 0, x in increasing order.
0, x, 2
Suppose -n - n = 0. Suppose n*p = 4*p - 48. Suppose 4*o + 2*f = 5*o - p, -2*o + 5*f + 29 = 0. Put o, 3, -1 in ascending order.
-1, o, 3
Let h(i) = -4*i + 4. Let c be h(-3). Let f be (-18)/(-42)*14/c. Put f, 0, -0.3 in decreasing order.
f, 0, -0.3
Let d(i) = 3*i - 3. Suppose -3*z = -4*g - 18, 2*z + g = -0*g + 1. Let t be d(z). Sort 1, t, -5 in decreasing order.
t, 1, -5
Let u = 16 - 7. Suppose -2*z + u = d, 2 = -4*z + 5*d - 1. Sort -2, 1, z in descending order.
z, 1, -2
Let i be (9/12)/(1/(-4)). Let s be (3/(-2))/((-15)/(-50)). Sort s, 3, i.
s, i, 3
Let v = -145 + 141. Sort 1, v, 4, 2/3 in decreasing order.
4, 1, 2/3, v
Let o(p) = -p**2 + 3*p - 3. Let y be (-4)/(-14) + (-24)/(-14). Let z be o(y). Sort 5, z, -5.
-5, z, 5
Let p be ((-44)/(-154))/(2/14). Sort -2, -3, p in increasing order.
-3, -2, p
Let s = -361 + 4691/13. Sort s, -0.3, -2, -0.5 in increasing order.
-2, -0.5, -0.3, s
Let h = 3 + 2. Suppose 66 = -h*p + 16. Let k be (8/p)/(8/(-20)). Sort -1, 5, k.
-1, k, 5
Suppose -2*g + 11 = 1. Let a = -8 + g. Sort 3, -4, a.
-4, a, 3
Let n(q) = q**3 - 2*q**3 + 2 + 2*q**3. Let w be 2/(-8) - 7/(-28). Let t be n(w). Sort 3, t, -3 in increasing order.
-3, t, 3
Let b = -21 - -26. Sort 1/4, b, -2 in descending order.
b, 1/4, -2
Let r = -4 + 6. Let a = -2 + r. Suppose 2*j + 8 = -a. Put 3/4, j, 2/9 in decreasing order.
3/4, 2/9, j
Suppose -4*b + 5*s - s = -44, 5*b - 46 = 2*s. Let q = 7 - b. Put q, -4, -5 in ascending order.
-5, -4, q
Suppose 16 = -u - 4*c, 0 = -5*u - 3*c - 12 - 17. Let v be (2/4)/((-5)/(-50)). Let g = v + -6. Sort -5, g, u in descending order.
g, u, -5
Let j be 1*(2 + 2*-1). Suppose j - 12 = 4*w. Let o(z) = 3*z - 7. Let n be o(3). Sort 5, w, n in descending order.
5, n, w
Let d = -12.3 + 12. Sort d, -0.05, -4/9 in decreasing order.
-0.05, d, -4/9
Let s = 5 + -5.4. Sort 1/4, -0.2, s in descending order.
1/4, -0.2, s
Let c = -1 + 9. Let d = 4 - c. Suppose 5*q = 2*q + 9. Sort d, q, 5 in decreasing order.
5, q, d
Let r = 0.5 + -0.3. Put r, -0.5, -0.4 in ascending order.
-0.5, -0.4, r
Let h = -7 + 20. Let g = 13 - h. Put 1, 0.5, g in decreasing order.
1, 0.5, g
Let t be (-3)/(0 - (-6)/(-8)). Let l be (-30)/t*(-2)/(-3). Sort 4, 3/7, l in descending order.
4, 3/7, l
Let u = 0.8 + -0.74. Let l = -8.76 + 9. Let c = u + l. Put -5, c, 3 in increasing order.
-5, c, 3
Let l = -60 - -59. Sort 1, 8, l.
l, 1, 8
Suppose 5 = -5*o - 5*n, 5*n - 3*n = -4*o. Let z be 1 + (2 - 1) + -1. Let m = z + o. Put -1, 5, m in decreasing order.
5, m, -1
Let k be 11/2 - 2*(-6)/24. Put 2, k, -1 in increasing order.
-1, 2, k
Let j = 330 - 1317/4. Let b = -0.32 + 0.02. Sort b, j, -0.5 in ascending order.
-0.5, b, j
Suppose 3*v + 4 = v, -4*u = -2*v - 8. Sort u, 3, -5, -4.
-5, -4, u, 3
Let f = -3 - -1. Suppose 2 = 3*k - 5*u + 10, 3*k + u = 16. Suppose -b - 1 = -0. Put k, b, f in descending order.
k, b, f
Suppose -5*b - 2*h + 5 = -3*h, 0 = -4*b - h - 5. Let q = -1/3 - b. Sort q, 5/2, -0.2.
q, -0.2, 5/2
Let y be -2 + 1 + -6 + 5. Sort 0.3, 1, y in ascending order.
y, 0.3, 1
Suppose 5*o - 6*o - 2 = 0. Put 2, o, 1 in increasing order.
o, 1, 2
Suppose -2 = -2*k + 4. Suppose 0 = -c + 1 - 8. Put c, 4, k in descending order.
4, k, c
Let p be 1 + 1 - (3 - 1). Let w(s) = -s**3 - 4*s**2 + 6*s. Let u be w(-5). Put u, p, 1 in descending order.
1, p, u
Let d = 14 - 16. Let w = d + -2. Put w, 1, 2/7 in descending order.
1, 2/7, w
Let j(b) = b - 5. Let y be j(7). Sort y, 5, -3, -1.
-3, -1, y, 5
Let i = -5.08 - -0.08. Put 4/5, -1/7, 6, i in descending order.
6, 4/5, -1/7, i
Suppose 3*y = -45 - 6. Let l = y + 13. Suppose -19 = 2*t + 2*u + 1, -20 = t + 3*u. Put l, 1, t in decreasing order.
1, l, t
Let c = -8 + 11. Suppose -r = c*r - 12. Let t = -3 - 0. Sort -2, r, t in increasing order.
t, -2, r
Suppose r + 2*r - 11 = 2*v, 5*v - 3*r + 23 = 0. Suppose 0 = 4*n - 3*i + 23, 3*n = 2*n - 4*i - 1. Let f = n + 6. Sort 2, f, v in decreasing order.
2, f, v
Let n = 612 + -608.03. Let t = -4 + n. Let a = t - -0.33. Sort a, -3, 6/5 in descending order.
6/5, a, -3
Suppose 0 = b + 5 - 4. Let q be 100/(-56) - (-2)/7. Let g be ((-5)/(-15))/(10/12). Put b, g, q in decreasing order.
g, b, q
Suppose 1 = 4*x + 21. Sort 2, x, -1.
x, -1, 2
Suppose 3*n + 4*i + 0*i = 10, -8 = -2*i. Sort -4, n, 5 in increasing order.
-4, n, 5
Let i = -70 - -69.5. Let r(p) = -p**3 + 4*p**2 - 2*p - 4. Let a be r(3). Let n = 3/16 + -59/144. Sort a, i, n.
a, i, n
Let w be (-5)/3 - 8/(-4). Let f = -5 + 5. Put 0.1, f, w in decreasing order.
w, 0.1, f
Let h be (-4)/18 + 2/9. Let i = -0.4 + 3.4. Let a = i - 3.5. Sort h, a, -0.3 in decreasing order.
h, -0.3, a
Let l = -1 + 5. Let g = 0.948 + 0.052. Put 2/3, l, g in decreasing order.
l, g, 2/3
Let r = -30 - -43. Suppose 3*g - 18 = -5*h + r, -g = h - 7. Let i be 2/(g*(-1)/2). Put i, -4, 3 in decreasing order.
3, i, -4
Suppose 2*z - 20 = -2*z. Suppose 0 = 5*t - 4*l + 17, t + 2*l + 4 = -5. Sort 3, z, t in increasing order.
t, 3, z
Let i = -0.19 + -0.11. Sort i, 0.3, 1, 3.
i, 0.3, 1, 3
Let f = -2 + 2. Suppose 52 - 22 = -5*l. Let z(a) = a**3 + 7*a**2 + 5*a - 5. Let y be z(l). Sort y, f, 2.
f, y, 2
Let g be (-133)/(-63) - (-1)/(-9). Sort -3, 0, g in decreasing order.
g, 0, -3
Let r be (40/(-60))/(((-1)/(-18))/1). Let k(t) = 2*t**2 - 2*t - 6. Let i be k(-6). Let d be ((-9)/r)/(i/16). Sort -2/9, -3/7, d in decreasing order.
d, -2/9, -3/7
Let g be -6*(-2 - 3/(-2)). Suppose 3*a = -2*f - 26, 0 = 5*f + 8 - 3. Let i(s) = s**2 + 9*s + 9. Let q be i(a). Sort 0, g, q in increasing order.
0, q, g
Suppose 0 = 4*p + 2*w - 2, -2*w - 3*w - 21 = -3*p. Sort -1, 0, -2, p.
-2, -1, 0, p
Let q(o) = -o**3 - 2*o - 4. Let j be q(0). Put j, 4, 1 in increasing order.
j, 1, 4
Let o be ((-3)/6*4)/(-2). Put 5, -2, o in increasing order.
-2, o, 5
Let n be 1 + -1 - (-1 + 3). Let o be (12/(-63))/(n/6). Let j = 6 + -3. Put o, j, -1/8 in increasing order.
-1/8, o, j
Let b = 0.4 - 2.4. Let l = b - -1.5. Put -2/3, l, -4 in descending order.
l, -2/3, -4
Suppose 0 = -2*m + 102 - 100. Put 2, m, -1, 5 in ascending order.
-1, m, 2, 5
Let b(z) = -z**2 - 4*z - 1. Let j be b(-3). Suppose -4 = -0*h - 4*h. Sort j, h, -3 in ascending order.
-3, h, j
Let c be 0/(1 + 1 + -1). Suppose c = -n + s + 9 - 2, 41 = 5*n + s. Put -5, 4, n in increasing order.
-5, 4, n
Let r be (-4)/3 - 3 - -3. Let p = -7 + 8. Put r, -3/7, p in increasing order.
r, -3/7, p
Let x = 1.2 - 1. Let u(f) = 2*f**2 - 11*f - 48. Let p be u(8). Sort 0.4, x, p.
p, x, 0.4
Let k be (27/36)/((-10)/8). Sort 0, 9, k in decreasing order.
9, 0, k
Suppose -18 = 13*q - 7*q. Put q, 2, 4, 1 in descending order.
4, 2, 1, q
Suppose -11 = 2*k + 5*l, -l - 45 = -5*k + l. Let a(x) = -x**2 + 7*x. Let r be a(k). Suppose r = 3*c - 0 - 3. Put c, -0.4, 2 in descending order.
2, c, -0.4
Let h be 3/(-18) + (-51)/(-90). Let u = 8 + -4. Let v be (-48)/(-20) - (5 - 2). Sort h, v, u.
v, h, u
Let k(t) = t**2 - 13*t - 1. Let v be k(13). Sort -12, v, -7 in descending order.
v, -7, -12
Let j = -20 + 21. Put j, 2, -12 in increasing order.
-12, j, 2
Let i be ((-2)/5)/(14/(-350)). Let a = i - 7. Sort -0.4, a, -5 in decreasing order.
a, -0.4, -5
Let l = -3.53 + 0.03. Let k = l + 4. Sort k, -3/4, 3 in descending order.
3, k, -3/4
Suppose -o + 0*o + 5 = 0. Put -2, o, -3 in decreasing order.
o, -2, -3
Suppose -4 = -2*n + 2. Let w be ((-3)/n - -2)*5. Sort -5, -1, w in descending order.
w, -1, -5
Suppose -4*s - 4 - 16 = 0. Let r(m) = -m**3 + 4*m**2 + 22*m - 10. Let h be r(7). Sort 3, h, s.
s, h, 3
Suppose -2 = 4*c + 2. Let u = 0 - -2. Suppose x = -z + 4*x - 2, -z + x = u. Sort c, -0.3, z in decreasing order.
-0.3, c, z
Let m = -7.17 - 0.83. Sort -0.1, m, 2/11.
m, -0.1, 2/11
Suppose 0 = 33*r - 32*r + 2. Let f