= -p*q - 216. Is 72 at most as big as q?
True
Let j(l) = 10*l**3 - l**2 + 24*l - 122. Let c be j(6). Is 2147 >= c?
True
Let t = 733/26 + -100/13. Which is bigger: 21 or t?
21
Let x(t) = t**2 - 4*t + 6. Let g be -12 + 16 - (0 - -1). Let z be x(g). Is 4 smaller than z?
False
Let c be (-2048)/15285 - (-14)/105. Is -1 > c?
False
Let h be (24/2 - 0)/(48/(-120)). Is -32 at least h?
False
Let l(q) be the third derivative of q**4/24 - q**3 + 5*q**2. Let x be l(8). Suppose 0*u = -2*u + 4*i - 18, -5*u - x*i = 9. Which is bigger: u or -2?
-2
Let r = 0.835 + -0.735. Let d be 4/4 - 1*-7. Is d greater than or equal to r?
True
Let f be ((-9)/(-21))/(3/(-21)). Which is smaller: -27/16 or f?
f
Let z = 2440 - 2447. Is z less than or equal to -25/8?
True
Let w = -780.7 - -828. Let y = w + -4.3. Is -1 > y?
False
Let o(d) = d**2 + 2*d - 15. Let k be o(0). Let t = k + -7. Which is bigger: t or -20?
-20
Suppose -4 = u, -6*u + u = 2*n + 16. Let m(h) = h**3 + 8*h**2 - 9*h - 4. Let s be m(-9). Let d be (2 - (-2)/s)/1. Which is smaller: n or d?
d
Let m = -183 - -1479/8. Is 3 smaller than m?
False
Let j be -1 - -8 - 1184/185. Is j less than -0.091?
False
Let k = 0.042 - -26.958. Let m = k + -29. Suppose 0 = 4*i + 9 + 7. Which is smaller: i or m?
i
Let j = 68.2 - 68.2. Does j = 340?
False
Let x = -27 + 47. Suppose -x = 3*l + 4. Which is smaller: -6 or l?
l
Let p be 2/(-21)*1/16. Let t = -407/11928 - p. Suppose -z + 3*g - 15 = z, -3*z = -4*g + 20. Is z less than t?
False
Suppose -2*q = 15 + 1. Suppose -3*y + 19 = -5*a, -2*y - y - 3*a = -3. Let h(z) = -z**2 + 2*z - 4. Let v be h(y). Is v less than or equal to q?
False
Suppose 45 = d + 4*d. Let c = -620 + 623. Is d bigger than c?
True
Suppose g + 56 - 57 = 0. Which is smaller: g or -3/239?
-3/239
Let k be 1 + (-72 + 2 - -3)*-1. Let v = k - 62. Is 6 < v?
False
Let y(w) = -w - 8. Let x = -84 + 81. Let n be y(x). Is n at least as big as -5?
True
Let g = 20.4 + -3.4. Let f = -16.8 + g. Let m = f + 0.1. Which is smaller: -3 or m?
-3
Suppose -3*v + 8*v = 2*g - 111, -3*g + 132 = 4*v. Let w be (2/4)/((-2)/g)*1. Is w greater than -5/3?
False
Let p = 1121 - 1136. Suppose 2*z = 4*l - 6, 2*z - 7*z = -3*l + 8. Which is bigger: l or p?
l
Let z = -221 - -34256/155. Is z <= -1?
False
Let n = 409 - 409. Is 27 at most as big as n?
False
Suppose -2*k = -2 + 2. Let u be (k + -1)*22/539. Is 0 equal to u?
False
Let j(x) be the second derivative of -x**3/3 - x**2 + 2*x. Let b be j(-2). Let r = -310 - -313. Which is greater: r or b?
r
Let c = 2/733 - -725/2932. Let t = 4 + -1. Let l = -6 + t. Is c at most l?
False
Suppose 0 = 4*d + 5*t - 7612, -23*t = 5*d - 27*t - 9515. Is -1 less than or equal to d?
True
Suppose -3 = -3*a, -l + 7 = -4*l + 4*a. Let d(j) = -j - 1 + j**3 + 110*j**2 - 59*j**2 - 52*j**2. Let b be d(l). Which is smaller: b or -14/5?
-14/5
Let z = -83 + 96. Suppose -z*y + 8 = -5*y. Which is bigger: y or 2?
2
Suppose 3*z = 2*j + 25, -5 + 0 = 4*z + 5*j. Suppose -91 = -z*f + 149. Let g be 2/(-6) + 736/f. Is g greater than or equal to 0?
True
Let d = 49 + -32. Let r = 17.942 + 0.058. Let i = d - r. Is i bigger than -5?
True
Let k be 2 + (-5)/(5/2). Let i = 4/3 - 11/6. Which is smaller: k or i?
i
Let c(p) = -p**2 - 2*p. Let w be c(-4). Let q be ((-6)/15)/((-2)/40). Let i = q + w. Is 0.3 not equal to i?
True
Let r = -9.36 - 6.04. Which is bigger: r or 1/7?
1/7
Let v = 509 - 783. Which is smaller: 0.1 or v?
v
Let h = 290 + -74. Are 217 and h non-equal?
True
Let n = 588 - 868. Is n < -280?
False
Let b be (-10)/22 + 1/((-77)/42). Are 2/1419 and b equal?
False
Let k(c) = -c**3 + 10*c**2 + 8*c - 2. Let u be k(6). Let f be (-16)/12*(-3)/u. Is -1 != f?
True
Let n be 56/98 + -13*(-2)/(-21). Let x be (-4)/(3 - 1) + 4. Suppose 6 = -2*q + 5*a, 0 = x*q + 2*a - 2 + 8. Is q greater than or equal to n?
False
Suppose 3*x - 4*p + 11 = 0, -41*x + 46*x + 9 = 2*p. Is x < -26/53?
True
Let h(i) = 10*i - 22. Let u be h(2). Is -50/21 smaller than u?
True
Let x = 777 - 791.62. Let j = x - -14.8. Which is bigger: j or 0.1?
j
Let p be -4*(3 + (-1731)/582). Which is smaller: -1/3 or p?
-1/3
Let q be ((-6)/(-21) - (-3772)/(-1638)) + 2. Let j = -1/26 + q. Which is smaller: 1 or j?
j
Let b be (-30)/(-12) - 1*(-2)/(-4). Suppose 2*f = -4*c + 5*f + 13, -b*c + 7 = -f. Is c greater than -3?
True
Let m be 3/(-94)*(-8)/6. Suppose -34 = 8*q - 26. Is m >= q?
True
Let v(w) = w**3 + 6*w**2 + 4*w - 1. Let l = 2 + -7. Let p be v(l). Suppose -p*s = -5*g + 11, -3*s - g = -7*s - 15. Is s smaller than -2?
True
Let u be ((-3)/(-2))/(2/(-16)). Let d be 1/3 + 7/u. Let n = 150 - 155. Which is greater: d or n?
d
Let s = 17 - 18. Suppose o - 2 = 2*o. Let b be (0 + 1)/(o - s). Which is smaller: b or -2/27?
b
Let v = -1.1 - 2.9. Let a be 1/(((-2)/4)/(4/24)). Which is smaller: v or a?
v
Let x be ((5 - 6) + -1)*5. Which is smaller: -75/7 or x?
-75/7
Let x(k) = -k**3 - 7*k**2 - k - 5. Let v be x(-7). Let i be (v - 1)*9/3. Suppose -2*s - 2 = -5*o + 9, i*s + 3*o = 15. Is s at most as big as 2?
True
Let q = -2.9909 + 61.0379. Let g = -58 + q. Is g > -1?
True
Let i = -0.2752 - -0.0252. Is -1/9 bigger than i?
True
Let g be (-7 - 7)*-1*-73. Is -1022 at most as big as g?
True
Let i = -20.291 - -19.3. Let v = -0.009 + i. Let k = 2.6 + -20.6. Is v smaller than k?
False
Let s(k) = -22*k - 10. Let l be s(-3). Let i = -61 + l. Which is smaller: -7 or i?
-7
Suppose -5 + 0 = 5*n. Suppose -80 = -w + y - 0*y, w - 2*y - 81 = 0. Let h = w - 82. Is n > h?
True
Let d = 100 + -101. Let x(g) = -g. Let s(w) = -10*w. Let b(a) = -s(a) + 4*x(a). Let p be b(-1). Which is greater: p or d?
d
Let w be 2 + (-3)/(81/60). Let s = -0.47 + 0.07. Let a = 4.4 + s. Which is smaller: w or a?
w
Suppose -t = -2*s + 7, 4*t + 13 = -3*s + 6*s. Let z be (-3)/s + 1 + 0. Let a = 29/16 + -7/4. Which is smaller: z or a?
z
Let f(p) = p**3 - 3*p**2 - 4*p + 3. Let j be f(4). Suppose j*z - 3 + 6 = 0. Let w be (-1)/2*(-8)/(-98). Which is smaller: w or z?
z
Suppose 44*k + 38*k = -3280. Let l be 2/4 + 249/(-6). Which is smaller: k or l?
l
Suppose 0 = 228*a - 215*a. Is a > -1/379?
True
Suppose -9 = 3*v - 3*q - 24, -3*q - 7 = -v. Suppose -v*l - 68 - 257 = 5*b, -3*l = 0. Which is bigger: b or -64?
-64
Let s = -2089/44 + 191/4. Let h = -11 + 12.3. Let x = h - 1.4. Which is bigger: s or x?
s
Suppose 0 = -6*z - 5808 + 5826. Let b = 8/157 + 8581/7222. Let i = b + 6/23. Which is smaller: z or i?
i
Let j(p) = p**3 - 8*p**2 + 10*p - 21. Let w be j(5). Which is smaller: -49 or w?
-49
Let g = -8.58 - -10.58. Which is bigger: g or 30?
30
Suppose 53*h + 10 = 2*b + 49*h, 3*b = 2*h + 15. Which is smaller: 19 or b?
b
Let s = -3 - -4. Let j = 468 - 88. Let z be (5/j)/((-9)/(-24)). Is z > s?
False
Let f be (-20)/72 - 4/18. Let i = f + 1/10. Let y = 35 - 71/2. Which is smaller: i or y?
y
Let f = 20 - 20. Let u = 3 + 0. Suppose 2*c = 5 - u. Is f > c?
False
Let x be 209/77 - 3 - (-374)/(-14). Which is greater: x or 2?
2
Let v = -240 + 243. Suppose -p - 2*z - 5 = 0, 0 = -0*p + p - 5*z - 23. Let i(s) = -s**2 + 5*s - 3. Let t be i(p). Is v equal to t?
True
Suppose -2 = -5*x - 4*i, 5*i - 2 = 2*x - 16. Let a be 21/5*2/(-6). Let k = a + x. Is 1 equal to k?
False
Let t = 110284 + -13234249/120. Let s = -3/40 - t. Are 2 and s nonequal?
True
Let x be 1 + -2 + (-3)/(-6). Let k = 27.68 - 17.65. Let q = -10 + k. Is q at least as big as x?
True
Let y = 18 + -82. Is -63 less than or equal to y?
False
Let x(t) = -4 - 3 + 2*t**2 + 4*t - t**2 - 14*t. Let w be x(9). Let p = w + 15. Which is smaller: -12/11 or p?
-12/11
Let w = 142.6 + -142.6. Which is greater: w or -71?
w
Let l be 2 - (-68)/(-30) - 3/(-5). Suppose 83*k - 87*k + 72 = 0. Are k and l nonequal?
True
Let z = -171 - -281. Let y = 15/47 + 17/94. Which is bigger: z or y?
z
Let h = -0.5 - 0. Let i = -2.142 - -0.122. Let g = i + 0.02. Does h = g?
False
Let y(v) = v - 2. Let o be y(3). Let w = -539 - -19942/37. Let n = w - 94/629. Which is bigger: n or o?
o
Let c = -0.3618 + 0.3518. Let t = 0.8 + 2.2. Is c bigger than t?
False
Let f(o) = o**3 - 5*o**2 + 3*o + 5. Let h be f(4). Let a = h + -5. Suppose s = 3*d - 5*d + 4, -2*s + 4 = 2*d. Is a equal to d?
False
Let v = 24/77 - 2738/385. Which is smaller: v or -8?
-8
Suppose 0 = -2*b - 8, -2*b + 1 - 9 = -4*z. Suppose z = 4*c - 0 + 8. Let g be c/(-3)*(2 + -20). Is g <= -11?
True
Let j be (2