Let o = 3.1 - 3. Let q = 17.22 - 17.4. Is q <= o?
True
Let k = 949 - 950.14. Which is bigger: k or -1?
-1
Let w be (-7)/(-21) + 1 + 700/(-66). Which is smaller: w or -10?
-10
Suppose -2*h = -2*c - 39 - 5, h - 4*c - 16 = 0. Let m be (-105)/10*(2 + -4). Let o(k) = k**3 - 20*k**2 - 21*k + 24. Let a be o(m). Is h at least a?
True
Let d = -42 - -43. Let g be 16/(-56) + 278/42. Which is smaller: d or g?
d
Let i be 6/4*(-24)/9576. Is 1 greater than i?
True
Suppose 226 = 5*l + 2*h, l - 2*h - 47 = -3*h. Let b be (3/(-4))/(128/l - 3). Which is smaller: b or 7?
7
Suppose 0 = 3*w + 2*w - 395. Which is smaller: w or 77?
77
Suppose 28*b - 18 - 10 = 0. Let y = 5.88 - 6. Let l = 0.1 + y. Which is greater: l or b?
b
Let j = 91.9 + -90. Let c = 0.06 + -0.96. Let w = c + j. Is 4 at least w?
True
Let q(y) = -y. Let c be q(0). Let z(j) = -j - 6. Let n be z(-8). Let g be (-1 - -1)*1/n. Are c and g non-equal?
False
Let z = -110 + 110.2. Let b = z - -1.8. Is -0.3 smaller than b?
True
Let d be ((-24)/(-10))/((-77)/5). Let s = 944/4081 + d. Let b = s + -497/265. Which is bigger: -2 or b?
b
Let a = -15.87 - 0.13. Let z = 132 + -265/2. Is z > a?
True
Suppose -4*z = -7*z + 180. Let w = z - 61. Let s be (-1)/5 - (1 - 0). Which is bigger: w or s?
w
Let n be (-7 + (-8696)/(-1240))/(4/(-10)). Let k be 0/((-1)/(-2 + 1)). Is n greater than k?
False
Let i be (-15 + 15)*(-2)/(-4). Is i >= 5/212?
False
Let m = -154 + 193. Are m and 38 equal?
False
Let z be -15*1/(-9)*(-163)/(-5). Let j = z - 54. Let c be (-5)/(-2)*(-8)/(-130). Which is greater: j or c?
j
Let k be 4/(-14) + 111/21. Suppose -k*x + 7*x = 18. Is 0.1 at least as big as x?
False
Let z = -335 + 334.9. Which is smaller: 271 or z?
z
Let a = -135.2 + 245.2. Do 10 and a have different values?
True
Let x be 14/(-201)*(-20)/(-70). Are 1 and x equal?
False
Let d = -38.6 - -38.9. Which is greater: -415 or d?
d
Suppose -3*q = 5*t - 3*t + 7, 0 = 4*t - 4*q - 16. Suppose -d = -1, -l + 2 + 3 = 4*d. Let c be 0 + -3 + l*8. Is c at least as big as t?
True
Let o = 25.1 + -26.1. Which is smaller: -43/5 or o?
-43/5
Let u = -1 + 0.963. Let i = u - -31.037. Which is smaller: 1/7 or i?
1/7
Let b = -78 + 59. Let k = 38 + b. Which is smaller: k or 20?
k
Suppose 5*s - 13 = 7. Suppose b = 2*y - 1, -b - y = s*b + 16. Let k be 0*(-1 - (b + 1)). Is k at most -0.07?
False
Suppose -20 = -2*t + 2*j, 0*j + 35 = 2*t + j. Let n be (3 - t)*1/2. Which is smaller: n or -8?
-8
Suppose -17*r - 929 - 771 = 0. Is r < -100?
False
Let r = 634.854 + -635. Which is bigger: r or -1?
r
Let h be 4/(-14) + 4/(-28)*-37. Suppose -24 = -h*k + x + 6, -x = k. Is 3 != k?
True
Suppose 2*g = -2*g. Suppose 9 = 2*r + 3*o + 1, 12 = 3*r + 2*o. Let j be (-1)/r - (-6)/216. Which is bigger: j or g?
g
Let u = -2359 - -2358. Which is bigger: 150 or u?
150
Let y = 0.3583 + 4.6887. Let c = y + -0.047. Which is smaller: -1/5 or c?
-1/5
Let c(p) = p**2 - 12 - p - p + 5. Let k be c(4). Suppose 6*z - z + 9 = 4*s, s + 1 = -2*z. Is k equal to s?
True
Suppose 3*u + 2*p = -0*u - 19, 2*u = -2*p - 16. Let i = 203 - 206. Is u >= i?
True
Let j = -207 + 204. Which is smaller: -8/3 or j?
j
Let s be -4 + (-4)/4 + 7. Suppose s*v - 5*j = 2, -4*v - 2*j + 1 + 3 = 0. Which is smaller: -2/21 or v?
-2/21
Let z = -22.9 + 22.876. Which is smaller: -1 or z?
-1
Let x = 61 + -30. Let g = x - 249/8. Is 0 smaller than g?
False
Let n be (-15)/20 - 22/(-8) - -54. Is 56 > n?
False
Let z(t) be the second derivative of t**5/20 + 3*t**4/4 + 5*t**3/6 - 21*t**2/2 + 28*t. Let y be z(-8). Which is smaller: y or -1/6?
-1/6
Let h = -0.175 - -96.175. Let o = h + -95.9. Which is bigger: o or 0.18?
0.18
Suppose -2*b + 17*i - 81 = 12*i, -2*i = -4*b - 138. Which is bigger: -10 or b?
-10
Let x = 59 - 453. Which is smaller: x or 2?
x
Let x = -12.93 + 13. Let h = x + -0.1. Let w = -193 - -581/3. Are w and h equal?
False
Let h = 66.9 - 66. Let w = h + -1.9. Is w not equal to 1.5?
True
Suppose -96 = 5*b - 9*b. Let s be (-18)/b + 0/(-1). Suppose -3*r - 14 = -8. Is r > s?
False
Let h be 0 + (2 - (-21)/(-12)). Which is bigger: -10 or h?
h
Suppose -18 = 2*g + 18. Let a = -461 - -441. Is a at most g?
True
Let q be (-4)/(32/(-132)) - 3/(-6). Which is greater: 11 or q?
q
Let u(w) = 26*w**2 + 112*w + 1. Let y be u(-4). Is y greater than or equal to 15?
False
Let r = -0.36 + 3.36. Let x = 30 + -34. Are x and r non-equal?
True
Let v(m) = -m + 15. Let z be v(-4). Suppose 26*r = z*r - 392. Is -57 equal to r?
False
Let w be 1*-2*(7 - 104/16). Are -2/2299 and w unequal?
True
Let r = -88 + -72. Let x = 305/2 + r. Is -8 > x?
False
Suppose -2*q = -0*q + 3*m + 54, 5*q + 5*m = -125. Let y be 6/q - 9/(-7). Which is smaller: y or 6?
y
Let y(b) = 364*b + 14. Let q be y(-6). Let l be q/77 + (-4)/(-22). Which is greater: l or -27?
-27
Let h = 0.1 + -3.2. Let v = -13.1 - h. Let j = v - -9.91. Which is smaller: 0.1 or j?
j
Let g be 1/((-2)/(2*-29)). Suppose -t - 2*o + g = 3*o, 2*o = -5*t + 76. Let h be 0 + -3 + 0 + 16. Is h < t?
True
Suppose x - 19 = 3*a - 59, -x - 14 = -a. Is a equal to 30?
False
Let v = -197 + 419. Is 224 greater than or equal to v?
True
Suppose 2*a = 6*a - 32. Let y = a + -5. Let m be 7/42*y/(-2). Is 4 bigger than m?
True
Let r = 6331 - 57127/9. Which is smaller: r or -15?
r
Let g = -13 - -9. Let y be (g - 51/24)/(2/(-4)). Which is greater: 11 or y?
y
Suppose 0 = -6*x + 7*x + 20. Let d = x + 19. Let c be -2*(1 - 72/69). Is c < d?
False
Let n = 38 - 37.5. Let b = -0.4 + n. Which is bigger: 0.22 or b?
0.22
Let w = -0.9 + 1.05. Let h = 934 + -933.9. Which is greater: w or h?
w
Let p(v) = -16*v + 49. Let t be p(-20). Let u = t - 1851/5. Is u != 0?
True
Suppose -2*b = -3*b - 2. Let o = -12 + 7. Let p be (((-15)/(-6))/o)/(-4). Which is greater: b or p?
p
Let b be (8/7 - 1)*(-469)/(-134). Is b < 718?
True
Let g = 471 + -467. Which is greater: g or -18/11?
g
Let l = -17.14 + 17. Let j = l + -6.86. Which is smaller: j or 0?
j
Suppose -17 = -4*w - 21. Let p be (-6)/(-21)*w/(-10). Are 0 and p equal?
False
Let s(t) = -5*t**2 + 4. Let o be s(0). Suppose 0 = f - 5*f + 12. Let k be (o + -4)/(f/1). Which is greater: k or -2?
k
Let k be 6 - (-51)/(-9) - 40/3. Let z be (-2)/k + 1449/(-39). Which is smaller: -38 or z?
-38
Let w(j) = -j**3 + 13*j**2 + 2. Let y be w(13). Let o = 9 + -8. Let p = y + o. Is p <= 4?
True
Let t = -21.4 + 6.3. Let l = 68 - 53. Let f = t + l. Do -1/2 and f have the same value?
False
Suppose 0*c = 2*c - 84. Let s = 28 - c. Let n = -14 - s. Is n at most as big as -5/4?
False
Let q = -1013/5015 - -2/1003. Do q and -99 have different values?
True
Let f = -549.09 - 7.91. Is -2/7 smaller than f?
False
Suppose -4*g - 3*r = -138 - 331, 4*g - 451 = 3*r. Let a = -83 + g. Which is bigger: -1/4 or a?
a
Suppose -2*k = -k + 2. Let j = -1362/845 + 2/169. Do j and k have different values?
True
Let s be (-3)/(3/27*-1). Suppose -2*i = -5*h - s, 2*i = 2*h - i + 2. Let q = h + 6. Which is bigger: 1 or q?
1
Let n be -165 - -123 - (0 + -1). Is n greater than or equal to -40?
False
Let x(p) = -p**3 - 2*p**2 + 4*p + 3. Let o be x(-3). Do 1/146 and o have the same value?
False
Let g be (-10)/(-7)*49/288. Let n be ((-1)/20)/(13/((-390)/72)). Let a = g - n. Is -4 <= a?
True
Let a = -871.1 - -938. Let l = -67 + a. Is l < -2?
False
Let l = -17 - -16. Let d = 8 + -10. Let s be 6/d - (-78)/27. Is l != s?
True
Let u be ((-19527)/63)/((-1568)/(-24)). Let k = u - 2/343. Is -6 <= k?
True
Let m = 1092 + -1093. Which is smaller: 6/61 or m?
m
Suppose 0 = 4*a - a - 12. Let t = a - 4. Let u be (2/(-55))/(2/10). Which is greater: u or t?
t
Let m = 223 + -802. Is m <= -579?
True
Let b(s) = s**2 + 3*s + 8. Let y be b(-4). Suppose -y*m + 3*m = -36. Which is smaller: 2 or m?
2
Let w(u) = -u**2 + u + 29. Let x be w(-5). Which is smaller: x or 9.8?
x
Let o = -0.108 + 14.708. Let w = o + -2.6. Let f be 6/(-39) + 1116/2015. Is f not equal to w?
True
Let d be ((-408)/(-36))/((-1)/3). Is -2 at most d?
False
Let n = 37.01 + -37. Let q = 0.21 - n. Which is smaller: 0.5 or q?
q
Suppose -4*b + 10 = -4*o + 3*o, 2*b + 2 = 4*o. Let h(x) = -x**2 + x - 4. Let u be h(0). Let f be 96/30 - (-3 - u). Is o greater than f?
False
Let m = -0.6 + 0.6. Let z be 3 + -2 + -2 + 2. Let d be 2/(28/10) - z. Which is greater: m or d?
m
Let m be (-3)/(-12)*-2*(-2 + 16). Let d be 2 + ((-63)/(-12))/m + -1. Is 2/