 m be 1868/650 - (-78)/(-507). Let u = m + -1403/525. Which is smaller: v or u?
v
Let a be ((-18)/4)/(1/(-2)). Let n be 5*(-2)/(-4)*(4 - 170). Let p = 427 + n. Which is bigger: a or p?
p
Let w = 2/1532129 - -1895243513/45963870. Let l = -458/1605 + 2/107. Let y = w - l. Which is greater: y or 41?
y
Let r be (170/30)/(-17)*0. Is 1/534 > r?
True
Let j be 1*6/93*-1. Let f be (-3 + 1 - -3)*1 - 5. Let n be (1 - (-2 - f)) + 2. Is n > j?
True
Let w(d) = 12*d - 36. Let k be w(4). Suppose s + 2*q = 23, 4*s - 4*q + 8 = 40. Which is smaller: k or s?
k
Let l = -71 - -29. Let b be (-3)/(-10)*7*(-8)/l. Is b < 1/24?
False
Let g(n) = -n**3 + 4*n**2 - 8*n + 5. Let l be g(4). Let u be (-4 - (9/(-3) - l))*6. Is u smaller than -168?
False
Let d be (-44)/(-8)*(-1)/(5/(-80)). Suppose 5*z + d = -2*p, 0 = -3*z + p + p - 40. Which is bigger: -10 or z?
-10
Let f(l) = 52*l**2 - 110*l + 10. Let j be f(2). Which is smaller: j or -116/225?
j
Let u be -4 + (-9 - 0 - (-951 + 17)). Which is smaller: u or 923?
u
Suppose -5*j = -6*j + 15. Let v = 107.3 + -113.3. Is j bigger than v?
True
Suppose 11 - 39 = 7*i. Let a be (-20900)/75*6/i. Is 418 less than or equal to a?
True
Let k = 18840.1 - 18840. Is 1025 less than k?
False
Suppose 3*s = 9*r - 11*r + 4, -3*r + 3 = 3*s. Let k be r*(90/(-120) + (-21)/(-8)). Is k bigger than -3?
True
Let b = 2042 + -2932. Let x be 20/9 - (-6)/(-27). Let h be (x/6)/(b/(-60)). Which is greater: h or 1?
1
Let a = -4627/23 - -203. Which is smaller: 1 or a?
1
Let m = -12245 + 12244.9. Is -1510.1 less than or equal to m?
True
Suppose w - 5 = 0, 4*w = 5*r + 2 + 3. Suppose -4*q - 3*u + 6 = -0*q, -r*q + 4*u - 8 = 0. Let y = q - 0. Which is bigger: y or -4/17?
y
Let u(h) = h**2 + 6. Let a be u(0). Let w(y) = y**3 - 5*y**2 - 8*y + 6. Let p be w(a). Let j be 1*2*(1 - 15/p). Which is greater: 10 or j?
10
Suppose -i = 2*p + 4126, -5*p + 2*i - 5716 - 4617 = 0. Which is bigger: -2062 or p?
-2062
Let z = 288.77 + -290.77. Is z at most as big as 86/9?
True
Let s(w) = -w**2 + 5*w + 6. Let h be s(6). Let p(c) = c**2 + 13*c - 1. Let g be p(h). Is g less than 3/16?
True
Let z(x) be the second derivative of x**5/20 + x**4/2 + x**3 + 5*x**2 + 31*x. Let n be z(-5). Which is bigger: 4 or n?
n
Let a(y) = y**2 - 13*y + 37. Let o be (0 + (-1)/2)*240/(-15). Let j be a(o). Which is bigger: j or -9/5?
-9/5
Suppose 7*b = 29 + 83. Suppose 11*j - b = 9*j. Suppose -3*v = 3*g + j - 5, 0 = v - 2*g - 5. Which is smaller: 2/81 or v?
2/81
Let r = 794/3 - 18256/69. Are 44/3 and r unequal?
True
Suppose -5*d + 415 = -5*m, 5*d + m + 2146 - 2573 = 0. Which is smaller: -8 or d?
-8
Let m be 130/(-210) + (-1)/(-3). Let v = 4819.2 + -4812. Which is smaller: m or v?
m
Let t = 29.28 + -27.519. Let b = 0.239 + t. Is -14 less than b?
True
Suppose -4*n - 14 = -10. Let w = -5/118 - -877/23482. Is w at least as big as n?
True
Let b be ((-1)/(15/190))/((-1)/(-3)). Let o = b + 30. Let r(p) = 3*p**2 + 14*p + 10. Let u be r(o). Is 90 not equal to u?
False
Let t(j) = 911*j**2 - 4*j + 33. Let b be t(2). Which is greater: b or 3671?
3671
Let v be 4068/9040*(-230)/6. Let g = -15 - -14. Which is bigger: v or g?
g
Let u = 29 + -42. Let f = -12 - u. Let r = 243 - 4375/18. Is r at most as big as f?
True
Let q = 124 + -9. Let b = -129 + q. Is b smaller than -0.2?
True
Suppose 19*u = -35*u + 64*u + 90. Does u = -305?
False
Let p be 7*(-10)/(-70) + 7572/(-8052). Is p smaller than -1?
False
Let q(t) = -t**3 - 5*t**2 + 8*t + 19. Let d be q(-3). Let y(n) = -n**3 - 23*n**2 - n - 13. Let b be y(d). Suppose -2*x + 14 = -10. Is b at most x?
True
Let u = 14376 - 14377. Let b be 4/(152/(-150)) + 1. Which is smaller: u or b?
b
Let h = 3148 + -3101. Which is greater: 49 or h?
49
Let r be (-2)/(-6)*-3*-3. Suppose -r*w + 2*p = -p + 33, 0 = 3*w + 4*p + 68. Let y be w/6*(-2)/104. Which is bigger: 1 or y?
1
Let a = 116.3 - 226.2. Let n = 121.9 + a. Let g = -3 - -2.9. Is g equal to n?
False
Suppose 19*h = 20*h - 54. Let x be ((-27)/h)/(1/(-2)). Is x greater than or equal to 1/2?
True
Let o = -2752 - -1642.1. Let w = 1222 + o. Let t = w - 112. Is 3 != t?
True
Let m = 41/19 + -350/171. Let l = -1/92 + 59/1196. Let v = -7/13 + l. Which is smaller: v or m?
v
Suppose 312 = -3*c + 3*g, -5*c = -6*c - 2*g - 101. Let m = -723/7 - c. Let a = -29228 - -29228.03. Which is smaller: a or m?
m
Let y be ((-3)/((-9)/4))/((-4212)/(-49086)). Which is greater: -2 or y?
y
Let n(x) = -23 + 3*x + 21 + 2*x**2 + 0*x. Let t be n(1). Let b be 1*(2 + -14)/t. Is b less than -8/3?
True
Let j be (-9 + 172/20)/2. Let p(o) be the third derivative of o**5/60 + o**4/12 - o**3/6 + o**2. Let b be p(-2). Which is smaller: j or b?
b
Let v = -1/33981 + 39925/201983064. Which is bigger: 1 or v?
1
Let f be (5 - 7)*-6*1. Let a be ((-3)/(-18))/(f/54). Which is smaller: 0 or a?
0
Let n(i) = -i + 18. Let q be n(-10). Suppose -2*p + q = -p + 5*t, 2*p - 26 = -4*t. Suppose -p*c + 3*y - 3 = 3, 0 = -5*c + 4*y - 6. Are c and 4/7 non-equal?
True
Let g = 342 + -337. Let n be g + (5 - (-595)/(-56)). Which is smaller: -1 or n?
-1
Suppose 0 = t - 19 - 74. Let k = 19 + t. Suppose -10*m = -3*m - k. Which is greater: m or -2/7?
m
Let u = -147461/6 + 24496. Which is greater: u or -81?
u
Let o(d) = 2*d**3 + 2*d**2 - d - 1. Let q be o(-1). Suppose 5*w - 10 + 15 = q. Let a = 31 + -95/3. Do a and w have different values?
True
Let w = -189.2 - -203. Let n = 11.8 - w. Is -6/7 greater than or equal to n?
True
Let h(w) = -17*w - 40. Let d be h(-2). Let x be 2958/187 + d/(-33). Let a(c) = 8*c - 1. Let v be a(2). Which is greater: v or x?
x
Suppose 7*q = -29 + 8. Suppose 4*b - 8 = -4*m, 15*b - 13*b = -5*m - 8. Which is smaller: q or b?
q
Let s = -182 + 248.3. Let m = s + -56.3. Which is smaller: 2.1 or m?
2.1
Let r = 34.261 - 5.761. Let l = 14.466 + 0.034. Let s = l - r. Which is smaller: 0.01 or s?
s
Let u = 11631 - 11583. Which is bigger: -39 or u?
u
Let f be -1 + 1 - 1*-591. Let c be (-1170650)/(-2050) - (-160)/8. Let g = c - f. Which is smaller: g or 3?
g
Suppose 0 = 2*r - 5*w + w + 60, -r = 5*w + 9. Let q be 2/(-6)*-3*r. Let f(b) = -6*b + 1. Let i be f(4). Which is bigger: i or q?
i
Suppose -198*y + 203*y - 1150 = 0. Suppose 154*l + y = 149*l. Suppose 3*f - 4 + 124 = -3*q, 2*f + 70 = -4*q. Is l greater than f?
False
Suppose -5*b + 0*b = 2*j + 41, -6*j + 17 = -5*b. Let a be (-2424)/b + 4/(-14). Which is smaller: a or 347?
a
Let g be 2 + (-5)/4 + -1. Suppose -2 = y + 5*l - 21, 4*l - 20 = 4*y. Let u be (y - -2)*(-12)/(-21). Is u at most as big as g?
False
Suppose p = 3*h + 1, 0 = -4*p + 4*h + 11 + 1. Suppose 39*q - p - 35 = 0. Let j be (-5)/(-9)*(-6)/(-8). Is j at most q?
True
Let c be 97/(-388) + (-7590)/(-8) + -3 + 1. Which is smaller: c or 947?
c
Let o = -902 + 1807/2. Which is smaller: -12/13 or o?
-12/13
Let v be ((-135)/1179)/(3/2). Suppose -5*b - 3 = 3*a, -2*a - 12 + 10 = -2*b. Which is greater: v or a?
v
Let q be (1/(-5))/(-3 - (-215)/25). Suppose -6*n + 76 = -2*n. Let a = n - 20. Which is greater: q or a?
q
Let l = 489 - 484. Suppose 2*s + 0*m = 5*m + 45, -l*s - 3*m + 128 = 0. Which is smaller: -6 or s?
-6
Let b(t) = -t**2 + 9*t + 534. Let p be b(51). Which is greater: p or -1609?
p
Let g be (14/(-756))/(-1) + 0. Is 11.9 smaller than g?
False
Let l(f) = 3*f. Let b be l(0). Let m be (b - (15 + 6)) + (2 - 0). Is m at most as big as -16?
True
Suppose 17 = 7*s - 25. Suppose 24 = -v - s. Is v greater than -28?
False
Let t = 229343 + -2070034/9. Let g = 661 + t. Which is bigger: -1 or g?
g
Suppose 3*a = -g + 19111 + 8955, -2*g = -9*a + 84178. Which is smaller: -1/3 or a?
-1/3
Let x = 0.042 - 0.072. Let y = -0.04 - x. Let r = y + 2.01. Is r less than -6?
False
Let v = 15 - 31. Let f be 75/12 + 4/v. Let w be (-2 + f/9)*6/(-12). Which is smaller: -17/2 or w?
-17/2
Let p be (36 + -1)*750/175. Let v = -149 + p. Which is smaller: v or -2/93?
-2/93
Let m = 733 + -1083. Let u be (-8)/28 + 6704/m. Let b = u - -98/5. Which is greater: -1 or b?
b
Let k = 5790 - 5706. Which is smaller: k or 82?
82
Let d = 3.302 - 0.302. Suppose 4*z = 157 - 17. Which is greater: d or z?
z
Let j(n) = 13*n**3 + 29*n**2 - 114*n + 38. Let g be j(6). Is 3204 at most as big as g?
True
Let t be 10 + 2 + -4 + (6 - 3). Let r(f) = f - 3*f + t*f - 43 - 4*f. Let l be r(9). Which is greater: l or 3?
3
Let m = -229.38 + 29.28. Let k = -200