 be 2/o*15/235. Which is bigger: k or 1?
1
Let r(m) = -m**3 - 5*m**2 - 3*m + 3. Let k be r(-4). Let z be -6 + (k - -1) + -3. Let x be z/(0 + -3) - 2. Which is bigger: 1/17 or x?
x
Let n(z) = -z**3 + 5*z**2 + 11*z + 28. Let l be n(9). Is l < -197?
False
Let q = 35 + -40. Let t = q + 5. Let p = -0.7 + 0.55. Which is greater: t or p?
t
Let f be ((-8)/(-10))/(2/(-35)). Let p be (2/6)/(f/36). Let o be 266/(-171) - (-12)/(-27). Is p smaller than o?
False
Let a = 26 - 26.22. Let w = 14.22 + a. Let b = -14 + w. Is 0 smaller than b?
False
Let z(s) = 5*s**2 - 29*s - 93. Let p be z(-4). Is 98 <= p?
True
Let y(x) = x**3 - 12*x**2 + 1. Suppose -5*n - 24 = -7*n. Let s be y(n). Which is bigger: s or -2/57?
s
Let u be 10/(-4)*864/(-240). Which is smaller: 14 or u?
u
Let i = 71339/55 - 1297. Let y = -107/715 + i. Which is smaller: y or 0.1?
y
Let g = 1 - -2. Suppose -w + g*w - 12 = 0. Which is smaller: w or 7?
w
Suppose b + a + 6 = 20, 58 = 4*b + 3*a. Suppose 2 = 3*f - b. Let s = 8/77 + 2/11. Is s at most f?
True
Let a(w) = -9*w + 11. Let y be a(1). Let t(d) = d**3 - 5*d**2 - 7*d + 3. Let v be t(6). Let n be v/2*(y - 0). Which is greater: n or -3/2?
-3/2
Let t(d) = -12*d - 2 + 9*d + 4*d. Let s be t(6). Let i be s/156*(-27)/(-3). Which is smaller: i or 1?
i
Let c be 2/(-6)*(-53910)/60. Which is smaller: 299 or c?
299
Let i(s) = s**2 + 11*s + 12. Let o be i(-10). Let j be (-91)/(-14) - (-3)/o. Let k = j - 5. Which is bigger: 0 or k?
k
Let q be 2*-5*(-6 - -5). Let m(c) = 3*c - 3. Let o be m(4). Is o at least q?
False
Suppose 0 = 4*k - 7*k + 3. Suppose 3*c - 5*o = -k, 0 = 2*c - 0*o + 2*o - 10. Suppose 2*i + c*i - 5*h = -65, 0 = 5*i + 2*h + 37. Is i at least -9?
True
Let a = 1392 - 1395. Let z be ((-4)/10)/((-2)/10). Which is bigger: a or z?
z
Let i = -89669/81 - -1107. Let d = -817194677/567 - -1441260. Let t = i - d. Which is smaller: -2 or t?
-2
Let n = -1901 - -1945. Suppose -4*x = -3*m + 154, -x - 96 = m - 3*m. Which is smaller: n or m?
n
Suppose -x - 188 = 5*p - 5*x, -5*p - 172 = 4*x. Suppose -4*q = -3*i + 160, 164 = -7*q + 3*q + 4*i. Is p > q?
True
Suppose 0 = -2*f - 10, 0 = 2*i + i + 2*f - 2. Let x be 5*(i - (2 - -4)). Which is bigger: -11 or x?
x
Let t(n) be the first derivative of 3*n**2/2 + 3*n + 5. Let l be t(-4). Let d be 135/(-48) - l/3. Which is bigger: -1 or d?
d
Suppose 2*q - 84 = -5*k + 2*k, -k - 3*q + 21 = 0. Is 28 at least k?
False
Let i = -32 + 36. Suppose -j + i*j = 84. Is 28 < j?
False
Let j be (-4)/14 + (-2622)/182 - -2. Which is bigger: -12 or j?
-12
Suppose 5*p = -5, -x + 0*p = -5*p - 8. Suppose 2*b = 2*m + 4, 4*m + 9 + 13 = -x*b. Let t(s) = -s**2 - 6*s - 5. Let v be t(-6). Is m <= v?
False
Let h(v) be the third derivative of v**5/60 + 3*v**4/4 - v**3/3 + 20*v**2. Let s be h(-18). Let u = 3 + 1. Which is smaller: s or u?
s
Let a(p) be the second derivative of p**5/20 + p**4/2 - 4*p**3/3 - 7*p**2/2 + 11*p. Let m be a(-7). Is -5 >= m?
False
Let v be -2*4/(-8) - -1. Suppose -v*y - 32 = -4*y. Let n(d) = -d**2 + 16*d + 1. Let z be n(y). Is z at most 0?
False
Let d = -25 + 22. Let v be (-24)/(-27)*d/(-4). Are 49 and v non-equal?
True
Let d = -111 + 179. Suppose -d = 3*b - 26. Let u be 18/819 - 4/b. Which is smaller: u or 1?
u
Let y = 12.42 + -12.62. Which is smaller: 358 or y?
y
Let x(t) = -t**3 - 10*t**2 + 1. Suppose -3*v - 34 = 4*b, 3*b = b + 4*v - 28. Let o be x(b). Which is smaller: 1/63 or o?
1/63
Let i be ((-76)/(-16))/((-3)/4 + 1). Let c(q) = -q**3 + 18*q**2 + 16*q + 8. Let y be c(i). Is -48 < y?
False
Let c be 1800/(-19125)*(0 - 5/2). Which is bigger: -1 or c?
c
Let a = -2/197137 - 425421636/985685. Let s = a + 429. Which is smaller: 2 or s?
s
Let j(v) = -12*v - 8. Let c be j(-3). Let u be ((-7)/c)/(3/(-3)). Let p be 0 + 4/(4 + 64). Which is smaller: u or p?
p
Let g = -2.1 + 2. Suppose 2*v + 8 = -32. Let u be (-3)/(1 + -2) + 30/v. Is u > g?
True
Let t = -14 - -17. Let y = 292/155 - -16/31. Is t at least y?
True
Let n = 249 - 862. Let j = n + 31877/52. Which is smaller: -1 or j?
-1
Let y be (3/(195/2))/((-3)/45). Does y = 19?
False
Let w(r) = -r**2 + 11*r + 100. Let u be w(13). Which is greater: 73 or u?
u
Let k = -984/13 - -20924/273. Which is smaller: k or -1/5?
-1/5
Let p = 2.66 - 2.1. Let h = 0.04 + p. Let i(g) = -g + 5. Let t be i(5). Which is greater: h or t?
h
Let y(n) = n**3 + 7*n**2 + 6*n - 1. Let b be y(-6). Let o = -235/4 - -59. Are o and b non-equal?
True
Let q(s) = -s**3 - 9*s**2 + 1. Let p be q(-9). Suppose -3*l + p = 2*w - 1, 0 = 3*l - 3*w - 12. Suppose -2 = -u + 5*b, 3*u + 0*b + l*b + 11 = 0. Does u = 1?
False
Suppose 4*o = 3*v + 14, o + 3 - 7 = v. Let p be (-6)/(-10)*v/(-6). Which is greater: 1 or p?
1
Let i be 0/(-4)*(-8)/24. Is i >= -2/1005?
True
Let k be (-1 - (4 - -3))/(-2). Suppose k*z - 41 = -l + 24, -4*l + 3*z = -279. Suppose -2*y = -4*f - 28, -3*y = y + 5*f - l. Is y less than or equal to 15?
False
Let c(t) = -t**2 + t + 1. Let q be c(2). Let m be -4 - q - (-6)/5. Suppose -6*n = -3*n + 9. Which is bigger: m or n?
m
Let y = 221 + -219. Let j = -2/1783 - -23187/7132. Which is bigger: j or y?
j
Let d = -433 - -581. Which is greater: 150 or d?
150
Let i = -1669 + 1657. Which is smaller: i or -60?
-60
Suppose -a + 3 = -3*i, -4*a + i - 5*i - 4 = 0. Let g(v) = -2*v - 17. Let m = 58 - 64. Let p be g(m). Which is smaller: p or a?
p
Let i be ((-36)/12)/((-3)/35). Let k = -36 + i. Which is smaller: k or -22?
-22
Let q = -27 + 28. Is q at most 164?
True
Suppose -r = -6*r + 20. Let f be (-1)/r + 396/48. Let t = f - 14. Is t equal to -7?
False
Let y be (1/(-5))/(1/9). Let a be (-103)/(-7) + 16/56. Suppose r + a - 14 = 0. Is y less than r?
True
Let d(g) = 3*g - 6. Let q be d(3). Suppose -18 + 111 = q*o. Is o smaller than 31?
False
Let v(u) = 8*u - 8. Let p(x) = -x. Let b(r) = 20*p(r) + v(r). Let z(h) = h. Let o(q) = -b(q) - 10*z(q). Let a be o(-6). Do a and -4 have the same value?
True
Let j = 0.2 + 2.8. Let l = j - 3. Let s = -295 - -297. Which is bigger: s or l?
s
Let u(h) = -h - 23. Let i be u(-17). Let l be (0 - (-4)/i)/((-4)/(-6)). Is l less than or equal to 2/13?
True
Let y be (-15)/45 + (-10)/(-3). Suppose -y*g - 6 = 4*w, -1 = g + 2*w - w. Let z be 0 - (-3 + 14/g). Are -4 and z unequal?
False
Let s = 2011 + -18125/9. Is -4 equal to s?
False
Let s be (-4 - -2) + (-5)/(-3). Let f = -110 - -109. Which is smaller: s or f?
f
Let j be (182/(-28))/(6/10). Suppose 9 = -i + 8. Which is bigger: i or j?
i
Let d = -0.085 - -0.181. Let a = -0.396 + d. Which is bigger: -0.07 or a?
-0.07
Let v be 0 - -1 - (-55)/5. Suppose 4*c - 3*k + 33 = v, 0 = -2*c - k - 23. Suppose -2*b = -b + 9. Are b and c non-equal?
False
Let r = -119/205 - 9/41. Let a = 0 - -1. Which is bigger: r or a?
a
Let n be 6 + (-5)/(410/484). Is n smaller than -1?
False
Let h = 58 - 288/5. Let l = -7 - -3. Let c = l + 5. Is h less than c?
True
Let l be (-1 - 10)/(5 - 6). Let q = -6 + 10. Suppose q*v + 5 + l = 0. Is -4 at least as big as v?
True
Let m = -2403 + 2397. Let j be (-1)/(1*4) + 0. Which is smaller: j or m?
m
Let k = 180 + -5582/31. Let u = -4.1 + 1. Let l = 3 + u. Which is bigger: l or k?
k
Suppose 56 - 1 = -2*s + 3*v, s = -4*v - 44. Let h be ((-12)/s*18)/(5 - 2). Is h not equal to -3?
True
Let f = -68.1 + 61.8. Which is smaller: f or -3?
f
Suppose 80*r - 75*r = 3*q, 4*r = q. Which is smaller: -17.1 or r?
-17.1
Let c = -6.6 + 6.603. Is c at least -2/3?
True
Let j = -3.54 - 2.61. Let n = j + 6. Let r = 3.85 - n. Which is greater: -2/7 or r?
r
Let c = 29 - 29.15. Let u = c - -0.15. Let h = 32.67 - 0.67. Is u != h?
True
Let h = 2056 + -1823670/887. Which is bigger: -1 or h?
h
Let r = -49 - 19. Let t = r + 68.1. Is -93 bigger than t?
False
Let u(i) = 3*i**2 + 2*i - 7. Let p be u(-3). Let b be 3 + (-34)/p - 1. Let f(d) = -d**3 - 3*d**2 - d - 2. Let y be f(-3). Is y < b?
False
Suppose -t - 2*t + 26 = -5*g, 24 = 4*t + 4*g. Which is greater: t or 8?
8
Let a be 56/(2 - 8 - (-10)/2). Is a less than or equal to -57?
False
Let m = -0.06 + -4.19. Let d = -12.85 + m. Let t = d + 17. Is t <= -2?
False
Let t = -2.8 + -4.8. Let l = -6 - t. Let i = l + -7.6. Are i and -2 equal?
False
Let p = 35937/16 + -2247. Is p greater than -2?
True
Let v(k) = -16*k + 2*k + k**2 + 5*k - 7. Let c be v(11). Let u be c/(-21) + 2/(-7). Does u = -1/11?
False
Let t = 17478/5 + -195758/55. Is -64