se 1 + 9 = -5*f, 4*i - g*f = 26. Is i not equal to 2?
True
Let n be ((92/69)/((-50)/129))/((-22)/110). Is n > 16?
True
Let g = -163 - -873. Is 702 < g?
True
Let h = 62.7 + -27.6. Let j = -137 + 172. Let a = h - j. Is a equal to -8/9?
False
Let j be 0 + -3 + (0 - -3). Let b(g) = 7*g**3 + 4*g**2 + 2. Let t be b(2). Suppose t*i - 71*i = j. Which is smaller: i or -14/19?
-14/19
Let t = 0 - 4. Let v be (-21)/6 + (-2284)/(-8). Let l be v/936 + 1/t. Which is smaller: -2/7 or l?
-2/7
Let y = -22.6 - -15.13. Let l = -7 - y. Let a = 0.37 - l. Which is greater: a or 0.2?
0.2
Suppose -111*q = -109*q + 64. Let h(k) = k**2 + 36*k + 128. Let x be h(q). Which is smaller: x or -3/37?
-3/37
Let n = 1149 - 886. Suppose 280*s = n*s + 1734. Is 99 <= s?
True
Suppose -24*w = -29*w - 135. Let o be -2 - 69/w - (-5)/45. Which is smaller: -48 or o?
-48
Let d = 296641 + -296658. Suppose h = 2*h + 5*m + 33, -h = -4*m + 6. Which is bigger: d or h?
d
Suppose -2*r = 4*v + 6, 17 = -r + 3*v + 34. Let m = 313 + -311. Which is smaller: r or m?
m
Let c be 15 + (-30740)/1464 - 3*-2. Let g(u) = u**2 - 7*u + 1. Let j be g(7). Which is smaller: j or c?
c
Let y = -66547 - -400255/6. Is 162 <= y?
True
Let u(f) = -2*f + 40. Let r be u(19). Suppose 4*o = 2*z, -3*o + z + 2 = -0*z. Suppose j - 2*g + r = -j, o*j - g = -1. Do -2/61 and j have the same value?
False
Let h(t) = -58*t - 1271. Let v be h(-9). Are v and -750 equal?
False
Let b(s) = -2*s + 2. Let q be b(7). Let r(x) = -230*x**3 + x**2 - 2*x - 2. Let w be r(-1). Let y = 230 - w. Which is smaller: q or y?
q
Let j = -0.1272 - -7.6172. Let r = j - 7.39. Is 792 less than or equal to r?
False
Let o be 2 - (0 + 2) - 1. Let u(m) = -8*m**2 + 90*m - 14. Let g be u(11). Suppose g*y - 14 = 15*y. Is o at least as big as y?
True
Let k = 36092 - 36094. Suppose -i = -2 + 3. Let f be (i/3)/(2/(-24)). Is f bigger than k?
True
Let r be 2/6 + 24969/315. Let d = -80 + r. Let a = 6 - 8. Is d not equal to a?
True
Suppose 0*a - 5*a = -5*p + 460, -p = 2*a + 190. Let w be (-18)/54*4/a. Which is smaller: 1 or w?
w
Suppose -30 = -2*b + 6. Let u be b + -15 + 1/30*-86. Which is bigger: u or 3/2?
3/2
Let s(v) = 8*v**3 - 5*v**2 + 13*v - 10. Let t be s(5). Which is smaller: 928 or t?
928
Let t(d) = -1063*d - 14512. Let g be t(-14). Suppose -j + 300 + 69 = 0. Is g <= j?
False
Let v(t) = -2265*t - 2733. Let z be v(-4). Which is smaller: z or 6326?
6326
Let i = -37331/3 - -12424. Which is smaller: i or -1/5?
i
Let o = -79/36 - -58/9. Suppose 3*s - 103 = -94. Suppose 2*u = -s + 9. Which is greater: o or u?
o
Let u be -1 + (-2)/(-22)*9. Let q = 1132 - 745. Let s = 388 - q. Which is smaller: s or u?
u
Suppose -2762 = 9*d + 1315. Let v be -448 + (-2)/((-75)/(-10) + -7). Is d greater than or equal to v?
False
Let r(t) = t**2 + 1. Let x be r(0). Let m = -25102 - -3966115/158. Which is smaller: m or x?
m
Suppose 4*u - 3*u = -2*b + 1156, -4*b - 5780 = -5*u. Suppose 0 = 3*p + 31*p + u. Are -34 and p non-equal?
False
Suppose 5*h - h + 1845 = -5*p, -4*p - 1440 = -4*h. Suppose 261*n - 12111 + 34955 = -72160. Which is smaller: n or p?
p
Let o = -2933 - -2933. Is o greater than 2/4871?
False
Let y = 186 + -222. Let j be ((-12)/(-9))/((-24)/y). Let g = -5 + 5.3. Is g at least j?
False
Let n = -23.962 - 0.038. Let m = -2 - n. Let s = m - 22.2. Is s smaller than -5?
False
Suppose -i = 4*t + 150, t + 5*i + 8 + 39 = 0. Is t < -38?
False
Let n(m) = m**2 + 2*m - 1307. Let s be n(35). Let z(q) = -12 - 12*q**2 + q + 0*q + q - q**3. Let p be z(s). Which is greater: p or -35?
-35
Let f(h) = 4*h**2 + 15*h + 1. Let l be f(-5). Suppose -4*p + 2*j + 20 = 0, -l*j + 20 = -31*j. Which is smaller: p or 12?
p
Suppose 3*g = 9*g + 96. Let r(u) = u**2 - 14*u + 18. Let d be r(12). Let b be (-34)/(-4)*12/d. Which is smaller: b or g?
b
Let v(c) = -c**3 + 10*c**2 + 78*c - 9. Let h be v(15). Let z be (h + 2)*(-2 - -1). Suppose -4*t + 7 = -4*p - 145, -106 = 3*p + 5*t. Is p greater than z?
True
Let f = -74.4 + 106.7. Let n = f - 11.7. Let s = n + -1.6. Which is greater: -1 or s?
s
Let k be 0 + (-12929)/49*41 - 3/(-21). Which is smaller: k or -10817?
k
Suppose -6*u = -4*u + b + 9, u - b = 3. Let o be (16/64 + (-58)/(-8))*u. Which is smaller: o or -65/4?
-65/4
Let n = 44 - 3. Let k = n + -122. Let w = -38 - k. Is 0 at least w?
False
Let o be (-1)/(-1) + (-49)/46. Let c = -447212 - -447211. Is o smaller than c?
False
Suppose 6*a - 38 = 100. Suppose 37 = -2*w - 5*u, -10 = 2*w + 4*u + 30. Let t = a + w. Is t at most as big as -3?
True
Let z = -17 + 17. Let b be z/((-6)/4 - (-3)/6). Let m be 16*4/68 - 1. Is m <= b?
True
Let n = 1.52 + -24.52. Let b = 27.06 - 0.06. Let o = b + n. Which is greater: -3 or o?
o
Let i = 2172 + -2173. Is i greater than -366/11?
True
Let l be 2*(5 - 92/6). Let m = l - -245/12. Which is bigger: -3 or m?
m
Let s = 9.758 - 16957.758. Is -1 >= s?
True
Let z(y) = -4*y + 18. Suppose 0 = -26*q + 17*q + 63. Let o be z(q). Let a be (4/(-2))/4 + 0. Is o equal to a?
False
Let k = 51 - 167. Let p = 340 + k. Let u be p/(-36) - -6 - (-10)/(-36). Is -1/203 greater than or equal to u?
True
Let g = -23710 - -9128341/385. Let s = 2564/27335 + g. Which is bigger: -1 or s?
s
Let n(f) = -2*f**3 + 8*f**2 + 13*f - 1. Let t be n(-2). Suppose -3*i - 83 = -4*b - 6, 5*i = 5*b - 95. Let o = b - t. Does 2 = o?
False
Suppose -1 = 4*u - 3*u, -2*t + 3 = 3*u. Let o(i) = 2*i**3 - 91*i**2 + 510*i - 52. Let x be o(39). Is t bigger than x?
False
Let a(x) = -406*x + 1067. Let s be a(3). Which is smaller: -165 or s?
-165
Let q = 5985 - 5967. Is q <= 12?
False
Let f = 628/325 - -136587/325. Is 421 at least as big as f?
False
Suppose -9*s + 6*s - 486 = 0. Let i = -107 - s. Let v = i - 26. Are 30 and v nonequal?
True
Let u = 2 + -3. Let x(r) = -71*r - 5. Let l be x(1). Let j be -1*(l/16 - -3). Which is smaller: j or u?
u
Let f = -4911 + 7766. Suppose 9*y + 43 + f = 0. Is y greater than -321?
False
Let w be (3 - 2)/(-2)*2. Let d = -16902 - -16900. Which is greater: w or d?
w
Let r be (-147)/(-333) + (-2)/6. Let m(y) = 11*y**2 + 14*y - 15. Let b be m(-2). Which is smaller: b or r?
r
Let i = 174 - 125. Suppose 4*g + 15 + 30 = 3*a, 0 = 4*g + a + i. Is g < 2?
True
Let k be 15*6/(-5)*85. Is -1528 at most as big as k?
False
Suppose -c - 396 = 5*t - 201, -5*c - 25 = 0. Which is smaller: -426/11 or t?
-426/11
Suppose 0 = -35*w + 3*w + 288. Let t be 5/(-2*1/(-6)). Let x = t - 4. Which is bigger: x or w?
x
Suppose 45 = 5*n + 30, 0 = -3*j - 2*n - 861. Is -287 smaller than j?
False
Let x be 34/10 - 4/10. Let n be (-2)/3 - (1 - x). Let d = -38819 - -38819.13. Is n less than or equal to d?
False
Suppose -584 = -6*g - 2*g. Let x = g - 71. Let f be 2/7 + (-102)/(-35). Which is smaller: x or f?
x
Let j = 8871999/5 - 1784673. Let n = 10236 + j. Which is smaller: 1 or n?
n
Let w be (-4)/(8/3) - (-175)/98. Let l = 0.28 + -0.248. Let y = l + -38.032. Which is smaller: w or y?
y
Let h be (72/24)/(1/(-8)). Let o(i) = -2*i**2 - 45*i + 50. Let z be o(h). Are z and -24 nonequal?
True
Let j = 38899 + -98414467/2530. Which is smaller: j or -1?
-1
Suppose -5631 = -39*y - 70*y + 13553. Let m be 1 + (177 - (2 + 0)). Is y >= m?
True
Suppose -175 = 4*n + n. Suppose -72*o = -45*o + 3510. Let z be o/14 - ((-30)/n)/(-3). Is -10 > z?
False
Let u = 0.0415 - -15.9585. Suppose -4*p + 10*p - 30 = 0. Let c be 20/p*((-15)/(-6))/(-5). Which is smaller: u or c?
c
Let f be 1*(1 + 3)*210/168. Let h be 21/(-105) - (-191)/f. Is h > 39?
False
Let a = -679.4 + 679.434. Let s = 0.34 + 0.06. Is a less than s?
True
Suppose -i = 4*c + 7, 3*c + 4*i - 8 = -c. Let j = c + 3. Let z be (-3 + 86/20)/(3/6). Is z at most j?
False
Let i be 1*(-12)/14*(-84)/24. Let w be (-8)/(-4) + (-2 - -2) + i. Suppose 30 = -w*v - 4*a - 88, 2*v + 4*a = -40. Which is greater: -27 or v?
v
Suppose 7 = 3*u + 4. Let m be (-32)/(-100)*2/(-12). Is u != m?
True
Let i = 67.49 + 13.43. Let v = i + -81. Let u = v + 77.08. Is u at least 1?
True
Suppose -2*s + 5*c = 21, 6*c - 30 = 5*s + c. Let u be (-11)/(33/(-14)) - (-2)/s. Let t be (u - 8)*2/4 + 4. Which is smaller: 11/6 or t?
11/6
Suppose 66*j - 5*j = -155 + 216. Which is greater: -5/1472 or j?
j
Let k = 122 - 122.33. Let d = k + -1.37. Is 2/11 less than d?
False
Let f(s) = 2*s**3 + 13*s**2 + 54*s + 437. Let z be f(-11). Are z and -1245 nonequal?
True
Suppose 2*b =