z(-12). Sort 0, o, 10, -0.4 in descending order.
10, o, 0, -0.4
Suppose 4*f + 4*c + 2 = 14, -3 = -f + 5*c. Let l be 2*-1*(-6 + 2). Sort l, -1, f in decreasing order.
l, f, -1
Let x be (-2)/7 - 168/(-245). Let u = -388/945 - -2/189. Let w = -6/13 + 80/117. Put u, x, w in decreasing order.
x, w, u
Let t = 5 - 3. Let b(v) = -3*v**2 - 24*v - 22. Let p be b(-2). Put t, 5, p in ascending order.
t, 5, p
Let i be 0*3*(-2)/(-12). Suppose i = 2*v + 1 + 3. Let o = -6.4 + 6. Sort o, v, 2/3.
v, o, 2/3
Let c be (2/(-180))/(14/112). Let x = c + -23/45. Let u = -19 + 15. Sort u, 1/4, x in increasing order.
u, x, 1/4
Suppose -47*h = 41*h + 352. Sort 3, h, 7, 0.
h, 0, 3, 7
Let p be 1*-4 + 1/(-1). Let y be (-5)/((-15)/(-12)) - -4. Suppose -5*m - 10 - 5 = y. Sort m, 3, p.
p, m, 3
Let m be (-45)/12*8/(-3). Suppose -4*p - 78 = -m*p. Suppose w - p = -10. Put w, 2, -1 in increasing order.
-1, 2, w
Suppose 2*n = -0*n + 8. Suppose m - n*m - 45 = 0. Suppose 0 = 3*o - 4*s + 3*s - 19, -5*s = -3*o + 35. Sort m, -2, o in ascending order.
m, -2, o
Let l be (-1920)/1540 + (-6)/(-14) + 1. Sort l, 4/3, 8, -4.
-4, l, 4/3, 8
Let d = 0.11 - 5.11. Let f = -5.1 - d. Put -4, -1/4, -2, f in decreasing order.
f, -1/4, -2, -4
Let y(x) = -7*x - 38. Let k be y(-6). Let o be (-1 - k/(-6))/((-14)/210). Sort -1, -2, -4, o in decreasing order.
o, -1, -2, -4
Let p = -1.85 + -2.15. Put p, 0.06, 1/4, 0.4 in decreasing order.
0.4, 1/4, 0.06, p
Suppose 2*l = -4 + 2. Let c(t) = 7*t + 0*t - 2 + 1 - 3*t. Let r be c(l). Sort 3, r, -3.
r, -3, 3
Let w be (-4)/11 + 885/165. Sort -3, -12, w, -5.
-12, -5, -3, w
Suppose 1873 - 1885 = 4*g. Sort -29, g, 1 in decreasing order.
1, g, -29
Let b be (-26)/143 + (-10)/(-55). Sort 2, b, -6 in decreasing order.
2, b, -6
Suppose -90 + 14 = -4*f. Suppose f = 7*d - 16. Put 12, 4, d in decreasing order.
12, d, 4
Let g(v) = v**2 + 7*v + 2. Let b(n) = -n**3 + 2*n - 2. Let r be b(2). Let o be g(r). Sort o, -2, 2 in decreasing order.
2, -2, o
Suppose -9 = -a - 3*o, 3*o = -4*a + 4*o + 62. Let h be ((-4)/(-95))/(6/a). Sort h, 2/3, -2 in descending order.
2/3, h, -2
Let q = 36 - 1. Let z = q + -34. Sort z, 2/7, -1/4, 2/3.
-1/4, 2/7, 2/3, z
Let h(f) = 2*f + 24. Let p be h(-26). Put p, -2/7, 0.1, 4 in decreasing order.
4, 0.1, -2/7, p
Suppose 0 = -g + 182 + 86. Let n = 3482/13 - g. Suppose -d = 2*l - 5, d + 3*d - 2*l + 30 = 0. Put d, 1, n in decreasing order.
1, n, d
Let n = -559 - -555. Put n, -16, 4 in ascending order.
-16, n, 4
Let x = -5.2 - -5. Let k = -1.6 - x. Let z = k + 0.9. Sort 4, z, -3.
-3, z, 4
Suppose -4*g = g - 255. Suppose -t + 103 - 34 = 4*n, -t + g = 3*n. Suppose 15*v = n*v + 6. Sort 1, -3, v in ascending order.
-3, v, 1
Let i = -0.5 + 0.41. Let a = 7.29 + -10.2. Let t = i + a. Sort t, 2, 0 in descending order.
2, 0, t
Let t = -11 + 16. Let y = 63 - 58. Suppose 2*l + 0*c - 9 = -y*c, 0 = -3*l - t*c + 6. Put -1, 5, l in descending order.
5, -1, l
Let a be (((-48)/5)/3)/((-4)/(-10)). Sort a, 1, 2, 0.4.
a, 0.4, 1, 2
Let w = -114.9 - -115.3. Sort 4, 41, w in ascending order.
w, 4, 41
Let f = -2 + 48. Suppose 3*x - 2 + f = -4*h, 2*x + h + 21 = 0. Sort x, 4, 2 in decreasing order.
4, 2, x
Suppose -5*l = -15, -q + 5*l - 17 = -2. Suppose -i + 41 = -4*f, q*i + 15 = 3*i. Sort -4, f, -3/4.
f, -4, -3/4
Let u be (-96)/7 + 42/(-147). Put 5, 3, -2, u in descending order.
5, 3, -2, u
Suppose 0 = -2*b - h + 25, -14*h = -b - 17*h + 5. Put b, -1, -5, 4 in ascending order.
-5, -1, 4, b
Suppose 110*s = 106*s - 16. Let j = -1 - 2. Sort j, 2, -5, s in increasing order.
-5, s, j, 2
Let a = 2878/99 - 260/9. Let c = -285 + 282. Put c, -2, a in ascending order.
c, -2, a
Suppose 15 = 3*d, -4*f + 2*f - 2*d = -2. Let l be (-2)/f*(-14 + 10). Let o = -3 - -4. Sort o, l, 2 in ascending order.
l, o, 2
Let b = 42 - 42. Let u be (2 - -1) + -3 + b + 3. Sort u, 0.08, 1 in increasing order.
0.08, 1, u
Let i be (25 - 19)*1/15. Let u = 2 + -2.2. Put i, u, 5 in ascending order.
u, i, 5
Suppose 12 - 54 = 42*t. Put t, 106, -2, -5 in decreasing order.
106, t, -2, -5
Let g(u) = -7*u - 4. Suppose 0 = -7*y - 36 - 13. Let i be g(y). Suppose 0 = 10*q - q - i. Sort 0.5, q, 0.
0, 0.5, q
Let p(d) = -d**3 - 16*d**2 + 18*d + 42. Suppose 0 = -g + h - 36 + 14, g + 37 = 4*h. Let l be p(g). Sort 4, -2, l in descending order.
l, 4, -2
Suppose 54*w = 49*w + 10. Suppose 4 - 1 = -a. Sort -2, w, a in increasing order.
a, -2, w
Let f be (-5)/(-3*(-3 - (-32)/12)). Suppose 0 = i + 3*i - 16. Sort 2, -4, f, i.
f, -4, 2, i
Let c be (-2 + 0)/((-16)/(-32)). Sort -5, 32, -10, c in decreasing order.
32, c, -5, -10
Let w(f) = -f**3 - f**2 + 46*f - 80. Let t be w(2). Suppose q + 26 = -q. Let k(a) = -a**3 - 6*a**2 - a - 2. Let h be k(-6). Sort h, q, t in descending order.
h, t, q
Let z(k) = 5*k + 25. Let v be z(-4). Sort 1, 0, v, 10.
0, 1, v, 10
Suppose 0 = 4*i + 20, -3*i - 1 + 2 = 4*r. Suppose 0 = 5*q + r - 54. Let t = q + -10. Sort -2, t, -5 in decreasing order.
t, -2, -5
Let l(q) = -q**2 + q - 3. Let g be l(0). Let m = g - 1. Let f be (-1 + 26/24)/((-8)/16). Sort m, f, 4.
m, f, 4
Let s = -1018 + 1025. Let o = -2 + -1. Sort s, 2, o in ascending order.
o, 2, s
Let b = 79395/14 - 5671. Let q(u) = u + 1. Let f be q(-6). Let v be 2/52*(-8)/2. Sort b, v, f in ascending order.
f, v, b
Let v = -34 + 33. Suppose 0 = 5*q - 3 - 2. Suppose -2*d = -n - 4, -q = 3*n + 5*d + 22. Put 2, n, v in ascending order.
n, v, 2
Let j(f) be the second derivative of -f**3/6 + f**2/2 + 4*f. Let i be j(-2). Suppose 4*p + 3*k = -2, -i*k = p - 4 + 9. Sort -1, p, -3 in decreasing order.
p, -1, -3
Let p = -9 - -37. Suppose 5*a - 2*a = 5*o - 89, -4*a = -o + p. Let z be (3 + (-44)/o)/(-1). Put 5, z, -4 in decreasing order.
5, z, -4
Let u(d) be the first derivative of d**4/4 + 7*d**3/3 - d**2/2 + 9*d + 1. Let r be u(-7). Let t = r + -17. Put t, -3, 5 in descending order.
5, t, -3
Let z = -34 - -32. Let d = 5 + z. Suppose d = -2*k + k. Sort 3, 2, k.
k, 2, 3
Suppose -192 = 11*j - 71. Sort j, 1/5, 3, -2.
j, -2, 1/5, 3
Let y = -11.27 - -0.27. Let x = y - -16. Let t be ((-54)/(-9) - 8)*(-1)/10. Sort t, 4, x in descending order.
x, 4, t
Suppose 27*u = 22*u + 20. Suppose -7*c + 6 = -u*c. Let m be (2/4)/(1/2). Sort c, m, 0.
0, m, c
Let b = -52 - -113. Let d = -62 + b. Sort -10, -3, d in ascending order.
-10, -3, d
Let n = -19 - -19. Suppose n = -i - 7 + 8. Let s(w) = w**3 + w - 2. Let v be s(0). Sort -5, i, v in ascending order.
-5, v, i
Let h be ((-140)/(-8))/(-7)*(-1 - 1). Put -3, h, 39, 2 in descending order.
39, h, 2, -3
Suppose 312*c - 310*c = 0. Let d = 12 + -7. Sort -1, c, d in decreasing order.
d, c, -1
Let r = 0.0403 - -0.2597. Put -5, r, -6/11, 1/3 in ascending order.
-5, -6/11, r, 1/3
Let m = 49 + -50. Suppose 0 = 3*l + 4 + 11, -2*l = 4*b - 2. Suppose 2*z - 3*v + 4 = 0, 0 = -z - 4*v + v - 2. Sort b, z, m in decreasing order.
b, m, z
Let a(f) = -f**3 - 8*f**2 - 12*f - 23. Let n be a(-7). Let y = n - 12. Sort y, -1, 4 in descending order.
4, y, -1
Let c be 4 + (3 - 4) + 2. Let p = 8 + -5. Suppose -9 = p*j - 3*k, j = 5*j + 2*k - 6. Put c, j, 2 in descending order.
c, 2, j
Suppose 0 = m - 0*m + 5*u - 32, 0 = -4*m + 3*u + 36. Suppose 6*x - 12 = m. Sort -8, x, -5 in ascending order.
-8, -5, x
Suppose -4*w + 22 = -2*g, -4*g - 2*w - 6 = -12. Sort 1, g, 0, -2 in decreasing order.
1, 0, g, -2
Suppose 5*f = -9 - 16. Let n(g) = g. Let s(k) = 4*k + 8. Let z(i) = -3*n(i) + s(i). Let v be z(-6). Sort 5, f, v in increasing order.
f, v, 5
Let o = 1261 + -1261. Sort -5, o, -23 in descending order.
o, -5, -23
Suppose n + n = -4*k + 460, -3*n = 4*k - 464. Let z = 109 - k. Let c be ((-1)/1)/(2/(-4)). Put z, c, 0 in ascending order.
z, 0, c
Suppose 9*i + 4 = 6*i + 4*f, -5*f + 20 = 0. Suppose -u = -4 - 14. Let g be (-3)/(-8)*8/u. Put i, -0.5, g in descending order.
i, g, -0.5
Let y be (2/3 + -1)*(-59 - -44). Sort y, -1, 3 in descending order.
y, 3, -1
Suppose r - 6 = -3*t, -4*r - 12 = t + r. Suppose 7 + t = a. Suppose -3*j - a = -8*j. Put 1.4, j, 2/7 in ascending order.
2/7, 1.4, j
Let f be 14/6 + 4/6. Let i be 3 - f/(12/8). Let a be ((0 - 3) + -1)*1. Sort i, a, 3 in decreasing order.
3, i, a
Let x(c) = 4*c**2 - 3*c + 1. Let i be x(1). Suppose -4*q - 3 = -q - 3*t, 25 = 5*t. Sort i, 14, q.
i, q, 14
Suppose 2 = 2*o + 12. Let h = 0.641 - 0.631. Put h, o, 1/2 in increasing order.
o, h, 1/2
