lue?
False
Suppose x = -x - 3*n - 4, 2 = -x - 5*n. Let l be (-1)/30*x/(-3). Let c = l + 2/9. Is c <= 0?
False
Let t be 1 - 13/(-2286)*-134. Let u = 2/127 - t. Which is smaller: u or 1?
u
Let n(q) = -22*q - 64. Let b be n(-5). Is b less than or equal to 43?
False
Let x be ((-9)/210)/(42/31171). Let j = x + 339/20. Which is bigger: -15 or j?
j
Let v be 3/12*2 + 11342/(-44). Let m = -257 - v. Is m at most as big as -1?
False
Suppose 3*z - 2 = 4. Suppose 5*t + z = -s + 5, s - 3 = 5*t. Suppose t = -k - 2*k - 3*q - 60, k - 5*q = -8. Which is smaller: k or -19?
-19
Let o = -10/17 - 140/51. Let m be 18 + (178 + 20)/(-9). Which is bigger: m or o?
o
Let q(x) = 12*x**2. Let b be q(-1). Suppose 7*k = b*k + 770. Let c be ((-21)/k)/((-3)/8). Is c < -1?
False
Let d = 1.92 - 2.12. Which is smaller: d or 22?
d
Suppose -t + 4 = 3*t. Suppose 9*i - 8 = 19. Let w be (i/(-6))/((-6)/20). Which is smaller: w or t?
t
Let j be 10/35 + (-178)/(-14). Let k = 6 - j. Let v be k/14 - 17/(-32). Is -1 >= v?
False
Let o = 81.191 + -81. Is -1/4 bigger than o?
False
Let y = -433 + 433. Let x = 3553/10 + -355. Which is greater: x or y?
x
Suppose -8 = 3*c - c, 4*l - 2*c = 36. Suppose -5*i - 48 = -2*y + l, 5*y - 149 = i. Suppose 10*z - 4*z = -y. Is -5 at least z?
True
Suppose 0 = -q + 3*h - 34, 9*h - 12*h = 5*q + 242. Which is bigger: -48 or q?
q
Let t = -297 - -3891/13. Let n = 34/13 - t. Which is smaller: n or 0?
0
Let p be 6/10 - (-354)/(-315). Let w = -50 + 148/3. Let i = w - p. Is -1 greater than or equal to i?
False
Suppose 0*q = -2*q + 8. Suppose m = -q, 2*g + 4*m + 96 = 3*g. Let a be ((-72)/g)/((-3)/4). Which is smaller: a or 0?
0
Let x be ((-12)/18)/((-5)/510). Is 68 at most x?
True
Suppose 4*z = 8*z. Suppose -r + 3 + 9 = z. Suppose -5*i = 3*w - 38, 5*w - 5*i = 10 + 40. Which is smaller: w or r?
w
Let f = -33.4 + 33.31. Is f greater than 2/9?
False
Let q = -168 - -177. Which is smaller: 1/26 or q?
1/26
Let p be ((-3)/9369)/(6/36). Which is bigger: p or 0?
0
Let l be 7/(196/(-232)) - -5 - -3. Is 1/18 >= l?
True
Suppose -3*q + 3*q = 4*q. Suppose -8*b + 4 + 4 = q. Which is smaller: 4/5 or b?
4/5
Let f = 192 + -240. Is f > -0.2?
False
Let u be (7 - 9)/(14/(-31)). Does u = 4?
False
Let i = -2155 + 1455. Is 2/5 at least as big as i?
True
Let x be -1 + 3 - (-10 + 10). Let f(v) = v**2 + 4 + x*v + v + 0*v**2 - 7*v. Let n be f(3). Which is bigger: 2/9 or n?
n
Let f(y) = -24*y + 2. Let x be f(2). Let j be (0 + -21)*(5 + x/9). Which is bigger: j or -0.02?
j
Let q = -171234689/242568 + -13/8984. Let c = 706 + q. Suppose 2*f - 6 = -4. Which is smaller: f or c?
c
Let o(t) = t**3 - 11*t**2 + 28*t + 14. Let r be o(5). Is -2 < r?
True
Let o(i) = -4*i - 8. Let a be o(-6). Suppose -11*r = -a*r - 15. Let p be (-2)/r*3/(-10). Is p smaller than 0?
True
Let f = 39 - 25. Suppose -2*z = 30 + f. Let k be ((-2)/(-4))/(5/z). Which is bigger: -3 or k?
k
Let q(w) be the third derivative of w**4/8 + 16*w**3/3 - 2*w**2. Let d be q(0). Let c be -2 + 2 - 2/d. Which is greater: 1 or c?
1
Let v = 1921 + -5761/3. Do 528 and v have the same value?
False
Let v be (((-4)/(-24))/1)/(5/100). Do v and -1/5 have the same value?
False
Suppose -9*v - 581 = -500. Is -8 greater than v?
True
Let n = 0 + 0.1. Let l = 1 + 12. Let g = -12.5 + l. Which is greater: g or n?
g
Let g be ((-4)/6)/((-7)/42). Let q(y) = -14 - 13 + 29 - g*y**2. Let a be q(2). Is a less than -15?
False
Suppose 0 = -2*t - x + 4, -4*t = -6*t + 2*x - 8. Which is greater: 7/20 or t?
7/20
Let u be ((-107)/(-4))/(((-11)/4)/11). Which is greater: 3 or u?
3
Let q be (8/10)/((-4)/(-10)). Let k be (-60)/(-18)*9/q. Let r = k - 21. Is -6 at least r?
True
Let a = 1377 + -1280. Which is greater: 489/5 or a?
489/5
Let h = -152 + 151.9. Do -27 and h have the same value?
False
Let w(m) = -m**2 - 13*m - 39. Let t be w(-5). Is t at least -126?
True
Suppose -4*d - 4 + 20 = 0. Let n(r) = -32*r - 4. Let a be n(-1). Suppose a = d*m - 0*m. Is m smaller than 1?
False
Let f(a) = 2*a**2 - a - 2. Let g(r) = -r**3 - r**2 - 2*r. Let k be g(0). Let q be f(k). Is -3 > q?
False
Suppose 0 = 50*r - 47*r + 153. Is -51 > r?
False
Suppose -4*q + 0*q + 64 = 0. Suppose 6*t = 4*t + q. Suppose 0 = -5*g - 3*w + t + 1, 4*g = 3*w - 9. Are g and 1/3 nonequal?
True
Let q(r) = r**2 + 8*r - 1. Let z be q(-6). Suppose -2*g + 19 = -77. Suppose 2*t - 4*w + 2*w = -20, -g = 2*t + 5*w. Which is greater: z or t?
z
Let v = -262356/5 + 61390019/1170. Let d = v - -69/26. Is 2 <= d?
False
Let u = -2.774 - 0.126. Let y = -5 - u. Is -1 < y?
False
Suppose 4*l = -2*d + 12, 3*l + 4*d = 5*l - 6. Suppose -o = 4*n - l*o - 228, -3*n = 5*o - 145. Which is greater: 54 or n?
n
Let k be 2*-3*(-5)/30. Do k and 4/123 have the same value?
False
Let c be (143/11 - 7)*4/(-2). Let n(a) = -3*a + 1. Let u be n(3). Let q be (u/20)/(c/10). Which is bigger: q or 1?
1
Suppose 4*k - 21 = 3*j, j - 5*k + 3 = 5*j. Let v be (-4 - j) + 3 + 4. Do 6 and v have the same value?
True
Suppose 25*j + 222 = 22*j. Which is bigger: j or -72?
-72
Let s = 187 - 186. Which is smaller: s or 2/41?
2/41
Let z(l) = -11*l + 19. Suppose 3*d + 4*c = 8, d + 2*d + 5*c = 13. Let r be z(d). Are r and 64 equal?
False
Suppose -2*d - 2*b + 4 = -0, -3*b = -12. Let n = -3 - -3.1. Which is bigger: n or d?
n
Let n = 1/198 - -1/44. Let i(p) = -p**3 + 7*p**2 + 12*p - 32. Let r be i(8). Is n less than r?
False
Suppose -15*v + 80 = -40. Let d be (45/(-5))/((-2)/(-6)*-4). Which is greater: v or d?
v
Let v = -5.2 + 4. Let p = 37 + -88. Let n = 50.9 + p. Which is bigger: v or n?
n
Let y(v) = -v**2 - 27*v + 16. Suppose 8*q + 248 - 24 = 0. Let w be y(q). Which is greater: w or -126/11?
-126/11
Suppose 228 = -21*x - 55*x. Is x <= 22?
True
Suppose o = 4*m - 80 - 144, -3*o = 4*m + 608. Which is smaller: -417/2 or o?
-417/2
Suppose c = -l + 5, -4*l = 3*c - 3*l - 7. Let r = -16 - -10. Let w(a) = -a**2 - 6*a + 3. Let q be w(r). Is c not equal to q?
True
Let k be (3*(-2)/129)/((-132)/(-110)). Is 0 > k?
True
Let g = 0.13 + -1.13. Let y = g + 1. Let v = y - -14. Which is bigger: v or 1?
v
Suppose 4*c - 5*t = 9 + 76, 90 = 5*c - 3*t. Suppose c = 58*m - 55*m. Let n(x) = x**3 - 6*x**2 - x + 7. Let j be n(6). Which is greater: j or m?
m
Suppose 7*k = -610 - 230. Is k not equal to -120?
False
Let h = 521/437 + -21/19. Suppose y = -6*y + 28. Let l be (y + (-4 - 1))/(-1). Is l bigger than h?
True
Suppose 0*j - 50 = -5*j. Let o = 39 - j. Which is smaller: o or 28?
28
Let x = 95.73 + -95. Let t = -7.27 - x. Is -0.1 != t?
True
Suppose -520 = -33*a + 20*a. Is a > 41?
False
Let f(c) = c**2 - 3*c - 7. Let o be f(5). Suppose -o*d + d + 52 = 0. Let x be -2 - 1/(d/(-48)). Which is smaller: x or 0?
x
Let t = 256/35 - 5/7. Which is greater: t or 8?
8
Suppose -2*n + 90 = 3*n. Let d be 9/n - 21/60. Suppose -5*v = 20, 5*j - 13 = -v + 3*v. Which is bigger: d or j?
j
Let a = 2439 + -2426. Is 16 bigger than a?
True
Let m = -16120 - -112369/7. Let q = -67 - m. Let b(x) = 3*x + 1. Let r be b(-1). Is r greater than q?
False
Let c = 98 + -96. Let m = -0.6 - -2.6. Is c equal to m?
True
Suppose -5*z + 123 = -97. Let n = -6057 + 6057. Which is bigger: z or n?
z
Let s = -17 + 17.14. Let o = s - 0.54. Let n = 0.37 + o. Which is smaller: 3 or n?
n
Let t(p) = -38*p + 329. Let v be t(13). Which is greater: -166 or v?
v
Let g = 0.0017 - 10.0017. Let c = -0.4 + 0.3. Is c != g?
True
Let v(g) be the second derivative of -g**4/6 - g**3/6 - 13*g**2 + 12*g. Let q be v(0). Which is smaller: q or -0.1?
q
Let x be (-480)/78 + 6 - 1952/(-13). Which is smaller: x or 3?
3
Let l = -1.7 + 9.7. Let z = l + 2. Let r = -8 + z. Is r equal to -0.1?
False
Let m be (-5 - -1)*18/(-8). Let v(i) = 0 - 11*i - 2 - 3*i**2 + 4*i**2 + 2*i. Let r be v(m). Which is greater: r or 2/7?
2/7
Let r(p) = 2*p + 14. Let j be r(-8). Which is smaller: -3 or j?
-3
Let k(q) = -q**2 + 6*q - 14. Suppose -30 = -4*i - 6. Let z be k(i). Let c = -14 - z. Are -1 and c unequal?
True
Let p = -119 + 122. Let w be (5/p)/(10/36). Is 7 greater than w?
True
Let t = -14.32 - -14.52. Let o = 0.4 + 0.6. Which is bigger: t or o?
o
Let l be -12*(-9)/27*(-5)/84. Which is smaller: l or 0.2?
l
Suppose p - 4*h + 6 = -12, 5*h - 29 = -2*p. Suppose -2*z - b - p*b + 52 = 0, 4*b + 52 = 2*z. Which is smaller: z or 25?
25
Let j(n) = -n**2 - 32*n - 4 + 27*n + 1 + n**3. Let h be j(-1). Which is