- 70. Let b = p + -177.8. Which is smaller: -87 or b?
-87
Let s = -788.3 + 3987.3. Is -1/4 less than s?
True
Let g = 275479 - 1931856/7. Are g and -501 non-equal?
True
Let p be 425/(-765) - (-96)/27. Is 907 less than or equal to p?
False
Suppose -5 = 5*r + 30. Suppose 0 = 4*b + 12, 214*b + 80 = -5*j + 219*b. Is j > r?
False
Let x be (-2136)/(-60) + (-6)/(-15). Let h be x/3*(-13)/(-26). Is h at most 54/11?
False
Let y(o) = -o**2 - 54*o + 8488. Let w be y(-123). Is -8/1817 equal to w?
False
Let j = 651.1222 - 0.1222. Let u = j - 650.9. Does u = -3/46?
False
Suppose 0 = 6*n - 2*n - 3*o - 15, n - 2*o = 0. Let v(p) = 2*p**2 - 15*p + 12. Let z be 1*(-4 + 22/6*3). Let t be v(z). Which is smaller: n or t?
t
Let t = 1.130906 - 568.151906. Let s = t + 567. Is s less than or equal to -1/5?
False
Suppose -5*s + 399 = 14. Let p = s - 76. Is p != -2/315?
True
Let b(k) = k**2 - 27*k + 26. Let h be b(19). Suppose y + 5*d = -0*y - 107, -4*y = -3*d + 451. Let m = h - y. Which is smaller: -15 or m?
-15
Let g = 109.2 - 108.2. Which is smaller: g or 0.0692?
0.0692
Let y be (-2250)/(-180) - 7/2. Is -29 != y?
True
Suppose 0 = 22*p - 26*p - g - 395, -4*p + g - 397 = 0. Do -16 and p have the same value?
False
Suppose -8*f = 31 + 329. Let v be (f/585)/((-1)/21). Which is bigger: 2 or v?
2
Suppose 3*g + 592 = t, 853*g - 848*g - 536 = -t. Is t smaller than 3/14?
False
Let r be -1 + 2*4088/(-24). Let o = -342 - r. Which is smaller: 1/55 or o?
o
Let k(h) = -4*h - 25. Let t be k(-7). Suppose 0*m = t*b + m - 29, -4*m = -4*b + 12. Suppose 5*a - 4*v = -94, -2*v - b + 28 = -a. Which is smaller: a or -19?
-19
Let d = -3.2 + 16.2. Let l be 6 + (-5)/(4 - -1). Let f be 1/4 - l/(-20)*-3. Which is smaller: f or d?
f
Let m = 13978 - 14390. Is m at most -418?
False
Let t = 16/1369 - 7533/58867. Which is greater: -9/4 or t?
t
Let r = 591 - -2011. Is -2 < r?
True
Let o(b) = -b**3 - 82*b**2 + 157*b - 924. Let w be o(-84). Which is bigger: -8/191 or w?
w
Let z = 2801 + -2794. Are z and -179 nonequal?
True
Let y(q) be the third derivative of -q**4/8 - 2*q**3 + 147*q**2 + 2. Let n(u) = -5*u**2 + 1. Let g be n(-1). Let x be y(g). Which is smaller: 5/4 or x?
x
Let x(v) = 2*v**2 - 20*v - 8. Let n be (-35 - -30) + (-30)/2*-1. Let c be x(n). Is -43/5 > c?
False
Let h = -255 - -276. Let x(c) = 2*c**2 - 44*c + 43. Let o be x(h). Which is bigger: -4/19 or o?
o
Let h = 94.898 + 0.102. Let d = -15 + h. Let j = d - 116. Are j and 2/7 unequal?
True
Let s be -12 + 3370/480 - (40/(-5) + 3). Which is greater: s or 18?
18
Let s = -1.1 - -118.1. Let q = s - 116.9. Which is smaller: 4/51 or q?
4/51
Let l = 76 + -32. Let g be (495/l)/((-9)/(-39)). Which is smaller: 50 or g?
g
Suppose n + 3 = 0, 12*x - n = 7*x + 8. Let k be -12*(-2)/(-20) + x/5. Is k smaller than -9/16?
True
Let m be (-356)/(12/18 - 20/(-15)). Which is greater: -176 or m?
-176
Let w(n) = 2*n**2 + 6*n + 8. Let d be w(-6). Suppose 3*r - 1 = 2*p - 4, 2*p - 10 = -4*r. Let h be 759/d + p + 2 + -2. Which is bigger: 20 or h?
h
Suppose -17*x - 145 + 179 = 0. Suppose -4*k = -x*u + 416, u = -k + 2*k + 105. Is k > -106?
True
Suppose 4*p = -12, -3*p - 18 = 2*m + 19. Let a(y) = 0*y + 6*y - 4*y - 4*y - y**3 - 14*y**2 - 18. Let i be a(m). Is 10 not equal to i?
False
Suppose b + 7 = -0*b. Let t = -12437/1596 - -17/399. Which is greater: b or t?
b
Let t = -1307 - -1307. Is 17/13 greater than or equal to t?
True
Let f = -234 + 356. Suppose -4*s = -4*q + 50 + f, 3*s + q + 141 = 0. Which is smaller: s or -47?
-47
Let s be (-73676)/12 - -4 - 3/(-12)*0. Which is bigger: s or -6136?
s
Let g = 241723813/4604 - 52503. Are g and 1 nonequal?
True
Let t be ((-140)/(-504))/((-20)/12). Which is greater: t or -91?
t
Suppose -4*x = 2*g + 2768, -2 + 0 = -g. Let a be (-11)/x + (-1)/(-9). Are a and 0 unequal?
True
Let a(y) = 117*y**2 + y. Let o be a(1). Let n = -163 + o. Suppose -160 = 3*u - 19. Which is greater: n or u?
n
Let b be (37/2)/(345/50 - 7). Let v = b + 0. Which is smaller: -186 or v?
-186
Let g(f) = f**2 + f - 7. Let p be g(-3). Let d(j) = 4*j - 5. Let h be d(p). Is h < -14?
False
Let l be (2 + (-42)/12)*(-16)/2. Suppose -k - 5 = -4*f + 11, -4*f = -2*k - l. Let m be (k - (-8)/(-2))/(1*-1). Which is bigger: 3/2 or m?
3/2
Suppose 453591 + 70391 + 33665 = 73*n. Is 7638 bigger than n?
False
Let n = 295/12 + -6979/284. Suppose 3 = -d + 2*b, -5*d - b + 1108 = 1101. Which is bigger: d or n?
d
Let m = -33/14 - -13/7. Let h = -22431 - -22431.282. Is m at most h?
True
Let d = -2698 - -2675. Are d and -7 equal?
False
Let a = -1.531 - -209.631. Does a = -1?
False
Let r be 1 - (1/(-5) - (-1587940)/(-925)). Let i = -1718 + r. Which is smaller: 0 or i?
i
Let a(y) = y**2 + 31*y + 305. Let c be a(-38). Is c not equal to 564?
True
Let b = 1.43 - 0.43. Let f be (22/(-2178))/((-6)/27). Do b and f have different values?
True
Let p(c) = -c**2 + 44*c + 622. Let a be p(68). Which is bigger: -1008 or a?
-1008
Suppose y - 32 - 8 = 0. Let l be (-3 + y)/(4/(-1 - 3)). Is -40 equal to l?
False
Let p = -31838 + 471488936/14809. Is p smaller than 0?
True
Let p be 86/(-1161) + (3 - (-364)/(-189)). Let w = -3404/121905 + 14/405. Which is smaller: p or w?
w
Suppose 18 - 4 = 39*j - 25*j. Which is bigger: j or 2/36679?
j
Let l = -10 - -5. Let s be 2*(-1)/(-2) - l. Let p = -29/2 + 21. Which is smaller: s or p?
s
Let p be (-21)/56 - ((-105)/24 + 4). Let i be (3 - p)*(-3)/((-24)/(-272)). Which is greater: 1 or i?
1
Let o = 0.35278 + -0.65278. Which is bigger: o or 651/11?
651/11
Let m = -0.47 + 0.32. Let d = 1 + -1.2. Which is greater: d or m?
m
Let p = -89 + 617. Let n be ((1 + -2)*1)/((-16)/p). Which is smaller: 34 or n?
n
Let s = -51.8 + 60. Let n = s + 85.8. Let x = 94 - n. Which is greater: x or 20?
20
Let s be ((-115152)/(-70) - -4) + (-12)/(-21). Let i = s + -1656. Are i and -0.3 nonequal?
True
Let o = -479 - -487. Suppose o*v = -3*s + 11*v + 12, 12 = 2*s - 3*v. Which is smaller: s or -3/11?
-3/11
Suppose -244 = c - 32. Let o be (4/(-59))/((-53)/c). Which is smaller: 0 or o?
o
Suppose -1 = 2*p - 3. Let t = 119476 + -119478. Is t at least p?
False
Let z(p) be the second derivative of -1/3*p**3 + 0 + 16*p + 19/2*p**2. Let h be z(7). Which is greater: h or 8?
8
Let o(y) = -y**2 + 33*y + 3. Let k = -506 - -515. Let r be o(k). Is -1 greater than r?
False
Let l(c) = -c**3 - 7*c**2 - 2*c - 9. Let d be (2/(-6))/(((-7)/1)/231). Suppose d*k = 10*k - 7. Let t be l(k). Is t bigger than 6?
False
Let v(k) = -k**2 + 5 - 2*k**2 - 10. Let b = -249 + 252. Let y be v(b). Which is smaller: y or -30?
y
Suppose 11*v + 231 = 242. Which is smaller: 41/56 or v?
41/56
Let q = -9455 - -9456. Which is smaller: 3/3287 or q?
3/3287
Let o be (-2)/1*286/26. Is -112 >= o?
False
Let z be 3 - -1 - (-7 + 6)*13854. Let v be 4/(-3) - z/78. Is -179 >= v?
True
Suppose -5*v + 3031 = b - 4379, 4*v - 4*b - 5952 = 0. Is v at most as big as 1485?
True
Let p = -0.2183 - -0.2183. Which is greater: p or 1546?
1546
Let b be (-25910)/(-9705) - 3 - 2/(-6). Which is bigger: b or 1?
1
Let m(y) = -37*y + 649. Let l be m(10). Which is smaller: 280 or l?
l
Let d(z) = 271*z**3 - 14*z - 18. Let h be d(-2). Which is smaller: h or -2157?
h
Let p = 1033829 - 1033828. Let i(h) = h**2 + 6*h - 3. Let t be i(-6). Let u be (-1)/t - 1137/3357. Which is smaller: u or p?
u
Let c = 144880.89 - 144881. Let z = 2 - -4. Which is smaller: z or c?
c
Suppose 4 + 2 = -3*h. Let m be (-24)/57*h/8. Let j = -3497 - -3496. Are j and m unequal?
True
Let y = 152 - 591. Let b = y + 440. Which is bigger: b or 2/497?
b
Let q be -204*(2870/56)/5. Is -2092 smaller than q?
True
Let h be (-85)/(51/3) - 1804/(-362). Is -1 bigger than h?
False
Let i be (14/(-8) - 9009/(-5292))/(1/6). Let w(j) = -j**3 + 1. Let u be w(1). Is u <= i?
False
Let z(p) = -9*p**2 + 2*p + 2. Suppose -5*i = -26 + 6. Let d be z(i). Which is greater: d or -133?
-133
Let i = 1 - 0. Let n = -0.006398 + -8.993602. Are i and n unequal?
True
Let y = -19055/9 + 2117. Is -717 at most y?
True
Let w = -19 + 9. Suppose 1087 - 1046 = -3*q + 2*a, 4*q + 4*a + 108 = 0. Which is smaller: w or q?
q
Let m(r) = r**3 - 30*r**2 - 104*r + 164. Let p be m(33). Are -172/91 and p non-equal?
True
Let r(h) be the first derivative of 3*h**4/2 - h**3/3 + h**2/2 - 1. Let n be r(1). Suppose -n = -b - 4. Which is bigger: 5 or b?
5
Let l(w) = 11