False
Let j(c) = -2*c**2 + 13. Let d be (0 - (-3 - -5))*(0 - -2). Let k be j(d). Is k less than or equal to -21?
False
Let l = -7.7 - -4.64. Which is greater: -0.1 or l?
-0.1
Let h = 28 + -25. Suppose -5*w - 4*s - 36 = -0*w, s = -h*w - 23. Let o be (-1)/((-2)/4) + -5. Is o at least as big as w?
True
Let n be (-99512)/(-549010) + 12/(-66). Which is greater: 0 or n?
0
Suppose -7 - 1 = o. Let y be 7/28*o/(-6). Is y <= 17/4?
True
Let p = 7/53 + -67/106. Are 1/2 and p equal?
False
Suppose -3*l = s + s + 1, 1 = -4*s - 5*l. Suppose y + s = 4*u, 4*y = 5*u + 7 - 0. Suppose 4*j - 3*m + 12 = 0, -3*j - y*m + 0 = 9. Which is greater: 0.2 or j?
0.2
Let p = 734 + -776. Is p bigger than -39?
False
Suppose -252 = 79*o - 75*o. Let s = -188/3 - o. Which is smaller: s or 6?
s
Let x be 708/(-9)*1 - (26 - 23). Which is smaller: -81 or x?
x
Let d be 8877/66*8/(-10). Is d less than -107?
True
Let u be 198/1485*(-3 + (4 - 2)). Suppose -3*z = -2 - 4. Suppose s + 11 = 2*n - 0*n, 0 = -4*s - z*n + 6. Is s equal to u?
False
Let z = -955 - -960. Which is bigger: -100 or z?
z
Let r(v) = 10*v - 48. Let x be r(12). Is 73 != x?
True
Let k = -11 + 12. Let w = -23 - -248. Let u = w + -2478/11. Which is bigger: k or u?
k
Let y = 149 - 147. Let a be 176/(-48) - y/4*-2. Are 0.1 and a unequal?
True
Let c = -46 - -112. Let k = c - 53. Which is smaller: 2 or k?
2
Suppose -4*v + 10 = v + 5*f, 2*v + 16 = 3*f. Suppose -2*i = -4*i - 16. Let k be (-2)/(v/(i/(-28))). Is k >= -9?
True
Let g(j) = -48*j + 46. Let u be g(-11). Which is smaller: u or 575?
u
Let b be 6*-1 - (-10 - (-16 - -12)). Which is smaller: b or 2/27?
b
Let r = -634 + 296. Is r < 0?
True
Let q(j) = -2*j**3 - 2*j**2 - 4. Let u be q(-2). Suppose -5*z - 5 = -u*z. Let i = -0.2 + 0. Is i smaller than z?
False
Let j = 1138 - 749. Is j < 387?
False
Let y = 147171069/340 - 432862. Let g = -98/17 - y. Is 0 >= g?
False
Suppose 8*n + h = 5*n + 77, n - 24 = -2*h. Is n smaller than 28?
True
Let d(a) = -5*a**2 + 4*a + 1. Suppose 2*q = -2*q + 12. Let f be d(q). Let m be 2/f*2/3. Are m and 1 non-equal?
True
Let z = -1625 + 47121/29. Which is greater: 1 or z?
1
Let b be 56*8/(-156)*(-3)/4. Is 3 less than b?
False
Let s = 30 + -50. Let y = 19.91 + s. Let z = y - -0.08. Which is greater: 2 or z?
2
Let v = -1922178742/83 + 23157900. Let j = -880 - v. Is 0 equal to j?
False
Suppose 581 = -3*c - 415. Let d be (7 - 78/12)/(2/c). Is d < -83?
False
Let s be (-9)/27 - (-106)/(-6). Let d(j) = j**2 - 8*j - 13. Let a be d(9). Let r be (a - 26/(-6))*-57. Which is smaller: r or s?
r
Let d be 27*(-3 + 25/10)*-22. Is d less than or equal to 296?
False
Let l = 57.1 - 57. Let m = 0.1 + l. Is -0.25 greater than m?
False
Let f = -0.11 + 4.01. Let s = f + -3.4. Is -3 at least s?
False
Let x = -21.63 + 24.2. Which is smaller: x or 0.1?
0.1
Let w = -84 + 253/3. Is 17/6 at most as big as w?
False
Let y be (-306)/39 + 4/(-26). Let q = y + -1. Let k be q/(-45) - 1/5. Which is smaller: k or 4?
k
Let p = 1115.78 - 1116. Which is smaller: -38 or p?
-38
Suppose 3*r + 0*r = 0. Let x be (-1)/((-2 - -4)*(-22)/(-24)). Which is smaller: x or r?
x
Suppose -4*g - 2*n + n - 21 = 0, 2*n = -5*g - 30. Let v be g/8*0/(-1). Let z = 5/58 + 81/406. Which is smaller: v or z?
v
Let k = 133 + -106. Let o be (-2 - -41)/(6/4). Which is bigger: o or k?
k
Suppose -z + 7 - 5 = 0. Suppose -3*w - 80 = z*w. Is 0.1 less than or equal to w?
False
Let i be 6/39 + (15922/36270)/1. Let b = i + 2/279. Which is greater: b or -0.3?
b
Suppose -2*m - 28 = j + 17, 4*m + 93 = -5*j. Let c(s) = 2*s + 6. Let k be c(5). Suppose k = -t - 7. Which is bigger: t or m?
m
Let p = -1233 - -1233.82. Which is greater: 0.4 or p?
p
Suppose -12 = -w - 9. Suppose 4*h - 15 = -w. Suppose -h*p - 3 + 0 = 0. Which is bigger: p or -3?
p
Let o = 1458 - 1444. Is o less than 42?
True
Let y be (-1 - 34/(-36)) + 0. Suppose -42*p + 48*p - 7 = 5*u, 3 = -5*u + 4*p. Is u at least y?
True
Let i = -196 + 213.4. Let p = i - 12. Let s = p + -2.4. Which is greater: s or 5/4?
s
Suppose -2*v = -0 - 4. Suppose 0 = v*n - 4*d - 20, -6 = 3*n + 4*d + 14. Let y be -5 - (5/(-25) + (-72)/15). Is n > y?
False
Let j = -0.69 + 0.79. Let z = -603/5 + 121. Which is smaller: j or z?
j
Let v = 24 - 23. Let s be (-22 + 38)/((2 - v) + -16). Is 0 at least s?
True
Suppose 3*w - 8*w + 155 = -2*d, -w = 3*d - 48. Let x = -34 + w. Let l = -751 - -8254/11. Is l less than or equal to x?
False
Let c = 73.52 - 0.02. Let s = c - 69. Which is smaller: s or 1?
1
Let p = 179/2 + -83. Which is smaller: p or 6?
6
Suppose 5*d = 4*u - 173 + 15, 0 = 2*u + 6. Let h = -37 - d. Which is smaller: h or -11/7?
h
Suppose -4*k - 299*i + 302*i = -17, -3*k = -5*i - 21. Suppose 3*w - 5*q = 19, -5*w + w = -q - 14. Which is greater: k or w?
w
Let k = 37 + -40. Is 2/37 equal to k?
False
Let q = 1.6 - 3.3. Let l = -2 - q. Let h = -0.38 + 0.38. Is h at most as big as l?
False
Let h = -234.775 + 235. Which is smaller: h or -0.1?
-0.1
Let c = -24 + 26. Let d be ((-2)/c)/((-24)/16). Is 0.23 at least d?
False
Let r(t) = -50*t + 151. Let n be r(3). Let v be 2 + 2 + 85/24. Let l = -23/3 + v. Is l less than n?
True
Suppose 10*y - 5*y = -o - 18, -5*o + 4*y = 148. Let u be 10/o*((-36)/(-15))/(-6). Is -1 at most as big as u?
True
Let o = -37.5 - -28.65. Let c = o - -9. Let v = c - 0.25. Which is smaller: v or -5/2?
-5/2
Suppose m = 3*q + 264, 3*q + 197 = -m - 67. Let b be -2*2/(-22) + (-72)/q. Let z = -2 + 2.2. Which is bigger: b or z?
b
Let d = 0.85 + 0.43. Let m = -1 + d. Let b = m + 0.02. Which is bigger: -2/9 or b?
b
Let y = 149 - 150. Let s = 4 + -4. Suppose -w + 5*w = s. Which is greater: w or y?
w
Let l(u) = -u. Let n(x) = 9. Let j(i) = 2*l(i) + n(i). Let k be j(4). Let m = 161/6 - 1297/48. Is m less than or equal to k?
True
Suppose 4*m + 3*k - 99 = 0, -3*m - k = m - 97. Suppose 0 = 3*r + m + 9. Let t(x) = 2*x**2 - 7*x - 16. Let g be t(4). Which is bigger: r or g?
r
Let r = -96 + 3363/35. Let g = 397/140 - r. Is 4 > g?
True
Let f(l) = l**3 - 12*l**2 - 13*l + 17. Let z be f(5). Is z at most as big as -223?
True
Let y = -2933 + 58663/20. Is -23 >= y?
False
Let v(p) = p**3 - 9*p**2 + 12*p - 7. Let b be v(8). Is b greater than or equal to 26?
False
Let k = -20 + 99. Which is bigger: 78 or k?
k
Let r(j) = -j**3 - 7*j**2 - 3*j + 19. Let v be r(-6). Is -3/625 >= v?
False
Let f = -84/13 - -562/91. Which is smaller: f or -0.0902?
f
Let i = -2.06 - -0.06. Let h = 42.921 + 0.279. Let g = h - 43. Which is bigger: g or i?
g
Let o be 4 + -5 - 1/2. Suppose 14 = h - 5*h - 5*l, 2*h - 3*l - 4 = 0. Let n = 0 + h. Which is smaller: n or o?
o
Let b = -41/725 - -14/145. Which is greater: 1 or b?
1
Let j = -970 + 1841. Which is greater: 870 or j?
j
Suppose 4*o = o - t + 106, -4*o + 4*t + 152 = 0. Suppose -5*q - 41 = -o. Are -3/11 and q equal?
False
Suppose -3*x + 8*x = 5. Let t be 38/36 - x/2. Which is smaller: 0 or t?
0
Let y be 0/1*1*(6 + -7). Suppose y = -5*j - 3*b + 15, 3*j = 4*j + 5*b - 25. Are j and 1/27 nonequal?
True
Let o(d) be the third derivative of -d**4/24 + d**3/3 + 476*d**2. Suppose -4*b - 28 = 5*u, -4*b - 4 = -0*u - u. Let t be o(b). Is 6 at least as big as t?
True
Let t = 0.4 + 0.04. Let p = -155 + 155.16. Let l = t + p. Which is greater: l or 2/5?
l
Let s = -4 - -24. Which is smaller: s or 15?
15
Let b = 0.07 - -0.03. Let k = -0.9 - b. Which is greater: 32 or k?
32
Let s(q) = -q - 4. Let i be s(-6). Let t(w) = -w**3 + 6*w**2 + w - 4. Let j be t(6). Is i greater than j?
False
Let o = 269 + -58. Which is smaller: o or 209?
209
Suppose 3*f - 2*i - 9 = 3, 4*i = -5*f - 2. Let u be (-36)/(-56)*f/3. Let k be (4 + -9 + 5)*-1. Are u and k equal?
False
Let k = 116 - 116. Is k >= 3.74?
False
Let n(v) = -59*v**2 - 8*v + 12. Let p be n(2). Let u be (-3)/7 + -5 + p/(-21). Is 3 greater than u?
False
Let q = -25.998 + -0.002. Let f = -45 - q. Which is bigger: -2 or f?
-2
Let r = 779 + -3893/5. Which is smaller: -0.0053 or r?
-0.0053
Let b = 54.57 + -52.3. Let c = b + -0.27. Which is bigger: c or -11?
c
Let j(r) = -r**2 - 15*r - 79. Let a be j(-11). Is a > -43?
True
Let o be ((-2)/(-78))/((-2)/(-6)). Let r(f) = -5*f**3 - f**2 - f - 1. Let h be r(-1). Suppose 5*g = h*b - 2 - 10, 3*b - 9 = 0. Which is smaller: g or o?
g
Let t(m) = -m - 5. Let n be t(-5). Let f(y) = -y**3 - 8*y**2 - 10*y - 9. Let c be f(-8). Let v = c + 