 10*f - 24. Let y be z(k). Suppose 2*h - h + 27 = y. Is -27 < h?
False
Let d = 0.3 - 0.4. Let h be ((-7)/4)/((-5015)/4720). Which is bigger: d or h?
h
Let a = -1893 + 1513. Is a bigger than -761/2?
True
Let p = -8340253/18202 - -8706/19. Which is greater: 0.1 or p?
0.1
Let z(i) = -35*i**2 + 397*i - 133. Let s be z(11). Let m be ((-21)/(-6))/(22/4). Which is bigger: s or m?
m
Let l(s) = -149*s**3 - 18*s**2 - 18*s - 1. Let q be l(-1). Which is smaller: q or 1630/11?
q
Let v = -24418/7 - -3488. Are v and -15/268 unequal?
True
Let o(p) = 240*p - 241*p + 5 + 1 - 4. Let h be o(4). Let i be (2 - (-131 - h))/(1 + 0). Which is smaller: 130 or i?
130
Let h(q) = -4*q**2 - 17*q - 14. Let n be h(-6). Let i = -52 - n. Suppose 2*z = y + 31, y = i*z + 11 - 32. Is -42 at most y?
True
Let x = -3207/4 + 1631/2. Let f = -3.53 + 3.63. Which is bigger: f or x?
x
Suppose 3*t - 15 = b - 2, -4*t = 5*b + 160. Is -16 < b?
False
Let g = -120 + 34. Let a = 4938 + -4852.1. Let m = g + a. Are m and -14/11 equal?
False
Let d = 26 + 26. Let o = 0.09563 - -0.90437. Is d smaller than o?
False
Suppose s = -4*q - 648, -286*s + 168 = -q - 287*s. Do q and -1/2 have different values?
True
Let z be (-2)/4 - (-16)/((-2016)/52913). Is -420 greater than or equal to z?
True
Let b be (-5)/(-2)*(14824784/(-1058915) + 14)*2. Which is greater: -1 or b?
b
Suppose 4*f - 3*j = -215 + 735, 0 = -4*j - 16. Let i = f - 76. Which is smaller: i or 52?
i
Let c = 85 - 89. Let b be (127/c + 0)*52/(-1911). Let g = b - 1/147. Which is smaller: g or 1?
g
Let p = 17 + 18. Let l = p - 61. Let s = -2.043 - -0.043. Which is smaller: s or l?
l
Let x = -2393 - -2410. Which is smaller: x or 172/11?
172/11
Let v be ((-18)/15)/((-11)/(-2365)). Let p = 247 + v. Let u = -1 + 3. Is u >= p?
True
Suppose -4*x = 4*g + 228, -216 = 4*g + 2*x - x. Let t = g - -183. Which is smaller: t or 0.1?
0.1
Let a = 2637 + -2539. Are a and 108 equal?
False
Suppose -2*o - 2*f - 24 = 0, 2 = 2*o - 5*f + 5. Let a = 6/2413 + -45859/4826. Which is bigger: o or a?
o
Let j be ((-1194)/4)/(72/(-32)). Suppose -34*k + 21*k - 1729 = 0. Let v = j + k. Which is bigger: 50 or v?
50
Let r = -3232.3 + 2967. Let z = r + 265. Is -1 greater than or equal to z?
False
Let x be -6 + (14 - 12)*(-153 - -2). Are x and -305 equal?
False
Let s(h) = 38 + 5*h + 42 - h**3 - 109 - 6*h**2 + 39. Let f be s(-7). Is 25 less than f?
False
Let p be 0 + ((-3)/8 - (-1998)/592). Suppose 5*i + 2 = 3*q - 25, -3*q = 5*i + 3. Is q at most p?
False
Let f = -1333 - -1346. Is f > -68?
True
Let v(j) = j**3 - 2*j**2 - 2*j + 2. Let b be v(2). Let d be 0 + 4 + 0/(-1). Suppose 2*w = p + 3, -6*p + 13 = -p + d*w. Which is smaller: p or b?
b
Let u = -3307 + 1465. Let d = u + 46056/25. Let c = -2 - -2. Is c less than or equal to d?
True
Let t be (-5 - 1/(-1) - -5)/(-625). Let z = -140 + 141. Which is bigger: z or t?
z
Let l = 37.7 + -23.4. Let a = -15.3 + l. Which is bigger: -0.16 or a?
-0.16
Let a = -2788 - -3440. Which is bigger: a or -2?
a
Suppose 48201 = 95*t + 319996. Is t != -2860?
True
Suppose 3*c = -h - 221, -h + 12 - 17 = 0. Is c not equal to -72?
False
Suppose 2*a = -10, w + a - 63 = 261. Let m = w + -226. Let f = 722/7 - m. Is f smaller than 0?
False
Let r = 377 - 423. Let g = -94 - -51. Let c = g - r. Which is bigger: -3/8 or c?
c
Suppose -2192*o + 2176*o = -720. Let u = 93 + -48. Is u != o?
False
Let a = 28307 + -28307.091. Is 13.8 equal to a?
False
Let n = 22882 + -22881. Which is smaller: -14508 or n?
-14508
Let k be 0/(-6 + -7 + 15). Which is smaller: -3/8 or k?
-3/8
Let m = -107/412 - -1/103. Let j be (-888)/3672 - (-2 - (-57)/27). Let v = -116/425 - j. Which is bigger: m or v?
v
Suppose -4*z = 484 - 68. Let b = z + 103. Is 4/101 equal to b?
False
Let w = 177130/29 - 6108. Which is greater: -19 or w?
w
Let j be 9/((-216)/(-1005)) - -8. Let c = j + -9959/200. Let b = 1.5 + -0.5. Which is greater: b or c?
b
Let r = 805 - 710. Suppose 5*p = -22*f + 25*f - 73, -5*f + r = 5*p. Suppose -8 = -w + 13. Is w greater than f?
False
Suppose -12*o + 17*o + 555 = 0. Let u be 2/(-12)*(-296)/o. Which is smaller: u or 0?
u
Let j(z) be the second derivative of -z**4/12 + 5*z**3/3 + 9*z**2 + 14*z. Let l be j(10). Suppose -15*y + l*y + 9 = 0. Is -2/9 greater than or equal to y?
True
Let g(w) = 2*w**3 + 47*w**2 - 17*w - 14. Let b be g(-23). Is 908 < b?
False
Let b = -5268 - -4739. Which is smaller: b or -2647/5?
-2647/5
Let g = -15.149 - -15. Let w = g - 0.051. Which is smaller: -0.05 or w?
w
Let o be (-2)/(-33)*3 + ((-8106)/(-66) - 0). Which is smaller: o or 119?
119
Let d be (-60)/18*(1 - 4). Let x(n) = n - 7. Let u be x(d). Let r be (u - 5)*(-2 + 0). Are r and 4 unequal?
False
Let f be -732*(226/(-72) + (-5)/(-20)). Let m = f - 2063. Which is bigger: 52 or m?
52
Let k be 3*(-12)/(-9)*1. Let w = 442 + -249. Suppose 197*m = w*m - 12. Which is greater: m or k?
k
Suppose 4*q + 2*u - 1 - 1 = 0, 7 = 2*q - u. Let a(b) = -13*b**2 + 2*b + 2. Let z be a(q). Let h = -46 - z. Does h = 1/29?
False
Let v = 1532 + -1533. Does v = -2/3831?
False
Suppose -2*i - 8 + 24 = 0. Suppose i = w + 7*w. Which is greater: w or -8/31?
w
Suppose -2*x = -5*d - 76, 4*x - 7*d + 3*d = 140. Let f be x/82 - (-2)/(-4). Are f and 0 nonequal?
True
Let c be 2/6 + (-196460)/588588. Let b = 9076/352261 + c. Is b <= 0?
False
Let t = 635.73 + -636. Is 47 at most as big as t?
False
Suppose -1170 = 2*a - 4*j - 5998, 7272 = 3*a - j. Is a != 0?
True
Let m = -18.44 - 21.2. Let x = m + 43.3. Let b = x - 3.8. Are b and 0.2 nonequal?
True
Let y(k) = k**3 + 24*k**2 + 78*k - 39. Let t be y(-19). Which is greater: t or 292?
292
Let p = -41188 + 41189. Which is smaller: 21363 or p?
p
Let s be ((-120)/605)/((-46)/(-69)). Is 1 not equal to s?
True
Let f = -479 - -481. Suppose 5*w - 7 = -f*z, -2*w - 9*z = -4*z - 7. Let q be 1 - (1018/338 - 2). Which is greater: q or w?
w
Suppose -i = 4*y + 5 + 29, 2*y = -4*i - 10. Let z = y + 12. Is -22 <= z?
True
Let o = -3120187/335 - -9314. Let s = o + -787/13065. Which is greater: s or 1?
1
Let g(x) = x**3 - 7*x - 10. Let h be g(-2). Let c be (0 - (-2)/145)/(h/20). Is 0.1 less than or equal to c?
False
Suppose 122*g = -9*g + 5764. Is g at most as big as 4?
False
Suppose o - 4*b + 8*b + 19 = 0, o + 4 = -b. Let w(k) = -98*k + 43. Let h be w(o). Which is smaller: h or -1?
h
Let r(k) = -8*k - 193. Let f be r(-24). Let n be ((-42)/(-2925))/(24/170). Let i = 3/65 - n. Is f <= i?
True
Let j be ((3/(-9))/(5/552))/((-58)/145). Suppose 3*o + 90 = z - 0*z, -3*z = -3*o - 270. Which is greater: j or z?
j
Let z = -1 - 0. Suppose 60*v + 417 - 297 = 0. Is v < z?
True
Suppose 2*o = r + 19 - 24, 4*o - 10 = -2*r. Suppose -r*k = -24*k - 1235. Is -64 <= k?
False
Let h = -50 - -13. Let i = h + 43. Suppose -z + i = -4*z + k, 3*z + 3*k + 18 = 0. Is 3 <= z?
False
Let b = 21328 - 21367.57. Which is greater: 2/17 or b?
2/17
Let o = 22 + -136. Let i = o - -112.99. Let b = i + 0.71. Which is bigger: 2 or b?
2
Let u(l) = -l**2 - 6*l - 1. Let r be u(-6). Let y be (r + 2 + 5)*4/(-2). Let q be (1 + 6/y)/((-2)/364). Is -90 smaller than q?
False
Let i be ((413/21)/((-22)/33))/(1/(-6)). Which is greater: 168 or i?
i
Let m = 5 + 7. Let s be -1*((-69)/(-2) + 1/2). Let r = m + s. Are -23 and r equal?
True
Let g be ((-100)/(-250))/((-2)/(-200)). Let m be (1 - 0) + g/(-60). Are m and 37/8 nonequal?
True
Let r(i) = -1444*i - 2. Let v be r(-2). Let a be (-1886)/v*9/(-6). Let n = a + -32/37. Is n greater than 0?
True
Let r = 3 - 2. Let j = 1.3 - r. Let l = -349 + 356. Are l and j nonequal?
True
Let u(a) = 19*a**2 - 21*a + 3. Let x be u(-3). Let s = x - 6637/28. Are s and 0 nonequal?
True
Let s = -18860 + 19477. Suppose -1042 = -4*a + 1430. Is a equal to s?
False
Let x be (-24 + 4)*(16/20)/(-2). Let o(g) = g + x*g - 3*g + 1 - g. Let z be o(0). Is z > 10/23?
True
Let l = 0.916 - 18.816. Which is greater: l or 2?
2
Let z be (6 + 33)*2/(-4). Suppose m + 0*m = 4. Suppose -m*x = -5*l + 90, -5*x - 3*l - 96 = -2. Which is bigger: x or z?
z
Let f be (2 + 2)*((-18)/(-8) - 4). Let n be (-1 - f) + (-60 - -53). Which is greater: n or -15/19?
-15/19
Suppose -6*j + 125 = -37. Let h be (30/24)/(3/(-72)). Let o = h + j. Is -1 > o?
True
Suppose -4*o = -5*o + 3. Let d(w) = -w**2 - 4*w + 133. Let l be d(-13). Suppose -3*f + 7 = 3*q + l, 0 = 3*f + q + o. Is -10/13 greater 