**2 + 6*h**2 + 2*h**3 + 2*h + 1 + 3*h - 3*h. Let a be q(-2). Which is smaller: -8 or a?
-8
Suppose i - 20 = 2*i + 3*f, -4*i = -4*f. Suppose m + 9 = 4. Is m at least as big as i?
True
Let c = 7 + -5. Suppose -4*r - 4 = -2*t - 10, -3*t = r - 12. Is c <= t?
True
Let c(a) = -a**2 + 8*a - 8*a + 2. Let y be c(-2). Let k be ((-1)/(-6))/(y/3). Does k = 1?
False
Let x = 10 - 17. Let i be x/(-7)*(0 - -1). Is i greater than or equal to -0.8?
True
Let v = -6 - -16. Let i be 4/v*(6 - 1). Is 2 bigger than i?
False
Let x = 6 + -5.6. Let y = 6.7 + -7. Let c = y + x. Which is smaller: c or 1/3?
c
Suppose -4*v = 60 - 32. Is 1 less than v?
False
Let y be (-8)/5*4/(-8). Let j be (-2)/8 - 1/(-4). Suppose 3*d - 2 - 1 = j. Is y at most d?
True
Let k be 4/55*30/(-12). Are 1 and k nonequal?
True
Let y = -27 - -27. Are 5/9 and y non-equal?
True
Let x be (((-234)/(-10))/3)/((-3)/15). Which is smaller: 0.1 or x?
x
Let j be (-26)/(-2)*(2 + -3). Suppose -19 - 15 = 2*f - 4*d, 5*f - 2*d + 69 = 0. Is j bigger than f?
False
Suppose -7*b + 12 = -4*b. Let p(s) = -s**3 + 3*s**2 + 6*s - 4. Let d be p(b). Let x = d + 1. Is 3 < x?
True
Let o(s) = s + 5. Let j be o(-4). Let z be (-3 - -2)*6/(-7 + 1). Is z < j?
False
Let c be (-39)/9*1/22. Let r be 1*2 + (-141)/66. Let u = r + c. Do -2 and u have the same value?
False
Let o be 26*2/(-17)*-1 + -3. Let g(s) = s**3 - 5*s**2 - 5*s - 6. Let n be g(6). Which is greater: o or n?
o
Let l be (8/(-6))/(3/9). Let d be (l + 3)*(-2)/5. Let h = -2 - -2. Which is greater: d or h?
d
Let t = 3 + -4. Let l be t + (-3 - (-5 + 3)). Suppose -7 = 3*s + j, 5*s - s - 5*j + 22 = 0. Which is smaller: s or l?
s
Let x = 6 - 1. Suppose 2*b + 9 = x. Which is bigger: -1/2 or b?
-1/2
Let q = 106 + -148. Let i be ((-2)/q)/((-6)/18). Is i > -1?
True
Let q = -16.1 + 11. Let j = q + 5. Let r = -0.1 - j. Which is smaller: 2/3 or r?
r
Suppose -11 = 3*i + 10. Suppose 16*l - 10 = 18*l. Which is smaller: l or i?
i
Let q = 2 + 5. Suppose j = -5, -60 = -5*u + q*j - 2*j. Is u != 6?
True
Suppose 4*f - 2 + 6 = 0. Let b be (0 - f/(-2))*-6. Is -0.1 equal to b?
False
Let o(t) = -t + 1. Let u be o(1). Suppose -5*a + 2 - 7 = u. Which is smaller: a or 2/11?
a
Let i = -3 - -8. Let u = 10 - i. Suppose u*s = s. Is -3/7 != s?
True
Let f = -21 + 19. Let i be (-3 - -5)*f/(-18). Let j = 1 + 0. Do i and j have different values?
True
Let f be 10 + 1 + (3 - 1). Is f at most as big as 12?
False
Suppose -2*x - 60 = -7*x. Is 11 not equal to x?
True
Let h = -11/5974 + 5520251/149350. Let w = h + -37. Which is bigger: w or 0?
0
Let r = 425/3 - 143. Which is smaller: r or -1?
r
Let u = 12 - 17.2. Let b = u - -5. Is b < -1/5?
False
Let w = -8 - -5. Let c be 3/(5/(-6)*(-8 - 1)). Is c <= w?
False
Let s = -3.1 + 2.5. Is s >= 0.2?
False
Let t(u) = -2*u**3 + u**2 - u + 1. Suppose 0 = 4*h - 2*p - 4, -5*h + 4*p = -0*p - 5. Let f be t(h). Let x = 11 - 32/3. Which is bigger: x or f?
x
Let w(g) = g**2 - 6*g + 4. Let d be w(5). Let f be 52/(-80) + (-8)/(-20). Which is bigger: f or d?
f
Let p be (-14)/(-5) + -9 + 6. Let i = 2.2 - 1.7. Is p > i?
False
Let v be (-1 - -13)*9/27. Which is smaller: 19/4 or v?
v
Let u = 165 - 1487/9. Let z = 6.1 + -6. Which is greater: z or u?
z
Let d be -1 + (-8)/((-624)/90). Let n = -3 + 2. Let t = n + 1. Which is bigger: t or d?
d
Let p = -16 + 22. Suppose 4*d = i + p, 4*i - 3*d = -d + 4. Which is greater: 1 or i?
i
Suppose -l - h - 51 = 0, -7*l - 210 = -2*l - 4*h. Is -46 greater than or equal to l?
True
Suppose -o = -5*o - 80. Is o at least as big as -2/3?
False
Let g = 4 - 4. Let l be 1 - (g + -1) - 2. Let y be (-2)/(-14 + 0) - l. Which is bigger: y or 2/5?
2/5
Let t be 4/99 - (-8)/44. Let v = -3 - -3. Which is smaller: t or v?
v
Suppose r + 0*r + 3*k + 7 = 0, 5*k = -15. Which is greater: r or -1?
r
Let k(o) = o**3 - 15*o**2 - 17*o + 20. Let f be k(16). Let h be (2 - 3)/1*-5. Suppose -f*t + 11 = -h, -x - t = 0. Is x at least as big as -3?
False
Suppose -12 = 2*s - 6*s. Suppose -3 = -s*o - 0*o. Which is smaller: o or 2?
o
Suppose 2*v = 4, 5*c + 3*v + 10 - 141 = 0. Which is smaller: 24 or c?
24
Let f = -57 - -41. Let z = f + 17. Is z bigger than 0?
True
Let o be ((-6)/(-20))/(-3)*(-100)/25. Is o <= -28?
False
Let f be (-127)/(-11) + (-138)/253. Is f bigger than 11?
False
Let t(x) = -x**2 + 8*x + 12. Let f be t(9). Is 1 <= f?
True
Let m be (-138)/(-616)*(-13)/27. Let b = 7/99 - m. Let g = b + -29/84. Is 0 at least g?
True
Let x(m) = m**3 + 4*m**2 + m. Let s be x(-4). Which is smaller: -6 or s?
-6
Let t(a) be the third derivative of -a**5/60 + 7*a**4/24 + 7*a**3/6 - 2*a**2. Let w be t(7). Suppose 5*c - w = -2. Is c less than 1?
False
Let t(x) = -2*x - 3. Let b be t(-2). Is b bigger than 0.029?
True
Let c be 7/(-2 + -2 - -3) - 0. Is 0 smaller than c?
False
Let p be (-84)/(-99) + 2/(-3). Suppose 3*l + 14 = -2*m, 3*l + m + 3*m + 22 = 0. Are l and p equal?
False
Suppose -o + 14 = o. Suppose 0 = 2*d - g - 7, 0 = -5*d + 3*g - 7*g + 37. Suppose 0 = 2*c - o + d. Which is greater: 5 or c?
5
Suppose 4 = -n - 3*p + 3, -3*n + p = -7. Suppose 3*f - 15 = -n*f. Suppose 0*r + 3 = -4*j - 3*r, 3*j + f*r + 3 = 0. Is 0 at least as big as j?
True
Let b(h) = h**3 - h**2. Let l be b(2). Suppose l = -4*n - 0, 5*r = -n + 4. Do 0.1 and r have different values?
True
Let x(z) = z**3 - 8*z**2 + 6*z + 9. Let d be x(7). Let s = 3 - 2. Is s greater than d?
False
Suppose -2*o - 2 = 4. Let u be 62 + o/((-9)/6). Let x = -255/4 + u. Is x equal to 0?
False
Suppose t = -4*n - 2*t + 3, 3*n + 5 = 5*t. Do n and 2/201 have different values?
True
Let c = 2.16 + -0.16. Which is bigger: c or -2/5?
c
Suppose 6*u - 2*u = l - 26, 3*l + 2*u = 134. Which is greater: l or 41?
l
Suppose 7 = 4*u + z, -3*u - 5*z = -3*z - 4. Suppose 0 = 4*k + 3*s - 4*s - 20, 3*k = 5*s + 32. Is k at least as big as u?
True
Suppose 8*h + 24 = 2*h. Let n = -2 + 5. Let l(v) = -v. Let s be l(n). Is s less than h?
False
Let l be (-1 - -2) + (-19)/7. Is -2 at least as big as l?
False
Let b(q) = q + 14. Let f be b(-15). Let d = 1.92 + -2. Let o = d - -0.38. Which is smaller: f or o?
f
Let h = 4 + -2. Which is bigger: -1 or h?
h
Suppose -5*z = -3*n + 14 + 17, -z = -5*n + 37. Is 6 equal to n?
False
Let x = 3.085 - 0.085. Do x and -3/7 have different values?
True
Suppose 0*u - 2*u = -10. Let n = -7 + u. Which is bigger: n or 1?
1
Suppose 2*t - t - 8 = 0. Let u be (-150)/(-39) - t/(-52). Let y = -2 + 5. Which is bigger: y or u?
u
Let y(p) = 0*p**2 - 6*p**2 - 2*p + p**2 + 4*p**2. Let h = 1 - 3. Let d be y(h). Is d smaller than -3/4?
False
Let a = 1.3 - 2. Let b = -2.7 - a. Let x = -0.2 - 0. Which is greater: b or x?
x
Let l be 36/(-8)*(-4)/(-6). Suppose 13 = 4*p - 7. Let z = p - 7. Is z less than or equal to l?
False
Let f = 3 - 17/6. Let d = -12 - -21. Let u = 8 - d. Is u < f?
True
Suppose -j = -2*a + 13, 4*a + 2*j = a + 2. Let g be (-7)/(-21) - a/(-6). Let i be (-2 + 1)*0/2. Which is greater: g or i?
g
Let j be (-2)/(-11) - (-4)/(-22). Is j equal to 1/4?
False
Suppose 5*f = -4*y - 14 - 55, -4*f + 24 = -4*y. Is -12 greater than y?
False
Let z(f) = f + 2. Let m be z(0). Suppose -6*g + m*g = -16. Is 4 at most g?
True
Suppose 2*w + 0*w = -2*d - 10, -5*w = 2*d + 25. Suppose 3*t - 12 = -0*t. Suppose c - t*c = d. Which is smaller: c or -1?
-1
Suppose -14*b = -16*b - 16. Let x(f) = -f - 4. Let d be x(b). Let v(o) = -o**3 + 4*o**2 - o - 2. Let m be v(3). Are m and d unequal?
False
Suppose -9*s = -14*s - 2*a - 36, -5*a - 45 = 5*s. Which is smaller: s or -2?
s
Let p be (-2)/10 - (-16)/880. Which is bigger: -0.3 or p?
p
Let w = 6 + -23/4. Which is bigger: -1 or w?
w
Let w = -1/68 + 77/612. Suppose 72*a = 73*a - 1. Is w < a?
True
Let p(m) = m**2 - 2*m. Suppose 2*t - 10 = -2*t + 2*x, 5*t - 6 = -4*x. Let y be p(t). Do -10/7 and y have different values?
True
Let x(p) = -p**3 - 5*p**2 - 5*p - 3. Suppose 16 + 0 = -4*y. Let c be x(y). Which is greater: c or -2/15?
c
Let k be 2*9/(-1176)*2*1. Which is smaller: 1 or k?
k
Let h(g) = g**2 + 6*g + 7. Let q be h(-5). Let l be (q - 2) + 2/(-6). Is 0.3 >= l?
True
Let q = -7 + 6.92. Let d = 0.18 + q. Which is smaller: d or 2/7?
d
Let v(c) = -c**2 - 3*c + 4. Let i be v(-3). Suppose i*y + 0*y = 20. Suppose -p - y = -2*x, -5*p - 9 = 2*x + 16. Is x != 0?
False
Let j be 16/(-4)*2/(-12). Let d = -3 - -5. Let g = d + -1. Do j and g have the same 