 be 6/(-15)*10/(-16). Let w = -0.35 - -0.05. Are b and w equal?
False
Let n be (-12 - (2 - 6))/1 - -2. Is -6 less than n?
False
Let g = -124.9 + 130. Is g > -0.1?
True
Let y = -101 - -100. Which is bigger: -1/178 or y?
-1/178
Let k = -6217/22 + 282. Let g be 27/66 + (-1)/2. Let a = k - g. Which is smaller: 0 or a?
a
Let n = -690/13 + 53. Is n at most as big as 1?
True
Let j = 0 - -2. Let g be -1 - (24 + j)/2. Let m be ((-4)/g)/((-2)/(-14)). Is m at most 3/4?
False
Let u = 6 + -7. Let k(z) = z**2 + z. Let f be k(-1). Is f less than or equal to u?
False
Let d(x) = x**3 - 4*x**2 + x + 2. Let h be d(4). Let m be (114/(-10))/(h/4). Let f = -8 - m. Is f less than or equal to 1?
True
Let a = -108 + 107. Is a != 2/47?
True
Let r = 3 + -10. Suppose 0 = 4*y + 2*w + 36, 2*w + 2*w + 44 = -4*y. Is r >= y?
True
Let j be (5/2 + -2)*4. Suppose -j*p = 2*p. Let u = -124 + 993/8. Which is smaller: u or p?
p
Let n(a) = 2*a**2 - 6*a + 3. Let c be n(2). Is c smaller than -5?
False
Let i(m) = m**3 - 6*m + 3*m**2 - 4 - m**2 + 2*m**2. Let d be i(-5). Let p be d/(-1*2/1). Is p greater than 2/7?
False
Let m be 44/(-33)*(-6)/(-44). Which is smaller: m or 4/5?
m
Suppose -s - 3 = -2. Which is smaller: 2 or s?
s
Let g = -10 - -9. Let a be (-10)/(-2)*g/(-3). Which is bigger: a or 2?
2
Let g be 3*-1 - 2/(-2). Suppose r = -2*t + 10, -5*r + 10 = -8*t + 10*t. Are r and g equal?
False
Let j be (-10)/(-6)*(1 - -2). Suppose -l - 5 = 2*g, j*g - 5*l + 23 = -27. Is g bigger than -3?
False
Let v = -0.68 + 0.08. Let h = -0.6 - v. Which is smaller: -2/7 or h?
-2/7
Let q be (-11)/(-1375)*595/(-12). Let b be 0 + -1 - 74/(-50). Let n = q + b. Which is greater: n or 0?
n
Suppose 0 = 13*q + 33 - 111. Which is smaller: 44/9 or q?
44/9
Let q = -9.75 - 0.25. Let t = -0.07 - 12.93. Let y = t - q. Is 2 not equal to y?
True
Let i = -8609/1380 - 4/345. Do i and -6 have the same value?
False
Let g = -2/53 - 31/583. Let i = g + -41/33. Let b(t) = -t**2 + 8*t - 9. Let x be b(7). Is i smaller than x?
False
Let r(v) = v**2 - 5*v - 2. Let d be r(7). Let b = d + -14. Is b bigger than -1?
False
Let b = -37 + 38. Is -28 bigger than b?
False
Let o be (1/3)/(2/6). Let y be (3/5)/((-2)/(-10)). Suppose y = u + g, -6 = -2*u + 5*u - 2*g. Is u greater than or equal to o?
False
Let m(n) = -n - 1. Let o be m(-2). Let a be o + (-3)/(-6)*-4. Is a > 1/9?
False
Let p be (1 - 2)/(5/10). Are p and -2 unequal?
False
Let j be ((-26)/(-8))/((-3)/132). Let u = j - -1429/10. Which is bigger: u or 1?
1
Let i = 35 - 34. Let k be (-22)/(-12) - 1/(-2). Are i and k non-equal?
True
Let t be (-2)/(-1 + -1)*1. Let q = 0.34 + 0.61. Let b = -0.05 - q. Which is smaller: t or b?
b
Let h = 2 + -2.2. Let r = -86 + 86. Is h at most as big as r?
True
Let d = -0.7 - -0.8. Let r = 13 - 8. Suppose 7*b - 2*b = -r. Which is smaller: d or b?
b
Suppose -d = -0*d - 1. Which is smaller: d or -8?
-8
Let f = -0.1 - 0.4. Suppose -2*b - 2 = 2*r, -2*b - 2 = 5*r - r. Which is smaller: r or f?
f
Let z(o) = o**3 + o**2 - 3*o + 1. Let w = -1 - -3. Let n(j) = -j**2 + 3*j. Let g be n(w). Let c be z(g). Is 6 greater than c?
False
Let x(f) = -3*f - 2*f**3 - 3*f + 2 + 0 + 7*f**2 + f**3. Let u be x(6). Is 2 greater than or equal to u?
True
Let y be 0/((-4)/(3 + -2)). Suppose y = -a - 1 + 2. Is a greater than 1/17?
True
Let b(i) = -i**2 + 2*i. Suppose 5*q - 19 = -4. Let l be b(q). Suppose 4*k + 19 = -n + 5, n + 11 = -3*k. Are k and l nonequal?
False
Let m = 1.7 + -1.63. Let w be (3 + -6)*(16/12)/4. Which is smaller: m or w?
w
Let m = -59/3 + 20. Suppose 2 = -4*n + 4*j - 2, 3*n = -2*j + 12. Suppose -n = b - 3. Is b > m?
True
Let b = 4 + -7. Suppose -w + 14 = -p + 4*p, -2*p = -8. Let g be w/b*(-6)/(-2). Is g > -1/2?
False
Suppose 4*o = -37 + 121. Let v be (-2)/6 - (-22)/o. Is v at least 1?
False
Let v(t) = t + 3. Let q be v(-6). Let k be (-12)/5 - 6/q. Is -0.1 greater than k?
True
Let w = 33 - 13. Which is smaller: 1 or w?
1
Let j = -42 + 22. Which is greater: j or -2/5?
-2/5
Let g(m) = -m + 4. Suppose 0 = -3*v - 2*v + 25. Let h be g(v). Let q be (6/(-2))/((-81)/6). Which is smaller: h or q?
h
Let b(w) = w + 6. Let p be b(-14). Which is smaller: -11 or p?
-11
Suppose 2*v + 2*t - 98 = 0, -3*t = -v + 3*v - 93. Let o be 15/v - 2/(-9). Let b = -4 + 6. Which is bigger: b or o?
b
Let u be -6 + 5 + 4/2. Are u and 2/45 equal?
False
Let s be (-2 - 1)/(120/(-32)). Which is greater: s or -1?
s
Let p = 54 + -26. Is p at least as big as 28?
True
Let n(p) = -p**2 - 7*p - 7. Let f be n(-5). Suppose -2*j - j = -f*z + 3, 2*z = 4*j. Suppose o - 1 = z*o. Is o at most -2/5?
True
Let t(b) = -b**2 - 12*b - 31. Let f be t(-6). Is f greater than -3?
True
Let q = 21 - 21. Are -5 and q non-equal?
True
Let v = -74 - -149. Is 75 bigger than v?
False
Let i = -7609/17 + 448. Let c = 19/170 - i. Suppose -4*n = 1 - 5. Which is smaller: c or n?
c
Let q be (-1196)/(-300) + -2 + -2. Which is smaller: -1 or q?
-1
Let d = -14 - -15. Is 3/11 > d?
False
Let h = 5.7 + -6.85. Let p = h - -0.15. Are p and 0 equal?
False
Let o(h) = -h**2 + 6*h + 8. Let u(n) = -n**3 + 7*n**2 - 4*n - 5. Let r be 2/10 - 87/(-15). Let w be u(r). Let s be o(w). Which is smaller: 1/6 or s?
1/6
Suppose 0 = 4*f - 0*f + 5*y - 32, 0 = -3*f - y + 13. Suppose -3*w = -0 - f. Let o = 321/7 - 46. Is w at least as big as o?
True
Let q(a) = a**2 - 5*a - 6. Let m be q(6). Let d be 0/(3/(-3 - 0)). Is m less than d?
False
Suppose 2*k - 16 - 38 = 0. Which is smaller: k or 26?
26
Let t(j) = 2*j**2 + j - 1. Let p be t(-1). Let k = -5/44 + -3/22. Is p bigger than k?
True
Let l be -1*3/(-2)*-2. Which is smaller: l or 7?
l
Suppose -10*l - 24 = -6*l. Let o be (-5)/15*l/(-4). Suppose 0 = -4*y - 5*w - 4, 5*y + 2*w = 2*y - 3. Are o and y unequal?
True
Suppose j = 5*n + 3, -5*j - 3*n - 8 = 5. Let v be -3 + 0 - (j + 2). Which is greater: -2 or v?
-2
Let r = -2.002 + 0.002. Let l = 0 + 0. Is l less than or equal to r?
False
Let y = 8 + -7. Let u be (13 + -4)/(y - 0). Let o = -17 - -27. Is o greater than u?
True
Suppose -5*h + 48 = -2*q - 17, 2*h + 3*q = 26. Suppose -p = -a - 2, 0*p + 4*a + h = -p. Is 1/5 > p?
True
Let m = -0.2 - -0.2. Is m at most -2/5?
False
Let b = 27/4 + -33/4. Which is bigger: b or -9?
b
Let l be (1 + 2/(-6))/((-82)/(-13899)). Is l at most 112?
False
Suppose -19 = -o - 7. Does 25/2 = o?
False
Let k(b) = -b**3 - 3*b**2 + 3*b - 2. Let q be k(-4). Suppose q*o + o = -6. Suppose -p - 13 = 3*x, 2*x + 5 = -p - 4. Which is bigger: o or p?
p
Let z = -0.018 - -0.178. Is z at most -2?
False
Suppose 0*h - 1327 = -2*h + q, 2*h = -4*q + 1342. Suppose 4*c + 197 = h. Let j be 8/c + 4/(-18). Which is smaller: j or 0?
j
Let b be 1 + 95/(-29) + 2. Let h = 2/203 - b. Is h greater than or equal to 0.1?
True
Let c = -0.44 + 0.04. Which is greater: c or 0.3?
0.3
Let s(o) = -o**3 + 9*o**2 - 11*o + 9. Let w be s(7). Suppose 0 = -3*r - r - 2*h - 24, -w = 4*r + 5*h. Let j = r - -3. Do -2 and j have different values?
False
Let w = -1 - -2. Let a = 3 + w. Which is smaller: a or 5?
a
Let t = -1.74 + 1.6. Let v = t + 0.74. Are 0 and v non-equal?
True
Let a(j) = -j - 21. Let z be a(0). Let f = 22 + z. Is f greater than -1?
True
Suppose 2*p - 4*s - 1 = 1, -2*s - 8 = 0. Is 0 smaller than p?
False
Suppose 0*f = -3*f. Let h = -13 - -14.16. Let l = h + -0.16. Are l and f nonequal?
True
Let k = -22 - -42. Let l be (k + -2 + -1)/(-1). Let v = 116/7 + l. Is 1 equal to v?
False
Let s = -651 - -649. Let t = 1/4 + -3/4. Which is smaller: s or t?
s
Suppose 0 = f - 4, 42 = 5*r + f - 2. Let v = r - 6. Is 2 at least v?
True
Suppose -4*i + 6*i = 16. Suppose 4*g = 4*o + i, 5*g - 3*g + 2 = -4*o. Which is bigger: -2 or o?
o
Let o = -0.77 - 0.23. Which is smaller: -13 or o?
-13
Let r = -0.07 - -0.07. Let v = 1.1 + 2.9. Let t = 4.3 - v. Which is smaller: t or r?
r
Let z = 0.22 + -0.2. Let u = z - 0.22. Let p = 0.3 + u. Which is bigger: p or -2?
p
Suppose -2*q + 3*f - 2 - 10 = 0, 4*f = 16. Is q smaller than 0?
False
Let c be 33/(-21) - 2/(-1). Suppose -7*o = -5*o - 2. Which is smaller: o or c?
c
Let z = -14877/25 + 595. Which is greater: -1 or z?
z
Let v = 29 + -29.21. Let m = v - -0.01. Let i = 0 - 0.1. Which is bigger: m or i?
i
Suppose 5*x - 11 - 9 = 0. Suppose -3*y - 12 = -5*f, 0*f = -x*f + 4*y + 16. Which is smaller: f or 2/5?
f
Let g(f) = -2*f - 2. Let q be g(-2). Suppose 0 = 5*d - 