 h = 176.565 - 176. Let l = h - 0.27. Let s = 0.095 - l. Which is smaller: 2/65 or s?
s
Let n(x) = 197*x + 2759. Let u be n(-14). Which is smaller: u or -10/2563?
-10/2563
Let m = -668 - -659. Let k(t) = -t**3 - 14*t**2 - 18*t - 12. Let j be k(m). Does j = -256?
False
Suppose -66 = -9*o + 33. Let u = 13 - o. Suppose 2*p + u + 2 = 4*j, -p - j = -4. Which is smaller: p or 3?
p
Let q = 1.02213 - 0.02213. Which is smaller: -3242 or q?
-3242
Let t = -107/172 + 16/43. Let o = -28 + 43. Let w = o - 14. Which is bigger: t or w?
w
Let j be ((-2)/8)/((-570)/(-912)). Which is smaller: 94/25 or j?
j
Let u = 68.2 - 67. Let w = -0.8 - u. Suppose 0 = 23*o - 19*o - 28. Are w and o unequal?
True
Let u be -1 - (51/(-55) - 0). Let l be 1/(-2)*((-92)/690 + (-2)/(-15)). Which is smaller: u or l?
u
Let a = 13 - 7. Let o(l) = -2*l**2 + 8*l + 16. Let z be o(5). Suppose a*u = -z - 0. Is u bigger than 3/10?
False
Let m = 1039 - 1029. Let c = 50.5 - 40.94. Let g = c - m. Is -2 <= g?
True
Let w = -639 - -638. Which is bigger: w or -1822?
w
Suppose 0*p = 2*p - 32. Let z be (-13 + 12)/((-2)/p). Suppose -5*t - 23 = -y, 10*y - 6*y + 5*t = -z. Which is smaller: 23/7 or y?
y
Let m(r) = -7 + 16 + 4*r**2 + 9*r**2 - 4*r - r**3. Let u = -3164 - -3177. Let k be m(u). Is k at least as big as -43?
True
Suppose 0 = -2*c + 3*s + 3, 10*c - 13*c = 2*s + 15. Which is greater: c or 88/3?
88/3
Suppose -159*i + 205*i + 2944 = 0. Suppose -4*a - 191 = 65. Is i equal to a?
True
Let r = 5280 - 5385. Is r >= 14?
False
Let m = -5.015 + -0.285. Let c = m - 2.7. Which is smaller: -1/2 or c?
c
Let t = 0.09 + -618.09. Let y = -616.57 - t. Are y and 0 equal?
False
Let a = -210 + 354. Let m = a - 306. Which is bigger: -161 or m?
-161
Let c = 40.45 + -43.4. Let v = -5.05 - c. Let q be 4/(-7)*1/2. Is q bigger than v?
True
Let f = -43094/5 - -8619. Suppose u + 5 = -4*u. Is u equal to f?
False
Let p be ((-5)/10)/(1/(-106)). Suppose -p = -6*z + 313. Let u = z + -64. Which is smaller: u or -21/5?
-21/5
Let h = -11031.77 - -11054. Which is smaller: -0.6 or h?
-0.6
Let s(t) = -3*t**3 + 57*t**2 + 4*t - 76. Let m be s(19). Is -5/1561 >= m?
False
Let s be (72/(-60))/((-132)/80). Is -0.51 less than or equal to s?
True
Let q = 1.58451 - -0.01549. Is q at most as big as 0.07?
False
Let l be (2 - 1)*20/(-17). Let x be -4 + 16/(8/4). Suppose -x*y - 45 + 37 = 0. Which is greater: l or y?
l
Suppose 1683 = 86*b - 119*b. Which is smaller: -56 or b?
-56
Let m(o) = -o**3 + 23*o**2 - 22*o - 26. Let r be m(22). Let l = -162 + 135. Is l smaller than r?
True
Let a be (-17 + 337/6)*6. Is 1653/7 bigger than a?
True
Let f(d) = 175*d**3 + d**2. Let s be f(1). Let n = 41190 + -41190. Are n and s equal?
False
Let w(i) = -i**2 + 14*i + 29. Let l be w(12). Are 37 and l unequal?
True
Let a = -2729.6 - -2747.6. Suppose -3*y + 44 = -1. Which is smaller: a or y?
y
Let p be -200 + 213 - (14 + 0). Which is bigger: p or -1/2757?
-1/2757
Suppose 4*p + 324 = 10*p. Let h be (51/(-30))/17*(-15)/p. Is h not equal to 1?
True
Let j = 0.2233 + -0.4633. Do j and 2/33 have different values?
True
Suppose -4*a = 7*a + 44. Let q be 6*(a/6 + -5). Let r = 2/3223 - 322306/9669. Which is smaller: r or q?
q
Let y(f) = 2568*f**3 + 48*f - 50. Let s be y(1). Is 1 at least as big as s?
False
Let u(h) be the third derivative of -h**4/8 + 65*h**3/6 + 52*h**2 + 1. Let s be u(22). Which is greater: s or -3/148?
-3/148
Let k(g) = -71*g**2 - 3975*g + 66. Let c be k(-56). Let h be ((-3)/(-2))/((-12)/112). Let q be (-10)/h + (-2)/(-7). Is c bigger than q?
True
Suppose -6*m + 806 + 58 = 0. Let y = m - 11377/79. Let x = -76/237 + y. Is 1 at least as big as x?
True
Let w be (28/(-490))/((-108)/(-21)). Is 1 greater than or equal to w?
True
Let j be (-4)/(-22) - (1 + 135/(-165)). Which is greater: j or -2/1205?
j
Let o = -7.02 - -7. Suppose 5191*r = 5149*r + 1428. Is o smaller than r?
True
Let v = 141.16 + 3.84. Let k = v + -145. Which is greater: -26 or k?
k
Let f be 42/(-35) - (-126)/(-45) - 3. Do 23/22 and f have different values?
True
Let h(a) = a**2 + 16*a + 21. Let c be h(-14). Let m(z) = z**3 + 6*z**2 - 7*z - 2. Let o be m(c). Let j be 1 + 0 - (1 - o). Which is greater: j or -1?
-1
Let x = 148 + -225. Let l = -88 - x. Let j = l + 11.2. Which is bigger: -27 or j?
j
Let o be 3 + (84/(-9) - 12/18). Let l = 6 + -4. Suppose -8 = -3*f - l. Which is smaller: f or o?
o
Let s be (-30426)/132*(-1)/210 + 4/(-30). Is 2 < s?
False
Let z be (36/16 + -2)*8. Let g be z - (-140 + 0) - -6. Is g at most as big as 149?
True
Let w be 6 + 8/3*3. Suppose 10*p - 596 = w. Which is smaller: p or 185/3?
p
Let c(j) = 38*j - 2585. Let u be c(68). Let d be (-9)/66*(-5)/(-6). Is d equal to u?
False
Let o(u) be the first derivative of u**3 - 21*u**2 - 28*u + 101. Let c be o(13). Is c at most -69?
False
Let i = 75 - 72. Suppose -d = -l + 22, -9*l = -i*d - 5*l - 61. Is d less than -27?
False
Let c = -2040 - -73489/36. Is 2 not equal to c?
True
Let r be (-58)/88*1*25. Let u = 2959/182 - -22/91. Let p = u + r. Is 1 < p?
False
Let c = -8319259/111 - -74949. Are 0 and c equal?
False
Let b = -35.1 + -16.9. Let v = 51.82 + b. Is -0.2 <= v?
True
Let u = 0.24 - 0.255. Let i = 0.085 - u. Which is smaller: -5/9 or i?
-5/9
Suppose 0 = -4*d + 16, 4*k + 2*d = -d + 28. Suppose 5 = 9*q - k. Which is greater: -1/58 or q?
q
Suppose 28*t = -1612 + 4524. Suppose -29*m = -t*m + 6300. Which is smaller: m or 82?
82
Let x be (125/35 - 7)*(-28)/8. Do x and 144/11 have the same value?
False
Suppose -3*k - w - 1 = 33, -34 = 5*k - 4*w. Let q = k + 18. Let m = q + 29. Which is greater: 36 or m?
m
Let o be ((-546)/52)/((-27)/(-1152)). Is o < 8?
True
Let b be (-2)/(-12)*4/(-9). Suppose 128 + 136 = -2*h - 3*x, 4*h + 564 = 3*x. Let l = 137 + h. Is b >= l?
True
Let j be -3 - (204/153)/((-1)/(-771)). Let s = j - -967. Which is smaller: -65 or s?
-65
Let q be 5 + -9 + (6 - -3). Let t be (-9*15)/q + (-3)/1. Which is bigger: t or -29?
-29
Let h(c) = c + 20. Let k be h(-6). Let a be 2/12*k*261/(-6). Let v = a - -100. Which is smaller: -10 or v?
-10
Let t = 1.8 + -2. Let f = -0.1 - t. Let m = 50855 + -203421/4. Is f < m?
False
Suppose -4*j + 5*a = 2*a - 37, 36 = 3*j - 5*a. Suppose j*o - 40 = -12. Is -10 at least as big as o?
False
Let r = 139 - 124. Suppose 2 - 77 = r*a. Let p be -1*12*(-4)/(-6). Is p smaller than a?
True
Suppose -4*w - 820 = 6*w. Let s = 86 + w. Suppose s*c - 35 = -31. Which is bigger: c or -3.1?
c
Suppose 4*l + s = -105, 64 = -5*l + 3*s - 80. Let m = -25 - l. Suppose 2*v = 2*x - 8, x = -m*v + 6*x - 17. Which is smaller: v or -3/8?
v
Suppose -8*m - 317 = -2413. Let o = m - 102. Is o less than 159?
False
Let n(f) = 14*f - 33. Let c be n(4). Suppose 0 = -q - 5*h + 17, -5*q - c = -3*h + h. Do -38/9 and q have different values?
True
Let n be 8/20*(-5)/(-129). Let t = 52310 + -52310. Is t at most as big as n?
True
Let m be (-10574 + 0)*(-1352)/16. Let o = 1719992132/1925 - m. Let w = -18/77 - o. Is 1 bigger than w?
True
Let z(w) = 2*w**2 - 19*w + 108. Let p be z(-10). Is 497 greater than p?
False
Suppose 4*n - 10 = -4*w + 14, w + 4 = n. Let x be w/(-2) - (-7)/16. Let c = -1392 + 1391. Which is greater: x or c?
x
Let h = -2 + -2. Suppose 155 = -10*w + 65. Which is bigger: h or w?
h
Let y(z) = -2*z**2 - 7 - 22*z - 3 + 37*z. Let q be y(10). Let d be (4 - (-232)/q)*(-5)/(-11). Is 0 < d?
True
Let v = 647 + -753. Is -100 at least as big as v?
True
Let o(x) = x**3 + 6*x**2 + 5*x. Let d be o(-5). Suppose -7*l + 11*l - 68 = d. Which is smaller: l or 182/11?
182/11
Let j = -310 + 826. Let i be (2/8)/((-2)/j). Which is smaller: i or -66?
-66
Let j = 0.3 - 1.3. Let m = -44.18483 - -1.18483. Which is smaller: m or j?
m
Let l(h) = 0 - 3 - 7*h - 18*h**3 - 2*h**2 - 19*h**3 + 3*h. Let t be l(-1). Let k be (-168)/t - 8/(4/(-2)). Is -0.33 != k?
True
Let r = -30149 - -30135. Is r < -240/19?
True
Let b = -179/4 + 706. Let p = -677 + b. Which is greater: -15 or p?
-15
Let i(c) = c**3 + 4*c**2 - 6*c. Let k be i(-5). Let p(g) = 6*g + 1 + 10 + k. Let u be p(7). Is 59 bigger than u?
True
Let u be 9 + 6/1260*-2637 + (-6)/20. Let i = -16 - -11. Which is bigger: u or i?
u
Let x be 1 + (-7 - (-11)/(88/32)) - -8. Let s(i) be the third derivative of -i**4/4 + i**3/6 - i**2. Let y be s(-1). Is y smaller than x?
False
Let y = 2613 - 2768. Let m = -75 + -81. 