 Suppose -2*k = 3*k + 25. Put h, k, -1 in ascending order.
k, -1, h
Suppose 4*p - 6 = -2*j, 0*j - j - 5*p + 9 = 0. Sort -2, 1, j.
-2, j, 1
Suppose 0*k + 2*k + 8 = 0. Let t = 5 + k. Put t, -1, 2 in descending order.
2, t, -1
Let c be (0 - 1)/(2/4). Let r = c + 4. Suppose -3*f - 2 - 7 = 0. Sort r, f, -5.
-5, f, r
Let g = -50 + 50. Sort 12, g, -1/3 in descending order.
12, g, -1/3
Suppose 5*p = -34 - 1. Let t = 4 + p. Let l(a) = a**3 + 6*a**2 + 5*a + 1. Let d be l(-5). Sort t, -2, d.
t, -2, d
Let t = -5 - -10. Sort t, 4, -7 in increasing order.
-7, 4, t
Let g be 0 + -1 - (1 + 1). Let w = 442 - 439. Sort w, g, 11 in increasing order.
g, w, 11
Suppose -2*n = -m + 2*n - 21, -5*m - n = 0. Let k = m + 3. Sort -3, 1, k in descending order.
k, 1, -3
Let m = 0 + -9. Let q = m + 9.1. Sort -5, q, -1 in decreasing order.
q, -1, -5
Let m(s) = -s**2 + 4*s - 3. Let r be m(3). Let t be (-14)/8 + 15/20 + 4. Sort 9, t, r.
r, t, 9
Let i be -1*(3 - (2 - 0)). Let m be i/(2 - 21/9). Sort 0, m, 2 in ascending order.
0, 2, m
Suppose -h + 1 = k - 1, -3*k + 9 = 4*h. Suppose h = 3*s + 6. Sort -0.1, -5, s in descending order.
-0.1, s, -5
Suppose -15 = -2*m - 7. Sort m, 6, -1/2, -0.3 in ascending order.
-1/2, -0.3, m, 6
Let j = 0.002 + 0.108. Sort -0.1, 1, j in decreasing order.
1, j, -0.1
Let r = 26 + -22. Suppose 2*l = r*h - 27 + 63, 3 = -h - l. Put h, -2, 5 in decreasing order.
5, -2, h
Let i(z) = -z**3 - 6*z**2 - 4*z + 7. Let q be (-46)/10 - (-4)/(-10). Let t be i(q). Sort 4, t, -1.
-1, t, 4
Suppose 5*o + d = 3*o + 6, 3*o - 4*d - 31 = 0. Suppose -o*v = -2*v - 9. Sort 4, v, 5 in increasing order.
v, 4, 5
Suppose -9 = -5*q + 6. Suppose -5*v - 4 + 3 = 4*d, -v = q*d - 2. Put 4, 5, v in decreasing order.
5, 4, v
Let g = -2 - -7. Sort g, -2, -5 in decreasing order.
g, -2, -5
Let n = -0.3 + -3.7. Let c = 0.7 - 1.7. Put n, 0.4, c in ascending order.
n, c, 0.4
Let w = -192 + 188. Sort 0.5, -0.3, -0.1, w.
w, -0.3, -0.1, 0.5
Let b = -0.13 + -3.57. Let k = -0.7 - b. Sort k, 3/8, -0.4 in ascending order.
-0.4, 3/8, k
Suppose m = -4*w - 9, -2*m = -5*w + 1 - 22. Let z(k) = 4*k**m + 3*k**2 - 3*k**3 - 5*k**2 - k - 1. Let i be z(3). Sort 4, -4, i in decreasing order.
i, 4, -4
Let h = -9 - -4. Sort 2, h, -4 in decreasing order.
2, -4, h
Let n be ((-1)/(-3))/((-1)/6). Sort 0.4, n, 4, -5 in increasing order.
-5, n, 0.4, 4
Suppose 0 = -5*n + 7*n - 2*o + 4, -4*n + 2 = o. Put 4, 37, n in descending order.
37, 4, n
Let c = -1.05 - -2.05. Put c, -22/5, -5, 3/7 in ascending order.
-5, -22/5, 3/7, c
Let h = -2 - -4. Suppose 3 = h*f - 13. Let j be ((-12)/f)/(3/(-4)). Put -4, -3, j in decreasing order.
j, -3, -4
Let b = 102 + -101.6. Put -5, b, 1, -3/4 in increasing order.
-5, -3/4, b, 1
Let t = -1.8 - -0.4. Let f = t + 1.1. Sort 0.5, -1/4, f in ascending order.
f, -1/4, 0.5
Let v = -28 + 113/4. Sort v, -2/9, 0 in ascending order.
-2/9, 0, v
Let p = 136/77 - 13/7. Sort p, 1, -1/9 in increasing order.
-1/9, p, 1
Let q(z) = -z**2 - 30*z - 59. Let t be q(-28). Sort 3, t, -5, 5 in ascending order.
-5, t, 3, 5
Suppose -a - a + 4*f - 24 = 0, -2*f + 10 = 0. Let u = a - 3. Let h = u - -10. Sort 4, h, -4 in descending order.
h, 4, -4
Let a = -8 + 5. Suppose 0 = -3*k - 15 + 30. Sort 1, a, k.
a, 1, k
Suppose w - 4*a + 1 = -0, a = -4*w - 21. Let i(d) = 2*d - 3. Let g be i(4). Suppose -g*t - 5*o - 25 = 0, -5*t + 2*t - 7 = -5*o. Put 2, t, w in increasing order.
w, t, 2
Let d(b) = -3*b + 8. Let z be d(4). Let n be (-39)/6 - (-2)/4. Sort 5, z, n.
n, z, 5
Let f = -4 - -3.8. Let r = -1.8 + f. Let n = -6 - -5.6. Put -4, r, n in descending order.
n, r, -4
Let o = -99 - -100. Put 0, o, 2, 5 in decreasing order.
5, 2, o, 0
Let d be 9/6*16/(-6). Let h be (-2)/8 - (-3)/d. Let c = 1 + 1. Sort h, -2, c.
-2, h, c
Let v = 27 + -16. Let q = v - 16. Sort q, -3/8, -1/3.
q, -3/8, -1/3
Let w = 1 - -4. Let i = 1.3 + -0.2. Let x = i + -1. Sort -2/9, x, w.
-2/9, x, w
Let d be 78/248 + (-1)/4. Let s = d - 101/124. Put s, -3/2, -4 in descending order.
s, -3/2, -4
Suppose n = 3*n. Suppose b + 3*b - 12 = n. Sort -5, b, -3 in decreasing order.
b, -3, -5
Suppose 3*a - 8*a = -75. Let w = a + -8. Sort w, -5, 5.
-5, 5, w
Let s = 0.3 + -0.7. Let w = 6 + -6.24. Let p = -0.06 + w. Sort 3, p, s.
s, p, 3
Let t(f) = f**3 - 3*f**2 - 6 - f - 6*f + 6*f**2. Let g be t(-4). Suppose -g*l = -2*l. Sort 2, l, 3 in increasing order.
l, 2, 3
Let o = -2.3 + 2.3. Put -0.1, 5, o in descending order.
5, o, -0.1
Let r = -9 + 4. Suppose -5*q + 16 = -q. Put r, q, -6 in ascending order.
-6, r, q
Let u = -7.3 - -1.3. Let x = u + 8. Let f = 2 + x. Sort 2, -1, f in increasing order.
-1, 2, f
Let o(v) = v**2 + 5*v + 1. Let l be o(-5). Let z(p) = -3 + 7 + 2*p + p. Let j be z(-3). Sort 5, l, j.
j, l, 5
Suppose 2*u + 11 = 3. Put -7, u, -2 in decreasing order.
-2, u, -7
Let w(r) = -r**3 + r + 1. Let q(l) = l**3 + 3*l**2 + 2*l + 2. Let b(g) = -q(g) + w(g). Let x be b(-2). Put x, -2, 0 in ascending order.
-2, 0, x
Let l = 0 - 2. Let i = -2.3 - l. Put 2/7, -2, i in increasing order.
-2, i, 2/7
Let w = -19/30 + 23/10. Let u = 1.94 - -0.06. Let o = u + -3. Sort 0, w, o in descending order.
w, 0, o
Let k = 31 - 31.4. Sort 0.4, k, -1/6, 4 in ascending order.
k, -1/6, 0.4, 4
Suppose 6*j - 5*j + 2 = 0. Let p be 26/10 - (-8)/20. Sort j, p, 1 in decreasing order.
p, 1, j
Let n = 3.6 + -4. Suppose 0 = -28*w + 16*w - 48. Sort -1, w, n in ascending order.
w, -1, n
Suppose 3*c - 2*p = -1, -4*c + p - 14 = -7*c. Sort c, 1, -5, -3.
-5, -3, 1, c
Suppose 3*v - 11 - 1 = 0. Suppose 2*f - 5*f - c + 5 = 0, -5*c - 32 = -4*f. Sort f, v, -3 in increasing order.
-3, f, v
Let b(z) = z**2 - 6*z + 11. Let n be b(4). Sort n, -3, 4 in ascending order.
-3, n, 4
Let c = -8 - -9. Sort c, 1/5, -0.5.
-0.5, 1/5, c
Let q = -1.02 - -0.02. Sort -0.2, -4, q.
-4, q, -0.2
Let c be 1/(-5) - 1/(-5). Suppose c = -6*z + 2*z + 16. Sort -3, 0.3, z in ascending order.
-3, 0.3, z
Suppose -2*g = -41 + 35. Sort g, 5, 0 in descending order.
5, g, 0
Let q(d) = -d**3 + d**2 + 2. Let v be q(0). Let u(r) be the first derivative of -r**3/3 - 5*r**2/2 - 4. Let z be u(-5). Put -3, z, v in descending order.
v, z, -3
Let c be (-10)/(-25) - 44/10. Suppose 0 = 4*z - 3*z + 4*a + 20, -3*z + 4*a + 20 = 0. Sort z, -1, c in increasing order.
c, -1, z
Let g be 6/(-15) + (-114)/(-10). Suppose z = -2*r - g, -2*r + 7*r = 4*z + 5. Put 4, 0, z in increasing order.
z, 0, 4
Let x = -35 - -23. Let z = x - -12.5. Let o = -2 - -2.2. Put z, 4, o in ascending order.
o, z, 4
Let p = 1 + -1. Let i = -1 + p. Let j = -8 + 5. Sort i, j, -2.
j, -2, i
Let x = 2 - 14. Let y = -10 - x. Let v be (0 + -1)*2/1. Put v, 0, y in increasing order.
v, 0, y
Let b = -401/6 - -67. Put -4/5, 1, b in ascending order.
-4/5, b, 1
Let l = 1 + -3. Suppose -57 - 63 = 5*r. Let s = -27 - r. Sort 3, l, s.
s, l, 3
Let s = 91.2 - 91. Sort 5, -5, s, 1/2.
-5, s, 1/2, 5
Let b be (-87)/12 - 1/(-4). Let j be 1/2*(b + 5). Let f be (0 + (-10)/8)*-4. Put f, 0, j in descending order.
f, 0, j
Let u = 1.3 - 1.3. Let r(k) = 3*k**2 + k. Let l be r(1). Put 0.4, u, l in ascending order.
u, 0.4, l
Let r = -7 - -5. Suppose 0 = -5*b - 2*i, 2*i = 3*b - 2*i - 26. Let k = -1 + 0.9. Put b, r, k in descending order.
b, k, r
Let d = 196/909 + 2/303. Let c = -0.5 - -0.7. Let b = 4/13 - -5/26. Put b, c, d in descending order.
b, d, c
Let p(t) = t + 11. Let x be p(8). Let c be -3 + 0 + x + -6. Let n be ((-4)/c)/((-66)/(-30)). Sort 3/4, n, -2/7 in ascending order.
-2/7, n, 3/4
Suppose -4*c + 104 - 36 = 0. Put 1, 3/4, c in increasing order.
3/4, 1, c
Suppose 5*n + v - 74 = 0, -n + 7*v = 2*v - 20. Let z be (2/(-5))/((-1)/n). Sort 0, z, -2.
-2, 0, z
Let w = -0.02 - 0.38. Sort w, 1, 4 in increasing order.
w, 1, 4
Let d be (4 + (-14)/3)*-3. Let x(y) = y**2 - 9*y + 14. Let o be x(6). Sort d, 0, o in increasing order.
o, 0, d
Let c be -1*2 - (-7 - -21). Let s be 4*(2 + 38/c). Put -2, s, -1 in increasing order.
-2, s, -1
Let h = 0.418 + -0.018. Sort 2, 4, h.
h, 2, 4
Let r = 2.2 - 14.2. Let j = r - -7. Put 2/7, 5, j in decreasing order.
5, 2/7, j
Let y(z) = 2*z - 4. Let r be y(5). Suppose -2 = 4*d + r. Let b = 1 - 1. Put b, d, -1 in descending order.
b, -1, d
Let g = 49 - 48. Sort 4, 0, g in descending order.
4, g, 0
Suppose 2*d = 3*o + 21 + 27, 0 = 2*o + 2*d + 32. Suppose 2*u + 3*u - 10 = 0. Let z be (u/(-8))/(28/o). Put