= -3.6 + 2.5. Put 0.1, y, -0.4 in decreasing order.
0.1, -0.4, y
Let o = 6 + -1. Sort -4, o, 0 in descending order.
o, 0, -4
Let c be (-256)/18 + 2/9. Let d be c/20*32/(-56). Let t = -5 + 4.8. Sort t, d, 0 in decreasing order.
d, 0, t
Let u = 61/3 - 21. Sort u, 4, 1, -3.
-3, u, 1, 4
Suppose l = 2*i - 5, 0 = 3*l + l - 3*i - 5. Put -2, l, -4 in descending order.
l, -2, -4
Suppose x + 30 = -4*x. Let a be 3/(-3) + x/(-4). Put 0.3, a, -4 in increasing order.
-4, 0.3, a
Let c = -36 + 36.2. Sort 0.7, -5, 3, c in decreasing order.
3, 0.7, c, -5
Suppose -1 = -4*p - 17. Suppose a - 4*a - 6 = 0. Put a, 3, p in descending order.
3, a, p
Let f be 4 - ((1 - -3) + -1). Let v be 1 - f/((-5)/(-3)). Let n = -1 + -2. Put 2, n, v in decreasing order.
2, v, n
Let x = -4 + 4.3. Sort x, 4, 0.5.
x, 0.5, 4
Let d be 2/((-1*2)/2). Suppose -5*v - 18 = 2*s - 2*v, 8 = -2*s + 2*v. Let h be 1/(-3) - 32/s. Sort 0, h, d in ascending order.
d, 0, h
Let i = 0.14 - -0.26. Sort -0.3, -2/21, i in descending order.
i, -2/21, -0.3
Let p be ((-1)/2)/((-19)/38). Sort -2, 2, p.
-2, p, 2
Let u = 86 - 91. Put u, 0, 1/5 in increasing order.
u, 0, 1/5
Suppose -2*s = -3*w - 3, 14 + 16 = 4*s + 2*w. Suppose g = 0, -2*k - 3*g = -s*g + 14. Sort -2, -5, k.
k, -5, -2
Let o = 68 + -68. Sort 3, 7, o in decreasing order.
7, 3, o
Suppose 10 = 2*q + 3*d, -4*d + 5 - 3 = -3*q. Suppose 2*j = -4*t + 18, -4*t + 6 = -2*j - 0*j. Put j, q, -5 in decreasing order.
j, q, -5
Let s be ((-4)/(-3))/(2/(-47)). Suppose 114 - 21 = 3*a. Let x = s + a. Sort 5, x, -0.2 in decreasing order.
5, -0.2, x
Let m(q) = -q**3 - q + 4. Let h be m(0). Suppose 4*u - 3*c = -c - 8, u + 2 = h*c. Let n = -0.4 - 0. Sort n, -5, u.
-5, u, n
Suppose 5*t = -2*r + 6, 4*r + t - 64 = 4*t. Let v = r - 10. Put -2, -3, v in descending order.
v, -2, -3
Let d = 8.4 - 8. Sort d, -1, 1/2 in decreasing order.
1/2, d, -1
Suppose 9 = 5*t + 3*z + z, 4*t - 40 = 5*z. Suppose t*c = 3*a + 29, a + 9 + 2 = 2*c. Sort 3, c, 5 in descending order.
5, c, 3
Let k(g) = g**2. Let v be k(0). Put v, -2, -2/3 in increasing order.
-2, -2/3, v
Let t = -0.9 - 2.1. Put t, 0.4, -2 in decreasing order.
0.4, -2, t
Suppose 3*s = s - 2. Sort s, 12, 0 in descending order.
12, 0, s
Let y = -0.04 - -0.04. Let x = -2 + y. Let b be (-46)/11 + (-2)/(-11). Put b, 2/11, x in ascending order.
b, x, 2/11
Suppose -2*s + 46 - 16 = 0. Let k = -11 + s. Suppose 4*c = -4*t, -4*t + 9*t + c - 8 = 0. Sort k, -5, t in decreasing order.
k, t, -5
Suppose -4 = -5*q + 1. Let f = q + -4. Let r = -3 - -1. Sort -4, r, f in decreasing order.
r, f, -4
Suppose 2*g = -5*x + 12, -2*x + 7 = x + g. Suppose 2*q - x = 3*q. Suppose -6 + 14 = -2*t. Sort 4, t, q in descending order.
4, q, t
Let g = 152/3 - 50. Sort -2, g, 2/7 in increasing order.
-2, 2/7, g
Suppose 3*x - 16 = 3*a - 2*a, -3*a - 4 = 2*x. Suppose 3*v - 7 = -4*l, x*l + 2*v - 3 = 3. Suppose -2*c - 10 = -4*c. Put c, l, 3 in descending order.
c, 3, l
Let a = -0.35 + -0.15. Put a, 2/9, -3 in increasing order.
-3, a, 2/9
Suppose 4*h = -h - 20. Let r(i) = -i**2 - 5*i - 6. Let q be r(h). Put q, 3, -1 in ascending order.
q, -1, 3
Suppose 0 = -i + 4. Suppose 19 = 3*h - 11. Let z be (-4)/h*15/i. Sort 1/2, -2/5, z in decreasing order.
1/2, -2/5, z
Suppose -5*r = -3*r + 8. Suppose p + 1 = 6. Suppose -4*f - p*u = -5, 5*f + 2*u - 22 = u. Put f, r, 3 in decreasing order.
f, 3, r
Let f = -27 - -39. Let i = f - 4. Let y = i - 6. Sort y, 0.5, 2/3 in descending order.
y, 2/3, 0.5
Let q be (4/6)/((-10)/15). Suppose 0*a + 4 = 2*a. Sort -10, q, a.
-10, q, a
Suppose -5*a - 8 = -4*j, -6*j - 3 = 3*a - 9*j. Sort a, 5, -11 in increasing order.
-11, a, 5
Let d = 13 + -14. Let w be -4 + 4 - d/2. Put w, 2, -5 in descending order.
2, w, -5
Let s = -84.3 - -91. Let d = s + -7. Put 1, d, 2/15 in decreasing order.
1, 2/15, d
Let m be -1*4/6*-3. Suppose j + 25 = 6*j. Put m, -5, j in decreasing order.
j, m, -5
Let h = -10 - -6. Let g be 9/(-15) - (-13)/5. Sort 0, h, g in ascending order.
h, 0, g
Let r(t) be the second derivative of -t**4/12 - 5*t**3/6 + 3*t**2 - 2*t. Let y be r(-7). Let d = -11 - y. Put -2, d, 0 in descending order.
0, -2, d
Let d = 3/5 - 16/35. Let s(w) = -3*w**2 - 11*w + 19. Let y(n) = n**2 + 6*n - 9. Let i(h) = 2*s(h) + 5*y(h). Let g be i(6). Put g, -2, d in ascending order.
-2, d, g
Let k(h) = 3*h**2 - h + 2. Let g be k(1). Suppose -g*w - w = 10. Sort 5, 1, w in increasing order.
w, 1, 5
Suppose 2*t = u + 3*t + 11, 3*u + 25 = -t. Let k = u - -4. Let a = -0.21 + -1.79. Sort -1/5, k, a.
k, a, -1/5
Suppose -13*l = -12*l - 1. Sort -1, l, 11, 0.2 in decreasing order.
11, l, 0.2, -1
Suppose -4*g - 2*j = j + 13, 15 = -5*g - 5*j. Put -2, g, -12 in descending order.
-2, g, -12
Let t = 3 + -4. Let b = 1.9 + 3.6. Let c = b + -5. Put t, 0.3, c in decreasing order.
c, 0.3, t
Let g = -35 + 35.3. Suppose -8 = 3*q - 2. Put 2/11, g, q in increasing order.
q, 2/11, g
Let f = -0.01 - -0.11. Let x = -113/63 + 11/7. Let k = 10 - 5. Put k, x, f in decreasing order.
k, f, x
Suppose -95 = 5*f - 0*f. Let x = -59/3 - f. Let d = 11 - 7. Put x, -5, d in decreasing order.
d, x, -5
Let v = -0.14 - -0.14. Let a = 0 + v. Put -0.2, a, 1/4 in increasing order.
-0.2, a, 1/4
Suppose -12 = -4*i - 0. Let x = i - 3. Let f = -3 - 1. Sort x, -3, f.
f, -3, x
Suppose -4*a = -3*j + a + 5, 3*a = -4*j - 32. Let n(q) = -3*q**2 - 1 - q**3 + 2 + 0. Let i be n(-2). Sort -4, i, j.
j, -4, i
Let x be (3/(-2))/(8/16). Let z be 3/x - 12/(-2). Sort 3, z, 0 in decreasing order.
z, 3, 0
Let u be 63/70 + 2/(-4). Let w = 0.6 - -2.1. Let a = w + -3. Put u, a, 3 in decreasing order.
3, u, a
Let n = -227/3 - -75. Let i = -0.0634 + 0.0534. Sort -3, i, n.
-3, n, i
Suppose 3*k + 17 = -4*t + 2*k, 34 = -3*t - 5*k. Let z = 7 - t. Suppose 3*c - c - z = 0. Put 0, c, -5 in increasing order.
-5, 0, c
Let r = 28 - 29. Put 1, r, -5 in increasing order.
-5, r, 1
Suppose z + 2 - 1 = 0. Put 1, 4, z, -8 in decreasing order.
4, 1, z, -8
Let c be 1/1 + -3 + 3. Suppose -2 + c = k. Let g = -1 - -4. Put -2, k, g in descending order.
g, k, -2
Let m = -21 + 22. Suppose -3*y + 2*z + z = -6, 5*y = 2*z + 13. Suppose -y*d - 19 = -x, 0 = d - 3*d - x - 11. Sort m, d, 2/17 in decreasing order.
m, 2/17, d
Let l = 1196/735 - 4/147. Let h = -9/5 + l. Put 1, -4, h in increasing order.
-4, h, 1
Suppose 2*t - 3*t = 0. Let v(g) = -g**2 - 5*g + 3. Let b be v(-3). Let r = -6 + b. Put t, r, -4 in descending order.
r, t, -4
Let z be ((-2)/4)/((-13)/(-52)). Sort -34, -3, z in decreasing order.
z, -3, -34
Let x = -8 + 13. Suppose f - 2*f + x = 0. Suppose -10 = -r + 2*z, -4*z - 20 = -r + 5*r. Sort f, 4, r in decreasing order.
f, 4, r
Let f = -78 - -79. Put 44, f, -4 in decreasing order.
44, f, -4
Suppose -2*t + 9*y - 6*y + 12 = 0, -t = -y - 4. Sort t, 11, 3.
t, 3, 11
Let g be 2/10 - 34/(-5). Let l = 5 - g. Let a = -5 - -8. Sort l, -3, a in descending order.
a, l, -3
Let z = -1.08 + 1.08. Put z, 0.22, -1 in decreasing order.
0.22, z, -1
Let q be (-3)/(3 + 0)*0. Let c be -1*(-4 - -3)*5. Suppose c + 1 = 2*t. Sort -1, t, q in descending order.
t, q, -1
Suppose 5*r - 9*r = -12, 0 = -4*y + 3*r - 21. Put 10, -2, 5, y in increasing order.
y, -2, 5, 10
Let f = -16 + 20. Let m be f/(-5) - 6/(-15). Sort -1, 3, m.
-1, m, 3
Let q be 32/10*1/2*10. Put q, 2, -4 in descending order.
q, 2, -4
Let n be 0 + 5/(-4) + 1. Let q be (-93)/33 + 4/(-22). Let y = 7.3 - 7. Sort n, y, q in descending order.
y, n, q
Let l be ((-8)/(-14))/((-6)/(-21)). Suppose 0*p = -l*p. Let h be (-2)/((4/(-2))/1). Sort h, -3, p in decreasing order.
h, p, -3
Suppose -x = -5*b + 5 + 6, -3*x - 5 = -b. Suppose 0*y - 5*y + 15 = 0. Let z be y + -2 - 10/7. Put x, z, 1/6 in increasing order.
x, z, 1/6
Suppose 5*x = -5*t + 15, 5*t = 4*x - 5*x + 19. Let q be ((-1)/(-2))/(x/(-12)). Let n(w) = -w**2 + 7*w - 9. Let l be n(q). Sort 1/3, l, -2/3.
l, -2/3, 1/3
Suppose -2*d = -3*d - 4. Let c be 6/2 - (-5 + 3). Put 2, d, c in ascending order.
d, 2, c
Let n = 0.07 - 0.37. Let g = -0.2 - n. Sort g, -4, -3/8.
-4, -3/8, g
Let v be (9/6)/(-3)*10. Let n = 6 - 10. Put 1, v, n in descending order.
1, n, v
Let z be (-1 - -1)/(4*(-3)/6). Sort -5, z, 4, 7 in descending order.
7, 4, z, -5
Suppose -4*l = -l + 9. Sort -1, l, 0.1 in descending order.
0.1, -1, l
Let k be (324/15)/((-6)/(-16)). Let g = 58 - k. Put g, -0.1, 4/5 in increasing order.
-0