 is greater: k or 0?
0
Let w(h) = -2*h + 47. Let v be w(19). Suppose -4*x = 2*m + 188, -141 = 3*x + 5*m - 10*m. Let o = x + 46. Which is smaller: o or v?
o
Let f = 1477.379 - -13.221. Is f greater than or equal to 2/5?
True
Let x be (-1 - 6/(-10))/((-552)/(-240)). Suppose 25 = 5*k + 5. Suppose -10 + 6 = -k*v. Do x and v have different values?
True
Suppose -2*s + 33 = -5*h, 5*s + h - 20 = 49. Suppose 5*z + f = -0*f + 26, -2*f - s = -z. Suppose -z*j = -k - 4*j - 10, -j = 4. Are -19 and k nonequal?
True
Let k = -8177 - -49061/6. Which is smaller: -3.176 or k?
-3.176
Let g = 461 + -606. Let f = 204 - 204. Which is bigger: g or f?
f
Let b = 2 + 13. Let s(w) = w**2 - 1635*w - 24737. Let x be s(-15). Is b equal to x?
False
Suppose 0 = -100*n + 4697 + 4932 - 2129. Are n and 75 equal?
True
Let q = 0.047 - 46.047. Let f = 38.9 + 8.5. Let z = f + q. Which is smaller: 0.1 or z?
0.1
Let q = 150 + -150. Which is greater: q or -1299?
q
Let m(p) = -30*p + 2713. Let f be m(130). Is f bigger than -2/17?
False
Let i = 13 + -5. Let x = -745 - -749. Let p be (-2)/i + 1/x. Which is smaller: p or -1/58?
-1/58
Let g = 26 + -26. Suppose 2*j = 2*y, j - 15 = -4*y - g*y. Suppose 4 = -y*m + 5*a - 4, m - 3 = -4*a. Is 3/17 not equal to m?
True
Let w = 50 + -52. Let z = -57 - -53. Let p be (w/z + 4)*-4. Is p <= -18?
True
Let m = 5934 - 5811. Are m and -9 non-equal?
True
Suppose -4*h = 3*u - 7, -4*u + 1 = -3*h - 25. Let p be (7/77)/(1/u). Is -1 equal to p?
False
Let w be (0/(-18 - 2))/((-3)/1). Let r = 3/1109 - -4307/47687. Are r and w unequal?
True
Let h = 1193 + -1194. Let w be ((-1)/48)/(2 - 16/9). Which is bigger: w or h?
w
Suppose 0 = 6*i - 14 + 8. Let u be ((-16)/10)/(-2) - -2. Which is smaller: i or u?
i
Let j = -1.0314 - -0.8314. Is j greater than 77/24?
False
Let q be -44*(-1 + 795/804)*(-2)/3. Which is smaller: q or 0.07?
q
Let i be 1*-3 - (5 + -26). Let z(s) = 2*s**3 - 28*s**2 + 26*s + 15. Let g be z(13). Suppose 0 = -i*p + g*p + 12. Are 2 and p nonequal?
True
Let y(h) = h**3 - 8*h**2 + 19*h - 43. Suppose 8*u - 54 = -u. Let i be y(u). Which is smaller: -63 or i?
-63
Suppose -2*s - 5 = -4*m - 3, 6 = -2*s. Let r be (-35)/20*(m + -3). Let n(b) = 5*b - 34. Let y be n(r). Is 2.9 at most y?
False
Let o(v) = -v**2 - 3*v + 14. Let q be o(-5). Suppose 0*x = -q*x. Suppose x = 9*i - 4*i - 25. Which is bigger: 0.7 or i?
i
Let r = -47 - -57. Let t be (r/6)/(16/48). Which is bigger: t or 6?
6
Let k = -0.1 - -0.04. Let r(c) = -2*c**2 + 10*c + 6. Let l be r(6). Let u be (l/(-28))/(69/92). Is u greater than k?
True
Let l = -153.12 + 153. Let r = l - 0.18. Let o = 0.05 - 5.05. Which is bigger: r or o?
r
Let d = 1078589/111 + -9717. Suppose 13 = t + 3*t - z, -5*z = -5*t + 20. Suppose 2 = w + t. Which is smaller: d or w?
w
Let r = 76 - 76. Suppose r*l + 3*q - 20 = 5*l, 5*l = q - 10. Is l bigger than -1/98?
False
Suppose 0 = -74*z + 78*z + 108. Let l = z - -32. Which is bigger: l or 3?
l
Let x = -5682 + 4657. Is -1023 smaller than x?
False
Suppose 70 = -3*j - 2*j + 4*y, y = 4*j + 67. Let q be (3/(-4))/((-138)/(-368)). Let p be (-2)/(5*q/(-85)). Which is greater: j or p?
p
Let q be ((-9)/6)/(8412/600 + -14). Is -80 at most q?
True
Suppose 4*y + 0 = 4*a - 28, 3*a - 17 = 2*y. Suppose a*j + 15 = -3. Let z be 4/j - (-14)/21. Is z at least as big as 2/11?
False
Let d(g) = -5*g**2 - 2*g - 1. Let m be d(-1). Let v = 1368 + -1373. Which is bigger: m or v?
m
Suppose 0 = -23*j + 123 - 31. Suppose 2*l = 3*t + 161 + 43, j*l = -4*t - 292. Which is greater: -3 or t?
-3
Let y(u) = 4*u**2 - 547*u + 5592. Let i be y(10). Which is bigger: i or 513?
i
Suppose -353 = 2*c - 19. Suppose -3*h - 177*g = -182*g + 484, h = -4*g - 184. Which is greater: h or c?
c
Let u(l) = 1116 + 1079 + l**2 - 35*l - 2025. Let g be u(29). Suppose -3*i + 8*i + 35 = 0. Is g smaller than i?
False
Let m(z) = z**2 - z - 20. Let y be m(-4). Which is smaller: -2/4659 or y?
-2/4659
Suppose -259*m + 1345 = -254*m. Let l = 271 - m. Which is bigger: -1 or l?
l
Let r = -91937.13 + 91937. Let z = 0.8 - -0.2. Let c = 2 - z. Are r and c equal?
False
Let v = 140 - 142. Let f = 1 + -1.1. Let o = 1 - f. Which is greater: o or v?
o
Let s be (-2)/16 + -1 + -1 + 323/152. Is 1/31968 at most s?
False
Let a = -2/63 - 116/315. Let r be 6/9 + (-15)/36 - 1. Let j = r - -51/20. Which is smaller: j or a?
a
Let d(r) = -r**2 + 241*r - 2533. Let v be d(11). Which is smaller: 2045 or v?
v
Let x be -2 + -1 + 0 + 1. Let y be (-6 - x - -3)/(-16). Let v = -6584 - -6585. Which is greater: v or y?
v
Suppose 199 = -17*w + 522. Let b = -28 - w. Which is greater: b or -142/3?
b
Let a = -10360 - -16589. Which is bigger: -0.3 or a?
a
Let v = -2479 + 2479.03864. Which is greater: v or -0.1?
v
Let t be (-144)/(-60)*(-45)/63. Let k(r) = 5*r - 32. Let j be k(6). Is j not equal to t?
True
Suppose -45*n - 54*n = 63*n - 13*n. Let v be (9/(-12))/((-109)/(-4)). Is v equal to n?
False
Suppose 3*z + 6 = 0, -7*p + 4*p = -z + 79. Which is smaller: -32 or p?
-32
Suppose 0 = 20*v + 5*v - 1 - 199. Let j be (-2)/(-8) + 170/(-8). Let g be (-1*6/v)/(j/(-6)). Which is bigger: 1 or g?
1
Suppose -15456 = 3*n - i, -23*i = -n - 24*i - 5160. Is -5152 at most as big as n?
False
Let l = 644926 - 3167231602/4911. Which is smaller: l or -1?
-1
Let q(p) = 728*p**2 - 3*p - 9. Let y be q(3). Let a = 84879/13 - y. Is -6 less than or equal to a?
True
Let k = 35 + -99. Let h = 56 + k. Let c be -5*h/20 - 5. Which is smaller: c or -19/5?
-19/5
Let d(t) = -18*t**3 + 13*t**2 + 12*t - 1. Let b be d(-2). Which is greater: 683/4 or b?
b
Let a be -7 + (-63)/(-14) + (-819)/(-18). Which is smaller: a or 55?
a
Let h = -274 + 256. Let t be h/12*(-6)/9*2. Which is smaller: t or -44?
-44
Let r(d) = -d + 13. Suppose 0 = u - 3*a - 27, 4 = 2*u - 2*a + 6*a. Let h be r(u). Which is smaller: h or 2/1481?
2/1481
Suppose 4 + 4 = 4*a. Suppose -6*c - 9*c - 178 + 163 = 0. Let m be 1*(0 - 0/(a - c)). Are 83 and m unequal?
True
Let s be 5/(-3)*(-1 + -6). Suppose -37*x - 54 = -40*x. Suppose -2*j - 5*h + x + 18 = 0, 4*j - 5*h = 42. Which is greater: j or s?
j
Let i(w) = -w**3 - 11*w**2 - 39*w - 27. Let b be i(-5). Which is greater: 388/21 or b?
388/21
Let g = 17411 - 27960. Which is greater: -10548 or g?
-10548
Let l = -0.08 + 0.2. Let a = -0.16 - l. Let n = a - -0.28. Which is greater: n or -0.06?
n
Let p be 2370/70 - (-8 + (-62)/(-7)). Suppose -3*t = t - 60. Does t = p?
False
Let f = 655.09 - 655. Does f = -21?
False
Suppose 14402 = -1118*j + 1137*j. Is 758 at most j?
True
Let j = 3012.29 - 3015. Is 2 < j?
False
Suppose -24*g - 5*n = -28*g + 8406, -g + 2079 = -5*n. Which is greater: g or 8439/4?
8439/4
Let m(r) = 3*r**2 - 142*r + 837. Let u be m(6). Suppose y + 2*y - 279 = 0. Is u at least as big as y?
True
Suppose -3*m - c = 0, 122 - 114 = m - c. Let q(t) = 2*t + 1. Let r be q(-2). Is r at least as big as m?
False
Let t = -9248/21 + 440. Let l be (-27)/(-9) + -3 - 0/(2 + -6). Does l = t?
False
Let k = -0.0415 - -53.8415. Let h = k + -54. Which is smaller: 5.5 or h?
h
Let m be (-1 - -2)/(1 - 2). Let n be (3*m)/(-5 + 4). Suppose 0 = 4*x + a - 20, -n*x + 2*a + 32 = x. Is x greater than or equal to -2?
True
Let m = -3.242 - -3.1969. Which is greater: m or -1?
m
Let c = -4851 - -10181/2. Let j = c + -239. Does j = -3/257?
False
Let s = -165 + 299. Let l = s - 406/3. Is -2 at most as big as l?
True
Let p = 298.1 - 320. Let o = 1.4 + p. Let i = o - -5.5. Are 1 and i equal?
False
Let n = -148 - -20. Let h be (83 - 70)*(2 + -4)*5. Let f = h - n. Is 1/40 at most as big as f?
False
Let p be (19 + 30)*(-38 + (-4 - -1)). Is 1 equal to p?
False
Let y = 0.231 + -328.231. Let u = y - -326. Which is smaller: -25 or u?
-25
Let g = -0.25065 + 60.42265. Let y = g - 61.2. Let j = -0.028 - y. Are -38 and j unequal?
True
Suppose -3*p + 3*h - 2349 = 0, h = -5*p - 0*h - 3903. Let x = -118 + p. Let w = x - -17085/19. Which is greater: w or 0?
w
Let l(q) = -q**2 + 157*q - 761. Let p be l(5). Which is smaller: p or -340/359?
p
Let n = 226 - 285. Let z be -69 - -14 - 1*5. Which is smaller: z or n?
z
Let o(j) = -j**3 + 42*j**2 + 135*j + 126. Let u be o(45). Is 129 at least as big as u?
True
Let v = -883 + 1291. Suppose -785*j + 520200 = 471*j + 19*j. Is j > v?
False
Let i be (-6)/(-16)*55/((-605)/(-88)). Let p(l) = -l**2 + 5*l - 9. Suppose 4*w + 3*a = 17 -