 + 6*h**2 + 5*h - 4. Let a be m(-5). Let j = -26 + 26.1. Is j greater than a?
True
Let b be 1 - (-4 - -3) - 0. Is 2/3 <= b?
True
Let x be 4/(-6) - (-28)/6. Suppose 0 = 4*h - x + 8. Let d be 6/(-4) + (-15)/(-10). Is h < d?
True
Let k = 340871/15 - 22734. Let y = -46/5 - k. Is y greater than or equal to 1?
False
Let s = -5 + 0. Let p(m) = -m**2 - 6*m + 2. Let r be p(s). Let f = -8 + r. Is 2/11 at least f?
True
Let g(r) = -2*r - 24. Let z be g(-17). Is z greater than or equal to 10?
True
Let f = 6.1 - 6. Which is smaller: -114 or f?
-114
Suppose -5*i + 2*i - 22 = -z, 0 = 3*z + 5*i + 4. Let h = 5 - z. Are -5/2 and h unequal?
True
Let k = 3 - 3. Suppose -3 = -j - 1. Let d = j - -3. Is d <= k?
False
Let c(b) = b - 1. Let w be c(5). Suppose 0 = 4*r + 8 + w. Is -4 bigger than r?
False
Let x = -8/15 + 101/105. Is -1 bigger than x?
False
Suppose -2*q - 7 = 2*q - 3*k, -2*q + 4*k = 6. Let r be (-3 - q) + 32/18. Which is bigger: r or -1?
r
Let m be (-4)/18 + 4/18. Let t = 172 - 123. Let x = 145/3 - t. Is x < m?
True
Suppose -3*n - 5*r + 17 = 0, 0 = -n + 3*r + r - 17. Let y = 0 - n. Let b = 20 + -17. Is b bigger than y?
True
Let h(o) = -o**2 + 2*o + 3. Suppose 3*f - 24 = -3*i - 0*f, 0 = i + 5*f - 28. Let r be h(i). Is -1/9 greater than or equal to r?
False
Let s(h) = -13*h + 63. Let x be s(5). Let w = 0 - 0. Let q = w + -1. Is q at least as big as x?
True
Let a = 6 - 17. Let c = -12 - a. Is 1/17 equal to c?
False
Let h be ((-28)/(-21))/(4/3). Which is smaller: h or 2/17?
2/17
Let g = -120 + 113. Suppose 2*c + 3*c + 3*o + 25 = 0, 5*c - 4*o = -25. Which is smaller: g or c?
g
Let v be (-15892)/(-1120) + (-2)/8. Let z = v + -89/40. Let w = z - 12. Is -1 < w?
True
Let k be 2 - 3 - -3*3. Let w(t) = -t**3 - 7*t**2 - 7*t + 3. Let u be w(-6). Which is greater: u or k?
u
Let y = 13 - 15. Which is bigger: 0 or y?
0
Let j = -2.85 + 3. Let b = -0.05 + j. Which is smaller: b or 8?
b
Let x(s) = -7*s - 5 + s**2 - 2 - 2*s**2. Let v be x(-5). Let r = v + -2. Is r at most as big as 0?
False
Suppose 2*d = -3*d - 4*j + 5, 3*d + 5*j - 3 = 0. Which is bigger: 4/13 or d?
d
Suppose -3*r + 9 = -2*b, 4*r - 12 = -2*b - 0*r. Is -1/3 at most as big as b?
True
Let j = -9 + 6. Let g = j + 3.1. Let x = 0 - -1/2. Which is smaller: x or g?
g
Suppose -5*b = -6*b + 3. Which is greater: 7/3 or b?
b
Let d(u) = 5 - 5*u**2 + 0*u**3 + 2 + 0*u**3 + u**3. Let p be d(5). Is p less than or equal to -1?
False
Let r be (2/(-4))/(18/8). Let g be (-1)/(2 - (-6)/(-2)). Which is bigger: r or g?
g
Let a be 2*(-1)/((-4)/(-18)). Suppose -y - 12 = w, 5*y - 2*w + 6*w + 57 = 0. Are a and y equal?
True
Suppose -4*d + 5*c = 85, 3*c + 25 = -d + 5*c. Let y be d/3 + 3*1. Are y and -1 nonequal?
True
Suppose 4*t = -2*t + 72. Let z be 6/(-4) + (-18)/t. Is z at most -5?
False
Suppose -5*i - 2*s - 10 = 0, 0 = -2*i + 5*s - 0*s + 25. Is -2/7 >= i?
False
Let y = 5/18 + 11/90. Let r be ((-6596)/(-28))/(-2 + 1). Let h = 236 + r. Which is bigger: h or y?
h
Let f = 602 - 1738/3. Let t be -1 + -24 + 2/1. Let s = t + f. Is -0.1 greater than s?
True
Let b(w) = -4*w + 2. Let n(d) = d - 1. Let z(i) = b(i) + 3*n(i). Let s be z(-5). Let p be ((-6)/s)/((-9)/12). Do p and 6/11 have the same value?
False
Let h = 2 - 1. Let d = -0.05 - 2.95. Let n = h + d. Is n smaller than -0.1?
True
Let m be (-7 - -1) + 1/(-1). Let x = 6 + m. Which is smaller: -2/15 or x?
x
Suppose 4*p - 36 = 4*d + 12, 2*d + 18 = -p. Let a be 2/d + (-232)/40. Is -7 at least as big as a?
False
Let i = -153 - -152.8. Which is smaller: i or 0.7?
i
Let l be 18/(-135) - 0/2. Which is smaller: l or -1/3?
-1/3
Suppose 3*g + 3*g = 0. Let f be 273/(-8) - (-1 + 2). Let u = f + 35. Which is bigger: u or g?
g
Let w be (-6)/(-4)*(-7)/(-42). Let u = -0.5 - -0.4. Let c = 0.3 + u. Is c >= w?
False
Let d = 78.6 + -79. Is d greater than or equal to -2/17?
False
Let f = -183 - -1284/7. Which is smaller: 0 or f?
0
Let t(u) = -17*u**2 + 4*u - 5. Let q be t(5). Let v = -4516/11 - q. Which is smaller: v or 0?
v
Suppose -2*g + 2 = 8. Let z be (8/2 + 1)*-2. Let y(k) = k**3 + 11*k**2 + 10*k - 3. Let s be y(z). Is s at most as big as g?
True
Let h be -12 - (1 + (-1 - 0)). Which is smaller: -11 or h?
h
Let q = 684 + -13000/19. Which is smaller: 0 or q?
q
Suppose -4*x = -x - 15. Suppose 4*r - o - 5 = 0, -4*r = -0*r + o + x. Let k be 144/(-45) - (-4 + 2). Is k smaller than r?
True
Let z(y) = y**3 + 4*y**2 - 2*y - 7. Let n be z(-4). Which is greater: n or -2/13?
n
Let x = 100 + -92. Which is smaller: 11 or x?
x
Let o = 42 + -7. Let v be 4/14*o/(-15). Which is bigger: 0 or v?
0
Suppose 2*f = 3*f - 4. Let d be 17/(-35) + f/14. Is d at most as big as -2?
False
Let z = -28 + 15. Is z at most as big as -11?
True
Let r = -56 + 953/17. Is -1 > r?
False
Let d = -59.03 + 59. Are -1/3 and d nonequal?
True
Suppose m - 3*m = 2*b + 40, 0 = -2*b - 4*m - 38. Let o = 14 + b. Which is bigger: -6 or o?
-6
Let d = -10 - -2. Which is smaller: -2 or d?
d
Suppose -2*r - 8 = -4*r. Let i(s) = -s**2 - 14*s + 2. Let y be i(-14). Let m(k) = k**2 + 2*k - 3. Let z be m(y). Which is bigger: z or r?
z
Let j = -1.57 + -0.43. Which is smaller: -1 or j?
j
Let s(y) = -2*y**2 + 2. Let k be s(2). Let d be 20/(-8) + (-2)/(-4). Let m be -1 + -5 + 0/d. Is m <= k?
True
Let g = -2.5 - 9.5. Let n = g + 4. Is n > 1/2?
False
Let l be -5*-1*(-1 - -2). Suppose -5*t + l*h + 5 = 0, 3*h = -4*t - 0*h - 3. Let x = t + -4. Is -4 smaller than x?
False
Let l = -13 - -10. Which is smaller: l or -0.3?
l
Let a(g) = -23*g**2 - g - 1. Let m be a(-1). Do -23 and m have the same value?
True
Let j = 3 - 2. Suppose 0*b = b. Suppose -3*v - 3*k + 15 = b, 3*v - k = 2*k - 3. Which is smaller: v or j?
j
Let w = -0.3 + 0.5. Let n = w - 0.1. Let x = -0.47 + 0.41. Which is bigger: x or n?
n
Let r be ((-2)/22)/((-1)/(-2)). Is 1 at most r?
False
Let p = -5 - -3. Let k = 0.6 - -17.4. Let q = k - 16. Which is smaller: p or q?
p
Let h be (2*(-4)/8)/1. Let r = -0.01 + 0.27. Let j = -0.3 + r. Is j < h?
False
Suppose -30 = 3*c + 3*c. Let k(q) = -2*q - 1. Let b be k(4). Let f = c - b. Which is smaller: f or 3?
3
Suppose -4*b + 5*a + 100 = 0, -b - 2*a - 3*a + 50 = 0. Is b equal to 31?
False
Let g be 1/(-3 + 0) + 0. Let k be 2/8 + (-3402)/168. Is k greater than or equal to g?
False
Let g = 3.1 - 5.06. Let h = g - 0.04. Let k = -0.3 - -0.4. Is k less than or equal to h?
False
Let v be (-2)/9 - (-16)/(-9). Suppose 4*b - 4*h + 0*h - 140 = 0, -2*h = -4*b + 146. Let m be b/(-14) + (-4)/14. Which is bigger: m or v?
v
Let b = -7031/126 - -335/6. Is b > -1?
True
Let b = -420/11 + 39. Which is smaller: 2 or b?
b
Let x(t) = t - 7. Let d be x(7). Let p(l) = 1 + 1 + d - 3 + l. Let q be p(4). Do 3 and q have different values?
False
Suppose 5*o + 4*y = 131, -2*o + 2*y + 14 + 24 = 0. Is 22 < o?
True
Let j be 4*1/6*3. Suppose -4*q = 3 - 19. Let d = q + -2. Is d > j?
False
Let u = -13 + 11. Let n = 0.1 - 0.1. Which is bigger: n or u?
n
Let f = 3 + -2. Let c = 4/381 - -2454/127. Let l = -19 + c. Is f <= l?
False
Let r be -5 + 65/20 - 2/(-8). Which is bigger: r or -1/3?
-1/3
Let d(z) = z**2 + z + 2. Let v(t) = -t**2 + 1. Let g(a) = a**3 + a**2 - a. Let q be g(1). Let l be v(q). Let r be d(l). Do r and -1 have the same value?
False
Let d = -1 + -27. Let y be -2 - ((-6)/3 + d). Let b be 8/y - (-9)/(-7). Which is smaller: b or -1/3?
b
Let p be 84/(-36) + 4/(-6). Let q be p/((12/(-9))/4). Is q equal to 9?
True
Let y = 45 - 45.2. Are y and 0.12 equal?
False
Let n be (-9)/(-2) + (-2)/(-4). Let b = n - 3. Suppose 0 = -b*a + 2, 3*a - 13 = -4*x + 2*a. Is x less than 2?
False
Let a be ((3 - -7) + -1)*1. Suppose i + 5*h = -a, -3*i + 3 = -2*h - 4. Suppose 0 = 5*c - 4*d + 13, -3*c - 5 = -3*d + 4. Which is smaller: i or c?
c
Let s = 0.403 + -0.53. Is 0 at most s?
False
Let r be 2*1 - (-26 + -1). Let d be 6/15 - r/60. Suppose -5*g = 3 + 2. Is d >= g?
True
Let f(u) = -u**2 - 4*u - 2. Let w be f(-2). Suppose 0 = 4*d - 287 + 11. Let s be ((-9)/d)/(3/w). Is 1 at least s?
True
Suppose 9 = 4*w - 31. Let k = w + -9. Let r be (k/(-5))/((-4)/(-10)). Which is bigger: -2 or r?
r
Let o = -839/9 + 93. Are 0 and o nonequal?
True
Let y(z) = z**3 - 14*z**2 - 18*z + 50. Let v be y(15). Let i(n) = n**3 + n**2 - 2*n + 1. Let l be i(1). Is l > v?
False
Let y = 11.9 - 12. Is 23/3 at least y?
True
Let w = -2259 - -15847/7. Which is gr