es?
False
Let x(b) = -b**3 + 25*b + 9. Let t be x(8). Are -303 and t equal?
True
Let h = -1494 + 2057. Which is smaller: 562 or h?
562
Let d be (-3468)/(-8)*(-18)/(-27). Is d != 291?
True
Let r = 2.2 - -0.8. Let p = 0 + r. Let q = -4 + p. Is 6 greater than q?
True
Let z = 0.072 - 0.072. Are z and 0.3 unequal?
True
Let l = -5134 - -426130/83. Which is smaller: 0 or l?
0
Suppose 1 = -4*b - j - 8, 2*b = -4*j - 22. Let s(f) = -f**3 - 11*f**2 - 10*f - 6. Let n be s(-10). Let y be 52/(-21) + (-8)/n. Which is smaller: y or b?
y
Let x = -2666 + 2654. Which is greater: x or -2?
-2
Let p(l) = -3*l**3 - l**2 + l - 3. Let c be p(-2). Which is bigger: c or 2/5?
c
Let m = -162.81 + -3.19. Is m at most -0.1?
True
Let p be 0 - (0 - 3*-3). Let z(b) = 7*b + 3. Let s be z(-2). Let u be (-2 - 2/4)*(15 + s). Which is smaller: p or u?
u
Suppose -4*w - 3*v + 189 = -w, v = 3*w - 209. Is 2 < w?
True
Let r = -280 - -255.8. Let k = r - -24. Which is bigger: k or 5?
5
Let a = -0.56 + -141.44. Let t = -144 - a. Let b be 10/(-4) + 1 - -2. Is b greater than or equal to t?
True
Let b be 35/(-54)*1388/(-7). Let w = b + -257/2. Is w > -1?
True
Let b(p) = -p + 7. Let l(z) = z - 3. Let i(o) = -2*b(o) - 5*l(o). Let q be i(-4). Suppose -4*t = -5*u - 22, 3*u - 2*t + q = 1. Does u = 0?
False
Let i be (-1 - (-73)/76)*(29 + -37). Which is smaller: i or 0.1?
0.1
Let t(n) = 26*n + 16. Let a be t(-4). Let x = 0.025 + -0.125. Is a less than or equal to x?
True
Let u = -15 + 14.87. Let l = u - -7.13. Let c = 9 - l. Which is greater: -1 or c?
c
Let n = -59 - -59.23. Let f = n - -0.12. Is 1 at least as big as f?
True
Let u = -0.14 - 19.86. Let i = u + 24. Is 0.02 greater than i?
False
Let u = -857 + 1120. Which is smaller: 264 or u?
u
Let b = -30 - -33. Let h(m) = 3*m**2 + m - 7. Let l be h(-2). Is l at least as big as b?
True
Let g(k) = k**3 - 2*k**2 - 2*k + 1. Let w = 9 - 8. Let v be w/(-4) - 9/(-4). Let j be g(v). Which is smaller: j or 1/4?
j
Let y(l) = 3*l**2 - 1. Let w be y(-1). Let q be 24/(-64) + -4 + 5. Which is bigger: w or q?
w
Let b = 1/811 + 1603/15409. Which is smaller: -1 or b?
-1
Let l be (-6 + 5)*6/(-1539). Is l equal to 1?
False
Let y = 1 - -4. Suppose l = y*l - 4. Let c be (-99)/(-108) - 2/8. Which is greater: l or c?
l
Let c be (2/(-6))/(2/30). Let i be (2 + c)*1/3. Let g be 20/(-4)*(-2 - i). Is 4 >= g?
False
Suppose 5*d - 34 - 31 = -2*q, -d = 4*q - 157. Which is smaller: 42 or q?
q
Let t = 35529 - 640085/18. Let c = t + 214/9. Which is bigger: -9 or c?
c
Suppose 10*l - 3 = 7*l, 2*d + 3*l = 97. Let b be -8 + 11 - 44/(-1). Is b at least d?
True
Let o = 20 - -31. Let j be 64/(-78) + 34/o. Let f = -3 + 2.8. Which is smaller: f or j?
f
Let w be (-6914)/(-30)*24/(-16). Let m = 346 + w. Suppose 6*r - 3*r = -2*r. Which is bigger: r or m?
m
Let x = -2/72825 + -235661678/801075. Let s = -12374/55 - x. Let b = s - 69. Is 1 bigger than b?
True
Let l = 16688/551 - 582/19. Which is smaller: l or 0?
l
Let b = -81/188 + -15/47. Are -1/4 and b nonequal?
True
Let l = 156 - 63. Let j = -88 + l. Is 0.2 > j?
False
Let p = -2.6 + 4.3. Let g = -20.7 + p. Is 1 not equal to g?
True
Let d(b) = 5*b + 76. Let l = -132 + 115. Let p be d(l). Is p < -3?
True
Let v(l) = 22*l + 131. Let f be v(-6). Is 1/146 >= f?
True
Let y = 3.74 - 4.74. Which is smaller: y or -169?
-169
Let j = -257/1045 - -17/55. Is 0 > j?
False
Let p be 1/(-1) - 5*2. Let v be (-30)/(-8) - (-6)/24. Suppose 4*h + 34 = 3*a, 5*a = -9*h + v*h - 60. Which is smaller: p or h?
p
Let b = 102 + -109.5. Let i = b + 9.5. Are -28 and i nonequal?
True
Suppose 2*l - 766 = -2*o, -5*o = 3*l - 2541 + 628. Which is greater: 383 or o?
383
Let m = 313 + -3483/11. Suppose -12 = 5*w + 8. Which is smaller: w or m?
w
Suppose 0 = -5*g - t + 468, -6*g + 8*g - 195 = -3*t. Is 93 at most g?
True
Suppose 2*t - 492 = 224. Let c = t - 11813/33. Is 0 smaller than c?
True
Let r = 92906/279 + -333. Is r != 1?
True
Let x = 0 + 2. Let z(l) = 2*l**3 - 5*l**2 - 4*l + 3. Let r be z(3). Suppose r*u - 10*u = 2*u. Which is smaller: u or x?
u
Let i(r) = r**2 - 2*r - 1. Let g be i(2). Let u(d) = d**3 - d**2 + 2. Let s be u(0). Let x be s - 4 - 1 - g. Is x equal to -1?
False
Let x = 1.48 + -3.2. Let z = x - -1.7. Is 4 at least as big as z?
True
Let p be 11/(99/(-1002)) - 4/(-12). Which is greater: -114 or p?
p
Let p = 598 - 626. Is p at least as big as -1/17?
False
Let c = 706 + -705. Which is smaller: -232 or c?
-232
Let k be (-9565)/56 - 6/(-16). Let i = -170 - k. Let z = -5 - -6. Which is smaller: z or i?
i
Let s = -155 + 156. Which is smaller: -18 or s?
-18
Suppose 0 = 2*t + 1 + 1. Let u = 5.1 - 6. Which is smaller: t or u?
t
Let l = 12 + -7. Suppose 0 + 8 = -4*h - 5*a, -l*h - 4*a = 1. Suppose 4*d + 8 = -h*m + 7*m, -3*d - 4*m = -8. Is d at most as big as 1?
True
Let o be (43/172)/(14/16). Let h be (-34)/14 - (1 + -3). Does o = h?
False
Let j = 54 + -59.9. Let t = -5.7 - j. Is 5/9 greater than or equal to t?
True
Let q = 28.029 + -0.029. Let x = q - 18. Let f be 3/(-15)*(-10)/(-6). Is x <= f?
False
Let r(s) = 220*s - 1. Let p be r(1). Suppose -p = -2*w + w. Let o be (-4)/18 - w/(-135). Which is smaller: o or 0?
0
Let l be (392/(-65))/(5/((-225)/3)). Which is smaller: 90 or l?
90
Let f = 26.5 - 28. Let k = -3.9 - f. Is k at least 0?
False
Let v be ((-1)/(-2))/(2/(-6)). Let z = -54 - -77. Suppose -p = -z + 25. Which is greater: p or v?
v
Let x = -4.116 + 0.116. Let c = -41 + 37.8. Let n = c - x. Which is greater: 0 or n?
n
Suppose -3*r - 4 = -r, -4*u - 176 = 4*r. Which is smaller: u or -44?
-44
Let g = -8998 + 9006. Let f = 0.4 - 0.2. Let w = 0.1 - f. Which is bigger: w or g?
g
Suppose -4*r = 5*x - 152, 5*r - 190 = -0*r + 5*x. Let b = r - 344/9. Let j = 10.97 + -7.97. Is b <= j?
True
Let d be (15/225)/((-1)/(5/3)). Let q = -0.6 + 0. Is d bigger than q?
True
Suppose 4*f + 4 = -2*c, c = 5*c + 3*f - 2. Let b(z) = -z - 2. Let d be b(-7). Which is bigger: d or c?
d
Suppose -3*f + 118 = 5*s, -s = f + 3*s - 51. Let n = -423 - -454. Is n at least f?
True
Suppose -94*i - 3*y + 12 = -92*i, 4*i - 3*y + 12 = 0. Suppose 0 = 3*x - 6. Suppose 0 = -5*m + x*m. Is i greater than m?
False
Let t be (-555)/(-9) + 10/(-15). Let n = t + -71. Is -46/5 at least n?
True
Let z(u) = -5*u**2 - 234*u + 36. Let m be z(-47). Which is smaller: -28 or m?
-28
Let c = 194 + -93. Let a = -61 + c. Let i = a - 32. Is 7 <= i?
True
Let c(i) = 76*i + 308. Let h be c(-5). Which is smaller: -67 or h?
h
Let u(v) = -v**2 + 6*v - 6. Let k be u(4). Let x = k + -1. Let t(d) = -120*d + 125. Let b be t(1). Which is bigger: x or b?
b
Let o(k) = 4*k + 12*k - 15*k - 6. Let g be o(9). Suppose -2*f + 17 = -g*n, f - 5 = -3*n - 19. Are f and 5/4 equal?
False
Let v = 1081 - 1699. Is -1 at most as big as v?
False
Let v = 19 + -22. Let m(w) = 2*w + 5. Let y be m(v). Which is bigger: y or 0.27?
0.27
Let f be -4 + (2492/(-1253) - -6). Which is smaller: 1 or f?
f
Let b be (7 + -7)*(0 - (1 - 2)). Let r = 363 - 4717/13. Are b and r equal?
False
Let w = -33 + 35. Suppose w*z - z - 1 = 0. Which is bigger: z or 7/8?
z
Let w be (5 - 5)/(0 + -1). Is w smaller than -3/311?
False
Let b = 2 - 1.05. Let u = 0.05 + b. Which is greater: u or -3/7?
u
Let z(c) = 9*c + 29. Let j(y) = -4*y - 14. Let a(p) = -7*j(p) - 3*z(p). Let w be a(-6). Let s be (w/((-10)/(-3)))/6. Which is bigger: s or -4?
s
Suppose 3*w - 2 = -2*g, 3*g - 3*w = 8*g - 14. Suppose -18 = 2*f - 5*t, -3*t - 14 = 3*f - g*t. Let b be (f/28)/(-1)*-2. Which is smaller: b or 0.01?
b
Let i = 28 + -24. Suppose 0 = -b + 5*k - 5 + i, -2*k = -4*b + 14. Suppose -3*y - b + 1 = 0. Which is smaller: 2/25 or y?
y
Suppose -4*b + 42 = 134. Which is smaller: -21 or b?
b
Let w be -3 + (-2 + 1 - -2). Let s(y) be the first derivative of 4*y**2 - 34*y - 10. Let r be s(4). Is r at most as big as w?
True
Let l be (4 + -3)/((-3 - 2)/(-5)). Let x(y) = -y**3 + 6*y**2 + 4. Let c be x(6). Suppose -c*z = -8 - 4. Which is bigger: l or z?
z
Let r be 1905/(-168) + 4/(-14). Let p = -4061473/40 - -101524. Let y = p - r. Which is greater: y or -2?
y
Let i(q) = 2*q**3 - 6*q**2 + q - 4. Let c be i(3). Let w = -147.99 - -148. Is c at least w?
False
Let g be 4*((-5)/(-610))/(-1). Let m = 0 + 2. Does g = m?
False
Let t = 446/51 + 4260/17. Let i = t - 262. Which is smaller: i or -3?
-3
Let y(u) = 3 - 2 + 50*u**2 - 25*u**2 - 26*u