267. Is -4.27 greater than i?
False
Let s = 23 + -41. Let d be -68*-2*(-32)/256. Which is bigger: s or d?
d
Let d be ((-590)/4)/((-8)/304) - -6. Let h = -645269/115 + d. Which is smaller: h or -1?
-1
Let s be 2302/(-910) - -2 - 0. Let q be (2/(-5)*-2)/((-2587)/1990). Let x = q - s. Which is bigger: 0 or x?
0
Let r be (4/12)/((72/81)/(-4)). Let y be (8/(-10))/(2/10). Let s be (-1 - y)/((-1)/1). Are s and r equal?
False
Let n be 2*-4*22/(-440). Which is smaller: 2347 or n?
n
Let y be ((-7976)/14)/((-218)/(-763)). Is -1993 >= y?
True
Let q be (11/(-44))/((-1)/404). Let d = 123 - q. Which is smaller: d or 23?
d
Let g = 4 + -15. Let x(t) = -32*t + 51. Let w be x(2). Which is smaller: g or w?
w
Let v be (2384354/(-36))/7 - (-16)/72. Let m = v + 9657. Does m = 197?
False
Let c(s) = s**3 + 14*s**2 - 18*s - 90. Let r be c(-8). Is r > 438?
False
Let p = 11.3 + -49.3. Let w = 18.9 + p. Let m = w - -19. Which is smaller: -1 or m?
-1
Let h(w) = -8*w**3 + 121*w**2 + 23*w - 85. Let d be h(11). Is 4162 at most d?
False
Let p(t) = 2*t + 12. Let f be p(-4). Suppose 18 = -l + f*l. Let q be -2 + 5 + 1*3. Are l and q nonequal?
False
Suppose 2*z + 5*v + 6 = -17, 0 = 4*z + 3*v + 25. Let k be 2/z*(-4 + 6)*0. Does 0.16 = k?
False
Let y = -27.1698 - 0.0302. Which is smaller: 10 or y?
y
Let o = 11 - 16. Let j(i) = -15*i - 11. Let y be j(o). Let n be (16/y)/((-62)/16). Is n < 0?
True
Suppose 2*q + 5*a + 125 = 0, -5*q - 41*a - 298 = -43*a. Is -60 greater than or equal to q?
True
Let i = -309835606/249 - -1244325. Let u = 151395/83 + -1824. Let l = i + u. Which is smaller: 6 or l?
l
Let x(c) = -c**2 + 90*c - 1947. Let b be x(36). Is b <= -166/87?
True
Let x(y) = y**2 - 8*y + 35. Let w(k) be the third derivative of k**5/5 - k**4/24 - k**3/2 - 10*k**2. Let b be w(-1). Let a be x(b). Is a != 54?
True
Let k = 4911 + -17537. Is k < 0.1?
True
Let o = -4148 - -4394. Is -2.1 less than o?
True
Let m = 116957992/757 - 154502. Does -1 = m?
False
Let t(i) = -i**3 + 15*i**2 + 39*i - 4. Let b be t(17). Let j = 137 + -55. Is j at least as big as b?
True
Let s(f) = 2*f**2 - 93*f + 112. Let l be s(-40). Which is smaller: 7033 or l?
l
Let z = 73.228 + -1299.868. Let d = z - -1227. Let v be (-2)/6 + (-2)/(-6). Which is bigger: d or v?
d
Let b be (7/10122)/(7 + 455/(-63)). Which is smaller: b or 1?
b
Let g = -17066 + 17040.3. Do g and 0.1 have the same value?
False
Suppose 2*n = x - 4, 4*x = -0*n + 2*n + 4. Suppose 5*s - 22 = -2*j, j = -x*j - 5*s + 21. Let u be (-1 + j)/2 + 77/49. Is 1 at least u?
False
Let w = 0.393 - 0.4. Let j = -4186 + 4183.993. Let v = j - w. Is -1 at least as big as v?
True
Let l = -605 + 582. Let f = l + 23. Which is bigger: f or 328?
328
Let t be -6 - (8/(-3))/(95/255). Which is smaller: t or 1?
1
Suppose -10 = -4*c - 2*g, 215*g - 216*g + 3 = 0. Is c smaller than 18/65?
False
Let x be (-1 - 2)*6/(-117). Let g be (-5 + (-27)/(-5))*24/9 + -1. Which is smaller: g or x?
g
Let t = -22 + 29. Let x = t + -25. Let h = x + 14.6. Are h and 1 nonequal?
True
Let z be (-9 + 3)/2 - (0 + -1). Let h be z*(1 + 1/(-2)). Let y be (-3)/(-4)*(-2)/24. Is y > h?
True
Suppose -3*n = -2*g - 218, -5*g + 0*g + 25 = 0. Let a = -72 + n. Suppose 0 = -3*q - 12, 3*q = -4*w + a*q - 4. Is -5/2 at least as big as w?
False
Let r(t) = -47*t + 39. Let s be r(-1). Let h = s + -96. Is -23 equal to h?
False
Let d be -14 - (1 + 4 + -10). Let h be (-6)/d*(-16)/32. Suppose -5*u = 4*p + 6 + 19, 4*u + 24 = -4*p. Is h less than or equal to u?
False
Suppose 0 = -4*l + x - 1, -2*l - 3*x - 4 = -7*x. Suppose -4*n - 78 - 78 = 0. Let q be 1*(-28)/(-30) + 13/n. Which is smaller: q or l?
l
Suppose -17*u + 18*u - 55 = 0. Let h be (-54)/(-80)*488/(-6). Let v = h + u. Is -1 < v?
True
Suppose 3*c + 4*d - 4 = 0, -3*c = 2*c - 3*d - 26. Suppose 5*o = y - 5, y - c*o + 44 = -3*y. Let u be 3/1 - ((-66)/y - 1). Which is smaller: -6 or u?
-6
Let a = -18064 + 16144. Is -13432/7 != a?
True
Let q = -24 + 26. Suppose 4*w - 5*w + 4 = 0. Let y be w/5*55/33. Which is smaller: q or y?
y
Let s be -4 - ((8 - (-2 - -3)) + 29 + 929). Is -967 greater than s?
True
Let j = 8290 + -20489. Let f = j - -3183944/261. Is -1 at least f?
False
Let i be (-2)/(-9) - 773/(-9)*2. Suppose 0 = -4*v - 4*b + i, 0 = -0*v - v + 5*b + 55. Suppose 4*z = -v - 39. Is -23 less than z?
True
Suppose -5*o = 2*z + 27, -5*z - 32 - 22 = -o. Let d(a) = -a**3 + 50*a**2 + 48*a + 143. Let r be d(51). Which is greater: z or r?
r
Suppose -60 = 7*c - 53. Let n be (112/(-21) - -5)/(c/(-11)). Which is smaller: n or -3?
n
Let l be (62/(-16))/(4*7/(-868)). Let c = l - 120. Let o be 2/(-2)*(1 - 4). Which is smaller: c or o?
c
Suppose 0*b = 3*b + 36. Let p(j) = -j**2 - 8*j + 18. Let z be p(b). Let n be 4/z - (-7002)/(-135). Which is greater: n or -51?
-51
Let u be 8 + 0 + 125/(-150)*(-27)/(-2). Which is smaller: 15.1 or u?
u
Let j = 415.8 + -4.8. Let v = j + -734. Which is smaller: v or -0.1?
v
Let y be -7 + 6 + (-6)/(-1). Suppose i - 1 = -s, 4*i - y = -5*s - 2. Let l be (-111)/(-39) + (-4)/(-26). Which is smaller: i or l?
i
Suppose -3*c - 3 + 0 = 0. Let a = -1402421 + 284692151/203. Let d = a + -23/7. Which is bigger: c or d?
d
Let i be -3 + (-6 + 3)*((-1416)/171 + 1). Which is bigger: i or 20?
20
Let j be (-24)/16*16/(-24) - -165. Which is smaller: 216 or j?
j
Suppose 9*d + 10 = 7*d. Let v be ((-1)/d)/((-116)/(-290)). Which is bigger: v or 0?
v
Let c be (-582913)/36023 + 16 - 6/(-65)*(-130)/(-52). Let o(g) = g**2 - 2*g + 1. Let q be o(1). Is q != c?
True
Let s(a) = -a**2 + 18*a - 7. Let f be s(12). Let h = -1786 + 1851. Do f and h have different values?
False
Suppose 0 = -2*b + 2*u + 10280, 5124 = b - 41*u + 44*u. Is b at most as big as 5138?
True
Let t = -1325.93 - -1327. Let y = -0.07 + -0.5. Let w = t + y. Which is smaller: -8 or w?
-8
Let h(c) = c**3 - 14*c**2 + 21*c + 223. Let r be h(8). Let v(u) = -u**2 - 8*u - 4. Let w be v(-6). Is r not equal to w?
True
Let g = -18262.523 - -18037. Let h = g - -0.523. Is h <= 1/3?
True
Let f = 12871 - 12624. Are 255 and f non-equal?
True
Let m = 180 - 107. Let u be m/(7 + -7 - (-3)/3). Which is smaller: u or 1?
1
Let j = 291.551 + 28.449. Let q be 6/21 + 8/(-28). Which is greater: j or q?
j
Let l be (-8)/(-2) - (-4 - (108/(-12) + -1132)). Is -1130 < l?
False
Suppose 4*c + 5*l - 19 = 0, -5*l = c - 2 + 1. Suppose -c*w = -12*w + 72. Suppose 4*k = 2*n - w, -2*n - 4*k = 11 + 1. Which is bigger: n or -24?
n
Let m = 0.14 + 0.48. Let s = m + -0.28. Let c = s - 0.24. Which is smaller: c or 0.002?
0.002
Let j = -470 - -418.46. Let g = -52 - j. Which is smaller: 1 or g?
g
Let q = -97 + 138. Let j = q + -75. Let z = j + 52. Is -1 greater than or equal to z?
False
Suppose 0 = 2*q + 329*r - 333*r - 268, -q + 133 = -3*r. Which is greater: 1498/11 or q?
1498/11
Let l = 477 - 479.01. Let u = l - -0.01. Let y = 25884 - 25863. Which is smaller: y or u?
u
Let d(h) be the second derivative of 0*h**3 + 0 + 4*h**2 - 1/6*h**4 + 12*h + 1/20*h**5. Let a be d(0). Is 39/5 greater than a?
False
Let o = -1482/29 - -163574/3219. Do o and -3 have the same value?
False
Let m(l) = -2*l**3 + 6*l**2 - 85*l + 80. Let i be m(1). Is -2/24223 greater than i?
True
Let f = -100 - -94. Let y be (-3 - 0/(-4))/(f/8). Which is greater: y or 6?
6
Let n(s) = -s**3 - 146*s**2 - 266*s + 3196. Let p be n(-144). Let f(w) be the second derivative of -9*w**3/2 - w. Let q be f(-1). Which is smaller: q or p?
q
Suppose 0 = -162*r + 161*r - 8, 5*r = -3*m - 40. Which is bigger: m or -1/319?
m
Let y be (16/(-6))/((-4)/(-30)). Let c(w) be the first derivative of -w**4/4 + 14*w**3/3 + 16*w**2 - 18*w + 290. Let l be c(16). Which is smaller: y or l?
y
Let b be -438 - -455 - 643/60. Is 7 greater than or equal to b?
True
Suppose 94*m + 53759 + 105756 = 10619. Are -1/4 and m nonequal?
True
Suppose 13*o - 10*o = -2*k + 929, -o + 468 = k. Which is smaller: k or 477?
k
Let b(s) = -2*s**3 + 7*s**2 + 54*s - 17. Let q be b(-4). Which is smaller: q or 573?
q
Let d = -12 - -57. Suppose 0*m + 5*m = 2*h + d, 4*h - 15 = -5*m. Let q be -1*(-2)/12*0 + 4. Is q smaller than m?
True
Suppose -138*v + 129*v = -36. Let y be (-48)/(-96) - (1 - 3/v). Let x be (-13)/(-2) - (-2)/(-4). Is x > y?
True
Suppose 67 = -0*h - h. Let r = -0.39 + 0.49. Is h at least r?
False
Let v = -7142 + 7311. Is v <= 27?
False
Suppose 116 = 4*b - 40.