s. Is 0 less than a?
True
Let x be 2/5 + -2372*(-6)/120. Let j be x/17*(-1 - -4). Suppose -j = -t - 3*l, 0 = 3*t - 8*t - 2*l + 79. Do t and 16 have the same value?
False
Suppose 0 = 56*t + 58*t - 107*t - 343. Which is bigger: t or 52?
52
Let g(y) = 2*y**2 - 26. Let q be g(-4). Let l be -26*(-5)/(-43) - (3 - q). Suppose -4*s + b = 6*b - 9, 0 = -2*b + 2. Do l and s have different values?
True
Let n = -12 + -8. Let r = -276539 - -276540. Which is bigger: n or r?
r
Suppose 14 = 4*d + 2. Let c be 67/d + 14/(-42). Let m be (-24)/(-7) + -4 - c/(-14). Which is smaller: -1/48 or m?
-1/48
Let s be 3*(-8)/(-6)*1. Let h = -174.03 + 0.03. Let d = h - -175. Which is smaller: s or d?
d
Let w be (-208 + 6)*(-26)/(-52). Is w greater than -39?
False
Let q(o) = 2*o**2 + o - 77. Let m(f) = -f**2 - f + 38. Let n(b) = -5*m(b) - 2*q(b). Let i be n(-6). Which is bigger: i or -37/2?
i
Let o be (6/(-8)*-2)/((-4525)/50 - -91). Suppose 15 = 4*x - 1. Is x equal to o?
False
Let n = 1134332558/8521 + -133122. Is 1 at most n?
False
Let d(q) = 5*q**2 - 127*q + 796. Let u be d(6). Which is greater: u or -4/3?
u
Let j(t) = 112*t + 48. Let s be j(9). Let i be s/10 + -2 + 49/35. Which is smaller: i or 106?
i
Let k be (-21)/(-5) - (-104)/130. Suppose 3 = -3*j + 5*o, -o + 21 = 5*j - 2. Let h be (4/25)/(j + (-18)/k). Do 0 and h have the same value?
False
Let o = 89 + -82. Let x(k) = -k**2 + 11*k - 25. Let d be x(o). Which is smaller: 4 or d?
d
Suppose 1027 = 3*n + 1018. Suppose 53 = 2*u + 3*y - 2*y, 3*y - 87 = -n*u. Are u and -3 nonequal?
True
Let y = 20276/25 - 811. Let w(r) = r**3 + 3*r**2 - 1. Let z be w(-3). Is z at least y?
False
Let i = -3480 + 3497. Which is smaller: 43 or i?
i
Let b be 18/(-30)*2/3. Let w be (4 + 0)*(-1)/(-1). Let k be (105/14)/15 - w/3. Are k and b unequal?
True
Let c = -126719 - -602295411/4753. Is 1 >= c?
True
Suppose 0 = -10*q - 20*q + 1950. Let s be 2/1*((-15)/q)/(-3). Is s at least as big as 8?
False
Let h = -270 - -141. Let a = 196 + -123. Let f = a + h. Which is bigger: 0 or f?
0
Let f = -1117 + 25687/23. Let d(q) = 2*q + 11. Suppose 0 = -4*w + 2*c - 34, -5*c = -5*w - 35 - 20. Let n be d(w). Which is greater: n or f?
f
Suppose -6*n - 2507 + 59 = 0. Let g = n + 525. Is 118 at least as big as g?
True
Let r(w) = w**2 + 12*w - 40. Let z be r(-15). Let g be (42/(-49))/((-22)/112). Is z smaller than g?
False
Let t be 4 - 6 - -21 - 3. Let v = t + -20. Let o be 30/(-4)*(128/20 + v). Which is smaller: o or -19?
-19
Let k = -179 - -183. Let w be ((-3)/k)/((-61)/2 + -7). Is 1 greater than or equal to w?
True
Let i = 23 + -24.4. Let y = -0.9 - i. Is y bigger than -1/5?
True
Suppose -475 = 3*o + 4*f + 407, 4*f + 580 = -2*o. Does -7 = o?
False
Let g(r) = -r**3 + 17*r**2 - 15*r - 15. Let b be g(16). Suppose -b - 15 = -8*p. Let i be ((1 - p) + -5)*(-8)/4. Which is smaller: 9 or i?
9
Let s = -52.8736 - 0.0264. Let o = s + 54.6. Is 10 <= o?
False
Let u(b) = -3*b**3 + b**2 - 27*b - 42. Let v be u(-6). Is 806 greater than v?
True
Let p = -31/34 + 25/102. Let i be 0/1*(-3 - -2). Suppose -4*c - 5*k + i = 8, 0 = 3*c - 4*k - 25. Is p equal to c?
False
Let r(b) = -3*b + 3. Suppose 2*i = -2*f + 10, -4*f + 2*i - 10 = -3*f. Let l be r(f). Suppose -l*k + k = -2. Which is smaller: -2/125 or k?
-2/125
Let v(m) = -3*m + 15. Let l be v(5). Is -56/115 greater than l?
False
Let k = -5824 - -13442. Is 7619 at most as big as k?
False
Let z(b) = 35*b**2 + 102*b - 31. Let w be z(-10). Is 2448 at least as big as w?
False
Let j be (6 + -6)/((-3)/(1 - 4) - -2). Which is greater: 4/1715 or j?
4/1715
Let r = -3 + 2. Let c = -23645441/364 - -64960. Which is greater: r or c?
c
Let h be (-5)/10*(-5)/(15/84). Suppose 26*p - 1236 = h*p. Is p >= 101?
True
Let f = -19 + 10. Let z be (-3)/f*(-7)/(-2). Let d = -17920 - -17919. Is z not equal to d?
True
Let g = 32739 + -32744.3. Is g greater than -0.057?
False
Let q = 655975337/42443764194 + -53/244434. Let b = q + -2/481. Do -1 and b have the same value?
False
Let h = 5086 - 249240/49. Let o be 2/(-9) - (280/(-45))/(-8). Which is smaller: o or h?
o
Let z = -29.021 - -0.021. Let u = -45 - z. Let y = u - -15.89. Which is smaller: 0 or y?
y
Let w(i) = -i**3 - 81*i**2 - 166*i - 188. Let m be w(-79). Is m not equal to 436?
True
Let z = -3/3370 - -10413/340370. Let a = -238 + 239. Which is greater: z or a?
a
Let b = -32 + 36. Let y be (12/9)/(b + (-218)/54). Which is smaller: -37 or y?
-37
Suppose -9*h - 19 = -1, h + 1072 = 5*u. Which is smaller: u or 215?
u
Let v = -18 - -30. Let u = 72270 + -72259. Is u >= v?
False
Let x = 2/184087 + 552239/2024957. Suppose -h + 12 = 3*h. Suppose -3*a + h = -0. Which is bigger: x or a?
a
Suppose 7*a + 5*p - 24 = 5*a, 0 = -5*a - 3*p + 22. Suppose w - a*q - 3 = 0, -3*w + 0*q + 5 = -5*q. Is w > -9?
True
Let a = -16.97778 - 0.02222. Which is greater: -6/59 or a?
-6/59
Let g = -638.614 - -638. Let c = 0.414 + g. Which is bigger: c or -72?
c
Let o be (-12)/(3 + 3) + -63. Let p = o + 53. Let m = 11 + -24. Which is smaller: p or m?
m
Let o be 30/(-8) + (-2)/8. Let b = 0.48 + 8.72. Let c = b + -8.5. Are o and c unequal?
True
Suppose 16 = 4*q - 4*g, -2*g = -q + 6*q + 15. Which is smaller: -139/93 or q?
-139/93
Suppose 0*o + 39*o = 39. Let r = 2533/55980 - 1/1244. Which is smaller: o or r?
r
Let p be (1/434 - 0)/(34/34). Let x = 4666/217 - p. Which is bigger: 22 or x?
22
Suppose -24*w = b - 26*w - 525, 5*w + 534 = b. Let f = 554 - b. Are 36 and f non-equal?
True
Let d be (-14)/77 - (-204)/33. Let m = -5911/9 + 663. Are m and d unequal?
True
Let g = 312 - 315. Let m be 65/195*g/(-4). Is 25 less than m?
False
Let a be ((-1274)/65)/((-3178)/(-140)). Is a less than 0?
True
Let l = -664 + 678. Is 4/5 at least as big as l?
False
Let j = -28 - -31. Suppose -j*x - 2*a + 7 = -4, 3*a - 8 = 4*x. Let w be 3222/(-6300) - x/(-2). Which is smaller: -1 or w?
-1
Let h be (-1712)/42*(-8 - 297/(-36)). Is h equal to -11?
False
Suppose 3*s - 275 - 343 = 2*n, 2*s - 4*n - 420 = 0. Are 1434/7 and s non-equal?
True
Let o be 2*(25/(-10) - -4). Suppose 392 = o*c - j - 109, -4*c = j - 668. Which is bigger: 166 or c?
c
Let u be (98/(-21))/((-4)/6). Let f(t) = -1691*t + 5078. Let r be f(3). Are u and r equal?
False
Let i = 5.302 + -4.272. Which is smaller: -3.8 or i?
-3.8
Let p = -5960 + 5959.67. Is -75 at least as big as p?
False
Let p be (-60)/52 - (-2)/13. Suppose 7*v - 2*n - 38 = 3*v, -3*v + 5*n = -32. Suppose -4*w - v*w + 156 = 0. Which is smaller: p or w?
p
Let s(f) = 5*f**2 + 2*f - 2. Let p(o) = -o**3 - 3*o**2 - 8*o - 24. Let h be p(-3). Let q be s(h). Let b = 13 + -29. Are q and b unequal?
True
Let l = 963/646 - 30/19. Is 1 smaller than l?
False
Let w = 5487983/83 + -66119. Is w at least 2?
False
Suppose 5 = -4*k + 4*f - 3, 0 = -3*f - 12. Let a be -1 + ((-26)/(-39))/((-4)/k). Which is smaller: 8/11 or a?
a
Let f = -76 - -64. Let q be (-2)/f - (-3820)/120. Which is greater: q or 31?
q
Suppose 5*k + 5*i = i + 12, -4*i - 12 = -k. Suppose 0 = 2*g - 5*v, 0 = -4*g - k*v - 0*v. Which is bigger: -16 or g?
g
Let h be ((-10)/(-129))/(-3 - (1 + -2)). Let p = h - -68/645. Is p equal to 7?
False
Let c = 1383 - 31841/23. Let v = c + 301/299. Which is smaller: v or 2?
v
Let f(b) = -5*b**2 - 10*b + 23. Let s be f(-10). Let y = s - -405. Is y < 29?
True
Suppose 4*o = 4*n - 2712, 4*n = 160*o - 158*o + 1348. Which is greater: o or 0.1?
0.1
Let q = -1.25 - -0.25. Let g = 6.1 + q. Let f = 5.6 - g. Does 0.02 = f?
False
Suppose -v = 4*i - 49, -5*v = -6*v + 3*i + 77. Is v at least 321/5?
True
Let m = -8529 + 6433. Is m greater than 0.1?
False
Let w = 83.9728 - 84. Let h = w + -1.6728. Let d be (-1)/3*9/12. Is h < d?
True
Suppose 2*i + i = -810. Let x = i - -208. Is x > -64?
True
Suppose -7 - 22 = -f + 5*p, -5*p = 25. Suppose -f*t = 2*x + 12, -1 - 6 = -5*t + 3*x. Is t < 2/71?
True
Suppose -2*m = -5*m. Let x be 3328/1280 - (2/(-5) - -1). Suppose 2*i = -m*i - x. Which is smaller: i or -2?
-2
Let q(b) = b**2 - 10*b + 12. Let o be q(8). Let k be 1/2*(14 + o). Suppose 0 = -2*x - 2*x - k*x. Which is bigger: x or 2/3?
2/3
Suppose -8 = 828*j - 824*j. Let q be (-9)/18 + (3/(-6) - j). Which is greater: q or -4/79?
q
Let h(b) = 27 + 34 - 20 + 5 - 16*b. Let f be h(3). Which is bigger: f or -0.37?
-0.37
Let k(p) = p**3 + p**2 - p - 8. Let v(g) = 6*g - 41. Let a be v(11). Suppose 26*o - a