is greater: a or k?
a
Let z = 7.3 + 86.7. Let a = -0.2065 - -2.2065. Which is greater: a or z?
z
Let p = -32044/85 - -377. Let u = 159/935 + p. Which is greater: 1 or u?
1
Let f(v) = -19*v**2 + 15*v - 43. Let w be f(3). Which is bigger: -171 or w?
w
Let c be ((-302575752)/(-72702762) - 4) + (-6)/33. Let z = -1/7393 + c. Is z at least as big as 0?
False
Let z = 65 - -73. Suppose 22*x + z = -60. Is x smaller than -39/5?
True
Suppose 0 = -5*f - 710 + 220. Let d = f - -53. Let x = -1162 - -1118. Is d bigger than x?
False
Let y be 8/6*-3787*(-42)/196. Is 1082 < y?
False
Let x = -2/10845 + -1222448/2169. Is -564 greater than or equal to x?
False
Let t(g) = -3*g**3 - 8*g**2 - 23*g + 7. Let k be t(-3). Which is bigger: 86 or k?
86
Let u = 30238 + -32311. Is -2073 >= u?
True
Let f = 85207 + -85157. Let z(j) = 19*j - 4. Let d(u) = 20*u - 3. Let o(c) = 5*d(c) - 4*z(c). Let k be o(2). Which is smaller: k or f?
k
Let r(k) = -2*k**3 - 9*k**2 - 70*k - 17. Let h be r(17). Is -13634 at least h?
True
Let x(b) = -b**3 - 7*b**2 + 4*b + 32. Let m be x(-7). Let f be (-6)/m - 154/(-36) - 3. Is -45 not equal to f?
True
Let g = 937 - 938.4. Which is smaller: g or 0?
g
Let t be (6/2)/((-3)/(-8)). Let j be (-2)/((-4)/(-126)*9) + 1. Let k be (t/j - -1)*(8 + -8). Which is smaller: k or 15/13?
k
Let l be (46/115)/(-1) + (-1718)/5. Does l = -341?
False
Suppose 28*q - 29*q = -5*c + 15, 0 = -3*q - 3*c - 27. Suppose 5*m + 15 = -0*m. Let o = m - 8. Is o greater than or equal to q?
False
Let s = -91582 - -91583. Let c = 1046 + -162128/155. Which is smaller: c or s?
c
Let u = 752 - -249. Let d = -1089.4 + u. Let k = -87 - d. Are 1/2 and k nonequal?
True
Let z be (4/(-18) + (-68328)/(-23166))*2/5. Is -3/19 less than or equal to z?
True
Let g = 1/7857 - -15707/54999. Which is smaller: 2769 or g?
g
Let a = 38947 - 38946. Which is smaller: a or -0.08858?
-0.08858
Let m = 11958.2 + -12461.13. Let b = m - -503. Is b greater than 4?
False
Let t = -4237.0295 - -4238. Let q = t + 0.0295. Is q >= 1.08?
False
Suppose 0 = 4*b - 746 - 586. Let f = b + -323. Which is smaller: 5 or f?
5
Suppose 0 = -v + 4*y + 178 - 1, 0 = 2*v + 5*y - 419. Is 202 bigger than v?
True
Let r be (4/6*-1)/((-2)/6). Let b be 0*3/2*r/3. Are 4/159 and b unequal?
True
Let n(j) = -j**3 + 4*j**2 + 6*j - 4. Let q = 64 + -60. Let b be n(q). Which is smaller: 22 or b?
b
Let q = -0.17 - -0.27. Let c = -2835.97 + 2836. Which is bigger: q or c?
q
Suppose -4*p = -4*h - 101 - 91, -2*p = -4*h - 102. Suppose 2*x = 2*z - 132, 111 - p = -x - z. Let y be 15/10 + x/(-6). Is -0.2 equal to y?
False
Let k(i) = i**2 + 52*i + 102. Let c be k(-2). Let r = -0.4 - -1.7. Let s = -1.22 + r. Is c > s?
True
Let b be 16/24*10*9/6. Let h be -59 + b + (-4)/(-10) - -2. Which is smaller: -48 or h?
-48
Let d = 1313 - 1718. Which is bigger: d or -402?
-402
Suppose 2*z - 145 = 5*t, -427*t - 140 = -422*t - 3*z. Let i = -79 - -66. Which is greater: i or t?
i
Let l be (((-30)/(-12))/(-1))/(10/(-184)) - 6. Is 759/19 < l?
True
Let j = 517 - 242. Let t = -372 - -647. Is j greater than t?
False
Let u be ((-97)/12 - -8)/((-162)/(-20)). Which is greater: u or -1?
u
Let z(r) = -r**3 - 22*r**2 + 40*r - 83. Let o be z(-27). Which is smaller: o or 2483?
o
Let h(c) = 6*c + 4. Let u be h(-6). Let g = u - -32. Which is bigger: g or -1/58?
g
Let m = -1408/145 - -16596386/1709115. Is m greater than or equal to 0?
True
Let i = 903.3 - 901.5. Is i > -2/99?
True
Suppose 0 = -169*i + 177*i + 311 + 33. Which is greater: i or -4?
-4
Let q = -6621 + 6599. Let w = -11/15 + -299/15. Is q at most w?
True
Let c be 178/(-3)*(-5)/(-4)*(27 + -51). Which is smaller: c or 1?
1
Let k(w) be the second derivative of 23*w**3/2 + 69*w**2/2 - 13*w + 1. Let g be k(-4). Which is smaller: -209 or g?
-209
Suppose 31357 = 164*y - 12103. Is y bigger than 266?
False
Let t = -118 - -82. Let l(i) = 110*i - 294. Let s be l(3). Let w = s + t. Which is greater: w or 1?
1
Let a be 3/4 + (-3 - 109/(-4)). Suppose 120 = 26*n - a*n. Let t be ((-32)/n)/(6/5). Which is greater: 0.05 or t?
0.05
Let s(i) = 2*i - 6*i + 174 - 314 + 171. Let c be (-1)/(-2)*8 + 3. Let a be s(c). Which is bigger: a or 48/13?
48/13
Let p = -4 - -4. Let i = -10884 - -11086. Is p greater than or equal to i?
False
Let u(y) = -y + 17. Let a be u(7). Let r(s) = s**3 - 10*s**2 + s - 6. Let o be r(a). Suppose 4*m = -5*l + 14, 3*l = m + m + o. Is 56 smaller than m?
False
Let x = -572/29 + 347610/17603. Is x >= 0?
True
Let s be (3/4)/(4/16). Let w(v) = v**2 - 2. Let l be w(5). Suppose 4*j = -s*b + l, 7*j - b - 35 = 3*j. Is 8 equal to j?
True
Let k be 997073/3334310 + 3/(-10). Are k and 1 equal?
False
Let p = -92/5 + 664/35. Which is smaller: p or 991?
p
Let k = 699/187 - -19191/187. Let i be 306/(-5 - -2) - 4. Let x = k + i. Which is smaller: x or 1?
x
Suppose 0 = 13630*w - 13646*w - 80 - 720. Let r be (-53)/((-2)/(-2) - 2). Let n = r + w. Which is bigger: 10/3 or n?
10/3
Suppose b + 2*v = 11, b - 4*v + 2 = 1. Let n(t) be the first derivative of -t**4/4 + 2*t**3 + 4*t**2 - 9*t + 3110. Let o be n(b). Which is greater: o or -9/8?
-9/8
Let s = 2.4 - 0.4. Let r = -4.4572 + 6.5572. Is r <= s?
False
Let h be ((-150)/(-20))/(-5)*(3 - 183/57). Let c = 8 + -11. Is h at most c?
False
Let l(o) be the third derivative of o**6/120 + o**5/60 - 3*o**4/8 - 8*o**3/3 + 42*o**2. Let m be l(-3). Is m >= -8?
True
Let i = 595405/137 - 4346. Is -0.03 greater than or equal to i?
False
Let r be 6/24*-2*(-16)/8. Is 5/1588 not equal to r?
True
Suppose -5815 = -4*j - 1401 + 3178. Is j > 1897?
True
Suppose -1440 = -18*l - 0*l. Let h = l - 19. Which is smaller: h or 62?
h
Let y(v) be the third derivative of -v**5/60 + 2*v**4/3 + 13*v**3/6 - v**2 - 6*v. Let w be y(7). Are 76 and w non-equal?
False
Let x = -1683 + 1672. Is x smaller than 191?
True
Let z = 0.29 - 0.09. Let l be -3 + ((-45)/(-15))/((-3)/(-29)). Let n be 1 + (l/(-39) - 34/12). Are z and n unequal?
True
Let c = 5 + -12. Let f be 416/(-130)*5/(-2). Is c != f?
True
Let r(a) = -a**3 - 15*a**2 + 16*a + 3. Let d = -55 + 39. Let x be r(d). Let m be (29 - 27)*3/(-6). Is x >= m?
True
Let t be (11 - (9 + (-52)/(-16))) + (2 - 2). Suppose -3*m + 0 = -9. Suppose m*o - 5*o + z + 1 = 0, 0 = 2*o + 4*z + 4. Is t at least as big as o?
False
Let w(p) be the first derivative of -p**3/3 + 19*p**2/2 - 19*p + 39. Let k be w(9). Is k less than 69?
False
Suppose -15 = -3*x + 63. Let c be (x/39)/((-2)/(-33)). Suppose -52 + 305 = -c*z. Which is smaller: z or -21?
z
Suppose 2*j - 30*h = -27*h + 13, 4*j = -4*h - 4. Suppose 5*l = q - 10, 3*l + 2 = j*q - q. Suppose -4*i + n - 64 = -3*n, 8 = -3*i - 5*n. Are q and i nonequal?
True
Suppose 55 = 15*g + 595. Let t be (2066/18 - 8/g)*-1. Is t >= -116?
True
Suppose 3*i - 4*c = -1, -c = i - 2*c. Let q be (0 - 0)/(4/i). Which is greater: q or 24/23?
24/23
Suppose 3*u = -3*a + 87, -5*u + 0*a = -2*a - 138. Suppose -23*q + 5936 = 35*q + 154*q. Do q and u have the same value?
True
Suppose -64*n - 169 = -105. Are -17/212 and n unequal?
True
Suppose 0 = -10*h + 5*h - y + 15, 2*h + 4*y - 24 = 0. Let m be h/(4/25) + 2. Does m = 16?
False
Let r = -8.348 - -8.348. Is r greater than or equal to -5834?
True
Let k be 8/(-4) + (-420080)/(-280). Is 1498 equal to k?
False
Let d = -8/22475 - -6454/13777175. Which is bigger: d or -1?
d
Let b(j) = -6*j + 1. Let q be b(-9). Suppose -5*r + q + 0 = 0. Let s = 1848 + -1848.4. Is r < s?
False
Suppose -178*w = -113*w - 3185. Which is smaller: 1 or w?
1
Let m be (-16782)/(-1284) + -6 + -7. Let j = 796/10593 - m. Are 1 and j equal?
False
Let k(c) = -c**2 - 3*c + 14. Let d be k(0). Which is smaller: d or 12?
12
Let p = 0.204 + -0.241. Let a = p - -0.537. Is a at least -18?
True
Let h = -603.33 + -5.67. Let a = h - -608.72. Which is smaller: 0.1 or a?
a
Let c = -12 + 27. Suppose 8*v = -c*v - 23. Let n be -2 + ((-87)/(-69) - -1). Which is bigger: v or n?
n
Suppose 5*i + 26*x - 21*x + 180 = 0, 3*x = 15. Let k(l) = -l**3 - 41*l**2 + 5*l + 58. Let g be k(i). Is -147 >= g?
True
Let y = 111 + -107. Suppose 0 = d, -y*w + 5*w + 2 = 2*d. Is w > 7/4?
False
Let n = -58.92034 - 0.07966. Which is bigger: n or -0.2?
-0.2
Let b(d) = 5 - 7*d**2 + 0*d**3 + 0*d**2 - 7*d - 2*d**3. Let y be b(-7). Let p = 777/2 - y. Is -9 less than or equal to p?
True
Let i = 955 - 828. Suppose i = 5*n - 83. Which