ue
Let x = -277.66 - -274. Let w = x + 3.2. Let z = w - -0.26. Which is bigger: z or -0.01?
-0.01
Let k = -2.091 + 0.091. Is -96 not equal to k?
True
Let q(f) = f**3 - 10*f**2 - 4. Let h be (-1)/2 - (-63)/6. Let z be q(h). Let u be (z/(-6))/((-28)/21). Which is smaller: -9 or u?
-9
Let l = 0 + 2. Let g = -144/115 - -84/23. Does l = g?
False
Let g = -499 + 502. Let m be 1*-2 + (2 - 0). Let f = 4 - m. Is f at least as big as g?
True
Let r = 0.95 - 1. Let f = 16 - 9. Suppose -3*y = -f*y. Does r = y?
False
Let d = -38 - -40. Let y(k) = -k**3 - k**2 + 2. Let r be y(d). Which is smaller: -11 or r?
-11
Let s(k) = -k**2 - 11. Let w be s(0). Let t = w + 10. Is 1/82 smaller than t?
False
Suppose -b = -3*w + 40, -5*w - 4*b + 100 = b. Suppose 42 = 5*v - 2*v. Which is bigger: w or v?
w
Let l = 480 - 466. Let z = 2/7 - 20/21. Is l < z?
False
Let a be 5/(-2)*(-12)/15. Let l = -0.1128 - 11.8272. Let m = 12 + l. Is m at most as big as a?
True
Let t = 62 - 184/3. Let l = 13.39 + -69.29. Let p = -56 - l. Is t smaller than p?
False
Suppose 0 = -8*r + 6*r + 30. Suppose -20 = 4*h, 4*b - 5*h - r - 22 = 0. Suppose 7 = k - 0*k + 2*d, b*k - 3*d = -15. Which is bigger: k or 1?
1
Let i(m) = -m**2 + 8*m - 8. Let n be i(6). Suppose 3*x = 5*y + 2, 2*x = n*y + 4 - 2. Is x not equal to -2/337?
True
Let d(a) = 45*a**2 - 17*a - 37. Let v be d(-2). Is 177 at most as big as v?
True
Suppose 0 = 5*g + 5*j - 3*j - 24, 0 = -2*g - 2*j + 12. Is g greater than 50/13?
True
Let z be 6 + 549/(-81) + (-4)/18. Let j be (0/((-16)/4))/z. Which is smaller: 5/9 or j?
j
Let y = 25 + -21. Suppose 0 = y*c - 8*c - 28. Is c at least -7?
True
Let v = 28.17 + -28. Let c = v + -0.15. Let f = c - 7.02. Which is smaller: f or 1/2?
f
Let w = -1.2 - -15.2. Let b = -14.14 + w. Let u = b - -0.16. Which is bigger: -0.1 or u?
u
Let k = 133 + -132. Let m be ((-1)/9)/((-23)/(-6)). Is k <= m?
False
Let w = 2.37 - 2.42. Which is bigger: 6 or w?
6
Let u = -0.018 + -10.982. Is 0.1 smaller than u?
False
Let x = 2.68 + -7.7. Let l = 9 + -4. Let o = x + l. Do o and -1 have different values?
True
Suppose -m + 6*m - 21 = -4*n, 3*m - 3*n = 18. Let w = m + -7. Let j be (-3 - w)/(5/25). Which is smaller: j or -6?
-6
Let a(s) = -2*s - 8. Let p be a(-4). Suppose p = 4*y - 0*y - 5*w + 73, -y = w + 7. Let f be 9/9 + y/(-2). Which is smaller: -0.2 or f?
-0.2
Let j be (1656/16)/((-12)/(-16)). Which is smaller: 555/4 or j?
j
Let z = 41.5 - -0.5. Let d = 54.8 - z. Let j = 13 - d. Is -6 != j?
True
Let p = -80 + 113. Let h = p + -25. Suppose -2 + 3 = -q. Which is greater: q or h?
h
Let z be (0 - (-1 + -3)) + -19. Let n(b) = b**2 + 15*b + 12. Let s be n(z). Does 12 = s?
True
Let q(z) = -5*z**2 + 23*z + 52. Let j be q(-7). Are -353 and j nonequal?
True
Let b = 0.06 - 0.07. Let x = -2.04 + 1.03. Let s = x - b. Which is smaller: 11 or s?
s
Let b = 2 + -2. Suppose -2*o + 10 = -t, -4*t = o - 9*t - 23. Suppose 8*i = o*i. Is i != b?
False
Suppose 0 = 4*o + 103 + 97. Let i = -51 - o. Let f = -567 + 9642/17. Which is smaller: i or f?
i
Suppose 0 = -2*g + 5*g. Let i = -14/5497 - -11/239. Is g less than or equal to i?
True
Let i(r) = r**3 + r**2 + 4*r - 4. Let o(l) = -l**3 + 3*l**2 + 2*l - 4. Let h be o(3). Let m be i(h). Are m and 15 equal?
False
Suppose -3*n = -2*n - 6. Let c(s) = -s + 6. Let v be c(n). Is -13 at least as big as v?
False
Let z = 1206 - 1205. Is z smaller than 9/31?
False
Suppose -5*k + 0*k + 10 = 0. Let u(c) = 7 + 8*c - 4 + 0*c**k - c**2. Let v be u(6). Which is bigger: v or 14?
v
Suppose 0 = -5*j + 5*x - 5, 0 = 2*j - 0*x + x - 7. Suppose 10*r - 5*r = 180. Suppose v = 39 - r. Is j less than v?
True
Suppose 0 = 3*o + 29 - 2. Let c(w) = -7*w - 2. Let y be c(1). Is o bigger than y?
False
Suppose -11*f + 19*f = -4*f. Is f not equal to 2/1037?
True
Let k = 93 - 74. Does k = -4/7?
False
Suppose 2*y = 17*a - 21*a + 10, -3*y - 7 = -5*a. Suppose h + 2 - 3 = 0. Which is smaller: h or a?
h
Let a be 22/14 - (3 - (-51)/(-21)). Is 8/35 at most as big as a?
True
Let w = -671/3 + 1081/3. Let v = w - 137. Which is greater: v or 1/19?
1/19
Let b(x) = x**2 - x - 2. Let u be b(0). Let p be 4/((24/(-140))/(-3)). Let g be p/(-22) - 22/(-121). Is u > g?
True
Let l be 12 + -14 - (4/(-1) + 1). Which is greater: l or -4/63?
l
Suppose 33*i + 50 = 38*i. Which is smaller: i or -1?
-1
Let a = 979/42228 - 7/276. Is a less than 1?
True
Let n = -8016951999036/26447 - -303132756. Let q = -2/499 - n. Which is bigger: 0 or q?
q
Let j = 4 + 5. Let w = 742 + -743. Is j equal to w?
False
Suppose 2*c = c - 2, 2*c - 26 = -2*t. Let p be (t/(-18))/(0 + (-3)/6). Suppose y = 4 - 1. Is p smaller than y?
True
Suppose 4*w - 2*w = 6. Suppose -w*t = 2*t - 90. Let k be (-44)/36 - (-4)/t. Is k less than or equal to -3/4?
True
Let m = 1 + -2. Suppose 17*i - 240 = 14*i. Let p be (-6)/4 - 20/i. Which is smaller: p or m?
p
Let f = -28 + 27.957. Let m = f + -0.097. Let a = -0.05 + 0.05. Is a < m?
False
Let m(z) = z**3 - 4*z**2 + 12*z - 28. Let o be m(3). Let b be 1 + (267/(-90) - -2). Which is smaller: b or o?
o
Let k(b) = 12*b - 8. Let f be k(1). Suppose 5*s + f = 9. Is s at least as big as 1/172?
True
Suppose -21*z = -19*z + 8. Let f be (-3 + (-164)/(-56))*z. Which is greater: f or 1/10?
f
Suppose -l = 2, 0 = -y - 2*l - l - 6. Which is bigger: y or 287?
287
Let p = -5204 - -25717/5. Is -60 greater than p?
True
Let h be (((-1125)/70)/5)/(-6). Which is greater: h or 2?
2
Let o = -1080 + 1080.1. Is 673 <= o?
False
Suppose 145 = -4*u - y, -67*y = -3*u - 62*y - 80. Which is smaller: u or -71/2?
-71/2
Let m = -5126/15 - -342. Let s be ((-2)/4 - -1)*0. Is s smaller than m?
True
Suppose 0 = 7*t - 11*t. Suppose 4*f + 16 = 2*u, -4*u + 31 = -5*f + 5. Let p be (10/(-180))/(f/(-8)). Which is smaller: p or t?
p
Let l(h) = h + 3. Let r be l(-6). Let a = 7 + -3. Which is smaller: a or r?
r
Let t be (-2)/10 + (-41)/(-5). Let f(g) = g**2 - 2*g + 2. Let m be f(5). Suppose -5*c + 40 = 5*y, 3*c + 3*y - m = c. Which is smaller: t or c?
c
Let u(g) = -4*g + 10. Let n be u(-7). Let k = n + -14. Let t be (-43)/6 + 4/k. Which is smaller: -8 or t?
-8
Let c(x) = x**3 + 5*x**2 - 15*x + 2. Let b = 73 + -80. Let d be c(b). Which is bigger: 11 or d?
11
Let q = 121 + -120. Let o = 1.1 + -0.7. Let v = 0.2 - o. Which is greater: q or v?
q
Suppose -20 = 3*x + 2*k, -2*k = -5*x - 56 + 12. Is -33 > x?
False
Let s(p) = -p**3 + 15*p**2 - 15*p + 18. Let k be s(14). Suppose -2 + k = h. Is h at least as big as 3?
False
Let s = -6319803 + 198486052012/31407. Let x = -1/361 - s. Which is smaller: -1 or x?
-1
Let g = -7148/155531 - 2/3617. Is -1 less than or equal to g?
True
Let k = 541 - 653. Is -111 <= k?
False
Suppose 0 = -13*q + 6*q - 14. Let w be 74/(-14) - (q + -3). Which is greater: w or 58?
58
Suppose -34 = 5*g + 2*b, 3*g + 2*b + 10 = g. Is g equal to -10?
False
Let c = 0.55 - 3.85. Let d = c + 3.41. Which is smaller: -0.1 or d?
-0.1
Suppose 3*f - 12 = -f, -2*f + 62 = -d. Let s(n) = 10*n - 6. Let c be s(-5). Is c < d?
False
Suppose 0*l - 150 = 4*c - 2*l, -2*l - 146 = 4*c. Suppose -3*x - 1462 + 1351 = 0. Is c < x?
False
Let r = -49.5 + 49.7. Do r and 95 have the same value?
False
Let h = -65 + 79. Is h >= 16?
False
Let c(f) be the third derivative of -f**4/24 - 4*f**3/3 - 17*f**2. Let k be c(-5). Which is smaller: -5 or k?
-5
Suppose t - 4*o + 16 = 0, -80 = -3*t + 5*o - 100. Is 1/3367 >= t?
True
Let c = 6 + -6. Suppose -4*t + 86 = -82. Let v be (-9)/t*4 + 0. Which is smaller: c or v?
v
Let p be 1/(-7) - (-34)/42. Suppose 0 = 5*i - 3*k + 4 + 4, 3*k = -12. Let m be 3 + 7/(14/i). Is p > m?
False
Let b be 3/(-3 - 537/(-189)). Which is smaller: -19 or b?
-19
Suppose s - 2*c + 6 = 0, 5*c + 6 = -s - 0*s. Let z be (-20)/28*s/30. Is z bigger than -1?
True
Let v = -13/50 + 1/100. Which is smaller: v or 82?
v
Let l = 0.9 + 1. Let t = l + -2.1. Is 1/14 < t?
False
Suppose -4*y + 2 + 50 = 0. Do y and 14 have different values?
True
Let b = 0 - 1. Let g = b + 0. Let f be (-136)/140 + (-8)/(-14). Which is smaller: g or f?
g
Suppose 0*p = 49*p + 73892. Are p and -1507 unequal?
True
Let q = 155 - 154. Which is smaller: 0 or q?
0
Let w = -29 + 14. Let d = 0.221 + -51.321. Let z = d + 51. Which is bigger: z or w?
z
Suppose 143 = 3*f - k, -3*f + 45 = 4*k - 118. Which is bigger: f or 48?
f
Let o = 26 - 19. Suppose 15 = 2*j + 5*r - 0*r, 0 =