greater: c or 84/19?
84/19
Let f = 20/239 - -9092/28441. Let g = f - 2/17. Which is smaller: 32 or g?
g
Let y = 32708 + -32707.96. Is 456/5 equal to y?
False
Let u = -81 + 93. Let d be u/10*200/(-16)*-1. Is 9 less than d?
True
Let x = -120.7 + 114.7. Do x and -379 have the same value?
False
Let f = 0.47 - 45.97. Let r = f + 105.5. Which is smaller: r or -5?
-5
Let g(n) = -n**3 - 9*n**2 + 12*n - 2. Let b be g(-11). Suppose -4*d - b = -12. Is d >= -95/4?
False
Let v = 582329/535221 + -421/387. Is 1 less than v?
False
Suppose 4*b - 8 = -f + 6*b, 3*f + b = 17. Suppose -f*t = -9*t - 60. Is 1/5 smaller than t?
False
Let c(m) = 17896*m - 53753. Let t be c(3). Let h(u) = -8*u - 9. Let p be h(7). Is t at most as big as p?
True
Suppose 144*x - 1548 = 138*x. Suppose -33 = -5*d - x. Is -44 less than d?
False
Let w = -1552 - -1553. Which is bigger: 1/913 or w?
w
Let n = 48 + -59. Let z be (-840)/(-945)*(n/4 - 1). Suppose 5*v = -3 - 17. Is v bigger than z?
False
Suppose -50*f = 3794 + 6756. Let q = -406.1 + 406. Which is smaller: f or q?
f
Let v = -0.562 + 3.332. Let r = v - 2.47. Which is bigger: r or 38?
38
Let j = -10141 + 10141. Which is greater: -6722 or j?
j
Let q = 89 + -88.851. Let y = -152218 - -152217.9. Which is bigger: q or y?
q
Let d be (-1 - -5 - (-731300)/(-160)) + 3/(-8). Which is bigger: d or -4565?
-4565
Let a be 288/648*(-4)/((-32)/12). Is 5230 < a?
False
Suppose 518 = 19*z + 2722. Let n = -62 + -54. Is n <= z?
True
Let n be (36/(-702))/(1/279). Let k = n - -1955/143. Which is bigger: k or -2/3?
k
Let r(v) = 2*v**2 - 25*v + 15. Let z be r(12). Suppose 0 = -z*h - 0*h + 15, -40 = -5*q - 5*h. Let g = 21 + -18. Is g smaller than q?
False
Let x = -11202012796/73 + 153448356. Let f be (-174339)/45 - (-2)/10. Let d = f - x. Do d and 0 have the same value?
False
Let t be (-231468)/16*12/(-213). Let k = -815 + t. Which is smaller: 0 or k?
0
Suppose -3*f - f = -24. Let r(o) = -o**2. Let h be r(2). Let q be 2/(-3)*(h - -6) + 7. Is f < q?
False
Let p = -7819 + 1024291/131. Is -0.037 not equal to p?
True
Suppose 2*n + 2*c = 200 - 250, 25 = -n - 4*c. Is n >= -13?
False
Let h(b) = -b**2 + 4*b - 9. Let n be h(4). Let s(p) = -p**2 - 13*p - 4. Let r be s(n). Let i(x) = 31*x**2 + 9*x - 8. Let o be i(1). Is r at least as big as o?
True
Let h be 9/36 - ((-6)/48 - 0)*-154. Is h bigger than -464/25?
False
Let v be (4/6 - 11752/312)/(3/9). Which is bigger: v or -893/8?
v
Let n be (-9)/(-81)*34173 - -14. Which is bigger: 3813 or n?
3813
Let o = 57 - 53. Suppose o*l = 12*l - 16. Suppose p - l*p - 220 = -5*x, 4*x - p - 175 = 0. Is 44 greater than x?
False
Let f(d) = 5*d**2 + 55*d - 9. Let u be f(-15). Let h = u + -545. Are h and -254 equal?
True
Suppose -33*b - 1073 = -16*b - 39680. Is b less than 2272?
True
Suppose 4*q - 86 = 5*l - 2*l, 5*q - 111 = 2*l. Let a = 4 + q. Suppose 26*w = a*w - 92. Which is bigger: 91 or w?
w
Let a be ((717 - 1) + 2)/(7 + -20 - -15). Is 359 smaller than a?
False
Let v be -5*12/210 + 5/(-7). Let z be ((-15)/6)/((-6 - v)/(-20)). Is z < -14?
False
Let n = -46/129 - -1/43. Let i = -14.682 + 13.822. Is n less than or equal to i?
False
Suppose 38*b - 39*b - 884 = 25*b. Which is smaller: b or -36?
-36
Let j = -102 - -507/5. Let o be (-1 + (-17)/(-8))*126*(-23)/(-621). Is j <= o?
True
Suppose 1100 = 5*l + 18*p - 16*p, -4*l = -5*p - 880. Let r be l/(-66)*(33/21 - 2). Which is smaller: 0 or r?
0
Let k = 11098.0235 - 11098. Is k equal to -0.1?
False
Let q = -489/7 - -2083/21. Suppose 12 = -26*r + 24*r, 0 = 2*j - 4*r - 84. Do j and q have the same value?
False
Let a(q) = -q**3 + 25*q**2 + 24*q - 39. Let s be a(19). Is s >= 2583?
True
Suppose 3*c + 2*a - 30 = 0, 4 = -5*a + 19. Which is greater: 24 or c?
24
Let b = -35.073 - -0.073. Let n = -0.015 - -27.015. Let c = b + n. Which is smaller: c or -2?
c
Suppose -2 = 6*a - 8*a. Let d be 63/(-33) - (-1 - a). Suppose 31*j - 9 = 40*j. Which is greater: d or j?
d
Let j = -32197 - -31936. Suppose -3*a - 375 = 405. Is j equal to a?
False
Let r be ((-64)/48)/(-4) - 3873/11781. Which is bigger: r or 0?
r
Let j be 32/(-4)*4*(-10)/(-381200). Which is bigger: 0 or j?
0
Let b = 6701/272 - 422/17. Is 1.9 < b?
False
Let a = 2843 - 2842.98. Which is greater: -626 or a?
a
Let w = 608.1227 + -0.1227. Let i = 608 - w. Which is smaller: i or -25.6?
-25.6
Let o = -2176 - -2175.95175. Which is greater: o or 1/3?
1/3
Let p = -35.27 - -16.28. Let k = -20.904 - p. Let t = 0.086 - k. Which is smaller: -1 or t?
-1
Let i be (-1450)/(-58)*(12/3160)/((-2)/(-4)). Do i and 1 have the same value?
False
Let n = 39339/1918 + -10/959. Suppose -4 + 3 = o, 0 = -2*t + o + 91. Suppose 5*v - t = 65. Is v not equal to n?
True
Let q(a) = a**3 + 19*a**2 + 84*a + 216. Let m be q(-14). Which is bigger: m or 432/23?
m
Let j(w) = 2*w**2 + 13*w + 14. Let v = -91 + 85. Let a be j(v). Let m be 6*1 - (2 - 3). Which is smaller: a or m?
m
Suppose -15*k + 734 = -16*k. Suppose 0 = -149*c - 137*c - 209924. Is c smaller than k?
False
Suppose -30418 - 3048551 = -361*d. Do 8529 and d have different values?
False
Let z = 25264 - 25265. Which is smaller: z or 47.06?
z
Suppose 10*d + 69 = 29. Let g be 1 - ((-116)/(-24) + d). Are g and 1 non-equal?
True
Let i be 18/4*144/(-297)*-177. Is i < 386?
False
Suppose 7*j + 20 = 2*j. Let z be (-175)/(-14) + (-2)/j. Let w = -3.984 + 0.984. Is w >= z?
False
Suppose -8*p + 40 + 0 = 0. Let t be p/45 - 267/(-27). Which is smaller: t or -1?
-1
Let f = -0.3 - -0.1. Suppose 4*u + 5 = -5*g, -11*g - 4*u + 10 = -9*g. Which is smaller: f or g?
g
Let g = -0.196 - 274.804. Let u = g + 275.17. Is u smaller than 4?
True
Let g = 544 - 144. Let z be g/(-144) + 2/(-9). Which is greater: -0.1 or z?
-0.1
Let s = -1.64495 + -621.50605. Let a = s + 623. Which is greater: a or 1?
1
Let y = 0.019 + 0.042. Let p = 2218.061 - 2217. Let d = y - p. Is 4/9 less than or equal to d?
False
Let j be 4 + (-5 - -5) - (-6664)/(-154). Is 0 <= j?
False
Let k(c) = c**3 - 9*c**2 - 29*c + 76. Let v be k(11). Which is smaller: v or 44/849?
v
Suppose 0 = 4*x - 10 - 6. Let t be 4/14*(-1 + x). Let p be (-2 + (-115)/(-70))/((10/(-28))/(158/553)). Which is smaller: t or p?
p
Let y = -75 - -36. Let g = -32 - y. Let m be g/(-189)*(3 + 0 + -2). Which is bigger: m or 0?
0
Let j = 877 + -509. Let n = j - 401. Are n and -33 equal?
True
Let t(v) = v**3 - 5*v**2 - 12*v - 1. Let g be t(7). Let q be 16/(-12)*3 - (-209 + -1). Suppose 12*z - q + 74 = 0. Which is smaller: g or z?
z
Let m = -426.025 - -426. Let t = -140 + 144.025. Let g = t + m. Is g at least -0.1?
True
Let q = 0.3 - 1.3. Let j = 171.91 + -3.91. Let z = j + -159. Which is smaller: z or q?
q
Let k = -1/1578552 + 445546681/598271208. Let p = 2/379 + k. Let w = -3.85 - 0.15. Which is smaller: p or w?
w
Let v = -4118 - -4098. Which is bigger: v or -213/11?
-213/11
Suppose 67 = -5*l - 743. Suppose 2*a = -2*n - 328, 2*n + 107 = -4*a - 543. Is l greater than or equal to a?
False
Let z be (17 - 30/(-50))*(-4 + (1 - 2)). Is z at most as big as -0.39?
True
Suppose 7*t - 98 = 154. Let c = t - 37. Let b be (-2)/13 - (-2052)/156. Is c greater than b?
False
Let c be 2/(-1)*(-12)/(-204). Which is bigger: 95/6 or c?
95/6
Let v be (-3 + 12)/(1 - 2). Let x(l) = 8*l + 63. Let s be x(v). Let m = s - -10. Which is smaller: m or 1/18?
1/18
Suppose -5*j + 16 = -4*i, -2*j + 311*i - 16 = 315*i. Is 9/851 smaller than j?
False
Let o be (-1596)/180 - -9 - -2*149/(-3510). Is o less than 0?
False
Let k be (-56)/(-32) - 3/(-12) - (-402)/93. Is k greater than or equal to 5?
True
Let a = -42820/1654499 - 2/21487. Suppose -4*s + 3*s + 1 = 0. Let n be (1 - s)/(0 + -1). Which is smaller: n or a?
a
Let n = 71353263/4154 + -17177. Let j = n + -237/7099186. Is j greater than or equal to -1?
True
Let q = 0.9818 - 0.6818. Which is smaller: q or -0.635?
-0.635
Let k be (6/(-15))/(4/(-3620)). Is 0.2 greater than or equal to k?
False
Let l(h) = h - 3. Let w be l(-6). Suppose -2*o - 5*y = -48, 147*o + 25 = 152*o + 3*y. Which is greater: w or o?
o
Let x = -1.0254 + 0.7954. Let l = -349/18705 - 2/435. Let z = l - 79/301. Which is smaller: z or x?
z
Let a(y) = -y - 20. Let m be a(0). Let c be (-2)/m*(-90)/(-36). Which is greater: 32 or c?
32
Let v = -87 - -80. Let u = 56.3 - 58. Which is bigger: u or v?
u
Let m be 20/6 + (-6)/(-9). Suppose 3*x + 12 = 5*p, 3*x 