4*v = -4, 4*v = -4*t - 20. Put t, -4, 3 in ascending order.
-4, t, 3
Let d = 31/102 + 1/34. Sort -4, -2, 2, d in decreasing order.
2, d, -2, -4
Let q = 1 + -3. Let l = 4 - -1. Let g = q + l. Sort -3/4, g, 1 in descending order.
g, 1, -3/4
Let h = -9 - -6. Put h, 0, -5 in ascending order.
-5, h, 0
Suppose 4*q + 4 = -0. Let k be (-3)/(-2)*2*q. Let h = -9 - -13. Sort h, k, -4.
-4, k, h
Let x be ((-6)/135)/((-2)/(-10)). Put 3, -0.1, x in increasing order.
x, -0.1, 3
Suppose 10 = 2*s + 3*s. Sort 4, s, -1 in increasing order.
-1, s, 4
Let m = -6 + 1. Sort -3, 2, m in decreasing order.
2, -3, m
Suppose 2*k - 4*k - 10 = 0. Let x = -4 - k. Suppose -17 = -5*f + 4*d, -4*d + 7 = -4*f + 19. Sort 2, x, f in ascending order.
x, 2, f
Let b = -8 - -5. Let f(j) = -2*j + 4. Let l(r) = -10*r + 19. Let c(g) = -11*f(g) + 2*l(g). Let h be c(4). Sort b, 4, h in descending order.
4, h, b
Let o = -7.2 + 2.2. Put 9/5, o, -0.8 in descending order.
9/5, -0.8, o
Let p(w) = w**3 - 7*w**2 + 6*w + 4. Let u be p(6). Let a = -6 - -8. Let q be 12/42 - 0/a. Sort q, 1, u in ascending order.
q, 1, u
Let o = -1.47 + 0.47. Put o, 2/17, 5 in descending order.
5, 2/17, o
Let r(x) be the first derivative of -3*x**4/4 - x**3/3 + x**2/2 - x - 1. Let b be r(1). Let i(m) = 2*m - 3. Let a be i(3). Sort 0, a, b.
b, 0, a
Suppose 0 = -4*c - 2 + 6. Suppose -k + 4*k - 11 = -2*n, -n = -c. Suppose -k*j = j. Sort 1, j, -4.
-4, j, 1
Let o(t) = 2*t**2 + 1. Let j be o(1). Let d(i) be the second derivative of i**4/12 - i**3/6 - i**2 - 4*i. Let u be d(j). Put 5, 1, u in ascending order.
1, u, 5
Let k be (-4)/10 - (-5)/((-225)/(-28)). Put -2/13, 0.5, k, 0 in descending order.
0.5, k, 0, -2/13
Let l = -7.8 + -61.2. Let c = -66.02 - l. Let k = c + 0.02. Sort k, 1, -0.3 in decreasing order.
k, 1, -0.3
Let w = 0 - -1. Let r(u) = -u**2 - 4. Let j be r(0). Let p be j/14 + (-57)/21. Put w, 5, p in decreasing order.
5, w, p
Let f = 11 + -18. Let g(z) = -z**2 - 7*z - 2. Let p be g(f). Let y = 1 + 3. Sort 0, p, y in ascending order.
p, 0, y
Let w be (3/(-12))/((-26)/42). Let m = w + -2/13. Sort m, -4, 0.3 in ascending order.
-4, m, 0.3
Suppose -z - 9 = -2. Let m(n) = n**3 + 8*n**2 + 7*n - 1. Let u be m(z). Sort u, -2, 5.
-2, u, 5
Let p = 0.3 - 0.4. Let v = 4/399 + 2350/4389. Sort 0, v, p in increasing order.
p, 0, v
Let p be (-3)/(-6)*-3*784/(-24). Put -4, p, 0 in increasing order.
-4, 0, p
Let w = 4.6 + -5. Suppose -n + 19 = n + m, -n + 14 = 2*m. Let s be n/45 - 4/10. Sort w, -1, s in descending order.
s, w, -1
Let w(r) = -r + 10. Let b be w(-8). Suppose -b = -j + 5*g, 6*j - 2*j = -4*g. Let d = 5 - j. Sort d, 1, 3 in increasing order.
1, d, 3
Let q = -35 - -30. Let g(b) = -b - 8. Let w be g(-6). Sort -0.2, w, q in increasing order.
q, w, -0.2
Let a = -1.14 - 10.46. Let v = 12 + a. Put v, -4, -6 in increasing order.
-6, -4, v
Let l = 36 - 73/2. Sort 5, l, 2/13, -0.2 in increasing order.
l, -0.2, 2/13, 5
Let x be (-24)/(-4) + -2 + 0. Suppose r + 2*b = -b + 4, x*r = -4*b + 24. Sort 0, 1, r.
0, 1, r
Let k = 3 + -6. Let r be (-40)/(-15) - 1/k. Let b = 4 - 8. Sort r, -3, b in increasing order.
b, -3, r
Let j(g) = -6*g**2 + 4*g - 3. Let o be j(1). Sort -3, o, -2/3, 2/7 in ascending order.
o, -3, -2/3, 2/7
Let g = -0.2 + 2.6. Let q = 2 - g. Let a = -7/18 - -19/18. Put a, -2/7, q in decreasing order.
a, -2/7, q
Let r = -2.21 - 0.09. Let c = -0.3 - r. Sort c, -4, 3/7.
-4, 3/7, c
Let f = 3 + 2. Suppose -2*u + 3*h - 4 = 0, 3*h = -1 - 5. Sort f, u, -4 in descending order.
f, -4, u
Let p = -11 - -7. Let z be (-1)/2 - (-84)/8. Suppose -z = -0*d + 2*d. Sort 0, d, p in increasing order.
d, p, 0
Let r(i) = 120*i**3 + i. Let b be r(1). Let w = 602/5 - b. Let t be (4 - (-35)/10)/(-9). Put w, t, -2/9 in decreasing order.
-2/9, w, t
Let k be (3/(-9))/(-3 + 2). Put 19, k, -2 in increasing order.
-2, k, 19
Let w(s) = s**2 - 7*s - 8. Let z be w(8). Suppose 0 = 3*d + 2 - 14. Sort d, z, 1 in decreasing order.
d, 1, z
Let r = 0.03 - -3.97. Let g = -137698/7 + 19637. Let d = g + 34. Put r, d, 3/2 in ascending order.
d, 3/2, r
Let o = -24 - -23. Sort o, -9, 3, 4 in decreasing order.
4, 3, o, -9
Suppose 3*n - n = 4. Suppose -4*d = -0*h - n*h - 6, 4*d = h + 7. Let t = 3 - 2.9. Sort -4, d, t in ascending order.
-4, t, d
Suppose 3*m + 2 = 5*r, -2*r - 10 = -r + 2*m. Put r, 5, 2 in ascending order.
r, 2, 5
Suppose -15 = 4*b - 9*b. Suppose p - 2*t - 2 = -t, b*t + 4 = p. Sort 0, p, -4 in descending order.
p, 0, -4
Let t = -4 - -4.4. Let j = -193/285 + 1/95. Sort -2, j, t in ascending order.
-2, j, t
Suppose 0 = -a + 4*s - 23, 0*a = -a - 2*s + 7. Let i = -27.2 - -27. Let m = -2 - -1. Sort a, i, m.
a, m, i
Suppose -6*n + 60 = -2*n. Put 1, -5, n in increasing order.
-5, 1, n
Suppose 4*y - 8 = -4. Sort -5, y, 5 in decreasing order.
5, y, -5
Let d(u) = u**3 - 6*u**2 - 6*u - 10. Let c be d(7). Let k(g) = g**3 - 4*g**2 - 5*g. Suppose 4*r - 2 = l + 5, 2*r = -5*l + 31. Let h be k(l). Sort c, h, -5.
-5, c, h
Let a = 4 + -4.5. Sort -0.01, -3/5, a.
-3/5, a, -0.01
Suppose -4*d - 3*s + 3 = 8, 5*s - 13 = 4*d. Suppose -u + 23 = 4*t, 4*t = 3*u + 9 + 2. Suppose 0*r + t = r. Sort r, d, 4 in descending order.
r, 4, d
Let s = -3.1 - -2. Let i = -1.2 - s. Sort i, 0.1, -1/2 in decreasing order.
0.1, i, -1/2
Let i = -26 - -25.88. Let b = i + 0.62. Sort 0.4, -6, b.
-6, 0.4, b
Let b be (-24)/40*5/(-1). Sort -5, b, -2, 5 in ascending order.
-5, -2, b, 5
Let u(g) = g**2 - 5*g + 4. Let w be u(4). Sort -1, w, 4 in descending order.
4, w, -1
Let t = -0.5 + 0.8. Put t, 9, 3 in decreasing order.
9, 3, t
Let i be (-4)/1 + -3 + 2. Put i, -4, 5 in ascending order.
i, -4, 5
Let p(z) = 3*z**2 - 16*z - 2. Let v be p(13). Let a be (-144)/v - (-4)/6. Sort -3, 0.5, a in increasing order.
-3, a, 0.5
Let i be (-2)/5 + 432/(-20). Let x = i - -27. Let g(f) = f + 2. Let s be g(-4). Sort 1, x, s in ascending order.
s, 1, x
Suppose h + 4*t = 6 + 10, -t + 13 = -2*h. Sort h, -28, -5 in decreasing order.
h, -5, -28
Let a = -68.9 + 69. Put -11/2, -0.1, a in ascending order.
-11/2, -0.1, a
Let s be (-18)/4*(-1)/6. Let g = 2 - 1.2. Let x = g - 0.6. Put -3/2, x, s in descending order.
s, x, -3/2
Let n = -84 - -50. Let k be (-6)/10 - n/90. Let s = 4 - 0. Sort s, -2, k in descending order.
s, k, -2
Suppose -1 = r - 3. Let h be (-3)/r*-2*1. Suppose 4*n = h*n + 4. Sort 2/9, n, -3/2 in descending order.
n, 2/9, -3/2
Let a be -4 + 3 + 1 + 0. Let g(t) = t**3 + 3*t**2 + 3*t + 2. Let k be g(-2). Suppose k = -5*v + 26 - 11. Sort a, v, 4.
a, v, 4
Let u = 1.3 - 0.3. Let j = 7 - 7.04. Sort 3, j, u in ascending order.
j, u, 3
Let y = 43 + -43. Let s be -2*((-3)/(-15))/(-1). Put y, 2, s in descending order.
2, s, y
Let u = 25 + -26. Sort -2, -6, u.
-6, -2, u
Let b(k) = -2*k - 23. Let z be b(-9). Suppose 3*o = -3*v + 12, -2*o = -3*v + 11 - 4. Put v, z, 1 in descending order.
v, 1, z
Let h = 10 + -13. Let f = 8 + h. Let c be (-1)/((-2)/(-8)*1). Put f, -5, c in increasing order.
-5, c, f
Let g = 19 - 6. Let t = -2.2 + -6.8. Let x = g + t. Sort x, 3, -2/5 in increasing order.
-2/5, 3, x
Suppose -4 = 4*g - 0. Let f(r) = r**2 - 3*r - 4. Let w be f(3). Sort -2, w, g in ascending order.
w, -2, g
Let c = 0.14 + -0.34. Suppose a = -2*a + 6. Suppose a*x = 7*x. Sort -5, c, x in ascending order.
-5, c, x
Suppose 3*v = -15, -4*q + 30 = q - v. Let i(n) = n**2 + 5*n - 2. Let d be i(-6). Let s be 10/d + (-2)/4. Put s, -1, q in ascending order.
-1, s, q
Suppose 5*j = -20, 6 = 3*c - 5*c - 4*j. Suppose -2*f - 5*a + 18 = 0, -26 + 0 = -4*f - c*a. Let x = -19/8 + 61/24. Put f, 3, x in descending order.
f, 3, x
Let v(l) = -l**3 - 7*l**2 + 7*l - 7. Let u be v(-8). Put 4, 7, u in decreasing order.
7, 4, u
Suppose 4*n - 9 = -t, 4*n - 45 = -2*t - 3*t. Let o be 2/(-3) - 12/t. Let u = 25 + -30. Sort 2/13, o, u in descending order.
2/13, o, u
Suppose r + 2*r = -15. Let i be ((-2)/(-6)*-2)/((-2)/3). Suppose d + 4*u - 11 = 0, 0 = -0*d - 3*d + u + 7. Put i, d, r in descending order.
d, i, r
Let m = 29 - 34. Put -2, m, -1 in decreasing order.
-1, -2, m
Let i be 1/2 - 30/(-12). Put -0.01, 0.5, 2/17, i in ascending order.
-0.01, 2/17, 0.5, i
Suppose 2*m = 3*r + 4, -6*m = -5*r - 3*m - 7. Put 2, -5, r, 1 in increasing order.
-5, r, 1, 2
Let g be 4/(-10) + 96/165. Put 2/9, g, 0.2 in descending order.
2/9, 0.2, g
Let i = 2 + -2. Let o be (-3 - 11)*(-3)/6 -