at least as big as j?
False
Let m(w) = -3*w**3 + 9*w**2 + 20*w - 184. Let j be m(8). Is j at most -988?
False
Let t = -7.3 - -3.7. Let c = -149.14 + 150.14. Which is greater: t or c?
c
Let n = -224/3 - -74. Let d(u) = u**3 + 38*u**2 - 2*u - 76. Let b be d(-38). Suppose j = -4*f - j + 2, b = 4*f + 5*j + 7. Which is bigger: n or f?
f
Suppose -18 = 100*x - 102*x. Let c be x/(-2) + 117/(-78). Are c and 2/9 unequal?
True
Let l = 1278 + -1237. Let d = -14 - -39. Let z = d - l. Which is smaller: -17 or z?
-17
Let z = -0.0634 + 0.1264. Let j = -0.0379 + -1.0251. Let u = z + j. Are 3 and u equal?
False
Let m = -509 + 375. Let g = -231 - -98. Which is bigger: m or g?
g
Suppose 0*b = b + 4. Let s(v) = -6*v**2 - 174*v - 23. Let l be s(-29). Which is smaller: b or l?
l
Let g = -2 - -1. Let a be 9 - (922/68 - 5). Let n = a - -145/442. Which is smaller: n or g?
g
Let q = -1.007 + -1.183. Let l = q + 2.41. Let n = -29/4 - -7. Is l smaller than n?
False
Suppose -278*s + 391*s - 4181 = 0. Which is greater: -38/5 or s?
s
Let i be -5 - (3/(-12) - 22565/(-100)). Let t = i - -1446/5. Is t at most 59?
True
Suppose -7 = 4*n - 2*n - 3*k, -12 = 4*n - 4*k. Let h be (-10)/n + -1 + (-174)/45. Is h at most as big as 0.7?
True
Let i be 834005/(-380) + (1 - 6) - (5 - -1). Is i > -2206?
True
Suppose -4*o = 2*m - 2*o + 24, 0 = -4*o. Let r(i) = -i**3 - 11*i**2 + 13*i + 12. Let d be r(m). Let c = -243/4 - -61. Which is smaller: c or d?
d
Suppose 0 = -4*p - 4. Let j = -23468249/163 - -143977. Which is smaller: p or j?
p
Suppose -10 = -4*f - f. Let n be 11/f - 3/6. Suppose n*r - 9 = 4*m + 40, -3*r - 2*m + 25 = 0. Is r less than 8?
False
Let l be 206180/(-176592) - (-7)/6. Which is smaller: l or -1?
-1
Suppose -5360 = -84*f - 1664. Which is greater: f or 41?
f
Let k = -1088 + 1087.4. Is k > -164?
True
Let x be ((-13)/(-507))/(-6 + 3 - -2). Let o(w) = -1 - 1 - w + 6. Let y be o(4). Is x at least y?
False
Let g be (-234)/198 - (-4)/22. Let v = 438/17 + -5745/221. Is v >= g?
True
Let a be -22*(-2)/(-55)*(1 + 6/(-4)). Let f = -0.5 - -0.68. Which is smaller: f or a?
f
Let h = -33419/12 - -8354/3. Is 0.292 smaller than h?
False
Let n = -12207 + 12289. Is -3/25 equal to n?
False
Let v = 22 - 21.926. Suppose 5*n + z + 7 = 4*z, -5*z = -3*n - 17. Is v greater than n?
False
Suppose 25 = t + 23. Suppose t*s - 4*k - 16 = -2*k, 3*k = -s - 4. Suppose s*f = -26 + 156. Which is bigger: f or 28?
28
Let a be (272/72)/((-21)/189). Is -115 != a?
True
Let r = -8807 - -16207/2. Which is smaller: -703 or r?
r
Suppose -486*u = -493*u + 21. Suppose 0 = 3*d + u, -z + d + 113 = 122. Which is greater: -11 or z?
z
Suppose -4*o = -5 - 151. Let v = o + -20. Let u be 3 - (2/2*v - 2). Are u and -14 equal?
True
Let b be (-1 - -4)*138/9. Let v = b - 66. Let a be ((-18)/3)/(2 + v/9). Is a less than 1?
False
Suppose -13*b - 193 + 3940 = -3338. Which is smaller: 2732/5 or b?
b
Let p(k) = 2*k - 29. Let f be p(15). Let c be (f - 21/(-14))/(-1). Is -2 less than or equal to c?
False
Suppose 3*y - 5*y = 264. Let m = 25 - 26. Is m greater than or equal to y?
True
Suppose 4*n - 2*n - 100 = 0. Let h(b) = 116*b**2 - 684*b - 20. Let o be h(6). Which is smaller: o or n?
n
Let k be ((-120)/(-25))/(423/(-26790)). Which is bigger: -339 or k?
k
Let g = -40 - -363. Let a = g + -324. Which is bigger: a or -5/14?
-5/14
Let p = -21 + 115. Let b = p - 101. Which is smaller: b or 2?
b
Let d = -5.9 + 4.9. Let g = -0.0106 + -77.9894. Which is smaller: g or d?
g
Let l = -2567.63 + 2567. Which is greater: 0.5 or l?
0.5
Let t = 428 - -82. Which is smaller: t or 511?
t
Let m = -4382 + 4384. Which is greater: 1.418 or m?
m
Let m be ((-16)/(-3))/((-16)/216). Let y be (m/(-42) - 0)/(4/14). Suppose -4*g - y*a = -3*a + 9, -2*a = -10. Is g greater than or equal to -9?
True
Let r be (-5 + 0 + 6)*184. Let u = r + -139. Which is greater: -1/2 or u?
u
Let h be -199 + ((-28)/(-8))/7. Let z = h - -199. Which is smaller: z or 9/5?
z
Let v = -8254.14851 - -0.14851. Which is bigger: 1/2 or v?
1/2
Let r = -2902.436 + 2902.7. Is r not equal to -2/3?
True
Suppose 0 = 6*r - 2*r + 3*j + 8, 1 = -3*r - j. Is 3/3323 equal to r?
False
Let l = 215957 + -1508284/7. Is 488 < l?
False
Let o be 342/3*(-57)/(-9). Let i = -39708/55 + o. Which is bigger: 0 or i?
i
Let r(b) = b**2 + 15*b + 17. Let z be r(-14). Suppose 0 = -z*c + 4*c + 1. Which is smaller: c or 1/62?
c
Let y = -8733 - -8732. Is 90/563 less than y?
False
Let w = 222 - 251. Let f = w - -30. Is f at least as big as 97?
False
Let v(h) = h**3 - 4*h**2 - 2*h - 2. Let j be v(4). Let a be (-25)/j*4/(-5). Let n = 28/61 - 1289/549. Which is smaller: n or a?
a
Let o = -5653 + 5652. Is 6/545 less than o?
False
Let d be 10878/147609 + (3/(-12))/((-11)/(-4)). Is d at least as big as 1?
False
Let p = -97 - -391/4. Let h = 232 - 235. Let t be (-16)/(-4) - (h + 7)*1. Which is greater: p or t?
p
Let n = 183.184 + -178.9. Let k = n + -4.3. Let s = k + -0.484. Is 0.1 greater than or equal to s?
True
Let x = 19008 - 19000. Is x equal to 121?
False
Let y = 145007/304 - 477. Let i = y - -177/7600. Do -1 and i have the same value?
False
Let x(w) = w**2 + 4*w + 3. Let r be x(-4). Let v be ((-26)/r)/(1/3). Let i = 28 + v. Which is smaller: i or 4/3?
4/3
Let n = -0.505 + 0.827. Which is smaller: n or 0.03?
0.03
Suppose 3*d - 4*d = -50. Let t be (28/(-21))/((-16)/4). Is d at most t?
False
Let v be (-25)/(-2) - 1/(-2). Let f be (5*4/132 - (-6)/33) + 1472/138. Is v bigger than f?
True
Suppose 84 + 7 = 9*s - 260. Which is bigger: 0.04 or s?
s
Suppose -38*n + 5 = -37*n - k, -k = -4*n + 2. Which is bigger: -97/74 or n?
n
Let o = -50 - -64. Let j(t) = -t**2 + 14*t + 4. Let h be j(o). Suppose b + 3*d + 11 = -1, h*d = -16. Which is smaller: b or 7/13?
b
Suppose 13*o - 31 - 37 + 55 = 0. Let r = 5/5039188 + -124851445/17148356764. Let k = r - -6/451. Is o != k?
True
Let o = -12.028 - -12. Let u = 432 - 432.072. Let t = o + u. Which is smaller: -0.5 or t?
-0.5
Let g = 3569419 + -749574821/210. Let p = -9/35 + g. Is 0 at most p?
True
Let z = -5.8 + 0.8. Let w = -0.08 + 0.98. Let g = w - 1. Is z less than or equal to g?
True
Let d = 12 - 0. Let q = 337 - 171. Let c = -156 + q. Which is smaller: c or d?
c
Let l = 0.0301 - -11.8099. Let w = l - 11.7. Is 1 > w?
True
Let s be (-44 + 3)*(11 + -12). Suppose -4*r = 3*m - 154, m + 0*m = r - 35. Let d = r - s. Is -32/7 greater than d?
False
Let c(t) = t**2 - 4*t - 4. Let m be ((-20)/(-14))/5 + 99/21. Let f be c(m). Let w be (-5)/(-15)*12/19. Is f >= w?
True
Let j = 17584 - 33458. Let a = 111304/7 + j. Which is greater: 27 or a?
27
Let x = 4942 - 3470. Which is smaller: -2/5 or x?
-2/5
Suppose 0 = -5*s - d + 2, 3*d + 6 = 5*s - 8. Is 3/1315 less than or equal to s?
True
Let i = 41/351 + -596/4563. Which is smaller: i or 1?
i
Let d be 4 - -1 - (168 + 3) - 5. Let o = -512/3 - d. Which is greater: -0.44 or o?
o
Let o = 169/98 + -398/245. Let m = 0.85 - -36.15. Is m > o?
True
Let z be (27 - (42 - 17))*2/4402. Do -1 and z have different values?
True
Let r(m) = m**3 - 6*m**2 - 6*m + 7. Let n be r(7). Let d(x) = -x**2 + 2*x - 40. Let t be d(-8). Let s = t + 136. Which is smaller: n or s?
n
Let b = 1890/1616407 - -196407232/393286370763. Let a = b - 12/1111. Is a less than or equal to -1?
False
Let q be 1 - 1 - ((-4)/28 + (-9)/(-63)). Which is smaller: q or -1/85?
-1/85
Let c = 18/43 - 577/1892. Which is smaller: 0 or c?
0
Let m = 13417 + -67096/5. Which is smaller: -9 or m?
-9
Suppose 7881 + 7186 = -617*z - 34910. Is z at most -36?
True
Suppose 62*l = 16*l - 322. Let h be 3 + -6 + (-156)/(-15) + l. Which is bigger: -24 or h?
h
Let f be 1128/(-37130)*(-10)/4. Is -4 smaller than f?
True
Let r(v) = -175*v**2 - 16*v - 38. Let q be r(-2). Is -712 < q?
True
Let m be (-16170)/(-6174) + ((-9)/7 - -1). Which is greater: -0.47 or m?
m
Let n be (5 + 7)*(-7)/((-105)/25). Let r = 76 + n. Which is smaller: 98 or r?
r
Let a(q) = -9*q - 51. Let u be a(-6). Suppose u*d = 4*d - 20. Let g be -2*d/(-8)*2/790. Which is smaller: -1 or g?
-1
Let a(w) = 407*w. Let f be a(2). Let x = 54536/67 - f. Suppose -9*r - 7 = 5*j - 10*r, -4*j - 3*r = -2. Is j not equal to x?
True
Let u be ((-2)/21)/(12/(-44) + (-39064)/(-3762)). Is u smaller than -0.05?
False
Let s = 18278087/1948 + -9383. Which is smaller: s or 1?
s
Suppose -3*v - 3 = m, 0*v + 4 = 2