8*r + 40. Put -0.18, 2/7, r in increasing order.
-0.18, 2/7, r
Suppose 2*c = -c. Let t be c/(2 - 0) - 2. Sort 5, 0, t in descending order.
5, 0, t
Let a = 27/20 + -3/5. Sort -0.4, a, 3/2 in increasing order.
-0.4, a, 3/2
Let v = 35 - 35.1. Sort 1, v, 3 in descending order.
3, 1, v
Suppose -3*y - 2*y = 5. Sort 1, -2, y, 2 in increasing order.
-2, y, 1, 2
Let a = 1 + 2. Suppose 0 = -2*u - w - 3, 0 = -u + a*w + 16. Sort -2, u, 3.
-2, u, 3
Let u = -0.08 - 0.42. Sort 2/25, u, -4 in decreasing order.
2/25, u, -4
Let v be (2/(-8))/((-1)/4). Let l = 15 - 10. Let a be (-24)/(-3)*(-2)/(-4). Put l, a, v in descending order.
l, a, v
Let i = -35 - -31. Sort 1, i, 0.1.
i, 0.1, 1
Suppose -6*y = -4*y, -3*h - y - 24 = 0. Let k = -12 - h. Let v be 10/45 - (-58)/(-18). Sort k, v, -5.
-5, k, v
Let d = -0.049 + -0.951. Suppose b + 3*b = 4. Suppose 5 = -2*h - 5*x, x - 5*x + 4 = 0. Sort d, h, b in ascending order.
h, d, b
Let v = -4/7 - -3/91. Let b = 75/91 + v. Put b, -1/6, -0.1 in decreasing order.
b, -0.1, -1/6
Let i(n) = -2*n**3 + 0*n**3 + 8 - 7*n**2 + 2*n**3 + n - n**3. Let l be i(-7). Sort l, 2, 4 in descending order.
4, 2, l
Let z = -18 + 13. Let b be (-1)/8*-5 + (-5)/(-40). Sort b, z, 5.
z, b, 5
Let t = 119.4 + -119. Sort t, 2, -4/7, -0.4 in descending order.
2, t, -0.4, -4/7
Let d = 0.09 - -0.01. Suppose w = 0, 11 = -4*p - w + 3. Sort p, d, -1 in ascending order.
p, -1, d
Suppose 9*t = 5*t + 4. Put t, -2/3, 5, 1/2 in descending order.
5, t, 1/2, -2/3
Suppose 5*o - 4 = 4*o. Put -5, o, 1 in ascending order.
-5, 1, o
Suppose 4 = -2*z + 16. Suppose 6 + z = -4*j. Put j, -5, 3 in ascending order.
-5, j, 3
Let i(x) = x**2 - 8*x - 12. Let y be i(9). Let z(f) = 2*f. Let a be z(2). Let d be a/(-2) + (3 - 5). Sort d, y, 4.
d, y, 4
Let r be 1/((2/(-3))/(-2)). Suppose -b = -0*b. Suppose -26 = -5*i + i - 5*m, 5*i - 22 = -m. Sort b, r, i in decreasing order.
i, r, b
Let h = 7 - 10. Let w(k) be the second derivative of -k**4/12 - k**3/2 + 2*k**2 - 2*k. Let b be w(h). Sort b, 3, -5.
-5, 3, b
Let a be -1 + (-8)/52*22/(-4). Sort -2/7, 2/5, a in descending order.
2/5, a, -2/7
Let y be -1 + 1 + 1 - (-50)/(-75). Sort -0.2, y, -4, 3.
-4, -0.2, y, 3
Let m = -5 - -5.04. Let y = 19.8 + -20. Sort y, m, -5 in descending order.
m, y, -5
Suppose -3*r + 1 + 5 = 0. Let t(a) = r - 2*a + a + 0 - a**2. Let z be t(0). Sort z, 5, 1.
1, z, 5
Let o = 52 - 22. Let p = -241/8 + o. Suppose 10*s - 11 = 29. Put 3, p, s in descending order.
s, 3, p
Let y = -0.63 - -0.93. Put 3/2, 3, -1, y in descending order.
3, 3/2, y, -1
Let p = -4.8 + 0.8. Put -1, 0.07, p in ascending order.
p, -1, 0.07
Let p = -2 - -6. Suppose 11 = -6*f - 1. Let z be f/((-8)/(-4)) - 3. Sort p, 1, z in increasing order.
z, 1, p
Let y = -1 - -6. Let x = y - 5.2. Let o = -0.5 + 0.1. Sort x, -2/3, o in increasing order.
-2/3, o, x
Let n = 1.042 + -0.042. Suppose -j = -4*j - 6. Sort 0.3, j, n in increasing order.
j, 0.3, n
Let p = -6 - -7. Suppose -4*n - 3 = p. Sort 0.4, -0.5, n.
n, -0.5, 0.4
Suppose -3*l + 16 = l. Sort l, 0, -5.
-5, 0, l
Suppose -4*q - 8 = -q + c, 2*c - 2 = 3*q. Let v be (3 - (q - 0)) + -2. Put v, -4, -3 in decreasing order.
v, -3, -4
Suppose -2*n + 4*n - 3*x - 7 = 0, 0 = 5*n - 5*x - 5. Put -0.3, 0, n in decreasing order.
0, -0.3, n
Let q(m) = -4*m + 6. Let p be q(1). Put 5, -6, p in decreasing order.
5, p, -6
Let x = 14 + 3. Let m = x + -17.07. Let p = m + -0.13. Sort p, 0.2, 2 in descending order.
2, 0.2, p
Let a = -0.09 - 5.91. Let y = a - -9. Let c be (-3)/15*(-5)/2. Put c, y, 0.1 in increasing order.
0.1, c, y
Suppose 5*q + 1 = t - 4, -3*q - 4*t + 20 = 0. Let h(z) = -z**3 - 9*z**2 + z + 10. Let r be h(-9). Put q, 4, r in descending order.
4, r, q
Let h = 1.6 + 0.4. Let l = h - 7. Put -2/13, -2, l in descending order.
-2/13, -2, l
Suppose -2*j + 32 = -4*s, -4*s - s = 3*j - 15. Put 2, j, 3, 1 in increasing order.
1, 2, 3, j
Let t be 4/(1 + 1 - 3). Let h be 1/t - (-15)/(-4). Let c = 9 - 4. Put c, -1/3, h in descending order.
c, -1/3, h
Suppose -5*q = 10, 0 = 2*o - 0*o + 2*q + 14. Let y be (1 + 0)*(2 - 1). Put 2, y, o in descending order.
2, y, o
Let x be (3 + 2)*(-12)/(-10). Suppose -5*z + 19 = -x. Sort -2, 3, z in ascending order.
-2, 3, z
Let n = 0.24 + -0.4. Let r = n - 5.84. Let a = 5.9 + r. Sort a, -2/9, 2.
-2/9, a, 2
Let r(p) = p - 19. Let n be r(17). Put n, 0, 2, -7 in increasing order.
-7, n, 0, 2
Let j be 9*5/15*1/1. Put 1, j, -4 in descending order.
j, 1, -4
Let o be 16/(-6) - 2/6. Suppose 0 = -5*g - 5*k - 50, 4*g = -k + 2 - 57. Let v = g + 10. Sort o, v, -1 in descending order.
-1, o, v
Let b(r) = -2*r**3 - 12*r**2 - 1. Let l be b(-6). Put 0.5, -0.01, -2, l in descending order.
0.5, -0.01, l, -2
Let w = 2 + -1.99. Let n = -2.24 - -1.23. Let g = w + n. Sort 2, 1, g.
g, 1, 2
Suppose 4*i + l - 7 = 8, 5*l = i - 9. Suppose 5*h = j + 2, h - 5*j - 10 = i*h. Sort 5, 2, h in descending order.
5, 2, h
Let c = 0.124 + 19.276. Let g = c + -15. Let x = g - 4. Sort x, 0, 1/2.
0, x, 1/2
Suppose 0 = -4*t - 2 + 6. Suppose -16 = 2*u + 2*q, 0 = 4*u + 2*q + 3 + 21. Sort 3, u, t in decreasing order.
3, t, u
Suppose 8 = -g - 5*c, g + 0*g - c = 4. Sort -4, 4, g in ascending order.
-4, g, 4
Suppose 3*m = 3*c + 42, 3*c - 6*m + 38 = -2*m. Let r be (-2 - -1) + (-22)/c. Let b be 1*1*(-5)/3. Put b, -4, r in decreasing order.
r, b, -4
Suppose -3*r - 3*x - 6 = 0, 3*x + 0*x = 3*r - 12. Let y = -1 + r. Suppose -4*a + 5*p - 5 = 1, 0 = 2*p + 4. Sort a, 4, y in ascending order.
a, y, 4
Suppose 2*t - 6 = 6. Let r = 3 - t. Suppose 2*i = -2*i + 4. Put r, -5, i in decreasing order.
i, r, -5
Let n(x) = -x - 8. Let y be n(-6). Suppose -2*i = -4 - 2. Suppose -3*d - 17 = -5. Sort d, y, i in ascending order.
d, y, i
Let u = -17 + 20. Suppose 3*p + 2*p = -3*n - 23, -5*p + 2*n - 18 = 0. Sort -2, u, p in decreasing order.
u, -2, p
Suppose -3*f + 69 = -3. Suppose -2*x - f = -4*k, -3*k - 2*k + 31 = -3*x. Let r be (-9)/(-1 - -4) + -1. Put x, r, -5 in increasing order.
-5, r, x
Let h(q) = -2*q. Let o be h(2). Put 2, 3, o, -2 in ascending order.
o, -2, 2, 3
Suppose 0*m = 5*m - 20. Suppose 5*w - 3*w = m. Sort -3, w, -4 in descending order.
w, -3, -4
Suppose -2*i = -2 + 6. Let b be i/(-2) - (10 - 6). Put 4, -1, b in increasing order.
b, -1, 4
Let y = -59 + 527/9. Let r = 119 - 594/5. Sort 5/3, y, r.
y, r, 5/3
Suppose 0 = -i + 5*i + 28. Suppose 0*v = 5*v + 15. Let t be ((1 - i) + v)*-1. Put 2, t, 4 in decreasing order.
4, 2, t
Let f = 1 - 1. Suppose 7*b + d = 3*b + 7, -2*b - 3*d - 9 = 0. Sort f, -5, b.
-5, f, b
Let l = -60283/3 - -20298. Let u = l - 202. Put u, 1, -5 in decreasing order.
u, 1, -5
Let q be (-4 - -2)/(-2)*0. Sort 1, 4, q in descending order.
4, 1, q
Let b(j) = j**2 - 6*j - 14. Let g be b(8). Sort -1, g, 3 in descending order.
3, g, -1
Let g = 0.061 - 0.261. Sort g, -3/5, 1 in descending order.
1, g, -3/5
Suppose 2 = r + 3. Let d be ((-2)/(-1)*6)/r. Let o(s) = s + 7. Let y be o(d). Sort y, 2, -1.
y, -1, 2
Let g = -2 + 5. Let r = 17 - g. Suppose -v + 10 = 2*v - t, -v - 4*t = r. Sort v, 3, -3.
-3, v, 3
Let o = -4 + 15. Let p = o + -11.5. Put -4/7, p, 0.2 in decreasing order.
0.2, p, -4/7
Let o = -2126/9 - -236. Put 0, 1/2, -4, o in decreasing order.
1/2, 0, o, -4
Let k = 9 - 6. Let q(v) = -v**3 - 12*v**2 - 27*v + 2. Let d be q(-3). Sort d, k, -1 in decreasing order.
k, d, -1
Let g = 1 - 1. Let u = -3.96 - 0.04. Let y = u + 4.3. Put g, y, -0.5 in descending order.
y, g, -0.5
Let z(r) = -r**2 - 6*r - 1. Let h be z(-5). Suppose h*j - 22 = 5*w, 0*w - 4*w = -5*j + 23. Suppose 10 = -j*c + c. Put 5, c, 0 in decreasing order.
5, 0, c
Let h = -11 + 15. Let r(m) = -m**2 + 15*m + 5. Let v(x) = -x**3 + 10*x**2 - 8*x + 6. Let t be v(9). Let f be r(t). Sort f, -2, h.
-2, h, f
Let q = -14.06 - -14. Let t = q + -1.94. Sort t, 5, -1/3 in descending order.
5, -1/3, t
Let z be 511/35 + 2/5. Let k be (-3)/z*15/(-12). Put -1, -5, k in decreasing order.
k, -1, -5
Let a be -10*((-3)/2 + 1). Put -0.7, 2/9, a in increasing order.
-0.7, 2/9, a
Let j(m) = 19*m**2 - 7. Let z be j(-5). Suppose -5*a + z = 2*p + 2*p, 2*p - a - 248 = 0. Let n = -608/5 + p. Sort -1/5, n, 0.1 in descending order.
n, 0.1, -1/5
Suppose -3*i + 6*x = 4*x - 4, 5*x + 5 = 5*i. Let o be (-1 + 4)*(-3 + i). Put o, -5, 0 in ascending order.
-5, o, 0
Let o = -15.3 + 14.9. Let l be (-1 - 0)*(-1)/5. Put l, 