 be (6/((-12)/t))/(3/4). Which is smaller: k or 8?
k
Let h = 261 + -525/2. Suppose -4 = -t, -4*s + 4*t - 52 = 68. Let j = 23 + s. Which is greater: h or j?
h
Let v be (-11)/33*((-59570)/49 - -5). Which is smaller: v or 405?
v
Let u = 9074/1683 + -92/17. Which is bigger: 3 or u?
3
Let n = 9914.57 + -9916. Which is bigger: n or -0.11?
-0.11
Let b = 2933 + -1350. Let f = -229534/145 + b. Which is bigger: f or 1?
1
Let u(p) = 12*p**2 - 10*p - 7. Let b be u(-6). Let d = -65042 - -65527. Are b and d equal?
True
Let l = 17762.1 - 17762. Which is greater: l or -7899?
l
Let q be 15316/(-18) - 265/2385. Which is smaller: q or 0.2?
q
Let b(s) = -s - 1. Let g be b(-7). Let f(m) = -136*m + 125*m - 5*m**2 + 15 + m**3 - 3. Let p be f(g). Is p >= -18?
True
Let d = -15948 - -16166. Which is smaller: 170 or d?
170
Suppose -3*t - 51 = p + 57, 3*t = -4*p - 405. Which is greater: 9 or p?
9
Let u = 16456/13 + -1280. Let y = u - -6730/481. Which is greater: 1 or y?
1
Let z(a) be the second derivative of -9*a**4/4 - a**3/2 + a**2 - 77*a. Let t be z(2). Is t bigger than -113?
True
Let a be (-8 + (-82)/(-8))/(2/24). Suppose 5*z + 5*s - 2 = -a, -4*z - 20 = s. Which is smaller: -23 or z?
-23
Let f = 197 - 2157/11. Let q = 1907 + -1906. Is q bigger than f?
True
Let z = 477 + -478. Do -1/2945 and z have the same value?
False
Suppose 0 = -5*r + h + 50, 4*r = -0*h + 4*h + 56. Let z = -33 + r. Suppose 5*w + 115 = 2*p, -2*w + 3*p - p - 46 = 0. Which is smaller: z or w?
z
Let k = 2070 - 6358/3. Let y(j) = -7*j**2 + 52*j - 16. Let d be y(8). Is d at most as big as k?
False
Let r = 10 + -9. Let c be 7/(-735)*-12*((-60)/8)/3. Which is smaller: r or c?
c
Let q = -728 + 761.9. Let o = q + -28.9. Let h = 0.1 + -0.1. Is h not equal to o?
True
Let p(a) = -2*a**3 + 102*a**2 + 55*a + 259. Let t be p(49). Is 12558 <= t?
True
Let z be (3198/(-195))/((-3417)/(-1945)). Let l = z - -2/1139. Let d be (-2)/(-2*1) + -10. Which is bigger: d or l?
d
Let l = 333870/11 + -30352. Let p = -11/197 + -1279/5319. Is l greater than p?
True
Let v = 32.1 + -31.9. Let i = 914 - 956. Is v bigger than i?
True
Let q = -307.3 + 215.3. Which is smaller: q or 3?
q
Let a be 819/14*12/9*1. Suppose -1235 = 13*w - a*w. Which is greater: w or 37/2?
w
Let s = 11271603/308614 + -21/13418. Which is greater: 36 or s?
s
Let m be 1 - ((-1 - -1) + -7). Let i be (-11)/m - (-12)/32. Are -2/679 and i unequal?
True
Suppose -50 = -2*y + 3*y. Let c = 48 + y. Let l be (-1 - c)/(-4 + 276/68). Is 19 > l?
True
Let l = -11902103/133 - -89490. Let b = l - 1/266. Do -70 and b have different values?
True
Let r = 545 + -470.1. Let t = r - 75. Which is bigger: 1/212 or t?
1/212
Let r(j) = 2 + 31 + 114 - 10*j + 2. Let g be r(15). Let u = -815 - -47271/58. Is u greater than or equal to g?
True
Let o = -25687/7 - -3671. Which is greater: -93/4 or o?
o
Let c = 4331/4370 - 37/38. Let s(n) = 25*n + 125. Let j be s(-5). Is j greater than or equal to c?
False
Let u be ((138/(-8))/3)/((-1 + -2)/120). Which is greater: 238 or u?
238
Let y = 0.069 - -6.431. Let v = 0.065 + -5.765. Let r = y + v. Are 0 and r nonequal?
True
Suppose 0 = -12*z - 86 + 134. Let s be (-20)/30 + (z/6)/1. Is s >= -0.08?
True
Let s be 1*12 - 43/(903/252). Is s at most 1/18981?
True
Suppose -3*g = -4*g + 16. Suppose 4*y + g = 0, -c - y - y = -16. Let p be 10/4*(-50)/(-4)*(-52)/(-65). Which is smaller: p or c?
c
Suppose -3*r + r = -5*c + 6, -r - 3 = 5*c. Suppose c = 2*j - 19 + 13. Suppose -j*a = -9, -4*b + 2*a = a - 177. Which is smaller: b or 44?
44
Let u be ((-8)/(-6))/(((-3)/27*3)/127). Which is greater: -3550/7 or u?
-3550/7
Let p = 34719 + -3298347/95. Let c = -1883/2755 - p. Is 1 at most c?
False
Let l = -674 - -5917. Which is greater: l or 1?
l
Let r = -2737.0165 + 2737. Is r at least as big as 0?
False
Let o be (108/15)/(99/105 + -1). Let t be -4 + 0 - o/4. Let l = -26 + t. Which is bigger: 1 or l?
l
Suppose -2*r - 4*h = 2*r + 20, -3*r = h + 9. Let p be r*(1 - -1) - (-1116)/(-86). Let l = -17 - p. Which is bigger: l or -1?
l
Let u be (3652/(-88))/(-1 + (-2)/(-4)). Suppose -7*t = 2*p - 2*t + u, 0 = -2*t - 10. Is -19 bigger than p?
True
Let s be (-2 + 107)*12/18. Let x = 79258/5 - 15922. Let a = s + x. Is a < -3?
False
Let d = 10/3 + -2. Let b = 0.044 + -0.244. Is b >= d?
False
Let l = 33.0227 + -0.0227. Let s = l + -33. Are 2/67 and s non-equal?
True
Let g be (-13)/11 + -3*(-8)/132. Let c be g + 1 + (-836)/(-38). Is c at most 21?
False
Let p be 18/21 + (-841744)/4256. Let j = 197 + p. Let m be (-1)/3 - 2/3. Is m greater than or equal to j?
False
Suppose -2*i = k - 2*k - 7, 4*k + 5*i - 37 = 0. Let v be k*(-4 + (-1578)/(-54)). Which is bigger: 76 or v?
76
Suppose -17*n - 13 = 2*n + 6. Which is greater: 490 or n?
490
Let g be (-8 - (-12 - -8)) + 77. Suppose g = 4*h + 1117. Which is smaller: h or -263?
-263
Let a = 1.87 + 0.13. Let x = 28213 - 27808. Is a smaller than x?
True
Let a be 102/30 + 2/(-5). Let t be ((-15)/28 - (-2)/7)*124. Let o be (t/(-7))/(-1) - -7. Are o and a unequal?
True
Let d(c) = c**2 - 4*c + 1. Let u be d(4). Let l = 34891609/765 - 45610. Let v = l - 2/153. Which is greater: u or v?
u
Let b be (-19)/(-44) - 4/22 - (-1795)/(-76). Which is bigger: b or -24?
b
Let j = -214/183 - 10/61. Are 454 and j equal?
False
Let l = -156 - -105. Let v be ((-34)/l)/(2/27). Are 3 and v unequal?
True
Let v = -1.94 + 119.94. Let s = -117.33 + v. Let n = -6.33 - s. Is 2 != n?
True
Let y = -109 - -108. Let j = -947 - -946.996. Which is smaller: y or j?
y
Let i = 40 + -40. Let n(b) = -b**2 - 20*b - 34. Let m be n(-18). Let q be m - ((-356)/(-58) + -4). Is i > q?
True
Let g be 292/20 + 1 + 48/(-30). Let s be (-330)/g - 62/(-31). Is s at most -21?
True
Let g = -74276 - -594215/8. Suppose 5*x = 18 + 7, 0 = -w + 4*x - 19. Which is greater: g or w?
w
Let i be (0/9)/(2/(-2) + -1). Suppose 4*p - 4*s + s + 250 = i, -s = 4*p + 242. Let l = 4 - p. Which is smaller: 0 or l?
0
Let w(p) be the second derivative of p**3/3 + 13*p**2/2 + 2*p. Let c be w(-4). Suppose -n = 4*j - 3*j - 5, -2*j - c*n = -22. Is 4/13 < j?
True
Let n = -1947 + 1530. Let p = -7070810 - -261635400/37. Let o = p + n. Are 0 and o equal?
False
Suppose -23 + 7 = -4*k, -3750 = 2*a - 2*k. Is a less than -1871?
False
Let k(m) = -106*m + 85. Let i be k(-11). Let j = 8773/7 - i. Is 2 at least as big as j?
False
Let u = 54351701/2553 + -63868/3. Is 1 smaller than u?
False
Let a = -8183 + 10122. Which is smaller: a or 1940?
a
Suppose -2*w - 8 = -2*h, 3*w - 20 - 8 = -5*h. Let s be (-6)/140*8*(-543)/270. Let m = 17/21 - s. Which is greater: w or m?
w
Let l be (-21)/(-1)*8/3. Suppose -h = -2*s - 58, 11 = -3*s + 8. Let d = h - l. Is 12/19 != d?
True
Suppose 208 = -4*d - 0*d - 1168. Is -337 at most d?
False
Let f be 4 + (-2)/6 + 1. Let u be 2/(-13) + 11/52*-4. Let c be u/((-7)/49) + (-2 - 0). Which is bigger: c or f?
c
Let k be (-1)/2*(-4 - (-1870)/465). Suppose 2*u + 106 = 4*d, d - 20 - 11 = -u. Let s be -3 + (d/16 - (-2)/8). Is k <= s?
False
Let g = 2.86 + -3.1. Let i = 14.65 - 14. Let s = 1.35 + i. Does g = s?
False
Suppose 4*s - a = 2846, 32*s - 10522 = -2*a + 12186. Which is smaller: 708 or s?
708
Suppose 4*o = -o + 15. Let s = o - 4. Let v be (-5)/(-141)*(-3)/2*(-16)/20. Is v greater than s?
True
Let u = 14978 + -27120. Which is smaller: -12141 or u?
u
Let n = 27/20 + -1047/820. Let d = -3019 + 3019. Which is smaller: n or d?
d
Let l = -12244 - -12242.934. Which is smaller: 0.1 or l?
l
Let f = -0.54758 + 9.49148. Let x = f + 0.0761. Let s = -9 + x. Are 0 and s unequal?
True
Let s(t) = -31*t + 221. Suppose 2*j - 2*i = 20, 2*j - i - 32 = 4*i. Let p be s(j). Suppose -152 = -4*r + 4*h, r - 2*h + 3*h - 34 = 0. Which is greater: r or p?
r
Suppose 3510 - 900 = -290*o. Let d = -17233/6 - -2862. Which is smaller: d or o?
d
Let s = 21 - 51. Let x be 5/(s - 5) + (-354)/(-2282). Is x less than or equal to 0?
False
Let u(j) = -4*j**3 + 3*j**2 + 3*j. Let v be u(-2). Suppose -5*n - 34 = -2*a + 40, -5*a = 5*n - 185. Suppose v*x + 1 = a*x. Which is greater: -1/9 or x?
-1/9
Let s(v) be the first derivative of v**4/4 + 2*v**3/3 - 9*v**2/2 - 4*v + 91. Let f be (2/(-3))/((-3)/(-18)). Let g be s(f). Is g bigger than 0.1?
False
Let o be (-6 + 1 + 101493/405)*20. Which is bigger: 4913 or o?
4913
Suppose -35 = -7*f, 2*l = 4*f + 85 - 107. Suppose 4*h 