
Let u = 1529 + -1528.13. Which is greater: u or 0.2?
u
Let y = -101 + 98. Let m = 564534/35 - 16128. Let f = m - 129/35. Which is smaller: y or f?
y
Let k(s) be the first derivative of -1/3*s**3 + 8*s**2 - 1 - 8*s. Let b be k(11). Which is smaller: b or 48?
b
Let j(r) = -3*r**2 - 220*r + 445. Let u be j(2). Which is smaller: u or 55?
u
Let k = -0.81 + 15.81. Let o = k + -14.9. Which is bigger: 85 or o?
85
Let w be (-45 - -52)/(-3 - (-2 + 1) - -1). Let c be 2/(-8) + 146/(-24). Is w != c?
True
Suppose 4*i - 10 = -i. Let d be (216 - (-28896)/(-129))*(-1 + 74/104). Which is smaller: i or d?
i
Let f = 5344 - 5096. Do f and 248 have different values?
False
Let r be (-1913)/4*264/330. Are -384 and r equal?
False
Let m be (-1)/(-39)*((-153)/(-68))/((-6)/5). Let i = -166 + 166. Which is bigger: m or i?
i
Let c = -7/2805 - -38066669/5610. Let p = c - 6575. Which is smaller: 210 or p?
210
Let s(o) = o**2 + o - 5. Let a be s(-5). Suppose 0 = -8*d + 6*d. Suppose 0 = -2*q - 3*r + r + 32, d = 5*q + 3*r - 76. Is a smaller than q?
False
Let l = -12 - 18. Let z = -19.9081 - 0.0919. Let h = l - z. Which is smaller: h or 1/8?
h
Suppose -4*t = 0, 0*z - 585 = 5*z + 3*t. Suppose 0 = -56*q + 53*q - 240. Let r = z - q. Is r at most as big as -38?
False
Let s = 18 + -182. Let r be ((-24)/90)/(s/(-6)). Is -1 equal to r?
False
Let g = 27 - -26. Let j be 18/(-45)*5/g. Let k = 858/265 + j. Which is greater: 4 or k?
4
Let c(y) = -y**3 + 4*y**2 - 6*y - 7. Let r be c(-5). Let o = r + -137. Let l = o - 997/9. Which is smaller: -2 or l?
-2
Let v = -7690728174/25075 + 306709. Is v <= 1?
True
Suppose 17 + 5 = 2*h. Let w be (0 - 3 - -13)*1. Suppose 0 = -w*n + h*n. Is -1/14 < n?
True
Let r = -126 - -226. Let w be 484/r - 1 - 4. Let y = -9.05 - -9.25. Is y smaller than w?
False
Let a(c) = 22*c + 19*c - 9*c**2 + 70 - 12*c**2 - 9*c + 7*c**2. Let o be a(-2). Let p be 2/((-6)/49)*3. Which is greater: p or o?
p
Suppose 3*y - 126 = 6*y. Let n = -39 - y. Suppose -5*f - 15 = -4*o - o, 6 = -n*o - 2*f. Which is greater: o or -1/15?
o
Let s = -9219 - -4575. Let f = s - -41714/9. Are f and -10 equal?
False
Let z = 117.34 - 117.1. Are -0.086 and z nonequal?
True
Let x be (-3 - 26*14/28) + (-21)/(-3). Let r = 23 + -34. Do r and x have different values?
True
Suppose -i = -5*i + 196. Suppose -14*f + 357 + 3978 = 71*f. Which is bigger: f or i?
f
Let r = 28 + -10. Let m be 86 - 82 - 2/2. Suppose -m*g - r = -153. Is g at most as big as 44?
False
Suppose 0 = -5*q - 0*b + 2*b - 20, 0 = 4*b - 20. Let l be 0 + (4 - 1)/(-2715). Let y = -6346/9955 - l. Which is smaller: y or q?
q
Suppose 85*q - 650 = 14 - 5424. Which is smaller: -1/39 or q?
q
Let r = -12893 - -12886. Is -20/3 >= r?
True
Suppose -2*c + 3*s = -120, 141*c - 136*c - 315 = 5*s. Does 74 = c?
False
Let j(u) = -4*u**3 + u**2 + 6*u + 2. Let x be j(5). Let m be 2*x/(-18) - (-12)/(-54). Suppose 0 = -5*v - m + 34. Is v at least as big as -2?
False
Let a = 10.43 + -12.43. Which is smaller: a or -0.00682?
a
Let t(x) = 25*x - 19. Let f(h) = 25*h - 20. Let j(c) = 6*f(c) - 5*t(c). Let y be j(-19). Let q = y - -34502/69. Is 0 at least as big as q?
False
Let b be 48740/5*(4 - 5). Let r be 6 + b/812 + 6. Let y be 4/32*4*-2. Are r and y unequal?
True
Let o(d) = 2*d**3 - 3*d**2 + 101*d - 207. Let z be o(2). Is z greater than -29/323?
False
Let y be ((-40)/(-50))/((-2)/(-10)). Suppose 2 = 14*a - 16*a + y*l, 0 = -5*a - 4*l - 19. Is -40/13 <= a?
True
Let k = 280 - 253. Which is smaller: k or -0.23?
-0.23
Let x(j) = -j**2 - 9*j + 4. Let u be (-405)/5*4/6. Let b = 44 + u. Let l be x(b). Which is smaller: l or -7?
-7
Suppose -d = 2*d - 429. Let z = 5 - 41. Let j be (-5208)/z - 2/3. Which is bigger: d or j?
j
Suppose -5 = 17*t - 5. Let i be (t - 1/(-3))*-3. Let b = -555/7 - -79. Which is smaller: i or b?
i
Let j(s) = s**2 + 7*s - 28. Let m be j(-12). Suppose 22*t - m*t = -10. Which is smaller: t or -3/44?
-3/44
Let q be 52*3/(-6696)*4. Let p = q + -4/31. Is p less than -0.23?
False
Let t be ((-16)/36)/((-410)/45). Is t <= -0.82?
False
Let l(r) = 2*r**3 + 7*r**2 + 2*r - 5. Let h be l(-6). Let f = h - -607/3. Let v(i) = -2*i**3 - 10*i**2 + 36*i + 62. Let o be v(-7). Is f <= o?
True
Let y = 0.08 - -0.02. Let t = -0.215 - -0.005. Let d = t - 22.79. Which is smaller: d or y?
d
Suppose -22 = -2*r - 4*c, 25 - 5 = 4*r + 2*c. Let l be r*-2*(-1736)/186. Is l equal to 0.07?
False
Suppose 3*d - 40 = -2*x, x - 19 = 4*d + 1. Let f be (1 - 10/5) + -19. Let g = 38 + f. Which is greater: g or x?
x
Suppose -3*b = 5*k - 471, 71*b = 68*b + 6. Which is bigger: k or 14?
k
Let d = -119 - -97.8. Let f = -218 + 197. Let p = d - f. Which is smaller: p or -1.5?
-1.5
Suppose 110*o + 50 = 97 + 63. Which is smaller: 6083 or o?
o
Let w = 7.331 + -304.011. Let l = -297 - w. Is -1 <= l?
True
Let z(a) = -a + 56. Let g be z(24). Let o be 1/(6/14)*(-696)/g. Let w = -109/2 - o. Is -5 >= w?
False
Let j = 973/2 - 1046. Is -559 equal to j?
False
Let y = 345 + 534. Which is smaller: y or 878?
878
Suppose 39*m = 65*m - 23 - 3. Which is smaller: m or 44/329?
44/329
Let g = 4314 - 4359. Let o = -6 + -3. Let p be -5*(-6)/g*o. Is 33/7 greater than p?
False
Let p = 39219 + -382895096/9763. Let t = -292859/302653 - p. Which is smaller: -1 or t?
-1
Suppose -8*b + 138 = -117*b - 29*b. Are b and 4/527 unequal?
True
Let q = -39 + 155/4. Let u = 0.18 - 0.18. Let v = u + 10. Which is bigger: v or q?
v
Let v = -196/1905 - -958/1905. Let x = -21/20 - -4/5. Is v >= x?
True
Let q be ((-274653)/(-91503) - 7 - -4)/((-10)/(-15)). Which is smaller: q or 0?
0
Suppose 0 = 42*t - 36*t - 468. Suppose -12*l + t = l. Which is bigger: 7 or l?
7
Let l be 1/(-17) + 5360/(-1360). Is l < -4/369?
True
Let l = 10 - 18. Let f(y) be the third derivative of -y**5/60 + y**4/24 - y**3/2 + 76*y**2. Let m be f(-2). Which is smaller: m or l?
m
Let z be -1*2828/(-35)*(-838)/(-37). Suppose 9150 = 6*h - h. Let v = h - z. Is -1 greater than v?
False
Suppose -66*f = -38*f - 28. Let w = 197/3366 - 2/153. Is w > f?
False
Suppose 726 = 8*u - 5*u. Suppose -6*l = -17*l + u. Does l = 22?
True
Let b(k) = -k**3 + 10*k**2 + k - 7. Let u be b(10). Suppose 4*c = -5*w + 26, -3*c + c + 14 = u*w. Suppose -30 = -3*a + c*a. Is a >= -30?
True
Let c be (-26118)/174888 + 2*((-3)/(-42))/1. Is -0.1 greater than or equal to c?
False
Suppose h - 4*a + 17 = 0, -3*h - 23 = 6*a - 11*a. Which is smaller: 5966 or h?
h
Let r(a) = 3*a**2 + 71*a + 305. Let s be r(-18). Is -1/23594 greater than or equal to s?
True
Let f be (-1)/(25/4846)*-1. Let c = -5303 - -5497. Let w = c - f. Is 0 bigger than w?
False
Suppose 0 = k - k - 4*k. Suppose -10*q + 27 + 473 = k. Let y be (2 + q)/(8/4). Is 26 < y?
False
Let b be (1248/(-70))/(31 - (-4936)/(-160)). Is -1/6 >= b?
True
Let c be ((-1080)/600)/((-3)/(-5)). Is c at most -496?
False
Let i be (-651)/(-868)*(1 - 0)*(-4)/(-3). Which is smaller: 212/89 or i?
i
Let y be (-10)/(-7) - ((-30)/(-70))/((-36)/24). Is y bigger than 10/49?
True
Let f = -3.11 + 4.11. Which is bigger: f or 590.6?
590.6
Let p be (20/2)/(-80) - (-17895)/(-8). Is p != -2237?
False
Let u = 23/105 + -2/105. Let l be (-1)/(6 + -9 - 0). Is u less than or equal to l?
True
Let o(f) = f**3 - 24*f**2 + f - 650. Let j be o(25). Which is bigger: j or -1/7825?
j
Let p be 6/(-4) - 82/(-6). Let u be 4/120*-401 - -2. Let b = u + p. Which is smaller: -2 or b?
-2
Let g be (96/(-36))/(1/123). Which is bigger: -330 or g?
g
Let r be 5/(-2)*78/65. Let l be (-12)/(r*16/120). Do l and 30 have the same value?
True
Suppose 103*g + 496 = 134*g. Which is bigger: 386/25 or g?
g
Let i be 5*(-2)/4*-10. Let v = -136 - -71. Let o = 92 + v. Which is greater: i or o?
o
Suppose -224*b + 36 - 239 = 21. Is b smaller than -4/9543?
True
Let u = 0.1 - 0. Let c = u + -0.2. Let h = -41746.5 - -41743. Which is greater: h or c?
c
Let p = -60 - -68. Suppose 11*m - 3 = p. Which is greater: m or 10/17?
m
Let t = -4533644/35 - -129522. Let f = t + 53/5. Which is smaller: -2 or f?
-2
Let v be 2900/(-560) - (-10)/(-8) - 6/(-14). Is v greater than 99?
False
Let q(t) = -5*t - 427. Let r be q(-63). Is -71 < r?
False
Let j be 2/35 - ((-145203)/(-1015) + -44). Is j greater than -96?
False
Let f = -16.73 + 16.83. Let i = -270 + 127. Which is greater: i or f?
f
Let g(n) = -n**2 - 5*n + 9. Let v be g(-6). Let u be v/6*(4 - 4) - 2. L