t s be (-2)/7 - (-192)/n. Let a(l) = l - 36. Let h be a(20). Which is smaller: s or h?
h
Suppose -6*r - 14 = -7*r - 2*j, 2*r = j + 3. Let b be (r/(-30))/(29/(-87)). Which is bigger: b or -117?
b
Let k(z) = -79*z**2 - 19*z - 22. Let a(x) = -41*x**2 - 9*x - 10. Let d(r) = 13*a(r) - 6*k(r). Let i be d(1). Which is smaller: -1 or i?
i
Suppose 0 = -31*y - 882 + 15421. Suppose -468*j + y*j = 49. Is j bigger than -2/7?
True
Let v(k) = -k**2 + 81. Let a be v(9). Suppose -24*o + 8*o - 80 = a. Is o <= -41/8?
False
Let g = 52 + -51.9. Is g greater than or equal to -391.7?
True
Let x = 77677/17 - 4572. Let k = x + -5. Which is greater: k or -8?
k
Suppose 17*m = -75*m - 2208. Which is smaller: m or -26?
-26
Let i = 154 + -46. Suppose 46 = 106*c - i*c. Which is smaller: c or -163/7?
-163/7
Let n be ((-60)/7350)/(1222/610 + -2). Is 1 bigger than n?
True
Let k = -194 - -194. Suppose -9*w + 24*w + 465 = k. Is -26 bigger than w?
True
Let t(k) be the third derivative of -k**5/60 + 11*k**4/24 - 11*k**3/6 - 19*k**2. Let b be t(8). Let q be 1336/104 - (-6)/39. Is q < b?
False
Let p be 88144/22029 - 6 - 3*(-4)/6. Which is smaller: 0 or p?
0
Let u = -216.84 + -3.16. Let v = 145 + u. Let i = v + 111. Is i at most as big as -0.1?
False
Let z be (121/(-65) - 618/(-1339)) + 2214/1585. Which is greater: 1 or z?
1
Let h(b) = -338*b - 1612. Let c be h(-4). Is -519/2 at most c?
False
Let q = 79 - 88. Let z = -6.878 + -1.832. Let y = z - q. Which is bigger: 0.1 or y?
y
Let m = -1041 - -1043.284. Let n = m + -0.014. Is 1/4 less than n?
True
Let j = 230 + -235. Let a(p) = p**3 - 9*p**2 + p - 7. Let x be a(9). Suppose -4*k - x + 10 = 0. Is j less than k?
True
Let a(f) = f**2 - f + 1. Let l be a(2). Suppose -t - t = l*t. Which is bigger: 1/51 or t?
1/51
Let x = 2.79 + -2.7. Let m = -75 + 7. Let b = m + 67.8. Which is smaller: b or x?
b
Suppose -100 = 15*d - 19*d. Let i = d - 25. Is 9/16 <= i?
False
Let r(i) = 317*i - 5071. Let l be r(16). Is l at least -22/193?
True
Let l = -114/13 - -368/39. Which is bigger: -2421 or l?
l
Let j(v) = -v**3 + 15*v**2 + 29*v - 47. Let b be j(17). Let a be (15 - 18) + (2 - b/5). Which is smaller: a or 25?
25
Let k = -5558041/53515 - -18/7645. Is -4 <= k?
False
Let d = 5048 + -2169. Is d at least as big as 2878?
True
Let w = -7278 - -7348. Which is smaller: w or 65?
65
Let k be (-64)/12*(-27)/6*1. Which is bigger: k or 68/3?
k
Let u(t) = -t**2 + 64*t - 2*t**2 - 3*t**2 + 7*t**2 - 67*t - 3. Let l be u(4). Let d = -6.03 + 6. Is l at least d?
True
Suppose -108*b - 15491 = 48*b + 10873. Which is bigger: -189 or b?
b
Let s(g) = 7*g - 42. Let f be s(6). Let p be (416/84 - f)*3. Which is greater: 15 or p?
15
Let n = 4 + 1. Suppose 3*p + 2*o = n*o + 48, 3*p - 58 = -2*o. Let d(j) = -103*j + 430. Let g be d(4). Is g smaller than p?
False
Let z(o) be the first derivative of 2*o**3/3 - 3*o**2 + 3*o + 25. Let s be z(2). Let d be (-2)/s - 4/(-88)*-37. Is d smaller than -1?
False
Let l = 621302/109 + -5700. Let n(a) = -a**3 + 6*a**2 - 5*a. Suppose -35 = -4*d + 3*u, -5 = 8*d - 4*d + 5*u. Let p be n(d). Which is bigger: p or l?
l
Let i be (20/(-120))/(1/(-4)*(-18)/(-27)). Is i at least 6/8627?
True
Let s be ((-74)/3654)/((-218)/(-228) + -1). Let k = s - -1/203. Let r be (-4)/(-18) - (-6)/(-27). Is k < r?
False
Let f be (30/50)/(9/15). Which is greater: -1/13658 or f?
f
Let j = -2.097 - -3.1. Let d = 0.003 - j. Which is smaller: d or -162?
-162
Let y be 4/14 - 39*(-22)/231. Suppose y*m = -461 + 469. Is 46/19 greater than or equal to m?
True
Suppose -1277*r = -1208*r + 12972. Are r and -11 unequal?
True
Let x(z) = -2*z**3 - 14*z**2 - 11*z. Let q be x(-6). Let s be (84/35)/(q/(-45)). Suppose s*r - 72 = 9*r. Is r at most as big as 10?
True
Let j be (56/(-84))/((-1)/(-3)). Let m be (j/8)/(78036/336). Which is greater: 0 or m?
0
Let r be 2/(-14) - 230/(-2093). Suppose 2*s + 3 = 3*i + 13, 3*s + 5*i = -23. Which is smaller: s or r?
s
Let d(u) = 3*u**2 + 47*u + 274. Let l be d(-6). Suppose 4*p + 3*o = 407, 2*p - 4*o + 105 = 3*p. Do l and p have the same value?
False
Let s be (27/(-54))/(225/(-70)). Suppose 3*q + 2 + 1 = 0. Which is smaller: q or s?
q
Let y be -12*(1127/(-21) + -9). Let x = y - 780. Is x at most as big as -9?
True
Let b = -6.62 + 74.92. Let p = -68 + b. Let w = 153 + -151. Which is smaller: w or p?
p
Let p = -5365/4224 + -1/384. Suppose -3*r + 5*t = -4*r + 27, -23 = -r - 4*t. Suppose 4*q - 3 = r*q. Which is smaller: q or p?
p
Let b be (978/(-2733)*-1)/((-210)/69). Let m be 9/1822*(-6)/(-9). Let g = b + m. Which is smaller: g or 0?
g
Let j = 1360 + -1370. Let h(r) = r**2 + r - 4. Let w be h(-3). Suppose -w*n - 25 = -5. Is j smaller than n?
False
Let u(n) = n + 4. Let b be u(-5). Let o be ((-10)/(-20))/(3/(-11154)). Let l = -139427/75 - o. Is l greater than or equal to b?
True
Suppose 5*w + 1039 = 4*c, 3*w + 2*c + 213 = -406. Let b be (w/(-2 + 5))/(-1). Let f = b + -115. Is f less than -46?
False
Let s = -4158.2 + 4158. Is s <= 452?
True
Let m = 45479695/2446 - 37187/2. Which is greater: m or 1?
1
Let v = 26209 - 26209. Which is bigger: -344 or v?
v
Let w be ((-796)/(-4488))/(-1) - 2/(-12). Let y be 8 + -6 + 4/1. Let q be (-4)/(-8)*1*y/(-3). Are w and q non-equal?
True
Let x = 34697/77 - -658/11. Let h = -9750 - -9242. Let f = h + x. Is 1 >= f?
False
Let z be ((-4214)/147)/((-2)/39). Are 2231/4 and z unequal?
True
Let l(f) = 15*f + 22. Let k be l(-12). Do -182 and k have different values?
True
Let y = -4/7955 - 55637/95460. Which is greater: y or -2?
y
Let f = -44331/10959962 + 1/57382. Which is smaller: f or 0?
f
Let h(i) = 4*i**2 - 126*i + 811. Let q be h(9). Which is smaller: 64/691 or q?
64/691
Suppose -101*s = -106*s. Which is smaller: s or 3/1823?
s
Let d(o) = 4*o - 135. Let u be d(16). Let y = u + 77. Which is bigger: y or 7?
7
Suppose 975*a - 70 = 968*a. Let u be 4/a + (7098/65)/(-13). Which is smaller: -0.17 or u?
u
Let m be (-4)/94 + 543266/1317504. Which is greater: m or 1?
1
Suppose -9*j + 10*j = 4*h + 28, 2*j = 0. Let l be (2/h)/((-540)/140). Suppose 3*y + 4 - 1 = 0. Which is bigger: y or l?
l
Let r(a) = 22*a**2 - 6*a + 3. Let d be r(-3). Suppose -w + 182 = 4*t, -4*t = t - 3*w - d. Which is smaller: t or 40?
40
Let o be ((-2)/(-1122))/(2/(-166)). Let s = 1/33 + o. Let u = -1/313 - -633/2191. Is s <= u?
True
Let u(c) = -c**3 + 120*c**2 - 347*c - 468. Let a be u(117). Let q(r) = 3*r + 2. Let f be q(-4). Let w be 8/f*(-2)/10. Is w >= a?
True
Let b(r) = -r**3 - 84*r**2 + 744*r + 270. Let j be b(-93). Which is smaller: j or 8917?
8917
Suppose -14 + 28 = 4*k + 18. Are 1/607 and k equal?
False
Let w = 2 + -9. Let z = -19 + w. Let h = -4380/15379 - 2/2197. Do h and z have the same value?
False
Let l be -2*7 - (-11990)/(-275). Which is bigger: l or -58?
l
Let f be (-4)/((-1)/(-12)*8). Let p be (616/(-66))/((-4)/f). Let c(q) = q**3 + 2*q**2 - 5*q - 2. Let i be c(-4). Does i = p?
True
Let y be 244*((-13)/(-104) + (-2)/4). Let v = y + 94. Are 0.16 and v nonequal?
True
Suppose 82*j = 71*j + 110. Suppose 12*q - j*q + 38 = 0. Which is smaller: -134/7 or q?
-134/7
Let c = 3.87 + -7.67. Let t be 2/((-9)/(18/(-4))). Is t less than or equal to c?
False
Let k = 67 + -69. Suppose 0 = -5*v - 0*x - x - 318, -249 = 4*v - x. Let r be 3 - (2/3)/((-14)/v). Is k greater than r?
False
Let c be -4*(-534)/60*(7 - (5 - 3)). Is 173 < c?
True
Let c be ((-104)/693 + (-2)/(-11))/((-330)/990). Is c greater than -1/98?
False
Let j be (-36864)/(-684) + (-2)/(-19). Suppose 2*c = -10*c + 648. Are j and c nonequal?
False
Let p = 35783 - 35786. Is p not equal to -3227?
True
Let n be 8*1/14*1025*8/240. Which is smaller: 2/3 or n?
2/3
Suppose 0 = -49*r - 679 - 105. Let i = -1829/2 - -898. Is r greater than i?
True
Let a be (-75)/13*1071/(-238)*14/3. Which is greater: 121 or a?
a
Let h(a) = -83*a + 2913. Let j be h(34). Which is bigger: 9 or j?
j
Let q = -32390 + 32389.6. Let p = 19 - 8. Let x = p - 7. Which is smaller: x or q?
q
Let j = 225 - 78. Let i = -148.01 + j. Let q = i + 1.71. Is q > -0.2?
True
Suppose 0 = 5*p - 3*j - 1680 - 994, -3*p - j = -1610. Which is bigger: 2678/5 or p?
p
Let x(z) = -2*z + 12. Let s be x(4). Suppose 19*w = 20*w - s. Suppose 3*d - 4*k = 2, 0 = -w*d - 4*k - 8 - 36. Are d and -23/4 unequal?
True
Let r be (54/(-6))/3*(-4)/6. Suppose -r*p + 238 = -m, -2*m - 3*m -