) = 2*k**3 + k**2 - 6*k - 3. Let a be q(5). Let b = a + -719/3. Which is bigger: b or 2?
b
Let w = 7 + -7. Suppose 0 = -w*g + 2*g. Suppose g = -2*y - 4, 3*c = -y - 2 + 3. Is c smaller than 1?
False
Let w = 8.3 + -8. Let f = 12.6 - 13. Let i = f + w. Is 0.1 != i?
True
Let n = -243 + 231. Let v = 0 - 0.1. Is v bigger than n?
True
Let p(a) = -a**3 - 16*a**2 + a + 29. Let f be p(-16). Are f and 15 equal?
False
Let k(d) = -d**3 + 3*d**2 + d - 2. Let u be k(3). Suppose 2*o - o = u. Let a be 3 + -2 + (-22)/16. Which is bigger: a or o?
o
Let q = -0.33 + 14.33. Let x = 13.5 - q. Is 0.1 at least x?
True
Let q = 9/31 + -515/279. Is 0.1 > q?
True
Let o = 21 + 50. Is 70 not equal to o?
True
Let b(h) = h**3 + 7*h**2 + 5*h - 4. Let t be b(-6). Suppose 2*r = 5*x + 41, -3*r + 75 = -2*x + 19. Suppose -2*i - 5*a + 12 = -i, -r = -4*i - 5*a. Is i <= t?
True
Let d(j) = -7*j**2 + j. Let l be d(1). Let t = 6 + l. Is 6/5 >= t?
True
Suppose 2*y + 7 = -w + 7*y, 5*y = -5*w - 5. Is -7/12 bigger than w?
True
Let f be 1 + -1 + (-2)/(-1). Let q be 2/f - (-9)/(-7). Which is smaller: 0.2 or q?
q
Let w = 0 + 2. Let s = -1 - 0. Let l be (1 - s)*2/6. Is l > w?
False
Let w = -77/30 - -8/3. Suppose -3*v - 1 = 2. Which is bigger: w or v?
w
Let c be 2636/22 + 2/11. Let v be c/(-32) + 1*2. Is -1 > v?
True
Let q(b) = 4*b + 3. Let t be q(-2). Let c = -6 - t. Let x = 4 + c. Is x greater than 0?
True
Let d be ((-2)/(-6))/(65/(-90)). Which is smaller: d or -1?
-1
Let x = 10 - 10.1. Which is greater: -1 or x?
x
Let i be (-3 - -4)*(2 - 1). Suppose j = 9 + i. Suppose -1 = 2*d - t, 5*d - 10 = -2*t + j. Is 1 less than d?
True
Let k be (-4)/(-22)*(-1 + 0). Let b(d) = 2*d + 6. Let i be b(-4). Let w = -1 - i. Is k smaller than w?
True
Let p = -76 - -147/2. Is p less than -4?
False
Let z(n) = -n**3 + 5*n**2 + 6*n - 2. Let m be z(6). Let k(q) = -2*q + 6. Let o be ((-16)/(-2))/(-2)*-1. Let u be k(o). Are m and u equal?
True
Let n = 24/7 - 248/105. Do 2 and n have the same value?
False
Let o be ((-22)/5 + 0)*5. Let a = o + 31. Which is smaller: 11 or a?
a
Let l = -2.05 - -2. Let r = -0.0712 + -0.0288. Which is greater: l or r?
l
Let q = -1160 + 12790/11. Which is smaller: q or 2?
2
Let d = -0.41 + 0.41. Is d greater than or equal to 0.021?
False
Let w = 14 - 18. Let i(l) = 2*l + 7. Let b be i(w). Is b smaller than -1/11?
True
Let b be 0/(-3) - -2 - -9. Let l = b + -14. Is l < -2?
True
Let m(i) be the third derivative of i**4/24 - i**3/2 - 6*i**2. Let a be m(7). Is 4 equal to a?
True
Let h(l) = l**3 - 10*l**2 + 24*l - 25. Let u be h(7). Are u and -22/7 nonequal?
True
Let i(a) = -13*a - 15. Let m(v) = -9*v - 10. Let t(n) = 5*i(n) - 7*m(n). Let l be t(-4). Suppose -5 = -3*y + g, 7*y - 2*y - l*g = 11. Which is bigger: y or 2?
2
Let s be -4 + (-5430)/(-774) + (-5 - -2). Is s at least 0?
True
Let n be -1 - (1 + 815)/(-4). Let q = n + -1825/9. Are q and 1 nonequal?
True
Let z(x) = -2*x**3 + x**2 + x - 2. Let c be z(2). Suppose -2*r = -0*r + 22. Is r > c?
True
Let j be (-10)/((2*-1)/2). Suppose 3*s + 3*f + j - 1 = 0, 0 = -f - 5. Let h = 5 + -3. Are h and s non-equal?
False
Suppose -5*w + 175 = 5*n, -2*w + 175 = 5*n + w. Which is smaller: 34 or n?
34
Let d be ((-468)/154)/3 - (-2)/7. Is d smaller than 0?
True
Let r be (-6)/8*18/27. Is r smaller than -1/2?
False
Let z = 15 + -16. Is -6/13 equal to z?
False
Let d = -249 - -248.6. Let t = 1 + -1. Is d != t?
True
Let c(z) = 5*z - 1. Let d be (-6)/(-8) - (-3)/12. Let a be c(d). Suppose 0*j = -a*w - 4*j - 20, 0 = 5*w - 3*j + 1. Which is greater: -1 or w?
-1
Let q be (-21)/9 - 12/9. Which is smaller: -3 or q?
q
Let f = 0.9 + -0.95. Which is smaller: 1 or f?
f
Let l = 1602388018 + -858456176. Let b = l - 30260915533202/40677. Let z = b - -2/1937. Which is greater: -1 or z?
z
Let a = 501/310 + -1/62. Let y be 2 - ((-3)/3 - -1). Is y not equal to a?
True
Let b = 7/12 - 67/84. Are b and -1 non-equal?
True
Let d = 351.9 - 332. Let y = 20 - d. Which is greater: y or -2?
y
Let x = 3461/10 - 346. Let g be (-2)/3 - 2/(-3). Which is greater: x or g?
x
Let l(q) = -q**3 + q**2 - q - 1. Suppose 0*c + 2 = -2*c. Let h be l(c). Let f be ((-5 - -3) + h)/(-1). Which is smaller: f or 8/7?
f
Let h = -1/45 + 19/45. Suppose -8*t + 3*t + 30 = 0. Suppose g - 15 = t*g + 5*l, 5*g + 9 = -2*l. Is h at most as big as g?
False
Suppose -4*r - 1 - 7 = 0, 0 = 4*f + 4*r - 52. Let d be 10/(-4)*(-4)/f. Let i = -0.3 + 0.2. Is d less than or equal to i?
False
Let b = 0.07 - -13.73. Let s = -14 + b. Which is smaller: -2 or s?
-2
Let x = 82/3 + -27. Which is smaller: x or 14/5?
x
Let y = 1 - -3. Let p = 4 - y. Is 4/9 at least p?
True
Let r = 0.9 - 0.91. Let g = r + 1.01. Suppose 0 = 2*n + 4 - 0. Is g equal to n?
False
Suppose -z + 10 = 2*z - o, z + 18 = -5*o. Let i be 4 + -1 - 2/z. Which is smaller: 5/9 or i?
5/9
Let g = 67 - 30. Let i = g + -42.3. Let k = i + 5. Which is smaller: -1 or k?
-1
Let c be (0 - 0)/(-5 + 7). Let w(h) = -h**3 - 8*h**2 - 6*h - 6. Let j be w(-6). Let s be ((-6)/j)/((-2)/(-2)). Is c smaller than s?
True
Let l be 4*((-5 - -3) + 1). Let y be 30/(-12)*l/5. Which is smaller: y or -0.2?
-0.2
Let u be 0/(2 - 4 - -1). Let y = 4.2 + -4.03. Do u and y have the same value?
False
Suppose 3*s - s + 29 = 5*l, 11 = 2*s + 3*l. Is -1 smaller than s?
False
Suppose -4*c + 51 = -w, -6*c - 4*w = -c - 48. Suppose -3*l + c = -3*o, 2*l - 2*o = -7*o - 6. Suppose -2*v + 3*v = l. Which is bigger: 1 or v?
v
Suppose 0 = -z - 2*z. Let t = 9 - 4. Suppose l - t*x + 2 = 0, x - 10 = 5*l - 2*x. Is z greater than or equal to l?
True
Let f be 3/6*-2 + 3. Let z = -5 + 5.09. Let w = -0.49 + z. Which is bigger: f or w?
f
Suppose -5*t = -18 - 77. Let g = 16 - t. Which is smaller: -4 or g?
-4
Suppose -7*m + 4*m = 3. Is m bigger than 1/47?
False
Let z = -9.009 + 9. Let y = 2.691 - z. Let d = y + -3. Which is smaller: d or -0.1?
d
Suppose -t - 6 = -2. Let j = 20 + -13. Let d be 2 - (-1 + -1 + j). Which is greater: t or d?
d
Let q be 0/8*(-1 + (-3)/(-2)). Let y be 6/(-14) + 3 + -2. Which is bigger: q or y?
y
Suppose 0 = 5*r - 4*k + 21, -r + 3*k = -0*r + 13. Let c = -2.111 + 0.111. Which is bigger: r or c?
r
Let h = 2.8 - 1.8. Let d be 2/(-1 + 22/18). Suppose -2*s - 3*n = 1, -2*s - s + 3*n - d = 0. Which is smaller: s or h?
s
Let b = -11 - -19. Is 0.3 greater than b?
False
Suppose -16 = 3*f - 3*k - k, -2*f + k = 4. Is 1/35 < f?
False
Suppose 2*r + 12 = -r. Let f = -5 - -1. Is r smaller than f?
False
Let x(w) = -w**2 - 3*w - 3. Let t be x(-2). Let s = t - 0. Let i = 1 + -2. Is s less than i?
False
Let p be (8/(-7))/((-1)/(-131)). Let f = 150 + p. Suppose 0*q - 1 = q. Does q = f?
False
Suppose 4*g - 4*h + 20 = 0, 4*g + 4*h = 3*h - 40. Let d = g - -4. Is -4 < d?
False
Let s(d) = -5*d - 12. Let l = -14 - -4. Let h be s(l). Let o = 113/3 - h. Which is greater: 0 or o?
0
Let n = -11 - -12. Is 6/5 at most n?
False
Let b(o) = -o**2 + o + 1. Let f be b(2). Let k be 1 + 33/(-12) - -2. Which is smaller: k or f?
f
Suppose 5*i - 22 = 53. Suppose -4*n - n + i = 0. Do 0 and n have the same value?
False
Let r = -132 + 398/3. Is r != 1?
True
Let y = 16 - 15. Is -1/32 greater than or equal to y?
False
Suppose -6 = -2*w - w. Let s be (-15)/(-20) - (-7)/4. Which is smaller: s or w?
w
Suppose -z = -3*t + 9, 0 = 5*z - t + 5 - 2. Suppose 8 = c + 5*h, -h - h + 2 = z. Suppose 0 = -r - 5 + c. Is -2 > r?
False
Let k be 2/(-7) - (-75)/238. Let x be 36/(-27) + 2 - 1/(-3). Is x > k?
True
Let w = -4.3 + 4. Which is greater: -3/5 or w?
w
Let q = -94 + 1036/11. Let s be (8 + -2)*(-34)/(-3). Let m = s + -342/5. Is m less than or equal to q?
True
Suppose -1 = o - 2. Suppose -2*a + y = 2, 2*y = 3*a + 3 + o. Is 1 less than a?
False
Suppose -2*d + 7*d = 0. Let h be -2*(-1 + 0 + d). Suppose 0 = h*w - 2. Which is greater: 2/3 or w?
w
Suppose 3*k - 5*j + 148 = -513, -227 = k + 5*j. Let f = -2444/11 - k. Which is smaller: 0 or f?
f
Let l = -43 + 45. Which is greater: 9/4 or l?
9/4
Let j = 1 - 0. Suppose -b - 3*n - 6 + 2 = 0, -4*n = 3*b + 7. Let s be (-1 + 0)*(0 + b). Is s at most j?
True
Let g = 16 - 19. Let t = g - -2. Suppose -y + 0*y - 9 = 3*h, -5*y - 3*h = 9. Which is greater: y or t?
y
Let w be (-26)/(-4) - (-2)/(-4). Let c(l) = 2*l - 9. Let d be c(w). Let b = 4 - d. Is b > 1?
False
Suppose -b = 2*b. Suppose 2*l + 3*l + 10 = b. Which is smaller: l or -4?
-4
