ller than k?
False
Let k be -2*(-4 - 63/(-14)). Let b be (4/(-35))/((-56)/(-100)). Which is smaller: b or k?
k
Let g(n) = n**2 - 48*n - 383. Let m be g(-7). Suppose z + 2*z - 102 = 0. Let u = 39 - z. Which is greater: u or m?
u
Suppose 0 = -h - 2*m - 10, 0 = -0*h + h - m - 5. Which is greater: -5/5889 or h?
h
Let j = -26.34 + 156.34. Is 48 >= j?
False
Let g = 32867 + -163663/5. Suppose -3*d + 3*p = 399, 2*p + 0 = -2. Let z = g + d. Is z less than -0.11?
False
Let t(q) = q**2 + 19*q + 5. Let g be t(-19). Suppose -3*i - 2 = -2*o, 5*o + 47 = -g*i + 2. Which is bigger: o or 2?
2
Let q = -3 - 25. Let t = 283.8 + -312. Let u = t - q. Is u > -1/15?
False
Let f(y) = y**3 + 27*y**2 - 63*y - 62. Let j(o) = o**3 + 27*o**2 - 64*o - 63. Let q(p) = -3*f(p) + 2*j(p). Let w be q(-29). Is -5 != w?
True
Let n = 40 - -66. Suppose 4*j = -4*s - 0*s - 72, 5*j - 3*s = -n. Let l be (-4)/j + 1044/(-5020). Is -1 less than l?
True
Let j = 466 + -430.5. Let a = j + -33.5. Suppose -4*f + c - 3*c = 54, -5*f = 5*c + 80. Which is smaller: f or a?
f
Let j = 23 + -23. Suppose j = 980*w - 985*w - 1245. Which is smaller: -248 or w?
w
Suppose 0 = u + 6 - 10, 5*t - 108 = -2*u. Is 13 at least t?
False
Suppose 5*y = -3*u - 39, -y + 0*u = -5*u - 9. Let s be (9/y)/(1/(-6)). Let l = 0.146 + -1.146. Are s and l unequal?
True
Let u be -3 - (-60)/(-8)*20/(-42). Suppose 0 = -a - 3*a + 3*k + 19, -4*k = a. Let w be (2/20)/(a/10). Which is smaller: u or w?
w
Let s(v) = -2*v**3 + 12*v**2 - 3*v + 15. Let u be s(7). Let f = 105 + u. Which is smaller: f or 21/23?
21/23
Let d = -5158.1 + 4812. Let z = d + 346. Is 0.6 bigger than z?
True
Let j = 2.42 + -2. Let r = 0.21 - j. Let v = r - -0.01. Is -0.5 at least as big as v?
False
Let r(s) = s**2 - 13*s - 335. Let a be r(-26). Which is smaller: 673 or a?
673
Let h = -15.655 - -15.8. Let w = h - -0.055. Which is bigger: w or -45?
w
Suppose 51*i - 52*i = 4*c - 7, -11 = i - 5*c. Is i != 13/777?
True
Let w(t) be the second derivative of 11*t**4/4 - t**3/2 + t**2 + 66*t. Let s be w(1). Which is bigger: 125/4 or s?
s
Let t(d) = -d**3 - 6*d**2 + 14*d + 1. Let z be t(-8). Suppose -50*n = -67*n + z. Which is smaller: n or 12?
n
Let x = 0.0576 - -24.9424. Is x at least as big as -6?
True
Let d be 128/10 - ((-20)/(-25))/(-4). Let p = -13 + d. Let w be p/3 - -4 - -4. Which is smaller: w or 7?
7
Suppose -4*m - 2852 = 3*n, -3*m + 3736 = -7*n + 3*n. Which is bigger: n or -10332/11?
-10332/11
Let x be (-5 + 7)/(2/12 + 1111/(-7062)). Let b = -6 + 8. Which is bigger: b or x?
x
Let i = 0.18927 + -1342.18927. Is i < 0?
True
Let m(u) = u**3 - 13*u**2 + 2. Let g be m(13). Let w be (6 - g - 1) + -51. Suppose -4*z + 46 = -x, -z = -238*x + 242*x + 184. Which is bigger: x or w?
x
Let f = 57 + -30. Suppose f*w = -0 + 27. Is w > 8/9?
True
Let x = 36 - 32. Let d be 2/x*(-2 - 136/4). Let f be 22/d + (-25)/9 + 3. Which is greater: -4/5 or f?
-4/5
Let y(c) = c**3 + 4*c**2 + 2*c + 5. Let n be y(-3). Suppose -n = -2*z - 2*k, -4*z - 8 = 5*k - 22. Let d be ((-20)/z)/((-2)/(-6)). Is -10 at least as big as d?
True
Let n = 0.14 - 0.24. Let c = -46566 - -187241/4. Let p = -246 + c. Which is greater: p or n?
n
Let k = -1.44 - -3.29. Let r = k + -1.75. Are -0.11 and r non-equal?
True
Let o = 1.51561 - -0.48439. Suppose -3*y + 1104 - 411 = 0. Is y smaller than o?
False
Suppose 17 = -11*h + 50. Let s be (h - 11)/8*1. Is s not equal to 18?
True
Suppose n - 4*u = 6*n + 15, 3*u = 3*n - 18. Suppose 2*f + 3*s - 13 = -0*s, s + 3 = 3*f. Let m be (-100)/102 + 2/f. Which is smaller: m or n?
m
Suppose 3*n + 7*r - 30 = 2*r, 0 = 5*n + 3*r - 34. Suppose -n*y = -4*p + 15, -4*p - p = y + 3. Let s be -2 - 2/(-42)*44. Which is smaller: s or p?
p
Let t(j) = -4*j + 2. Let k be t(1). Let r be 1/(-8)*-4 + 13/k. Let g be -3 - (-8 - -11)/((-2)/r). Is g at most as big as -12?
True
Let s = -29 + 47. Suppose d + s = 3*d. Let y = -543131 + 543141. Which is bigger: d or y?
y
Suppose 5*z - 3*z + 3*c - 43 = 0, -5*c + 115 = 5*z. Let k = -22 + 9. Let i be (-1)/((z/(-48))/k). Is i greater than -24?
False
Let p = 13006939681/517 - 25158501. Let q = p + 114/11. Suppose j + 4 = -3*j. Is q less than j?
False
Let v = -6859112 - -65868052474/9603. Let q be (-56)/(-2328)*2/21*6. Let x = q - v. Is x less than 1?
True
Suppose 3*u = 0, 5*i + 5*u - 1478 + 4313 = 0. Which is greater: i or 2?
2
Let g be ((-29)/8 - 0) + 17 + -14. Let y(c) = 10*c - 9 - 4*c - c - 7*c. Let d be y(-4). Which is smaller: g or d?
d
Let j be (-32 - -29)/(1/3*(-19 - -20)). Which is bigger: 454 or j?
454
Let u = -104 - 205. Which is bigger: -926/3 or u?
-926/3
Let d(r) = -r**2 - 8*r + 272. Let i be d(-21). Which is greater: i or 8/165?
8/165
Let z = -535 + 207. Let n be (-41)/z + (-66)/592. Which is bigger: n or 0?
n
Let j(m) = 2*m**3 + 16*m**2 - 4*m - 33. Let n be j(-8). Is -198/131 <= n?
True
Let x(w) = w - 16. Suppose -13*c + 16*c = -9. Let y be x(c). Is -20 >= y?
False
Let k = -1158307986/3341 - -346695. Is -1 less than k?
True
Let z = -93 - -101.2. Let m = 7.7 - z. Let d = 24 + -18. Is d < m?
False
Let v be (-36)/(-48) + (-791095)/1054884. Which is greater: -1 or v?
v
Let h = -704076 - -704077. Let f(y) = -1041*y - 5. Let r be f(-4). Let q = r + -1102137/265. Is h less than q?
False
Suppose w - s = 15, 2*w - 58 = 10*s - 15*s. Is w bigger than 3?
True
Let o = 9735 + -9680. Suppose -v - 5 = 2*j, -3*j - v = -4*j - 7. Let c be 22/(-3)*30/j. Are o and c unequal?
False
Let o be -8 - -2*2/((-8)/(-2)). Let a = o - -27. Let v be 13/a + (-4)/10. Which is smaller: 5 or v?
v
Let m = -104327342/6801 + 15340. Which is smaller: m or 1?
m
Let s = -0.9 + 0.8. Let k = 3.028 + -3. Let u = 26.028 - k. Which is greater: s or u?
u
Let d(x) = 48*x + 1553. Let r be d(-5). Which is bigger: 1314 or r?
1314
Let k(a) = a**3 - 6*a**2 + 6*a - 4. Suppose -5*c + 106 = 86. Let p be k(c). Is -10 < p?
False
Let f = 19.88 - 14.81. Which is greater: -1/8 or f?
f
Suppose 122 = 2*t + 2*x, -278 = -3*t - 5*x - 95. Let s be 100/(-12) + 223/3. Which is smaller: t or s?
t
Suppose -c - 6*j = -2*j - 1, 3*c - 3 = -4*j. Let m = 2/4155 - 8848/1117695. Is m at least as big as c?
False
Let g = 34 + -40. Suppose 466 = -15*r + 46. Are r and g nonequal?
True
Let x(n) be the first derivative of n**4/4 - 8*n**3/3 + 3*n**2 - 3*n - 10. Let f be x(6). Let q = 191/5 + f. Is q > 0?
False
Suppose 0 = -5*f + 3*d + 11, 2*d = -4*f - 0*f + 22. Let c = 147 + -145. Suppose -f*x = 3*w - 116, 12 = -c*w - w. Which is smaller: 33 or x?
x
Suppose 0 = 67*b - 401 + 334. Let n be -2 + 3 + (-53)/51. Which is smaller: n or b?
n
Let y(i) = -i**3 + 6*i**2 + 6*i + 6. Let c be y(7). Let r be ((-70)/34 - 38/(-19))/(-33). Which is smaller: r or c?
c
Let b = 11654 + -11520. Which is smaller: -1 or b?
-1
Suppose 69*r - 57 + 57 = 24*r. Is -9/460 less than r?
True
Let p = -18815065/971 - -19377. Suppose -2*x = 2*x + 2*z - 4, 2*x + 18 = 4*z. Is x at least p?
False
Suppose -34*w + 2700 = -37*w. Let k be (-2)/(-3) + w/54. Let q be (381/(-4))/3 - (-4)/k. Which is bigger: -30 or q?
-30
Let d = -27092244446/50459 - -536916. Is d < 1?
True
Let q(z) = -z**3 + 7*z**2 + 50*z - 66. Let p be q(11). Is p less than or equal to -3/118?
False
Let p be (4 - -4) + 5 + (-2080)/12. Let v(s) = -3*s**2 - 7*s + 20. Let t be v(-9). Which is greater: t or p?
t
Suppose 77*x = -2*v + 75*x + 54, 0 = -5*v + 3*x + 143. Suppose -10 = -33*y + v*y. Which is smaller: y or 4?
y
Let n = -73 + 78. Suppose -n*p - 524 = 6*y - 10*y, 0 = 2*y - 2*p - 262. Is y > 130?
True
Let v = 20379 + -20379. Is v bigger than 15/1847?
False
Let l be (-683)/10 - ((253/(-22))/(-23) - -1). Is l greater than or equal to 1/2?
False
Let v be (24/18)/(((-8)/6)/(-4)). Let q be v + -1 + 82 + -84. Suppose -4*i + 87 - 31 = 0. Is q less than i?
True
Let t = -797 - -1514. Let x = t - 40867/57. Is x at least as big as 0?
True
Let m(v) = v**3 + 2*v**2 - 2*v + 72. Let x be m(0). Suppose -4*b = 4, 4*b + 0*b = -4*z + x. Suppose -r - 1 = -19. Is z greater than or equal to r?
True
Let c = 16310 + -16310.1. Is c < 5758?
True
Let b = -0.3 - 1.7. Let i = b - -2. Let j = 2.705 + 0.295. Which is greater: j or i?
j
Let z = 4.977 + -5.877. Is z < 65/8?
True
Let y be ((-9)/(-582))/(-2*(-12)/128). Let k = -460/873 + y. Which is smaller: 1 or k?
k
Let g = -132 + -12. Which is smaller: g or -149?
-149
Suppose -127*p = -240*p - 