+ 50.02. Let c = 69 - b. Which is bigger: c or 1/7?
c
Let y(q) = q**2 - 24*q + 19. Let o be y(23). Let k be o/20 - (2/40 - 0). Which is bigger: k or -0.4?
k
Let n = -21457.0155 - -21457. Which is smaller: -11 or n?
-11
Let d = 6862 - 6863. Is 1/7764 less than or equal to d?
False
Let r(n) = -n**3 - 7*n**2 + 7*n - 10. Let u be r(-8). Let a be u*(-2)/4 - (-26)/(-52). Let h = 84 - 59. Which is greater: a or h?
h
Let f = 1.53 + -3.93. Which is greater: 20 or f?
20
Let b = 77 + -74. Let v(i) = i**2 + 4*i - 5. Let t be v(-6). Let c(j) = j**3 - 8*j**2 + 5*j + 8. Let r be c(t). Is b less than r?
False
Suppose 0 = 2*o + 98 - 0. Is o at most as big as -45?
True
Let x = -9779 + 9789. Which is greater: x or 7?
x
Let s(h) be the third derivative of -1/60*h**5 + 0*h + 0 - 1/24*h**4 + h**2 - 5/6*h**3. Let w be s(-5). Is w less than -25?
False
Suppose 220 = 5*m + 5*g, 6*g = 11*g - 10. Suppose -21*b + 28*b = m. Suppose -5*k = -b - 14. Which is bigger: k or -4?
k
Let b be (-3)/4*(-74 - -111)/((-411)/4). Which is bigger: 0 or b?
b
Suppose 52*d - 54*d - 18 = -3*q, -4*q = -5*d - 24. Is 1680 smaller than d?
False
Let b be ((-11)/6 - -2) + 3. Let h(r) = -r - 7. Let m(q) = -q**3 + q**2 + 3*q. Let d be m(3). Let t be h(d). Which is bigger: t or b?
b
Let o = 17835 - 17834. Which is greater: o or -10/3367?
o
Let a = -29 - -19. Let v = -72 - -119. Let u = -46 + v. Is u >= a?
True
Let h be 0/(((-656)/(-104) - 6)/(4/26)). Is h > -1/770?
True
Suppose -4*f + 0*f + b + 425 = 0, -5*f + 531 = -b. Let v = -110 + f. Is v > -4?
False
Suppose -212 = 7*v - 1052. Suppose 0 = -v*b + 130*b - 470. Suppose 7*h = 2*h + 235. Is h at least b?
True
Let g(p) = p + 11. Let o be g(-9). Let h(l) = 0*l + 19 + 7 - o*l + l. Let c be h(25). Is c smaller than 27?
True
Let p = 210.09178 + -2.21878. Let c = p - 208. Let z = 0.027 + c. Is 61 at most as big as z?
False
Let z be 3964/20 - (-12)/(-10). Which is bigger: -1/10 or z?
z
Let w = 1.6 - 54.6. Let k = w + 71. Which is smaller: -28 or k?
-28
Let v(c) = c**2 + 2*c + 23. Let h be v(15). Let a be h + 1 + 14 + -12. Let d = a - 3094/11. Which is bigger: 0 or d?
0
Let u = -7743 + 7778. Suppose -40 = -0*w - w + 3*t, 0 = 4*w + 3*t - 160. Is w less than or equal to u?
False
Let k(v) = v. Let s(g) = 53*g + 1. Let n(r) = 5*k(r) + s(r). Let y be n(-1). Let b = y - -57. Which is smaller: b or -2/43?
-2/43
Suppose 0 = -2*u + 5*u - 21. Let h = -1407 - -1415. Which is bigger: h or u?
h
Suppose -24*l - 135*l + 472548 = 0. Is l >= 2971?
True
Let z = -3722 + 3772. Is 4/9 > z?
False
Suppose 2 = -j - 1. Let d = 29 + -31.2. Let s = d - -2.28. Which is smaller: s or j?
j
Let d be (-288)/720 - (-3233)/(-5). Does -656 = d?
False
Let d be 23 - 32 - (-1 + 9 - 16). Let a be ((-8)/(-108))/((-2)/1). Is d at least as big as a?
False
Suppose -99*a - 65*a = -164. Is a at least 10/193?
True
Let o be 18/4*48/(-216). Let i be 3/((-6)/4)*49/(-23324). Which is bigger: i or o?
i
Let y(h) = 7*h + 175. Let s be y(22). Suppose -13*l + 1096 = s. Which is smaller: 57 or l?
57
Let k(b) = b**2 - 67*b + 879. Let j be k(17). Is j at most as big as 748/27?
False
Let i = 146544/55 - 32094/11. Let y = 253 + i. Which is smaller: y or 11/2?
y
Let w(f) = f**2 - 7*f - 6. Let s be w(-5). Let b = -117 + s. Let a = b - -50. Is a less than or equal to -11?
True
Let w be 1/8 + (4426238/(-7772400) - (-120)/270). Is w smaller than 0?
True
Let q = 1/33015 - 174323/125457. Which is smaller: q or -1?
q
Let x(n) = 57*n - 55*n - 2 + 0. Let w be x(1). Let q be 0 + 92/(-24) + 4. Which is smaller: w or q?
w
Let t = -37.73 + 37.93. Which is bigger: 9/68 or t?
t
Let t be 17/255 + (-208)/195. Let f be 2/8 - (-166)/(-88). Is t at most f?
False
Let i be (0 + 498/(-8))/(248 - 247). Is i greater than -63?
True
Let r(i) = -5*i + 60. Let c be r(-9). Let p be 2/(5/(7 - -253)). Which is greater: c or p?
c
Let m be -2 + 1 + 22/(24552/1332). Is m < 0.9?
True
Suppose -4*b = -2*b - 16. Let v be 2 + (-12)/7 + b/(-28). Suppose -5*c = 3*g + 105, v = -5*c + 3*g - g - 80. Is -37/2 >= c?
False
Let y = 5 + -3. Suppose 2*h = -2*o + 24, o = y*h - 2*o + 1. Let q be ((-14)/h)/((-4)/(-10)). Is q >= -5?
True
Let k be -9 - (6/(-9) - (-434154)/(-52038)). Let x = -11 + 12. Which is smaller: k or x?
k
Let c be 5 - 3/(-1 - -2). Suppose -69 = 3*a + c*u, -u + 4*u = 3*a + 84. Is a at least as big as 0.2?
False
Let z = -10276 - -10277. Is 576.8 at least as big as z?
True
Suppose 7*c = 1238 - 132. Suppose 0 = -21*m + c - 53. Is 5 at least m?
True
Let g(f) = f**3 - 13*f**2 - 15*f + 15. Let c be g(14). Let n be 70/840 + (-67862)/(-7608) - 9. Which is smaller: c or n?
n
Let m = 2002 + -2043. Which is smaller: m or -26?
m
Let m = 60 + -43. Let q be -2 + (m - (-5 - -7)). Is 11 less than or equal to q?
True
Let v(r) = 20*r + 79. Let j be v(-4). Let f be (-2192)/(-550) - 9/((-81)/(-36)). Which is bigger: f or j?
f
Let u = -5820 + 5819.95. Which is smaller: u or 494?
u
Let f = 17627/3 + -5876. Are 1.754 and f unequal?
True
Let s = 293 + -286. Let u be -11*s/(-2)*(-6)/21. Which is bigger: -118/11 or u?
-118/11
Let t(q) = q**3 + 8*q**2 + 13*q - 3. Let c be t(-4). Suppose 0*f - 3510 = -c*f. Is f equal to 389?
False
Let d(a) = a**3 - 17*a**2 + 42*a - 19. Let g be d(14). Does -22 = g?
False
Let l be 158228/(-79156) + 3 + 3 + -4. Is l != -0.1?
True
Suppose -9*i + 14 = -13. Suppose -5*r = -3*t - 327, -13*t = i*r - 17*t - 194. Is 66 > r?
False
Let j be 50 - 4/((-8)/(-6)). Let a = j - 25. Let n = -22 + a. Is n >= 5/16?
False
Let s(d) = 6*d**2 + 53*d - 407. Let u be s(5). Let t be ((-62)/6)/(8/(-6)). Which is greater: t or u?
u
Let f(t) = -2*t**3 - 194*t + 7*t**3 + 209*t + 23 - 14*t**2. Let l(y) = -6*y**3 + 13*y**2 - 15*y - 23. Let d(u) = -5*f(u) - 4*l(u). Let m be d(17). Is -0.1 != m?
True
Let i = -218 - -218.147. Let o = -0.853 - i. Which is smaller: o or -0.05?
o
Let k be (-1 + 0)*14/70*-35. Which is smaller: k or 31/5?
31/5
Let r = 1/8696 - 52193/147832. Let v(g) be the first derivative of -g**4/2 + g**3/3 - g**2/2 + g + 1. Let x be v(1). Are x and r equal?
False
Let y = 0.07 - 0.07. Let q = 0.345 + 0.165. Let z = q + -0.67. Which is smaller: y or z?
z
Suppose -3*m = 2*f + 6, 2*m - 5*m - f - 3 = 0. Suppose m = -9*k + 7*k + 8. Suppose 4*w = k*t - 100, -4*w = 5*t - 2*w - 104. Is 20 at least as big as t?
False
Suppose 4*p = 26*d - 24*d - 496, -3*p + 5*d = 393. Which is smaller: -843/7 or p?
p
Let g = 4497950 - 197861043/44. Let a = -4367/4 + g. Is 17 less than or equal to a?
False
Let i be (1 - -2)/(13 + 11000/(-848)). Is 855/8 less than i?
False
Let s = -2.956 + 3.016. Is -166 bigger than s?
False
Suppose -2*u + 5*b - 10 = -3*u, -5*b + 15 = 2*u. Let n be (-13 - -9) + 63/u. Which is smaller: n or 8?
8
Let u = -0.2667 + 0.3057. Is u at least as big as 2?
False
Let z be (-98)/(-12) + (-22)/132. Let n be 2/z - 833/68. Let p(k) = k**2 + k - 4. Let x be p(0). Is x less than n?
False
Let x be 8 + (-9 - (-3500)/10). Suppose -x + 355 = -6*n. Is -3/80 greater than or equal to n?
True
Let f = -6352.029 + 6352. Which is greater: f or -1?
f
Suppose -294*z + 18261 = -7495 - 13052. Is z less than 168?
True
Let k = -5883 - -5965. Is 408/5 < k?
True
Let w = 2/49673 - 498356/40384149. Which is smaller: -1 or w?
-1
Let g be 15 - -35*5/(-25). Let s be g + -4 + -22 - -3. Which is smaller: s or 5/3?
s
Let y(x) = -x**2 - 2*x - 2. Let q be y(-2). Suppose -l = -0*l - 2*l. Suppose t - 5*i = 21, l*i - 5 = 3*t + 2*i. Is q at least as big as t?
False
Suppose -2*q + 18 = d - 3*q, -q - 106 = -5*d. Suppose -7 = -3*v - d, -3*g - 730 = 2*v. Which is bigger: g or -239?
-239
Let j = -94.55 - 0.45. Let x = j + 71. Let b = x - -23.8. Which is bigger: b or -22?
b
Let h = 818.8 - 803.791. Let u = h - 15. Let l = u + -5.009. Is -3 greater than l?
True
Let q be (-8)/20 + (-32)/(-5). Suppose -2*p = -5*o + 11, o - p + q*p = -14. Let m = 14 - 19. Is o greater than or equal to m?
True
Let w(k) = -k**2 + 12*k - 30. Let y be w(9). Let g be ((-5)/(-60))/((-1)/y). Let v(j) = -2*j. Let d be v(0). Which is bigger: g or d?
g
Suppose -3*w - 996 = -2*u, -15 = 2*w - 11. Suppose -u = -7*i + 296. Is i equal to 113?
True
Suppose 4*p - 2*p + 12040 = -38*p. Is p at most -302?
False
Let j = -26 + 10. Let l be j*(420/(-8))/(-5). Let b be 4/20 + l/(-10). Do 16 and b have different values?
True
Let t(z) = 19*z - 91. Let w be t(6