 Let u be f(10). Let q be (-5135)/(-9170) + (-3 - u/(-14)). Which is smaller: 1 or q?
q
Suppose -3056*p - 306 = -3038*p. Which is bigger: -94 or p?
p
Let n be 26 - (6 - (-13545)/690). Which is smaller: n or -1?
-1
Let g = 168.9953 + 0.0047. Which is greater: g or -1?
g
Let y = 66.078 - 18.155. Let d = y - -0.077. Let g = d + -48.1. Is g less than or equal to -0.02?
True
Let r be (6/10)/((-9)/1620*-3). Suppose -4*z - r = 4*h - 9*z, -5*z = -h - 24. Suppose 3 = -7*m + 4*m. Which is bigger: m or h?
m
Let o = -0.00094 + -0.02416. Is 1/3 < o?
False
Suppose 7*w - 36539 = 44631 - 11835. Do w and 9907 have the same value?
False
Let s(r) = 5*r - 99. Let j be s(18). Let h be (8 - (-69)/j)/(10/(-96)). Which is smaller: -2 or h?
h
Let q = 318 - 75. Let l = q + -281. Let y = -18 + -18. Which is greater: l or y?
y
Let o(w) = -32*w + 552. Let k be o(18). Which is bigger: k or -60?
k
Let o = 209/28 + -47/7. Let k(g) = -g**3 - 10*g**2 - 5*g + 38. Let t be k(-9). Suppose 11*z - 2*a - 20 = 9*z, -4*a + t = 3*z. Which is smaller: o or z?
o
Let d be (-2)/(-1*(-2 - (-144)/76)). Let o be (2 - 1) + d + 23. Let t be 1/28 - (o/(-7) - -1). Which is smaller: t or -0.1?
t
Let s = 1557.5 + -1557.4. Which is smaller: s or -9/2?
-9/2
Suppose 74*r - 351 = 61*r. Let x = r - 9. Which is greater: 56/3 or x?
56/3
Let w(o) = -o**3 - 43*o**2 + 343*o + 162. Let l be w(7). Let b be 1/(-2)*2 - -114. Is l greater than b?
False
Let o(v) = 2*v**3 - 7*v**2 + 163*v - 479. Let r be o(3). Which is bigger: 5/2282 or r?
r
Let u be 2/(-6) + 56/(-12). Let f be -5 + (((-105)/(-18))/(-7))/((-27)/18). Which is bigger: u or f?
f
Let f = -102614788/64273 + 17562/11. Which is bigger: -1 or f?
f
Suppose -2*w - 3*f + 662 = -300, -4*f = -w + 492. Suppose 21*h = w + 3065. Which is greater: 171 or h?
171
Let z(o) = -o**2 + 33*o - 48. Let l be z(21). Let w = 205 - l. Is -1/4 greater than w?
False
Let v be ((-4281)/9)/(-7 + (-240)/(-36)). Which is smaller: v or 1428?
v
Let b = -33 + 33.092. Let q = b + -0.602. Let d = q - -0.51. Which is greater: -4/9 or d?
d
Suppose 35*r + 24*r + 34247 = -5814. Which is greater: -688 or r?
r
Let c = -36 + 28. Suppose -24*j = -20*j - 36. Let s be (-2)/(-16) + j/c. Do -3/16 and s have different values?
True
Let m = 1543 + -1541. Let d = 172.11 - -0.89. Is m smaller than d?
True
Let y = -835710887/92 - -9084267. Let q = -453 + y. Let o = 19 + -19. Do o and q have the same value?
False
Let z = -47213 + 47212.978. Which is greater: z or 146?
146
Let t be ((-147)/168*6/(-7))/(1/4). Which is greater: -0.5649 or t?
t
Let y = -1545 + 1545. Which is smaller: y or 672?
y
Let a be (-1)/6*(-68)/34*0. Is a not equal to -3/592?
True
Let r = -3430 - -3420. Which is bigger: r or -43/5?
-43/5
Let g = 1023663/70 + -14624. Let z = 1/7 + g. Which is smaller: 1 or z?
z
Let r = -960.1 + 931. Let c = -0.01 - 3.09. Let q = c - r. Is q greater than or equal to 1?
True
Let a = -6205.18 + 6206. Is a > -12?
True
Let w be 24/(-90) + (-24)/(-36) + 0. Is w not equal to -10.6?
True
Let n = -346 - -357. Suppose 0 = n*s - 3 - 41. Is 49/10 greater than or equal to s?
True
Let o be ((-2 + 2)/3)/(-1 - 1). Do o and -935 have the same value?
False
Let l = 242.105 - 242.005. Let h = 864 + -27651/32. Which is smaller: l or h?
h
Let q be 2/(-2)*(-16)/4. Let p(j) = -2*j**2 + 17*j - 9. Let m be p(7). Let b be m/80*2/12*5. Is b not equal to q?
True
Let v(m) = -2*m + 10 - 5*m**2 + 11*m + 2*m**2 + 4*m**2. Let d be v(-9). Suppose -t = w + d, 5*t = -w - 55 - 7. Are 0.2 and t non-equal?
True
Let p = -379 - -394. Let h be 8*p/(-42) + -3 + 5. Which is smaller: h or 0?
h
Suppose 0 = 45*d - 5 + 50. Suppose u + 2 = 5. Suppose -3 + 0 = u*x. Is d greater than x?
False
Let t = 789.96 - -0.04. Let l = -790.1 + t. Which is smaller: 67 or l?
l
Let x = 159 + -157.88. Let n = 1.12 - x. Which is smaller: -78 or n?
-78
Let i be 1*((-4)/(-26) - (-608)/(-23218)). Is -0.128 smaller than i?
True
Let o be (-204)/459 - 1661/9. Which is smaller: -180 or o?
o
Let d = 87 - 83. Suppose 2*f = -d*x + 3*x - 6, 2*f + 22 = -5*x. Is -1/607 > f?
True
Let a be (4 + -2)*51/(-2). Suppose 128 = -5*m - 2*d + 136, 4*m = 3*d + 11. Suppose -10 = m*q, 0 = -2*h - 5*q + q - 120. Is h < a?
False
Let o(v) = 5*v**2 - v - 4. Let b be o(3). Let p = b - 18. Is p bigger than 24?
False
Let j = -3.8 - 38.2. Let l = -1871 + 1829.1. Let z = l - j. Which is greater: z or -3/2?
z
Let j be 90/(-15) + (-3 - -824). Suppose 11*z + j + 725 = 0. Is -140 greater than z?
False
Let g(o) = -o**3 + 5*o**2 + 8*o - 12. Let w be g(6). Suppose 7*m - 2*m - 18 = u, w = -2*u - 4*m + 6. Let t = -9755/3402 + 5/486. Which is smaller: t or u?
u
Let h(o) = o**3 - 18*o**2 + o - 5. Let j be h(18). Suppose 4*g = t + 22, 5*g + j = 8*g + t. Is 25/6 greater than or equal to g?
False
Suppose -5*i + 20*i + 390 = 0. Let l be (9/6 + 1)*i/65. Which is smaller: 2/1235 or l?
l
Let w = 0.297 - 43.497. Let r = -218.1 + 175.1. Let y = r - w. Which is bigger: y or 0.12?
y
Let n = 131 + -132.66. Let z = 1.52 + n. Which is smaller: 2 or z?
z
Let h = -22 - -22.5. Let n = h + -0.525. Let g = n + -0.175. Is g > -4?
True
Suppose -2 + 10 = 3*o + w, 4 = 5*o - 3*w. Let t be (o/10)/(4/10). Let a = -0.1 + -0.2. Which is greater: t or a?
t
Let z(b) = -14*b + 5. Let s be (-96)/(-56) + 4/14. Let t be z(s). Let u = 14 + t. Which is smaller: u or -0.3?
u
Let z be ((-8)/(-6) - 1)/(173/(-346))*3. Is -2145 >= z?
False
Let n = -2011 - -1815.9. Let c = n - -195. Is c bigger than 99/2?
False
Let l = -144.712 + 1.712. Suppose 8*h - 5 = 3*h. Is h smaller than l?
False
Suppose 62*h = -159*h + 30*h - 764. Which is greater: h or -5?
h
Let x(m) = 2*m + 35. Let s = -61 + 79. Suppose s*u = 23*u + 150. Let t be x(u). Which is smaller: -24 or t?
t
Let f = 0.27 - 10.27. Let a = f + 20. Is a at least -8?
True
Let i be -88 + (-17 + -3)/(-4). Let m = 72 + i. Let b be (-2)/m + (-1092)/6853. Is b != -1?
True
Let d = -47 - -50. Suppose -2*j = 2*w - 10, -24 = -4*w - d*j - 6. Which is bigger: 6 or w?
6
Let l be 210/58 - ((-49)/(-7) - 2). Let d be 5/(-45)*2*9. Which is bigger: l or d?
l
Let q(h) = 19*h**2 + 44*h - 430. Let f be q(-13). Which is bigger: 8839/4 or f?
8839/4
Let v = -169 - -172. Suppose -56 = 4*q - 5*d + 111, v*q - 4*d + 126 = 0. Is -42 >= q?
False
Let m be 24/52 + 33340/(-130). Which is smaller: -39 or m?
m
Let x = -16.001 - -0.101. Let c = -16 - x. Let n = 23.4 - 30.4. Is c >= n?
True
Let w(g) = -13*g - 185. Let s(m) = 90*m + 1293. Let j(z) = -2*s(z) - 15*w(z). Let d be j(-9). Which is smaller: d or 219/4?
d
Let q = 244 - 243.798. Let l = q - 0.202. Which is smaller: -36 or l?
-36
Suppose -2*o + 15 = -f - 6*o, -4*o - 38 = 2*f. Let t = 71 + f. Which is smaller: 47 or t?
47
Let t = -28 - -25. Let f(j) = -j**3 + j**2 + j. Let k(p) = 2*p**3 - 6*p**2 - 5*p - 1. Let v(r) = t*f(r) - k(r). Let m be v(-2). Which is smaller: m or 2/3?
2/3
Let g = -300.68 - -107.71. Let i = g + 192. Let z = 1.07 + i. Is z bigger than -13?
True
Suppose -3*j + j + 22 = 0. Suppose -v = 262 - 257. Let i be j/v + (-2)/(-10). Which is smaller: 11/4 or i?
i
Let s = -18.2 + 217.2. Let h = -311 + s. Which is greater: 0.1 or h?
0.1
Let s be 9/(-12)*(884/4 - 17). Which is greater: s or -6?
-6
Let x = -53.6 - 29.1. Let s = x + 87. Suppose -304*l - 17*l - 6 = -6. Which is bigger: l or s?
s
Let k = -12168.7 - -10655. Which is greater: 1 or k?
1
Let f(y) = -21*y + 375. Let z be f(58). Is z at least -845?
True
Suppose 513*w = 497*w - 208. Let q be (-1)/(-7) + 16/1064. Let m = 10/57 + q. Is m not equal to w?
True
Suppose 76 = -2*w + 4*y, 0*w - 3*y - 164 = 5*w. Let k(i) = -2*i**2 - 10*i - 34. Let f be k(-5). Is w at most f?
True
Suppose -17*n = -11*n - 1464. Let f = n - 246. Which is bigger: -3 or f?
f
Let w = -7.131 + 0.071. Let g = 7 + w. Let k = 43.06 + g. Are 1/3 and k non-equal?
True
Suppose -2*o + 1 = -5*a, -13*a - 5 = -4*o - 6. Is -1319 > a?
False
Let l be (-2)/39 + 15400/(-858) + 17. Is l at most -3/944?
True
Let a = -282.9 + 44.9. Let q = -430 - a. Is -1 smaller than q?
False
Let r = 2 - 3. Let i = -1371.8 + 1373. Let v = i + r. Is -7 != v?
True
Let m be 83/(-166)*-2*(-3)/(-3). Which is greater: 3/5519 or m?
m
Let f(a) = 821*a**3 + a**2 + a + 1. Let w be f(-1). Let i be w/12 + 2*(-5)/(-30). Which is greater: i or 0?
0
Suppose -326 = -4*x + 454. Suppose 5*f - x = 5*i + 140, f -