(1 - (-8)/b). Put x, -0.3, -0.4 in ascending order.
-0.4, -0.3, x
Let w = 9 - 4. Let d(k) = -2*k - 7. Let q be d(-2). Let h be ((-1)/q)/(16/(-48)). Put -0.2, w, h in increasing order.
h, -0.2, w
Let f be (8/10)/(128/160). Let x = -12 - -7. Put f, 3, x in ascending order.
x, f, 3
Let h be 1*(-2)/4*0 + 13. Suppose 4*m = -5*j - h - 2, -j - 3*m = 14. Sort -3, -5, j, -4 in descending order.
j, -3, -4, -5
Suppose 3*g + 5 - 1 = 4*b, b - 4*g = -12. Suppose 4*m = 3*m + 2*m. Sort m, 5, b in ascending order.
m, b, 5
Suppose -s + 2*m + 24 = 0, -4*m + 6 = 3*s - 86. Suppose -90 = -2*g + 5*g. Let d = g + s. Sort d, 3, -3 in decreasing order.
3, d, -3
Suppose 0*o - 21 = -7*o. Let h(y) = -y**3 - 2*y. Let r be h(0). Sort o, 4, r in increasing order.
r, o, 4
Let j = -96 - -96. Sort 0.5, 0.4, -6, j in decreasing order.
0.5, 0.4, j, -6
Let n be (-12)/(-42) + 3530/(-6867). Let k = -1227229/327 + 3753. Let p = n + k. Put -0.3, p, 5 in ascending order.
-0.3, p, 5
Let u be (7/273)/((-2)/(-12)). Suppose 5*j - 21 = 2*g, -14 = -5*j + 11. Let f be (3/42)/((-1)/g). Sort -0.5, u, f.
-0.5, f, u
Let q = -103/4 + 26. Let g = -482 + 487. Let j = 0.4 - -0.1. Sort q, j, g.
q, j, g
Let c = -592 + 602. Sort c, -1.8, 3.
-1.8, 3, c
Let j = -797.99 + 798. Sort j, -40, -5 in descending order.
j, -5, -40
Suppose 2*l + 0*l = 3*c - 21, -5*l - c - 10 = 0. Let z = -109 + 112. Sort z, l, -4, 0.3 in increasing order.
-4, l, 0.3, z
Suppose -8 = 12*l + 40. Put -4/3, 4, l in descending order.
4, -4/3, l
Suppose 2*l - 2*z - 2 = 0, -39*l + 44*l - 4*z - 8 = 0. Sort -4, 7, l, 9 in descending order.
9, 7, l, -4
Let j = -2390 - -2388. Let w(d) = -d**3 - 6*d**2 + d + 5. Let t be 6/15 + (-32)/5. Let q be w(t). Sort q, 3, j in ascending order.
j, q, 3
Let u(s) be the first derivative of s**4/4 + s**3/3 + 6*s - 4. Let i be u(0). Suppose -2 - 1 = -t + 4*a, t = a + i. Put 5, t, -3 in decreasing order.
t, 5, -3
Let g be 2 + 3 + (1 - 2). Suppose -4*k - r + 10 = 0, 3*k = -6*r + g*r + 5. Let a be (-27)/(-33) - 3/k. Put a, 2/7, 3 in increasing order.
a, 2/7, 3
Let x = -56 + 122. Sort -1, x, 5 in ascending order.
-1, 5, x
Let o be (-46)/(-14) + (1 - 4). Let c = -7.39 - -2.39. Sort o, -1.6, c in increasing order.
c, -1.6, o
Suppose -3*h - 2 = -14. Suppose 0 = -2*s + 6*s + 76. Sort h, s, 3.
s, 3, h
Let g = -1416 + 1414. Suppose 2*r - 4 = -0. Suppose 0 = -2*q + r*c - 10, 2*q = 5*c - 15 - 7. Put g, q, -6 in increasing order.
-6, g, q
Suppose 0 = 3*k - 0*k. Let t be ((1 - 4) + -3)/(-1) + -5. Put 5, t, k in decreasing order.
5, t, k
Let p be (-6)/(5 + 43/(-8)). Sort 1/4, p, -3/4, -4 in increasing order.
-4, -3/4, 1/4, p
Suppose u - 2*k + 10 = 24, -5*u = -5*k - 75. Let r = -49/3 + u. Let m be ((-4)/(-3))/((-2)/(-3)). Sort m, r, 0.5 in decreasing order.
m, 0.5, r
Let w = -25.46 + -0.54. Let a = w + 26.3. Sort a, 0, 2/7, -0.1.
-0.1, 0, 2/7, a
Suppose 0 = 15*r - 22 - 248. Put r, 7, -3 in ascending order.
-3, 7, r
Let a = 8/7 + -73/70. Suppose 322 = -68*q + 594. Sort q, a, 5, -5.
-5, a, q, 5
Let o be 3/120*(-40)/30. Put 3, -1, o in decreasing order.
3, o, -1
Suppose -5*s = y - 20, 0 = -3*y - s + 3 + 1. Suppose -9*w - 41 = 13. Put 3, w, -2, y in decreasing order.
3, y, -2, w
Let u = 30 - 34. Let q = 2 - 0. Suppose 2*w = 4*w + 2. Put q, w, u in descending order.
q, w, u
Suppose -2*s + t = -5, t = -0 - 1. Sort -3/8, s, 0.03, 2/3.
-3/8, 0.03, 2/3, s
Let j = 15 - 11. Let f be -1*(3*-2 + 4). Suppose 0 = 3*d - r - f, -d = -3*r + 10. Sort j, -1/3, d in increasing order.
-1/3, d, j
Let a = -39.3 + 43.47. Let l = a - 0.17. Sort 0.4, l, 0.02 in descending order.
l, 0.4, 0.02
Suppose 0*t - 3*t - 12 = 0, 0 = 5*r + 3*t - 3. Let l = -0.19 + 5.19. Sort l, r, -1 in decreasing order.
l, r, -1
Suppose u - 6*u = -10. Let g(w) = -2*w**2 + 16*w + 14. Let q be g(9). Sort u, 1, -1, q.
q, -1, 1, u
Let q(t) = t**3 + 17*t**2 + 42*t - 5. Let p be q(-14). Sort p, 0, 10 in ascending order.
p, 0, 10
Let a = 0.019 - -35.981. Let x = -36.1 + a. Put 0.3, 2/13, x in increasing order.
x, 2/13, 0.3
Suppose l = 2*s - 4, -2*s + 2 = l + 6. Suppose -228 = -3*g - s*g. Let n be -3*1 - g/19. Put n, 4, -1 in increasing order.
n, -1, 4
Let q = 1.22 - 12.22. Let o be ((-2)/(-16))/((-2)/(-4)). Put o, q, 0 in decreasing order.
o, 0, q
Suppose -2*d - 7 = -t, -13*d + 14*d - 4 = -t. Put -5, -3, 57, t in decreasing order.
57, t, -3, -5
Let k = -939 - -944. Sort 1, 3/2, k, -7.
-7, 1, 3/2, k
Let k = -5 + 7. Let r = -46 + 63. Let o = -16 + r. Put o, k, -4 in decreasing order.
k, o, -4
Let l = -3.9641 - 0.0359. Put 1/8, -18, l in increasing order.
-18, l, 1/8
Let u be (-448)/(-252) + 4/18. Put 1, u, -1, -5 in increasing order.
-5, -1, 1, u
Suppose 4*r + r + 36 = -2*z, 4*z - 12 = 4*r. Sort 2, -2, r in ascending order.
r, -2, 2
Let w = -36 + 25. Let k = w - -5. Sort -3/5, k, 5 in decreasing order.
5, -3/5, k
Let v = 1225 - 1229. Sort v, 4, -3 in ascending order.
v, -3, 4
Let r = 236 + -3070/13. Put 4, 0.6, -1, r in decreasing order.
4, 0.6, r, -1
Let r = -1/18 - 4/9. Let c = -0.07 + -0.23. Let b be 5/15*(20 - 17). Sort r, c, b in decreasing order.
b, c, r
Let m(u) = -4*u**2 - 35*u + 9. Let t be m(-9). Sort -1, t, -13 in decreasing order.
t, -1, -13
Let m = -43 - -33. Let x = -4 - m. Put -3, 0, x in decreasing order.
x, 0, -3
Let q(z) = 4*z + 22. Let p be q(-7). Let y be 4/(-4 - p/3). Put -3, 4, y in decreasing order.
4, y, -3
Suppose -2*u + 1 + 1 = 0. Suppose -2*f - 5*n = -20 - 1, 0 = 4*f - n + 13. Let w = 4 + f. Put u, w, 0 in ascending order.
0, u, w
Let f be (130/15)/((-2)/3). Let a = f + 13. Suppose -3*u - 19 = -p, -2*p + a*u - 3*u - 7 = 0. Sort -3, p, -1 in ascending order.
-3, -1, p
Let k be 22/5 + (-8)/20. Suppose 0 = -4*r - k*v, r - 2*v + 2 = 2*r. Let c(x) = -x**2 + 8. Let q be c(3). Sort 5, q, r.
r, q, 5
Let h = 18 - 28. Suppose -5*u - 41 = 4*f, 3*u = -2*u + 3*f - 13. Let p be (h - u)*2/(-5). Put -1/3, -0.5, p in descending order.
p, -1/3, -0.5
Let o = 15 + -20. Let t(l) = -3*l**3 - l**2 - l. Let i be t(-1). Put o, -8, i in decreasing order.
i, o, -8
Suppose 7 = j + 4. Put -12, -16, j in descending order.
j, -12, -16
Let h = -36 - -36. Let q be (h + 2)/(26/39). Suppose -2*m + 0*m = -l - 13, q*m = -4*l - 19. Sort l, 2, 5.
l, 2, 5
Let y be -3*(8/4 - (3 - 0)). Sort -4, 5, y, -3.
-4, -3, y, 5
Let y(a) = a + 48. Let x be y(0). Let o be (-25)/3 - (-16)/x. Sort 0, o, -3.
o, -3, 0
Let y = 3.3 - -0.7. Let w be 11/(11/30)*-1. Let i = w - -61/2. Sort i, -0.3, y.
-0.3, i, y
Let g be ((-1)/(-3))/(-1 + 2). Sort -0.5, -2/7, g.
-0.5, -2/7, g
Let t = 7 - 10. Let q = 5 + -2. Let a be (-5)/q*(0 + t). Put a, 0, -2 in increasing order.
-2, 0, a
Let w be (6/15)/((-1)/2). Let g = 4.76 - -0.24. Put -3, g, w in descending order.
g, w, -3
Suppose 0 = 5*a - 15, 3 = -2*i - a - 0. Sort i, 37, 5.
i, 5, 37
Let i = -59 + 61. Suppose -i = 2*k - 3*g, 5 = -3*k + 5*g - 0*g. Put 3.7, -3, k in descending order.
k, 3.7, -3
Let x = 0.6 + 2.4. Let f be 350 - (-2)/(-6)*-3. Let p be (16 - (-1 + 2))*26/f. Sort p, x, 2/7 in decreasing order.
x, p, 2/7
Suppose 3*u - 6*w - 6 = -4*w, 2*u = 5*w + 15. Suppose -4*y = 5*t - 40, y = -2*t + 4 + 3. Suppose 4*i - 7*i - y = u. Sort -3, i, 0 in decreasing order.
0, -3, i
Let j = -1.85 + 1.65. Sort 3/5, 4/7, -0.5, j in increasing order.
-0.5, j, 4/7, 3/5
Let r = 17 + -15. Suppose 4*t = 2*w + 20, 2*w - r = -2*t - 4. Suppose 7 + t = 2*y. Sort -4, y, -5 in ascending order.
-5, -4, y
Let c be 0*((-10)/(-4) + -2). Let y be (0 - 2)/(60/(-4290)). Suppose -137 = 3*l - y. Sort c, 3, l.
c, l, 3
Let w be 5 - (6/9 + (-56)/(-12)). Sort w, -3/5, 4 in increasing order.
-3/5, w, 4
Suppose 5 = u + 4*u. Suppose -u = 2*f - 5. Suppose -5*a + 3*a + 5*c = 18, 0 = f*a + 5*c - 2. Sort a, 2, 3 in ascending order.
a, 2, 3
Let n = -97 - -488/5. Let f be (-7 - -4 - -2)*-2. Let t be 2/(-12) + f/6. Put t, n, 0.1 in ascending order.
0.1, t, n
Suppose 0 = 19*x + 81 + 223. Sort x, 1, -2.
x, -2, 1
Let n = -69 - -102.4. Let i = 25 - n. Let z = -8 - i. Put -1, z, -5 in increasing order.
-5, -1, z
Let z be -7 + 2 + 8 + -5. Put z, -25, -3, -1 in descending order.
-1, z, -3, -25
Let y = 2.5 - 5.9. Let g = 3 + y. Sort g, 2, -18 in ascending order.
-18, g, 2
Let t = 3.6 - 0.6. Let k(j) = j - 9. Let f be k(3). Let i be (-14)/3 + (-4)/f. Put i, t, 3/5 in decreasing order.
t, 3/5, i
Suppose -5*c = 5*t, 5*c + 4*t - 5*t 