eater than or equal to b?
False
Let x = -33.6 + -172.4. Let y = x + 164. Which is bigger: -5 or y?
-5
Let m = -541849 - -541844. Let v be 2/4 - (-98)/(-4). Which is smaller: v or m?
v
Let j = 73 + -67. Let c be 2407/26 + j/(-4). Let o = c - 91. Which is smaller: o or -5?
-5
Suppose 17*s - 16*s + 63 = 0. Let a be (-612)/s + (-4)/(-14). Suppose 0 = -5*n + a, -4*h + 23 = -5*h - 3*n. Is h >= -29?
True
Let v be (105/(-50))/(3159/65). Which is smaller: v or -1?
-1
Suppose 0 = -36*y + 39*y + 36. Let q be ((-2)/(-1))/(y - -10). Which is smaller: -3/241 or q?
q
Suppose 0 = -42*l - 79 - 1013. Let a be (-16)/l*(-435)/(-116). Which is bigger: 1 or a?
a
Let m = -555822/353613911 - 1/111797. Which is smaller: 1 or m?
m
Let r(a) = a**2 - 55*a - 649. Let j be r(-10). Do -28/121 and j have different values?
True
Let g(n) = n**2 - 292*n - 74116. Let u be g(-163). Let a = -3 - 0. Is a at least as big as u?
False
Suppose -224 + 226 = -2*x. Let j(i) = -i**3 - 8*i**2 + 2*i + 12. Let u be j(-8). Let s(b) = -b**2 - 4*b + 1. Let d be s(u). Is x at most as big as d?
True
Let f = 878 + -180. Is f at least as big as 2/7?
True
Let a(p) = 284*p**3 + 7*p**2 + 5*p + 9. Let c be a(-2). Is c bigger than -2243?
False
Let v = 441 - 483.04. Let t = 1.04 + v. Which is greater: 1 or t?
1
Let z be (-1113)/9*(-6030)/(-4690). Let c = -113 - 44. Is z less than or equal to c?
True
Let r = 3.387 + 11.48. Let t = 0.133 + r. Which is greater: t or -0.3?
t
Let b be 788 - (2688/(-4))/28. Does 821 = b?
False
Suppose 2*d + 1 = -5*h, -4*h = -2*d - 2*h + 20. Let u(f) = -f**2 + 6*f + 9. Let w be u(d). Suppose w*i = -3*i - 25. Which is bigger: i or -4?
-4
Let t = 9/773 + 4475/80392. Let p = t + -3/52. Let w = 24 + -24. Which is greater: p or w?
p
Let r(a) = -a**2 - 11*a + 71. Let g be r(-16). Let o be (-5)/(-2)*g/((-243)/18). Is o >= 1?
True
Let p(h) = h**2 + 5*h - 6. Let s(w) = 6*w**3 - 2*w**2 - w + 1. Let q be s(-1). Let b be p(q). Which is greater: 0.8 or b?
0.8
Suppose 17 = y + 3*n, 0*n - 27 = -3*y - n. Let m be ((-36)/y - -4)/((-1)/(-72)). Let v = 8 + m. Which is greater: v or -27?
-27
Let v be 19621/28 - (5 + (-126)/24). Which is greater: 2 or v?
v
Suppose 0*k + 26 = -k - 4*y, 0 = 3*k + 4*y + 38. Suppose 2829 + 2967 = 9*q. Let x be (8/q)/(-2*k/28). Which is bigger: x or 1?
1
Let g = 205 + -109. Suppose -3*s - g = s. Let c be (s/(-4))/(13 + 0). Which is smaller: c or 0.1?
0.1
Let y be ((1/4)/(2313/(-12)))/(61/(-549)). Which is smaller: y or -6?
-6
Let q = 123516371/2839 + -43507. Is -1 greater than q?
False
Let v(o) = o**3 - 29*o**2 + o + 56. Let a be v(29). Suppose -3 = 4*f + 445. Let p be (-14)/f - a/(-24). Which is bigger: 4 or p?
4
Let u(k) = -k**3 - 8*k**2 - 8*k - 7. Let f be u(-7). Let y = -25731/35 + 735. Does y = f?
False
Let u = -1816.307 - -1815.7. Is u <= -4?
False
Suppose -2*o - 48 - 61 = f, 0 = 4*o - 3*f + 223. Let i = -56 - o. Let j be i/(-2) + 162/(-300). Is j > -1?
True
Let c(h) = -8*h**3 + 4*h**2 + 2*h - 5. Let s be c(-3). Let y = s - 481/2. Which is smaller: 29 or y?
y
Let i(f) = -f**2 + 13*f + 22. Let c be i(13). Which is bigger: c or 15?
c
Let k = -59 - -62. Let m be (1/(-5))/(k/10). Let r = m - -4/15. Is 27 <= r?
False
Let f = 569/3906 + -11/62. Let w = f + 25/126. Let q = -216123 + 216124. Is w at most as big as q?
True
Let c be ((-13)/(-1170)*3711)/(948/910). Let a = -475/12 + c. Which is bigger: 1 or a?
1
Let q = -37.752 - 0.048. Let a = -36 - q. Which is bigger: -2/5 or a?
a
Let h be (-6)/(-30) + (-218)/(-10). Suppose h + 88 = 5*u. Let v = u + -23. Is v > -2?
True
Let u be 24/(-12)*(-6)/8. Let j = -21/2 + 153/14. Are j and u non-equal?
True
Suppose -r + 10 = r, 0 = 2*m - r - 9. Suppose m*a + 4 = -3. Let k be (5 + -1 + 2)*a/(-46). Which is greater: k or 0?
k
Suppose -15*m + 1106 = -889. Which is greater: m or 136?
136
Suppose -19 = -43*z + 3*z - 99. Which is bigger: z or -537?
z
Let t(k) = -34 - 33*k - k**2 - 33*k + 54*k. Let z(g) = 5*g**2 + 60*g + 171. Let x(f) = 11*t(f) + 2*z(f). Let i be x(-6). Which is greater: -0.1 or i?
i
Let a be (1 + 5/(-6))/(3/6). Are -0.287 and a equal?
False
Let s be -4 + ((-50)/1665)/((-14)/(-401)). Let p = -1/333 - s. Which is greater: p or 6?
6
Let h = -8145 - -7516. Is -1/9 greater than h?
True
Let o(g) = 20*g - 146. Let w = 127 + -119. Let i be o(w). Which is bigger: 10 or i?
i
Let m = -378 - -377.8. Suppose 2*n - 31 + 111 = 0. Which is bigger: n or m?
m
Let c be ((-221)/26 - -7) + (-2992)/(-1995). Which is smaller: 0 or c?
c
Suppose 2*m - 8*p + 458 = -11*p, -4*m + 3*p - 934 = 0. Is -234 less than m?
True
Suppose 1 = 10*s - 0*s - 9*s. Is s > 24/317?
True
Let s = 20226 - 20153. Is -1/33 at least s?
False
Let r(k) = -k**2 - 6*k + 8. Let a be r(2). Let q be 2 + (62/(-3))/(a/12). Is q smaller than 22?
False
Suppose 0*p - 15 = -p. Let b(r) = r**3 + r**2 - 7*r - 507. Let v be b(0). Let m be 3*(-9 - v/36). Which is greater: m or p?
m
Let p = -2494.713 + 2496. Is 0.1 greater than or equal to p?
False
Let n be (-130)/52*(132/166)/3. Is -2 at least as big as n?
False
Let j(b) be the second derivative of b**4/6 - 35*b**3/6 - 143*b**2/2 - b - 233. Let o be j(-4). Which is greater: 0 or o?
o
Let i = -1595 - 437. Let y = -2004.69 - i. Let p = 0.31 - y. Do p and 2/7 have different values?
True
Let w be (-5)/(-15)*0 + 2. Let t be (23 - w)*(-4)/6. Let d be (-21)/t*(-8)/258. Is 1 at most as big as d?
False
Let y = -1888 + 1887.9. Which is smaller: y or 5419?
y
Let x = 41052/185 + 270/37. Let f = 83638/365 - x. Is f < 0?
True
Let k = -1.402 + 108.102. Let t = k - 17.7. Let b = t + -88. Which is bigger: 10 or b?
10
Let v = -9782.1 - -9783. Which is bigger: v or 289?
289
Let y be (-54 - -378)*3*(-4)/(-387). Which is smaller: 10 or y?
10
Let i = -103 + 159. Suppose 337 = q + 343. Let h(p) = -7*p + 16. Let l be h(q). Which is bigger: l or i?
l
Let d be 0/(1 + (1 - 1)). Let g = 43/57 - 3284/4731. Which is smaller: g or d?
d
Let u = -0.03138 - -0.03138. Which is greater: 27.55 or u?
27.55
Let p = 81 + -25. Suppose 0 = -2*s + g - 2*g + p, -s + 42 = -3*g. Which is smaller: 33 or s?
s
Suppose -17 = -c - 4*k + 4, 0 = c - 2*k + 9. Let z be c - (8 - 2) - 850/(-178). Which is greater: z or -1?
z
Suppose 6*o + 24 = 4*y, 66 - 63 = -3*y + o. Let t = -9/11 - 50/33. Which is smaller: t or y?
y
Suppose 2*o - 58 = 2*p, 4*o = 3*p - 6*p + 95. Let c = o - 22. Suppose -c = -z + 5*z. Is -2/299 at most as big as z?
False
Let f be (48*48/(-180) - -14)*40/(-6). Is 9/76 at least as big as f?
True
Let g = -2/12071 - 265544/108639. Which is smaller: g or -37?
-37
Let d be 81/21 + -8 - 1. Let n(z) = -z**2 + 25*z + 50. Let m be n(27). Is d bigger than m?
False
Suppose -158*c + 56 = -157*c. Let s = c + -56. Suppose s = 12*i + 1153 - 97. Is -88 > i?
False
Let r = -2057.2 - -3306.3. Let y = r + -1313. Let i = y - -64. Which is greater: i or 27?
27
Let r = 1185.06455 - -0.23545. Which is greater: 0 or r?
r
Let m be 232/(-3248) + (4/7 - 1). Which is bigger: 1.17 or m?
1.17
Let t = 34.25 + -34. Let l = 0.2 - t. Let s = 0.51 + 4.49. Is l <= s?
True
Let c be ((-2)/(-1) + -1)*39. Let s be 4382/98 - 5 - 2/(-7). Let a = c - s. Are 3/79 and a nonequal?
True
Let l = -175/31 + -73175/217. Which is smaller: l or -343?
-343
Let l(u) = -9*u**2 - 27*u - 1. Let w be l(-3). Let t = 12346/8025 - 128/75. Do t and w have the same value?
False
Let l = 8950.98 - 8951. Does l = 49?
False
Let y = 450 + -976. Let d = -468127 + 467602. Are y and d unequal?
True
Let b be 32*(-1 - -3) - (-18)/(-18). Let h = 56 - b. Let o be (7*7)/(35/h). Is o bigger than -11?
True
Suppose -275*r = 695 + 3770 + 2960. Does -8 = r?
False
Suppose 3*t - 7 - 59 = 0. Suppose -2*w - 3*w = -3*h - 17, -2*h - 5*w + t = 0. Is h greater than 4/23?
True
Suppose -u + 122 = -3*c - 46, 0 = c - 4*u + 45. Suppose g - 4*g = 5*d + 190, g - 2*d = -45. Which is smaller: g or c?
c
Let d be ((-8)/(-56))/(8/56). Is d less than or equal to 23/45?
False
Let i be -3 - (-1 - 1) - ((-12)/2 - 313). Which is greater: i or 316?
i
Let b be ((-39)/(-212485)*14)/(1/(-25)). Which is smaller: b or 1?
b
Suppose -3*l - 2*l + 140 = 0. Let d = -37162.7 + 37163. Which is smaller: l or d?
d
Let w = 225 + -220. Let y be w/10 - 37/6. Is y at most -4?
True
Suppose 126 = -3*y + 3*x, 0 = y + 3*x - 7*x + 42. Let p be (-94)/y*-33*1/(-58). Let u = 13/14 - p. Do -1 and u have the sa