. Is 3 > a?
True
Let k = 3326/9 - 370. Let j be -4 - (200/(-288) - 2*2). Let m = k + j. Which is smaller: 1/2 or m?
m
Let n(r) = 1033*r + 4. Let q be n(-6). Let k = q + 2347528/379. Which is smaller: 1 or k?
k
Let v = -453797/12648 + 85/744. Which is greater: -35 or v?
-35
Suppose 86 = -3*n - 2*o, 4*n - 40 = -3*o - 153. Let m be 285/(-10)*(-14)/(-12). Which is smaller: m or n?
m
Let f be (-300)/(-225)*(-5)/((-20)/(-6)). Is -29/11 >= f?
False
Let x(o) = -o**2 + 190*o + 4. Let r be x(0). Let b be (506/(-15))/(3/(-115)). Let y = -1290 + b. Which is smaller: y or r?
y
Suppose 3*w + 15 = 9. Let b be ((2/217)/(-1))/w. Which is smaller: 0 or b?
0
Suppose 0 = -4*i + 3*g + 445 - 47, 6 = -3*g. Suppose -3*b + 101 = i. Let p = -492/2369 + -1/103. Which is greater: b or p?
b
Let x = -2 - 2. Suppose -6*g = -7*g - q + 21, 0 = -5*q + 10. Let c be g - (-3 + 4 + x). Is 21 smaller than c?
True
Let m be (-2)/(-10) + (-121)/55. Let z be m/4 - 3095/(-1870). Let g = 14/11 - z. Is g smaller than -1?
False
Let c = 1.2249 - 4.2249. Is c smaller than 40/7?
True
Let j = 2.81 + 0.19. Let w(k) = k**3 - 7*k**2 + 9*k - 10. Let s be w(3). Let z = s + 28. Is z < j?
False
Let u = -4 + 20. Let a = -271 - -270.9. Are u and a unequal?
True
Suppose -10*a + 9*a - 1939 = -4*b, -3*a - 1937 = -4*b. Let w = b - 454. Are 255/8 and w unequal?
True
Suppose -4*g = -i - 20, 5*g - 6*g - i = -10. Let y be g/(3/(12/16)) + -1. Is y != -11?
True
Let d = -0.0674 + -0.034. Let q = d + 0.0014. Is q >= -3/4?
True
Let k = 146 + -147. Let d = 6.855 - -0.145. Is k greater than or equal to d?
False
Let s(l) = -19*l - 110. Let m be s(-6). Suppose -6*k + m = -8*k. Are -7/12 and k equal?
False
Let o = -7307 - -7406. Is o at most as big as 99?
True
Suppose 0 = n - 2*f - 14, 3*n + 4 = -f + 11. Suppose -n*i = -0*i + 332. Which is greater: -84 or i?
i
Let t = -0.85 + 0.34. Let u be -4*77/(-66) - (-3)/9. Is u != t?
True
Suppose -84 = -f + 5*f. Let p be (-90)/(-54) + ((-16)/(-3))/4. Let g = p + -17/5. Do g and f have the same value?
False
Let x be (-2 - -1)*4/14. Suppose p - q - 6 = 0, 5*q - 7*q = p + 6. Suppose 29*k = -p*k - 217. Is x at most k?
False
Let q = 820 - 622. Suppose 0 = x + 21*x + q. Are -55/7 and x unequal?
True
Let l be (-6585)/(-60) + 2/8. Suppose 4*n - 5*d = 233, -2*n + 2*d + l = 6*d. Suppose j - 5*j = -224. Which is smaller: n or j?
j
Suppose -5*t = -5*r - 25, -2*r + 5*t - 7*t - 30 = 0. Let l be ((-24)/(-5))/(3/r). Suppose 2*w + 4*g = 9 - 1, -3*w - 4*g + 8 = 0. Are w and l equal?
False
Let r be -7 + (-125)/(-20) - (-8)/(1760/171). Suppose k = -4*y + 3*y - 4, 5*k + 16 = -4*y. Are k and r equal?
False
Suppose 0 = -d - 7*d + 24. Suppose -o - 6 + d = 0. Is -11/3 < o?
True
Suppose 14*w + 45 = -11. Let u be w/(-12) + (-258)/(-9)*1. Which is bigger: u or 27?
u
Let o be (-86662)/(-22) + (144/88)/(-9). Let c = 27624/7 - o. Which is greater: c or 7?
c
Suppose d - m = -3, -32*m = 4*d - 28*m - 12. Which is smaller: -2/24293 or d?
-2/24293
Suppose -j - 3 = 3*g - 3*j, -2*g = j - 5. Suppose 14*k + g - 15 = 0. Suppose 0 = -3*t + 4 - k. Which is bigger: -3/44 or t?
t
Let h(o) = -12*o. Let g be h(-1). Let l be (-1)/(-3) + g/(-108)*-6. Which is bigger: l or 16/13?
16/13
Let a(i) = -6*i - 27. Let v(n) = -6*n - 25. Let b(o) = -4*a(o) + 5*v(o). Let s be b(-2). Let f be (s + (-19)/(-3))/(62/3). Which is smaller: f or -1?
-1
Let n(w) = 53*w**2 + 3. Let u be n(-2). Suppose 0 = -s - 5*i + 20, 0 = 5*s + 2*i - 0*i - u. Let f = -44 + s. Which is bigger: f or 1/41?
f
Let b be 9*((-1576)/(-18))/(-2). Which is bigger: b or -785/2?
-785/2
Let g = 28232663394641/37187 + -759207879. Let q = -2/907 + g. Suppose c + 16 = 15. Which is bigger: q or c?
q
Let h be ((2 - 0) + -1)*9. Let u be ((-12)/4)/(-1) + -6. Let s be u/5 + 34/85. Are h and s non-equal?
True
Let d be (-9)/(108/(-32))*3. Let r(l) = -2 - 3*l - 1 + 0*l. Let q be r(-4). Which is smaller: q or d?
d
Suppose -2*p = -5*q - 12, p - 17 + 24 = -4*q. Let f be 194/64 + -3 + 0. Which is bigger: p or f?
p
Let z = -2849403/18280 - -1247/8. Is z >= -1?
True
Let y be 25/20*3/30*(-14)/7. Which is smaller: -0.09322 or y?
y
Suppose -b + 970 = 5*i, -i = 2*b + b - 2924. Suppose -21*u + b = -34*u. Which is smaller: u or -74?
u
Let x be ((-11)/(44/(-8)))/(2/4). Suppose -x = 86*n - 88*n. Which is bigger: n or -95?
n
Suppose 0 = h - 2*h + 24. Suppose -12*g - 214 = 110. Let r = g + h. Which is smaller: -15/4 or r?
-15/4
Let u = -1937 - -48388/25. Which is greater: 1 or u?
1
Let n = -9583 - 1580. Is n not equal to -11162?
True
Let f = -134 - -212. Let d = -78 + f. Let j = -6 - -8. Which is smaller: d or j?
d
Let p = 49 + -50. Let l = 55 - 17. Let h be (1/l)/((-10)/12 + 1). Which is smaller: p or h?
p
Let q = 0.226 - -78.774. Let x = -79 + q. Let h = -6 + 0. Is x > h?
True
Let z(m) = -m**2 + 2*m. Let i be z(2). Let l be 18/42 + 796/(-28). Let a be 2/l*(8 - 7). Which is bigger: i or a?
i
Let k = -162 - -211. Suppose -4*b - 4*w + k = -3*b, w = 5. Which is greater: b or -2/9?
b
Suppose -2*j + 51 = -43. Let h = j + -35. Suppose -h = -3*n - 0*n. Which is smaller: 6 or n?
n
Let o = -0.64 - -0.08. Let y = 3.56 + o. Is 11 greater than or equal to y?
True
Let i = 501 - 499. Let w = -13 + 18. Let f = w + -4.9. Which is bigger: i or f?
i
Let u be (2*3/(-4))/((770/132)/(-35)). Let s(h) = h. Let n(v) = -9*v**3 + v**2 + v. Let k(g) = -n(g) + 2*s(g). Let p be k(1). Is u bigger than p?
False
Let i = -0.324 + -0.816. Let d = i - -1.54. Which is bigger: d or 0.2?
d
Let i = 241 - 238. Suppose -880 = -3*c - 5*p + 4*p, -i*p = -3*c + 864. Which is smaller: c or -1/4?
-1/4
Let t = 2.078 + -1.208. Is -5/3 <= t?
True
Suppose 2*g = 5*g + 246. Let i = -2041 + 1960. Do i and g have the same value?
False
Suppose n - 20 = 5*v - v, -5*v - 20 = 0. Let j = 12 - n. Suppose -3*z + p = 8, -5*p - 4 = -3*z - j. Which is smaller: z or -8?
-8
Let x be ((-2210057956)/(-12418744))/1 + 3. Let g = x + 8/119411. Let b = 181 - g. Which is greater: b or -1?
b
Let i be -2 - -1 - -1 - (18 - 16). Let r = i + -4. Let a = -244/15 - -35/3. Is r < a?
True
Let v = 14 - 6. Let x be (v/14)/(68/(-14) + 5). Let t be (-1 - -1) + (0 + x - 2). Is t at most 9?
True
Suppose 5*p - 78*h - 86398 = -76*h, 0 = -3*h - 12. Is p <= 17277?
False
Let r(h) = 3*h**2 - 14*h + 8. Let q be r(5). Let j be 2 - (-15 - -2) - -3. Suppose -j*f = -q*f + 5. Which is greater: f or -6/7?
-6/7
Let d = -8415 + 16835/2. Which is smaller: 13 or d?
d
Let m be 90/(-12)*64/10. Let o be 33/m*-4 - 4. Which is greater: 19 or o?
19
Let z = 11585 + -11585.06. Which is smaller: -148 or z?
-148
Suppose -21*c + 25*c - 120 = 0. Suppose c - 15 = 3*h. Let i be ((-256)/(-80))/((2/2)/h). Which is smaller: 14 or i?
14
Let h = 12.79 - 546.79. Let v = h + 533.826. Is v at most as big as 0.2?
True
Suppose -4*l - 8 = -2*l. Let p be (1/l)/((-2)/(-12)). Let d = -14.73 - -12.73. Is d at most p?
True
Let y = 219 + -90.8. Let j = -128 + y. Is j >= -63?
True
Suppose -c + 4*y + 84 = 45, 10*c - 2*y - 314 = 0. Let x(r) = 8*r - 1. Let j be x(4). Is c not equal to j?
False
Suppose 4*c = 19*c + 433 - 238. Is c at most -268/21?
True
Let t be 6/(-4)*(-4)/(-24). Let z = -0.24588 - -0.23588. Which is bigger: z or t?
z
Suppose -o = 2*i - 4, -o + 0*o - 3*i = -6. Suppose o = -2*a - 6, -b = 2*a + 3*a + 18. Let j be -53*((-5)/(-2) + b)*-2. Is j smaller than -52?
True
Let v = -77.2 - -95.51. Let l = -9.21 + 8.52. Let w = l - v. Which is greater: w or -1?
-1
Suppose -58 = 130*y - 132*y. Suppose y = i + 9. Which is greater: 19 or i?
i
Let s = 4298.305 - 4297. Is s equal to 0.2?
False
Let t = -37 - 113. Let z be t/(-20) + 3/2. Let p be ((-24)/8)/((z/2)/3). Which is smaller: p or -7?
-7
Let y = -1/70 - -299/1330. Suppose 0*u + 4 = 2*u. Suppose -3*x = u*x - 5. Is y at least x?
False
Let b(d) = -3*d**2 + 14*d - 115. Let p(f) = 8*f**2 - 42*f + 346. Let n(h) = 11*b(h) + 4*p(h). Let z be n(-20). Which is smaller: 1/41 or z?
z
Let a(z) = 2*z**2 - 7*z - 5. Let c be a(-4). Let k = -71 + c. Let q be ((-34)/3)/((-2)/(-3)). Which is smaller: k or q?
q
Let b = 16362 - 16362.082. Which is bigger: b or -1/46?
-1/46
Let v be (-15212)/(-5068) + (2 - -3) + -5 + -3. Do 1 and v have the same value?
False
Suppose r = -10*s + 2272 - 432, 3*r = -5*s + 920. Which is smaller: 176 or s?
176
Suppose -119 = -9*j - 38. Let y be (-239)/3*j/12. Let g = 60 + 