 - 7. Sort 3, 5, o in decreasing order.
5, 3, o
Suppose -4*p - 12 = 12. Let d be (4 - 2)/(0 + -2). Put d, 2, p in decreasing order.
2, d, p
Let c(r) = -r**2 - 5*r - 4. Let s be c(-3). Suppose 0 = 4*b - s - 26. Let i = 10 - b. Sort 1, 5, i in decreasing order.
5, i, 1
Let o = 38 + -40. Let b = 0.02 - 0.42. Sort o, b, -3/2 in descending order.
b, -3/2, o
Let j = 29 - 32. Put -1, 2, j in descending order.
2, -1, j
Let f = 1.1 - 0.7. Let q = 0 + -0.1. Let t be (-6)/(-10)*(-2)/(-9). Sort f, q, t in decreasing order.
f, t, q
Let j = -2252/15 - -150. Let l = -169 + 174. Sort l, -2/7, j in descending order.
l, j, -2/7
Let q = 1 - 0. Suppose 4*j = -k + 4*k + 31, 2*k + 22 = 3*j. Let w be j/7*(-2)/4. Put w, q, 2 in descending order.
2, q, w
Let s(k) = -k**3 + 8*k**2 - 7*k - 6. Let d be s(7). Let p = d - -10. Put p, 0, -1 in descending order.
p, 0, -1
Let d = -14 + 13. Sort d, -0.1, 6/11.
d, -0.1, 6/11
Let f = -52 - -56. Put 5, -4, f, -1 in increasing order.
-4, -1, f, 5
Let i be -2*(1 - 10/4). Let f be 5/i + 2/6. Sort 3/4, f, 1/2 in ascending order.
1/2, 3/4, f
Suppose -2*c - 5 = -3*f, 3*f - 2*f = c. Suppose -4*g + 6 = 14. Sort 4, f, g in descending order.
f, 4, g
Let c = -0.088 + -46.912. Let i = c + 42.2. Let k = -0.2 + i. Sort 2, -2/3, k in increasing order.
k, -2/3, 2
Suppose -20 = -7*l + 3*l. Sort -4, l, -3.
-4, -3, l
Let v(s) = -s**3 + s**2 - s + 2. Suppose 0*h - 5*y = 3*h - 21, -5*y = 2*h - 19. Let m be v(h). Suppose -5*j + 8 = -7. Put j, -1, m in ascending order.
m, -1, j
Let x = 2.945 - -0.055. Put x, -1/3, -42 in decreasing order.
x, -1/3, -42
Let i be 5*((-8)/5)/(-4). Suppose -19 = 2*t - 3*y, -t + 10 + 8 = 4*y. Put 0, t, i in descending order.
i, 0, t
Suppose -5*j = 12 + 3. Let k = 2 - 2. Suppose k = 2*o + 7 + 1. Put 4, o, j in descending order.
4, j, o
Suppose 3*l + z = -2*z + 24, 3*l - 3*z = 0. Sort -2, -3, l, 1 in decreasing order.
l, 1, -2, -3
Let p = -8 + 12. Suppose 23 = 5*h - 2*m + 63, 4*m = p*h + 32. Let l(k) = k + 11. Let v be l(h). Put -3, v, 0 in descending order.
v, 0, -3
Let j(g) be the first derivative of g**4/4 + g**3 - 3. Let h be j(-3). Put 4/7, h, -2 in increasing order.
-2, h, 4/7
Let k = -7 - -15.5. Let l = k + -8. Let v = 5.9 - 0.9. Sort v, 0, l in decreasing order.
v, l, 0
Let w be (-2)/(-3)*(-2)/(-4). Let t = 0.44 - 7.04. Let c = t - -1.6. Put 4, c, w in ascending order.
c, w, 4
Suppose -24 - 24 = -3*t. Suppose 5*u - u = t. Let m = -1 + 3. Sort m, 3, u in increasing order.
m, 3, u
Let b = -67 + 62. Sort 4, 0.2, 1, b in descending order.
4, 1, 0.2, b
Let m = 0.021 + -0.121. Sort -2/13, m, -8/3 in descending order.
m, -2/13, -8/3
Let l = 898/5 - 180. Sort 1/4, l, 2 in ascending order.
l, 1/4, 2
Suppose -5*s - 12 = -2. Let w be 6*(s + (-4)/(-3)). Sort 2, w, 0 in increasing order.
w, 0, 2
Suppose 39*g - 25 = 44*g. Sort g, -11, -1.
-11, g, -1
Suppose 0 = -3*s - w + 8, -3*s + s = -2*w - 8. Let q = -72 - -72. Suppose 5*m = -s*r + 40, q*m + 20 = 2*m + 2*r. Put m, 4, 0 in decreasing order.
m, 4, 0
Let m = -2 + 3. Suppose -5*u - 1 = -4*z, -m - 5 = 2*z + 4*u. Let g be (z/6 - 0)*-1. Put g, -0.3, 2/3 in decreasing order.
2/3, g, -0.3
Let g = 0.3 + 0.2. Let a = -0.11 - 16.89. Let v = 22 + a. Put g, -0.08, v in increasing order.
-0.08, g, v
Let o(x) = x**3 - 12*x**2 - 15*x + 23. Let r be o(13). Sort 4, 0, r, 2 in ascending order.
r, 0, 2, 4
Let z be 12/(-9) - (-19)/3. Put z, -18, 2 in ascending order.
-18, 2, z
Let y(f) = -5*f**3 - f**2 + 2*f - 1. Let n be y(1). Let l = 60 - 121/2. Let j be (-8)/(-18) - 3/9. Sort j, l, n.
n, l, j
Suppose -5*k + 20 = 5*z, -3*z + 0*z + 3*k = 0. Sort z, 3, 5 in ascending order.
z, 3, 5
Let s = -18 + 124/7. Let i = 3.76 + 0.24. Sort 6, s, i in increasing order.
s, i, 6
Let a = -1.8 + 2.72. Let n = -0.08 - a. Put n, 4, 2 in increasing order.
n, 2, 4
Let q = 0.148 + -0.048. Put 2, -6, q, 7 in descending order.
7, 2, q, -6
Let y = 53.4 + -53. Sort -1/5, -5, y, 0 in descending order.
y, 0, -1/5, -5
Let o = -6 + 8. Let z = -3 - 0. Put o, z, 3 in descending order.
3, o, z
Let k = 0 + 0. Let n = k + 3. Let o = -4 + 1. Put n, o, -1/9 in descending order.
n, -1/9, o
Let n = 4/23221 - -8104057/417978. Let r = -115/6 + n. Sort -0.1, 3, r in ascending order.
-0.1, r, 3
Let u = 0.226 + 0.074. Sort 3, u, -10.
-10, u, 3
Let v(a) = -a**2 - 7*a + 3. Suppose k - 8 = -5*n, 5*n - n - 8 = 0. Let c be k/(-4) + 15/(-2). Let i be v(c). Put 1, i, -5 in increasing order.
-5, 1, i
Suppose 0 = -5*c + 5*x + 245, 0*x + x - 171 = -4*c. Suppose r + 3*r = c. Suppose -4*b + 27 - r = 0. Put b, -5, 5 in ascending order.
-5, b, 5
Let p(f) = 2*f + 15. Let s be p(-5). Sort 0, 3, s, -13 in descending order.
s, 3, 0, -13
Suppose 0*y + 5 = y. Sort 2, 1, y.
1, 2, y
Suppose 0 = -52*q + 53*q - 4. Put -3, q, -4, 5 in decreasing order.
5, q, -3, -4
Let u = 0.29 - 0.39. Put 0, 0.3, 1/8, u in ascending order.
u, 0, 1/8, 0.3
Let f = -2 + 4. Put -2, f, -3 in decreasing order.
f, -2, -3
Let l be (-1)/(1*(-4)/20). Suppose l*f = -10 - 10. Let q(r) = r**3 + 3*r**2 + 4*r + 3. Let i be q(-2). Put f, -5, i in decreasing order.
i, f, -5
Let c be (-2)/4*(1 - 1). Put 5, 1, c in ascending order.
c, 1, 5
Let a = -15 - -46/3. Sort -4, -0.01, a.
-4, -0.01, a
Let g = -129 - -127. Let r(w) = 15*w**3. Let j be r(-1). Let t be ((-9)/j)/(2/5). Put t, g, 3/7 in decreasing order.
t, 3/7, g
Let s = -0.02 + 0.42. Sort -0.2, 3, s.
-0.2, s, 3
Suppose -2*o + 0*t + 2 = -2*t, 4*o = -2*t + 16. Sort 5, -2, o, 2 in descending order.
5, o, 2, -2
Let o be -14*(-1)/(-3 + 1). Let a = 3 + o. Sort 5, -1, a in increasing order.
a, -1, 5
Let r = 73 - 71. Let d(y) = -y**2 + 3*y - 3. Let x be d(2). Let l = x - 1. Sort -1, l, r.
l, -1, r
Let m = -0.6 + 0.4. Let k be (-6*1/(-8))/3. Let j = 4 - 1. Put k, m, j in decreasing order.
j, k, m
Let a(l) = -l + 20. Let o be a(15). Put -2, 0, o in decreasing order.
o, 0, -2
Let z = 3.2 - 1.2. Let t = 0 + 0.2. Let q be (-3)/6*(-1 - 2). Put t, q, z in ascending order.
t, q, z
Suppose p = f + 3*f, 5*f = 5*p. Let w = -21 - -23. Put p, -4, w in decreasing order.
w, p, -4
Let i = 0.01 - 0.03. Let c = 0.52 + i. Sort c, -3/8, 1 in increasing order.
-3/8, c, 1
Suppose 4*q - 2 = 6*q. Sort 4, q, 0 in decreasing order.
4, 0, q
Let h = -9.3 + 10. Let m = -2.13 + 0.13. Sort 1/8, h, m.
m, 1/8, h
Suppose 5*r - 3*g + 0*g - 1 = 0, 4*r = -4*g - 12. Put r, -8, -5 in decreasing order.
r, -5, -8
Let p be 2/(-3) - (-13)/(-3). Let x = 3 + p. Let n = 1 - 1. Sort n, x, 5.
x, n, 5
Let s = -4.6 - -5. Let t = 0.12 + -5.12. Let c = -0.1 - -0.1. Sort c, t, s.
t, c, s
Let u = -3.6 - -4. Let w = -2/4315 - 38791/94930. Let d = w + -1/11. Put d, 1, u in ascending order.
d, u, 1
Let o = 6 + -4. Suppose -2 = -2*u + 2. Suppose -m + o*m = -u. Sort m, -4, -5 in decreasing order.
m, -4, -5
Suppose -19*h = -23*h + 24. Sort h, -0.3, 4, -2/3 in ascending order.
-2/3, -0.3, 4, h
Let o = -0.8 + 1.8. Sort -4, o, 2/9 in increasing order.
-4, 2/9, o
Suppose 0 = 2*i - 5*a + 50 - 1, 4*i + 62 = -2*a. Let t = i + 12. Let x(h) = 4*h**3 - 2*h**2 + 1. Let c be x(1). Put c, t, 5 in descending order.
5, c, t
Let p be 24/10 - (-3)/5. Suppose 40 = p*i + i. Let f be (10/(-4) + 3)*i. Put -4, f, -3 in descending order.
f, -3, -4
Suppose -2*a = a + 24. Let b = a - -9. Sort -4, -2, b in decreasing order.
b, -2, -4
Let d = 3 + -6. Put -5, d, 1 in increasing order.
-5, d, 1
Let w = -58 - -54. Put w, 3, 0.4 in ascending order.
w, 0.4, 3
Let n = 2 + -5. Let a = 5.09 + -0.09. Sort a, n, -0.5 in increasing order.
n, -0.5, a
Let r(d) = -d**2 + 10*d + 1. Let b be r(10). Suppose -n = 4 - b. Put 1, -1, n in decreasing order.
1, -1, n
Let d(r) = -2*r + 13. Let f be 13/78 + 94/12. Let k be d(f). Sort k, 3/7, -1/10 in descending order.
3/7, -1/10, k
Let m = 9 - 5. Let t(x) = 3*x**2. Let y be t(-1). Put m, y, 1 in descending order.
m, y, 1
Let n be (22/(-11))/((-1)/2). Suppose -3*k + n*o + 10 = 0, -3*k - 1 = -2*o - 3. Suppose 0*t - 12 = 4*t. Sort t, k, 3 in descending order.
3, k, t
Let v = 29.9 + -25. Let i = v + -5. Put 0.1, i, -5 in decreasing order.
0.1, i, -5
Suppose 2*l = 4*c + 20, 0 = -3*l - 4*c + c + 3. Sort l, 1, 0.2 in descending order.
l, 1, 0.2
Suppose 4*z = 5*z. Sort z, -3, -1 in ascending order.
-3, -1, z
Let p(b) = 5*b. Let w be p(1). Suppose -5*m = w - 0. Let l be 3 + (1 - 9/3). Sort l, -3, m in descending order.
l