(-66))/(2/72). Let q = 159 - t. Which is smaller: y or q?
y
Let o = 9 + -5. Suppose -6 - 9 = -5*q, o*q + 40 = 4*k. Let z = -20 + 33. Is k greater than z?
False
Suppose -3*n + 0 + 45 = 0. Let k = -13 + n. Is k greater than 8/3?
False
Let v = 9 - 9.28. Let g = -6 + 6.08. Let a = g + v. Which is smaller: a or 2?
a
Let u = 228 + -230. Suppose 15 = 5*c - 20. Which is smaller: u or c?
u
Let n(l) = -l**2 - 9*l - 11. Let b be n(-8). Let u be b + ((-362)/56)/(-1). Let v = 15/4 - u. Which is smaller: v or -3/2?
-3/2
Suppose -17 - 4 = -3*v. Let d be (-64)/v - 4/(-28). Is -10 bigger than d?
False
Let n = -0.048 - 0.772. Let t = 0.8 + n. Let a = -84.3 + 84. Is t at least as big as a?
True
Let o = 148/5 - 30. Let q be 2/1*(-7)/14. Let d(p) = -6*p - 1. Let k be d(q). Which is smaller: k or o?
o
Let c be ((-4)/10)/(2/10). Let f be (-38)/14 - 198/693. Which is greater: c or f?
c
Let x(d) = -27*d + 26. Let j be x(1). Which is smaller: -1/217 or j?
j
Let j be (230/23)/((-4)/(-30)). Which is smaller: j or 82?
j
Let d(c) = 2*c**2 + 10*c + 16. Let n be d(-4). Let u(t) = 2*t**3 - 15*t**2 - 9*t + 5. Let b be u(n). Is b not equal to -1?
True
Let o = -273 + 296. Are -0.4 and o equal?
False
Suppose -4*m + 6 = -2*o, 5*m - 2*o - 2 = 5. Let y = -95 + 1612/17. Which is bigger: m or y?
m
Let v be (-8)/(-10)*10/4. Suppose -v*n = -3*n - d - 1, -5*d = -25. Let z = -3 - -2. Is n equal to z?
False
Let w = 2/18601157 - 757290303922/1283479833. Let x = 590 + w. Which is smaller: 3 or x?
x
Let q = -55.7 + 27.1. Which is smaller: -1 or q?
q
Let i = 82 + -65. Let p = -82 + 82.1. Is i bigger than p?
True
Let h = -303.08 + 303. Is -8 greater than or equal to h?
False
Let o(k) = -k**3 - 24*k**2 + 25*k - 9. Let c be o(-25). Let p be (-1850)/(-90) + 2/c. Is p at least 19?
True
Suppose -3*z + 7*a = 9*a - 1, -3*z = 5*a - 7. Is z not equal to 2/935?
True
Suppose -u + 24 = u. Let h(k) = 2*k + 4. Let b be h(u). Let c be ((-6)/(-12))/((-6)/b). Is c equal to -1?
False
Let i = 96199/7134416 + 2/19387. Is i < -1?
False
Let c = -2 - -3. Suppose -13*j = 52 + 13. Let l be j*2/(-40)*1. Which is smaller: c or l?
l
Let c = -8/10551 + -1044029/685815. Let j = -12/13 - c. Which is greater: -2/5 or j?
j
Let f be 88/(-4 + (-130)/(-35)) - 0. Which is greater: 0.1 or f?
0.1
Suppose -d + 2 + 2 = 0. Let s = 167 + -314. Let m be (2/(-3))/(35/s). Which is greater: d or m?
d
Suppose 0 = -2*f - 3*r - 2, 0 = 2*f - r - 0*r + 18. Let y = f - 0. Which is greater: -8 or y?
y
Let f = 0.75 + 0.05. Let k = 5 - 5.1. Let o = f + k. Which is smaller: o or -1/5?
-1/5
Let p be -6 + (2 - 1) + 4. Let s be 8/(-22)*(-1)/(-30). Is p <= s?
True
Suppose -5*q = 5*n - 170, -3*q + 0*n = -n - 102. Let s = q + -36. Which is smaller: s or 2?
s
Suppose x - 248*d = -247*d - 1098, 0 = -2*x - 4*d - 2220. Is x smaller than -1102?
False
Suppose 4*c - 20 = -4*u - 0*u, 3*c - u - 35 = 0. Which is bigger: 21 or c?
21
Let k = 61.891 + 0.109. Which is smaller: k or -2?
-2
Let c = -1763158/2835 - 577/567. Let s = -623 - c. Is s != 0.1?
True
Suppose -54*r + 35 = -19. Is 2/21 > r?
False
Let j(m) = m**3 + 2*m**2 - 2*m + 3. Let d be j(2). Let x be ((-2)/(-3))/(1 + d/(-9)). Suppose -2*w - 3*a = -2 - 0, w - 2 = -2*a. Is w at least x?
False
Let n = 0.039 + -0.108. Let m = n - 13.931. Do 2/9 and m have the same value?
False
Let z = 33 - 16. Let g = z - 17. Let f be (3/(-6))/(2/(-4)). Which is greater: f or g?
f
Let x = -9.4 - -10.4. Is x at most as big as -23?
False
Let m = 249 + -117. Let b = m + -657/5. Which is smaller: b or 5?
b
Let i = 220 + -240. Which is smaller: 0.03 or i?
i
Let o = 5/361 + 10795/2527. Let n = o + -4. Which is smaller: n or 2/5?
n
Suppose 5 + 10 = 5*p. Is 8 equal to p?
False
Suppose -5*u - 20 = 60. Let k be (u/56)/((-4)/3). Is k smaller than -1?
False
Let d be 2/(-4)*0 - 1. Let i(t) = t**3 + 5*t**2 - 2*t - 8. Let q be i(-5). Suppose k - 2 = q*k. Which is smaller: d or k?
k
Let o = -2 + 5. Suppose 0 = -5*n - b - 24, -4*b - 28 = -0*n + o*n. Let a be ((-1)/24*n)/1. Do a and 1 have different values?
True
Let l be (54/(-51) + 1)/(51/(-12)). Is -1 less than l?
True
Let c = -83 + 66. Suppose 3*x + 12 + 9 = -2*h, -4*h - x - 47 = 0. Let t be c/h - 4/6. Which is smaller: 1 or t?
t
Let m be -1*(3 - 40) + -4. Is 32 smaller than m?
True
Let j be (((-6)/(-5))/((-2)/155))/(-3). Is j at least 31?
True
Let d(w) = 2*w**3 + 4*w**2 - 13 + 10*w + 8*w - 21*w - w**3. Let j be d(-4). Is -6/17 != j?
True
Suppose 0 = -5*w + 2*n, -4*n + 0*n = 0. Which is greater: -3/130 or w?
w
Let k be (-47927)/(-160490) - (12/40)/1. Which is bigger: -1 or k?
k
Let c = 0.149 + 1.991. Let l = -0.14 + c. Let i = 1.8 - l. Which is smaller: i or -0.1?
i
Let d be (-3556)/(-924) + 77/(-21). Let s(g) = g**2 - 2. Let h be s(-2). Suppose h*m + m = 0. Which is bigger: m or d?
d
Let z(c) be the third derivative of -4*c**2 + 1/60*c**5 - 1/3*c**4 + 1/2*c**3 + 0 + 0*c. Let d be z(7). Are -4 and d equal?
True
Suppose 0 = -3*k - 418 + 385. Which is greater: -20 or k?
k
Let r be (1/6*-2)/(4/12). Let z be (7 - 4)*r - 4. Which is smaller: -10 or z?
-10
Let r = -3 + 2.4. Let b = -0.6 + 1.01. Let o = b + r. Which is smaller: o or 0?
o
Let i = -13 + 19. Let w be (8/(-8) - 1)/(8/(-18)). Is i greater than or equal to w?
True
Let b = -15 - -14. Let s = 99 + -160. Let d = s - -429/7. Does d = b?
False
Let t = 2122 + -2120. Which is bigger: 257 or t?
257
Suppose 2*j - j = 2, -13 = -5*s - 4*j. Let v(a) = -a**3 + 3*a**2 + a + 1. Let g be v(3). Which is smaller: g or s?
s
Let l = -677/4 + 169. Let w(t) = t + 1. Suppose -o + 6*d + 4 = 4*d, 4*d + 8 = -2*o. Let c be w(o). Is l at most c?
True
Let r(g) = -2*g - 13. Let a be r(-8). Suppose 7 - a = -2*v. Which is smaller: v or 0?
v
Let h be (-12)/20 + 334/(-10). Let x(l) = l**3 + 30*l**2 - 61*l + 63. Let r be x(-32). Which is bigger: r or h?
r
Let x(u) = -u**3 - 3*u**2 + 4*u + 1. Let d be x(-4). Let c be (9/1416)/(21/28). Which is bigger: d or c?
d
Let n = 109488/19 - 5760. Is n not equal to 4?
True
Let m(o) = 84*o + 158. Let c be m(-2). Which is greater: c or 67?
67
Let a be 0 - (-8)/(-16)*-64. Which is greater: 0 or a?
a
Let c(j) = j**2 + 8*j - 18. Let y be c(-10). Let b(x) = 5*x + 2. Let l be b(y). Which is bigger: 13 or l?
13
Suppose 5*q - 24 = 4*q - 4*r, 0 = 4*r - 12. Let b(m) = -3*m**2 - 20 + m**2 + q - 10*m. Let p be b(-5). Is -7 >= p?
True
Suppose 4*b + 8 = 3*w, 4*b + 7 = 4*w - 1. Which is bigger: w or -4/271?
w
Suppose -180 = 9*m - 162. Which is smaller: m or -178?
-178
Let s(g) = -g**3 + g + 4. Let y be s(0). Suppose -y*l + 49 = -3. Let n = -11 + l. Is 4/3 bigger than n?
False
Let q = -0.0063 - 0.0937. Is 56/25 greater than q?
True
Let q = -55/2 + 27. Let l(m) = -2*m**3 + 2*m**2 + m - 1. Let t = -39 + 40. Let b be l(t). Is q greater than b?
False
Let x = -656 - -657. Which is bigger: 292 or x?
292
Let s(k) be the third derivative of -k**4/8 + 10*k**3/3 - 7*k**2. Let i be s(8). Let z be (-8)/35 + i/20. Is -1 greater than z?
False
Let z(i) = -i + 11. Let l be z(12). Let q be l/80*15/(-12). Is q smaller than -1?
False
Suppose 0 = -4*s + 4, 3*v - s - 4 = 1. Let j be ((-135)/(-24))/(-3) + v. Let c = -143/4 - -36. Is c != j?
True
Let w = 45 - 36. Let h(v) = -v**2 + 10*v - 9. Let y be h(w). Is y equal to -3/10?
False
Let b = -0.11 + -1.69. Let z = b + 1.3. Let c = 33 + -30. Is c at most as big as z?
False
Suppose 3*j - 12 = -0. Suppose a - 8 = 1. Let q = a - j. Is 5 bigger than q?
False
Suppose 0 = -s - 5*c - 5 + 30, -5*s = -c + 5. Which is greater: s or 1/858?
1/858
Let l = -3415/3 - -1155. Which is smaller: 17 or l?
l
Let s be (3 + 171/14)*(-36)/27. Which is greater: s or -21?
s
Suppose 0 = -i - 27 + 26. Is i less than or equal to 2/39?
True
Let l(z) = z**3 + z - 55. Let v be l(0). Let j = v + 22. Let k = j - -25. Is k smaller than -8?
False
Suppose 4*b = 17 - 13. Let r = 8 + -11. Let m be 8/(-35) + r/(-7). Are m and b unequal?
True
Suppose -5*r + 32 = -253. Suppose -5*v - f = 69, -2*f + r = -10*v + 5*v. Let t = 3 + v. Is t != -9?
True
Let t = -95/27 + 3391/135. Which is bigger: 22 or t?
22
Let g = -0.12 + 0.12. Let q = -49 - -47. Which is smaller: q or g?
q
Let o be 22 - 1 - 3/(-1). Suppose -12*i = -4*i + o. Which is bigger: -40/9 or i?
i
Let b = -116 + 118. Suppose 4*k + 0*j - 64 = 5*j, b*j - 8 = 0. Is k != 24?
True
Let u be 6 - 4/2 - (738 + -12). Which