s smaller: b or 2?
b
Let m(h) = 6*h + 78. Let j be m(-10). Let n = 18 - j. Which is smaller: -2/91 or n?
-2/91
Let t = 0.09 + 0.1. Let w = t - -5.81. Let c = -444.99 + 445. Which is bigger: c or w?
w
Let w = 2.2 + -0.2. Let r be (-38)/8 + (-7539)/1436. Does w = r?
False
Let r be (-2)/6 - (-248)/24. Suppose -39*m + 29*m = -r. Which is greater: 9/41 or m?
m
Let o = 2/6813 - -81602/524601. Suppose -2*z = 13 - 15. Is z > o?
True
Let g be (-1)/5*(-11984 - -149). Are 2365 and g non-equal?
True
Let p be 5/(15/21) + 3. Let d be p - 5/(-5)*-5. Is -12 at most d?
True
Let c = -47.135 + 2.635. Is 15 smaller than c?
False
Suppose 118*v + 53*v = 105*v + 528. Let l be 4/(-38)*(-85 + -2). Which is bigger: l or v?
l
Suppose -945 = -30*b + 6795. Let x be -7 + 105/14 - b/(-20). Which is bigger: x or 12?
x
Let v = -34.6 + 31.95. Let s = -20.65 - v. Which is smaller: s or 6?
s
Suppose -a + 4*s + 4 = 9, 0 = -4*s - 4. Let i(x) = -x**3 + 4*x**2 + x - 1. Let v be i(4). Suppose 2*q + 2*q = v*k - 32, k - 16 = 2*q. Which is bigger: q or a?
q
Let o(l) = 22*l - 68. Let f be o(-5). Let k = f + 183. Is -3/7 at least as big as k?
False
Suppose -3*m - 126 + 2022 = 0. Let x be 0 + (m/(-212) - -3)*-5. Let n = x + -533/530. Does 0 = n?
False
Suppose -48*d - 127 + 79 = 0. Which is bigger: d or -19/416?
-19/416
Let l = 1710285/1298 - 14500/11. Which is greater: l or -2?
l
Let f be (-28)/5 - -3 - 12/(-20). Let a be -41*(4 - 5 - (-4 - f)). Which is smaller: a or -39?
a
Let b be (2 - -1 - (-1 + 2))/(6/(-72)). Is b at least 0?
False
Suppose -2*z + 4 = 0, -4*i - z - 164 = -5*z. Let b = 11022/5 + -2243. Let y = i - b. Is y < 14?
True
Let g = -40 - -40.79. Let c = 0.64 - g. Let o = c + 0.05. Do o and -0.58 have the same value?
False
Let x be (-20)/(-30) + (-2)/3. Suppose d + 2*d + 201 = x. Let a = 35 + d. Is -32 > a?
False
Let j = -20/363 + 2621/1452. Which is smaller: -54 or j?
-54
Let s be (40/(-100))/(4/5 - 1). Suppose 3*v - 3*y + 6 - 3 = 0, s*y = -3*v - 3. Is v equal to -7/34?
False
Let n = 58 - 150. Let o = n + 118. Let j(s) = -s**3 + 27*s**2 - 28*s + 55. Let z be j(o). Which is bigger: z or 17/11?
z
Suppose 0 = -2*x - t + 62, 2*t - 54 = -5*x + 97. Let u(a) = a**3 + 6*a**2 - 4*a + 5. Let v be u(-6). Which is smaller: x or v?
x
Suppose 0*d + 12 = -4*d + 4*h, 3*h = -3*d + 21. Suppose 0 = -d*l + 3*m - 170, 0 = -27*m + 31*m - 16. Which is smaller: -80 or l?
-80
Suppose 88*b - 1416 = 80*b. Let k = -349/2 + b. Let a be 4 + 0/(-1) + -2. Is a < k?
True
Let u = -284 + 159. Let r = u - -124.96. Is r greater than or equal to 8?
False
Let z be (-2)/4 - (-13)/((-156)/(-606)). Let y be (-4)/26 + z/325. Does -1/214 = y?
False
Let s = 26.007 + -0.007. Suppose -k = 2*o + 98, 3*k + 0*o + 329 = o. Let b = 108 + k. Which is smaller: s or b?
b
Let u = 113.54 + -112.54. Which is bigger: 1584 or u?
1584
Suppose -14*w = 6*w + 240. Let h be 66/w*(-1)/(-6)*3. Is h <= -3?
False
Let w = 690271/45 + -15342. Which is bigger: w or -3?
w
Suppose 2*d - m = m + 318, 0 = -4*m - 12. Suppose -3*u = 6*z - z - d, -z - 2*u + 34 = 0. Which is bigger: 57/2 or z?
z
Suppose -5*k - 14 = 3*h, -2*h + h + 2 = 5*k. Let b be (-273)/(-182)*44/(-6). Which is smaller: h or b?
b
Let k be (-282)/(-54) - 4/18. Suppose -3*w - k*r + 13 = 0, 4*w + w = 2*r + 32. Let p be -5*(-2 - (-8)/10). Is p greater than w?
False
Suppose 0 = -3*y, 3*t + 5*y = 4*y + 18. Let x be (3 - t) + 4 + 1. Suppose -z = -4*p + 11, 0 = 5*z + 5*p + 12 + 18. Is x greater than or equal to z?
True
Let p be (30/164)/(-8 - 261/(-36)). Let y = -248 + 247. Is p less than or equal to y?
False
Let x be (-4 - -3)/(-1) - -137. Suppose 9*l = 7*l - x. Let n = -65 - l. Which is smaller: 2 or n?
2
Let l = -727.14 + 727. Which is smaller: l or 82?
l
Suppose -5*h = h + 12. Let o be h/(-4) + 37/(-74). Which is smaller: -2 or o?
-2
Let l(v) = 93*v - 13912. Let r be l(148). Which is smaller: -38 or r?
r
Suppose b + 3*z - 6 = 0, 0 = -b - 3*b + 4*z - 40. Let i be 729/(-21) + b/21. Let x = i + 36. Does x = 2/151?
False
Suppose 3*z + 3*c - 484 = 2762, 3*c = 3*z - 3276. Which is smaller: z or 1089?
z
Let u be (-216)/336*16/(-6)*35*2. Which is smaller: 137 or u?
u
Let d = 7341/2 - 3817. Is -148 < d?
True
Let u = -531 + 11089/21. Let s = u + 23/7. Is -34 less than or equal to s?
True
Let d = -449/4 + 563/5. Let r = -13 - -14. Which is greater: r or d?
r
Let w = -420 + 419.771. Let y = 0.029 + w. Which is bigger: 11/4 or y?
11/4
Suppose 0*l = -l + 4. Let t = 5.827 - -0.073. Let r = t + -6. Which is smaller: l or r?
r
Let l(j) = j**3 + 2*j**2 - 3*j - 6. Let p be l(-5). Let d = -22.44 + 22.54. Which is smaller: d or p?
p
Suppose -2*f = 2*o - 5*f - 408, 2*f = -3*o + 586. Let u = -120 + o. Let t be 48/64 - 626/(-8). Which is smaller: u or t?
u
Let i(g) = g - 6. Let k be i(7). Suppose 3*l = -2 - k. Let p = 19266 + -19270. Which is greater: l or p?
l
Let t = -253 + 252. Let c(u) = -56*u**3 - 3*u**2 - 2*u. Let x be c(t). Is 3 < x?
True
Let o be 286/(-39) - ((-6)/(-9))/1. Let i be o/(-12)*6/(-2). Let n be (-1 - 0 - i)/(-9 - -8). Which is smaller: -2 or n?
-2
Suppose 78 = -15*b + 6*b + 78. Is b < -2/3211?
False
Let m(n) = -13*n - 92. Suppose 3*x + 24 - 33 = 0. Let z be m(x). Which is smaller: -130 or z?
z
Let h be (2 + -2)/(4/2). Let c = 0 + h. Let p be (-37 - -38)*25/(-60). Is p < c?
True
Let x = 2449 + -9703/4. Suppose 8*q - 4*q = 96. Is x less than or equal to q?
True
Suppose 2*f = 6*v - 2978, -5*v = -7*v - 5*f + 1021. Are 500 and v nonequal?
True
Let f be 3 - (-7)/4*192/(-80) - -1. Is f greater than 645?
False
Let c be (42/(20/(-8) - -4))/(-2). Let l be 1*(20 + 3 + -1). Let m be (-341)/l + (-2)/(-4). Is c equal to m?
False
Let y be ((-4)/498)/((-126)/(-5859)). Which is bigger: y or 0?
0
Let v be ((8 - 19) + 4 + 8)*-1. Which is smaller: -1/208 or v?
v
Let i(q) = -q**3 + 26*q**2 - 20*q - 19. Let m be i(25). Suppose -3*o + 0*t - m = -t, 0 = 4*o + 4*t + 152. Is -36 less than o?
False
Let p = 8 + -175. Let c = 218 + p. Which is smaller: 52 or c?
c
Suppose 5160*t - 5174*t + 66220 = 0. Which is smaller: t or 4729?
4729
Suppose -253*c - 157019 = -29760. Is -2011/4 greater than or equal to c?
True
Suppose -4*p + 11 = -3*l, 1 = -p + 2*p + l. Suppose -5*b = c + 1, 5*b + p*c = 8 - 5. Do b and -2/271 have the same value?
False
Let f be 16*11/176*(1 + 0). Let m be 27/18*(-8)/(-2802). Which is greater: f or m?
f
Let k = 766 + -765. Let v = 1.117 + 0.173. Which is bigger: v or k?
v
Let t(k) = -k**3 + k**2 + 5*k + 2. Suppose b + 13 = -3*l + 2*b, 4*b = -5*l - 50. Let v be t(l). Let i be 76/v + (-6)/(-21). Is i greater than 1?
False
Let w = 5 + -7. Let s = -10 - w. Let g = 1094 - 1101. Are g and s non-equal?
True
Let p be 75/(-60)*12 - -16. Which is smaller: 37/200 or p?
37/200
Let b = -62.8206 + 0.8046. Let s = b - -0.016. Which is greater: s or 1?
1
Let q(o) = -113*o - 12763. Let c be q(-138). Which is smaller: c or 2830?
2830
Suppose -5*q - r + 33 = 3*r, 3*r = -3*q + 21. Let g be 1/4 - (-1533)/28 - q. Which is smaller: 51 or g?
g
Let i = -19 - -59. Let y be 3984/14 - i/70. Suppose m + y = -4*u, -5*m = 5*u - 3*m + 358. Do u and -70 have the same value?
True
Suppose -2*a = -4*a - q - 397, -4*a - 788 = -4*q. Let i = -211 - a. Which is smaller: -17 or i?
-17
Let n be (-1)/(4 + 7/(-2)). Let m be (8/n)/(8/40). Is -16 >= m?
True
Let j = -172.75 - -172.85. Is j != -2127?
True
Let j = -6775/6409 + 5/221. Suppose 0 = 2015*g - 2066*g - 102. Do j and g have different values?
True
Suppose -24*b = -26*b - 2. Let f be (1/(5/15))/b. Let d be (8/f)/((-12)/18). Which is smaller: d or 3?
3
Let c = 2160 + -2160. Which is bigger: c or -5/366?
c
Let t be (-12)/(-8)*-2 + 69/3 + 3. Which is greater: t or 18?
t
Let l be (-3 - -25) + 4 + 0. Let d be (-16)/(-24) + l/(-3). Let a(r) = r**2 - 7*r + 6. Let t be a(4). Is d less than t?
True
Let a(y) = -19*y + 81. Let z be a(4). Let w be z*(-5 + 2765/550). Let x be 3 + -2 + (0 - 0). Which is smaller: w or x?
w
Let y = -43842 - -57213814/1305. Let l = 88313/2610 - y. Let b = -34 + l. Which is smaller: b or 1?
b
Let q = -79 - -93. Let p(h) = q + 2*h + 7*h + 7 - 5*h. Let w be p(-4). Which is bigger: w or 26/5?
26/5
Let r be (-2 + 33/4 - -2)/(792/20064). Which is greater: -35 or r?
r
Let i(m) = -306*m + 6994. Let n be i(12). Is n > 3321?
True
Let h be 11*15/(-3)*-1. Suppose 10*k - 5*k - h = 0. Suppos