*s - 15 + 59. Let p be j(s). Is p at least as big as 2/37?
False
Let h be -2 - (6/(-39) + 8780/(-52)). Let x = -166 + h. Which is greater: x or 8?
8
Let t = 90.1 + -90. Let a = 51 + -34. Let d = a + 19. Do d and t have different values?
True
Let l = -2834.6 + 2828. Which is bigger: l or 31?
31
Let p be (5*(-36)/45)/((-2)/19). Let s be ((-156)/p)/(6/(12/2)). Let o = s - -1143/209. Which is bigger: 0 or o?
o
Let j = 79.36 + 11.64. Is j < -20.5?
False
Let a = -11.44096 - -0.04096. Do -0.1 and a have the same value?
False
Let y = 0.027 - 0.151. Let k = 0.754 + y. Let w = k + -0.75. Which is smaller: w or 0.1?
w
Let b = -514.1 + 647. Which is smaller: b or 0?
0
Let l(m) = 4377 + 12*m + 4338 - 8666. Let s be l(-4). Which is greater: 27/31 or s?
s
Let s(i) = i**3 + 3*i**2 + i + 18. Let n be s(0). Let r be 6/n + 566/(-6) - 4. Let t = r + 1961/20. Is t < 2/13?
True
Let x be ((-8)/(-36))/((-24)/54)*134. Which is greater: 14 or x?
14
Let x = -3929 - -3819. Let g = 256 + -366. Is g >= x?
True
Let b(l) = 60*l - 19. Let d = 629 - 627. Let j be b(d). Which is smaller: j or 102?
j
Let o be (2079/1540)/(15/(-25)). Which is greater: 85/4 or o?
85/4
Let h = -0.07264 + -0.92736. Is h bigger than 396?
False
Let w be ((-72)/744*12/54)/((-4)/(-6)). Let j(g) = g**2 - 5*g + 3. Let o be j(4). Let h be o + 0 - (0 + 0). Which is smaller: h or w?
h
Suppose 11*r + 588 = 93. Let a = 65 + r. Let g be (11/55)/((-14)/a + 1). Is g greater than or equal to 2/3?
True
Let u be (-155)/1400 + 3/21. Which is bigger: u or -1?
u
Suppose -2*h - 2*h = 2*t - 128, 2*t - 134 = -2*h. Suppose 3*c - c = t. Let w be (-2)/15*(-5)/(c/3). Which is bigger: 0 or w?
w
Let i be 34/8 - 4 - 2312/(-64). Do 37 and i have the same value?
False
Let h = 2079 - 2155. Is -37 smaller than h?
False
Let l = 2.2 + 113.8. Let b = l + -165. Let d = b + 47. Which is bigger: d or 1?
1
Let i = -5 - 47. Let l = i + 111. Let r = l - 59.12. Is r greater than 0.2?
False
Let y = 397 + -5953/15. Let l = 190 - 123. Let s = -68 + l. Which is greater: y or s?
y
Let i(r) = 5*r**2 - 8*r + 12. Let j be i(3). Suppose -d - 42 = -0*d + 5*o, -4*o + 107 = -3*d. Let z = d + j. Are -6 and z nonequal?
True
Let h be (-5 - 54/(-10)) + (-216)/15. Let x be (6/(-3))/2 - 31. Let g = h - x. Which is greater: g or 19?
19
Let u(d) = 22 - 11*d - 71 + 8*d - 24. Let a be u(-16). Is a < -118/5?
True
Suppose 2*t - 2179 = -3*d, 0 = 4*t + 635*d - 638*d - 4403. Is t at least 1101?
False
Let y = 1.7 - 0.7. Let n = -685.36 - -312.45. Let w = -373 - n. Is y >= w?
True
Let m = 3250 + -3279. Is m greater than -0.38?
False
Suppose n - 68 = -3*n. Let g = 12335 + -12334.4. Is g less than n?
True
Suppose 5*n - 4231 = j, 171*j - 2589 = -3*n + 166*j. Do n and 847 have different values?
True
Let n(p) = -23*p + 3*p**2 + 21 + 18 - 7*p**2 - 6*p + 6*p**2. Let d be n(12). Let t = -50 - -28. Is t > d?
False
Let a be (198/(-36))/((-33)/6). Which is smaller: 76/165 or a?
76/165
Let a be (-9)/5 + (-12 - (-649)/55). Let p be (207/(-92))/(a/216). Which is greater: p or 241?
p
Let a = 466.002 - 466. Let x = a - 0.102. Is x greater than -95/2?
True
Let w be (-3 + 198)*(-11766)/(-4505). Is 510 equal to w?
False
Let y be (-845)/(((-15)/(-10))/(9/(-6))). Is y at least 839?
True
Let o be 13 + -30*(-24)/(-60). Which is smaller: o or 1/1179?
1/1179
Let f(z) = 12*z - 4. Let w be f(-3). Let d(m) = -5*m + 137. Let v be d(26). Let s be (-202)/5 - v/(-5). Which is greater: s or w?
s
Let n = 206753299/3035 - 68123. Which is bigger: -1 or n?
n
Let b(c) = 3*c**2 + 431*c - 866. Let j be b(2). Let l = -17 - 15. Let s = l - -79/2. Which is smaller: s or j?
s
Let o = 10356 + -10253. Is o greater than 76?
True
Let k(f) = -f**3 - 4*f**2 + 5*f. Let c be k(-5). Suppose 3*s - 20 = -2*s. Let y be s/(-10) + (-232)/(-530). Is y at least as big as c?
True
Let l(b) = 4*b - 18. Let m(o) = -1. Let z(n) = n - 3. Let x(s) = -2*m(s) - z(s). Let h be x(0). Let p be l(h). Is 0.05 < p?
True
Let l = -2/9973 - -90125/1835032. Let t = 5013/920 - l. Is t >= 4?
True
Suppose -4270*j + 92890 = -4235*j. Which is greater: j or 7960/3?
j
Let t(u) = -u**2 - 12*u + 43. Let x be t(-15). Let q be (531/x + -2)*24/(-30). Are 215 and q nonequal?
True
Let l = 54/67 - 53540/66263. Which is greater: l or -1?
l
Let f = 0.041 - -2.259. Let t = 2.324 - f. Let h = t - -1.976. Which is greater: h or 0.7?
h
Suppose -3*b + 170 = 5*w, 102 = 4*w - w + 2*b. Suppose -10*z + 120 = -w*z. Which is greater: z or -7?
z
Suppose -596 = 39*n + 67. Which is bigger: -476/27 or n?
n
Let i = 0.1009 - 0.0612. Let g = -8.0397 + i. Which is greater: g or 33?
33
Let w be (2 + -3)/1*29. Let u = 33 + w. Suppose -3*r - u*x - 24 = 49, -3*r = -x + 53. Which is bigger: -20 or r?
r
Let s be 0/(-1) - (0 - 2). Let p = -1 + s. Let z = -10733/25792 - -174/403. Which is smaller: z or p?
z
Let k(a) = a**3 + 6*a**2 + 2*a + 12. Let f be k(-6). Let w be f + (5 - (-26)/(-6)) + -13. Does -12 = w?
False
Suppose -2*u + 68 = -2*m, -5*u + 36 = -m - 3*u. Let v be (-11 - -7)*3/(-3) + m. Is -28 at most as big as v?
True
Let m be (-289890)/(-63) + 11/7 + -1. Let o be (m/(-12))/(6/(-4)). Let k = o - 253. Which is smaller: 1/2 or k?
1/2
Let f = 31.5 - 30. Let j = f + -0.74. Let b = j - 0.96. Are -1.9 and b unequal?
True
Let x = 155026 + -155018.1861. Let t = -0.0739 + x. Let o = t + -8. Is 1 greater than or equal to o?
True
Let z(h) = 3*h**2 + 83*h - 27. Let n(o) = o**3 - 5*o**2 - 3*o. Let s be n(4). Let w be z(s). Which is smaller: w or 5/17?
5/17
Let a = 999 - 1080.9. Let j = a + 82. Is j at most -26?
False
Let v(r) = 286*r - 39. Let j be v(1). Suppose -3*n = -g - 2*n - 121, 2*g = -3*n - j. Is g <= -122?
True
Let m = 37154 - 2415021/65. Which is greater: m or -1?
m
Let w = 0.5 + 13. Let r = w - 13.8. Which is smaller: r or 1/5?
r
Let b = -6373 - -6373.03. Is -211 < b?
True
Let p(g) = -37*g + 226. Let a be p(0). Which is smaller: 221 or a?
221
Let w(h) = -14 + 51*h**2 - 2*h**3 + 2*h + 3*h**3 - 54*h**2. Let b be w(4). Is b less than 1/9?
False
Suppose 123*g - 34*g + 1 - 1 = 0. Which is smaller: g or -8/161?
-8/161
Let k be -6 - (4 + 3/(-1)). Suppose -1 - 3 = 2*v. Let o be -2 + 738/329 - v/k. Which is smaller: 0.5 or o?
o
Let n = 206457/31762 - 2/15881. Which is bigger: -3/22 or n?
n
Let q = 215123879/10 + -189524082757/8810. Let b = -2/881 + q. Is 3 greater than b?
False
Let r = -0.3 + 0.1. Let w = 8.937 + -9.47. Let p = 0.233 + w. Which is bigger: r or p?
r
Let v be (-6 + 13 + -3 - 5) + 5. Suppose 0*k + 3*k - 3*t = 1791, v*k - 2424 = -5*t. Do k and 601 have different values?
False
Let g(b) = -15*b - 16. Let i be g(0). Let f be (-1394)/i*(-12)/(-10 - -4). Which is bigger: f or 175?
175
Let s = 882/1955 + -20/391. Which is smaller: s or -8123?
-8123
Suppose -2*g + 0 = -10. Suppose g*z + 20 = 2*d, 4*z + 3 = -3*d + 2*d. Let n be (7/z - -3) + 100/8. Is 13 at least n?
True
Let s = 686 + -500. Let m be (732/s)/(-2) - -2. Is 1 less than m?
False
Let m be 14194/(-1057)*14/2. Which is smaller: -10 or m?
m
Let a be (-235)/3666*4/25. Suppose 0 = 34*n - 32*n - 2. Which is smaller: n or a?
a
Let w be -1 + -1 - (-60 - -56). Which is bigger: 901/3 or w?
901/3
Let y = -398/2065 + 8/59. Let d(a) = a**2 + 102*a - 1489. Let w be d(13). Which is smaller: w or y?
y
Suppose -5*z - 639*b + 651*b - 746 = 0, -z + b = 152. Which is greater: z or -178?
z
Let n be (12 + 0 + -13)*-1. Is n >= 31/18?
False
Let a be (-2)/20 - 228/120. Let q be (-4)/a + -3 - 4*10. Is q at most as big as -42?
False
Let f = -128 + 199. Let o = f + -72.6. Let t = 0.9 - 0.7. Which is smaller: o or t?
o
Let j = -149 + -344. Let r = 493.38 + j. Is -0.2 < r?
True
Let r = -30571.188 + 30570. Which is bigger: 1.2 or r?
1.2
Let d be 23 + (0 - 1) + 2. Suppose 26 - 91 = -13*s. Suppose -82 + 9 = -4*a + 3*o, -s = -o. Is a at least d?
False
Let o = -0.0129 + 3.3229. Let b = 3.21 - o. Is b at least -90?
True
Let x(n) = -2*n + 294. Let f be x(59). Suppose -80 = -5*i + 810. Which is smaller: f or i?
f
Let y be ((-46)/4)/((-76590)/66600). Let b = -39 - -66. Suppose 2*l + l - b = 0. Is l >= y?
False
Let j be (-3 - -2)*(-6)/(-54)*0. Which is smaller: j or 1/207?
j
Let z be ((-1548)/215)/(1 - 7/5). Suppose z*j = 3*j + 15. Which is bigger: j or -0.41?
j
Let m be (-1)/(0 + -2 - -1). Let w be (19*m/(-8))/((-1)/52). Is w less than 125?
True
Let y(v) = v - 20