aller than 2/11?
True
Let a be (-4)/10*870/(-1008). Let g = a - 2/21. Is 0.3 > g?
True
Let j(f) = -f**2 - 7*f + 1. Let s be j(-7). Let m be 1 + 9 + 0 + s. Is 10 at least as big as m?
False
Let t = -0.4 + -0.1. Let q = 0.8 + t. Let y = 0.2 - q. Is 1/3 greater than y?
True
Let d be (-3)/2 - 11361/4. Let y = d + 2813. Let t = y + 29. Do 1/2 and t have the same value?
False
Let h(g) = 3*g - 8. Suppose p - 8*m - 10 = -3*m, -2*p + 5*m + 15 = 0. Let i(f) = -f + 4. Let y(w) = p*i(w) + 2*h(w). Let t be y(-7). Does -2 = t?
False
Let c be -4 - (-1 + (-98)/30). Which is smaller: c or 0?
0
Let k(u) = -u**3 + 10*u**2 - 7*u - 11. Let r be k(9). Suppose -3*c - 12 = j, 4*j + 3*c + 5 = -r. Do j and 10/9 have different values?
True
Suppose 2*t + 2*t = 12. Is 16/5 greater than t?
True
Let w = -5.99 - -6. Is -1/4 bigger than w?
False
Let n be 9/(-24) + (-15)/(-40). Which is bigger: -1/6 or n?
n
Let r(o) = 5*o**3 + 2*o**2 - 3*o - 7. Let g(z) = -4*z**3 - z**2 + 3*z + 6. Let v(i) = 6*g(i) + 5*r(i). Let b be v(-3). Let y = 11 - 9. Are b and y nonequal?
True
Let i(d) = d**2 + 11*d + 20. Let s be i(-9). Which is smaller: 5 or s?
s
Let d = 5380/23 + -234. Which is bigger: d or 1?
1
Suppose -2*j + k + 46 = 0, 6*j - j + 4*k - 115 = 0. Are 23 and j nonequal?
False
Let w(v) = -v**2 - 7*v + 5. Let k be w(-8). Let h = k + 3. Let a be h/((2/1)/2). Is 0 less than or equal to a?
True
Let x be ((-10)/(-8))/5 + (-10)/24. Which is bigger: 3 or x?
3
Let h = -155 - -158.01. Let y = -0.01 + h. Is y != -1/2?
True
Let b(s) = 16*s - 94. Let j be b(6). Let v be -4*-2*(-1)/(-12). Which is smaller: j or v?
v
Suppose 640 = 18*j - 206. Which is greater: j or 46?
j
Suppose 0 = 19*r - 24*r - 30. Is 3 equal to r?
False
Let g = 5 + -7. Let s = 4/91 + 22/91. Is g > s?
False
Let m = 32065653/51367085 - -2595/14531. Let h = m + -2/707. Is -1 > h?
False
Let d be (1 - (0 + 0)) + 294/(-98). Is d less than or equal to 5?
True
Suppose 89 = 4*b + 5*v - 15, -5*b + 3*v + 130 = 0. Which is bigger: b or 23?
b
Let f = -0.06 - 1.94. Let x = -16 + 18. Is x not equal to f?
True
Let l(w) = 8*w**3 - w**2 - w + 1. Let u be l(2). Suppose 0 = 5*i - u - 151. Let m be (-4)/3*(-36)/i. Is 2 > m?
True
Let x = 1070 - 211. Let n = x - 2318/3. Let c = -87 + n. Which is greater: -1 or c?
c
Let z be (-4)/12*((-2)/(-2) + -2). Is z >= 39?
False
Let n = -6.04 + 6. Let c = -0.06 - n. Let k = 0.02 + c. Is k smaller than 1?
True
Let a = 6 + -4. Let f be 7/(7/10)*a. Suppose 5*w + 18 = 3*o, -o + 6*o - 5*w - f = 0. Is o <= 1/5?
False
Suppose d - 5*f - 54 + 334 = 0, 2*f = 5*d + 1400. Let n be 2/(-7) + (-73)/d. Is n greater than 0?
False
Let i(o) = -2*o**2 - 2*o + 1. Let c be i(-2). Which is smaller: c or -13/4?
-13/4
Let o(m) = 7*m**2 - m. Let v be o(1). Suppose 0 = -2*n + 6 - 2. Suppose n*s + s = v. Which is smaller: 1 or s?
1
Let p = 2.9 + -1.9. Which is smaller: p or -1?
-1
Let d = -11/50 - -13/400. Is d >= 1?
False
Let m = -0.5 + 2. Let j = m - 2.5. Is 4/11 less than or equal to j?
False
Suppose 11*u + 30 = 16*u. Are 5 and u equal?
False
Suppose 0 = g - 3*g + 14. Let f = -6 + 10. Is f greater than g?
False
Suppose -13 - 2 = 5*y. Let o be (7/y)/(1/3). Which is bigger: 1 or o?
1
Let v be 40/140 - 122/(-14). Which is smaller: v or 17?
v
Let b = 122.1 - 122. Which is greater: b or -119?
b
Let d(h) = h**3 - 8*h**2 - 9*h - 6. Let x be d(9). Let c be (-4)/x + (-2)/(-6). Is c greater than 4?
False
Let s = -4.314 - -0.014. Let x = s + 4. Let h = 0.1 + 0.9. Do h and x have different values?
True
Let b(f) = -f + 6. Let d be b(3). Which is smaller: d or 2?
2
Let k = 0.4 + 1.3. Let r be (-8 - 580/(-72))*9. Which is bigger: k or r?
k
Let i(w) = w**2 + 13*w - 8. Let z be i(-13). Which is bigger: z or -2?
-2
Suppose 5*f + 3 = -3*w - 42, 2*f - 3*w + 18 = 0. Suppose 0 = 4*o - 5*o + 8. Let n be (4/o)/(1/(-18)). Are f and n equal?
True
Let d be (2 + (-10186)/4)/2. Let r = d - -1240. Let a = r - -1423/44. Which is greater: 0 or a?
a
Let v = -11 + 26. Suppose 2*j + 13 = a, -4*j - v = -j + 3*a. Which is greater: j or -5?
-5
Let c be 1 + -1 - (-1 + 0). Suppose 3 = -j - 3*j + m, 0 = -3*j + 3*m. Let h = c + j. Is h at least 0?
True
Let m(u) = -u + 2. Let n be m(2). Let y(a) = a**2 + a - 1. Let i be y(n). Suppose 7*l - 3*l = 0. Which is smaller: i or l?
i
Let j = 3 - -1. Suppose j*g - 18 = 2*g. Which is bigger: 15/2 or g?
g
Let w be (-12)/10*(-75)/6. Which is greater: w or 27/2?
w
Let d = -13 + 15. Let q be ((-4)/d)/((-4)/(-6)). Which is smaller: q or -2?
q
Let w = 20 - 9. Let x = -10 + w. Are 3/4 and x unequal?
True
Let s = 107 - 217/2. Let h(t) = t**2 + 7*t + 9. Let k be h(-6). Suppose n - k = -4. Do n and s have the same value?
False
Let q = 65 + -69. Does -4 = q?
True
Let m be (3 - 3)*(-1 - -2). Let i be (-1 - m)/((-4)/8). Let q = -1/2 - -17/10. Which is greater: q or i?
i
Suppose -n + 5*c = -11, 4*n - c = -3*c. Is -2/43 != n?
True
Let y(i) = 5*i + 42. Let s be y(-9). Is -19/9 not equal to s?
True
Let b = 36.1 + -36. Let s be 2/(-6) - 30/(-9). Which is bigger: s or b?
s
Let u be (-33)/22 - (-18)/(-4). Which is smaller: -25/4 or u?
-25/4
Suppose -o + 12 = 4*a, 32 = -6*o + 2*o + 4*a. Which is bigger: o or -3?
-3
Let x = 0 + -2. Let p be (15/12)/(x/8). Let g = -4 - p. Do 1/3 and g have the same value?
False
Let u = 779 - 2252/3. Which is smaller: u or 27?
27
Let m = -4 - 2. Let k(g) = g + 8. Let i be k(m). Let q be -2*((-14)/(-6) - i). Which is smaller: q or 3?
q
Let x be ((-8)/158)/(-4 + -6). Let l = -156/395 - x. Let k be 1 + 1*6/(-9). Is l less than or equal to k?
True
Let z = -12 + 14. Suppose -1 + 0 = -4*y - 3*m, 0 = -y - 3*m - z. Let v be ((-4)/18)/(2/(-4)). Which is smaller: v or y?
v
Let p(h) = -h**2 + 12*h + 9. Let f be p(9). Suppose -7*w = -3*w - f. Let d be 4/(-63) - 2/w. Is d at least 0?
False
Let d(n) = -n**3 + 2*n**2 - n. Let a be d(0). Is 6/31 greater than a?
True
Let v = -8851/7 + 1261. Let z = v - -89/28. Which is greater: z or -0.1?
-0.1
Let c = -8 - -9. Suppose 0 = -3*s - c + 4. Let g be (2 + -1)*s - 0. Is g equal to 1?
True
Suppose v + 7 = -h - 3, h - 4*v = 0. Let i be h/10 + 156/(-30). Which is smaller: -7 or i?
-7
Suppose -8 = -5*a + 4*a. Let w(j) = j - 9. Let o be w(a). Is o at most as big as -1?
True
Suppose 0 = 2*c - 5*c + 108. Let x be (-2)/(c/(2 - 6)). Which is greater: x or -0.2?
x
Let w be (-2 + 48/27)*-1. Let t = 8 - 8. Let c = t - -3. Are w and c non-equal?
True
Let a(n) = -n**2 + 2*n + 2. Let t be a(0). Is t at most 4?
True
Suppose 3*v - 4 = 7*v. Let q = 35/261 - 2/87. Which is bigger: v or q?
q
Let g = -2 - -7. Let z = g + -9. Let i be z/(-14) + (-46)/63. Which is smaller: i or 1?
i
Let w = 1338/119 - 82/7. Which is bigger: w or -1?
w
Let z be 1 - (-3 - 21/(-3)). Let o be -2*(0 + z/12). Which is smaller: 2 or o?
o
Let d = -19 - -24. Suppose 4*n - 5 = -3*i - 0*i, 10 = d*n. Which is greater: 2 or i?
2
Suppose 0*n + 4 = 4*n. Which is greater: 11/5 or n?
11/5
Let q be 1 + (-2 - 0) + 8. Let a(r) = 2*r**2 - 2*r + 4. Let n be a(2). Is n at least q?
True
Let r = -8 + 11. Let q be (-5)/r*(-6)/8. Do q and 1 have the same value?
False
Let l = 0.5 - 0.56. Let d be (-24)/(-224) - 1/(-7). Which is greater: d or l?
d
Suppose 0 = 4*y + 2*y + 12. Is -2 smaller than y?
False
Suppose 2*s + s - 24 = 0. Let u be s/20 + 27/(-5). Is -0.1 at least u?
True
Suppose 0 = -4*t + 27 - 7. Suppose g = 2*g - t. Which is bigger: 4 or g?
g
Suppose 0 = 4*k + 5*f + 5, 3*k + 5*f = 8*k - 5. Suppose k*z = -4*z - 20. Let j(h) = h**2 + 34*h + 281. Let c be j(-15). Is c greater than z?
True
Let n = -2 - -5. Let f = -7 - -8. Which is greater: f or n?
n
Let d = -0.7 + 4.7. Let h = d + -5. Which is greater: h or 4?
4
Let r = 25 - 16. Is r <= 9?
True
Let o be -1 + -3*(-20)/42. Is -4/5 < o?
True
Suppose -2*w - 2 = -4, -5*l + 5*w = 0. Which is greater: l or 1/5?
l
Let f = -6 - -6.04. Let p = 0.08 - f. Which is smaller: 0 or p?
0
Let z = -11 - -13. Let i = -0.04 + 0.01. Let h = 0.03 + i. Do h and z have different values?
True
Suppose -8 = 2*s, 3*u + 2*s = s + 5. Let h(v) = 2*v - 2. Let w be h(u). Which is bigger: w or 13/5?
w
Let j be (4/(-13))/((-2)/(-6)). Let x = 102 + -102. Is j bigger than x?
False
Let m(y) = -2*y**2 - 10*y - 1. Let j(h) = -h + 6. Let s be j(11). Let o be m(s). Is -2/29 equal to o?
False
Let w(o) = o**3 + 7*o**2 + 6*o. Let h be w(-4). Let q be (-16)/h