
Let z be (-468)/(-9)*1/2. Let i be (2/(-6))/(z/78). Sort -5, i, 2, 4 in decreasing order.
4, 2, i, -5
Suppose 22 = 2*k - 6*k - 2*g, -8 = 5*k - 4*g. Put -9, 1/12, -0.5, k in increasing order.
-9, k, -0.5, 1/12
Let m(d) = -d + 25. Let s be m(20). Suppose 5*o + 2 - 7 = 0. Sort s, o, 2.
o, 2, s
Let n = -346 + 1040/3. Put n, -2, -7, -0.1 in descending order.
n, -0.1, -2, -7
Let q be (-2)/(-8) + (-55)/(-20). Let b = 2.0331 - 0.0331. Sort b, q, 0.3 in decreasing order.
q, b, 0.3
Let f(l) = -2 - 8*l**3 + 7*l**3 - 3*l - l**2 - 3*l**2. Let s be f(-4). Suppose s - 7 = -x. Put 2, 5, x in descending order.
5, 2, x
Let h = -4 + 4. Suppose 2*c = -h + 6. Let m = -72 + 67. Sort c, m, -2.
m, -2, c
Suppose 10 = 4*z - 6. Let c = 113 + -129. Let f = -16.5 - c. Put f, z, 1 in descending order.
z, 1, f
Let x = 25 + -50. Let c be (2/(-6))/(x/2400). Sort c, -3, 3 in descending order.
c, 3, -3
Suppose 8 + 13 = 3*x. Suppose -4 = x*h - 25. Put 1, 1.4, -0.5, h in ascending order.
-0.5, 1, 1.4, h
Let d(i) be the first derivative of -15/2*i**2 + 1/3*i**3 - 3 + 18*i. Let u be d(14). Sort 0.12, 3, u in descending order.
u, 3, 0.12
Let j be 4 + (118/(-30) - (-8)/(-20)). Suppose -3*f + g = 5, 3*g + 4 = 2*f + 19. Suppose m = 2*u + 13, -4*u - 2*m - 6 = -f. Sort 0.6, j, u in decreasing order.
0.6, j, u
Let c = -440/7 + 5706/91. Let a be (12/(-345))/(6/15). Sort -2/3, c, a in increasing order.
-2/3, c, a
Suppose 24*m + 269 = 21*m - 5*v, 2*m - 5*v = -171. Sort -5, 2, m, 4 in descending order.
4, 2, -5, m
Let y = -7 + 7. Suppose 11 = -5*m - r, 0 = -3*m - y*r - r - 7. Sort m, -4, -1 in decreasing order.
-1, m, -4
Let d(p) = -p**2 - 6*p - 7. Let t be d(-3). Suppose -q - 10 = f + q, -5*f - t*q = 34. Sort f, -4, 0.3 in descending order.
0.3, -4, f
Let b = -5.46 - -0.46. Sort b, -2/15, 1, 0 in decreasing order.
1, 0, -2/15, b
Let q be (-720)/1638 - (-8)/52. Sort -2/11, q, 24.
q, -2/11, 24
Let g(a) = a + 4. Let k be g(-4). Suppose -3*o - 10 = 5*s + 2*o, k = -4*s + o + 12. Suppose -2*v = -3*v. Put v, -3, s in increasing order.
-3, v, s
Let v = 11 - 7. Let g = 26 + -39. Let w = g + 12. Sort -4, v, w in decreasing order.
v, w, -4
Let y be (2 - 6) + 1*-1. Let j(l) = 2*l**3 - 26*l**2 - 26*l - 23. Let g be j(14). Sort g, y, -2 in decreasing order.
g, -2, y
Let c = 266 + -259. Let r = 4 - 14. Let a = -12 - r. Sort a, -4, c.
-4, a, c
Let f = 0 + 7. Let w = f - 4. Let c = 66 - 66.4. Put w, c, 2/5 in increasing order.
c, 2/5, w
Let w = 17.9 - 19. Let l = w + 0.7. Let j = -1 + -1. Put j, l, -4 in ascending order.
-4, j, l
Let v = -6.99 - -7. Let s = v + -0.31. Let j = -3 + -2. Sort j, s, 0.
j, s, 0
Suppose -24 = -k - 25. Sort 2, k, 115 in increasing order.
k, 2, 115
Let i = 701/478 - -8/239. Sort 0.4, -3/7, 0.13, i in ascending order.
-3/7, 0.13, 0.4, i
Let o = 287 - 287.5. Put -0.4, o, 0.03, -3 in ascending order.
-3, o, -0.4, 0.03
Suppose 5*x + 25 = -0*x - 2*k, 2*x - 2*k - 4 = 0. Put -4, x, -16 in increasing order.
-16, -4, x
Let b = 590 + -590.4. Sort -4, -3/5, b, 0.
-4, -3/5, b, 0
Let h(o) = 20 + 53 - 75 + 28 - 4*o. Let f be h(6). Let u(p) = 3*p**3 + p**2 - p + 1. Let q be u(1). Sort -2, f, q.
-2, f, q
Let o = -4.7879 + -0.2011. Let a = o - 0.011. Let b = -1/4 - 1/4. Sort 4/7, b, a in ascending order.
a, b, 4/7
Let n = -25 + 22. Sort 27, 4, n, 3 in increasing order.
n, 3, 4, 27
Let k(m) = m**3 + 7*m**2 + 12*m + 5. Let a(s) be the third derivative of -s**5/60 + s**4/12 - s**3/3 - 5*s**2. Let w be a(3). Let j be k(w). Sort 1, j, 0.
j, 0, 1
Suppose 0 = 7*m + 35 - 546. Put -5, m, -3 in ascending order.
-5, -3, m
Suppose -3*z - 12 = -a, 4*a - 3*z = -0*z + 30. Let k be (-10)/(-4)*a/5. Suppose -7 = -3*w - h, 6*w + 5 = k*w + 2*h. Sort 5, w, -3.
-3, w, 5
Let z be ((-8)/24)/((-1)/3). Sort -11, z, 1.4 in decreasing order.
1.4, z, -11
Let u(l) = l - 3. Suppose -2*x - 3 = -19. Let d be u(x). Put d, -1, -4 in ascending order.
-4, -1, d
Let z(a) = -a**2 + 6*a - 15. Let y be z(6). Sort y, -3, 0.
y, -3, 0
Suppose 15*w = 10*w. Suppose c + 3 - 18 = w. Let m = 17 - c. Put m, 0.1, 8 in decreasing order.
8, m, 0.1
Let a be 24/(-9)*(-3)/4. Let b be ((-6)/(-3) - a) + -2. Sort -1, b, 0 in ascending order.
b, -1, 0
Let z = 1433 + -1433.5. Suppose 3*f + 0 = -6. Put -0.1, z, -9, f in descending order.
-0.1, z, f, -9
Suppose 0 = -3*f + 3*w + 264, -w + 82 = f - 0*w. Let h be (-84)/(-10) + (-2)/5. Let d be 6/h + f/20. Sort d, -2, 4 in ascending order.
-2, 4, d
Let b be -18 - ((-9)/(-3) + -6). Suppose 0 = -t - 3*t - 52. Let k = b - t. Put -5, 5, k in descending order.
5, k, -5
Let h = 1.47 + -1.58. Let m = -0.07 + 0.87. Let l = 1 - m. Sort l, 0.3, h.
h, l, 0.3
Let f(a) = -40*a - 430. Let s be f(-11). Suppose 0*p = 5*p + 25. Suppose 0 = 2*u - 5*u. Sort u, p, s.
p, u, s
Suppose 2*s - 6 = 4*w, 10 = 5*w - 4*s + 16. Let p be (-4 - 2/(-2)) + 0. Put 4, p, w in increasing order.
p, w, 4
Let k(z) = 4*z - 2*z + 21 - 2*z + z. Let w be k(-14). Let f be -1 + -2 + w/2. Put 1/12, f, 1/11 in descending order.
f, 1/11, 1/12
Let s = 380 + -370. Sort s, 2, -3, -4 in decreasing order.
s, 2, -3, -4
Let s(f) = -f. Let k be s(-4). Let i be (1/3)/(((-3)/(-45))/1). Sort i, 1/6, k, 2 in decreasing order.
i, k, 2, 1/6
Let k = -43 + 51. Suppose 4*c - 8 - k = 0. Sort -2, 2, c in descending order.
c, 2, -2
Suppose 4*o = 3*z + 11, -2 = -2*o - 0*o - 2*z. Suppose -i = i + o*m - 4, -7 = 4*i + m. Sort i, 1, 6, 5 in ascending order.
i, 1, 5, 6
Let t = 8.2 - 12.2. Sort -2/13, t, 3, 9 in decreasing order.
9, 3, -2/13, t
Let a(n) = -3*n + 5. Let b be a(5). Let j = b + 8. Suppose -2 = o, -5*o + 2 = 2*v + 12. Sort v, -3, j in decreasing order.
v, j, -3
Let v be 2 + (480/57)/(-4). Sort 5, 1/4, 4, v in increasing order.
v, 1/4, 4, 5
Let w = 19.9772 + 0.0228. Sort 0.1, -1/7, 3/7, w.
-1/7, 0.1, 3/7, w
Let n be 5*(3 - 1 - 4). Let w = -2 - n. Let j be 18/(-12)*w/3. Sort j, 4, 0.
j, 0, 4
Suppose -6*c + 4 = -4*c. Let t = 0.02 - -11.98. Let r = -12.4 + t. Put 4, c, r in decreasing order.
4, c, r
Let n(v) = -v**3 + 9*v**2 - 9*v + 9. Let g be n(8). Let r be 40/160*(-1 + 21). Sort r, g, -6 in increasing order.
-6, g, r
Let d = -310 + 311. Put 5, d, 3, 2 in decreasing order.
5, 3, 2, d
Let t = 44.51 - 0.51. Let q = -39 + t. Put -1/6, q, 0.3 in descending order.
q, 0.3, -1/6
Let q = 18 + -10. Let s = 37 + -21. Let w = s + -20. Put 0, w, q in descending order.
q, 0, w
Let u = -299.7 + 300. Put u, 3, -1/3, 1/9 in decreasing order.
3, u, 1/9, -1/3
Suppose 3*c + 25 = -5*q, 0 = -2*c + 4*q - 11 + 31. Suppose c = -4*g - 2*g - 12. Put -4, g, 4 in descending order.
4, g, -4
Suppose -69 = -3*s + 9. Let u = -31 + s. Put u, -3, 4 in decreasing order.
4, -3, u
Let o be (-12)/8*(-3)/(-9). Put -1/6, 1/5, 2/9, o in decreasing order.
2/9, 1/5, -1/6, o
Suppose -4*s + 2*j + 22 = 0, 0 = -4*s + j - 3*j + 2. Let d be s - (3 + (-4)/(-4)). Let c = 13 + -9. Sort 3, d, c.
d, 3, c
Let o = -579 + 576. Sort o, -5, -22.
-22, -5, o
Suppose 24*s = -3*s. Sort -3, 99, -1, s in decreasing order.
99, s, -1, -3
Let i = -8 - -3. Let w = -0.2693 + 0.1693. Put i, w, 0.1 in increasing order.
i, w, 0.1
Let p = -194 + 193. Sort 0, p, -2, 5.
-2, p, 0, 5
Suppose 2*z = -2*o, -o + 2 = 5*z + 10. Let i be 7/((-14)/4) + 3. Sort -7, z, i.
-7, z, i
Suppose 22 = i + 10. Let x be (27/i + 0)*(-3)/(-9). Sort x, 0.4, -3 in descending order.
x, 0.4, -3
Let s(p) = p**3 + p**2 - 4. Let z be s(0). Let c be (60/5 - 1)*1. Suppose 18 = 14*i - c*i. Sort z, 5, i in ascending order.
z, 5, i
Let w(j) = -j**3 + 13*j**2 - 23*j + 12. Let t be w(11). Suppose -4*m + 30 = 2*k, -m = -2*k - 0 + 20. Put k, t, -4 in increasing order.
-4, t, k
Let y = 2755/16 - 172. Put -7, -4, y in decreasing order.
y, -4, -7
Let o = -131 - -131.3. Put o, -1, -8, 5 in descending order.
5, o, -1, -8
Let i be (1 - 1)/(6 + -4). Suppose 6*n - 7*n - 2 = i. Suppose 0*u = -5*u + 5. Sort u, -4, n in descending order.
u, n, -4
Let l be 627/(-228) + 1*4/(-8)*-6. Let k = 4 - 3. Let t = -0.1 - -0.1. Put k, t, l in descending order.
k, l, t
Let z = -28.5 + 31.5. Sort z, 5, -3/4, -3 in increasing order.
-3, -3/4, z, 5
Let x be 1/((-33)/(-12) + -3). Let a be 4*3/6*(-3 - x). Sort -3, -5, 5, a in decreasing order.
5, a, -3, -5
Let s be 0 - (0 - -1 - -1). Let f be ((-6)/(-2) - 1)*-2. Sort 0, f, 4, s in descending order.
4, 0, s, f
Let j = 962 - 960. Put -4, -5, 0, j in increasing order.