**2 - 2*n - 1. Let j be k(1). Let s = -78 + j. Which is greater: s or -16?
s
Let c = -1/1060 - -103891/11660. Is c bigger than 10?
False
Let a be 3 - (1 - ((-8)/2 + 1)). Let z = -127/3 - -41. Which is greater: z or a?
a
Let g(n) = 65*n - 33. Let a be g(-6). Is -424 less than or equal to a?
True
Let h = -2.01 - 15.79. Let t = -1.8 - h. Let m = t - 17. Which is bigger: m or 0.04?
0.04
Suppose -735*d + 755*d + 20 = 0. Which is smaller: -19/89 or d?
d
Suppose z + 196 = 3*c, -6*c + 9*c - 200 = 5*z. Do c and 1 have the same value?
False
Let b = -2458 - -2542. Is 84 > b?
False
Let r = 366269 - 62632172/171. Let g = -23/19 + r. Suppose j - 5*p + 2*p = -5, -4*j - 13 = -5*p. Which is bigger: j or g?
j
Let p = -206 + 210. Suppose -16 = -3*i - 3*y + 5, 0 = 2*i - 5*y. Suppose -b = p*b + i. Which is bigger: b or 2?
2
Let b be (-1364)/(-20) - 2/10. Let l be (36/(-96))/(6/b). Is -2/9 equal to l?
False
Let o be ((-5 - -9)/(-2))/95. Suppose -3*n = l + n - 13, 6 = 2*n. Is o greater than or equal to l?
False
Let u be (8507/(-35) - 1) + 2. Let i = -242 - u. Which is smaller: 0.3 or i?
i
Let o = -28 + 48. Let r = 23 - o. Let g be 8/(-50)*(r + -8). Is 1 bigger than g?
True
Suppose 0 = -39*y + 8329 + 17996. Which is greater: y or 676?
676
Let l(y) = y**2 + 45*y + 265. Let u be l(-38). Which is smaller: u or -1/4?
u
Let f(u) = u**3 + 7*u**2 - 2*u - 12. Let v be f(-7). Let h be 3 + -2*(v + 3/(-2)). Which is smaller: h or 0?
0
Suppose -2*k + 65 - 11 = 0. Let h = 27 - k. Suppose -j - 4 = h, -5*y - 2*j = -6*j + 84. Which is smaller: y or -1?
y
Let v = -73.9 - -80. Let m = v - -1.9. Let d = m + -7. Is -0.5 at least d?
False
Let n = 1012/63 - 114/7. Which is bigger: n or 11?
11
Let i be (35/7)/(4/(-2) - -3). Is i at most as big as 4?
False
Let t = -3 - -5. Let w be 3 - 1/((-2)/(-6)). Let m be w*(1 + -7 - -7). Are t and m nonequal?
True
Let i(m) = 7*m**2 - 2*m - 2. Let y be i(-3). Suppose -y = -7*w + 3. Is w at most 13?
True
Suppose -2*n + 8 = -0*n. Suppose -5*d + 5*q + 45 = 0, -4*d + 26 = -2*q - 0. Suppose -3*s = 5*g - 10, -2*s + 8 = d*g - 6*s. Which is greater: n or g?
n
Let m be (-250)/51 - 16/(-24). Let c = -771/170 - m. Let j(n) = n**2 - 4*n + 4. Let f be j(3). Is f at most c?
False
Suppose 4*q - 54*o + 57*o - 957 = 0, -q + 2*o + 242 = 0. Which is bigger: 242 or q?
242
Let i(j) = -j**2 - 13*j + 73. Let f be i(4). Let m be 34/8 - (-1)/(-4). Suppose -m*z + 24 = 2*k + 56, -f*z + 3*k - 62 = 0. Is -10 < z?
False
Let k = -401 + 375. Let y be 1 + -1 + 183/7. Let z = k + y. Is z <= -1?
False
Suppose 5*u + 11*r = 1373, -3*r - 104 - 155 = -u. Which is bigger: u or -3?
u
Suppose 0 = -4*u + 126 + 82. Which is smaller: 55 or u?
u
Suppose 126 = 4*p + 2*p. Let h = p - 22. Let m = -44/279 + -2/31. Is m equal to h?
False
Let p be -3*(-8)/(-48)*(-5 - -6). Is p at most as big as -0.08?
True
Suppose -2*z + 7 = -1, 3*n = -5*z + 14. Let v be ((-2)/(10*n))/((-5)/90). Is -3 less than v?
True
Let t(b) = 5*b**3 - 8*b**2 - 4*b - 8. Let h be t(6). Let i = h + -440. Let q be 4/3*72/i. Is 0 >= q?
False
Let w = -190/11 - 167/33. Is w > -23?
True
Let g = 9/98 - -2862/49. Which is smaller: 60 or g?
g
Let v(d) be the first derivative of 5*d**3/3 - d**2 - 2*d - 3. Let w be v(-1). Suppose -w*q - 45 = -10*q. Which is bigger: q or 11?
11
Let d = 2 - 0. Let j be 1/((1/1)/d). Let n be (-6)/21 - 96/(-42). Is j < n?
False
Let t be (-21)/(-60) + (18/(-5) - -4). Let i(r) = r**3 + 7*r**2 - 8*r + 4. Let j be i(-8). Suppose -u - u + j = 0. Does t = u?
False
Let q be (2/7)/((-4)/(-7)). Suppose 3*t + 2 = 4*t. Is t less than or equal to q?
False
Let m = 0.214 + -0.24. Let w = m + -0.174. Which is greater: 4 or w?
4
Let q be -1 + 2/(-2) + 11. Let a = 7963 - 7953. Which is greater: q or a?
a
Let x be (-108)/27*229/2. Which is smaller: x or -460?
-460
Let q = -292/9 - -33598/1035. Is -1/4 < q?
True
Let o(m) = 8*m - 34. Let x = 59 - 54. Let k be o(x). Is 6 less than k?
False
Let k(x) = 132*x + 1008. Let h be k(-6). Are 1502/7 and h unequal?
True
Let z(m) = -m**2 - m - 1. Let t be z(0). Let d(w) = w**2 - w - 1. Let o be d(t). Let k = 991/22 - 45. Are o and k non-equal?
True
Let a be 45 + -12 + (-2 - (-2 - -2)). Is a != 185/6?
True
Suppose -3*f = f. Suppose f = 5*g - 0*g. Let i be g/(-4) + 2 + -2. Is i > 2/5?
False
Let h(k) = 5*k**2 - 59 + 8*k - 4*k**2 + 68. Let r(z) = -z - 4. Let b be r(3). Let l be h(b). Is l < 8/9?
False
Let d be (-11 - 210/(-20))*4/(-54)*6. Suppose -5*v = -0*v + 15. Let s be (-1)/8*4/v. Which is smaller: s or d?
s
Let m be ((-2)/12)/(3/(-51)). Is m > 3?
False
Let s = 4 + -5. Let a be 3 - s/((-1)/5). Let r be -3 + (-4)/3 + 2. Which is smaller: a or r?
r
Let l = 908 - 829.1. Let m = l - 79. Let c be 40/(-2)*12/(-16). Is m greater than or equal to c?
False
Let h = -287 + 287. Is h less than or equal to 4?
True
Let w = -4.36 - -4.36. Is w greater than or equal to -506?
True
Let v = -21 + 20.45. Let i = v + 22.55. Which is smaller: 0 or i?
0
Let l = 0.3 - 0.29. Let p = 1.5 - 1.39. Let o = p - l. Which is greater: 3/7 or o?
3/7
Let o(y) = -19*y**2 - 5*y - 9. Let h be o(-2). Let g = h - -97. Which is bigger: 23 or g?
23
Let s(z) = z**2 + 14*z + 1. Let a(r) = r - 1. Let u(o) = -2*a(o) + s(o). Let g be u(-10). Let l(k) = -18*k. Let c be l(1). Is c at most g?
True
Let v = 66 + -15. Let r = v + -50. Which is greater: -2/41 or r?
r
Let b = 4.433 + -0.073. Let w = b - 0.36. Is 0.02 greater than or equal to w?
False
Let l = 64 + -115. Let j = 50 + l. Which is bigger: -4/23 or j?
-4/23
Let i = 1 - -1. Let l = -509/198 + 61/18. Is l equal to i?
False
Let w = -266 - -267. Which is smaller: 1/85 or w?
1/85
Suppose -1 = -4*c - 2*a - 19, -a = c + 4. Suppose 5*b - 36 = -6. Let o = b - 12. Which is bigger: c or o?
c
Let d(j) be the third derivative of 1/24*j**4 + 4/3*j**3 + 3*j**2 + 0 + 0*j. Let u be d(-9). Which is greater: u or 0?
0
Let u be (8/22)/((-26)/(-143)). Which is bigger: -1/75 or u?
u
Let w(h) = h**3 + 15*h**2 - 30*h + 5. Let q be w(-17). Which is smaller: q or -69?
-69
Let l be (-1*(-24)/(-6))/((-2)/1). Let f = 0.47 + -0.32. Are l and f equal?
False
Let l be 265 - (-4)/(-8)*10. Is 259 equal to l?
False
Let f = -1.4 + 6. Let k = 2.4 + f. Is 2/3 greater than or equal to k?
False
Let o be 1 - -2*(-3 - -4). Suppose 4*c - o*m - 9 = 0, m + 12 = 3*c + 4*m. Is 13/7 equal to c?
False
Let u = -38 + 227/6. Let k(t) = -3*t**3 - t**2 + 2*t + 7. Let y(m) = -m**3 + m + 3. Let n(g) = 2*k(g) - 5*y(g). Let w be n(-2). Which is greater: u or w?
w
Let k = 0.0966 + -2.1966. Are k and -0.4 nonequal?
True
Let z = -0.36 + 28.36. Let u = z - 27.8. Which is smaller: u or 7?
u
Suppose 0 = l - b + 3*b + 9, -16 = -4*l + 5*b. Let q be (-3)/(4 - 7) - l. Suppose -3*w - 2*w + z + 3 = 0, q*z = -w - 6. Is w bigger than 3/11?
False
Let r(d) = -17*d + 49. Let k be r(3). Is k less than or equal to 5?
True
Let g = -239 - -274.2. Is g smaller than 0.1?
False
Suppose -5*n + 0*n + 120 = 5*t, 2*n - 71 = -3*t. Suppose -2*z - t = 45. Let s = -25 - z. Is 9 less than s?
False
Suppose 0 = 18*t - 23*t - 175. Let v be (-4)/63 + (-10)/t. Are v and -28 non-equal?
True
Let c = -43 + 49. Suppose 35 = 5*v - 5*a, -2*v = -0*v + 3*a - 29. Suppose v*q - 2*h = 5*q + 26, 5*q - 17 = -h. Is q < c?
True
Let y = 1.805 + -264.805. Which is smaller: 0 or y?
y
Let f = -0.012 + 2.842. Which is smaller: 1 or f?
1
Suppose 0 = -4*m + 23 - 3. Let c(r) = 3*r - 2. Let t be c(m). Is 13 at most as big as t?
True
Let a = -0.0897 - -37.0897. Which is smaller: a or 0?
0
Let d be 3/(-4) + 114/(-40) + 0. Which is greater: d or -5?
d
Let y = 71 + -26. Suppose -3344 = -32*u - 44*u. Which is greater: u or y?
y
Let q = -2933/8 + 367. Is -0.1 at most as big as q?
True
Let o = -3/268 + 97/56548. Let v = o - 388/3587. Which is greater: 1 or v?
1
Let x = 35 - 35.2. Let v = 10.958 - -0.082. Let h = v - 11. Which is smaller: h or x?
x
Let u = -1.9 + 1.7. Which is greater: u or 3?
3
Let r(h) = -37*h + 110. Let v be r(3). Is -3/932 <= v?
False
Let n(w) = -2*w**2 + w + 45. Let z be n(5). Does -2/293 = z?
False
Let f = -670 - -588. Which is greater: f or -2/15?
-2/15
Let h = -43 + 7. Let z = 48 + h. Do 2/7 and z have the same value?
False
Let r = -2 + 1. Suppose 0 = -4*o + 20, 5*o - 7 = 2*k + 2*o. Suppose -4*g + w = 0, 0*g = k*g - 3*w. Which is smaller: r or g?
r
Suppose -3*x + 74 = 2*r, -4*r = -12 - 4