 = -h**3 - 7*h**2 + 7*h - 11. Let t be v(-8). Let x be -29 + ((-9)/3)/t. Let k(g) = -g**2 - 4*g + 49. Let r be k(-11). Is r less than or equal to x?
True
Let h = -1343 + 976. Is h less than -368?
False
Let x(v) = v**3 + v**2 - 12*v - 17. Let t be x(-2). Which is smaller: t or 24.4?
t
Let o(y) = 5*y**2 + 128*y + 26. Let h be o(-27). Is 215 at most as big as h?
True
Suppose 5*w - k - 4*k = 10, -3*k = -3. Let o be (-26)/24 + (-2)/w. Let f(i) = 3*i + 3. Let g be f(-2). Is g smaller than o?
True
Let w be (-8)/14 + 27671/(-20776). Let k = w - -28/53. Is -1 at least k?
True
Let k = -493 + 489.5. Which is greater: 1/3 or k?
1/3
Let h be ((-170)/8)/5 + 0 + 4. Is 24 less than or equal to h?
False
Let r = -542/7 - -1595/14. Which is smaller: r or 36?
36
Let h(c) = 14*c**2 + 4. Let y be h(-2). Let u be (14/(-5))/((-24)/y). Which is smaller: u or 1?
1
Let d = 0.032 + 1.018. Let v = d - 0.05. Is v < -1?
False
Let g = -20.045 + 0.045. Let t = g + 20.09. Let v = t + -2.09. Do v and 3 have different values?
True
Let u = -2284/17 - -185305/1122. Let l = u - 92/3. Is 1 at most as big as l?
False
Let c be 0*5/(-6 - 4). Let w = -979/4186 - -1/322. Does c = w?
False
Let g be ((253/(-3))/11)/((-7)/21). Is g at least as big as 20?
True
Suppose 5*f + 42 = d, 2*f - 7*f = -2*d + 44. Let q be 1/((4/f)/((-22)/4)). Is q at least -0.4?
True
Let m be 1*153/(6/(-2)). Let s = m + 25. Is s at most -26?
True
Let p = 21/104 + -1/8. Let r(m) = m**2 - m. Let b = 1 + 0. Let c be r(b). Which is bigger: p or c?
p
Let x = -25/144 + 1/9. Suppose -4*z + 3*z = 0. Which is bigger: z or x?
z
Suppose i = 3*k + 1009, -4*i = -48*k + 51*k - 4006. Which is bigger: 1004 or i?
1004
Let l be 15/(-5)*((-14)/6 - 1). Let a = 17 - l. Let f be 2/((-8)/(-23)) - -1. Is f != a?
True
Let z be -6 - (0 + 1 + 0). Suppose 2 = 2*l - 0. Let h = l + -1. Which is greater: z or h?
h
Let i = 27 + -12. Let d be (6/(-10))/((-3)/i). Let v be (-4 - -1)*d/4. Is -2 <= v?
False
Let h = 37.917 + 0.083. Let d = h + -38.2. Are d and 11 unequal?
True
Let s = 86 + -128. Are s and -0.1 nonequal?
True
Suppose -1 = -r + 2. Suppose -3*q - 1 = -3*t - 46, -r*q - 2*t + 35 = 0. Are 13 and q nonequal?
False
Let i = -1.82 - -0.02. Let a = -0.6 + -0.2. Let o = i - a. Which is bigger: o or -2/3?
-2/3
Suppose 200 = 5*i - 5*u + u, u = -2*i + 67. Suppose i + 10 = 2*d. Is d equal to 23?
True
Let n be (-1 + -2)*4/(-18). Let p = -7.17 - -33.53. Let i = p + -26.3. Which is smaller: i or n?
i
Let c = 26 - 17. Let n = -8 + c. Is n smaller than -3?
False
Let y be (-3)/21*-4*315/(-56). Is y > -3?
False
Suppose 4*m - 38 = -2*d, -5*d + 11*m - 8*m = -43. Which is bigger: -0.2 or d?
d
Suppose 3*l - 66 = 420. Suppose 5*n - 3*d + 159 = 0, 11*n - 6*n = 4*d - l. Which is smaller: -32 or n?
-32
Let r(j) = -3*j + 1. Let k be r(1). Let l be k/20 + 3/(-15). Suppose 0*p + 3 = 3*p. Are p and l equal?
False
Let q = -5 - -14. Let h = q + -9.9. Let l = -109/202 + 4/101. Is h greater than or equal to l?
False
Let i = 173 + -172. Which is greater: -12 or i?
i
Let p be (-208)/273 + 3*(-2)/(-18). Which is smaller: p or -1?
-1
Suppose 0 = -100*o + 88*o - 2568. Is 1 <= o?
False
Let k = 3.049 + 84.951. Let h = 63 + -187/3. Does k = h?
False
Let t(b) = 2*b**3 - 8*b**2 - 17*b + 67. Let z be t(4). Suppose -2*x - 68 = 3*u - 16, -2*x = -4*u + 24. Let l = z + x. Do l and -22 have different values?
True
Let z be -2*(1 - (-6)/(-4)). Let v be ((-4)/5)/(z/(-70)). Let k be 2/(-5) + v/315. Is -2 equal to k?
False
Let w(o) = o - 6. Let s(c) = 2*c + 12. Let f be s(-9). Let t(j) = -j**2 - 7*j + 1. Let y be t(f). Let u be w(y). Is u != 0.1?
True
Suppose 0 = 5*g - 3*o - 326, -3*g = -6*g - 5*o + 182. Let a = 58 - g. Let j(c) = -c**3 - 6*c**2 - 4*c + 4. Let x be j(-5). Are a and x equal?
False
Let l = 391 + -320. Is 72 at least l?
True
Let p(j) = -62*j - 16. Let s be p(7). Which is greater: -449 or s?
-449
Let j = -293 + 592. Let r = 2088/7 - j. Is -2 at most r?
True
Let d = 481/3 - 159. Is 0 equal to d?
False
Let g(u) = u**3 + 7*u**2 - 3*u + 3. Let x be g(-8). Let s = x - -71. Do s and 34 have different values?
False
Let s be (-9)/18 + 9/6. Let u be (-2)/(-11) + (-1404)/(-22). Suppose u = -3*r + 5*v + 2, -54 = 5*r + 4*v. Is r at most s?
True
Let v = 0.197 - 0.197. Which is smaller: v or 19.5?
v
Let k be (20/(-10))/((-2)/(-2)). Let h be 3/(-1 - -1 - (-2)/k). Let a = -6 + 2. Is h smaller than a?
False
Let l be (0 + -2)*(-8)/16. Suppose 58 = -5*i - 82. Let t be (-3)/(-14)*i/21. Is t > l?
False
Let u = 133 + -122. Is u bigger than 0.2?
True
Let d = 191 + -190. Is d bigger than -4/17?
True
Let y = 2/1095 + -367/1095. Is 273 at most as big as y?
False
Let z = -0.3 - -1.3. Let j = -9.308 - -0.568. Let q = 1.74 + j. Which is greater: z or q?
z
Let m be (-1)/((-2)/(-6))*-1. Let t = 8.259 + -0.059. Let d = 8 - t. Does m = d?
False
Suppose 0 = 3*n - 8*n + 15. Suppose 5*o + 2*g = 2*o - 117, -n*o = 5*g + 117. Let p = -21 - o. Is p not equal to 18?
False
Suppose 3*g = 8 + 34. Suppose -4*j = -4*z, j - 14 = -3*j - 3*z. Let u = j - g. Which is greater: u or -13?
u
Let b = 0.238 + -0.438. Is -26/31 smaller than b?
True
Let o = 18 + -19. Let t = o - 25. Is -26 at most as big as t?
True
Suppose 0 = -4*g - 2 - 14. Let j be -3 + (1 - 0/g). Which is smaller: -3 or j?
-3
Let n be 22/(-5*6/15). Which is smaller: n or -41/4?
n
Let z = -259 + 259. Which is smaller: 1/185 or z?
z
Let p be 6/21 + (-2510)/(-35). Which is greater: 1 or p?
p
Let p be -2*((-36117)/9027 - -4). Which is smaller: -1 or p?
-1
Let v(p) = p**2 + 13*p + 6. Let u be v(-12). Let s be (1/(-2))/((-3)/u). Let b = 700 - 22403/32. Do b and s have the same value?
False
Suppose 88 + 46 = 2*r. Suppose -50*t + 4488 = 18*t. Which is smaller: r or t?
t
Let h = -14651/11 - -1332. Which is bigger: 0 or h?
h
Let x(s) = s + 5. Let a be x(0). Suppose 5*w + a*o - 30 = 0, 3*w = -2*o + 3*o + 26. Let c be (4/(-30))/(5/15). Are c and w equal?
False
Suppose 0 = 2*t + 4*n - 1840, 5*t - 5*n - 4585 = -0*n. Let x be ((t/28)/(-3))/(-33). Let q = -1/22 + x. Which is smaller: 1 or q?
q
Let i be (0 - 586/(-342)) + -2. Let t = 3/19 - i. Let u = -1924 - -1924. Which is greater: t or u?
t
Let f = -94 + 66. Let t = 21 + f. Let h = 0.7 - 0.5. Is h greater than or equal to t?
True
Let p be ((-64)/(-12))/((-4)/(-6)). Suppose 3*k = 35 - p. Which is smaller: k or 8?
8
Suppose 5*x + 1023 = -3*d, -1390 = 4*d - 2*x - 0*x. Are -345 and d unequal?
True
Suppose 4*x - 97 - 99 = 0. Let z = 82 - x. Suppose 29 = n + z. Is n >= -3?
False
Let w = -37 - -53. Let a be (-142)/8 - 4/w. Which is bigger: a or -17?
-17
Let z = -3238/17 - -72842/391. Is -4 greater than z?
True
Let w = 17 - 11. Let o = w - 6.2. Suppose -3*y = -y. Which is smaller: o or y?
o
Let p(d) = d**3 + 13*d**2 + 9*d - 35. Let j be p(-12). Let l(c) = c - 7. Let s be l(6). Let v = s - -4. Which is bigger: v or j?
v
Let u = 64 - 43. Let k = 34 - u. Which is bigger: k or -1/2?
k
Let d be -1*6/(-5) + (-92)/460. Which is greater: d or -2/171?
d
Suppose -13 = 2*w + 15. Let z(x) = 33*x - 11. Let t be z(2). Let n = -69 + t. Is w greater than n?
False
Suppose -21*k + 12*k = 9. Let d = 22/19 + -808/665. Which is smaller: d or k?
k
Let t(z) = 8*z**2 + 4*z + 16. Let n be t(6). Let g be 3 + n/(-12) - 3. Let j = g + 27. Which is smaller: j or -2/7?
j
Let y = -141 + 88. Let u be y/(-3) - (100/15)/10. Suppose -7*j + 2*j = -90. Is j smaller than u?
False
Suppose -3*k + 3*t + 42 = 0, -2*t - t = 3*k - 54. Which is smaller: 13 or k?
13
Let u(f) = -f**2 - 9*f + 6. Let l be u(-7). Suppose t = -3*t - l. Which is smaller: -4 or t?
t
Let b = -132 - -186. Is b bigger than -2?
True
Let o = -1622 + 1616. Is o at most 51?
True
Let l(m) = -3*m**3 + m**2 - m - 2. Let z be l(-1). Suppose 19 = -8*w + z. Is -2 != w?
False
Let j(c) = -43 - 8*c + 43 + 70. Let x be j(9). Is -12/5 greater than or equal to x?
False
Let c be (-85)/(-85) + -94*7/662. Which is greater: 1 or c?
1
Let r(f) = -2*f**2 + 17*f - 17. Let o be r(0). Are -18 and o nonequal?
True
Let p = 243.8 - 244. Which is greater: p or -6/11?
p
Suppose 57 = 13*q + 44. Which is smaller: q or -4?
-4
Let w be (-15)/50 - 7/35. Is w > -28?
True
Let f(d) = d**2 + 2*d**2 - 10 - 2*d**2 - 8*d. Let p be f(9). Is -1 greater than p?
False
Let q = -1935/4 - -487. Let n = 15/4 - q. Let f = -3 + 2. Which is smaller: n or f?
f
L