se -3*c - 17 = 1231. Sort -0.3, -5, c in ascending order.
c, -5, -0.3
Let x = -76 + 135. Let q = -61 + x. Let d be (0/(1 - 2))/(-2). Sort q, 2, d in decreasing order.
2, d, q
Let j be 6/8 + (-2380)/(-560). Let w = 61/115 + -3/23. Sort 0, w, 2, j.
0, w, 2, j
Let m(l) = 15*l**2 - 721*l + 51. Let k be m(48). Let i = 1.3 + -7.3. Put k, 0.5, -1, i in descending order.
k, 0.5, -1, i
Let j = 0.1571 - 0.0571. Put 14, -0.4, j, -1/10 in descending order.
14, j, -1/10, -0.4
Let j = 3 - 4. Let i = -492 - -491.9. Sort 0.2, 0.3, i, j in descending order.
0.3, 0.2, i, j
Let c = -48318 - -47489.24. Let j = c + 815. Let d = j - 0.24. Put d, 0.1, -2/5 in decreasing order.
0.1, -2/5, d
Let v = -0.098 + 0.038. Sort v, 1, -4/3, 0.2 in ascending order.
-4/3, v, 0.2, 1
Let t(w) = -w**2 + 16*w - 8. Let k be t(22). Let j = k + 143. Put -1, -4, 5, j in decreasing order.
5, j, -1, -4
Let n = 1.7 - 1.6. Let k be (-6)/4*24/(-144). Let h = 0 - 0.2. Sort n, k, h in decreasing order.
k, n, h
Let f be (-18 + 30)*2/8. Sort 4, 2, f, 5 in ascending order.
2, f, 4, 5
Let v be (-4)/6 - 7/(-15). Let c = 7 - -35. Let u = c + -44. Sort -1/7, v, u in decreasing order.
-1/7, v, u
Let b(y) = 10*y**3 - 19*y**2 + 1. Let w be b(2). Sort w, 113, 3 in descending order.
113, w, 3
Let r be 96*(-4)/16*3. Put -2, 1, r in decreasing order.
1, -2, r
Let l(n) = 4*n**3 - 14*n**2 + 4*n - 8. Let b(i) = -5*i**3 + 15*i**2 - 5*i + 7. Let s(w) = -3*b(w) - 4*l(w). Let h be s(11). Put 2, h, 5 in ascending order.
h, 2, 5
Let k = 6 + -5. Let l be -22 - -5 - (k - 0). Let d be (-4)/3*(-3)/l. Sort 2, -0.2, d.
d, -0.2, 2
Let y = -502 - -666. Sort -0.5, -0.3, y in ascending order.
-0.5, -0.3, y
Let r be (-6)/(-15)*5 + 5 + 87. Let m = -98 + r. Put -8, m, 3 in descending order.
3, m, -8
Let c = 243 - 248. Sort -0.5, 31, -1/6, c in decreasing order.
31, -1/6, -0.5, c
Suppose 0*g - 4*g + 16 = -4*a, -3*a + g - 4 = 0. Suppose -3*o - o = 5*l + 15, a = 5*o + l + 3. Put o, 32, -3 in descending order.
32, o, -3
Let t = 16 + -81/5. Let l = -12.1 + -1.9. Let v = l + 9. Put t, -0.1, v in ascending order.
v, t, -0.1
Let m = 23 - 21. Suppose 0 = -2*f - m*u, 0 = -f - 0*f + 2*u + 9. Sort 10, 1, f in descending order.
10, f, 1
Let j = 10 + -7. Let v be 13 - (j + 0 + -2). Let h be ((-6)/(-18))/(1/v). Put h, 5, -5 in descending order.
5, h, -5
Let z = 9 + 8. Suppose 27 - z = 2*h. Sort 4, 1, -3, h in descending order.
h, 4, 1, -3
Suppose 0 = 4*m + 52 + 36. Let h be (615/m)/((-1)/4). Let f = h + -112. Sort -1/5, f, 1 in ascending order.
-1/5, f, 1
Let w = -188 - -189. Let l = 6 + -7. Sort 4, l, w, -3.
-3, l, w, 4
Suppose 15 = 2*z + 9. Sort -11, z, -4 in descending order.
z, -4, -11
Suppose 0 = -6*i + i - 15. Suppose -23 = -78*u + 75*u + 2*z, 4*u - 36 = 4*z. Sort 1, u, i.
i, 1, u
Let o(c) = -4*c + 117. Let m be o(30). Sort 16, m, -4 in ascending order.
-4, m, 16
Let k be 0 + (-3 + 0 - 3). Let s be 13/5 + k/10. Suppose 8 = s*v + 10. Sort v, 6, 1 in decreasing order.
6, 1, v
Suppose 10 + 6 = 4*c. Let b = -5 + 4.2. Let t = 0.6 + b. Sort t, 1, c in descending order.
c, 1, t
Let a(x) be the second derivative of -5*x**4/12 + x**2/2 + 11*x. Let g be a(1). Sort 5, g, -3, 4 in descending order.
5, 4, -3, g
Let y be (-2 - -5) + (2 - (4 + -2)). Sort y, -1, -5, -3 in descending order.
y, -1, -3, -5
Let d = -21 - -24. Suppose -d*l = -13*l - 40. Suppose -12 = 2*i + 14. Sort 1, l, i in decreasing order.
1, l, i
Suppose 11*h = -h + 96. Suppose 0 = -c + h*t - 3*t - 18, 0 = 4*c + 5*t - 3. Put 5, c, -1, 0 in descending order.
5, 0, -1, c
Let f be (-66)/(-12) + 2/4. Let g = f - 4. Let h = 4/19 - 50/57. Sort h, g, 0.3 in decreasing order.
g, 0.3, h
Let h be 2 + -2 + (-4)/18. Let t be (-4)/12*3/4. Let q = 90 + -87. Sort t, h, q in decreasing order.
q, h, t
Suppose 3*k - 2*q + 0*q = 20, 4*k = 3*q + 28. Let a be (68/12 - k) + -3. Sort -0.3, a, -4, -0.4 in decreasing order.
-0.3, -0.4, a, -4
Let j = -216.8 - -217. Sort 2, -0.3, -9, j.
-9, -0.3, j, 2
Suppose 5*m + 20 = 4*y, 2*y = -3*m + 4*m + 10. Suppose 5*s + 17 - 62 = 0. Sort s, -0.5, 4, m in ascending order.
-0.5, m, 4, s
Let g = 175/11 - 1203/77. Suppose 5*t + 10 = r + 2*r, -4*t - 8 = -4*r. Let y = 0 - r. Sort g, y, -6/11 in descending order.
g, y, -6/11
Let x be ((-71)/77 + 1)/(10/140). Sort -4, 6, x.
-4, x, 6
Let p = 13.8 - 14.8. Sort -0.2, -2/5, p, -4 in descending order.
-0.2, -2/5, p, -4
Let q = 16 + -13. Let y = -5 - -6. Sort -4/9, 0.4, y, q.
-4/9, 0.4, y, q
Suppose -2*k = 0, 0 = -2*h + k + 2*k + 6. Suppose -h*p + 12 = -0*v + 3*v, 0 = -5*p - 10. Let j = -7 + v. Sort 2, j, -6 in decreasing order.
2, j, -6
Let a(y) = 39*y - 7. Let z be a(0). Sort z, -5, 0 in descending order.
0, -5, z
Let r = -922 + 929. Sort 0.01, 0.4, r.
0.01, 0.4, r
Let s = 73 - 74. Sort 0.02, -3, s in increasing order.
-3, s, 0.02
Let a be 19 + 12/(-14)*-14. Put -1, a, 1 in descending order.
a, 1, -1
Let y be (655/524)/(1/(-4)). Put 23, y, 7 in descending order.
23, 7, y
Suppose 3*q = 5*r - 315, -52 = -4*r + 2*q + 202. Sort r, 5, -2.
-2, 5, r
Let a be 4/6 + 17/(-3). Put a, -10, 1 in descending order.
1, a, -10
Let n = 1423 + -1424.7. Put -0.4, -1/8, n in descending order.
-1/8, -0.4, n
Let p be (-350)/875*(-5)/4. Put 0.7, p, -0.05 in descending order.
0.7, p, -0.05
Suppose 0 = -13*d + 14*d - 3. Put 0, -2, d in decreasing order.
d, 0, -2
Suppose -3*a - 255 = 5*q + 2*a, 7*q + 3*a = -373. Sort 5, 4, 3, q in increasing order.
q, 3, 4, 5
Let l(q) = -4*q**3 - 21 - 6*q + 16 + 5*q**3 + 4*q**2 + q**2. Let i be l(-6). Put i, -3, 3 in decreasing order.
3, -3, i
Let b = 291 + -289. Put -1/7, b, -2, 1.1 in decreasing order.
b, 1.1, -1/7, -2
Let m(h) = h**2 - 7*h + 11. Let i be m(6). Suppose -i*p = -7*p + 6. Put p, 1/7, 3/8 in descending order.
p, 3/8, 1/7
Suppose 3*y - 2*y = -3*y. Sort -23, y, -1, 2 in decreasing order.
2, y, -1, -23
Let t be 4/5*(-25)/(-10). Suppose -t*l + y = 15, -2*l - 24 = -2*y + 4*y. Sort l, -2/15, 0.1.
l, -2/15, 0.1
Let j = -367/889 - 2/127. Put -3, -3/2, j, -13 in descending order.
j, -3/2, -3, -13
Let z = 15.5 - -3.5. Let o = -16 + z. Let p = o + 1. Sort 2/3, 0.5, p in increasing order.
0.5, 2/3, p
Let g = -402.1 - -404. Sort 3, -0.1, g.
-0.1, g, 3
Let q = -2 + 7. Suppose q*a + 12 = 2. Let d(c) = -c**3 + 4*c**2 - 9*c + 123. Let r be d(6). Sort 5, r, a in ascending order.
r, a, 5
Let h(b) = 5*b**2 - b + 2. Suppose 0 = -5*z - 14 + 19. Let p be h(z). Sort 3, -2, -1, p in ascending order.
-2, -1, 3, p
Let f = 0.1 - 0.1. Let j = -0.24 - 0.76. Let g = f - j. Put 2/9, g, -4 in increasing order.
-4, 2/9, g
Suppose 2*x = -0*x - 4*k - 16, -x - k = 5. Sort 5, x, 3, 11.
x, 3, 5, 11
Suppose -11*m + 12*m = 1, -m = -4*o + 19. Sort -5, o, -1 in increasing order.
-5, -1, o
Let l be 63/(-2)*(-18)/(-27). Let o be (23 + l)*(-1)/2*5. Sort 5, 0, o, 0.4 in increasing order.
o, 0, 0.4, 5
Suppose 4*z + 14 = b - 2*b, -2 = b + z. Let x be (0 - b/5)/((-9)/(-15)). Put x, -0.5, 0.3, 2 in ascending order.
x, -0.5, 0.3, 2
Let m = 1190 - 1199. Sort 0.2, -2, -1/6, m in decreasing order.
0.2, -1/6, -2, m
Let v = 348 - 348.01. Put -1, 1/3, v, -0.5 in decreasing order.
1/3, v, -0.5, -1
Let b = -10 - -14. Suppose p + 2*p + 45 = -3*q, 0 = -4*p - 5*q - 59. Let u be -20*((-44)/p + -3). Put u, b, 7 in decreasing order.
7, u, b
Suppose -a + 4*q = -5*a - 16, -5*q - 20 = -4*a. Suppose -p = 2*p - 6. Suppose 16 = -p*y + 6. Sort a, 4, y in decreasing order.
4, a, y
Let w = -149 - -150. Sort 0.42, -0.2, w in descending order.
w, 0.42, -0.2
Let l(i) = -i**2 - 2*i - 9 - 7*i - i. Let d be l(-7). Suppose 0 + d = -5*c - 3*t, c - t - 4 = 0. Sort c, 5, -5 in descending order.
5, c, -5
Let k(f) = f**3 + 45*f**2 + 128*f + 42. Let n be k(-42). Sort -4, n, 4 in descending order.
4, -4, n
Suppose 5 = 11*c - 13 - 15. Suppose 0 = -u + 6*u - 10. Sort c, -4, -3, u.
-4, -3, u, c
Let z = 691 - 691. Sort z, 2/9, -7/3 in decreasing order.
2/9, z, -7/3
Let h = 0.68 + -0.38. Suppose 135*f - 138*f + 6 = 0. Sort 1/2, f, h, 4/7 in descending order.
f, 4/7, 1/2, h
Let u be (-15)/((-15)/4)*(0 - -1). Suppose 3*o = -4*k - 5, -u = -5*k + o - 34. Put k, -2, 4 in decreasing order.
4, -2, k
Let b = -20 + 21. Suppose -5*t = 2*o + 2 + b, -5*t + 1 = o. Suppose 5*c = -8 - 2. Sort c, -1, o in ascending order.
o, c, -1
Let o be 38/10 + (-12)/(-60). Suppose -o*a + 12 = 0, 9 + 448 = -4*f + 3*a. Let x = -5