l be -547*3*(-10 - -10 - (2 - 3)). Is l greater than or equal to -1639?
False
Suppose -10*f - 77 = -93 - 444. Let u(b) = 46*b**2 - 3*b + 2. Let w = 13 - 12. Let q be u(w). Which is greater: q or f?
f
Suppose 6402*d + 432 = 6390*d. Are d and -42 equal?
False
Let h be (5/(-420))/(69/4). Which is smaller: h or 0?
h
Suppose f - 4*z = 877, -5*f - 3*z + 2791 + 1456 = 0. Do 854 and f have the same value?
False
Let u = 176.741 + -15.741. Is -20 bigger than u?
False
Suppose -50*v = 19*v + 690. Which is smaller: v or -191/21?
v
Let k be (-203737)/1140*3/4. Let y = k + 134. Is 1 >= y?
True
Let h = 14229 + -469604/33. Which is greater: h or 0?
0
Let o be 23/((-92)/4984)*(-35)/(-10). Is o > -4362?
True
Let h be 9/6 - (5073/(-6) - 2). Suppose h = 24*l - 423. Is l at most as big as 53?
True
Suppose -2*v + 210 = -2*c, 4*v = 2*c + 8*v + 222. Let k = 143 + c. Which is smaller: 34 or k?
34
Let j be (25/24875)/((-2)/(-680998)). Let r = 1711/5 - j. Which is smaller: 0.2 or r?
r
Suppose 3*j = -4*w, -2*j = -4*j - w. Let t be j/(((-1)/(-3))/((-14)/(-42))). Suppose -d + q = -t*q + 2, 3*d = -3*q + 24. Which is bigger: 1 or d?
d
Let n be (1220/40)/((-1)/(-2)). Suppose -n = -b - 8. Are 50 and b equal?
False
Let y(l) = -2*l + 23. Let d be y(4). Let z be 12/d + (-204)/230. Let n = -0.8 + -0.2. Do z and n have the same value?
False
Let z be ((-3)/(-1))/(216/16). Do z and -346 have the same value?
False
Let x = -42 + 56. Let h be (3/4)/(x - 1006/72). Which is bigger: 13 or h?
h
Let i = 138 + -197. Suppose 5*y + 320 = 5*b, -3*b - 24 = -y - 98. Let l = y - i. Which is smaller: l or -2?
-2
Let s = -103 + 135. Suppose s*g - 28*g = -24. Is g < -11?
False
Let m = 1.0202 + -0.1002. Is m at least as big as -0.08?
True
Let y be ((-8)/(-2))/(1820/(-168) - -11). Which is smaller: y or 172/7?
y
Let g = -0.4 + 0.4. Suppose 3*u - 3*f + 8*f = 65, -f + 61 = 3*u. Let c be u/(-40) + (-55)/(-118). Which is greater: g or c?
g
Let t(f) = -f**2 - 67*f - 1038. Let n be t(-37). Which is smaller: n or 13/4?
13/4
Let z(h) = 11*h**2 + 15*h - 28. Let p(u) = 20*u**2 + 30*u - 55. Let k(n) = -6*p(n) + 11*z(n). Let s be k(16). Which is smaller: s or 118/3?
s
Let l(c) = -26*c - 137. Let k be l(-5). Let t be -86*((-1)/(-2) - k/14). Is -85 <= t?
False
Let p(r) = r**3 + 7*r**2 - 32*r + 6. Let m be p(3). Which is smaller: m or 11/342?
m
Let w = 1862 - 9224/5. Is 18 at least as big as w?
True
Let r = -9075 + 17753/2. Let k = r - -192. Suppose -5*a + 21 = -8*a. Do k and a have different values?
True
Suppose 0 = 5*n + 15, -5*c + 2 = 3*n - 4. Let w = 7836.93 + -7837. Which is smaller: c or w?
w
Let z be 13/(-5) + (8 - (-8 - -13)). Let r(a) be the second derivative of -a**5/20 + a**4/12 + 7*a**3/6 + a**2/2 - 6*a. Let i be r(4). Is i greater than z?
False
Suppose -10 = 8*b - 2. Let y be (-385)/96 + 3 - b. Is y at most 1?
True
Let x(q) = q + 1. Let u(y) = -y**2 + 13*y - 4. Let s(a) = -u(a) + 5*x(a). Let g be s(7). Let j = 94665 - 94666. Is j at most as big as g?
True
Let f = 477574 - 477345. Let d = 2 - 1. Which is bigger: d or f?
f
Let r = -11833 - -11804. Which is smaller: -47 or r?
-47
Let r be ((-5)/3)/((-9)/702). Suppose -95*q + 2709 = -74*q. Are q and r unequal?
True
Let l = 1 - 0. Let u be (l/2)/(((-15)/50)/(-3)). Suppose 2*k - 27 = -0*i + u*i, -3*i - 2*k - 13 = 0. Which is smaller: i or -23/6?
i
Let y be (-450)/20*(60/36 - 1). Let f = 8 + -13. Is f bigger than y?
True
Let f = -254.56 - -259. Let i = -6.56 - f. Which is bigger: -3/8 or i?
-3/8
Suppose 5*p - 11 = -1. Let c be 6/15 - (2 - p). Let a be 2 + (-3)/((-1)/1) - 6. Is c at most a?
False
Let l = -3.6 + -79.5. Let d = 83 + l. Do -2/151 and d have different values?
True
Let d(h) = -2*h**3 - 105*h**2 - 17*h + 215. Let l be d(-52). Which is bigger: -1608 or l?
l
Suppose -21*a + 6882 = -8*a - 13385. Is a less than or equal to 1559?
True
Suppose -5*c = 1 + 4, 0 = -4*u - c + 19. Suppose -4*p = -4*j - 120, u*j = -0*p - 4*p - 195. Is j at least -35?
True
Let f be (-22)/(-6) + (-2)/3. Suppose 0*k = f*k + 5*x - 16, 0 = -3*k + 3*x. Let m be 6 - k - (2 - -2). Is m <= -5/7?
False
Let m = 1.0926 - 1.0026. Which is smaller: -129 or m?
-129
Let h = 17081 + -17136. Which is smaller: h or -269/5?
h
Let q(v) = 4*v. Let l be q(1). Let h be -1*(5 + -5) - -1. Is l equal to h?
False
Let i = -191210 - -2260293407/11821. Which is bigger: 0 or i?
0
Let z(c) = -16*c - 1. Let r be z(-1). Suppose 5*u - r = -i - 58, 0 = 3*u. Let y = i - -43. Is y not equal to -12/11?
True
Let c be ((32/4)/(-40))/((-2)/(-10)). Let h be ((-265)/(-8) - 2/16)/c. Which is smaller: h or -65/2?
h
Let h be 2 + (-40)/18 - (-97)/18. Let w be (-30 - -27) + (-1 - -6). Which is bigger: w or h?
h
Let y be ((-6)/16)/(279/40 + -7). Which is smaller: 24 or y?
y
Let d(f) = -2*f**2 + 4*f - 2. Let c be d(3). Let m = 88279/456 + 11/152. Let t = 2791/15 - m. Which is smaller: c or t?
c
Let q be (-1 - 0)/(-11 - -8). Let p = 24.2 - 2.2. Let f = p - 21.88. Which is smaller: f or q?
f
Let z = -0.18 - 0.174. Do z and -0.3 have different values?
True
Let p = 7481 + -7565. Is p greater than -43?
False
Let n be 20371/(-548756) + (-6)/(-183). Is 0 smaller than n?
False
Suppose d - 53 = -33. Let r be (-36)/16*d/(-15). Let q(m) = -m**3 + 3*m**2 + 1. Let k be q(r). Is k at least as big as 28?
False
Let m = 3.2 - 31.3. Let j = m + 2.1. Let g = j - -25. Which is greater: g or -27?
g
Let b = 38 - 2852/75. Let s be (-4)/(7200/(-177)) - 0. Let u = s - b. Which is bigger: u or -0.08?
u
Let x(f) = f - 6. Let k be x(11). Suppose 5*j = 7*o - 4*o + 1915, 355 = j + k*o. Is 380 not equal to j?
False
Let n(y) = -y**3 - 6*y**2 + 7*y - 3. Let i be n(-6). Let o = i + 45. Suppose -7*q + 6 + 1 = o. Do 15/7 and q have different values?
True
Let v = -0.044 - 107.956. Let n = 117 + v. Let c = -2.5 - -2.5. Which is bigger: n or c?
n
Suppose 2*u - 273 - 241 = 0. Suppose 12505*z - 12515*z + 1102 = -1458. Which is bigger: z or u?
u
Let n = -61027/60 - -4069/4. Are -1092 and n equal?
False
Let s = -0.353 + 147.353. Let z = -1213.1 - -1066. Let x = z + s. Which is bigger: 22 or x?
22
Let j = -1674 + 1673.381. Do 2 and j have the same value?
False
Let u be ((-18)/(-2 - 0) - 6)/((-3)/1). Is u greater than or equal to -2/293?
False
Let a = -61.5 - -182.6. Let q = -124 + a. Which is greater: -0.1 or q?
-0.1
Let i be (30/45)/((-6)/1413). Let g = i - -52. Is g less than or equal to -105?
True
Let x(j) = -2*j - 1. Let p(t) = -7*t + 80. Let h(f) = -2*p(f) + 2*x(f). Let s be h(16). Is 118 at most as big as s?
False
Let d be (-1576)/(-22)*23 - -2. Let k = 1648 - d. Suppose 24 = -15*p + 11*p + 4*q, 3*p + 12 = q. Does k = p?
False
Let l be ((-12)/9)/(7 - -1 - (26 + -460)). Is -2/3 less than l?
True
Suppose -2*o - 3*o - 3 = s, 0 = -5*o + s + 3. Suppose -39*p + 34*p + 5 = o. Let j = 7 - p. Which is bigger: 7 or j?
7
Let g be 221/65 + (-6)/(-10). Let w be (-2 + 5 - (3 + g)) + 87. Is 81 at most as big as w?
True
Let a be (-2)/(-4)*(5 - 12/(5 - 1)). Is a > 2/525?
True
Let t be (-3756)/(-616) - (-23)/506. Let v = 5 + -4.9. Is t greater than v?
True
Let v be ((2/(-30))/((-7)/98))/(102/2125). Which is greater: 20 or v?
20
Let n = 7788 + -13410. Which is bigger: -2/7 or n?
-2/7
Let l = 6077/3 + -2037. Which is smaller: 36 or l?
l
Let y(h) be the third derivative of -h**5/60 - 11*h**4/24 + h**3/6 - 4*h**2. Let a be y(-11). Let t be -2*((-42)/(-70))/(3/a). Which is smaller: t or 0?
t
Let i be -1 - (-133)/513*247098/(-16). Let d = 4005 + i. Which is smaller: d or 1?
d
Suppose -451 + 456 = -5*w. Which is smaller: w or -3/1474?
w
Let b(c) = -c**2 + 158*c - 6160. Let g be b(88). Which is smaller: 3/13886 or g?
g
Let g = 411857/41 - 10043. Is 2 <= g?
True
Let j(n) = n**3 - 15*n**2 - 39*n - 20. Let s be j(17). Let p = 3 - 3.1. Are p and s nonequal?
True
Suppose -4 = 2*r, 11 = t - 2*r - 3*r. Let c(f) = f**3 + 2*f**2 + 29*f + 114. Let y be c(-4). Is y greater than t?
False
Let p = -390 + 470. Suppose g - p = -7*g. Which is greater: 100/11 or g?
g
Let p be -3 - (53/(-212) - -2*(-47)/8). Which is greater: 4 or p?
p
Let w = 4.2 - 3. Let h = -0.1 + w. Let p = 4223 + -4222.8. Are p and h unequal?
True
Let t be 4 + (-96)/(2 + -6). Suppose -3*z - 3*p - 10 = 2, 4*p = -3*z - 16. Let v be z - 3/(-9)*1. Which is bigger: t or v?
t
Suppose 0 = -20*q - 768 + 28. Let z be q/(-36) + 7 + (-200)/32. Which