be 357/888 + 9/(-24). Is n smaller than r?
True
Let d = 6871 + -6860. Which is greater: d or -4?
d
Suppose 2*f + 2*f + 5*c = 15, -3*c + 9 = 3*f. Let p be (12/(-812))/(3/(-2)). Let n = p - -199/406. Which is smaller: n or f?
f
Let x(j) be the second derivative of 20*j - 1/6*j**4 + 7/6*j**3 + 7/2*j**2 + 0. Let a be x(6). Is a less than -23?
False
Let c = 9888.15 - 9925. Is -2 not equal to c?
True
Let b(i) = 2*i**2 - 265*i + 2742. Let g be b(121). Are g and 9 non-equal?
True
Let p be ((-6042)/(-212))/(3 - 106/36). Which is bigger: p or 501?
p
Let g(y) = -6*y - 384. Let u be g(-64). Which is bigger: -10/517 or u?
u
Let c = 951.5 - 1353.8. Which is bigger: 2/5 or c?
2/5
Let b(p) = p**3 + 4*p**2 + 3. Suppose 5 = 4*w + 13, 5*w + 18 = -2*u. Let l be b(u). Let m be 4 - l/(-3)*1. Is 0 at least m?
False
Let o = -24863531/227 - -109531. Let l(b) = -2*b**2 + b. Let f be l(1). Which is smaller: f or o?
f
Suppose 3*z + 2622 - 7414 = 5*j, z - 1579 = -2*j. Is z < 1588?
False
Let v = -16558 - -1308018/79. Which is smaller: -2 or v?
-2
Let a = -985 + 1052.71. Let t = a - 67.4. Let f be 4/10 + (-24)/35. Is t at most as big as f?
False
Let r = 15702.3 + -15702. Which is greater: r or 1/703?
r
Let x(a) = 67*a - 7101. Let i be x(108). Is 138 <= i?
False
Let h = -5661 - -5660. Which is greater: -2904 or h?
h
Let z = 238 - 235. Suppose 5*v - z + 8 = 0. Which is smaller: 12 or v?
v
Let o be 2/(1/(83/(-5))). Suppose 3*n - 3*z = -84, -2*z + 0*z = -3*n - 89. Let m = o - n. Which is greater: m or -0.8?
m
Suppose -13*z + 7*z = -12. Let h be z/(-3) + 9/((-108)/40). Is -8 < h?
True
Suppose -147 = 4*n - d, 63 = -n - 195*d + 190*d. Is n at least -42?
True
Let t = 1.42 - 0.64. Let a = -0.731 + t. Let b = a + -9.049. Which is smaller: -0.2 or b?
b
Let v(s) = -s**3 - 17*s**2 - 161*s - 13. Let c be v(-23). Is 6864 > c?
False
Suppose 4*q - 43 = -5*a + 41, 2*a = 4*q + 56. Let m be 0 + (-15)/a + (-171)/12. Do m and -11 have different values?
True
Let j(l) = -l**3 - l**2 + 11*l + 6. Let c be (-48)/(-7) + 54/378. Let h be j(c). Which is smaller: 2/7 or h?
h
Let c = 2825 + -3157.4. Let k = c - -332. Which is smaller: k or 62?
k
Suppose 0 = 4*n - 914 + 2410. Let m be n*(-10)/(-752) + (1 - -4). Which is smaller: m or -1?
-1
Let g = 616416/119 - 5180. Which is smaller: g or -1?
-1
Let t = -23 + 33. Suppose t*h - 30 = 5*h. Let u be (4 - 22/h)*-15. Which is smaller: -6 or u?
-6
Let t = -37 - -52. Let r = t - 9. Let k = 19 - r. Is k <= 13?
True
Let d = -1.818 + -0.0113. Which is smaller: -0.1 or d?
d
Let x = -12.9 - -5.2. Let v = 2 - 7.4. Let d = v - x. Which is bigger: d or 2/7?
d
Let l = 3184 + -4251. Which is smaller: l or -3202/3?
-3202/3
Suppose 0 = i - 4*c - 65, -2*i + 3*c + 179 - 59 = 0. Suppose -4*r = -5*d - i, d - 2*d = r - 3. Suppose -r*o + 6*o + 36 = 0. Which is greater: 19 or o?
19
Let g = 34 - 19. Suppose o = 3*y - 4*o + 28, 3*o = g. Let i be 1 + (y - 1) + 3. Is 0 at least i?
False
Let m = -557 + 560. Suppose 14*c - 17*c = m*k - 12, 15 = 5*k + 4*c. Which is bigger: k or 2/49?
2/49
Suppose 9*d - 7*d = -r + 62, -118 = r - 18*d. Let w = 38 - -9. Is w at most r?
False
Let h = 5451 + -5451.1. Which is smaller: 2132 or h?
h
Let d = 10203 - 10206.2. Which is greater: -217 or d?
d
Let f = -0.06 - 2.94. Let d be (4 + 350/(-91))*7. Let p = d - 16/13. Which is greater: p or f?
p
Let i = -5505/164696 - -23/1384. Let v(z) = -z - 1. Let y be v(6). Let c = y - -7. Which is bigger: c or i?
c
Suppose 2*i = 75 - 73. Let y be (2 - (-5 + 1/i))/3. Does y = -1/5?
False
Suppose -3*c + 3 = 0, 60 = 4*k - 36*c + 40*c. Which is smaller: k or 12?
12
Let n = -483250463/3080 - -1725806/11. Let p = 3/56 - n. Which is bigger: p or 7?
p
Suppose -13*c - 4*c = 0. Let a = c + 0. Is 5/28 != a?
True
Let i(x) = x + 15. Suppose 0 = 7*w - 87 - 18. Let r be i(w). Let y = r - 30. Which is bigger: 1/59 or y?
1/59
Let a be (1 + 65/(-75))/((-28)/78). Let f = a - -333/1085. Which is smaller: 0 or f?
f
Suppose 2*g + g - 3 = 0. Let h = 249 - 39. Let q be (-6)/12*(-2092)/h + -5. Is g greater than or equal to q?
True
Suppose 47*w + 68986 = -252400. Is w at most -6841?
False
Suppose 5*m + 19 = -g + 43, 2*g = 5*m - 12. Which is bigger: m or -329?
m
Let q = 211.5 - 224. Let j = q - -12.9. Which is smaller: 0.41 or j?
j
Suppose 7*x - 270 = -2650. Let m = x + 338. Is -8 greater than or equal to m?
False
Let d(j) = 65*j - 99. Let w be d(-4). Let s = w - -395. Which is bigger: s or 39?
39
Let u be (-28)/6*102/68. Let y be (u - -1)*1 - (-204 + 196). Do 27/26 and y have different values?
True
Let t(n) = -29*n**3 + n**2 + n - 2. Let w be t(-2). Which is greater: w or 235?
235
Let s(y) = -10*y**2 - 21*y - 77. Let u be s(-7). Let n = u - -1262/3. Which is smaller: -0.34 or n?
-0.34
Let k = -176 - -254. Suppose 0 = k*u - 74*u - 184. Is u >= 46?
True
Suppose -8805 = 11*s + 1909. Let h = s - -1027. Is 53 >= h?
True
Let s = -50 - -27. Let n = -26 - s. Let t = 68 + n. Is t > 65?
False
Suppose -4292*g + 107 = -4399*g. Is g greater than or equal to 4511?
False
Let i = -36 - -61/2. Let a be 2/(-8) + 3/(48/292). Let f be (60/a)/(-5) + (-16)/3. Which is smaller: f or i?
f
Let k = -99 + 106. Suppose -16*x + k*x - 27 = 0. Is x greater than -11?
True
Let f be ((-198)/24)/(-11) + (-375)/180. Which is smaller: f or 1/864?
f
Let v be 9/3 + (-2 - 152/(-2)). Let q = 137 - v. Is q equal to 121/2?
False
Let h = 2128/55 + -11059546/285835. Which is smaller: -1 or h?
-1
Let r = -1.65 + -0.21. Let m = 29.86 + r. Which is greater: m or 0.4?
m
Let u = 1123470/53 - 21199. Which is bigger: u or 0?
0
Let m(z) = 5*z**2 - 102*z + 727. Let k be m(8). Is k bigger than 232?
False
Suppose 2*h = -2*s + 340, 0 = 2*h - 4*s - s - 326. Suppose 0*d + 26 = 2*d. Suppose 0 = d*v + 170 + h. Is v smaller than -26?
False
Let i be (-3)/6*1938834/117. Let j = i - -8299. Which is greater: j or 12?
j
Let n be (3*(-123)/(-6))/(9/(-12)). Let l = n - -84. Suppose -l*j + 49 = 3*a, 2*a - 22 = -0*j + 4*j. Is 16 at most a?
False
Suppose 48 = x + 5*q, 103*q - 98*q + 67 = 4*x. Is 28 less than x?
False
Let r(g) = -8*g - 24. Let y be r(6). Let t be 1/3 + 3888/y. Which is bigger: t or -53?
-53
Let k be (-65 - -67)/((-36)/124) + 5. Let a = -3 + 7. Suppose -2 = -j - a. Which is smaller: j or k?
j
Suppose -2*s - 239 = -5*h, 2*s + 274 = 5*h - 7*h. Is s equal to -6?
False
Suppose -32*u = -23*u. Let z be (30056/(-3008) - -6) + (4 - 0). Is z less than or equal to u?
False
Let o = -123.3 + 122.3. Is -256 at least as big as o?
False
Let i = -37 + 28. Let t(v) = -v**3 - 8*v**2 + 7*v + 2. Let g be t(i). Let o be g/(-30)*(-3)/(-2). Which is smaller: 1/18 or o?
o
Let x = -0.08 + 1.98. Let f = x - 2. Let t be 218 - 227 - (-1 + (-10)/2). Is t bigger than f?
False
Let k be 1/((-2)/(-18)*-1). Let j = -4.4617 + 5.4617. Is j > k?
True
Let b = 5344 + -5486. Which is smaller: -134 or b?
b
Let s(v) = 35*v**2 - 184*v - 154. Let k be s(8). Let x(y) = -103*y - 4. Let q be x(-6). Do k and q have the same value?
True
Let t = -1.764 + 1.773. Let a = -0.1383 - 0.8707. Let r = a + t. Which is greater: r or -6?
r
Let o = -18 - 3. Let p(l) = -l**2 - 21*l + 42. Let t be p(o). Let j be ((-14)/t*0/(-1))/2. Which is greater: -12/23 or j?
j
Let t(b) = -b**3 - 4*b**2 - 3*b - 76. Let o be t(-6). Let p be (3 - 0) + o/(-49)*7. Is p < -16/43?
False
Suppose -v = 7*v - 40. Suppose -v*t = 54 - 109. Are t and 5 equal?
False
Let v = 3093 - 4149. Which is smaller: 7 or v?
v
Let c(g) = -g + 4. Let k be c(0). Let i(j) = j**3 - 21*j**2 + 23*j - 312. Let t be i(18). Let q be (-4)/2*t/609. Is k less than q?
False
Let b be (((-21)/(-72))/7)/(54/(-24)). Is b greater than -3/5?
True
Let q = 475019/11 - 43185. Let v(y) = y**3 + 5*y**2 - 6*y - 1. Let f be v(-6). Is f less than q?
False
Let i = -4551 - -50046/11. Which is bigger: -0.042 or i?
-0.042
Suppose -f = -5*b - 0*f - 15, 4*b = -f - 21. Is -23 greater than or equal to b?
False
Suppose -2*n + 24 = 381*c - 378*c, c + 8 = 0. Which is smaller: 10/39 or n?
10/39
Suppose o - 795 - 167 = -3*d, -914 = -o + 5*d. Is o at least 945?
False
Let v be -7 + (-27 - (-6 + -2)). Let r(k) = k**3 + 27*k**2 + 12*k - 116. Let b be r(v). Which is smaller: b or 0?
0
Let c(m) = 7*m - 62. Suppose 0 = -9*t + 36 + 144. Let b be c(t). Which is greater: 80 or b?
80
Suppose 11*t = 9*t - 4*p + 86, 2*p + 62 = 2*t. Suppose -43*r = -t