 Let k = w + 35/52. Let y(t) = -t**3 - 15*t**2 + 2*t + 32. Let z be y(-15). Is z > k?
True
Let o be (-3 - 136/3) + 20*9/(-108). Is -11 > o?
True
Suppose 0 = -7*z + 109 - 39. Let x(p) = -19*p + 162. Let f be x(z). Which is smaller: -117/4 or f?
-117/4
Let w(u) be the third derivative of -u**5/60 + 5*u**4/24 + 20*u**3/3 + 7*u**2. Let n be w(9). Suppose -3*d - 91 = 2*d + n*c, 0 = 3*d + c + 56. Is d != -16?
True
Let i = 17995 - 18920. Which is bigger: i or -924?
-924
Let p = -192 + 24. Let y = 167 + p. Do 0.265 and y have different values?
True
Let n = -14644 + 14643.748. Let h = -4.1 - -4. Which is bigger: h or n?
h
Suppose -23 - 118 = 3*u. Let y = 10796.8 - 10797. Is y less than u?
False
Let j(v) = -217*v - 4. Let m be j(-3). Let a be m*(-4)/3640 - (0 + -1). Let g = 1/91 + a. Is g > 1?
False
Suppose -14*g = g - 960. Suppose 0 = 4*r + 3*h - 76, 2*r - g = -7*h + 12*h. Is r greater than or equal to 22?
True
Let c = -15 - -15.1. Let b = -1.8 - -1.72. Let t = b - 0.21. Is t >= c?
False
Let l(r) = 341*r - 787. Let p be l(-5). Which is smaller: p or -2494?
-2494
Suppose 8*n - 69 = -5. Let u be 12/8 + (-28)/n. Which is greater: -42/53 or u?
-42/53
Suppose 199 = -4*g - 105. Let h = -2023 + 1864. Let u = g - h. Are 82 and u nonequal?
True
Let l = -154 - -148. Let o be 725/510 - ((-3)/l - -1). Is 0 at least o?
True
Let b = -285.41 - -288.11. Which is smaller: b or -46?
-46
Let h = -19862 - -19924. Does -126 = h?
False
Let w(t) = 4*t**3 + 11*t**2 + 25*t + 73. Let l be w(-4). Suppose 0 = 5*u + 783 - 248. Are l and u equal?
True
Let t = 666 - 701.9. Let c = t + 37.9. Is -3/5 != c?
True
Let u = 7643 - 7639. Which is smaller: -1073 or u?
-1073
Let n = -759 + 1310. Let f = n - 544. Which is smaller: f or 2?
2
Let x(v) = -100*v + 398. Let t be x(4). Let c = -7 + 10. Suppose 4*n + 23 - c = 0. Which is smaller: t or n?
n
Let z = -934 - -29867/32. Suppose -14*g + 26 = 54. Which is greater: z or g?
z
Let j be (-173)/(-26) + (-61)/122. Let d = 157/78 + j. Is -2 <= d?
True
Suppose 0 = 2*r - 8, -28 + 188 = -4*t - 5*r. Let n(i) = 137*i**2 - 44*i - 45. Let a be n(0). Is a less than or equal to t?
True
Let z be (-2 - (-18)/6) + 7. Let d(m) = m**3 - 7*m**2 - 6*m - 17. Let n be d(z). Is -1/134 at most as big as n?
False
Let q be (-1 + 1)/(10 - 7). Let a be 1 + (-5 + 2)*1 + -122. Let d = a - -117. Is q < d?
False
Let f(x) = -x**2 + 11*x - 43. Let w be f(4). Let s be (-12 + 5 - w)/((-2)/11). Is s greater than -44?
False
Let s(b) = -b**2 - 17*b + 19. Let f be s(-14). Suppose 0*z + f = z + 3*a, 3*z = 5*a + 127. Let i = -49 + z. Is i at least as big as 0?
True
Suppose -302*n - 156*n - 17549 = 7183. Let c = 45 + -102. Which is greater: n or c?
n
Let j(b) = -b**2 - 6*b + 4. Let d be j(-7). Let q = d - 3. Suppose 2*x = 5*n + 40, -5*n - 190*x - 40 = -194*x. Which is smaller: n or q?
n
Suppose -1189 = 23*u + 1548. Let m = -118 - u. Are 1/128 and m nonequal?
True
Let d(t) = 12*t - 72. Let m be d(6). Suppose 5*z + 10*v = 11*v + 5, m = -3*z - v - 5. Is -2.9 at least as big as z?
False
Let x = 0.18 + 6.82. Let u = x - 11. Suppose 0 = 4*q + 12, -7*g = -12*g - 5*q - 30. Which is greater: u or g?
g
Let r = 2167 - 2088. Is 91 less than or equal to r?
False
Let t be 1055/((-15)/(-10) + -2). Is t != -2107?
True
Suppose 3*r - 10 = 4*y - 2*y, -2*y - 10 = 2*r. Suppose r = -w + 3 - 2. Is -1/76 not equal to w?
True
Let k = 730695/203984 - 352/1159. Let z = -35/16 + k. Let f = 6.7 - 7. Which is smaller: f or z?
f
Suppose 0 = -5*x - 5*r - 1625, -5*r + 17 = -8. Do -329 and x have different values?
True
Suppose 0 = -6*g + 86 + 70. Let d be ((-32)/(-6) - 2)*(-1755)/g. Let n be (-6)/10 + (-235)/d. Is 0 less than or equal to n?
True
Let w = 35 - 66. Suppose -49*j + 901 - 4869 = 75*j. Is w smaller than j?
False
Let v be -394*4/64*104. Which is smaller: -1 or v?
v
Let h = -12 - -20. Let v(f) = -6*f + 3*f + 1 + 4*f - h. Let p be v(-5). Is -6 smaller than p?
False
Let c be 0/(396/54*(141/33 - 4)). Let k be 2/3*9/57. Which is bigger: c or k?
k
Let u = 4163/19 - 219. Let b be ((-15)/(-54))/((-280)/112). Do b and u have the same value?
False
Let j be 3/21 + 120/(-56). Let s(q) = 8*q**2 + 4*q - 5. Let v be s(2). Let z = -29 + v. Which is smaller: j or z?
j
Let r = -15329 - -15285. Are -615/14 and r unequal?
True
Suppose 1630 + 14542 = -26*s. Let i = s - -861. Is i > 239?
False
Let o(q) = -q**2 + 22*q - 16. Let p(v) = -v. Let g(s) = -o(s) - 4*p(s). Let i be g(12). Let z be 0 + 21*(-10)/(-245) + 1215/(-21). Is z <= i?
True
Let t(z) = -z**2 - 6*z - 4. Let h be t(-5). Let l be h/(-2) - (-2540)/40. Suppose -2*b - 22 = 4*v, -3*v + 19 - l = 4*b. Is -12 at least as big as b?
False
Let s(b) = b + 26. Let q be s(7). Suppose m = -3*t + q, 4*t = -2*m - 9 + 51. Suppose -99*f + 93*f = t. Which is smaller: -5/9 or f?
f
Let x = -828 + 784. Let v = x + 46.6. Is v less than -4?
False
Let d = -0.11 + 0.051. Let i = 0.004 - d. Let c = i - -0.937. Is c equal to -23?
False
Let v be 2/6 - 0 - -32. Suppose -4*o + j + 119 = 0, 0 = 2*o + 3*j + 919 - 1010. Is o greater than v?
False
Let q = 0.1281 + 1351.8719. Which is smaller: q or 2/11?
2/11
Let i be 3034/(-574) + (-2)/(-7). Which is smaller: 0.1 or i?
i
Let d be ((-6)/15)/((-134)/335). Is d < -8/309?
False
Suppose -i - 556 + 385 = -4*h, 0 = 2*h - 4*i - 68. Suppose 0 = -4*k - 108 - 312. Let f = -62 - k. Which is bigger: f or h?
h
Let f(w) = w**2 + 4*w + 10. Let j be f(-3). Suppose j*l = -280 - 553. Is -119 < l?
False
Let h(a) = 13*a**2 + 5*a - 17 + 2*a**2 - 14*a**2 + 0*a + 11*a**2. Let k be h(-3). Is 73 greater than k?
False
Let q = -154 - -154. Let r be (-8)/(-96)*(-1 - q). Which is smaller: r or 1?
r
Let c = -369 + 619. Let p = -521 + 773. Which is smaller: p or c?
c
Let v be 5/(-40)*2 + 1/4. Suppose -6*n + 4*n = v. Do 1/73 and n have different values?
True
Suppose -4*p + l - 3*l = -8, -l - 8 = -2*p. Suppose p*f + 275 = -184. Is f > -153?
False
Let i(h) = -h**2 + 15*h - 26. Let z be i(14). Suppose 5*y - 3 = 62. Let m = -1 - y. Which is smaller: z or m?
m
Let c be (9 + 15/(-2))/1 - (-10)/4. Is c at most 281/67?
True
Let q = -585878/151 + 3880. Let m = 5761 - 5760. Which is bigger: q or m?
m
Suppose -3*y - 27 = 444. Is y > -153?
False
Let n be 2 - 1 - 1020/(-28). Let w = n + -4202/119. Let z = 491/272 - w. Is z at most as big as 1?
True
Let c be ((-12)/(-10))/(-12*10/300). Let d = 22 + -15. Let j = d + 6. Which is greater: j or c?
j
Suppose 21*h - 15*h - 36 = 0. Let p be h/(-8)*8/51. Which is smaller: -1 or p?
-1
Let t = -107 - -166. Let f = t - -7. Let w = f + -66. Which is greater: w or 0.032?
0.032
Suppose 175*h + 61 + 2174 + 1615 = 0. Suppose -4*a = -2*a - 2. Which is bigger: a or h?
a
Let q(g) = -25*g + 132. Let z be q(21). Let t = z - -469. Which is greater: t or 0.1?
t
Let a(c) = -4*c**3 + 10*c**2 - 36*c - 14. Let s be a(6). Is -734 < s?
False
Let n = 3/1472 - -4059/175168. Let l(y) = y**3 + 9*y**2 + 7*y - 9. Let u be l(-8). Which is bigger: u or n?
n
Let m = 17047/1017030 + -1/1002. Let i = 4997/203 - m. Is i greater than or equal to 26?
False
Let c = 43111 + -43110.717. Let p = -8 - -6. Which is greater: c or p?
c
Let j(u) = -u**2 + 28*u - 55. Let h be j(26). Let z = -16 - -10. Let b be h*z/((-18)/(-7)). Are b and 23/3 unequal?
True
Let r = -1016 - -1011. Let d be (-728)/(-21)*((-3 - r) + -3). Which is smaller: -34 or d?
d
Let x = -244 - -244. Let y = -3948 + 114466/29. Is y < x?
True
Let a = 0.08 + 0.08. Let v = 8.16 - a. Let i be (-314)/471*(-3)/4. Is i greater than v?
False
Let q(r) = -r - 12. Let d be q(20). Let b = -28 - d. Suppose 17*l - 15*l - b = 0. Do 0 and l have different values?
True
Suppose -5*s + 0*s = w - 40, -3*w = -s + 8. Let y(m) = -4*m + 27. Let c be y(s). Let u be 3/114*(c + -4 - 3). Which is bigger: u or 0?
0
Suppose -m - 3 = -5*o, -3*m - 80 = m - 3*o. Let i be 1 + -203 + -1 + m + 22. Is -205 at least i?
False
Suppose -1074 = 19*k + 826. Let t be 6/(-21) - (-4)/168*k. Is t at most 2/77?
True
Let n(p) = -p**2 - 47*p - 694. Let u be n(-26). Is u < -156?
False
Suppose -56*m + 422 = -54*m. Suppose -4*t = -w - m, -3*t + 5*w + 101 = -t. Is t less than or equal to 52?
False
Let n = 378 - 369. Suppose n*p = 18*p - 63. Suppose 0*w - 4*w + 24 = 0. Is w >= p?
False
Let k = 9.612 - -0.388. Let q = 12 + -6. Let t = k - q. Which is smaller: t or -4?
-4
Suppose -68*p -