, -13
Suppose 0 = -5*h + 4*h + 2. Suppose -3*r = -2*y - 10, -5*y + h*r - 2 - 1 = 0. Put -1, -24, y in descending order.
y, -1, -24
Let o = 489.4 - 490. Put -1/4, -2/3, -3, o in ascending order.
-3, -2/3, o, -1/4
Let m be (2/2)/1*0. Suppose 2*w + 3*w + 10 = m, 2*t + 70 = 5*w. Let q be t/30*3/1. Sort -5, q, 5 in descending order.
5, q, -5
Suppose -2*h + 17 = -2*t + 23, 0 = -5*t - 5*h + 25. Sort -0.3, t, -15, -2/9 in decreasing order.
t, -2/9, -0.3, -15
Suppose -5*p = 2*j - 4*j - 217, 0 = -3*p + j + 130. Sort p, 5, 3.
3, 5, p
Let z be (-5 + 0)*(-4)/10. Suppose l - z + 1 = 0. Suppose -4*k + l = 37. Sort k, 4, -2.
k, -2, 4
Let s(z) be the third derivative of 0 - 7/6*z**3 + 10*z**2 + 1/120*z**6 + 1/2*z**4 - 1/5*z**5 + 0*z. Let o be s(11). Sort -3, o, -4.
-4, -3, o
Suppose -2*y + 10 = -7*y. Let c be 21/18 + -1 + 10/12. Sort c, y, 2 in descending order.
2, c, y
Suppose 6*k - k - 25 = 0. Let m = -103 + 106. Suppose 4*a + 14 = -3*n + 2*a, m*n + 7 = 5*a. Sort n, k, 3 in increasing order.
n, 3, k
Let p = 1561 - 4682/3. Sort -0.2, 0.5, p in decreasing order.
0.5, p, -0.2
Let o be ((-3)/2)/((-2)/(64/12)). Sort 2, o, -2 in decreasing order.
o, 2, -2
Suppose 57 = 5*t + 67. Put 4, t, 1, -4 in descending order.
4, 1, t, -4
Let h be 2 + (1 - 1) + -5. Let f be (3366/(-2805))/(-1 - (-26)/20). Put 19, f, h in descending order.
19, h, f
Suppose -15 = -4*n + n. Suppose -n*o + 28 = -o. Let u = -1/9 + -5/9. Sort o, 0.4, u in increasing order.
u, 0.4, o
Suppose -27*r + 26*r + 28 = 0. Suppose -5*o = l, 4*l + l - 3*o + r = 0. Let p(x) = -x - 2. Let c be p(-7). Put l, 4, c in increasing order.
l, 4, c
Let i(v) = -7 - 5*v - 1 + 5*v - v. Let s be i(-9). Suppose -2*p + 28 = 2*p + 3*x, -x = -p. Put -5, s, p in decreasing order.
p, s, -5
Suppose -2*c - 2 = 8. Let s be ((-30)/(-28))/(((-120)/28)/c). Put -2/7, -3, s in decreasing order.
s, -2/7, -3
Suppose 63*j - 116 = 65*j. Sort -2, 3, j in descending order.
3, -2, j
Suppose 5*u + 8 + 7 = 0, 5*q = -2*u + 54. Let d(t) = -t**2 + 13*t - 16. Let m be d(q). Put m, -3, -17 in decreasing order.
-3, m, -17
Suppose -3*t - 6 = 3*y, 0 = -4*y - 0*t + 5*t - 26. Let p(l) = 2*l + 7. Let c be p(y). Let u = 0 + 3. Sort 17, c, u in decreasing order.
17, u, c
Suppose -s = 4*s - 50. Let x = s + -1. Suppose 4*g - 3 - x = 0. Sort g, -3, -2.
-3, -2, g
Suppose -232 = -9*h - 52. Suppose 3*m - 7*m = -h. Sort -5, -2, m, 4 in decreasing order.
m, 4, -2, -5
Let o = 179 - 180. Let a(l) = 7*l**2 - 13*l - 19. Let c(m) = 4*m**2 - 7*m - 10. Let v(f) = -3*a(f) + 5*c(f). Let q be v(6). Put 1, q, o in decreasing order.
1, o, q
Let s = 2045 + -2042. Suppose -3 = -4*a + 17. Suppose -a = -h - 1. Sort s, 0, h.
0, s, h
Suppose -22 = -w - x, 0 = -6*w + 3*w + 4*x + 45. Let b be 2/(-1*1) - (18 - w). Sort b, 1, -5, 3.
-5, b, 1, 3
Let p be (4/(-7))/(3/(-21)). Suppose -5*g - 10 - p = -3*f, -4*f = 2*g - 10. Sort -4, f, -0.3, -3.
-4, -3, -0.3, f
Suppose 5*i = y - 4*y + 34, -4*y - 8 = -4*i. Suppose -f = y*n - 1, 7*f - 3 = 4*f. Let l = 5 + -3. Put l, -4, n in descending order.
l, n, -4
Let u be 2*(2 + 2)/8. Let d be (-12)/(1 - -3) + u. Put 11, d, -1 in descending order.
11, -1, d
Let z = 1407/2 + -704. Let h = 0 + -2. Sort h, -2/19, z, 5 in descending order.
5, -2/19, z, h
Let j = 2.2503 - -0.7497. Let f = 2 - 2.04. Put 2/5, f, 1/8, j in decreasing order.
j, 2/5, 1/8, f
Suppose -4*b = 4*i + i - 8, 0 = i + 5*b + 11. Suppose 24 - 44 = i*c. Sort 5, c, -4, -1 in descending order.
5, -1, -4, c
Let g be (2 + -2 - 1) + 0. Suppose 5*v - 2*v = 12. Let b be 0/(14*(-2)/28). Sort b, v, g in increasing order.
g, b, v
Let f = 1.772 + 0.228. Put 16, f, -5, -3 in decreasing order.
16, f, -3, -5
Let q = 56.6 - 64. Let x = 48 + -41. Let b = q + x. Sort 4, b, -2 in descending order.
4, b, -2
Let r(j) = -2*j**2 + 2*j. Let b be r(2). Let g = -1622 + 1627. Suppose z = -z. Sort b, z, g.
b, z, g
Suppose 0 = l + 4*o - 23 + 4, 3*o - 6 = 2*l. Suppose 2*m + m + l = 0. Let y(k) = k - 1. Let x be y(m). Sort 3, x, -4 in decreasing order.
3, x, -4
Let d be 8/6 + (-42)/72. Sort 2, d, -2/3.
-2/3, d, 2
Let t be (-40)/100 + 2*(-17)/(-10). Sort 15, t, -0.1, 0.2.
-0.1, 0.2, t, 15
Let n(k) = k**3 - 12*k**2 - 13*k + 9. Let i be n(13). Let w = -11 + i. Sort w, 0, -0.4.
w, -0.4, 0
Let j be 55/(-50) + 0 + 1. Let w = -0.4718 + 0.0718. Sort w, j, 0.1, 5 in decreasing order.
5, 0.1, j, w
Suppose a = -3*a + 3*m + 83, -a = 2*m - 18. Suppose 16 = 4*h - 6*h - 4*w, -5*h = 5*w + a. Sort -2, h, 1/9, 1/5 in increasing order.
-2, h, 1/9, 1/5
Let i(o) = o**3 + 24*o**2 + 4*o + 8. Let j be i(-24). Let p = 84 + j. Put p, 5, 0, -2 in decreasing order.
5, 0, -2, p
Let h be -3 - -2*(-2)/4. Suppose -4*a - 36 = -7*a. Suppose -6*z + 2*z = -a. Put -1, h, z in descending order.
z, -1, h
Let d = -1240/9 + 138. Sort 5, d, -1, -29 in decreasing order.
5, d, -1, -29
Let i = 131/3 - 44. Suppose 4*q = 2*j - 22, 0 = -2*j - q + 3*q + 16. Let t = 9 - 6. Sort j, t, i in ascending order.
i, t, j
Suppose 5 = 3*r + 14. Let h = -16 + 18. Suppose 0 = -h*q + 3*q - 5. Sort r, -5, q in decreasing order.
q, r, -5
Let j = 24.046 + -24. Let u = j - 0.066. Sort u, -0.1, 3, 0.2 in descending order.
3, 0.2, u, -0.1
Let u = -47 + 46.56. Let p = -0.24 - u. Sort -0.4, -3, p in decreasing order.
p, -0.4, -3
Let s = 0.024 - -0.076. Let w be (-4)/(-8)*(-2)/5. Sort s, -9, w in decreasing order.
s, w, -9
Let x(p) = -2*p - 17. Let a be x(-7). Let v be 0 + 2 + a - -4. Sort -5, v, -4.
-5, -4, v
Let r = 0.053 - 7.653. Let l = r - 1.4. Let v = 8.97 + l. Sort -4, v, 4 in decreasing order.
4, v, -4
Let b = -1 + 0. Let v be (-14)/4*(-23)/(644/24). Let g be (-5)/(75/(-78)) + v/(-15). Sort g, 1, b in ascending order.
b, 1, g
Let f be 5/(-5)*(-9)/9. Suppose 4*x - 9*x = -5*t - 20, -t + 5*x = 0. Put 3, -2, f, t in increasing order.
t, -2, f, 3
Let q = -8.9 + 9. Let d = 327 + -331. Sort 0.3, q, -2, d in descending order.
0.3, q, -2, d
Let b = -49.9 - -50. Sort 5, b, -0.02.
-0.02, b, 5
Let n = -0.039 - -5.739. Let i = n - 6. Sort 0.09, -0.5, i in descending order.
0.09, i, -0.5
Let n = -157 - -160. Sort 9, n, 4.
n, 4, 9
Suppose -5*g + 14*d - 17*d + 30 = 0, -5*d - 70 = -5*g. Sort 1, g, 3 in increasing order.
1, 3, g
Let c be (-2)/(-2)*(5 - 1). Let v = c + -7. Suppose 25*n - 3*f - 5 = 21*n, -f = -5*n + 20. Sort n, -1, v.
v, -1, n
Suppose 4*b + 17 = 5*q + 3, 0 = 5*q + 3*b - 42. Suppose -q*p = -11*p + 15. Put p, -1, -7 in ascending order.
-7, -1, p
Let a = 6.4 + -6.1. Let y = -0.08 - -0.58. Put a, y, -3 in decreasing order.
y, a, -3
Let h = 0.45 + -28.45. Let m = 35 + h. Sort -0.5, m, -3 in increasing order.
-3, -0.5, m
Let z be 2/3*(-49 - -55). Put 10, 5, z in decreasing order.
10, 5, z
Suppose -139 = -4*z + 5*r, -4*z + 38 + 104 = -2*r. Let k = 41 - z. Let p = 3 - 1. Sort k, p, -3 in ascending order.
-3, p, k
Let j(h) = h**2 - 6*h - 12. Let z be j(-8). Suppose 5*y - z = y. Suppose -3*m = 2*m + y. Put -4, m, -1 in decreasing order.
-1, -4, m
Let v = 42 - 43. Let g be 24/(-9)*(-15)/(-10). Sort g, v, 5, -2 in descending order.
5, v, -2, g
Let k = -5 - 1. Let a = 6.1 + k. Let s = -0.5 + a. Sort -3, s, 0.11 in decreasing order.
0.11, s, -3
Suppose 3*l + 0 - 6 = -o, 5*o = 2*l - 4. Let h be -2*(2 + -3) - 17. Let m = 10 + h. Sort l, 3, m in increasing order.
m, l, 3
Let x(u) = -u**3 - 6*u**2 - 6*u - 5. Let k be x(-5). Let v = 2638.6 + -2639. Sort k, -0.3, v, -0.01 in descending order.
k, -0.01, -0.3, v
Let z(y) = y**3 + 4*y**2 + 3*y + 4. Let g be z(-3). Let m = 7/2 - g. Let l be (-8 - -5) + 28/9. Sort m, l, -5 in decreasing order.
l, m, -5
Let y = -788 - -783. Sort 0.5, -0.4, -2, y in increasing order.
y, -2, -0.4, 0.5
Let p = -3 - -2. Let o = p - -1. Let q = 4356 - 4359. Put o, q, -2 in increasing order.
q, -2, o
Let x = -30.021 + 30. Let a = x - 0.179. Let i be ((-3)/42)/(1/6). Sort a, i, 4.
i, a, 4
Let l(y) = y**3 + 3*y**2 + 3*y + 1. Let k be l(-3). Suppose -5*v + 3*b + b = 153, 2 = b. Let s = 31 + v. Sort s, -2, k in ascending order.
k, -2, s
Suppose 2*j + 44 = -18. Let n = 5 - j. Suppose 19 + n = 5*u. Sort u, -2, 4 in decreasing order.
u, 4, -2
Suppose -3*v - 86 + 15 = 5*g, 4*v + 3*g = -80. Suppose 0 = -o - 4 - 1. Put 4, o, v in ascending order.
v, o, 4
Let p = 14.5 + -16. Let a = -0.5 - p. Let o = a + -0.5. Sort -0.5, -3/4, o in increasing order.
-3/4, -0.5, o
Let d be ((-2)/(-3))/(1/(-6)). 