
True
Let t be 1054/30 + 40/(-300). Which is bigger: t or 34?
t
Let g = 10.4 - -3.6. Which is smaller: g or 1/3?
1/3
Let x be -3 - (2 + (-27)/5). Is x greater than or equal to 1/3?
True
Let z = 15.9 - 16. Let g = 1 + -2. Let c = 1.2 + g. Is c >= z?
True
Let k be (-532)/7*4/(-8). Is k <= 40?
True
Let l = -2554/7 + 364. Let g = l - -43/42. Which is smaller: g or 0.2?
g
Let k = -1 + -3. Let n be (-4 - k) + (-9)/24. Is -0.1 at most as big as n?
False
Let j = -785/1308 - -20/109. Which is greater: -1 or j?
j
Let f be 2/(-7) + (-1)/(-21)*6. Let w be (-1)/(-4) + (-1)/4. Is f at least w?
True
Let f be (3/(-6))/((-3)/(-540)). Let r be (-76)/f - 14/35. Is 0 at least as big as r?
False
Let f be (510/(-20))/(9/12). Is 0 not equal to f?
True
Let a = 0.048 + 0.052. Are 10/9 and a unequal?
True
Let q = -12 + 11.9. Let v = 32.92 + -35. Let d = v - -0.08. Are q and d unequal?
True
Let l(j) = -16*j**2 + 60*j + 64. Let o(z) = -3*z**2 + 12*z + 13. Let p(b) = 2*l(b) - 11*o(b). Let x be p(13). Let h = -4 - -2. Is h != x?
False
Let u be 0 + (125/(-15))/(-5). Is u > 3?
False
Let v = -4 + 0. Let d be ((-30)/v - 2)/21. Let t = d - 3/7. Is 1 greater than t?
True
Let l = 27 + -27.1. Is -1/3 greater than l?
False
Let g(x) = 3*x**2 - 2*x**2 + x + 4*x - 5 + 0*x. Let i be g(-6). Suppose 0*b - 2 = -2*b. Is i at least b?
True
Let r = 35.2 - 35. Is 2/9 not equal to r?
True
Suppose 0 = -2*h + 8 - 20. Let c be ((-2)/h)/((-5)/(-15)). Let j = -0.1 - 0. Which is greater: c or j?
c
Let s = -13 - -17. Suppose s*o + 45 = -o. Which is bigger: o or -8?
-8
Let s = 11 + -11. Let v(m) = m + 4. Let w(r) = -r**3 + 3*r**2 - r. Let t be w(3). Let d be v(t). Is d < s?
False
Let h = 11 - 15. Let b = 4 + h. Suppose 5*c - 17 = -2*t, 2*c - 9 = -3*t - 0*t. Which is greater: t or b?
t
Let t = -53/5 + 323/30. Let m = 0.25 - 0.05. Is m not equal to t?
True
Let i be (-2)/(-2) + 990/14. Let n = i - 72. Which is bigger: n or 0.3?
0.3
Let t(q) = -q**2 - 7*q + 19. Let o be t(-9). Do o and 14/13 have the same value?
False
Let a = -2 + 4. Suppose 2*l - 4 = -a*l. Let u be 2/3 - 2/(-6). Is u equal to l?
True
Let j = 39262232/21 + -1870197. Let k = j + 567. Is k bigger than 1?
False
Suppose 5*t - 33 + 8 = 0. Is 17/3 less than t?
False
Let m(y) = y**2 - y + 4. Let r be m(-3). Suppose 0 = -5*d + d + r. Suppose -2*h + d*b = -b - 21, 2*b = -6. Is 4 at most as big as h?
False
Let a(q) = -2*q - 3. Let y be a(-4). Let t = y - 3. Which is smaller: 3 or t?
t
Let c = -41 + 65. Let p = c + -12. Let t be (-2 - 1)/p*-3. Is t at least as big as 0?
True
Let f = 1/34 - -61/238. Is f bigger than -6?
True
Let r = 155/237 - -1/79. Let y = 0 + -4. Is r equal to y?
False
Let b be -4*-1*(-1)/(-6). Let k(x) = -x - 1. Let r(v) = 2*v + 27. Let c(h) = 6*k(h) + r(h). Let l be c(6). Is l <= b?
True
Let c = -10.6 - 0.4. Which is smaller: 0.1 or c?
c
Let y be 6/15 + (-2)/5. Suppose y = 3*t - t + 4. Let d be -4*(t/(-4))/(-1). Which is greater: d or 1?
d
Let y be 9/11 + 2/11. Let c be 8/y*2/(-4). Is -1/2 at most as big as c?
False
Let o = -1 + -2. Let f be o + 1 + 1978/872. Let k = -2/109 + f. Which is smaller: -0.1 or k?
-0.1
Suppose -5*o = -10 - 10. Let h(l) = -1 - l**3 + 2*l**3 - 3*l**2 + 0 + 4. Let v be h(3). Is o != v?
True
Let b = 73 - 25. Which is bigger: b or -2/5?
b
Let m = -53/18 - -22/9. Let x(i) = -2*i - 2. Let j be x(0). Which is bigger: j or m?
m
Let y(f) = f**2 - 2*f - 2. Let a be y(-3). Is a less than 0?
False
Let b(l) = -5*l - 49. Let t be b(-10). Do t and 2/247 have the same value?
False
Let r(u) = 8*u**3 - u**2. Let m be r(1). Let h = 0.1 - -0.9. Which is bigger: h or m?
m
Let q(k) = 6*k - 4. Let t be q(-6). Let j be (-116 + -2)/(3/(-1)). Let b = j + t. Is b at least 0?
False
Let u be (-2)/(-6)*0 + 0. Let q be 0/((u + -1)/(-1)). Suppose 2*f = -q*f + 2. Are f and 1 non-equal?
False
Let d = -6102 + 24277/4. Suppose 0 = 2*a + 6*u - u + 41, 5*a + u + 160 = 0. Let k = a - d. Are 1 and k unequal?
True
Let x = -72 - -71.8. Let o = -151/11792 + -3/176. Let w = -140/201 - o. Which is smaller: w or x?
w
Let t = 17.1 + -3.1. Let k = t - 14. Is k greater than -0.1?
True
Let z be (-8)/12*(-15)/2. Suppose -z*i + 0*l - 17 = -2*l, 4*i = 5*l - 17. Which is smaller: -2 or i?
i
Let p(r) = -r - 1. Let x be p(0). Let y be x/135*-3*-2. Which is greater: y or 0?
0
Suppose 5*n = -3*h + 1, 2*n + n + 6 = -4*h. Let q = 3 + -3. Suppose 0 = -f - q - n. Is -2 not equal to f?
False
Let r = -35 + 24. Which is smaller: -2/3 or r?
r
Let j = -11.6 - -11.6. Is j not equal to -3/2?
True
Let t(x) = -15*x**3. Let m be t(1). Let f = -10 - m. Are 4 and f unequal?
True
Suppose -5*j - 2 = 38. Let w be j/6*1/4. Suppose -2*c + 2 = -0*c. Which is greater: c or w?
c
Let y = -0.028 - -0.438. Let k = 0.01 - y. Which is smaller: -1/2 or k?
-1/2
Suppose r + 9 = -2*g, g - r = -3*g - 33. Is -4 less than or equal to g?
False
Let w = 1.3 - 0.3. Which is greater: 0.8 or w?
w
Suppose 5*k + 7 - 27 = 0. Let f = k + -5. Which is bigger: -1/5 or f?
-1/5
Let z = 49/276 + -1/92. Is z smaller than 0.6?
True
Suppose 4*y = -0*y - 3*m - 14, 8 = -4*m. Let t be 5/(-2)*74/(-340). Let s = -22/17 + t. Is s greater than or equal to y?
True
Let w be 1 - 1 - 3/(-9). Suppose 30 = 2*s + 3*s. Suppose s = -7*d + d. Is w at least d?
True
Let b = 1 + 111. Is b > 112?
False
Suppose -4*k + 20 = -4*u, k - 2 = -0. Is u smaller than -4?
False
Suppose 2*g = 3*y + 3, -4*y + y + 6 = g. Which is greater: y or 7/3?
7/3
Let x = 33 + -35. Is -2 less than x?
False
Let y(t) = t + 4. Suppose -j = -6*j - 65. Let z be y(j). Is -9 < z?
False
Let s be ((-9)/(-3) + -2)*0. Which is bigger: s or 7/11?
7/11
Suppose 3 = n + 4*l + 15, -4*l = -3*n + 12. Suppose n = -2*w + 3*c - 3 + 12, 0 = 5*w - c - 3. Is 2/3 > w?
True
Let i = -18 + 35/2. Let u = 3 + 0. Suppose 4*c + 4 = u*w - 16, 15 = -3*w - 3*c. Which is smaller: i or w?
i
Let o be 33/(-63) - (-4)/6. Is 1 less than or equal to o?
False
Suppose 2*m - 3*m = 5*m. Are 2/11 and m nonequal?
True
Let p = 33 - 31. Which is smaller: p or 7/2?
p
Let q be ((-2)/(-6))/((-4)/(-60)). Suppose q*c - 3 - 7 = 0. Let f be 0 + 0 - (c - 0). Is -2 at most f?
True
Let c(t) = t - 2*t + 2*t**3 + t**2 + 0*t**2 - 3*t**3. Let i be c(0). Let a = 4 + -2. Which is smaller: a or i?
i
Let s be 2 - -3*4/6. Let z = -10 - -14. Are s and z equal?
True
Suppose -152 + 26 = -9*u. Is u not equal to -1/3?
True
Let p be 1 - (-2)/17 - 1. Let r = -0.143 - -0.143. Is r at most as big as p?
True
Let m = -0.14 - -0.1. Let b = -2.04 - m. Let p = -1 - b. Is p at most 2/5?
False
Let o(u) = 3*u**2 - 1. Let z be o(1). Suppose -b = z*b. Is b less than or equal to -1/8?
False
Let t(x) = -36*x**3 - x**2 - x. Let d be t(-2). Suppose 5*p + 74 = -d. Let g = p + 502/7. Is 2 <= g?
False
Let h(t) = t**2 - 11*t + 15. Let i be h(10). Are 9/2 and i nonequal?
True
Let i be 69/(-21) - (-2)/7. Let x(v) = v**3 + 2*v**2 - 4*v - 3. Let k be x(i). Let u be (-7)/(-18) + (-4)/18. Is k bigger than u?
False
Let y = 115 + -130. Which is smaller: -49/3 or y?
-49/3
Let r be ((-7)/(-2)*1)/((-80)/32). Let f(c) = c**3 - 7*c**2 + 5*c + 3. Let s be f(6). Let o = -4 - s. Is o not equal to r?
True
Let q be (-175)/(-55) - (-4)/(-22). Let k be (-40)/(-6) - 2/q. Suppose 11*f - 4*x - 22 = k*f, -f = 5*x + 13. Is 3 at most f?
False
Let m = 0.109 + 0.391. Let x be (-15)/6*6/(-20). Is x <= m?
False
Suppose -3*d + 9 = -3*y, -2*d - 5*y + 3 = -10. Suppose -d*i - 8 = -0*i. Is i at most -2?
True
Let b(i) = i**2 - 2*i - 3. Let l = 5 - 2. Let w be b(l). Let o be (-6)/(-3) - (-12)/(-4). Are w and o equal?
False
Suppose 0*s + 2*s - 18 = 0. Let r be (-1)/4 - s/(-4). Suppose 2*a + 2 = m + m, -2*a + r = -4*m. Do m and -1 have the same value?
False
Let x be (-1)/2*(3 - 3). Let g = 4 - x. Suppose 3*l = -g*z + l + 4, 2*l = z + 4. Is -1/18 >= z?
False
Let y = 78 + -79. Let i be (-1)/(-1) - 13/14. Which is smaller: i or y?
y
Let b(u) = 2*u + 15. Let r be b(-8). Let h = 10.7 + -11. Is h at least r?
True
Let j = 2 + -1.97. Let m = j + 0.07. Is 0.1 > m?
False
Let h be (-12)/8 + 75/6. Let u(t) = t**2 - 9*t - 16. Let f be u(h). Which is smaller: 5 or f?
5
Let p be 1/(2 - -1 - 4). Let z be 2 + -1*(-1 + p). Is z smaller than 3?
False
Let s = -83 + 98. Which is greater: 16 or s?
16
Let d be 11*5/(10/7). Does d = 40?
False
Let n = 8.02 - 0.02. Let d = -5 + n. Let q = -0.5 + 0.3. Which is sma