, 4 = -c. Suppose 8*d - 9 = 4*r + o*d, 5 = d. Which is smaller: r or -9/14?
r
Let i be 319*(3 + (-21 - -17)). Is 2 at most i?
False
Let o = 1310 - 840. Is -2 at most as big as o?
True
Let c = -2.81 - 254.19. Let j = -251.7 - c. Which is greater: j or 1/4?
j
Let k = -808.19 - -814. Let p = 32.81 - k. Which is greater: p or 0.01?
p
Let z be 15521/(-913) + (19 - (4 + -1)). Let j = 36 - 36.91. Is z less than j?
True
Let q be 5700/(-36) + (-2)/(-6). Let i = q + 272. Suppose 0 = -7*d + i - 30. Is -5 > d?
False
Let w be 2/(2 - 96/49). Let a be (33/22)/((-7)/266 - 0). Let c = w + a. Is -8 less than c?
False
Let x be 1/(-3) + ((-8646)/(-18))/(-11). Let q be (x/(-20) + -1)*(-330)/(-27). Which is smaller: 14 or q?
14
Let v be ((-4008)/63 - -6) + 15/3. Let z = -157/3 - v. Which is bigger: -13 or z?
z
Let q = -1155 - -1155. Which is smaller: q or -1349/4?
-1349/4
Let c(q) = -q**3 - 6*q**2 - 6*q + 6. Suppose 0 = 6*k + 9 + 27. Let b be c(k). Let i be 1 + b/(-49) + (1 - 0). Which is bigger: 2 or i?
2
Let c = 5681 - 5575. Which is smaller: 734/7 or c?
734/7
Let d = -17009/68100 + -4/17025. Let u = -10 + -4. Let h = -32 - u. Which is bigger: d or h?
d
Let a = -201/679 + 1/97. Suppose 2*j + 3 = -5*i, 1 + 32 = 4*j - 3*i. Let q be j/(-18)*-8 + -3. Which is smaller: a or q?
q
Let c be (-426)/(-47)*9/(-270)*110. Which is bigger: -34 or c?
c
Let a = -1783/5239 - -3/169. Let f = a + 143/155. Is f < -52?
False
Let n = -205/78 - 53/26. Which is smaller: n or -2/75?
n
Suppose 48*n - 243 = -195. Let z = -4108 + 2132053/519. Which is bigger: z or n?
n
Suppose -8*u = -3*u - 175. Let y = 27 + -27. Suppose m = -4*p - m + 132, -5*p + 2*m + 174 = y. Is u smaller than p?
False
Suppose 0 = 2*z + 3*d - 11, 8 = 3*z + 4*d - 9. Suppose z*c - 12 = 4*c. Let p be (-7)/(14/(-6)) - c. Is -1 equal to p?
True
Let z(h) = h**2 - 4*h - 1. Let w be z(5). Suppose 2*v - c = w*c - 100, -v - 53 = -c. Let f(q) = -34*q - 225. Let y be f(-5). Is v < y?
False
Let f be 0 - (4 + (-22)/6)*13362. Which is bigger: f or -4456?
f
Suppose 0 = 32*f - 29*f - 336. Let n be (9/4)/((-21)/f). Let h(k) = -k**3 + 2*k**2 - 2*k + 4. Let v be h(3). Is v at most n?
False
Let h = 2048/7 - 293. Let o = -3 + 2. Is h <= o?
False
Let t(o) = -21*o - 19. Let n be t(9). Let d = 1870/9 + n. Let r = -9/2 + 121/26. Is d smaller than r?
True
Suppose 0 = -2568*s + 2552*s - 1982 + 5582. Which is smaller: s or 55?
55
Let y be ((-93696)/(-15))/4 - (-33)/(17 + -6). Is 1566 not equal to y?
True
Suppose 2*m + 2*m = -4. Let z = -114.6 - -103. Let d = -25.6 - z. Is m less than or equal to d?
False
Suppose -4*p + 6*a = 2*a - 12, -2 = -2*p - 2*a. Let w(j) = -27*j + 5. Let r be w(p). Let h = 199 + -248. Is h <= r?
True
Let r be (-14 - -14)/(-1 + 2). Suppose -w = w + g - 23, r = 4*w - 2*g - 26. Suppose 0 = -77*z + 79*z - 20. Which is smaller: w or z?
w
Let n = -968 + 968. Let k = 1766 - 280793/159. Is n != k?
True
Suppose -3*k + 2*k + 165 = -2*g, -g - 161 = -k. Let f = k - 156. Which is smaller: f or -2/615?
-2/615
Let k(o) = 19*o**2 + 8*o - 333. Let h be k(-20). Which is greater: h or 7105?
h
Let a(m) = 56*m + 1613. Let h be a(39). Which is smaller: h or 3799?
h
Suppose -3*w = 2*w + 65. Let r = 204 + -128. Let s = 63 - r. Is s at most w?
True
Let m be 576/(-26) - 224/(-1456). Let y be ((-4)/(-6))/((-2)/42). Let i be 312/y - 8/(-28). Are i and m unequal?
False
Let n be -237 + 4*24/(-32). Let f be (-90)/n - (-6)/(-20). Which is smaller: -1 or f?
-1
Suppose 3 = x + o, 9 = 2*x - 0*o - o. Suppose -x*u - 11 = -5*a + 490, 4*u + 519 = -a. Is -128 greater than u?
True
Let i = 0.1255 + -0.1255. Let r be (5/(-15))/(32/(-12)). Is i less than or equal to r?
True
Let a = -311 - -310.973. Let c = a - -362.027. Which is bigger: c or 1?
c
Suppose -229*j - 6274 = 22809. Which is smaller: -130 or j?
-130
Let t(z) = 4*z + 31. Let c be t(-8). Let h be ((-110)/60)/(c/22) - -2. Which is greater: h or 43?
43
Suppose 0*w = 4*w + b - 7, 0 = -w - 2*b. Suppose w*a + 2 = a. Let f be 4/a - (8 + -12). Which is smaller: 1 or f?
1
Let o = -4.51 + 2.16. Let i = -2.55 - o. Is i < -4/31?
True
Let d = -122.6 + 104. Let b = d + 19.2. Which is greater: b or -1?
b
Let i = -44536/525 + 509/6. Is 0 bigger than i?
False
Suppose -4*n = -11 - 29. Let r be 2/n - (-12)/(-10). Let p be ((-105)/24 - (14 - 16)) + 2. Which is smaller: r or p?
r
Let h be 4/(12/(-6459))*(-34)/2. Let t = h + -45641443/1247. Let l = -49916/11223 + t. Is -2/3 bigger than l?
True
Let m be (-18)/15*5*-3. Let p be m/(-5) - 0/(-2). Suppose -39 = -786*k + 807*k + 66. Is p bigger than k?
True
Let y(w) = -w**3 + 2*w**2 + 3*w + 2. Let r be y(3). Let s be 4/(40/(-75))*r/(-3). Suppose -2*f + 7 = -t - 10, s*t - f + 94 = 0. Is -19 > t?
False
Suppose 0 = 22*v - 23*v - 6*i - 162, -5*v = 5*i + 810. Is -157 smaller than v?
False
Suppose 2*v = -v + 3*a + 24, -2*v - a + 1 = 0. Let t be (v - 2)/((-1)/(-29)). Suppose -5*w + t = 34. Which is bigger: w or -2/71?
-2/71
Suppose -10 = 7*a + 3*a. Let g be (2 + 1 - 324/156)/a. Which is bigger: -1 or g?
g
Let q(p) = 4*p**3 - p**2 - p + 2. Suppose -o - y - 2 + 8 = 0, 3*y - 12 = 0. Let a be q(o). Let x = 458 - 458.1. Which is greater: x or a?
a
Let q be 2*((-1198)/4 + -3). Is -605 at most q?
True
Let b(j) = j**3 - 5*j**2 - 4*j + 9. Let c(s) = -s**3 - 17*s**2 - 15*s + 20. Let d be c(-16). Let y be b(d). Let m be (-2 + 4 - -2)/(2/(-13)). Does m = y?
False
Let g(i) = -i**2 - 1. Let h(j) = 2*j**2 + 3*j - 6. Let p(s) = -g(s) - h(s). Let v be p(-5). Let d be ((-26)/(-65)*3/(-4))/(6/35). Is v > d?
False
Let x = -801 - -730. Let v = -47 + -25. Let m = v - x. Does -67 = m?
False
Let m be 4*115/900 + ((-46)/9 - -5). Which is smaller: -503 or m?
-503
Let y be (-9 - (-828)/84) + 50/(-42). Which is greater: -2843 or y?
y
Suppose 329 = 52*j - 49*j - f, 0 = 3*j + 4*f - 319. Is 112 less than j?
False
Let c(o) = o**3 - 17*o**2 - 16*o + 269. Let m be c(17). Let l = 209 - 170. Is m at most l?
True
Let t = 81 + -81.25. Let l = t - -0.215. Let x = l + -10.965. Is 2 greater than x?
True
Let c = 1201 + -732. Let a = -2412 + 2881. Is c at least as big as a?
True
Let c = 39 - 42. Let j be (-15)/(0 + c) - -4*19. Is j smaller than 80?
False
Let n = -1317 + 1324. Let k be 161/(-462) - 1/(-6). Is n greater than k?
True
Let z = 518643/101 - 5135. Is 0 smaller than z?
True
Suppose 9*f + 75 + 96 = 153. Which is smaller: f or -2369?
-2369
Let f(u) be the second derivative of -2*u**3/3 - 10*u**2 + u. Let n be f(-6). Suppose 5*i - n = i. Which is smaller: -1 or i?
-1
Let p = 13.91 - -1.79. Let b = 14.2 - p. Which is bigger: b or 9/2?
9/2
Let i = -255 - -9947/39. Which is smaller: i or -11/4?
-11/4
Let x be (6/(-18))/(16/48). Is -5/12 >= x?
True
Suppose -23*s - 808 = -31*s. Let q = -97 + s. Let w be q/((35/10)/(-7)). Is w bigger than -8?
False
Let u be ((27/6)/9)/(-4) - 5005/(-16296). Is u != -1?
True
Let o = -0.25998 - 2.74002. Which is greater: o or -1/37?
-1/37
Suppose -18*c - 38211 = -15*c + 3*v, -3*c - 38253 = -18*v. Is -12739 at most as big as c?
True
Suppose -4608 = 2*f - 766. Let c = 30759/16 + f. Which is greater: 1 or c?
c
Let v = 48902/45 - 11395/9. Let b = -180 - v. Let k = -21825 - -21825. Which is bigger: b or k?
k
Let d be 440/(-1980)*2*6/(-1712). Does d = 1?
False
Let j = -33049 + 2809223/85. Which is bigger: 1 or j?
1
Let z be 1938/(-9) + 8/(-6). Let k = -212 - z. Let r be (-28)/(-5) + 2/5. Which is bigger: r or k?
r
Let x(m) = -3*m**2 - 2*m - 14 + 2*m**2 - 2*m**3 + 7*m**3 - 6*m**2 - 6*m**3. Suppose 2*o + 13 = -1. Let q be x(o). Is -1/5 bigger than q?
False
Let l(s) = -s**2 + 12*s - 27. Let t be l(8). Let y(m) = m**2 + 3*m - 33. Let v be y(t). Suppose 0 = v*a - 12*a + 100. Which is greater: a or 21?
21
Let q be (24/10)/(12/20). Let c(g) = g - 5. Let t be c(q). Is t greater than or equal to -28?
True
Let k be (7 - 3) + 8 + -2. Suppose 5*h - t = -6 - k, 2*t = -h - 1. Let y = h - 5. Is y bigger than -7?
False
Let x = -30117 + 16986. Which is greater: x or -1/4?
-1/4
Suppose 32*c - 3*x + 18 = 31*c, -2*x - 22 = 5*c. Let b be 24/(-696)*(c/8)/(-3). Which is smaller: b or -1?
-1
Let m = -1700 + 1699.38. Which is smaller: 78 or m?
m
Suppose -p - 6 = -5*y - 0, -2*y + 78 = -4*p. Let s(n) = -n**3 - 17*n**2 + 74*n + 20. Let m be s(p). Which is greater: m or 231?
231
Let i = -182271430/4033 - -45195. Which is smaller: i or 