 Let k = 84 + n. Is k < -7?
True
Let q = -0.12 - 4.88. Let w = q - 0. Let o = -3 - w. Which is smaller: 1 or o?
1
Let d(u) = u**3 - 7*u**2 - 32*u + 174. Let p be d(8). Which is smaller: p or -16?
p
Let c = 6/379 + -11779/1895. Let v be 2/17 + 2490/510. Suppose 2*t + 0*t = 0, -b - 2*t - v = 0. Which is smaller: c or b?
c
Suppose -3*b + 37 = c, -7*b + 31 = -4*b - 5*c. Which is smaller: b or 13?
b
Let k(c) = 3*c - 3. Let o be k(-3). Let p be 2/8 + 3/o. Let j = -8 + 8. Is p >= j?
True
Let h be 625/(-850)*4/(-10). Is h greater than 0.1?
True
Let v = -3 + 4. Let y = v + 14. Let r be ((-10)/y)/(4/(-6)). Is 1 <= r?
True
Let c be (5 - 3207/642)/(3/18). Are -0.1 and c unequal?
True
Let z(j) = -45*j**3 + 1. Let t be z(1). Let n be 7/(-5) + t/55. Are -2 and n unequal?
True
Let m be (-6)/(-27) + 111/108. Let f = m - 23/12. Which is smaller: -1 or f?
-1
Let h = -41 - -151. Let j be 2/5*h/4. Which is greater: j or -2/7?
j
Let u = 90/7 + -21524/1673. Suppose -i + 6*i - 1 = -2*g, 0 = 4*g - 12. Which is smaller: i or u?
i
Let l(z) = z - 7. Let w(y) = -y - 1. Let h(b) = -10*b - 20. Let t(i) = -h(i) + 12*w(i). Let s(c) = 3*l(c) + 2*t(c). Let n be s(-6). Is n less than 6/5?
True
Let j = 56 - 55. Suppose 3*q - 1 = 5. Let x = q + j. Is x > 2?
True
Let o = 23.9 - 26.9. Which is smaller: o or -20?
-20
Let l(v) = 3*v + 8. Let j be l(-3). Are j and -2/221 non-equal?
True
Let z(b) = -4*b**2 - 16*b + 19. Suppose 18 - 11 = a. Let q(f) = -f**2 - 5*f + 6. Let d(t) = a*q(t) - 2*z(t). Let p be d(2). Which is smaller: 7/4 or p?
7/4
Suppose 79 = -n + 2*f, -305 = 2*n + 2*n + 3*f. Which is greater: -78 or n?
n
Let y be (34 - 33)/(2/(-14)). Let b(v) = v**3 + 8*v**2 + v - 22. Let d be b(y). Let r = 32 - 13. Which is bigger: d or r?
d
Let x = 5.6 + 0.56. Let s = 0.36 - x. Let k = s + 6. Is k equal to 7?
False
Let h = 46.2 - 46.4. Which is smaller: h or 2/239?
h
Let n be (3 + -9)/((-4)/6). Let m be -9 + (-2)/(-2) + -2. Let c = n + m. Is -2/11 at least c?
True
Let i be 83629030/27865186 - (7 - 4). Let o = 2/9791 + i. Let y = 8528/7115 + o. Which is greater: y or 1?
y
Let c = 29432/63 + -3376/7. Is -16 less than c?
True
Let q = 81 + -79. Suppose 10*c = 8 + q. Let o(u) = u**3 + 3*u**2 + 2*u + 3. Let z be o(-2). Which is greater: z or c?
z
Suppose 0 = 4*w - 115 + 7. Do 133/5 and w have the same value?
False
Let k(s) = -s**2 + 6*s - 4. Let j be k(5). Suppose v + j = -0*v. Which is smaller: 1/26 or v?
v
Let v = 155/1368 - 1/456. Is 10 at most v?
False
Let l(d) = d**3 + 10*d**2 - 11*d - 8. Let z be l(-11). Let s be (18/z)/(77/88). Is s greater than or equal to -2?
False
Let h = 0.204 + -0.004. Let a = h - 0.2. Suppose 0 = -2*s - 2*s. Is a less than s?
False
Let v = 19426 + -271837/14. Which is greater: 8 or v?
v
Let g = -718/5 + 143. Let y = 3790/3 - 1264. Which is smaller: y or g?
y
Let f be (-1 + (-70)/(-28))/(42/16). Let n be 2/9 + 40/225. Which is smaller: n or f?
n
Let h = -1.9 + 2. Let z(o) = o + 1 + 7 - 9 + 0*o. Let b be z(-2). Which is smaller: b or h?
b
Let h = -0.3018 - -0.6138. Which is greater: 0.2 or h?
h
Let f = -30 + 44. Suppose 17 = -9*q + 10*q + b, -q - 7 = -5*b. Which is smaller: q or f?
q
Suppose 95*b + 4 = 91*b. Is b >= 1/90?
False
Let z(s) = -2*s - 5. Let q be z(-5). Let f(u) = 10*u. Let m be f(1). Suppose 5*k - 3*k - m = 0. Do q and k have the same value?
True
Let w = -27.5 + 30.5. Which is bigger: -8/17 or w?
w
Let o be ((-2)/10)/((-4)/40*2). Are -3/20 and o unequal?
True
Let v be 1 + 0/(3 + 1). Let h be (-2)/(-8) + 2485/(-200). Let p = 59/5 + h. Which is smaller: v or p?
p
Let z = -304 + 306. Are 144 and z unequal?
True
Let u be 3334/(-6652) - -4*(-4)/(-32). Is -1 >= u?
False
Let l be 5 + (-265)/55 - 298/550. Which is bigger: -1 or l?
l
Let b = 319 - 144. Let c = 1397/8 - b. Is -1 bigger than c?
False
Let c(k) = 3*k**2 - 99*k - 112. Let x be c(34). Suppose 0 = 4*l - 4*i - 2 - 58, 0 = -3*l - 4*i + 10. Let v = l + x. Which is bigger: v or -3/10?
v
Let z = -1709 - -596438/349. Which is bigger: z or 1?
1
Suppose -7 - 8 = -5*b. Let g(y) = 2*y**3 - 4*y**2 - 2*y + 6. Let k be g(b). Is 20 at most k?
False
Suppose 6*g + 12 = g + 2*n, g - 3*n + 5 = 0. Suppose 4*f = 32 + 4. Let q = 5 - f. Do q and g have different values?
True
Let k(i) = i**3 + 2*i**2 - i. Let f be k(-2). Let d be (-39)/9 - f/(-6). Suppose 11*p - 5 = 12*p. Which is greater: p or d?
d
Suppose -29 = 2*r + 13. Which is smaller: -20 or r?
r
Let q be -4 + (-107)/(-11) + -5. Let y be (-1*4/2)/(-2). Which is smaller: y or q?
q
Let o be (-328)/(-18) - (-4 - 152/(-36)). Let g be ((-10)/30)/(2/o) - -3. Let y be (-1*4)/((-18)/(-4)). Is g bigger than y?
True
Let x = 0.247 + -0.047. Let z = 5.36 + -0.26. Let b = z - 5. Which is smaller: b or x?
b
Let j = 377 + -372. Is -2 greater than or equal to j?
False
Let m be 4/(-8)*6 + 6. Suppose m*w = w - 10. Let h = 4 + w. Which is smaller: h or 1/12?
h
Let m = 27 - 9. Suppose 2*l + 2*l = -5*r + m, -r = l - 4. Is 2 less than or equal to l?
True
Let u = -1.3 + 1.1. Let n = 8 + -7. Let l = n + -0.8. Is l at most as big as u?
False
Let w be 1*(-1 + -2 + 4). Let n = 62895/61 - 1031. Is w not equal to n?
True
Let y(a) = a**3 + 3*a**2 - 5*a - 4. Suppose s + s = -8. Let x be y(s). Let u be 14/110 + 8/(-20). Is x at least as big as u?
True
Let c(q) be the second derivative of -q**4/12 + 2*q**3/3 + 9*q**2/2 + 9*q. Let l be c(6). Is -4 at least as big as l?
False
Let v(z) = z**3 - 4*z**2 - 5*z - 2. Let i be v(5). Let x = 12 - i. Which is smaller: x or 15?
x
Suppose 11*a - 30*a - 19 = 0. Which is smaller: -4/317 or a?
a
Let u(q) = 3*q**3 - 7*q**2 + 7*q - 6. Let v be u(4). Let w = v + -102. Which is bigger: w or 17?
17
Let s be (-1)/6 - 4/(-18). Let k be (-4 - (-21)/6)*0. Suppose 41*i - 45*i - 4 = k. Which is smaller: s or i?
i
Let x = -1.35 + 1. Let k = x + -0.05. Let t = -7 + 6.5. Which is bigger: k or t?
k
Let m be 78/15 + 3 + -2. Let x = 197/5 - m. Let j = 33 - x. Which is greater: -1 or j?
j
Let o = 10 + -1. Suppose -o*k = -5*k - 96. Let f be k/20 - (0 + 3). Is f smaller than -2?
False
Suppose 0 = 4*u - 7*u + 12. Suppose 0*p - u*p - 4 = 0. Do -4/5 and p have the same value?
False
Let s = -347.1 + 324. Let c = 23 + s. Let q = -5.82 + 6. Is c less than or equal to q?
True
Let v(i) = -23*i**2 + 2*i + 1. Let m = 1 + -2. Let q be v(m). Let t be (-2)/(-5)*(-12)/q. Which is greater: t or -1?
t
Suppose 0 = -3*q - q. Suppose q = -c - 32 + 36. Let z be (1/(-3))/((-2)/12). Is z greater than or equal to c?
False
Let t = 1/782 - -104395/1564. Is 67 equal to t?
False
Let j(s) = 38*s + 391. Let w be j(-10). Let g(i) = -i + 17. Let q be g(7). Are w and q nonequal?
True
Let a be (-4)/7*(-2)/(-4). Let p = -0.029 - -0.839. Let d = 0.9 - p. Which is bigger: a or d?
d
Let d = -18 + 18. Let f = -31 + 54. Suppose -k = -6*k + 4*i - f, -3*k = -3*i + 15. Which is greater: d or k?
d
Suppose -2*z + 3*k + 0*k = -32, -5*k - 90 = -5*z. Let o = z - 23. Let p be (10/15)/(10/6). Which is smaller: o or p?
o
Let s be (-4)/10 + -1 + 1071/(-35). Let g be ((-4)/(-10))/(s/740). Is -8 less than g?
False
Suppose 4*s - 101 + 29 = 0. Let q be 4 + (-84)/s + 5/3. Which is greater: -1/9 or q?
q
Suppose -2*o = 4*c, 5*c - 2 = 5*o + 13. Let j be -4 - 3/(-2 - c). Let z(l) = l**2 + 3*l. Let p be z(j). Is 1/6 != p?
True
Let z = -0.0874 + -0.0216. Which is bigger: 1 or z?
1
Let n = -60174995/218289 + -2/72763. Let a = -273 - n. Which is smaller: a or 2?
2
Let x = -118/15 - -23/3. Suppose 8*z = 3*z + 10. Let v be 0/(2 - z/2). Is x >= v?
False
Let y(p) = -33*p**2 - 5*p. Let x be y(9). Let w = x - -1917. Let i = 3221/4 + w. Which is greater: i or 3?
i
Let a(f) = -37*f + 15*f + 2*f**2 + 6 + 11*f + 21*f. Let m be a(-5). Is 6 equal to m?
True
Let y = -7 - -11. Let o = y + -7. Let t = 2.8 + o. Which is bigger: 1/2 or t?
1/2
Let u(c) = c**3 - c - 12. Let d be u(0). Let p be 4/d - (-69)/(-252). Let t = p + 5/14. Which is smaller: 0 or t?
t
Suppose 78 = 5*t + 18. Let i = -10 + t. Is 5 != i?
True
Let g = -301139/420 - -10868/15. Let i = -51/7 + g. Let y = 133 - 140. Which is bigger: i or y?
i
Suppose 536 = -25*c - 739. Which is bigger: -50 or c?
-50
Let f be ((-89)/1392)/(4/40) + 0. Let d = f - -17/24. Let u = 2 + -2. Which is smaller: u or d?
u
Let q be (-12)/(-40)*(-8)/(-156). Let m = -0.042 + 0.042. Which is bigger: q or m?
q
Let m be ((3/30)/1)/