2/55)/((-66)/44). Let x = i + n. Is x at most as big as -3/8?
False
Let h be (204/2358)/(4/(-6))*-2. Is h equal to 0?
False
Let z(i) = i**2 - 5*i + 2. Let x be z(5). Suppose -x*t + 12 - 50 = 0. Suppose -54 = -4*s + 6*s + 4*c, 3*s + 53 = c. Is t <= s?
True
Let a = 3137 + -3378. Is -3 > a?
True
Let f = 44 - 130/3. Let i = 13.28 - 16.335. Let b = 0.055 + i. Which is smaller: f or b?
b
Let u = -573.89 - -532.89. Let p = 0 + 0. Let l = p - 0.1. Is u at least l?
False
Suppose 5*g = 47 + 83. Let r = -925 + 950. Is g equal to r?
False
Let k(t) be the first derivative of 1/4*t**4 + 3*t**3 - 11/2*t**2 + 12*t + 29. Let f be k(-10). Does 64/3 = f?
False
Suppose 38*p + 5737 = -2395. Is -219 greater than or equal to p?
False
Let z = 38/369 + 14/41. Let w = 81.9897 + -82. Let v = 0.0103 + w. Which is bigger: v or z?
z
Let q(y) = y**3 + 5*y**2 - y - 5. Suppose 2*t + 3*o + 22 = 3, t = 4*o + 7. Let g be q(t). Let f = -201167 - -7443178/37. Is g greater than or equal to f?
True
Let o = 19 + -109. Let l = o + 4. Let x = l - -47. Is -38 not equal to x?
True
Suppose -3*k = -14*h + 13*h + 4, 0 = 3*k - 4*h + 16. Is k > -23/210?
True
Suppose 28*g - 44*g - 41*g = 348954. Is -6122 at least as big as g?
True
Suppose -6*w = -2*d - 2*w - 10, 0 = -4*w + 12. Let j = 604/7125 + 34/375. Is j bigger than d?
False
Let c be -12 - -4 - (6 + -2 - 7). Let j = -309/4 + 2653/36. Which is smaller: j or c?
c
Suppose -10*l - 4*l = -19*l + 30, 3*c - 90 = -4*l. Suppose -11 - 49 = -3*q. Which is smaller: c or q?
q
Suppose -2*i = -3*t + 12, 27*t + 8 = 5*i + 29*t. Is i greater than -2/1209?
True
Let d be (-3)/8 - (((-3570)/(-80))/1 + 10). Suppose 3*y = -j + 2*y - 37, 2*y = 6. Let m = j - d. Is 16 != m?
True
Let d be ((-265)/(-10))/((-24)/1488). Which is smaller: -1 or d?
d
Suppose 5*f = 3*c + 18, 0*f - 8 = -2*f + c. Suppose -f*v + v = -10. Let t be (0 + (-7 - -2))/(-8). Which is bigger: t or v?
v
Let b(p) = 6*p + 72. Let g be b(-18). Let t be -55 - (g/6 - 0). Which is bigger: -48 or t?
-48
Let q be (1 + (-33)/15)/(9/(-330)). Suppose -q*l - 16 = -60*l. Is l at most as big as 7?
True
Let q = -20773 + 20808.5. Is -1/2 at least as big as q?
False
Suppose 0 = 2*n + 5*a + 59, 4*a = 5*n - 140 + 205. Which is bigger: -458/25 or n?
n
Let o be (-2608)/10 - (-1494)/830. Is o bigger than -250?
False
Let q = -971/2 - -2917/6. Which is greater: 2929 or q?
2929
Suppose -10*o = -5*o + 3*j + 655, 2*o - 4*j + 288 = 0. Which is smaller: -124 or o?
o
Suppose 3*l + 2*l + 5 = 0. Let o be -6*(-1 + l + 3). Let w = -767 - -759. Which is bigger: w or o?
o
Suppose 4*g - h - h = -28, -2*h - 17 = 5*g. Let k be (6/(-432))/(g/(-10)). Is 0 <= k?
False
Let p = -52 - -180. Let s be p/(-24)*(-3)/2. Let k be (7/28)/(s/(-10)). Is 0 smaller than k?
False
Suppose 10*a - 13*a = 4*b - 4428, -5*a - 5535 = -5*b. Let h = 1085 - b. Suppose -46 = 2*q - 4*m, -5*q - 95 = -4*m + 20. Does q = h?
False
Let l = -25234519222/91 - -277299672. Let f = -2737 - l. Which is greater: f or 0?
f
Suppose -133*a + 9340 + 47818 = 4889. Is 391 at least a?
False
Let q = -14683 + 14683. Which is bigger: q or 1/4071?
1/4071
Suppose 44*a = -25300 - 2143 - 4853. Is a greater than -1?
False
Let m = -0.131 + -0.079. Let k = m + -0.45. Let b = -7.34 + k. Do b and 0.8 have the same value?
False
Suppose -2*r = -q - 0 - 1, -4*q = 4. Suppose r = -l + 7*l + 498. Let p be (-1 + l/(-4))/(22/88). Do p and 79 have different values?
False
Suppose -j = -4*o - 3180, 5*j = -2*o + 2*j - 1590. Let c = o + 3179/4. Which is smaller: c or -60.7?
-60.7
Let r = 0.1295 - 0.176. Let c = r + 22.0465. Let n = 0.2 - 0.1. Which is bigger: n or c?
c
Let p = 715 + -1710. Is p at least as big as -1001?
True
Let k(u) = -2*u + 4. Let n be k(2). Suppose n = 3*f + 4*q - 28, 29 = 2*f + 3*q + 12. Suppose 1 - f = -3*g. Which is smaller: g or 8?
g
Let q = 479 + -175. Let x = 305 - q. Are x and 5/31 equal?
False
Let c = 904 - 7211/8. Suppose 0 = 4*h + 8*h - 96. Suppose 3*d = h - 2. Which is smaller: c or d?
d
Let c = -2849.1513 + 2849. Let v = c + 0.0513. Which is smaller: -2.02 or v?
-2.02
Suppose 25690 = -5*s - 4*z, -11*s + 4002 - 60496 = 4*z. Is s not equal to -5134?
False
Suppose -1168*k = 4*t - 1167*k - 12, 5*k - 40 = 0. Are t and -46/15 equal?
False
Let a = -1.567 - -2.567. Is a not equal to -35?
True
Let g be (3 - 10/4)/(-10 + (-3842)/(-384)). Do 92 and g have the same value?
False
Let r be 55/(-30) + 2 - 41960/(-240). Which is bigger: 191 or r?
191
Let h(j) = 391*j + 1370. Let t be h(-7). Is t greater than or equal to -1366?
False
Suppose 9 = -3*f, 17*j + 9 = 12*j - 3*f. Let g be 1*2500/1245 + -2 + j. Which is bigger: g or 0?
g
Let b be (-30)/100*(-696)/(-9) + 4/(-5). Which is smaller: b or -210?
-210
Let s = -142.932 - -35.79. Let l = s + 0.142. Let o = -107.5 - l. Do o and -3/4 have different values?
True
Let z = -1280 + 1280. Which is smaller: -5/2802 or z?
-5/2802
Let f(k) be the second derivative of k**3/3 - 4*k**2 - 5*k. Let j be f(4). Suppose j = 2*v - 0. Which is smaller: -5/8 or v?
-5/8
Let r be 2*2*28/(-56). Let y be 56/29 - (r - -4). Which is smaller: y or 0?
y
Let z = 5.155 + 0.045. Let h = 2.6 - z. Let g = h + 2.7. Which is greater: g or -7?
g
Let n = 4803.3803 - -1.6197. Which is greater: -2/5 or n?
n
Let v be -1*(-1 - (3 + -5)) + 3. Let g be ((-590)/(-3))/v - (-48)/(-36). Let j = 97 - g. Which is bigger: j or -2/69?
j
Let p be (35/(-28))/(65/(-312)) + (-5 - 1). Which is smaller: p or -0.0836?
-0.0836
Let p = 382.3 - -301.7. Which is greater: p or 2/5?
p
Let h be -1 + -3 + 0 + 8. Let x be -2 - (-1 - 3)/h. Suppose -79*b = -74*b + 15. Which is smaller: x or b?
b
Let n = 23645 - 23644.8. Is 8092 < n?
False
Let l be (12/(-369))/((-49362)/(-171)). Which is smaller: 1 or l?
l
Let p = -802.12 - 4.88. Let z = 810 + p. Which is greater: -82 or z?
z
Let d = -12717.1721 + 3.1721. Let t = d - -12588.03. Let w = 126 + t. Is w equal to 7?
False
Let d = -504.16 - -488. Let b = d - -16.3. Are b and 0.1 nonequal?
True
Let t(z) = -1679*z - 8454. Let i be t(-5). Is -1330/23 greater than i?
True
Let s = 2063 + -18500/9. Let c = 7/9 - s. Let k = -77/12 - c. Which is greater: k or 3?
3
Let r = 1961 + -1924.51. Let l = -36.5 + r. Which is bigger: l or -1/3?
l
Let p be (-432)/720*110/(-3). Let g(x) = x**2 - 9*x + 3. Let z be g(11). Do p and z have the same value?
False
Let y be (18/2)/(12/(-480)). Let s be 7/(35/y) - -3. Let u = s + 7. Is -61 at least u?
True
Let s = -175.42 + 175.24. Is -124 not equal to s?
True
Let f(y) = y + 4. Let h be f(-5). Let b be ((-3)/51)/(4/(-84)*-3). Is h < b?
True
Let c be (3 - 2)/(4/(-124)). Suppose -5*f - 5*w - 139 = -9*w, 43 = -f - 3*w. Let l = c - f. Is l < -5/4?
False
Suppose 0 = -5*j + 15 - 0. Suppose j = 2*n - m - 1, -2*n - m + 4 = 0. Suppose 5*o = -4*i + 20, -i + 8 = n*o - 0*o. Is i <= -17?
False
Suppose 5*b = 4*o + 431, -3*o + b - 211 = -o. Let f be 10542/o*(-26)/(-195). Let k = f + 67/5. Which is smaller: k or 0?
k
Let q(b) = -2*b + 15*b - 127 - 59 + 0*b - 39. Let r be q(18). Which is smaller: r or 0.01?
0.01
Let w = 0.064 - 6.864. Let m = w - 22.2. Which is smaller: m or 1/2?
m
Suppose -4*v - 17 = -3*v + 2*g, 37 = -2*v - g. Suppose 153 = 26*x - 107. Which is bigger: x or v?
x
Suppose -3*a - 5*d + 0*d = 4, -a + 2 = d. Is a less than 2/17?
False
Let o be (0/1)/(-9 + 0 + 5). Suppose -7*q + 0 + 56 = o. Suppose -6*r + q*r = -2. Is 2/165 greater than r?
True
Let b be ((-7)/6 - -1) + 1108450/420. Is 2640 <= b?
False
Suppose 0 = -5*n + 5, j - 4*n - 18 = -16. Let z be 3 + 102/6 + j. Which is greater: z or 8?
z
Let t = 863364 - 863364. Let n = -576 + 817. Is t greater than n?
False
Let a = 2014.95 + -2015. Which is greater: a or -1/375?
-1/375
Let x be (-2)/6*(3 + (-8 - -17)). Are x and -4 nonequal?
False
Let c be 920/150 - 6 - 621/5. Let n = c + 124. Which is bigger: 0 or n?
0
Let k = 30699/50 - 614. Let g = -177 - -176. Are g and k unequal?
True
Let d(f) = f**3 - 7*f**2 + 7*f - 7. Let k be d(6). Let g = 1758/7 - 93172/371. Is g greater than or equal to k?
True
Let n = -2247 + 2246. Are -0.057 and n equal?
False
Let o = -24 - -16. Let g = -0.0715 + -0.9285. Which is smaller: o or g?
o
Suppose 0 = -13*k - 769 + 691. Is -133/20 <= k?
True
Suppose -195*b = -125*b - 8890. Is 62 less than b?
True
Let x be 18 + -18 - (-50)/1. Does x = 557/11?
False
Let u(b) = -5*b - 5. Let