c, k
Suppose 4*u + 6 = r, 5*r + 5*u + 12 - 42 = 0. Suppose 5*v - 9*v = 0. Suppose v = 3*g + 9 + r. Sort 3, g, 2.
g, 2, 3
Let o = 0.93 + 0.07. Let a = o + -4. Let z = 0.1 + 0.9. Sort z, 0.2, a in decreasing order.
z, 0.2, a
Let m = -8/7 + 33/35. Let w = 454/3 - 151. Sort w, -6/5, m in ascending order.
-6/5, m, w
Suppose -5 = -4*m + 3. Suppose 0*y - 3*y - 27 = 0. Let p be (6/(-9))/(m/y). Sort 2, p, -3 in ascending order.
-3, 2, p
Let c be 1 + 1/(-3 + 2). Suppose 1 = -2*h - 7. Sort 4, c, h in decreasing order.
4, c, h
Let d = 0.4 - 0.4. Let a = 417/5 + -83. Put a, 2, d in descending order.
2, a, d
Let v = 12 - 8. Let i(u) be the first derivative of -u**4 - u**3/3 - 2. Let r be i(1). Sort v, r, -3 in increasing order.
r, -3, v
Let t = -17 + 10. Let s = t + 2. Let d be (-3)/18*(-1 + 5). Sort d, -4/9, s.
s, d, -4/9
Let x = 402/5 + -399/5. Let n = 3 + 0. Sort x, 3/8, n.
3/8, x, n
Let y(x) = -x**3 + 3*x**2 + 6*x - 6. Let f = 7 - 6. Let j be (5 - 1) + 0/f. Let h be y(j). Sort h, -0.2, -1/2 in descending order.
h, -0.2, -1/2
Let t be 11 + -17 + (4 - 3). Suppose -3 = -s + 1. Put s, t, 7 in increasing order.
t, s, 7
Let h = 141 - 143. Sort 119, -0.3, h in descending order.
119, -0.3, h
Let p = -26 + 496/19. Let x = 6 - 8. Let u = -0.039 + 4.039. Sort p, u, x in descending order.
u, p, x
Suppose -3*d + 83 = -1. Let y be d*(-4)/(240/63). Let z = -59/2 - y. Sort z, 4, -2/17.
-2/17, z, 4
Let y = -1.5 + -1.5. Put 0.4, -3/13, y in decreasing order.
0.4, -3/13, y
Let l = 8 - 13. Sort 4, -4, l in increasing order.
l, -4, 4
Let x = -2 + 5. Let r(a) = a**3 - 2*a**2 - 4*a + 1. Let z be r(3). Let s be 4/(2/4*z). Sort s, 0, x in descending order.
x, 0, s
Suppose -7*x + 68 = 10*x. Put -3, x, -2, 5 in increasing order.
-3, -2, x, 5
Let s = 0.9 - 3.8. Let j = s + 3. Let y = 0.05 + -0.45. Sort y, 4, j in descending order.
4, j, y
Let m be 2*(5/(-2) + 1). Let r = -123 + 119. Sort m, r, 1 in increasing order.
r, m, 1
Let a = 0.1 + -3.1. Let m = -0.12 - 0.28. Sort 0.2, m, a in decreasing order.
0.2, m, a
Let k be (-1)/21*162/(-27). Put -0.1, 2/15, k in ascending order.
-0.1, 2/15, k
Let f = 5 + -2. Sort 8, f, 5 in ascending order.
f, 5, 8
Let n = 13 + -17. Let g be n + 2 + (-3)/(-2). Sort g, 1, 3.
g, 1, 3
Let f(y) = y**2 + 3*y - 1. Let r be f(-3). Let d = -6 - -11. Suppose -15*a = -14*a - 3. Put d, r, a in increasing order.
r, a, d
Let w = -0.96 - -4.96. Put w, 2/3, 18 in descending order.
18, w, 2/3
Let s = 0.04 - 0.07. Let p = 0.27 - s. Let t = -6 - -1. Put t, p, 2 in ascending order.
t, p, 2
Let v = -0.14 + 0.03. Let q = 4.89 - v. Let p = 2 - q. Sort p, 4, -5 in decreasing order.
4, p, -5
Let x = -0.039 + 0.439. Put -0.2, 4, -3, x in decreasing order.
4, x, -0.2, -3
Let v = 1 - 4. Let r be (1 + 2/(-4))/(17/(-34)). Let p be 0 - (0 - 1)/1. Put v, r, p in decreasing order.
p, r, v
Let u = -3/13 - -28/65. Let k = 0.08 - 3.08. Let p = -2.9 - k. Sort p, u, -3/2 in descending order.
u, p, -3/2
Let f = 20 + -3. Suppose 3*y + k = 28, -5*y = -5*k - 3 - f. Let g be (-6)/(-10)*(-10)/y. Put 4, g, 1 in ascending order.
g, 1, 4
Suppose -4*w = l - 3*l + 14, 3*w = -l - 23. Let z = 8 + w. Sort z, 3, 4 in descending order.
4, 3, z
Suppose q = -2 + 5, -2*q = z - 8. Let o be (-2)/((-16)/(-12))*2. Put z, 3, o in decreasing order.
3, z, o
Let o = 0.23 - -0.27. Sort 0.3, o, -0.2.
-0.2, 0.3, o
Let u = -101 - -100. Sort 4, u, 3, 5 in increasing order.
u, 3, 4, 5
Let l(a) = a**3 + a**2 - 2*a - 2. Let f be l(-2). Let c(v) = -v**2 + 10*v - 12. Let o be c(8). Suppose o*s + 2 = -14. Sort -5, f, s.
-5, s, f
Let g = 148.9 - 149. Put 2, -0.2, g, 2/11 in increasing order.
-0.2, g, 2/11, 2
Let b be (1*2)/((-6)/(-12)). Suppose b*j = k - 4, -4*j - 3*k - 5 = j. Put -2, 5, j in decreasing order.
5, j, -2
Let h = 92 + -121. Sort 2, h, -1 in descending order.
2, -1, h
Let k = 1375 - 75604/55. Let t = k - 2/11. Let y be -4 - (-1 + 2)/1. Sort -0.4, y, t.
y, -0.4, t
Let t(f) = f**3 - 3*f**2 - 5*f - 1. Let i = 2 - -2. Let c be t(i). Sort c, 1, 0 in ascending order.
c, 0, 1
Let p be -1*1 + 1 - -5. Suppose 3*q + x + 45 = 0, -q = -x + 6*x + 15. Let f = q - -16. Put p, f, -1 in increasing order.
-1, f, p
Let p be (9 - 10)/((-2)/(-4)). Let y = 0 + 0. Suppose -2*d - d + 3 = y. Put d, p, -5 in increasing order.
-5, p, d
Let s(p) be the third derivative of p**6/120 + p**5/15 + p**4/12 + p**3/6 - 3*p**2. Let j be s(-3). Suppose -2*a - 4 = -j*a. Sort -5, -1, a in increasing order.
-5, -1, a
Let p be 8/(-20) + 0 + 132/105. Sort 1, -5, p, -2/11 in decreasing order.
1, p, -2/11, -5
Let o be (-2)/(-10)*12/3. Let c = -1.3 + -3.7. Let l = c - -1. Put 0.2, o, l in decreasing order.
o, 0.2, l
Let r = -14 - -18. Suppose -5*n + 4*o = 4, -28 - 8 = r*n + 5*o. Sort 4, -2, n.
n, -2, 4
Let f be 0*(1 + 1/(-2)). Let p = 18 - 17. Put p, f, -5 in decreasing order.
p, f, -5
Suppose 0 = z - 3*z + 10. Let o = z - 3. Suppose 2*c - 4*c - 6 = 0. Put o, -5, c in descending order.
o, c, -5
Suppose 2*u = -0*u + 40. Let h = 79/4 - u. Let c = -0.5 - -0.3. Put -0.4, c, h in decreasing order.
c, h, -0.4
Let z = -2 + -2. Put -1, z, -0.3 in decreasing order.
-0.3, -1, z
Let j be -2*(-1 - -4)/(-6) + -1. Put 4, -10, j in ascending order.
-10, j, 4
Let v be (-18)/(-14) - 4/14. Let n be (0/v - -2)*-2. Let h = 12 - 11.8. Put -5, n, h in decreasing order.
h, n, -5
Let s = 32 - 13. Let d = s - 19. Put -3, 0.4, d in decreasing order.
0.4, d, -3
Suppose -4*w = -a, w + 3*a = 6*a. Let k = w - -2. Put k, -1, -3 in descending order.
k, -1, -3
Let s be 56/26 + (-4 - -2). Suppose -5*o = -33 - 27. Suppose -6 = -5*y - 5*t + 4, -o = -y - 3*t. Sort 1/3, y, s in increasing order.
y, s, 1/3
Let a = -14 - -13.9. Sort 5/4, a, 0.1 in decreasing order.
5/4, 0.1, a
Let a = 6.6 - 21.6. Sort 0, -0.1, 1, a in decreasing order.
1, 0, -0.1, a
Let k be (9/(-6))/(1/(-2)). Suppose 4*f = k*f - 4. Put 5, f, 8 in descending order.
8, 5, f
Let x(s) = -4*s + 8. Let y(a) = -2*a + 4. Let d(c) = -6*x(c) + 13*y(c). Let z be d(4). Let j = -1 - 4. Sort z, 3, j in ascending order.
j, z, 3
Let h = -12.5 + 12. Let s = -6.9 + 7. Sort -0.1, s, h in ascending order.
h, -0.1, s
Let d(u) = u + 3. Let y = 4 - 11. Let f be d(y). Sort 3, 2, f in decreasing order.
3, 2, f
Let u = 0.09 + -0.08. Let x = 4.59 - 4.3. Let j = x + u. Sort -0.2, j, -4 in increasing order.
-4, -0.2, j
Let z be ((-2)/10)/(210/(-100)). Suppose 5*n - 4 = -19. Sort 5, z, n in decreasing order.
5, z, n
Suppose 15*g - 20*g = -25. Let z = 12 + -8. Sort z, g, 1 in descending order.
g, z, 1
Suppose 3*f - 18 = 3*m, -3*f - 3*m = -4*m - 12. Suppose -2*z = -b - 1, f*z - 2*b - 3*b + 9 = 0. Let k = 799 - 801. Sort z, k, -3.
-3, k, z
Let g = -27 + 41. Let j = -85/6 + g. Let c = -0.7 - 0.3. Sort 0, j, c.
c, j, 0
Let c = 4.3 - 4. Let v = 9.14 + -0.14. Let x = -8 + v. Sort -1/3, x, c in descending order.
x, c, -1/3
Let a = 7 + -3. Let x be (-2)/a*3*2. Let y = 0 - 5. Put x, y, -1/2 in increasing order.
y, x, -1/2
Suppose -5*v + 27 - 7 = 0. Suppose 5*h = -5*o, 5*o - 4*o - 25 = v*h. Let n = 30 + -32. Put 4, n, h in increasing order.
h, n, 4
Let h(c) be the first derivative of -c**3/3 + 9*c**2/2 + c + 7. Let s be h(9). Sort 2, 4, s in increasing order.
s, 2, 4
Let g = 17 + -14. Put -5, g, 2 in decreasing order.
g, 2, -5
Let l = 10 + -24. Let u = l - -11. Put 5, u, -2/3 in decreasing order.
5, -2/3, u
Let t(z) = -5*z + z**2 - 2*z**2 + 1 + 2*z**2. Let y be t(4). Let r be (-3 + y)*4/(-6). Put -3, -5, r in ascending order.
-5, -3, r
Suppose -2*b - 23 = t + 2*t, 0 = -3*b + 2*t - 15. Let w be (21/(-6))/b*-5. Sort w, -0.2, -2/13 in descending order.
-2/13, -0.2, w
Let x be (-4)/(-6) - 7/(-3). Suppose -6*i + 2*i = -28. Put -3, x, i in decreasing order.
i, x, -3
Let z be (15/(-20))/(-1*3/(-12)). Put -4, z, 2, 3 in decreasing order.
3, 2, z, -4
Suppose 0 = -7*o + 2*o. Let c(y) = y**3 + 2*y**2 - 2*y - 1. Let x be c(-2). Suppose x = -2*m - 3. Sort m, 1, o in descending order.
1, o, m
Suppose 3*h - 10 = h. Suppose -g + 14 = 4*a, 5*g - a - 22 = -h*a. Sort g, 4, -4 in decreasing order.
4, g, -4
Suppose 39 + 11 = -5*u - y, -2*u + y - 20 = 0. Put u, -1/5, -1 in decreasing order.
-1/5, -1, u
Suppose 2*k + i = -45, -2*i + 0*i - 65 = 3*k. Sort k, 3, -3.
k, -3, 3
Let i(s) = -6*s - 33. Let t be i(-6). Let h = -15 - -10. Sort 4, h, t in decreasing order.
4, t, h
Let c(k) = -k**2 +