 k(11). Let o = h + 1089/4. Let d = 50.69 - 51. Is o bigger than d?
True
Let u = 503 - 254. Suppose -228 = -7*t - u. Which is smaller: -5 or t?
-5
Let n be (0 - (-200)/6)*(-101)/(1515/(-18)). Suppose 16 - 133 = -3*x. Is x bigger than n?
False
Let k be 4595/(-69) + 26/39. Let s = k + 197/3. Which is smaller: -1 or s?
-1
Suppose -23 = -2*a - 5*x, 4*a + x - 28 = -3*x. Let m be 162/(-243) + 14/3. Suppose m*p = -d - 0*d - 7, p - 2 = -a*d. Which is smaller: 3/25 or d?
3/25
Let b be ((-1105)/34)/((-10)/76). Is 993/4 bigger than b?
True
Let q be 0 - (6 - 13 - 3/(-1)). Suppose 4*f + 24 = 5*k, 5 = f - q*k + 22. Let u be 320/(-462) + (-2)/(-3). Is u greater than or equal to f?
True
Let k = -1.288 + 1.388. Suppose 0 = -23*c + 18*c - 150. Which is bigger: c or k?
k
Let d be -2 + (-2 - -1) - (108/(-60) - 1). Let y be (-7 - -7) + 52/1. Is d bigger than y?
False
Let o be 12479887/5047 + (-4)/(-14). Let b = o - 2473. Are 0 and b unequal?
True
Suppose 0*d - 1 = d. Let u be (-22)/(-66) + 44*d/(-3). Suppose u*n - 11 = 34. Is 3 != n?
False
Let a be (1664/(-4160))/((-1)/(-15)). Which is smaller: -16 or a?
-16
Let d be (81/12 - 2)/(5/260). Which is smaller: 248 or d?
d
Suppose 39770 = -267*u + 170*u. Which is greater: -413 or u?
u
Let s = 221.22 - 222.32. Which is smaller: s or -196/9?
-196/9
Let d be ((-4)/(-3))/((-4)/186) - 3. Suppose -5*s = 120 + 205. Is d smaller than s?
False
Let b(y) be the second derivative of -95*y**3/3 + 7*y**2 + 2*y + 2. Let n be b(-1). Which is smaller: n or 203?
203
Let l = 10489 - 8238. Which is greater: l or -2/9?
l
Let x = 40177 + -40214. Suppose -4*y = -0*d - 2*d - 70, -4*d + 4*y = 148. Which is smaller: x or d?
d
Let u be -1*15 + (-2)/2. Let p be -1*4/(-2)*18/4. Suppose 8*g = p*g + 17. Which is smaller: g or u?
g
Let q = 126.37 - 127. Let l = 0.712 + q. Let z = 0.018 + l. Do z and -4 have the same value?
False
Suppose -9*q = -7*q + 428. Let u = -196 - q. Suppose -4*x = -3*i - 68, -3*x + 0*i + 51 = -5*i. Is x > u?
False
Let k be 3 + (-1 - (-2 + (-4 - -2))). Suppose -4*u + 143 = l, -k*l + 4*u = -l - 787. Which is smaller: 156 or l?
l
Let t be 114324/(-77) - 39/143. Is t smaller than 11?
True
Let u be ((-19)/2)/(474/2844). Is -67 >= u?
False
Let i = 2377.5 + -2387.1. Is 0.17 greater than i?
True
Let a = 168431 + -2190654/13. Is -82 > a?
False
Let b be 856/107*-2*1/(-8). Let o be b/((-1884)/(-938)) - (-7 - -8). Which is smaller: 0 or o?
o
Let s = -761 - -331. Let i = s - -462. Is 1/4 < i?
True
Let h be 0/(32/(-40) + 4/(-20)). Is h smaller than -76/177?
False
Suppose -104*k + 8*k - 30*k = 126. Which is smaller: k or 2/4483?
k
Let p be 12/32*1 - 351/1224. Which is smaller: p or -1?
-1
Suppose 2220 = -13*j + 2129. Is 28 at most j?
False
Let h = -57211 + 342361/6. Is -151 less than h?
True
Suppose -13*y = -10*y + 5*n - 59, n - 55 = -3*y. Suppose y*d = 9*d + 2097. Which is greater: 234 or d?
234
Suppose 5*f - 40 = 38*u - 43*u, -3*f + 20 = 2*u. Let c be (280/(-21))/10 - f/(-2). Is c >= 209?
False
Suppose 0 = -6*z + 6 - 18. Let l be ((-297)/(-55) - 5)/((-14)/100). Which is smaller: z or l?
l
Let q = 2.619 - 1.569. Let u = -35 - -35.95. Let b = q - u. Which is smaller: 2/15 or b?
b
Let d = 67537/328 - 1625/8. Which is greater: 3 or d?
3
Let l(h) = 97*h - 409. Let j be l(-8). Is j not equal to -1184?
True
Let a = 18 + -10. Suppose -5*h + 3*h + a = 0. Suppose -q + q = -h*q. Do q and -1/30 have different values?
True
Let h = -5261 - -5260.8. Which is smaller: h or 0.3392?
h
Let o = -7237290972767/1194783315000 + 159/57928888. Let f = o + 200/33. Which is smaller: 1 or f?
f
Suppose 4*u - 3*f = 27, 11*u - 4*f - 23 = -6*f. Which is bigger: u or 242.6?
242.6
Suppose 189*w = 136*w + 26765. Which is smaller: 3530/7 or w?
3530/7
Let p(u) be the second derivative of -u**5/20 - 7*u**4/12 - 3*u**2 + 3*u + 6. Let a be p(-5). Is -58 <= a?
True
Let d = -2868 + 3429. Which is smaller: d or 563?
d
Let q = -15893.1 - -15890.4. Let c be (-1)/1 + (-3 - -5). Let b = c - 0. Are b and q non-equal?
True
Let a be 2/((-16)/(-38)) - (-37)/148. Suppose -4*h - a = -3*v + 8, -5*v + 12 = 3*h. Is 0.71 > h?
True
Let n be 1*(-4*3/2 + 5). Which is smaller: n or 1/79?
n
Let m be -2 + 4 + (-55)/33. Which is greater: m or -7/6?
m
Let l(h) = h**3 + 12*h**2 + 13*h - 4. Let q be l(-11). Suppose z + 98 = -4*a + 9*a, 0 = -2*a - 5*z + 23. Let k = q + a. Is k greater than -3?
False
Let m(s) = -s**3 - 11*s**2 - 9*s + 22. Suppose 4*d - 8*d = 40. Let a be m(d). Suppose 5*k - 20 = -5*v, -6*v - 3*k + a = -2*v. Is 2/3 less than v?
False
Let y = -55.03674 + 0.03674. Which is smaller: y or -3.9?
y
Let m(k) = -64*k**2 + 55*k + 171. Let w be m(-3). Is -567 < w?
False
Let h be ((-330)/264)/(5 - (-275)/40). Suppose -10 = -r - r, 0 = 5*c + r + 10. Let p be c/(-6) + 9/(-26). Is h smaller than p?
True
Suppose -g + 7 = 0, 5*m + 10*g - 13*g - 104 = 0. Which is bigger: -5.3 or m?
m
Let k = 511.9627 + 0.0373. Let y = k - 512.4. Is -2/11 at most as big as y?
False
Let s be (4 - 1)*(-2)/(-22). Let d be (-16)/(-4) - (-3)/(-6)*-2. Let z be ((9 + -9)/d)/(3*1). Which is smaller: s or z?
z
Suppose 13*v = 16*v - 9. Suppose 0 = 3*l - v + 9. Let p be 23/(-10) - 2/(-4). Is l bigger than p?
False
Suppose 2*x - 12 = l, 6 = -x - 4*l + 3. Suppose 69*p + x = 74*p. Is p <= 6/85?
False
Let d = -1.348 - -2.148. Which is smaller: 116 or d?
d
Let b be (-4 + -1)*28/(-10). Let s be (1 + 16/(-15))/(b/665). Are -2 and s equal?
False
Suppose -79*j = -82*j + 6. Suppose 10 = -5*g - 9*d + 7*d, 2*d + 10 = j*g. Let o(k) = k**3 - 2*k**2 - 3*k + 4. Let y be o(3). Are g and y non-equal?
True
Suppose -2*w = 2*v - 6, -5*v - 4*w = -48 + 27. Suppose -u = -5*u. Let t be (141/(-5))/(-3) - u. Is v greater than or equal to t?
False
Suppose -40340 = -7*n + 3*n. Let u = n - 191555/19. Is 4 at most u?
False
Let n(c) = c**3 - 29*c**2 - 62*c + 9. Let k be n(31). Suppose -k*b = -1059 - 3018. Is b < 452?
False
Let y be 1 - 4 - 3398*(3 + -4). Let s = y + -274991/81. Is s bigger than -1?
True
Let x = 30 - 61. Let t be 316/(-790) + (-162)/(-5). Let j = t + x. Which is smaller: 8/11 or j?
8/11
Suppose 22*j = -7*j + 78735. Is 2714 bigger than j?
False
Let g = 6.38 + 33.62. Is 13 not equal to g?
True
Suppose 2*j + 6*b = 4*b + 200, 512 = 5*j + b. Suppose -n = -t - 6*n + 114, -4*n - 408 = -4*t. Which is greater: t or j?
t
Let y(n) = -n**3 - 2*n**2 + 28*n + 75. Let p be y(-5). Do p and -9 have different values?
True
Let c(d) = -3*d**2 + 3*d + 4. Let z be c(-3). Let r be -1 - 20 - (39 - 44) - -5. Let y be -6 - r/(11/(-26)). Is z at least y?
True
Let p = 1291/72640 - 9/227. Which is smaller: p or 0?
p
Let v be (-8)/56 + 1/(-238)*95394/117. Which is greater: v or -4?
v
Let r be (327/(-6))/((-4)/(-240)*10). Is r at least -327?
True
Let k = -0.064 + -0.366. Let d = 0.18 - -2.25. Let q = k + d. Do q and 0.8 have different values?
True
Let g = 11 + -12. Let r be ((-12)/2960)/(135/90). Are r and g equal?
False
Let l = 182 - 178. Suppose -4*w + l = -3*d, 3*d - 2*w + 9 - 7 = 0. Which is smaller: 2/445 or d?
d
Let j = 1460584/119 + -12274. Which is smaller: -3/2 or j?
-3/2
Let b = 0.74 - -261.26. Let i = 262 - b. Which is smaller: i or -495?
-495
Let g be (18 + -13)/((-4)/208). Let v = g - -259. Is v at least as big as 3/161?
False
Let p = 7909.95 + -8115. Let l = p - -205. Which is greater: l or 6/5?
6/5
Let i be 17*7/(21/6). Let r = 100 - 96. Let k be 1044/(-1071) + r/i. Which is smaller: k or -1?
-1
Let f(v) = 2*v**2 - 3*v - 8. Let m be f(8). Let d be m/(-130) - (-4)/(-5). Is -1 at most as big as d?
False
Let t = 46964/7 + -6710. Which is smaller: -396 or t?
-396
Let y be 0/((8 - 5)*-1). Suppose -5*n + 41*n - 1404 = y. Are n and -4/7 equal?
False
Let o(f) = 74*f + 218. Let l be o(-34). Let c = 18351/8 + l. Is -3 less than c?
False
Let u be ((-86892)/36 - -17)/(4/6). Is -3596 equal to u?
False
Let r(o) = -o**3 + 7*o**2 + o - 4. Let g be r(7). Let s be (-8)/(10/(-5)) + 6/g. Is s > -4?
True
Let j(q) = -7*q**2 - 21*q + 36. Let c(f) = 19*f**2 + 61*f - 107. Let v(k) = 4*c(k) + 11*j(k). Let y be v(4). Suppose 14 + 6 = 5*u. Is u at most y?
True
Let f be (-54)/185 - (-6)/15. Let d = -114825 - -114824. Is f >= d?
True
Let d(y) = -2*y**2 + 24*y - 49. Let h be d(9). Suppose 0 = 2*i - 3*q - 0 - 5, -5 = h*q. Is i < 2/35?
False
Suppose -10*g - 854 + 24 = 0. Let z = -58 - g. Suppose 