er than or equal to i?
False
Suppose -3*i = -8*i - 45. Let f = i - -8. Let a be (81/12 - 7)*16/10. Is a > f?
True
Let t(s) = 257*s - 3602. Let x be t(14). Is x less than -200/57?
True
Let n be (-2)/((-690)/(-8372)*4/(-3)). Let s = 15 - n. Which is smaller: s or -2?
s
Let b be 0*(-9)/(-36) - -55. Suppose b*a = 51*a + 228. Which is greater: a or 231/4?
231/4
Let w be 7 - 4 - 7/((-1358)/(-569)). Are 0 and w non-equal?
True
Let c = -162 + 109. Let h(u) = -u**2 + 62*u - 113. Let p be h(61). Is p >= c?
True
Let k = 34282/1185639 - -16/3913. Are -1 and k nonequal?
True
Let o be 8261/33 - (-2)/3. Suppose -3*g + 59 = -0*b - b, 4*g - o = 5*b. Let p(r) = -4*r**2 + 6*r - 28. Let d be p(3). Which is smaller: b or d?
b
Let l be (-78)/52*(0 + 9/54). Are -13949 and l equal?
False
Let y be 1166/(-33)*15/10. Let i(k) = -k**3 + 2*k**2 + 6*k - 7. Let l be i(5). Which is smaller: y or l?
y
Let t be 12/18*6/(-52). Which is bigger: 34 or t?
34
Let n = 276 - 46. Let c = n + -229.8. Are c and -0.002 equal?
False
Suppose -159*v + 24 = -167*v. Let l be v/((-1215)/(-207) - (7 - 1)). Which is greater: l or 20?
l
Let r = -147.71 + 43.8. Let s = -104 - r. Which is bigger: s or -9?
s
Let o be (-143)/(-21*(-4)/372). Let u(p) = -10*p**2 + 9. Let t be u(-8). Let i = t - o. Is i at most 1?
False
Suppose -2*m = 5*z - 20, 2*z + z = 3*m + 33. Let s(u) = -u + 3. Let c be s(z). Let y = -8 + c. Which is bigger: y or -49/4?
y
Let p = 3138.991 - 3132. Let k = 0.009 + p. Let z = 2.116 + -0.116. Is z >= k?
False
Suppose -k + u = 3, 5*k + 3*u + 15 = u. Let m = 153 + -138. Suppose 0*y + m*y = 90. Which is smaller: k or y?
k
Let r(z) = -z**3 + 3*z**2 - 2*z + 3. Let s be r(5). Let t be ((-2)/6)/(2/s). Let k be (-6)/9*27/(-18)*-2. Which is smaller: t or k?
k
Let j(i) = -i**3 + 3*i**2 - i. Let o be j(2). Suppose o*v + 9 = -3. Suppose 3*d - 5*x = 2*d - 15, -d - 3*x + 1 = 0. Is v at most as big as d?
True
Let k be (-2 - 27/(-15))/(33/165). Which is smaller: k or -2/2799?
k
Suppose -115*y - 99*y = -51*y - 65037. Is 387 bigger than y?
False
Let t = -108276 - -108275.8