 be ((-18)/(-4))/((-4)/(-48)). Is k bigger than 56?
False
Let j be 16/32*12/(-33). Is 17/4 equal to j?
False
Let n = -7 + 27. Suppose j + n = 6*j. Suppose -j*h - 1 = -5. Is h > -1?
True
Let w be (-32)/(-72) - (-1767)/216. Is w smaller than 8?
False
Let w(r) = r**3 - 4*r**2 - 4*r + 1. Let l be w(5). Let z(q) = -q**3 + 3*q**2 + 2*q - 1. Let d be (-36)/(-24) - (-1)/2. Let i be z(d). Which is greater: l or i?
i
Let i = 82 - 76. Suppose 4 = 2*l + i. Which is smaller: -1/3 or l?
l
Let u = -42 - -54. Let f be 1/((-2)/16*8/u). Which is smaller: f or -11?
f
Suppose 4*l - h = -13, 4*h + 1 = 5*l + 31. Let r = -1.6 - -1.6. Let c = r - 1. Is l bigger than c?
False
Let p = 39 - 30. Let z(l) = -l**2 + 14*l - 18. Let u be z(p). Let r be 18/u + 47/(-3). Is -15 at least as big as r?
True
Suppose -19*c - 4032 = -13*c. Let r = -6769153 + 277507719/41. Let g = c - r. Is g at least 0?
True
Suppose -5*c - 704 = 3*c. Let f = c + 50. Which is greater: -36 or f?
-36
Let x = -398 - -371. Which is bigger: -128/5 or x?
-128/5
Suppose -3*l = u - 157, 61 = l - 0*u - 4*u. Let g be 3 + (4/(-22) - l/11). Let i = -7 - -5. Is i at least g?
True
Let s = 19 - 35. Let p(m) = -2*m**2 - 32*m + 7. Let c be p(s). Which is greater: 13 or c?
13
Let p(w) = w**3 + 10*w**2 - 6. Let o be p(-10). Let y = -8 + 10. Let m be 28/(-6) - y/6. Which is smaller: m or o?
o
Let d = 0.42 + -0.455. Let o = d - 0.065. Which is smaller: -7/2 or o?
-7/2
Let l(b) = -5*b + 416. Let g be l(82). Let i be 1/(-5) - 21/(-5). Let t be (-3)/108 - (-1)/i. Is g bigger than t?
True
Let m = -1003 - -1006. Let h = 0.6 - -2.4. Is h bigger than m?
False
Let d = -39 + 11. Let r = -25 - d. Suppose -r*p - 6 = -3. Do 0 and p have different values?
True
Let v(f) = -2*f**3 + 44*f**2 + 6*f - 132. Let y be v(22). Suppose -4*z + 3 + 1 = 0. Which is bigger: y or z?
z
Suppose 5*k + 3*n - 80 = 0, 3*k = n - 28 + 76. Let u be (-2)/2 + -1 + k. Is u at least 15?
False
Suppose 3*m - 4*c + 44 = 6, 0 = 2*c - 4. Which is greater: m or -0.4?
-0.4
Let y be (-248)/1984 + (-445)/(-3752). Which is bigger: y or 1?
1
Suppose 0*v = -2*v. Let r be v - (-2 + 1206/15). Let f = r + 5246/65. Is f > 3?
False
Let i = 423 - 385. Is i <= 6/11?
False
Let i(a) = -a**3 + 5*a**2 - 7*a + 4. Let l be i(2). Let q be (-4)/8*-13*l. Is q greater than 13?
False
Let w = 94 - 92. Let a(g) = g**2 - 5*g. Let i be a(3). Let c be 122/84 - i/(-21). Which is smaller: c or w?
c
Let t = -17 + 1. Let s be ((-1)/(-3)*17)/(1 - 64/48). Do t and s have the same value?
False
Let v = -0.21 - -0.01. Let j = 2.256 - 0.056. Let m = j + v. Which is greater: m or -6?
m
Let c be 5 + (-956)/176 + 2/8. Let i be ((-40)/12 + 4)/(2/(-3)). Is i != c?
True
Let f = -15 - -5. Which is bigger: 9 or f?
9
Suppose -424 - 5414 = 7*d. Is -834 smaller than d?
False
Let v(k) = k**3 + 7*k**2 - 5*k - 14. Let x be v(-6). Let f be 6/(-14) - x/28. Which is greater: -1 or f?
-1
Suppose -4*d + 5*q = d - 40, 5*d - 43 = 2*q. Suppose -17*m - 44 = -16*m. Let b be m/(-6)*d/(-6). Are b and -11 equal?
True
Suppose 2*a = -3*j + 18, -5*j - 17 = 3*a - 45. Suppose 6*c = 3*c + 4*o - 13, -a = 3*o. Is c smaller than 0.4?
True
Suppose 0 = 4*v - 55 - 1. Suppose -v = -y - 14. Which is greater: 6 or y?
6
Let x = -145 - -138. Is x != -4?
True
Let v(h) = -3*h - 1. Let x be v(1). Let n(q) = -q**3 - 6*q**2 - 7*q + 4. Let k be n(x). Is 0 equal to k?
True
Let r be ((-2)/((-4)/(-3)))/(9/(-12)). Let h be (1 + -1)*6/(r*-6). Is h smaller than -2?
False
Let i = 21 + -17. Let y be i/26*(-1)/2. Let b = 0 + -1. Which is smaller: b or y?
b
Let c(a) = -a**3 + 2*a + 39. Let y be c(0). Suppose 34*h = y*h + 130. Which is smaller: -29 or h?
-29
Let m be (-30)/(-14) + (-7)/49. Suppose -5*x + 27 - m = 0. Is 1 at least as big as x?
False
Let y(s) = s + 17. Let p be y(-12). Suppose 0 = -5*g + p*f - 50, g + 3*g + 40 = f. Are -8 and g equal?
False
Let y be -2 + 13/(39338/19716). Let b = 76/17 - y. Is b > 0?
False
Let k be (-2269)/140 + 8/(-20). Let h = k + 67/4. Is h not equal to -1?
True
Let s(v) = -v**3 - 5*v**2 - 4*v + 7. Let m be s(-3). Let o be 0 - (-1 + (-39)/(-45)). Is o greater than m?
False
Let t = 9/7 - 34/21. Which is bigger: -0.015 or t?
-0.015
Let w = -468290/11 + 42607. Let f = w + -35. Which is bigger: 4 or f?
4
Let j = 8420/3 - 2832. Which is smaller: -25 or j?
j
Let j be ((-5)/(-3))/(9/54). Suppose 8*o + 4 = j*o. Suppose o - 53 = 3*r. Is -17 <= r?
True
Suppose 13 = 2*r + 23. Let f be -1 + 2 - (r + 4)*0. Let p be -3*1/((-6)/(-8)). Which is smaller: p or f?
p
Let b = 8/11 + -226/341. Is b at most 0.3?
True
Let k(a) be the second derivative of -a**4/12 - 5*a**3/2 - 9*a**2/2 - 38*a. Let t be k(-15). Is -10 at most as big as t?
True
Let j be (-27)/(-4) + 24/96. Suppose 0 = f - 0*f - 6. Suppose f*x - 20 = 2*x. Is j at most as big as x?
False
Let v be 7 + 1*12/(-3). Suppose -v*s = 3*s. Which is bigger: -11/6 or s?
s
Let t be (28/(-12))/7 + (-44640)/(-27). Which is smaller: t or 1654?
t
Let w be (-4)/(-20)*3*(-2)/(-1434). Is -1 bigger than w?
False
Let r(h) = 3*h**2 - 12*h - 95. Let o be r(8). Suppose w - f + 46 = 2*w, f + 38 = w. Let p be (4 + -7)*(-16)/w. Are p and o equal?
False
Let n be 2135/(-1080) - -2 - 0. Is n > -1?
True
Let z be 2/1 + 4/(-2). Let o be (z/(-2))/(0 + -2). Let u = 17/13 + -127/117. Do o and u have the same value?
False
Let f(z) = 3*z - 1. Let p(o) = -2*o. Let i(w) = 3*f(w) + 5*p(w). Let m be i(-2). Let l be 8/(-5) + 1 + m. Is -3 bigger than l?
False
Let p = 525 + -1576/3. Is 0.29 bigger than p?
True
Let b = 40 + -24. Let z be (-120)/b*(-8)/10. Which is smaller: 9 or z?
z
Let x be ((-153)/(-6))/(6/(60/25)). Let u = 18 + -8. Which is smaller: x or u?
u
Let d = 9 - 11. Let x be (1 - d - 1)*9. Let g = x - 17. Which is greater: g or 0?
g
Let x = 0.0481 - -512.9519. Is 1 not equal to x?
True
Let p = -46.029 - -46. Let w = -0.129 - p. Which is smaller: w or -20?
-20
Let j = -1087026742019/8683478265 - 652/3671661. Let i = 5619/43 + j. Let o = 56/11 - i. Is 0 less than o?
False
Let g = -10 + -1. Let h be (11394/(-24))/(g/4). Let y = -173 + h. Which is smaller: 1 or y?
y
Suppose -296 = -4*f + 3*s, 4*f + 3*s - 4*s = 296. Let g be (-4)/(-14) + f/(-63). Are -2 and g nonequal?
True
Let w = -4371 + 61255/14. Let l = 9/2 - w. Suppose 4*i - j - 4 = 0, 2*i - 2*j = -0*i + 8. Which is bigger: l or i?
l
Let w be (705/329)/(((-6)/(-21))/2). Is w smaller than 15?
False
Let m be -2 + (192/(-25))/(-4). Let u(o) = -o**3 + 6*o**2 + 16*o + 10. Let z be u(8). Let q be (-6)/15*(-25)/z. Are m and q unequal?
True
Let r = -0.086 + 45.086. Let i = r - 44.87. Is 1/4 < i?
False
Suppose 2*k - 4*a - 16 - 2 = 0, -3*a - 20 = 5*k. Let l be -3*2*3/(-6). Suppose 2*z + 1 = 4*g - z, -l*z + 1 = -5*g. Which is greater: g or k?
k
Let q be 372/(-15) + 5 - (-4)/5. Which is smaller: q or -12?
q
Let r = 180.4 + -110.5. Let z = -70 + r. Which is smaller: z or -1/3?
-1/3
Let g = -22.9 - -22. Let x = 1 + g. Let b be (-39)/15 - (-6 + 3). Which is smaller: b or x?
x
Let u(a) = 4*a + 14. Let p be u(-3). Suppose i - 28 = 4*n - p*n, 20 = -5*n. Which is bigger: i or -2?
i
Suppose -2*r = -3*b + 8*b + 5, -4*r - 22 = -2*b. Which is bigger: b or 3/608?
b
Let h = -6.1 - -2.1. Which is smaller: -0.1 or h?
h
Let a(z) = -z**3 - 33*z**2 + 110*z + 17. Let m be a(-36). Which is smaller: -53 or m?
m
Let l = -195 - -145. Is -50 greater than or equal to l?
True
Suppose 3*b - 2*b - 5 = -d, -4*d + 17 = b. Let o = -13.762 + -0.278. Let u = o - -14. Which is smaller: b or u?
u
Let z = -18 - -19. Let c = -18.11 - -18. Is c bigger than z?
False
Let s = 97 - 155. Let t = 176/3 + s. Let m = -5.9 + 6.9. Is m smaller than t?
False
Let b = 100 - 272/3. Is 10 <= b?
False
Let t(o) = 3*o + 17. Let y(p) = 5*p + 25. Let g(f) = -8*t(f) + 5*y(f). Let c be g(5). Is c at most as big as -10?
False
Let p(v) = -v**3 + 17*v**2 - 16*v + 7. Let n be p(15). Let a be (n/(-155))/((-2)/(10*1)). Is a greater than or equal to 8?
False
Let q be (1/10)/(48/80). Let z = q + 0. Which is bigger: 1 or z?
1
Let m be (-8)/(-24) - (-1048)/(-42). Let v = m + 310/21. Let x = 1511/154 + v. Which is bigger: 1 or x?
1
Let p be (1 + (-9)/6)*-2. Let x = 4 - p. Is 10 greater than x?
True
Let x be -7 + 1 - (22/66)/((-2)/(-54)). Let a be (-51)/105 + (-4)/(-14). Which is smaller: a or x?
x
Let o = 505 - 508. Which is smaller: o or 0.04?
o
Suppose