w. Suppose 6 = w*q - 8*q. Let r be h(q). Is r < -2/23?
False
Let m = 8436 + -4335. Is m less than 4101?
False
Suppose -232*f - 5*q - 28 = -235*f, -2*f - 3*q - 13 = 0. Let l = 559981/204 - 2745. Which is greater: f or l?
f
Let l be (-3)/(-2) + 290/8 + (-3)/(-12). Which is smaller: 53 or l?
l
Suppose -l - 4177 = c, -3*l = -5*c + 9*c + 12529. Is l not equal to -4179?
False
Let l = 12/59 + -839/3835. Suppose -2*s + 0*s - 2056 + 2056 = 0. Is s >= l?
True
Let g = -7.428 + 0.778. Let t = -6.55 - g. Are 6/19 and t equal?
False
Let k = 1.603 + -1.403. Which is bigger: -48/17 or k?
k
Let z(j) = -4*j + 1. Let g be z(-12). Suppose 0 = 3*q + 166 - g. Let w be 4/(-48)*q + -3 + 0. Are 3 and w equal?
False
Let b = 466417/17259 - 892/33. Is 2/9 equal to b?
False
Let b be (-3)/(-1)*1 + 0. Let y(r) = 0*r**2 - b + 5*r**3 + 3*r**2 - r**3 - 3. Let w be y(2). Which is bigger: w or 37?
w
Let k be (135360/600)/((-9)/30). Is k smaller than -752?
False
Let u be 90188/(-490) + (-4)/(-70). Is u greater than -177?
False
Suppose -5*o - v = -485, -2*o + 0*o + 2*v + 206 = 0. Let d be 12 - ((-355)/(-5) + 1). Let t be (-22)/(-154)*(o/d)/7. Which is greater: 0 or t?
0
Let l be (-108772)/130*3/12. Let r = l - -1046/5. Which is greater: r or -1?
r
Let p = -47.6 + 443.8. Let x = p + -396. Which is greater: x or 7?
7
Let q = 30/467 - 181753/1401. Suppose j - 65 - 63 = 0. Let c = j + q. Which is greater: 0.1 or c?
0.1
Let t = 0.05 - -75.95. Let k = -75 + t. Let j = 31/55 - 8/15. Do k and j have the same value?
False
Let a be (3/((-18)/16))/((-2)/45). Let r = a - 75. Is -14 > r?
True
Let o = 322.9019 + -323. Let m = o - 2.9019. Let p = -4.2 - -5. Which is smaller: p or m?
m
Let h(y) = y**2 - 3*y - 52. Let c be h(8). Let l = -0.045 + 4.045. Which is bigger: c or l?
l
Suppose 20 = r - 4*j, -r - 4*j - 188 + 168 = 0. Let p be 2/(-6) + 310/876. Which is greater: r or p?
p
Let q be ((-3744)/225*-2)/(10/(-25)). Is q > -83?
False
Let b be (-5 + 7)*(33/333)/(-11). Which is smaller: b or 5?
b
Let g be 2*2 - (-14 - -11). Suppose g*n + 24 = -n. Let r be (-14)/35*5*(-6)/(-4). Is r >= n?
True
Suppose 60547 - 4362 = -83*t - 37605. Is t < -1131?
False
Let t = 1734937647 - 5935221588090/3421. Let f = t - 329/11. Does f = -1?
False
Let t = -917 + 59604/65. Let i = -273 - -270. Let j be ((-4)/1 - i)*0. Is j >= t?
True
Let v = -0.113 + 0.213. Let x(i) = i + 5 - i**3 - 9*i**2 - 3*i - 3 - 5. Let q be x(-7). Which is bigger: v or q?
v
Let d = 0.08938 + 0.91062. Is -3715 not equal to d?
True
Suppose 3 = 4*i - 1. Let p = -2 - i. Let l(o) = 29*o + 195. Let z be l(-7). Which is smaller: p or z?
z
Let y = -4/3244659 - 71288402609/227126130. Let p = 314 + y. Is 0 bigger than p?
False
Let f(r) = -7*r**2 - 7*r - 17. Let w(b) = -3*b**2 - 4*b - 9. Let x(c) = 2*f(c) - 5*w(c). Let t be x(-6). Suppose -5 + t = -3*d. Which is smaller: d or 3?
d
Let y = -0.20471 + 0.01671. Is y less than -10?
False
Let s be (-10)/(-6)*(-4)/(-10). Let u = 2060 - 2066.9. Which is smaller: u or s?
u
Let c be (-25)/(1854/(-207) + 9). Let o = 1149/2 + c. Is o at least 16?
False
Let a = -200 + 202.78. Let l = 81.22 - 81. Let r = a + l. Do r and -0.06 have the same value?
False
Let y be -2 - (-1 - 24/5). Let f be 7/(-2)*176/(-154). Suppose f*n - 185 = -173. Which is smaller: y or n?
n
Let a = 32714/279129 - 70/3363. Let b be (2/4)/((-2)/4). Which is smaller: a or b?
b
Suppose -55*j + 57*j = 2. Let a be (-2)/1*(11784/1308 + -9). Is a greater than j?
False
Let o = 357.3 - 342. Let a = 16.3 - o. Which is smaller: a or -65?
-65
Let y = -2 + 2.6. Let s = -0.4 - y. Let c be 34/1309*-11 + 304/1162. Is s smaller than c?
True
Let h = 4369 - 4321. Are -36 and h equal?
False
Let v = -1/229 + -685/458. Let z be (-6)/8*(2/51 - 0). Which is bigger: z or v?
z
Let a = -2929/31605 - -17/215. Which is greater: a or 1?
1
Suppose -4*x + 5*u = 25 + 11, 2*x = 3*u - 20. Let n be 6/x - 2/(-4). Is -3 not equal to n?
True
Suppose -13*g - 494 = 1070 - 69. Which is bigger: g or -1028/9?
-1028/9
Let z(s) = s**2 - 31*s - 538. Let x be z(45). Which is greater: x or -35?
x
Let l(y) = 2*y**2 + y + 12. Let m be l(0). Let s be -1 - ((-8)/(-3) - 8/m). Let c be (s + (-5)/(-2))/5. Which is smaller: 0 or c?
c
Let f(d) = -85*d**2 - 3*d + 8. Let o(r) = -28*r**2 - r + 3. Let i(n) = -4*f(n) + 11*o(n). Let s be i(1). Let g be s/138 - 23/69. Do g and 0 have the same value?
False
Let i be (-8)/6*204/(-14). Let m be (-22)/(-10) + (-78684)/(-4980). Which is bigger: i or m?
i
Let n be 22/4*(-152)/(-2). Suppose 24*u = -b + 431, -224*b - 4*u + 73 = -225*b. Is b > n?
False
Suppose 0 = 11*s - 20241 + 69774. Let h = -328713/73 - s. Is 1 smaller than h?
False
Let b = 57/22 + -1/11. Suppose 106 = -19*x + 163. Is b greater than x?
False
Let o = 1.18581 + -330.18581. Let a = 0.2 + -0.1. Is a < o?
False
Let l = 1063294/9 - 117976. Let j = 168 - l. Which is smaller: j or -1.9?
-1.9
Let c = -0.24 + 0.18. Let z = -154.45 - -179. Let o = z - 24.6. Which is smaller: c or o?
c
Let r = -745685541/203 + 3673320. Let t = r + 15/203. Which is greater: -8 or t?
t
Suppose -26 = -13*i + 9*i - 22*i. Which is bigger: i or 0.1741?
i
Let u be -4*4/(-8)*154/28. Suppose -4*v - 21 = -5*i, -u*v + 15 = -6*v + 2*i. Which is greater: v or 3/229?
v
Suppose -237*v - 714030 = 627864. Which is smaller: v or -5664?
-5664
Suppose 0 = -139*y + 142*y - 189. Suppose 0 = -2*t + 4*f + y + 115, 0 = -5*t + 2*f + 469. Is -1/4 at least t?
False
Let s be (-77 - 8)*14/35. Which is greater: s or -21?
-21
Suppose 0 = -6*s + 5 + 7. Let l be (-4)/s + 1 + 7. Let v be (-10)/l*45/(-30). Is 3/4 at least v?
False
Let o(a) = 4*a + 13. Let w be o(-3). Let n = 1/118 - -187/5782. Which is greater: w or n?
w
Let m be (29/4)/(1/4). Let d be (-11)/(275/(-300)) + -8. Is d less than or equal to m?
True
Let s = 159 - 110. Suppose 308*b - 307*b = 144. Suppose 0 = -3*m - 3 + b. Which is bigger: s or m?
s
Suppose 0 = g + 5*n - 25, -2*g - 15 = -4*n + n. Suppose 3*f - 10 + 13 = g. Let p be (-3)/(-6)*(1*f - -9). Which is smaller: p or 6?
p
Let w = 3401 + -3403. Is 891 less than or equal to w?
False
Let y = -2447.9999 + 2448. Which is bigger: y or -1?
y
Let f(s) = 3*s**2 + 12*s - 3. Let v = -92 + 88. Let j be f(v). Which is greater: -40/11 or j?
j
Suppose -2*o - 2*v + 18 = 0, 5*o + v - 25 = -0*o. Suppose -3*g + 4*g - o*i = 8, -5*g + 4*i = -8. Which is smaller: 18/17 or g?
g
Suppose -199 = 5*i - 4*i - 5*n, -2*i + 5*n = 393. Is -194 not equal to i?
False
Let j = -17345 + 16659. Is -682 bigger than j?
True
Let o = -4135/851 - -183/37. Which is smaller: o or 157?
o
Let p = 5321 + -5338. Which is smaller: 0 or p?
p
Let d = 2229 - 2230. Is d not equal to -2/473?
True
Let m be (-4*9/2562)/(2/(-14)). Let u be 240/(-350) + (-4)/(-10). Are m and u equal?
False
Let w = -6.21 - -6.41. Which is smaller: 2352 or w?
w
Suppose 12*l + 5*h = 9*l - 17, 20 = -5*h. Is l at most 2/9389?
False
Let s = -1851 + 1838. Let c be -4 - 284/28 - -1. Is s at most as big as c?
False
Let d be (((-304)/57)/(-16))/((-14)/(-6)*1). Is 2/1635 less than or equal to d?
True
Let h = 4264/3 + -1421. Let q = 15.019 - 0.019. Is q greater than h?
True
Let q be (0 - (-24)/(-108)) + 58/18. Suppose 6*n = -q*n + 9. Which is greater: 2/91 or n?
n
Suppose 5*k + 2*o - 105 = 0, 4*k + 4*o - o - 91 = 0. Suppose 2*b + k = 3. Suppose 6*t = -5084 + 5042. Which is smaller: t or b?
b
Let m = 9.071 + -9.46. Let g = m - -1.389. Is g >= -0.328?
True
Let p be ((3270*-1)/6)/(21/(-12)). Let n = -312 + p. Let a = 0.8 - 5.8. Is n >= a?
True
Let n = 9.79 - 7.79. Let c = 256 - 445. Which is bigger: c or n?
n
Let r = -2148 + 128893/60. Let q = 1373/60 - r. Let c = 23 - q. Which is smaller: 0.047 or c?
0.047
Suppose -5*w + 4*z = 5, z + 2 = -2*w - 3*z. Let x = 6 + w. Let f = 0.99 - -0.01. Is x greater than f?
True
Let d = 0.7 + -0.76. Suppose 3150 = 3*u - 5*j, 3*j = -0*u + u - 1046. Let c = u + -7383/7. Is c bigger than d?
True
Let w = -30 - 2. Let g = 20.9 + w. Let z = -11 - g. Is 5/2 smaller than z?
False
Suppose 0 = 91*l + 5261 + 3384. Is l bigger than -95?
False
Let d be (-54)/(-72) - 216418/1624. Let p = 930/7 + d. Is p at most 0?
False
Let x = 11481 - 11481. Which is smaller: x or 11/381?
x
Let v(z) = z**3 - 7*z**2 - 2*z + 14. Let x be v(7). Suppose 4*b + x*b = 12, 3*s = 2*b - 9. Is s >= 5?
False
Let l be 35 + -42 + -8 + 0. Let i 