q. Which is bigger: 1 or h?
1
Let v = 976921/59 - 16559. Are v and -2 nonequal?
True
Suppose 6*i + 70 = 250. Suppose i = -2*p + 4*p + 4*m, -p = -3*m + 10. Suppose 8 = p*s - 12. Which is bigger: s or 1?
s
Let i(o) = -30*o - 1080. Let t be i(-36). Which is bigger: 2/7001 or t?
2/7001
Let v = -0.01 - -0.31. Let r = 482019 + -482018.67. Which is greater: r or v?
r
Let y = 30.81 + 5.89. Let t = y - 37.7. Which is smaller: 469/5 or t?
t
Let d = 2825/7 + -8482/21. Is d >= 132.3?
False
Let y = 2928 + -3911. Is y <= 2/9?
True
Let j = -9592.3 + 9577.3. Let x = -3 - 0. Which is smaller: x or j?
j
Let u be 200/(-160)*1/305. Let z = -247/732 - u. Which is smaller: -21.9 or z?
-21.9
Let p(f) = -f**3 - 17*f**2 - 14*f + 17. Let g be p(-16). Let w be (0 + -5)/g*-21. Let z = 9 - w. Which is smaller: 0.1 or z?
0.1
Let i = -113343 - -113343. Let d = -84 + -77. Is d > i?
False
Let o be 89328/(-32)*((-120)/18)/(-5). Which is smaller: o or -18612/5?
-18612/5
Let l = 0.062 - -11.938. Let t = 11.5 - l. Let p = 0.5 - t. Which is bigger: 4 or p?
4
Let g = 405.031 + -405. Let s be 5/(-10) - 1/(-4). Do g and s have the same value?
False
Suppose 5*q + 5 = -5*x, -4*q + 61 = x + 68. Is x less than or equal to -2/17387?
False
Suppose 0 = -10*m + 7*m + 168. Suppose -10*i = -14*i + m. Let h be 28/(-6)*54/(-21). Which is smaller: i or h?
h
Let b be ((-3)/5)/(24/465). Let g be (-1)/((-2232)/(-25731)) - (1 - 1). Let x = g - b. Is x bigger than 2?
False
Let c = 7 - 29. Let p be (-32)/(-8) - (-84)/c. Suppose -4 = 2*l + 2*d, -2*l + 0*l - 5*d = 4. Which is smaller: p or l?
l
Let o be 306/(-2142)*(1 + -2 - 6). Which is greater: -2/3399 or o?
o
Let i be (-1)/2*(-6 - -6). Suppose 216 = 4*s - i*s. Is 52 less than or equal to s?
True
Let i(w) = w**3 - 29*w**2 + 70*w + 206. Let l be i(26). Is l greater than or equal to -172/55?
True
Let q(u) = -u**2 - 15*u + 77. Let n be q(-19). Let w = 1157/11 - 105. Which is greater: n or w?
n
Let y(c) = c**3 - 5*c**2 + 4*c - 16. Let g be y(6). Suppose 0 = -4*n + j - 5*j - 68, -4*j = -3*n - g. Is -102/7 equal to n?
False
Let r = 65 + -13. Suppose 0*h = 4*h + r. Let w be (-20)/200*5*1. Which is bigger: h or w?
w
Let l = 37.04435 + -0.31435. Which is greater: l or -2?
l
Let a(k) = 220*k + 2. Let p be a(-1). Let s be 3*3/18 - (-11 + (-3227)/(-14)). Which is bigger: s or p?
p
Suppose 4*v + 8*a - 4*a - 564 = 0, 3*v = 3*a + 417. Let d = v + -106. Let t be d/15*2/12*10. Is 3 not equal to t?
True
Suppose 126 = -3*r + 216. Let k be 75/10*(-48)/r. Which is greater: -11 or k?
-11
Let h = -0.91 + -12.99. Let g = 1653 + -1639. Let m = h + g. Is m != 1/10?
False
Suppose -3*p - 17 = -5*p + 3*m, 3*p = 2*m + 13. Let i = -293 - -492. Let z = i - 198.98. Which is bigger: z or p?
p
Suppose 3*k = -5*u + 29 + 18, 0 = -2*u + 3*k + 23. Let x be (36/u + -3)/((-3)/15). Let l(z) = 26*z + 92. Let w be l(-4). Which is smaller: w or x?
w
Let l = 3326.02 - 3232. Let s = l - 94. Is s >= -3?
True
Suppose 0 = o - b - 19, 1181*o - 115 = 1176*o - 5*b. Let w(g) = 6*g**2 + 3*g + 1. Let i be w(-2). Is i not equal to o?
True
Let t = 7.84 + -8. Let h = 152545 - 152544. Do h and t have the same value?
False
Let b(z) = 55*z**3 - z**2. Let o be b(-1). Let s be -9*(-12)/162 + o/81. Is 1 greater than s?
True
Let t = -9437 + 9440. Which is smaller: 2521 or t?
t
Let d(m) = 107*m + 823. Let l be d(-8). Let o(p) = p**3 - 4*p**2 + 2*p - 3. Let r be o(3). Let n be (22/l)/(124/r). Which is smaller: -1 or n?
-1
Let h(f) = -2*f + 1. Let r be h(0). Let s(b) = -b**2 + 3. Let n be s(-3). Let q be n/4 + 590/420. Which is smaller: q or r?
q
Let s be ((-333)/54)/(-37) + 745/3. Is s less than 249?
True
Let v = 20.029 + -0.029. Let u = v - 13. Let s = 18.5 - 17.5. Is u bigger than s?
True
Let m be ((-57321)/(-176))/(((-18)/45)/((-16)/(-30))). Which is smaller: -0.1 or m?
m
Let r = 3387 + -3275. Do r and 135 have the same value?
False
Let x(m) = m**2 + 3*m - 2. Let a be x(-6). Suppose -a = -10*v + 34. Suppose -v*z + 24 = -36. Is 12 smaller than z?
False
Let a be (-4*(-7)/1876)/((-4)/(4 - -44)). Which is smaller: 1 or a?
a
Let n = -36 - -54. Let q = n - 18.3. Let a = q + 3.3. Which is smaller: a or 2/3?
2/3
Let m(r) = -r**3 + 3. Let n be m(0). Let l be n/2*(-88)/18. Let y = -8316 - -8310. Which is smaller: l or y?
l
Let v = -355.7 + -728.3. Which is greater: -0.1 or v?
-0.1
Suppose -z + 184 = -22. Let x = z - -433. Let q be x/270 - (-2)/(-12). Which is bigger: 3 or q?
3
Let f be -9*(-8)/(-24) - 4758/22. Let a = 219 + f. Suppose -5*h = -4*y + 15, -4*h - y + 7 = -2*h. Does h = a?
False
Let n = 123 + -122.846. Let x = 199.086 + -238.24. Let q = n + x. Which is smaller: q or 1/4?
q
Let k = 79/5 + -633/40. Let x be (0/(-9))/4 + 2. Suppose -55*t + x = -57*t. Which is bigger: t or k?
k
Let q(l) = -879*l - 5615. Let s be q(-7). Is 541 less than s?
False
Let b be 46/207 - (-32)/18. Let q be (-150)/(-35)*((-14)/b)/1. Which is smaller: q or -23?
q
Let h = -14532621/101 + 143886. Which is bigger: h or -2?
h
Let z be -14*8/(-14) + ((-3850)/65)/7. Is z greater than or equal to 53?
False
Let z be (-4)/18 + (-3)/54*-1210. Let u = 0.023 + -32.023. Let b = 32.1 + u. Which is smaller: z or b?
b
Let w be (-74)/(-7) - (24 + -14). Suppose 3 + 3 = -o. Which is smaller: o or w?
o
Let b = 246 + -245.9853. Let g = -0.2853 - b. Is g >= -0.06?
False
Suppose 88*y - 160084 + 3884 = 0. Which is smaller: y or 1773?
1773
Let z(l) = 12*l**2 - 474*l - 30. Let s be z(76). Are 33259 and s unequal?
True
Let c be 6/33 + (-20)/(-11) + 2*758. Which is smaller: c or 1520?
c
Let w = -0.015423 + 0.085423. Let i = 14.81 + -15. Is w > i?
True
Let c = -144/133 - -166/399. Let j = -5 - -3. Is j > c?
False
Let j(t) = -20*t**3 + 3*t**2 + 2*t + 2. Let i be j(-2). Let u be (-21 - 1819/(-85)) + 4265/25. Is u greater than i?
True
Let r(c) = 119*c - 28. Let w be r(7). Suppose -b + w = 22*b. Is 34 equal to b?
False
Let m = -42 - -52. Suppose 0 = -4*u + 2*u + m. Suppose u*h - 5*k = -170, -20 + 140 = -4*h - 4*k. Which is smaller: -33 or h?
-33
Let m be (-24)/108 - (958/(-9))/((-5)/20). Is -431 greater than or equal to m?
False
Let u = 5802 - 5807. Which is smaller: -269 or u?
-269
Let u = 4/125 - 907/1000. Let z = -737 + 737. Which is greater: z or u?
z
Let u = 4490235/1222 + -7349/2. Suppose 0 = -0*g + g - 3*b + 14, -10 = -2*b. Which is smaller: u or g?
u
Let w = 9938 + -9939. Which is bigger: 1/4451 or w?
1/4451
Let w = 0.7281 + 0.5719. Which is smaller: 480 or w?
w
Suppose 5*o - 30 = -7*h + 2*h, -2*o = 5*h - 27. Do o and 2/55433 have different values?
True
Let q = 2191 + -1507. Suppose 21*j - 12*j = 9. Let y be j/(-3) + 237/q. Which is smaller: y or -1?
-1
Let o = -61 - -56.1. Let i = -39.917 + -0.083. Let q = i + 40. Which is smaller: o or q?
o
Let n be -1 + -4 + 1 + 4. Suppose n = -14*m + 16*m + 26. Is -7 < m?
False
Let c = -0.563 - -0.565. Let v = c - -0.048. Let z be 3 - ((-108)/(-21))/2. Is z less than v?
False
Let k be -1*1 - 707/(-101). Suppose -k*x - 53 = -41. Suppose 0 = -4*o + 4*z - 32, -4*o + 0*o = -5*z + 32. Is o != x?
True
Suppose 996 = -14*o + 5518. Let d = o - 1617/5. Which is smaller: d or 1?
d
Let m(v) = 47*v**2 - 47*v + 243. Let f be m(5). Is 1189 smaller than f?
False
Suppose -113 = -5*i + 672. Are 5 and i non-equal?
True
Let g = -426 - -435. Let y = 12.68 - -0.32. Which is smaller: y or g?
g
Let s = -577 + 555. Is -156/7 equal to s?
False
Let g be (2/(90*353))/(464/464). Is -1 equal to g?
False
Let x be 22/2 - (-23 - -26). Suppose -2*q = -x*q + 6. Are q and 15/22 non-equal?
True
Let y = -11057 + 11056. Which is smaller: -2/8465 or y?
y
Suppose 2*y + v + 0*v = -2, -y + v + 5 = 0. Let n be (4 + 2)/((-3)/4). Let g be (n/132)/((-4)/(-3))*2. Which is smaller: g or y?
g
Suppose -4*a = -4*f - 4, 0*f - 2*f - 5 = -a. Let r = -26115 + 26114. Is a at least as big as r?
False
Suppose 2*g + 54 = -4*k - 12, -5*g = k - 6. Suppose 101 = -3*j + 2*b + 87, -4*j - 42 = 2*b. Are k and j unequal?
True
Let r be ((-54)/48)/((-131568)/64). Is 1 at most as big as r?
False
Suppose 5*p = 15, 467*p - 463*p - 7 = 5*i. Is -146/11 less than i?
True
Let b(o) = -o**3 - 15*o**2 + 17*o + 18. Let x be b(-16). Suppose -4*h - 3*n - x + 4 = 0, -h - 5 = -2*n. Let w be -12*(-9 - 635/(-70)). Is h less than w?
True
Let v = -372 - -224. Let c = v + 160. Does 9 = c?
False
Let o(z) = 38*z**2 + 