(2/8)/((-336)/(-5768)). Is r bigger than -1?
True
Let r be (8/(-1330))/(1/(-5) - 0). Which is bigger: r or 0?
r
Let k(o) = o**3 + 58*o**2 - 111*o + 601. Let m be k(-60). Is m smaller than 70?
True
Suppose 5*h - 4*v + 40 = 0, 3*h + 4 - 12 = -4*v. Let a = -22411/21 + 1067. Let t = a - -27/7. Is h bigger than t?
False
Let m = -525 - -554. Let v be (-1 + (-97)/3)/((-480)/400). Is v less than m?
True
Let n = -48 - -25. Suppose 2856 = 9*v + 2883. Let h be ((-15)/3 - v)/n. Which is bigger: 0.5 or h?
0.5
Let m = -227134 + 1122252/5. Which is smaller: -2684 or m?
-2684
Let r = -2350 - -4147. Suppose -3325 = 13*q + r. Is -394 at most as big as q?
True
Let z be (5/(-1))/((252/16)/7). Let f be 136/(-88) + 18/33. Are f and z non-equal?
True
Let i(c) = c**3 - 2*c**2 + c - 13. Let y be i(0). Suppose 0 = 23*r - 4*r + 323. Is r > y?
False
Let b be (5537/56 - (-1)/8) + 1. Suppose -3*x = -7*x - b. Is -95/4 less than x?
False
Suppose -4*t + 6 = -f, f + 4*f + 2*t - 14 = 0. Let q be (-3246)/(-24) - f/8. Let g = q - 108. Is 27 > g?
False
Let x be (24 + -24)/(-2 + 1). Which is bigger: 60/83 or x?
60/83
Let y be (-68)/(-16) + (-1)/4. Let z be (-4)/(-14)*((-38628)/(-2320) - 2/10). Which is greater: z or y?
z
Let n be (252/(-24))/(17/(-22)). Is 14 greater than or equal to n?
True
Let r be (13 + (-88)/8)*-211. Which is greater: -421 or r?
-421
Let h(t) = -204 + 226 - 4*t + 3*t. Let q be h(22). Suppose 0*c - 13 = 2*r + 3*c, q = -4*c - 20. Which is bigger: r or -2?
r
Let g(w) = -2*w + 7. Let b be g(3). Let n be -5*(b + 1) - 2. Let o = n + -20. Is o bigger than -31?
False
Let o be 14 + 0 + 36401/(-409). Is -374/5 less than or equal to o?
False
Suppose 4*b - 3*x - 3470 = -261, 2*b + 5*x - 1611 = 0. Let c be 0 + -1 + 737/b. Let v be (-20)/(-100) - (-12)/(-10). Which is smaller: c or v?
v
Let t(x) = -3*x**3 + 4*x**2 + 6*x - 5. Let g be t(2). Which is smaller: 2/2725 or g?
g
Let s(k) = 6*k**2 + k - 1. Let x be s(-1). Let c = 10 + -27. Let m = -41/2 - c. Which is smaller: x or m?
m
Let a = 38735 - 38762. Suppose -85 = -4*g - z, 0 = -2*g - 3*z + 6 + 29. Suppose -3*v = 3*i + 75, 2*v + g = i - 2*i. Is a at most as big as i?
False
Let d = 283532 - 283531.8. Let g = 5.4 - 2.85. Let l = g + 0.15. Is d < l?
True
Let j = -447 - -432. Let s be (-4 - -4)/(12 + j). Let d be ((-6)/(-4))/((-15)/(-5)). Which is greater: d or s?
d
Let k = -107 - -109. Let i(w) = -2*w**k + 3453 - 3445 + w + 3*w**2. Let a be i(9). Is a at least as big as 99?
False
Let b(k) = -k**2 + 3*k + 14*k + 4*k - 79 - 2*k. Let j be b(18). Is j smaller than -59?
True
Let s = -10 + 5. Let v = 24013 + -168127/7. Which is smaller: v or s?
v
Let r = 454849/385 + 460/77. Let t = r - 1193. Let i = t - -328/55. Which is smaller: i or -1/3?
-1/3
Let t = -13815 - -13772. Suppose -2*f = 4*v + 68, 5*f + 0*v + 245 = 5*v. Which is greater: t or f?
t
Let a = -5988 - -586809/98. Are a and 1 unequal?
True
Let i be (4/(-22))/(-2) - 49/((-87662960)/(-162849)). Which is smaller: 1 or i?
i
Let m(i) = 2*i**3 - 8*i**2 - 9*i + 24. Let x be m(-3). Which is smaller: x or -33?
x
Suppose -2*c - 3*f - 3 = 0, -17*c = -21*c + f - 27. Suppose -2*p = 2*h + 30, -3*h + 8*h - 5*p + 75 = 0. Is c at most as big as h?
False
Let m = 0.06887 + -0.16887. Which is bigger: m or -1253?
m
Let w(c) = 33*c**3 - 2*c**2 - 4*c + 11. Let m be w(2). Let p be 9/(-1) + m/35. Is p bigger than 3?
False
Let f be 4/(-14) + (-5)/56 - (-58941)/1080. Does f = 12?
False
Let b(d) be the first derivative of -d**4/4 - 4*d**3/3 - d**2/2 - 2*d - 107. Suppose -5*c = 2*k - 12, -3*k + c - 5*c = -4. Let a be b(k). Is a <= 17/6?
True
Let j = -2/8165 + 16336/24495. Is 16941 bigger than j?
True
Suppose 5*d + 39 = -8*d. Let m(r) = -r**3 - 5*r**2 + 3*r + 1. Let h be m(d). Do h and -99/4 have the same value?
False
Let u = -2157 + 2204. Is u <= -20?
False
Let j = 272 - 159. Let c = j - 104. Which is greater: c or -2/13?
c
Let b be ((-39)/(-12) - 2) + (-104)/32 + 3. Does -1/225 = b?
False
Let s = 240.98 + -246. Which is greater: -1 or s?
-1
Let p be 1 - -135 - 3/1. Suppose i - p = 5*t - 615, -t + i + 94 = 0. Let o = t + -481/5. Is o at most as big as 0?
False
Suppose -3*z + 348 = -4*x - 5*z, -90 = x + 2*z. Let o be -70 - ((3 - 3) + -1). Let f = o - x. Is f >= 16?
True
Let a(y) = -47*y - 21. Let r be a(11). Let d be ((-4)/r)/((-64)/32). Is d at most -1?
False
Suppose 1722 = 2*c + 1724. Let w = -388771957273406/131721 + 2951480457. Let z = w - -1/1587. Is c at most z?
True
Let q(i) = -i**3 - 10*i**2 - 9*i + 1. Let l be q(-9). Let s(w) = 23*w. Let y be s(l). Let r = 23 - y. Which is greater: -4/29 or r?
r
Let i = -70027/2849 - -2872/111. Let p = -206783/33 + 6267. Let t = p + i. Which is bigger: t or 3?
3
Let y(i) = i**2 + 3*i + 1. Let r be y(-1). Let f = -0.0326 - 22.9674. Let t = f - -16. Is r at most t?
False
Let q(y) = -178*y + 1149. Let n be q(-2). Is 1503 not equal to n?
True
Suppose 33*d = 49*d - 11856. Which is bigger: d or 737?
d
Let r = -9453 - -9457. Which is bigger: r or 411?
411
Let l = 2470.9392 - -0.0608. Which is greater: l or -2?
l
Suppose -3 - 12 = -5*p, -12 = -3*n - p. Let v be (-92)/(-28) - n - (-159)/7. Which is smaller: 24 or v?
v
Let w = -190 - -191. Let f be (16/27)/(-2)*2730/2600. Is w at least f?
True
Let d = 19 - 20. Let s = -2/39 + 77/741. Is d < s?
True
Suppose -5*j - 30 = -8*j. Suppose -16 = j*d - 6. Let z be d/(-5)*(-20)/48. Which is greater: z or 5/4?
5/4
Let s = -10591 + 942617/89. Is 1 less than s?
False
Let z(x) = -x**3 - 12*x**2 - 72*x - 713. Let b be z(-10). Which is bigger: b or -50?
-50
Let q = 232 - 405. Let n = q + 173.82. Is -0.1 >= n?
False
Let a be (-6 + (-210)/(-20)*2)/((-6)/1244). Is -3111 at least a?
False
Let t = 8348 - 11749.91. Let i = -3431 - t. Let a = -29 - i. Is a not equal to 3/5?
True
Let b(i) = -4*i + 178. Let j be b(35). Let u be j/8*(140/(-10) + 9). Which is greater: -23 or u?
-23
Suppose -1000 = -19*p + 140. Which is greater: p or 1002/17?
p
Suppose -4*j = -2*o - 44, 0 = -2455*j + 2453*j + 5*o + 22. Is 100 less than or equal to j?
False
Let p = -382.3 + 378.3. Which is greater: 3.49 or p?
3.49
Let w(b) = 2*b. Let p be w(-2). Let s = -29 - p. Let u(k) = -14*k - 67. Let x be u(-3). Is x less than s?
False
Let y = -1.1842 + 0.3842. Let w be ((-9)/(-21))/(4/14). Is w at most y?
False
Suppose -5*f - 30 = 0, -3*f - 19 = -6*i + 5*i. Are i and 65/106 non-equal?
True
Suppose -13*t = -17*t - 4. Let a = -24 - -29. Do a and t have the same value?
False
Suppose -2*l + 5*g = -69, -42 + 9 = -l + 2*g. Suppose 3*f + t = l + 32, -3 = -f + 3*t. Suppose -5*n = f + 2. Which is smaller: -2 or n?
n
Let a = 86 + 182. Suppose 0 = -5*i + a + 97. Which is smaller: 71 or i?
71
Let v = 629 + -633. Let n be (-9)/v*272/72*12. Is n at least 102?
True
Suppose -j - 32 = 3*k, -66 = -2*j + 4*j + 4*k. Which is bigger: -25 or j?
-25
Let d be (1/123)/(289/(-102) - 2*8). Which is greater: -1 or d?
d
Let k = 17560 - 17564. Is k < 7/8?
True
Let m = -38.2 - -38.253. Let c = -233.8 - -234. Which is smaller: m or c?
m
Let o = -927 - -927. Which is smaller: 2/1721 or o?
o
Let n be (4/(-24)*(-174)/145)/((-2)/(-10)). Let s = 46/493 - 1/17. Is n less than or equal to s?
False
Let w be (-2608)/428 + 0 - -6. Let z = 2623/29211 + w. Is 0 equal to z?
False
Suppose 41*r + 6930 - 1910 + 1499 = 0. Which is bigger: r or -182?
r
Let w = -254 + 4320/17. Let u = -7/204 + w. Is 2/71 smaller than u?
True
Let g be (-6)/18 + 74/330. Let q be (-92)/(-6) + 20/12. Let b(t) = t**3 - 19*t**2 + 36*t - 35. Let r be b(q). Which is smaller: r or g?
r
Suppose 2*k + 2*y - 48 = 5*y, 0 = -3*k + 2*y + 67. Let c be (-7)/(70/(-354))*(-1)/k. Let h = -9/7 - c. Is h at most 4/3?
True
Suppose 797*p - 799*p - 15 = 3*y, -p = -3*y + 12. Let u = 39/224 + -17/32. Which is greater: y or u?
y
Let v be 9/(-9) - (2 + 110)/(-2). Let s be 0 + 1632/105 + (-22)/v. Which is smaller: s or 16?
s
Let t be (-4 + 5 + 347/3)/(4/30). Which is smaller: 2629/3 or t?
t
Let v = -106.2 - -127. Let u = v + -20.81. Let p = 5 - 4. Are u and p equal?
False
Let t(s) = -s - 121. Let m be t(0). Let p be 1016/(-22) + (-22)/m. Let r be (16/(-40))/((-1)/(20/p)). Is 0 at least r?
True
Let j = 21510 - 24077. Is -2563 at least j?
True
Let w = -0.0534 - -0.7034. Let d = w - 0.75. Which is greater: d or -2/709?
-2/709
Let p = 121 + -160. Let v be (6/p - (-200)/(-5