 Let q = w + 564/96037. Do q and 0 have the same value?
False
Let h be ((-21)/(-14))/(12/1472). Let m be 1/(-16)*-2 + 17641/h. Suppose 43*b = 39*b + m. Are b and 23 unequal?
True
Let o be 3468/289 - (22 + (-1 - 0)). Are o and -771 unequal?
True
Suppose -3*z + 5*c + 21 = 0, -31 = -3*z - 4*c + 17. Let y(j) = j**2 + 875*j + 3513. Let l be y(-4). Is z greater than l?
False
Let w = -166 + 46.8. Let h = w - -36.2. Which is greater: 1/6 or h?
1/6
Suppose -m + 259 = r + 46, r - 2*m = 201. Is r bigger than 1868/9?
True
Let n be 2/3 + (2640/1971)/(-2). Let h = -1252/20367 + n. Which is bigger: 1 or h?
1
Let c(g) = -890*g + 2090. Let z be c(8). Which is bigger: z or -5029?
-5029
Let b = 10348 - 10348.2. Which is greater: b or -2/221?
-2/221
Let q = -442137219/6482 + 68210. Which is smaller: q or -1?
-1
Let x(o) = -o**3 - 14*o**2 + 17*o - 20. Let d be x(-15). Let a be -4 + ((-2)/(-3))/(d/75). Are a and -15 nonequal?
True
Let a be 4642/7 - -1 - ((-15330)/(-294) + -52). Which is smaller: 1 or a?
1
Let a(p) = 381*p - 711. Let x be a(2). Which is greater: x or 53?
53
Let n(g) = g**2 + 68*g - 376. Let k be n(-73). Let a = -13 + 25. Let b = a + k. Which is greater: 1/4 or b?
b
Let u = -18.64 - 0.06. Let q = 7.7 + u. Let f be (-6)/8*(-2)/(-6). Is q smaller than f?
True
Let r be 48/18 - (-5830)/30. Which is greater: 196 or r?
r
Let m(q) = -2*q**3 + 229*q**2 - 111*q - 342. Let t be m(114). Do 7/80 and t have the same value?
False
Let a be ((-16)/(-2))/2*111/222. Suppose -2*l = -3*k + 36, -l + 13 = -a*l + 4*k. Which is bigger: l or -20?
-20
Suppose 0 = i - u + 1, -19*i + 5*u = -22*i + 21. Suppose i*w + 2*w = 5*v + 1078, 3*v = 3*w - 645. Which is bigger: v or -220?
v
Let q = -66/1921 + -4246671/19210. Which is smaller: q or -220?
q
Let x = 7/351 + 5167/4914. Suppose -27*v = -54*v. Which is bigger: v or x?
x
Let h = -21814875 + 938105769/43. Let u = h + -1538. Is u != -1?
True
Suppose -5*w - 2*g = 16525, 12*g = 4*w + 10*g + 13202. Which is bigger: w or -3304?
w
Let g = -0.888 + 0.926. Let o = 3 + -3.1. Is o not equal to g?
True
Suppose -113427 - 2661 = -42*r. Is 2765 < r?
False
Let s = 61 - 59. Suppose -3*n - s*n = n. Suppose -5*q + 23 = -3*t, -4*q = -0*q - 16. Is n <= t?
False
Suppose 12*g - 4*u = 9*g - 12, -5*u = -3*g - 15. Which is bigger: g or 16/123?
16/123
Let p be 56/112 + (-9)/6. Which is bigger: p or -3/14?
-3/14
Let u be -856 - (-2 - -30)/(-7). Let j be 3*(1 + u/849)*-1. Is j < -1?
False
Suppose -335 = s + a - 302, 4*s - 5*a = -123. Which is bigger: -48 or s?
s
Let t = -102 - -180. Let b = -60 + t. Suppose 0 = -m + 29 - b. Is 11 < m?
False
Let o(n) = 4*n**2 + 6*n. Let j be o(-6). Let r = 2682149 + -139477361/52. Let i = j + r. Which is smaller: i or 0?
0
Let v = 39.7 - 38.4. Is v > 0.062?
True
Let m = -13.07 + 13. Let i = -1660 - -1658.93. Let f = i - m. Is f >= 5?
False
Let t(w) = -w**3 + 8*w**2 - 5*w + 3. Let i be t(8). Let y = i + 97. Let b be 0 - 1 - (y/5 - -3). Is b < -19?
False
Suppose -96 - 91 = -17*i. Is 31 >= i?
True
Let z = 3340 - 76834/23. Let g = -465/16 + 10911/368. Let u = g + z. Is 0 at most as big as u?
False
Suppose 3*q + 1 = 1. Let c be (-140)/98*(-28)/(-34). Is q <= c?
False
Let a be -2*(168/392 - (-12742)/28). Is -895 < a?
False
Suppose 0 = 2*r + 3*z - 103, 154 = 3*r + 8*z - 4*z. Suppose 3*b = 4*l + 47, -l - 3*l + 2*b = r. Which is smaller: l or -109/8?
l
Let g = -71/185 - -6121/14985. Which is greater: 0 or g?
g
Suppose 16 = 662*j - 670*j. Let n(l) be the first derivative of -2*l**3/3 - 5*l**2/2 - 5*l + 1. Let r be n(j). Is -6 < r?
True
Let g = -1.3844 + 3.3844. Do 413 and g have different values?
True
Suppose 10*a - 275 = 5*a. Let p be (-94501)/(-1694) - (-4)/(-14). Which is bigger: a or p?
p
Let o = -912/85 + 63568/1615. Which is greater: o or 30?
30
Let i = 196 - 196. Let r be 762/80*(-24)/(-72). Let f = 27/8 - r. Are f and i unequal?
True
Let g(k) = -11*k + 688. Let i be g(4). Are 648 and i non-equal?
True
Let s = -11535 + 11525. Let j = 0.2 + 0. Do j and s have different values?
True
Suppose -5*n + 2*a = 8, 0 = 5*n + 64*a - 65*a + 4. Do -68/1169 and n have the same value?
False
Let j = 8381.0644 + 3.9356. Is 2 at most j?
True
Let w be (-1202)/(-12) + 19/(-114). Is w smaller than 106?
True
Let a = -0.1 - 1.3. Let b = -2622.21 + 2622.17. Is b less than a?
False
Let c be (-798)/(-12)*(-405)/(-252). Which is bigger: c or 106?
c
Let m = -3259 - -35826/11. Is m bigger than -1?
False
Let v(p) = -10*p**2 + 2*p - 1. Let z be v(1). Let a be (3/z)/((-8)/(-6)). Let m be (-6)/(-4)*((-16)/(-3) - 6). Which is bigger: m or a?
a
Suppose -11 = b - 3*b + 5*n, 0 = -4*b - 3*n - 43. Let d be (b/(-14))/((-1)/19). Are d and -11 non-equal?
True
Suppose -l = 4*l + 10. Let q(z) = -9*z**2 - 3*z + 2. Let d be q(1). Let j be l/20 + 6 + 55/d. Which is greater: j or -1?
j
Suppose -3*v = 2*c + 5 - 1, 3*c + 8 = -5*v. Suppose 0 = -k - 5, 6*d + c*k = d + 30. Let i = d - 14. Which is greater: i or 2/5?
2/5
Suppose -2*w - 4 = 0, g + w - 23 = -83. Is g less than -68?
False
Let x be 4/(-18) + (-12)/((-2052)/(-9943)). Is x greater than or equal to -58?
False
Let k = 8071/3 + -2677. Which is greater: k or 21?
21
Let s = -11288.5 + 11288. Is 2/2145 at most s?
False
Let h be (16/(-18)*17/204)/(176/(-104)). Which is bigger: h or 1?
1
Let v = 287566 - 615824. Let h be (-2)/(-26)*2 - v/286. Let c = h - 1149. Does 0.1 = c?
False
Let p be 5*-103 + (-2 - -13) + -9. Which is smaller: 1 or p?
p
Let s be 15*(0 - (-2)/3). Let k be (-7)/(-5) - s/(-25). Let n be (-23)/(-10) - ((-1)/(-15))/(22/99). Which is bigger: n or k?
n
Let z be ((-7)/(-21))/(9/4). Let x = 275.8 - 273.8. Which is smaller: x or z?
z
Let h = 10245/2933 + -602922853/108521. Let c = h + 5552. Let g = 0 + -1. Is c at least g?
True
Let k = -1.0543 - -0.7043. Let m = -1.9 - -2. Is k greater than or equal to m?
False
Let b = -11416 - -11416.03. Let j(z) = -z**2 + 7*z - 6. Let i be j(4). Let k be i/24 - (-18)/(-40). Is k > b?
False
Let m = -21.68 - -19.88. Is -22 equal to m?
False
Suppose -7*v = -7*v - 33*v. Is -0.03 at least as big as v?
False
Let l = -0.86347 - 0.03653. Which is smaller: l or 13?
l
Let a be 4/14 - (-2)/(-7). Suppose -16*i - 3 - 77 = a. Let u be (i - 140/(-25))*-45. Which is smaller: u or -26?
u
Let k be (-4 - -6)/(4/(-2)). Let o = 2951241 - 97400063/33. Let m = -276 - o. Is m at most as big as k?
False
Let t = 233276/7 + -33205. Which is bigger: 120 or t?
t
Let m = 208 + -208. Which is greater: m or 352?
352
Suppose -1 = 4*v - 5. Let b be (v - 168/75) + 1. Suppose 0 = -6*a + 65*a + 59. Do a and b have different values?
True
Let o(f) be the second derivative of 11*f**3/6 - 157*f**2/2 - 66*f - 1. Let y be o(14). Which is greater: -27/10 or y?
-27/10
Let k(h) = -h**2 - 4*h - 11. Let z be k(-5). Let v = 138 + -79. Let d = -76 + v. Which is smaller: z or d?
d
Suppose 4*y = 3*l + 2171, -644 - 3695 = -8*y + 3*l. Which is smaller: y or 543?
y
Let g(l) = -l + 71 - 13*l - 66. Let r be g(-5). Suppose r*j - 80*j + 30 = 0. Which is smaller: j or 7?
j
Let m = -223 + 224. Suppose 11*s + 6*s + 34 = 0. Is s smaller than m?
True
Let d(u) = u**3 - 14*u**2 + 8*u - 32. Let c be d(9). Let i = c + 394. Is 31 <= i?
False
Let v(a) = a**3 - 17*a**2 + 17*a - 10. Let k be v(16). Let f(c) = -9*c - 9*c - 15 - 4 + 20*c. Let i be f(k). Which is bigger: -6 or i?
-6
Suppose j - 5*a = 2*j + 7, -5*a = -2*j + 31. Suppose 0 = 3*q - h + 265, -5*q + h = -0*q + 445. Let b be (-78)/(-130) + (-646)/q. Which is bigger: j or b?
j
Let a = 42.986033 - -0.013967. Let y = 5 + -2. Let h = -4 + y. Do a and h have the same value?
False
Let n = 77 + -60. Let a = -56 - n. Let u = a + 82. Is 3/5 greater than u?
False
Let w be (-5 - -6)*-3 + 2572. Which is bigger: 2570 or w?
2570
Let g be 869036/(-46) + (105/1610)/((-9)/(-12)). Is -18893 < g?
True
Let g be (-2)/(-4) - 7/2. Let n be (-48)/(-96) - 12350/(-4). Let l be (4/(-6))/(13 - n/240). Which is bigger: g or l?
g
Let q = 583 + -583. Suppose q = -1104*f + 1102*f + 8. Which is bigger: f or 3?
f
Let c be (942 + -948)*((2 - 0) + 20/(-6)). Suppose 2*o - 1 = -3*n - 2, -3*n = 4*o - 1. Let u be o*114/15 + -1. Is c less than or equal to u?
False
Let k be 108 + -121 + (-87)/(-7). Are 45/8 and k nonequal?
True
Let l be (1/(-3))/(82/(-738)). Is -294 at most as big as l?
True
Let w = 1056.7 + -1056. Which is smaller: