greater than or equal to k?
False
Let x = -4.87 + 4.8. Let s = x + 0.07. Let b = 9.6 + 1.4. Which is bigger: b or s?
b
Let u be (-2)/(1/(4/44)). Let s = -3 + 3.1. Is u at least as big as s?
False
Let n be 102/344 + (-4)/16. Let u(m) = 2*m + 2. Let g be u(0). Suppose 5*i - 12 = g*s, i + 0*i = -4*s - 2. Is n <= s?
False
Let l be (-119)/(-20) + (-6)/72*3. Is l not equal to 0?
True
Let l(g) = 10*g**2 + 13*g - 14. Let r be l(2). Which is smaller: 305/6 or r?
305/6
Let z = 7 + -13. Let b = 4.429 + -0.029. Let h = b + -3.4. Is z less than h?
True
Suppose 9*v = 18*v - 45. Let m = 13 + -4. Which is greater: v or m?
m
Let u be 13*-9 + 0/(-2 - 3). Let l be (-12)/u*18/12. Is l bigger than -1?
True
Let y = 4099661/79 - 5274652151/101594. Let b = -6/643 + y. Is b <= -26?
False
Let y = 254 - 254.2. Is 78 < y?
False
Let x = -0.124 + -2.096. Let i = -2.1 - x. Let o = 0.32 - i. Which is greater: o or 2?
2
Let j be (-28)/(-133)*1/2. Let v(u) = -u - 7. Let o be v(-3). Let g = o + 4. Which is smaller: g or j?
g
Let q(s) = s**2 - 20*s + 11. Let b be q(17). Let o = b + 45. Which is greater: o or -1?
o
Suppose -a - 2*q = q - 28, 4*a = 2*q + 140. Let z = 75 + -52. Let l = z - a. Is -9 greater than l?
True
Suppose -383 = -5*i - 63. Let n = 64 - i. Is -5/8 smaller than n?
True
Let q = 0.1249 - 228.1249. Is 2 greater than q?
True
Let y be (0/5 + 1)*3/(-282). Which is smaller: y or 1/4?
y
Let b = -943/252 - 143/36. Is b > -7?
False
Let r = 0.184 - 16.284. Let p = -16 + 32. Let i = r + p. Do -0.09 and i have the same value?
False
Suppose -4*b + 6 = -6. Let f = 1734 + -1732. Let y = b - f. Is -2/105 less than y?
True
Let q be (-2)/(-2)*(16 - 19). Let s be (5 - 5)/(4 - 1). Suppose n - 3*r - 9 = 0, s = n - 6*n - 3*r - 9. Which is greater: n or q?
n
Let a = 0.9681 - -0.0319. Are a and -51 non-equal?
True
Let s be ((-1 + -2)/(-3))/(0 + -1). Let v be (s - 1)*(-8)/(-16) + 7. Which is smaller: 0 or v?
0
Let y be ((-4)/5)/((-2)/5) - -4. Let h be y/23*(1 - (-3)/(-6)). Which is bigger: 1 or h?
1
Let t(b) = -b**3 + 2*b**2 - 8*b + 33. Let d be t(3). Is d != 1/944?
True
Suppose x = 4*y - 14, 7*y + 4 = 4*x + 3*y. Suppose 0 = -x*m - 2*m. Let q be (1/3)/((-3)/2). Is m bigger than q?
True
Suppose 24*i = 23*i + 14. Suppose 2*k + u = 13, -5*k - i = -u - 57. Which is smaller: 1 or k?
1
Let q = 4609/15 + -307. Let x be 8/((-408)/(-45)) - (-48)/408. Which is smaller: q or x?
q
Let w = -0.14 - -16.14. Let p = w + -1. Let c = 17 - p. Which is greater: 2/5 or c?
c
Let o be (0 + 4/(-6))*(-1320405)/1130. Which is bigger: 1 or o?
o
Let g = -28.6 - -28. Let p = 1.5 + -2. Let u = -0.6 - p. Which is smaller: u or g?
g
Let z = 8712 - 3598058/413. Is z at least as big as 1?
False
Suppose -3*t - 8*v = -12*v + 37, 0 = 5*t + 5*v + 120. Which is smaller: t or -5?
t
Let g be (2/(40/90))/((-298)/4). Is -1 at most as big as g?
True
Let o = 49/4 - 43/4. Is 18 equal to o?
False
Suppose 2*p = 8, 5*c - 34 + 4 = 5*p. Let s be ((-24)/100)/(8/c). Let z = 6 - 7. Which is smaller: s or z?
z
Let q be 28/(-70) - (22/20 - 0). Let t(f) = -f**3 - 11*f**2 - 2. Let c be t(-11). Which is smaller: q or c?
c
Let h be 117 + 3*(-1 - -2). Let c be (216/h)/((-6)/(-50)). Which is bigger: c or 3?
c
Let v be ((1 - 0)*-2)/1. Let w(t) = t + 0*t + t**3 - 4*t**2 - t**2 + 8*t**2. Let h be w(v). Which is smaller: 1 or h?
1
Let n = 519/140 - -3/20. Are 5 and n non-equal?
True
Let r = 0.095 - 55.095. Let z = 58 + r. Which is greater: -9 or z?
z
Let l = -34 - -34. Suppose -t + 4*k - 11 - 1 = l, 0 = 3*t - k - 8. Suppose -s - 2*p = -21, 2*s = t*p + 17 + 1. Is s equal to 16?
False
Let z be 0 + (-7)/20 + 78/130. Which is greater: z or -6.1?
z
Suppose 2*i = -7*i. Suppose 4*k - 5*k + 12 = i. Do 10 and k have the same value?
False
Suppose -5*q + 3*b + 16 = 0, -3*q = -4*q - 5*b + 20. Let o be q - (5 + -3 + -1). Suppose -3*m + 6*m - 7 = -o*x, 4*x - 2*m - 2 = 0. Is 1/15 greater than x?
False
Let g be -1 - (2 + (-320)/7). Let k(n) = 5*n**3 - n**2 + 4*n - 1. Let d be k(2). Let t = d - g. Does 0.2 = t?
False
Let s be (-6210)/276 + (-3)/(-10). Is s >= -21?
False
Let s = -32.36 + 32. Let c = -1.54 + s. Let q = c - -2. Which is smaller: q or -23?
-23
Let d = 14 + -16. Let i = d - -1. Let j = -7 + 6.9. Is i < j?
True
Let h = -475 - -654. Are h and 180 nonequal?
True
Suppose -21*z = 34*z - 3685. Is z smaller than 67?
False
Let v = -1.429 - -0.429. Which is bigger: -11 or v?
v
Suppose -27*r = -21*r - 318. Let k = r - 48. Let x = 10 - 6. Is x at most as big as k?
True
Suppose x = -2*q - x, 4*x = -q. Suppose -7*b = -q*b - 70. Which is greater: b or 9?
b
Let r = 1.399 + 0.001. Let i = -0.4 + r. Let b = -3.7 + 3. Which is smaller: i or b?
b
Let k = -150 + 301/2. Which is greater: 1 or k?
1
Suppose 15 = -5*z, 19 + 10 = 4*r - 3*z. Let y(m) be the third derivative of m**5/60 - 5*m**4/24 + m**3 + m**2. Let u be y(5). Is r at least u?
False
Let i be 1*((4 - 0 - 8) + 2). Which is smaller: i or -4/3?
i
Let v = 1139/8 - 142. Suppose -2*o + 6*o = 12. Suppose o*j = 0, -4*w + 3*j = -0*j. Which is bigger: v or w?
v
Let i(y) = y**2 - 3*y + 1. Let v = 6 + 7. Let x = 14 - v. Let d be i(x). Which is bigger: -4/5 or d?
-4/5
Let a = -15.37 + 4.45. Let z = 0.08 - a. Let h = 7 - z. Which is bigger: h or 2?
2
Let u(s) = -s**3 + 5*s**2 + 17*s + 4. Let f be u(-2). Let q be ((-2)/(-8))/((-6)/60). Which is smaller: f or q?
q
Let g(l) = l**3 + 11*l**2 - 4. Let y be g(-11). Let f(z) = 2*z**2 + 5*z - 12. Let v be f(y). Is 2/7 < v?
False
Let z(s) be the second derivative of -s**3/3 - 7*s**2/2 + 5*s. Let g be z(-3). Which is greater: -2 or g?
g
Let d = 20.4 + 3.6. Let o = -23.78 + d. Let v = o + 0.08. Does v = 1/2?
False
Suppose 58*v - 65*v + 126 = 0. Is v greater than -9?
True
Let v = 670 - 564. Which is greater: v or -1?
v
Let a(r) = 4*r + 4. Let x be a(-4). Let y be 1 - (1 + (-4)/x). Is y less than 7.9?
True
Let l = 22.26 + -171.36. Let m = l + 143. Which is smaller: -1/2 or m?
m
Let b be (-2)/((-4)/(-34) + 0). Suppose 40*r + 979 = 339. Is b >= r?
False
Let d = -0.15 + 7.15. Suppose w + 3*x = 15, -2*w - x = 2*x - 45. Let k be 2/(-8) + w/(-72). Which is smaller: k or d?
k
Suppose -12*k - 4 - 2 - 6 = 0. Let c = 3/68 + 41/612. Which is smaller: c or k?
k
Let w = 63 + -66. Let g be (2 - 33/18)*w/(-2). Which is greater: g or -5.1?
g
Let w = -2.47 + 2.37. Is w at least as big as -376?
True
Let d = 2 - 3. Let y(x) = 3*x + 50*x**3 + 2*x - 5*x**2 - 1 - 49*x**3. Let r be y(4). Is r <= d?
False
Let y = 0.078 + 9.952. Let w = y + -10. Let g = -0.97 - w. Which is greater: 1/4 or g?
1/4
Let w = -2493 + 19869/8. Does -10 = w?
False
Suppose s = 2*s + 541. Let p = s + 15691/29. Suppose -u + 3 = 4. Which is smaller: p or u?
u
Let f(o) = -o. Let n(l) = 33*l. Let d(c) = 22*f(c) + n(c). Let w be d(-2). Suppose -g + 118 = -5*v, -4*g - 103 = 20*v - 15*v. Which is bigger: w or v?
w
Suppose -80 = 27*o - 25*o. Which is bigger: o or -38?
-38
Suppose -m + 0*u + 2*u = -3, -4*m - 3*u - 32 = 0. Let f be (-1)/(m*(-2)/10). Let h = -12752/19 + 671. Which is smaller: f or h?
f
Let j = 457/2 + -620/3. Does j = 21?
False
Let l(n) = -12 - 5*n + 3*n + n. Let p be l(-8). Let b = p + 2. Is b at least -4?
True
Suppose 7*g - 5*z - 46 = 4*g, 0 = 5*g - 2*z - 45. Suppose g*m - 11 = -137. Is m not equal to -18?
False
Suppose 46*s + 135 = 37*s. Let h be (-13)/((0 + -1)/(-1)). Which is smaller: s or h?
s
Let t be 3 - -290*(-1)/108. Let k = t + 5/27. Let u = -0.3 + 0.32. Is u != k?
True
Suppose 2108 = -413*o + 396*o. Is o bigger than -125?
True
Let h = 808 + -807.93. Let l = -169/9 + 19. Is h < l?
True
Let o be 6/15 + 392/20. Let q be o/(-25)*(6 - 1). Which is bigger: q or -7?
q
Let x = -38.87 + 39.7. Which is smaller: -1 or x?
-1
Suppose 5*f - 4*h = -1818, -f - 165 - 199 = -h. Which is greater: f or 1?
1
Let q = 29 + -29. Suppose -f = -1 - q. Is -26 greater than f?
False
Let z = -1084/7215 - 2/555. Let u = z - 8/117. Is -1/4 greater than or equal to u?
False
Suppose -9 + 299 = -2*r. Is -146 <= r?
True
Let d(m) = -m**2 + 4*m - 1. Let u be d(4). Let v(n) = 2*n**2 - 13*n - 16. Let l be v(-8). Let i be -2*(1 + -2) + (-456)/l. Which is greater: i or u?
i
Let i be (-30)/(-8) - 2/(-8). Let u be -356 - (1 - 8/i). Let r = 1409/4 + u. Which is smaller: r or -3?
-3
Let r(y) = y**3 - 26*y**2 + y - 16. Let g be r(26). Does g = 10?
True
Suppose -27 = 87