)/(-2)*(-4)/(-40). Is w > b?
False
Let d be ((-55)/33)/(30/(-636)). Is -0.1 at least as big as d?
False
Let q = -1.7 - 5.3. Let u = 88.076 + -88. Let k = u - 0.176. Are q and k nonequal?
True
Let w = -1 + 1. Suppose 0 = 3*i - 2*a + 26 + 6, -i + 5*a = 2. Let p = i - -13. Which is bigger: w or p?
p
Suppose 2*a - 52*i + 49*i = -319, 5*a - 2*i = -792. Which is smaller: -631/4 or a?
a
Let v(u) = 6*u + 9. Let j be v(-5). Let w be -7*1*3/j. Which is greater: w or 3/11?
w
Let p(s) = -5*s + 14 - s**2 - 1 + s + 3*s. Let w be p(3). Let v = w + 10. Which is bigger: 10 or v?
v
Let z be (19 - 18)*(-12)/(-22). Do z and 1/11 have the same value?
False
Let i be (-12)/(-24)*21/(-28). Which is smaller: 0 or i?
i
Let o = 14 - 13.7. Let l = -0.1 - 0.2. Are o and l non-equal?
True
Let g = 232 - 248. Which is smaller: -17 or g?
-17
Let p = -177 - -883/5. Which is smaller: p or -0.072?
p
Let j be (2/(4/2427))/(-3*1). Let t = j + 412. Which is smaller: 7 or t?
7
Let n be (-6)/(-27) + 473/(-792). Let t(o) = 2 + 0*o + 1 - 2*o - o**3 - 4*o**2. Let c be t(-3). Is c greater than or equal to n?
True
Let l be (9/(-23))/((-61)/122). Is -2/7 bigger than l?
False
Let r(h) = 405*h + 8. Let c be r(-1). Does c = -397?
True
Let o(x) = -x**3 + 4*x**2 + 15*x - 15. Let l be o(6). Let t be ((-26)/3)/((-3)/75). Let c = -214 + t. Which is bigger: l or c?
l
Suppose -a - t = 25, 100 = -4*a - 9*t + 10*t. Which is smaller: -30 or a?
-30
Let v(m) = 107*m**2 - 9*m + 9. Let l be v(1). Is 106 < l?
True
Let q(s) = s**3 - 16*s**2 - 25*s + 102. Let y be q(17). Is 0.21 greater than or equal to y?
True
Let z = 98 - 98.45. Let f = z - -1.15. Which is bigger: 1/16 or f?
f
Let y be ((-8)/(-3))/2*1/(-996). Which is bigger: 0 or y?
0
Suppose -4*w = 2*p - 12, p - 53 = -4*w - 45. Let m = 71/38 - 36/19. Are m and w unequal?
True
Let w be 1 + -2 + 6 - 3. Let m = -22 - w. Let j be m/15 - -1 - 1. Does -0.1 = j?
False
Suppose -9*a + 2*a = 2751. Is -394 < a?
True
Let u = -1/22 - -56/869. Which is greater: 0 or u?
u
Let r(b) = -b**2 + 16*b - 15. Suppose 8*g + 15 = 9*g. Let y be r(g). Which is smaller: y or 2?
y
Let f be 2 + -9 + (-2 - -1) - -1. Is -10 at least f?
False
Suppose 0*c + 4*o + 10 = -c, 3*o + 15 = -2*c. Is -4 at least c?
True
Suppose -2*d + 6 = -8*d. Let k = 9 - d. Suppose 3*h + m - 8 = 0, 0 = h - 6*h - m + k. Which is smaller: -10 or h?
-10
Let l(n) = -10*n**3 - 2*n**2 - 4*n - 5. Let p be l(-1). Is p bigger than 7?
False
Suppose y - 11 = 5*w, y = 5*y - 5*w + 31. Let p(o) = o**2 + 13*o + 14. Let g be p(-10). Is g <= y?
True
Let n(v) = 9*v + 62. Let z be n(-7). Which is smaller: z or 8/47?
z
Suppose 14*u - 218 = 594. Is u >= -4?
True
Let j be ((-11)/(-4))/(3/36). Suppose -2*r + 0*r = -4. Let n be r - (-10)/(-5) - 33/(-1). Is n greater than j?
False
Suppose -26*d = -17*d. Which is greater: 1/360 or d?
1/360
Suppose 0*r = 2*r. Let q be (12/12)/(1 - r). Suppose -2*g + g + z = -q, 2*g = -3*z - 23. Is -2 less than g?
False
Suppose 0 = 3*b + 4*k + 392, -b + k = -k + 124. Let j be 1/(-9) - b/2124. Is 1 smaller than j?
False
Suppose -28*c + 35*c = 7. Which is greater: -4/67 or c?
c
Let h be (-194)/97*(-97 - -1). Is h bigger than -1/6?
True
Let s = -2115.84 - -2116. Is s smaller than -5?
False
Let u = 0.2507 + -2.2507. Is u < 30/13?
True
Suppose 2*l + 7 = -19. Let i be 17 - (13/((-26)/(-20)))/(-2). Let w = i + l. Which is bigger: 10 or w?
10
Let r = 1048.4 - 970. Let a = r + -82. Are -1 and a equal?
False
Suppose 54*a = 18*a + 252. Is a bigger than 45/7?
True
Suppose -4*y + 0*y = 0, -2*r + y = 84. Is -44 > r?
False
Let j = 7 + -7. Let f(m) = -2*m + 1. Let k be f(1). Let x = k - j. Is x > 0?
False
Let q(y) = 11*y**2 + 8*y + 15. Let w be q(-3). Which is greater: w or 91?
91
Suppose 0 = -y - 79 - 61. Which is smaller: y or -142?
-142
Let d be ((-75)/(-450))/((-1)/(-6)). Is -2/51 > d?
False
Suppose 7*d = -3*d + 480. Let z be 71/(-52) - (-36)/d. Is 0 != z?
True
Let l = 163/4 - 39. Let c = -65/28 + l. Is c at most as big as 0?
True
Let y = -140 + 139.91. Is 0.7 smaller than y?
False
Suppose 5*g + 22 = -c, 2*c - 7 = -1. Let t(z) = 2*z. Let i be t(4). Let u be (i + -3 - 3)*-2. Which is smaller: g or u?
g
Let f = -2436 + 2449. Which is greater: f or -2?
f
Let t = -71.667 + -0.033. Let b = t + 78. Is -0.1 < b?
True
Let u = -285 - -285. Which is smaller: -0.117 or u?
-0.117
Let s = -3 + 3.021. Let j = s + -0.021. Which is bigger: 2 or j?
2
Let a = -66 + 42. Let w = a - -24. Which is smaller: -0.034 or w?
-0.034
Let q = 26.2 + -26.1. Which is greater: q or 0.6?
0.6
Suppose w = -1, -4*f + 4*w + 16 = 12. Does 6/185 = f?
False
Suppose 21*j + 34 - 160 = 0. Let f = 8 - 3. Which is smaller: j or f?
f
Let v(p) = -2*p**2 - 4*p + 8. Let a be v(6). Let t be ((-11)/a)/(6/16). Is t at least as big as -25/4?
True
Let y = 222 + -608. Do y and -1159/3 have the same value?
False
Let h be 6/(-168) - 16/(-56). Suppose -b - 31 = -2*v - 6*b, 0 = 4*v - 4*b - 132. Is h greater than v?
False
Let i = -1698 + 1746. Is i bigger than 520/11?
True
Let v be 20/12*(-3 + 9). Let g = -16 - -27. Which is greater: g or v?
g
Suppose -15 = -u + 18. Let l(j) = j**3 - 9*j**2 - 20*j + 133. Let d be l(10). Is d < u?
False
Let z = -3192 + 3136. Is -0.09 <= z?
False
Let u = 1 + 7. Let t = 7.81 - -0.19. Let m = t - u. Which is smaller: 0.02 or m?
m
Let c be (-3 - 4)/(26/4). Which is greater: c or -2?
c
Suppose 460 = -74*o + 69*o. Is -89 < o?
False
Let q be (-253)/(-55) + (-6)/10. Suppose -5*i = q*x - 73, 5*i - 4*x = -17 + 114. Is 16 smaller than i?
True
Suppose -y - 30 + 2 = 5*p, p + 5 = 0. Is y <= -42/25?
True
Let g(a) = a**3 + 6*a**2 + 8*a + 11. Let z be g(-6). Suppose -u = 19 + 19. Which is smaller: u or z?
u
Suppose -86*o = -88*o + 166. Suppose 5*s + o = -c, 7 = s + c + 22. Which is smaller: -18 or s?
-18
Let f = 14.87 - 8.67. Is f at least -1/28?
True
Suppose 5*d - 3*b = -8, -d - 5*b = -4*d - 8. Let f be 7*d/(-14) + 2/4. Is -2/145 equal to f?
False
Let q = -9 + 8.92. Let j = q + 0.18. Is j at least -4?
True
Let h be (1/3)/((-10506)/1314 + 8). Suppose -86 = -s - h. Let a be (-54)/(-4) + (-2)/(-4). Which is smaller: a or s?
s
Suppose 4*c - 76 = 2*c. Suppose -4*d - t + 120 + 40 = 0, t + 152 = 4*d. Is c smaller than d?
True
Let i be -9 + (9 - (10 + -6)). Suppose -5*d = -2*d + 21. Which is greater: i or d?
i
Let s(x) = -3*x**3 + 6*x**2 + 26*x + 1. Let y be s(4). Let r = 13 - 6. Is y equal to r?
False
Let v(n) be the second derivative of -n**3/6 + 3*n**2/2 + n. Let w be v(3). Suppose w = -2*r - r. Which is greater: -2 or r?
r
Suppose -4*s - 46 = -3*n, -s + 26 = n - 5*s. Suppose -4*o - n = -6*o. Suppose -5*k - r + 2 = 0, -r + o*r + 16 = 4*k. Which is smaller: -4 or k?
-4
Suppose -1276 = -16*a + 38*a. Is -21 at least as big as a?
True
Let s = -14403926/13 - -1107425. Let g = -569 - s. Is g < 1?
True
Let o = 101/33 + -30/11. Which is smaller: 169 or o?
o
Suppose -60 = -6*u + 2*u. Let t = u - 28. Is t greater than or equal to -11?
False
Let r be 24/12 - 3/(-12). Which is smaller: 1 or r?
1
Let b be 5/(175/(-410)) - (-2)/(-7). Suppose 2*f + 0*f = 6. Let i be b/18*f/23. Is 0 >= i?
True
Let l = 675 + -601. Which is bigger: 1 or l?
l
Suppose 5*o - 103 - 182 = 0. Suppose 5*y + 25 = m - 16, -5*y - o = 3*m. Let l be 0 - (2 + 0) - 7. Is l greater than y?
False
Let p = -960 - -879. Are p and -78 nonequal?
True
Let a be 20/25*(-2660)/8. Is a less than or equal to -268?
False
Suppose 3*s = s + 8. Let b be -10 - (0/(-2))/(-1). Let l = 12 + b. Are l and s nonequal?
True
Let l(s) = -14*s**3 - 2*s + 1. Let j be l(1). Let z be ((-27)/j - 2)/1. Let q = 417 + -419. Which is smaller: z or q?
q
Let s = 657.715 - -115.355. Let z = 766 - s. Let g = 7 + z. Which is bigger: 0 or g?
0
Let h be (0 - -5) + 6 + -13 + 4. Suppose -h*q - 232 = -72. Is q >= -80?
True
Let s be (6 - -1) + ((-711795)/(-14535))/(-7). Which is smaller: -1 or s?
-1
Let f = -64 - -63. Is -3/89 bigger than f?
True
Let d(t) = -5*t**3 - 7*t**2 - 5*t + 16. Let r(u) = 6*u**3 + 6*u**2 + 4*u - 17. Let g(c) = 5*d(c) + 4*r(c). Let q be g(-10). Is q at least 3?
False
Suppose 5*r = r - 20. Let k = 53/10 + r. Let y be 3 - (4 - (-8)/(-8)). Which is smaller: k or y?
y
Let z = -8 + 8. Let a = 0.7 - z. Let i = -9 - -8.8. Which is bigger: a or i?
a
Suppose 3*r + 5*o = 20, 16 = 2*o + 2*o. Suppose r = -2*w + 12 - 10. Which is smaller: w or 