 y, 3
Let j = 2 + -3. Let p be 3 - -3 - (1 + -2). Suppose -8 - p = -5*c. Sort j, c, 5 in increasing order.
j, c, 5
Let i = -29 + 34. Sort 0, i, -5, -2 in decreasing order.
i, 0, -2, -5
Let y(t) = -2*t + 9. Let a be y(6). Put 2, a, 5 in decreasing order.
5, 2, a
Let m = 6 - 12. Let h = m + 1. Let j be (5 - 9)*(1 - 0). Put 1/9, h, j in decreasing order.
1/9, j, h
Let w = -26 - -157/6. Sort -5, -2, w in ascending order.
-5, -2, w
Let k(y) = -y - 12. Let c be k(-8). Let u be (-4)/10 - (-8)/(-5). Sort -1, c, u.
c, u, -1
Let u = 5 + -4.7. Let h = 251.4 - 251. Put u, h, 2 in increasing order.
u, h, 2
Let m(z) = 2*z + 6. Let i be m(-2). Suppose 4*u + 2*c + 64 = 0, -3*u = -0*u - 5*c + 48. Let j = u - -11. Sort j, i, -3.
j, -3, i
Let q be (-3 - -3)/3 - -4. Suppose q*z + 1 = 5. Put 5, -4, z in increasing order.
-4, z, 5
Let k be ((-2)/3)/(4/6). Let f(v) = -4*v**2 - 1. Let l be f(-1). Let j(a) = a**3 + 5*a**2 + a + 8. Let q be j(l). Put k, q, -4 in increasing order.
-4, k, q
Let r = -129 + 108. Put -3, 1, r, -5 in increasing order.
r, -5, -3, 1
Suppose -4*a - 32 = n - 0*a, -4*n = 2*a + 86. Let q be (-5)/n - (-11)/4. Suppose 3 + q = 2*b. Sort 3/7, b, -5 in decreasing order.
b, 3/7, -5
Let p = -1.3 - -0.3. Let v = -3 + p. Let t = 0.08 - -3.92. Sort t, v, 1.
v, 1, t
Let t be ((-84)/30)/7 - 0. Let l = -2 - -2.1. Sort l, t, -1 in increasing order.
-1, t, l
Let h = -0.13 + -4.37. Let n = h + 4. Sort 2/3, n, 0.1.
n, 0.1, 2/3
Suppose k = t - 9, -2*t + 4 - 14 = 5*k. Suppose -t*c = -0*c. Let h = -73 - -72. Sort 0.3, c, h in descending order.
0.3, c, h
Let x = 3.107 - 0.007. Let q = -3 + x. Let o = -1.1 + q. Sort -3, 2/7, o in ascending order.
-3, o, 2/7
Suppose -b + 4 = -2*t + 4*t, 2*t = 4*b - 6. Let o = -21 + 30. Suppose -4*a + o*a + 20 = 0. Sort 4, a, b in increasing order.
a, b, 4
Let f = 13.7 - 19.65. Let y = -0.05 + f. Sort 0, y, -0.3 in decreasing order.
0, -0.3, y
Let f be 16/6*(-3)/2. Let q(s) = 15*s + 132. Let i be q(-9). Sort i, 2, f in ascending order.
f, i, 2
Let q(x) = -4*x**2 + x + 1. Let r be q(-1). Sort 2, 5, r in increasing order.
r, 2, 5
Suppose 2 + 8 = 4*q + 5*x, -9 = -3*q - 3*x. Let i be (q - 3) + 2 + -7. Put 5, i, -1 in decreasing order.
5, -1, i
Suppose -5 = -q + 6*q. Let m(h) = -h**3 - 5*h**2 - 2*h + 4. Let n be m(-4). Let u = n + 9. Put q, u, -4 in decreasing order.
u, q, -4
Let x = 46 - 48.4. Put x, 4, 2 in descending order.
4, 2, x
Let t = -0.4 + 0.7. Let w = t - 0. Let q = 8 - 11. Put 5, w, q in descending order.
5, w, q
Let o = -10/17 + 104/119. Sort -0.1, -2, o in increasing order.
-2, -0.1, o
Let i be 64/126 + (-40)/140. Let v = -3 - -4. Suppose -z = -k + 5, -4*k + v = -3*z - 18. Put -0.4, i, k in decreasing order.
k, i, -0.4
Let y = 45.96 + -46. Sort y, 0.2, 2 in descending order.
2, 0.2, y
Let q(h) = h + 4. Let o be q(-9). Put o, 0.5, -2 in increasing order.
o, -2, 0.5
Let o = -2 + 3. Let g = 3 + o. Let u = -3 + g. Put -2, -4, u in increasing order.
-4, -2, u
Let p be 1 + (-22)/18 - (-608)/(-1152). Put 0, 2/3, -0.2, p in descending order.
2/3, 0, -0.2, p
Let m = -16 - -19. Let q = 21/2 - 81/8. Put 0.5, q, m in increasing order.
q, 0.5, m
Let u = -0.12 + -4.88. Let p(r) = -r - 4. Let n be p(-6). Put n, u, -0.1 in decreasing order.
n, -0.1, u
Let x be (-8)/20*(-1 - -41). Let w be ((-1)/(-2))/(2/x). Put w, -5, 3 in descending order.
3, w, -5
Let s = 39/2 + -21. Let u = -185 - -184.5. Put s, 1/3, u in decreasing order.
1/3, u, s
Let n(m) = -m + 1. Let t be n(-1). Let a be 2/(-6) + 10/(-6). Let f be a + 3 - (-6)/t. Sort -5, -2, f in ascending order.
-5, -2, f
Let u be (-2)/1 - (-1 + -3). Suppose -66 = -4*c - u*c. Sort -4, c, 1 in increasing order.
-4, 1, c
Suppose -2*h + 1 = -3. Suppose 4*v + 30 = 3*s - 8*s, 2*s + 10 = -h*v. Let p = 12 + s. Sort 3, p, -4 in descending order.
3, p, -4
Suppose -3*r = 2*z - 11, 5*z + 2*r = -0*r + 44. Suppose 3*d = d + z. Sort d, -2/11, 1 in descending order.
d, 1, -2/11
Let u be 6*(1/(-2) - 0). Let b(m) = -m**3 + 11*m**2 - 23*m - 5. Let h be b(8). Sort h, 1, u in descending order.
h, 1, u
Let c(n) = -9*n**2 - 1. Let h(l) = -8*l**2 - 1. Let t(m) = 5*c(m) - 6*h(m). Let k be t(-1). Suppose 12 = d - k*d. Sort -5, -3, d.
-5, d, -3
Let d(l) = l**2 - 3*l. Let s be d(2). Sort s, 1, -1, -5.
-5, s, -1, 1
Let j = 1 - 0.6. Let h = -6/35 - 3/7. Let w = -243/4 + 61. Sort h, w, j in ascending order.
h, w, j
Let h(w) = -2*w + 1. Let g(v) = v**3 - v**2 + 2*v - 1. Let y be g(1). Let c be h(y). Let m = 0 - 0. Sort c, m, -5 in decreasing order.
m, c, -5
Suppose -c = 9*c + 30. Put c, -0.4, 5 in ascending order.
c, -0.4, 5
Suppose -4*z + 12 = -0*z - 5*t, -4 = -2*z + 3*t. Let d = z + -5. Put 5, d, -1 in decreasing order.
5, d, -1
Suppose -5 = 2*y - 3. Let x be y*(-2 + 3 + 0). Suppose -4 = -3*p - p. Sort p, -2, x.
-2, x, p
Suppose 0*o + 12 = 2*o. Let v(m) = -m**3 + 5*m**2 + 6*m + 1. Let u be v(o). Suppose -4 = h - u. Sort 2, 0, h.
h, 0, 2
Let j = 1 + -0.8. Let r = j - 0.4. Let n be 2/(-2) - 4/(-3). Sort r, 2, n.
r, n, 2
Let w be (-1)/(-3) + (-1)/3. Let g(q) = -3*q**3 + q**2 + q. Let y be g(-1). Suppose 5*k - 25 = j, -4*j = y*k - 0*j - 15. Put k, -0.2, w in descending order.
k, w, -0.2
Let d = -151/20 - -27/4. Sort 0.5, 2/9, -5, d in decreasing order.
0.5, 2/9, d, -5
Let t = 4 - 4. Suppose -3*u + 9 = 3*b, -6*b + b - 4*u + 11 = t. Suppose -3*q + 5 = 5*i, -4*q - 12 - 28 = -5*i. Put q, 3, b in ascending order.
q, b, 3
Let x = -4.1 + 4. Let f = 0 - x. Sort f, 0.3, -2.
-2, f, 0.3
Let r = 0.5 + -0.9. Let q = r + 0.2. Put -3/4, 3, q in decreasing order.
3, q, -3/4
Let z be 1/(-3) - 0/1. Let u = 10 - 4. Let i = 1 - u. Sort i, -1/6, z in descending order.
-1/6, z, i
Suppose -2*l - 2*u + 4 = 0, 4*l - 3*l - 3*u = 2. Sort 12, -3, l in decreasing order.
12, l, -3
Let a = 0.95 + 0.05. Let q = -0.2 + 0.3. Put q, a, 2 in descending order.
2, a, q
Let g = -3 + 3.2. Suppose -2*o + 10 = 5*r, 4*o + 0*r - 4*r = -8. Let l be (20/6)/((-4)/(-6)). Sort g, o, l in decreasing order.
l, g, o
Let b be (-1 + -2)*-1*1. Suppose 0 = -b*x - 2*x. Sort 3, -1/5, x in descending order.
3, x, -1/5
Let p = -3.4 - -3. Let i = -1.4 - p. Let b = 3 - i. Sort -0.4, b, -2/9 in descending order.
b, -2/9, -0.4
Suppose -3 = -3*o - 12. Let s = 4 + o. Put 7, -1, s in ascending order.
-1, s, 7
Suppose -1 + 5 = -2*u. Let g(j) = j + 2. Let k be g(2). Suppose -5*r + 8*s - 3*s = 5, 4 = -5*r + k*s. Sort u, r, -1 in descending order.
r, -1, u
Let l = 0.9 + 0.1. Let u = -0.31 + -0.09. Sort -3, u, l.
-3, u, l
Suppose -21 = 2*i - 15. Let a be (-10 - 2)/(-3) + 1. Put 2, i, a in descending order.
a, 2, i
Let o be (-7)/((-28)/(-16)) - -2. Sort o, 2, -4.
-4, o, 2
Suppose -5*n + 0*f = -3*f - 20, -5*n - 3*f - 10 = 0. Let c = 24 + -23.3. Let a = -0.9 + c. Sort n, a, -1/6.
a, -1/6, n
Let w be (-14)/6 + 8/(-12). Let n = 7 + -5. Let s be n*-1 + (-7)/(-1). Sort -1, w, s in decreasing order.
s, -1, w
Suppose 2*p - 8 = 2*k, -3*p + 14 = -3*k - 2*p. Sort k, 4, -1.
k, -1, 4
Let l = -977/13 + 75. Sort l, -0.4, 5/6.
-0.4, l, 5/6
Suppose 0 = -0*b + 3*b + 33. Let h = -7 - b. Suppose 0 = -5*a + 2*w - 30, -h*a = 5*w + 3 - 12. Sort -5, -2, a.
-5, a, -2
Let f = 5 + 0. Suppose f*o - 25 = -5*z, 3*z - o + 1 = -4. Put 2, z, -1 in ascending order.
-1, z, 2
Let k be (8/(-2))/((-1)/(-1)). Let f = -0.27 + -4.73. Put f, k, -1 in increasing order.
f, k, -1
Suppose -4*r = 3*j - 29, -4*r + 34 = -0*j - 2*j. Suppose 2*n = -2*n + r. Sort 5, 3, n in descending order.
5, 3, n
Let d = 17.229 - 0.029. Let n = 17 - d. Put 0.3, -3, n in decreasing order.
0.3, n, -3
Suppose 2 = s + 1. Sort s, -4, -2.
-4, -2, s
Let q = -15.35 - -12.4. Let t = q - 0.05. Sort -5, 1, t in decreasing order.
1, t, -5
Let v be ((-12)/(-18))/((-2)/(-3)). Suppose -3*g - 2 = 28. Let n = g + 7. Sort v, -4, n in descending order.
v, n, -4
Let t(u) = u**2 - 11*u + 7. Let i be t(11). Suppose -4*v - 4*m = -i*v, v + 2*m - 10 = 0. Let h = 1 - 0. Put h, v, -5 in increasing order.
-5, h, v
Suppose l - 1 = 4*t - 0, 5*t = -2*l - 11. Sort t, -5, 2, 3 in increasing order.
-5, t, 2, 3
Let j be (-1)/(-2) + (-63)/18. Suppose 5*t = 3*t. Sort t, 3, j in increasing order.
j, t, 3
Let w(l) = -l**3 + 8*l**2 - l + 10. Let m be w(8). Put -1, m, 4 in descending order.
4, m, -1
Let y(b) be the first derivative of -2*b**2 + 2*b**2 - b**2 + 1 - 3*b. Let d be y(-2). Put -2, 5, d in decr