ual to k?
True
Let c = -2/549 - 4378/3843. Is c > 3/4?
False
Let f = -665 + 668. Is f less than or equal to -22.8?
False
Let k be (-178)/445 - (566/(-1490) - 0). Which is smaller: k or -1?
-1
Suppose 2*d - 8 = 0, 3*o - 3*d - 33 - 15 = 0. Suppose 502 = 78*r - 980. Is r equal to o?
False
Let f = -169/6 + 28. Let i be (2/(-7))/((-4)/28). Suppose x = i*o, 3 = 2*o + 4*x - 7. Which is smaller: o or f?
f
Let f = 101 + -10200/101. Which is smaller: 0.1 or f?
f
Let d be ((-4)/(-18))/((-4)/(-6)). Let f = 5.13624 + -0.13624. Is d < f?
True
Let r = -1025.95 - -1025. Is r greater than -2?
True
Let s = 34 + -107/3. Let c = -9 - 0. Let n = c + 8. Which is smaller: n or s?
s
Let n = -0.985 + 0.95. Let d = -9.8 + 9.7. Is n > d?
True
Suppose 2*o + 2*n + 2 = 0, -2*n - 2*n = -o + 24. Let l be (35/(-14))/((-2)/o). Which is bigger: l or 6?
6
Suppose 2*q - 4*w = 6*q, 5*q - w = 18. Let m = 5.1 - 0.1. Let l = -9 + m. Are l and q unequal?
True
Suppose -1 - 1 = -2*r. Let h be 1 + ((-1)/1 - r). Let x be (-32)/(-16) + 3/(-1). Is x greater than h?
False
Suppose 3*m = 0, 4*x + 4*m - 13 = 27. Suppose x*y - 7*y = 21. Let d = 6 - y. Which is bigger: d or 0?
0
Suppose -4*y - y - 21 = 4*h, 0 = -3*y - 3. Is -4 bigger than h?
False
Let p(c) = c**2 - 3*c - 3. Let i be p(4). Let n be (i/(-10))/((-52)/(-16)). Which is smaller: n or -1?
-1
Let n(j) = j**2 - j + 26. Let h be n(0). Let z be h*(-3 + -2 - -4). Let o be (-2)/8 + z/(-24). Which is greater: -0.1 or o?
o
Let p = 14 + -15. Which is smaller: p or -177?
-177
Let n be -1*2*7/2. Let i be 237/(-27) + (-2)/9. Let h be i + 0 - (-9)/3. Which is smaller: h or n?
n
Let w(y) = -y**2 + 2*y + 3. Let f be w(9). Let i = f + 15. Is i at least as big as -45?
True
Let y = 84.1 + -80. Let c = y + -4. Is c <= 4/13?
True
Let b = 37933/15 + -2527. Is 3 greater than or equal to b?
True
Let y(f) = 5*f**3 + f**2 + 5*f - 6. Let r(j) = 9*j**3 + 3*j**2 + 9*j - 11. Let i(o) = 4*r(o) - 7*y(o). Let z be i(-2). Are z and 8 unequal?
False
Let y = 0.03 - 1.03. Let s(p) = -2*p + 3. Let m be s(4). Let b be (5 + m)*(-2)/4. Is b < y?
False
Let g = 16 + -54. Are g and -26 equal?
False
Let n = -1885624 - -5468309823/2900. Let b = n - 2139077/287100. Let h = b + 64/11. Which is smaller: -2 or h?
-2
Let x(w) = 13*w + 124. Let i be x(-14). Which is smaller: -61 or i?
-61
Suppose 44*o = 170*o. Let w = 5.1 - 9. Which is smaller: w or o?
w
Let k be (20 - (-5729)/(-289))*1/51. Which is smaller: 1 or k?
k
Let x be ((-10)/(-4))/(3/6). Suppose -j + 0 = -6. Is x at most j?
True
Suppose g = q - 6, q + g - 3 = -1. Suppose 3*r + q = 7. Let j be (r + 1)*(6 - 5). Is 1/2 at least as big as j?
False
Suppose -4*l - l + 20 = 0. Suppose 0 = -2*r + l*r - 16. Suppose -94*o + 58 = -788. Are o and r nonequal?
True
Let k be ((-4)/(-225))/((-36)/(-30)). Let s = k - 139/270. Is s > 4/3?
False
Let c(l) = -3*l**2 + 10*l + 7. Let u be c(5). Suppose -5 - 25 = -2*y. Let r = y + u. Which is smaller: r or -17/4?
-17/4
Let o = -0.72 + -122.28. Which is bigger: 0.1 or o?
0.1
Let w be (4 - -1)/((-11)/495). Let l be 0/2 + (-3)/(w/6). Are 4 and l non-equal?
True
Let b(r) = 3*r + 28. Let x be b(6). Which is smaller: x or 45?
45
Let z = -538 + 540. Let u = 1039 + -11405/11. Which is bigger: z or u?
u
Suppose 0*c + 4*c + 16 = 4*p, 2*c + 16 = 4*p. Is 100 at most as big as c?
False
Let p be ((-3)/(-9))/((-1)/2). Suppose 0*y + 65 = -5*y. Let o = -15 - y. Is p at least o?
True
Let n = 1629/44 + -361683/9812. Which is greater: n or 1?
1
Suppose -s - 11 = -4*s - 4*z, -4*s - 5*z = -15. Let u(w) = -w**3 - 12*w**2 + w + 6. Let j be u(-12). Let b be -1 + s + j + 3. Is b equal to -7?
False
Let r = 68/189 - 2/27. Let w = -0.09 + -5.91. Is w equal to r?
False
Let i = 0.7 + -1.3. Let t = -7.14 + -1.96. Let k = t + 9. Is i less than k?
True
Let u be (13/(-2))/(21/((-2184)/(-52))). Let r be 5*(-1)/(-1)*2. Suppose -x - 19 = -4*s + r, -x = s + 9. Is u < x?
False
Let s = -0.16 - -7.16. Let r = s - 7.6. Let o = -0.8 - r. Is o < 2/3?
True
Let i(z) = z + 13. Let f be i(-8). Let q be f/((-50)/(-6)) - (-2)/5. Is q less than -2/33?
False
Let c = 790 - 989. Which is bigger: -201 or c?
c
Suppose 3*c = -2*c + 225. Let i = -45 + c. Which is bigger: 14/13 or i?
14/13
Let x be 1*11*5/(2 + 3). Let h be -1 + -1 + 25/x. Which is smaller: h or 0?
0
Suppose -60*u - 48 = -56*u. Is u less than or equal to -8?
True
Let j = -0.228 + -15.772. Does 5 = j?
False
Let a be ((-48)/12 + -390)/(2/3). Is -591 at most a?
True
Let x be (-27)/12*8/(-2). Let m(j) = j**3 - 8*j**2 + 9*j + 9. Let p be m(7). Suppose -3*s = 4*l + 7 - p, -5*l + 30 = 5*s. Is s < x?
True
Let s(a) = -a**2 - 11*a + 172. Let t be s(-20). Do -40 and t have different values?
True
Let l = 90 + -98. Suppose 0 = 4*m - 9*m - 35. Which is smaller: l or m?
l
Suppose -2*w = -4*w + 4. Let s be 3/(1*(w - 1)). Suppose s*m - 8 = 25. Is 12 smaller than m?
False
Let k(j) = -3*j + 39. Let o be k(22). Let z be (-80)/(-45) + -5 - 6/o. Is -11 != z?
True
Let l(q) = -q**2 - 28. Let k be l(9). Which is smaller: -110 or k?
-110
Let h(q) = -2*q**3 + 15*q**2 - 8*q + 7. Suppose -35 = -4*x - 3*c - 10, 5*c - 16 = -3*x. Let k be h(x). Let f be 6/(-20) + 2/4. Is k smaller than f?
True
Let u = -452 - -441. Let y be (-2)/(-2) - 86/8. Is u < y?
True
Let g be 102/135 - 54/45. Let q be -1 + 3 - 2 - 1. Which is bigger: q or g?
g
Let u = 0.142 - 0.242. Is 1/122 > u?
True
Let x = -1154 + 1151. Which is bigger: -0.1 or x?
-0.1
Let i be (10/225)/(4/160). Let x = 1/9 - i. Is -1 bigger than x?
True
Let s(g) = -4*g**2 - 1. Let q be s(1). Let x be 1/q + (-447)/15. Let h be 4*1*45/x. Is h greater than or equal to -6?
True
Suppose l - 61 = -0*l - 2*p, -4*l + 283 = -5*p. Let c = l + -128. Let m = c - -119/2. Which is greater: -1 or m?
-1
Let b = 0.34 + -0.04. Let h be 25 + (-2 + 1)*1. Let j = h - 23. Do b and j have the same value?
False
Let f(p) = p**2 + 9*p + 2. Let r be f(-11). Which is smaller: r or 26?
r
Let a = 688 - 686.959. Let h = a - 0.041. Which is bigger: -2/9 or h?
h
Let q = 10.14 - 10.2. Which is smaller: -1/5 or q?
-1/5
Let j = -5049/4 - -1272. Which is smaller: 9 or j?
9
Suppose -j - j = 0. Let l = 3/8 + -43/24. Let x = l - -5/3. Which is bigger: x or j?
x
Let o(k) = -4 - 5*k + 8 - 3*k**2 + 4*k**2. Let m be o(5). Suppose 9*y - 5*y = -m. Which is bigger: y or 1/22?
1/22
Let h(q) = 2*q**3 - 7*q**2 + 2*q - 5. Let i be h(5). Suppose 3*y + 2*y + i = 0. Let b be ((-42)/20)/(y/40). Do b and 4 have the same value?
False
Let w = -21284/875 + -13/125. Which is smaller: -24 or w?
w
Let i be 2/(-7) + (-720)/(-756). Let b = -14 - -23. Let k = b + -7. Which is greater: i or k?
k
Let y = 2.3 + -4.3. Let d = 0.83 + -0.79. Which is smaller: d or y?
y
Let o(y) = y**2 - 7*y - 4. Let h be o(8). Let k be -3 - -1 - (-6 - 4). Suppose z = -z - h*c - k, -z - 5*c - 10 = 0. Which is greater: 1 or z?
1
Let r(h) = 2*h**3 - 5*h**2 - 31*h + 79. Let a be r(7). Which is smaller: 305 or a?
a
Suppose -6*c = -3*j - 11*c - 12, 3*c + 7 = -2*j. Let h be (-10*(2 + -1))/(-3). Is j equal to h?
False
Let i = -0.17 - 4.83. Let t = 0.7 - 0.75. Let h = t + 1.05. Is i equal to h?
False
Let u = 24 + -22. Suppose u*b + 3*o = -0*o + 21, 3*b = -4*o + 30. Suppose -2*m - 4 = -18. Are b and m equal?
False
Suppose 4*c = 8 + 12. Let p(q) = -q**3 + 5*q**2 + 5*q - 5. Let k be p(c). Suppose -4*u = u - 4*f - k, -2*u - 5*f = -41. Is u at most as big as 7?
False
Let n = -3 - -4. Let s be -1 - (-11*n - -1). Let x be (-5 - (7 + -9)) + -1 + 12. Which is greater: x or s?
s
Let f(o) = o**2 - 8. Suppose -5*x = -5, 2*x - 2 = 3*c - 0. Let t be f(c). Let i be (-14)/10 + t/(-20). Which is greater: i or 0?
0
Let s = -119/55 + 23/10. Let l be (-9)/(-4)*-4 + 8. Do s and l have the same value?
False
Let i(c) = -c**3 - 8*c**2 - 8*c - 1. Let t be i(-7). Suppose 6 = 3*n - t. Let r be ((-6)/(-4))/3*8. Is n >= r?
True
Let z = -0.25 + 1.4. Let p = z - 0.15. Is -61 greater than p?
False
Let t(w) = -6*w - 2 + w - 9 - 2*w + w**2. Let q be t(8). Is q at most -3?
True
Let l be (7/5)/(156/(-130)). Let g = -2 + 1. Let q be 1*(0/g + -1). Does l = q?
False
Suppose -r - 437 = 247. Let a be (-4)/26 + r/117. Which is smaller: a or -1?
a
Let k be (-64)/(-6)*5*6/(-14). Are -22 and k unequal?
True
Suppose -234 - 2820 = 6*x. Which is greater: -508 or x?
-508
Let l be -21 + 18 + (0 - (-51)/15). Is l at most -5