Let s = -54 + 249. Let y = s + -198. Is y less than -11/9?
True
Let h be (11 - (-50)/(-5)) + 5/(15/(-4)). Is h equal to -34?
False
Let d be (1/(-2))/(3 - 5332/1776). Suppose 4*z + 183 = -12*t + 17*t, 5*z - 4*t = -d. Which is greater: -43 or z?
z
Let o = -7897 + 686999/87. Which is smaller: o or 1?
o
Suppose 2*d = 2*w - 34, -2*d = -3*w + 65 - 15. Suppose -2*t = w*t - 5472. Which is greater: t or 303?
t
Let o = 0.3 + -0.28. Let s be 573/(-5)*((-100)/(-2))/(-10). Let q = 577 - s. Which is bigger: o or q?
q
Let l = -4567 + 4037. Which is greater: l or -528?
-528
Let h(l) = 2*l**3 - 52*l**2 - 54*l. Let z be h(27). Let i = -51161/34 - -1505. Which is bigger: z or i?
i
Let v be (-294)/(-63) + 4/(-6). Suppose -181 + 173 = -v*s. Suppose 4 = -2*n - s*p, 4*n - 2*p = -4*p - 4. Which is greater: n or -4/15?
n
Suppose 327 = 4*f + i, -5*f + 0*i + 390 = -5*i. Let s be (-40)/(-165)*f/(-6). Which is bigger: s or -3?
-3
Let g be 2/5 + 20/(-50) + 2. Let x = 115 + -60. Let v = x + -44. Do v and g have different values?
True
Suppose 41949*k = 41920*k + 8758. Which is greater: k or 296?
k
Let k(a) = -2*a**2 - 14*a - 56. Let o be k(-5). Let z = -26 - o. Which is bigger: 62/7 or z?
z
Let j(x) = 24*x + 26. Let c(h) = 5*h + 5. Let b(a) = 14*c(a) - 3*j(a). Let s be b(-3). Let d be s/(-3) - 101/12 - 1. Which is greater: -10 or d?
d
Suppose 2*w - r + 206 = 0, -3*r - 141 - 363 = 5*w. Is w bigger than -2?
False
Suppose 49*p + 309878 = -17*p + 25*p. Is p less than -7557?
True
Let k be (-3)/28*462/(-132). Which is smaller: k or -760?
-760
Let r be 1062/(-4)*256/(-288). Suppose 126 = -2*q + 596. Which is smaller: q or r?
q
Suppose 2*y = -3*w + 704, -y + 350 = -0*w + w. Let v = -398 + y. Is -53 > v?
False
Let s = -1894 + 3196. Are 1302 and s unequal?
False
Let u be 2/3 + (-244)/(-3). Let d = -288 + 534. Suppose 3*v - y = 252, v = -2*v - y + d. Is v < u?
False
Let m = 0.5 - -23.5. Let v(y) = y**3 - 5*y**2 + 2*y - 10. Let d be v(5). Suppose 0*w = 5*w - 10, d = 5*t - w - 3. Which is greater: m or t?
m
Suppose 28355 + 65027 = 33*o + 8407. Which is greater: 2580 or o?
2580
Suppose -571 = -5*i + 3*q + q, 5*q = -2*i + 202. Let z be 1/3*i - 2. Let m = z - 30. Are m and -1 equal?
False
Let v be -13*(0 - (-2)/(-6)). Let s(z) = 26*z - 2. Let i be s(1). Suppose -27 + i = -u. Is v <= u?
False
Suppose 95*q = -48*q - 66 - 77. Is q equal to -2/365?
False
Let j = 53387/1204 - 1899/43. Let d = 1 + -1.2. Which is bigger: d or j?
j
Let l = 2.2 + -0.6. Let p = -8352 + 75044/9. Let k = p + 14. Which is smaller: l or k?
k
Let t be (-4811)/(-623) - 1*(2 - -2). Let d = 4519 + -402179/89. Let q = t + d. Is 3 not equal to q?
True
Let k = 585/795434 - 108551105511/23465303. Let j = k + 4626. Is -1 > j?
False
Suppose -27*o = -32*o. Suppose o*m + 4*m = 0. Let b be m/(1 + 0)*3/(-9). Is b > 2/27?
False
Let q be 12/3 + (-214619383)/(-10549). Let u = 20349 - q. Which is greater: u or -1?
u
Suppose -5*k - 424 = -9*k. Suppose -5*m = f - k, 2*m + 3*f - f = 36. Let c(v) = -7*v - 12. Let j be c(-5). Is m equal to j?
False
Let w = -2656 - -2495.7. Let g = w + 175. Let b = g - 15. Is b smaller than 0.3?
True
Suppose 3*c + 6 = -5*j, -c + 24*j = 21*j - 12. Let y be c*2/12*112/(-8). Let v be -3 - 8/(2/2). Which is bigger: y or v?
y
Let j be (88/(-32) + 3)*4. Which is smaller: 19/11 or j?
j
Let o(b) = -b**3 + 5*b**2 - 12*b - 39. Let i be o(-6). Let f = -386 + i. Suppose g = 5*g + 3*w - 168, -42 = -g + 4*w. Is g > f?
False
Let d = -264292 - -264324. Let t = -17165/388 + -1/97. Let a = 44 + t. Which is bigger: a or d?
d
Let z = -16136.16 + 16571. Let j = -462 + z. Let m = j - -0.16. Is 2/9 < m?
False
Suppose 6*l + 5*g = 9*l - 3, 0 = -4*l - 2*g + 30. Suppose -l*p + p = -4*i + 1781, p = 3. Is i greater than 450?
False
Suppose -1 - 22 = 17*j - 6. Is 10 greater than or equal to j?
True
Let t be 59/((-944)/(-96))*2/(-3069). Which is greater: -1 or t?
t
Let g = 0.035 + -1.255. Let v = g - -1.78. Let z = 0.66 - v. Which is greater: z or 13?
13
Suppose 2*t - 6 = -0. Let m be (-124)/(-12) - (-5 - (-1 - t)). Which is greater: m or 11?
m
Let p = -1195/7 + 171. Suppose -3 + 7 = -621*c + 4. Which is greater: c or p?
p
Let d = 5.8 - 11.8. Let n(r) = 68*r**2 - 3. Let w be n(-3). Let s = w + -6705/11. Is s equal to d?
False
Let i be (-868)/(-294)*(-63)/45. Which is smaller: -4 or i?
i
Suppose -2*x - 12 - 22 = 0. Let k be ((-21)/35 - 213/45)*-3. Suppose -k - 14 = 2*h. Which is greater: x or h?
h
Let v = -31 - 19. Let t be -3*1*(v/15)/(-10). Let a be (-24)/10 + 1 + 1. Which is greater: t or a?
a
Let d(r) = -6*r - 8. Let m be d(-7). Let f be 271795/209 + 18/33. Suppose 29*o + 315 = f. Does o = m?
True
Suppose 3*r - 5*l = -94, -55*r + 70 = -58*r + 2*l. Does r = -3/38?
False
Let v = -30/41 - -248/451. Let w(p) = 10*p**3 + p**2 + 11*p + 24. Let c be w(-3). Let n be 2760/c - (29/(-9) + 3). Which is smaller: v or n?
n
Let d be 2/(-3) - ((-444)/9)/(-4). Let u be ((-6)/(-4))/((-93)/48 + 2). Let t = 13 - u. Which is greater: t or d?
t
Let n(d) = -d + 77. Let o be n(76). Which is bigger: o or -22/1373?
o
Let f be 4/(-34) - 24/(-204). Suppose f = 4*r + r - 30. Suppose g = -r*g. Is g smaller than -1/14?
False
Suppose 2*c - 538 = 2*f, -2*c - c = -2*f - 808. Let j = 209 - c. Which is greater: -63 or j?
j
Suppose 192 = -6*x - 6*x. Let k = x - -351/22. Which is smaller: -0.4 or k?
-0.4
Let g be -4 + 6 + 7 + -60. Let q be ((-8)/30)/((-17)/g). Suppose -5*c - i = 0, 3*c - 18 + 0 = 3*i. Which is smaller: c or q?
q
Suppose -500 - 421 = -d. Is d >= 920?
True
Let o = -3027 - -15158/5. Is o != -0.014?
True
Let s = 1911 - 1116. Let b = -623 + s. Which is smaller: 171 or b?
171
Let l = -33098/177891 + 58/903. Which is bigger: 1 or l?
1
Let g = -283.497 - -285.5. Let x = g - 0.003. Let h be 2/(-9)*(-9)/27. Are h and x non-equal?
True
Let i be 8/28 + 418/(-1512). Let m = -1.9147 - -0.9147. Is m greater than or equal to i?
False
Let j = -796885493/915 + 870913. Which is greater: 0 or j?
0
Let c = 7346.4 - 7327. Is c greater than or equal to 8?
True
Let i(w) = w**3 + 4*w**2 - 68*w - 69. Let d be i(-10). Is d less than or equal to 44?
True
Let i be (-2)/((-9)/(16374015/50360)). Let k = 4/1259 - i. Let c = 727/12 + k. Is c greater than -13?
True
Suppose 5587 = -5*d - 4*j, 2253 = -130*d + 128*d + j. Is d smaller than -2243/2?
True
Let i = 12/163 - -9696/1141. Is i greater than 9?
False
Let f = -9019 - -9018. Which is smaller: f or 1/9967?
f
Let u be 3/((-21)/28) - (-5 + (-4 - -4)). Is u smaller than -1081.7?
False
Let r(z) = -154*z + 2847. Let k be r(-39). Is 8855 < k?
False
Let i be (-116)/203*-14 + 11292/(-1414). Is 0 > i?
False
Suppose 5061 = -155*q + 52336. Is 305 at most as big as q?
True
Suppose 5*p - 28 = 8*z - 6*z, 2*z = -8. Suppose 2*c = -p*g - 86, -3*c - 45 - 36 = 4*g. Is g at most as big as 6?
True
Let i(z) = 5*z + 37. Suppose 0*v - 5*v = 0. Let k be i(v). Is k not equal to 42?
True
Let w(s) = 48*s**3 - 2*s**2 - 2*s - 1. Let k be w(-1). Let m = -119623 + 119576. Is m greater than k?
True
Let h be (18 + -25)/7*919/2. Which is smaller: h or -461?
-461
Let a(t) = 12*t**2 - 26*t - 216. Let s be a(-15). Is s != 2874?
False
Let l = -227 + 111. Let h be (0 + 92)*29/l. Which is smaller: 0.3 or h?
h
Let b(i) = -18*i + 103. Let p be b(7). Let l = -1 + 1. Suppose -s = 2*c + 19, l = -s - 2*s + 4*c - 77. Is p not equal to s?
False
Let d(k) = 40*k**2 - 9*k - 60. Let x be d(-5). Let o be (1 - -1)/((-3900)/x + 4). Which is greater: o or 49?
o
Let p = 92 - 82. Let d be p/(-45) - (-5)/(-18). Let f = 0.04 - -0.06. Which is bigger: f or d?
f
Let u be (-10)/(-130) - 33418/273. Is u smaller than -121?
True
Suppose o - 4*t - 10 = 0, -37*o + 5*t = -38*o + 37. Is o equal to 113/5?
False
Suppose 172 = -2*c - 614. Let v be (-635)/20*(-6)/c. Let u = v + -2/131. Is u at least 1/3?
False
Suppose 0 = 19*n + 75 + 80 - 3. Is n greater than or equal to -8?
True
Suppose 20*m = -358 + 338. Which is greater: -4/327 or m?
-4/327
Let v be (-2)/(-16) + 7/((-224)/68). Let h(i) = -78*i + 58. Let m be h(v). Which is greater: 216 or m?
216
Let j be -1*(0 + -2) - (1 - 0). Let t be (j - 10)*70/(-462). Is 1 smaller than t?
True
Let d = 35915 - 35754. Which is smaller: 2108/13 or d?
d
Let a be 1*-9*4/12. Let w be 21/a - (-23)/3. Which is greater: -5 or w?
w
Let m be (11*120/396)/(28/6). Let g be 0/(-3) + (