 0.08. Let m(k) = -k**3 - 9*k**2 - 9*k - 9. Let t be m(-8). Let h be 16/(-64)*(-9 - 0)/t. Is h < o?
True
Let w(c) = -c + 11. Let y be w(8). Suppose -3*i = b, -6*b = -b - y*i. Let l be 15/66*24/(-30). Which is greater: l or b?
b
Let q be (-6)/15*((-6)/9)/((-116)/(-290)). Let j(p) = p - 3. Let y be j(-3). Let t be ((-4)/(-3))/(2/y). Which is smaller: q or t?
t
Let g be (5/2)/(9/(8 - 62)). Which is bigger: g or -3/10?
-3/10
Let p(n) = -n**2 + 14*n - 24. Let r be p(2). Let g be (5 - 1022/203)*(2 - r). Is -0.9 at least as big as g?
False
Let d = -41420671/78 + 531042. Let p = d - 56003/182. Let a = p + 300. Does 0.1 = a?
False
Let m = 6390 + -6382.561. Let o = m + -7.4. Let x = o - 0.039. Is x bigger than -33?
True
Let r = 2311 - 2310. Which is smaller: r or -1/867?
-1/867
Suppose 2122 = 3*f + 2*s, 3*f + 172*s - 2127 = 175*s. Which is bigger: 730 or f?
730
Let u(q) = -q**3 - 4*q**2 - 4*q - 3. Let i be u(-3). Let b = -0.218 + -1.382. Let t = b + 1.2. Is t at least i?
False
Let o be -3 + (2 - 0 - 0) + -1. Let n = 510 + -3564/7. Which is smaller: o or n?
o
Let x(p) = -65*p - 13 + p**3 + 3 + 6 + 31*p**2. Let q be x(-33). Is -38 at most q?
True
Let d(i) = i + 7. Let x be d(-6). Let f be (-5 - 0)*x/(5/8). Is f bigger than -41/5?
True
Let p(a) = -99*a - 5443. Let w be p(-58). Which is greater: w or 293?
w
Let b = -3 + 0. Let u = 22 - 18.58. Let c = 3.5 - u. Which is greater: b or c?
c
Let l = -12864 + 964814/75. Which is greater: l or -5?
l
Let i = 998/15 - 55589/870. Are i and 3 equal?
False
Let h be (-5 + (-232)/(-32))/(-6*(-5)/(-10640)). Is -794 != h?
True
Let k = 371 + 1. Let v = 176 - k. Which is smaller: v or -197?
-197
Let j = -10113 + 10386050/1027. Is j at least 1?
False
Suppose a + 3*a + 20 = 0. Let u be (-16*3/(-10))/((-1)/a). Let d be (-51)/u*(-16)/(-36)*3. Is d != -4?
True
Let k = -27.905 + 28. Let h = -262.195 + 262. Let v = k + h. Which is greater: 0.56 or v?
0.56
Let l(g) = g**3 - 5*g**2 + 6*g - 23. Let y be l(5). Let s be 4/10*37/2. Which is bigger: s or y?
s
Let p(n) = -n**2 - 9*n - 5. Let y be p(-7). Suppose -3*v + i + y = -4*i, 3*i - 9 = -3*v. Suppose v*o - 3 = -3*h, 4*h = -h - o + 13. Which is greater: 2 or h?
h
Let w = 152/55 + -369383/220. Is -1675 equal to w?
False
Let o be 19/(-2) + 1/(-2). Let j be (4/o)/(2/4). Suppose 38*n - 57 = -67 - 66. Is j smaller than n?
False
Suppose -967 = -b - p + 1983, 5*b - 14750 = -3*p. Which is smaller: 2951 or b?
b
Let f(b) = -3*b**2 - 91*b + 979. Let v be f(9). Is -53 >= v?
True
Let v = -716 + 719. Let n be -2*2/(-4)*3. Suppose 5*g + 4*b - 13 = 0, g = -2*b - n*b - 10. Which is greater: v or g?
g
Let f be -71 + (22 - 6 - 1). Let b be (4/2)/(3/(-87)). Which is greater: f or b?
f
Let c be (-15 - -2) + (4709/323 - 1). Let a be (1/(-1) + 1)/(-1). Which is greater: a or c?
c
Let f = 5 - -3. Let j(o) = o + 19. Let u be j(-17). Suppose 2*m - 28 = -u*m. Which is smaller: m or f?
m
Let x = -13 + 7. Let q be ((-321)/x - -3)*-2. Suppose 0 = 165*g - 144*g + 2352. Which is greater: g or q?
g
Let x = 622900949/13556760 - 1/129112. Let k = 27/70 + x. Let a = -1103/24 + k. Is a greater than -1?
True
Let y = 2999 + -2998.31. Which is smaller: y or 0.07?
0.07
Let v = 166.39 + -0.39. Let n = v + -170. Is 18 at most n?
False
Let v = 27495 - 27496. Is 11/3859 < v?
False
Let n = -375 - -378. Suppose -n*o + o + 2 = 0. Which is bigger: o or 5/41?
o
Let y be 1592/3 + (5/(-2))/((-860)/2064). Which is bigger: 536 or y?
y
Suppose 0 = -2*w - 4*k - 1236, -13*k + 9*k = 16. Let j = w - -611. Do -4/73 and j have the same value?
False
Suppose z - 10*n - 5 = -5*n, -3*z - 5 = 5*n. Suppose -53*o + 55*o + 58 = z. Suppose 0 = -3*u - 65 - 19. Which is smaller: o or u?
o
Let a = -0.935 + 1.135. Which is smaller: a or -1/960?
-1/960
Suppose 55 = 5*t + 3*c, -3*t - 2*t + 30 = -2*c. Suppose -t*o + 4*o = 0. Suppose 4*l + d + 6 - 2 = o, 0 = -2*l - 5*d - 2. Is 1 greater than l?
True
Let k = -22872 - -22873. Is k less than or equal to 1/8681?
False
Let a = 1.5 + -1. Let h = 131963/11 - 11997. Which is smaller: h or a?
h
Let o = -2213/74 + 21108719/705849. Which is smaller: 0 or o?
0
Let z = -38814/65 - -597. Let o = z + 101/260. Let y = 432/11135 - 2/131. Which is bigger: o or y?
o
Let k be ((-1 - 2) + 33 - -2)*-1. Let m = -35 - k. Let r be m - (100 - 1) - -1. Is -101 smaller than r?
False
Let d be (94716976/(-889280))/(24595136988/(-2342435)). Let b = d - -917/199554864. Let p = 2/6749 - b. Is 1 at most as big as p?
False
Let w = 294316 + -294319. Let a be (-2 - -2) + 17 + -2. Let d be ((-2)/a)/((-6)/10). Which is smaller: d or w?
w
Let j(x) = -8*x - 174. Let o(y) = y**3 - 10*y**2 + 2*y - 20. Let t be o(10). Let m be j(t). Is -174 less than m?
False
Let w = -11.1746 + 34.9746. Let y be (((-16)/(-3))/(-4))/(-2). Is y > w?
False
Suppose 20 = -4*n + 8*n. Suppose n*z + 30 - 85 = 0. Let g = 9 + 0. Which is greater: g or z?
z
Let u be ((-1)/(-5))/((-65)/(-10)). Let i(y) = y**3 + 5*y**2 - 15*y - 7. Let a(x) = x - 9. Let t be a(2). Let b be i(t). Is b greater than or equal to u?
False
Suppose 679 = 2*b - i, i = -36*b + 39*b - 1018. Which is bigger: -0.1 or b?
b
Let x(t) = -t**2 + 7*t - 2. Let g be x(7). Let f be (11/(-22))/(g/(4*1)). Let b be 3/22*(-1)/(-6). Which is smaller: f or b?
b
Let s = 5620507/1436 - 3914. Is 0 at least as big as s?
False
Let j be ((-32)/(-60))/((-4)/(-18)). Let i = 2002 - 2004. Which is bigger: j or i?
j
Let v be (-184)/6 + 2/3. Let d = 601/26 + -684/13. Let w = d - v. Which is smaller: w or 15?
w
Suppose -4*q = -2*t + 49 - 15, 2*q - 5 = -t. Suppose -t = -g + 2*g. Let v = 146 - 157. Are v and g non-equal?
False
Let h = -12 - -54. Let z = 73 - h. Let k = z + -56. Is 1 > k?
True
Let y = -29.62595 - -0.26595. Is 0.5 < y?
False
Let z = 13.678 - 8.771. Which is smaller: z or 1?
1
Let o be 5 + 35/(-294)*4432/100. Let b = o - -1/105. Let t be -1*(1 - (1 + -1)). Are t and b equal?
False
Let o be 86/(-86)*((-3)/(-1) - 2). Which is smaller: 4/12577 or o?
o
Let v = -28 - -32. Let l be -4 + (-208)/(-4) - v. Suppose 0 = -4*j - l + 4. Is 0 > j?
True
Let u be 752/14 - 4/(-14). Let h be 5242/100 + (-53 + 47)*(-3)/225. Is h greater than or equal to u?
False
Let k = -339/7 + 1073/21. Let d = 836/3 - 281. Let b = k + d. Is 3/7 at most b?
False
Let o be (-34)/26 - (1 - 1). Suppose -7*n - 2*m = -17*n - 16, -5*n + 10 = 5*m. Which is greater: n or o?
n
Let q(i) = -12*i - 94. Let k be q(7). Let t = k - -168. Which is smaller: t or -29/3?
t
Let v be (1/(-387))/(12/(-9012))*165. Let x = -961/3 + v. Which is greater: x or 2?
2
Let f be (-44)/(-20) + (-4704)/(-105). Is f greater than or equal to 34?
True
Suppose 0 = 270*r + 615*r + 481440. Is r bigger than -542?
False
Let r = 32.9 - 35. Let h = 2 + r. Let t = -3532 - -3533. Which is smaller: h or t?
h
Let x be (6 - 0) + (2720/(-416) - (738/78 + -9)). Suppose -5 = 5*p - 6*p. Is p greater than or equal to x?
True
Let o = -12347 - -10678. Is o greater than -1671?
True
Let m be (-4)/(-14) + (16/(-56) - -4). Suppose -l - 5 = r, -14 = r - m*l - 29. Which is greater: -3/20 or r?
-3/20
Let l = -2607 - -2606. Which is greater: 598/11 or l?
598/11
Let z(t) be the first derivative of 3*t**2 + 91*t - 36. Let h be z(-15). Which is smaller: h or 3/265?
3/265
Suppose -75*w = -111*w - 4680. Let h = 257 + -388. Which is bigger: w or h?
w
Let y(f) = -231*f**2 - 71*f + 465. Let u be y(6). Which is smaller: -8279 or u?
-8279
Suppose 23*s = -26415 + 8531 - 18870. Is -1592 at least s?
True
Let u = -189 - -187.37. Let k = 1.37 - u. Which is smaller: -1.1 or k?
-1.1
Let m be (-195)/(-105) + (-12)/14. Let b = 4 + 2. Suppose -4 + b = -c. Is m at least as big as c?
True
Let g = -132 + 104.6. Let f = -88.4 - g. Is f smaller than 1?
True
Let g(t) = -t**3 - 5*t**2 + 2. Let z be g(-5). Let u be 3/(-6) + 15/z. Suppose q = -u + 21. Is q greater than or equal to 14?
True
Let m be (4795/182 + 4 - 2/(-13))*-2. Let j(n) = -3*n**3 + 2*n**2 + n. Let i be j(-1). Suppose 3*z = -5*b - 128 - 80, 5*b = i*z + 219. Is m bigger than z?
False
Let h be ((-208)/28)/(-2) + 14/49. Suppose 5*q + 22*f = 23*f - 5, 0 = -h*q - 4*f + 20. Is 4/91 at least q?
True
Let p be 2/3*((-101022)/(-2486))/(4/286). Is p > 1937?
False
Let f(l) = 60*l**3 - 3*l**2 - 9*l - 8. Let u be f(-3). Let y = -333739/205 - u. Which is bigger: -1 or y?
y
Let x = 34975.2 + -34976. Whi