et z = -0.5 + w. Which is bigger: -0.1 or z?
z
Let v be (-2)/(-5) - (-32)/(-75). Let o(q) = 219*q - 1533. Let x be o(7). Which is greater: x or v?
x
Let c = 2 + -3. Let h = 1499 + -2205. Let x = 114371/162 + h. Is x > c?
True
Let w = -244 - -249. Suppose -33 = -w*k + 142. Is k < 33?
False
Let i = 111690 + -256775303/2299. Which is greater: 1 or i?
1
Suppose -4*f + 3*k + 244 = 0, 0 = -3*f - 6*k + 66 + 84. Are f and 61 unequal?
True
Let s(k) = -k**3 - 19*k**2 + 91*k - 22. Let t be s(-23). Is -2/22099 bigger than t?
False
Let z(k) = -24*k + 89. Let y(x) = -287*x + 1071. Let b(q) = 4*y(q) - 49*z(q). Let w be b(3). Is w > 2?
True
Let c = 2 - 5/3. Let m = 0.3 + -68.3. Let n = 57 + m. Which is smaller: n or c?
n
Let z be (-6)/9 + 0 + (-100)/(-15). Suppose z*x - 11*x + 395 = 0. Which is smaller: 78 or x?
78
Let o = 0.274578 - 0.174578. Let d be 153 - (-2 - -1)*2. Suppose -156 = -5*m + 3*u - 11, d = 5*m - 5*u. Which is smaller: o or m?
o
Let z(w) = 3*w**2 + 7*w + 2. Let f be z(-2). Are f and -1/5 non-equal?
True
Let z = 7142.09 + -7142. Which is smaller: z or -118?
-118
Let z(q) = -4*q**2 + 2*q + 2. Let x be z(2). Let v be 982/(((-23)/(-184))/(1/8)). Let a = v + -989. Which is bigger: a or x?
a
Suppose 225 = 3*x + 81. Suppose 0 = w - x + 6. Let g = -41 + w. Is -2/163 at least as big as g?
False
Suppose -3 = -3*b, -3*b - 80 = 3*o - 365. Let v = -283 + o. Let u be 2 + -1 + v/(-9). Which is bigger: u or 21?
u
Let j = -1423.92 + 1416. Which is smaller: j or 0.1?
j
Suppose -14670 = 125*q + 38*q. Which is smaller: -89 or q?
q
Let w = -8.4 + -37.2. Let c = w - -6.6. Do c and -1 have different values?
True
Let d be (-20)/14*176/55. Let f(l) = 3*l - 7. Let s be f(11). Suppose s - 76 = 10*c. Is d greater than or equal to c?
True
Let a(r) = -3*r - 8. Let t be a(-4). Suppose 0 = v - 5*v - p + 284, -t*p = -16. Is v at least 70?
True
Let x(t) = t**3 - 20*t**2 + 17*t + 34. Suppose 22 + 16 = 2*n. Let u be x(n). Suppose -4*o - 4*y = -o + 24, -2*o + 4 = -4*y. Is o greater than u?
False
Suppose 0 = 24*f - 10*f - 910. Suppose 2*u = -14*u + 1072. Is u not equal to f?
True
Suppose -46 = -2*x + 4*x. Let f = x + 24. Suppose k + c + 7 = 0, -19*k + 18*k + 4*c = -18. Is f >= k?
True
Suppose -35*h = -27*h - 56. Suppose 4*z + 4*s - 80 = 0, -3*z + 58 = h*s - 3*s. Which is smaller: z or 8?
8
Suppose -2*p + 373*j + 171 = 368*j, 0 = 3*j + 9. Are -15 and p nonequal?
True
Let n = -146 - -144.73. Let t = n + -24.73. Let s = 1.1 + -1. Is s at most t?
False
Let j = -4724 + 4724. Which is smaller: 13/191 or j?
j
Let h = 14.9879 + -15.0579. Let w = -4.0547 + 0.0347. Let k = w - -0.02. Is k greater than h?
False
Suppose 5*o + 20 = y, 2*o + 24 = -5*y - 11. Let x be -5 + (y/2 - -7). Is x <= 13.7?
True
Suppose 8637*p = 8593*p - 11574 + 99178. Is p at least as big as 1991?
True
Let c = -191 + -75. Suppose -686 + 884 = -198*a. Which is smaller: c or a?
c
Let n = 0.638 - 13.063. Let i = 0.575 - n. Is i at most -2.4?
False
Let r be 108 + (15 - (0 - 1)/((-69)/552)). Let x be -1*(0 + (1 - 0)). Which is greater: x or r?
r
Suppose 4*s = 3*p + 3, -2*s - s = -9. Let l(k) = k**2 - 11*k - 40. Let n be l(15). Let r be 68/n + (-4 - -2 - -1). Which is bigger: r or p?
p
Let l = -167900/19 - -8841. Let w = 943/76 - l. Suppose 2*j + 14 = 3*c, 2*c - j = 4*j - 9. Are w and c equal?
False
Suppose -24*o - 26402 = -21*o + 2*w, w = 4*o + 35210. Is o >= -8801?
False
Let k(c) = -16*c**2 - 156*c + 41. Let m be k(-10). Is -12/2677 <= m?
True
Let n = 232 + -404. Suppose 3*j + 164 = -b, 36*b + 5*j = 31*b - 850. Which is smaller: b or n?
b
Let w = -10878 - -10847. Is w at most as big as -32?
False
Suppose b + 4 = 0, -3*b + 4647 + 981 = -4*n. Which is bigger: n or -1409?
-1409
Suppose -m + 5 = g, m = -2*g - 1 + 9. Suppose 4*r + 0*t - 4*t + 440 = 0, r = -m*t - 95. Which is smaller: r or 1?
r
Let u = -2 - -3. Let x(t) = 10*t + 156. Let p be x(-31). Let a be 243/(-1276) - 28/p. Which is smaller: u or a?
a
Suppose 0 = -5*u + 4*l + 7725 + 4177, -5*u + l = -11893. Which is bigger: 2379 or u?
2379
Let d(m) be the third derivative of m**6/120 - m**5/20 + m**4/2 - 13*m**3/3 + 79*m**2 + m. Let v be d(5). Which is smaller: v or 85?
v
Let p be -12 + (-7)/(-21)*33. Which is smaller: 76/189 or p?
p
Suppose -13*a = -79 + 235. Let t be (0 - 12/9)/(16/a). Which is bigger: t or 4/49?
t
Let f = 4/139609 + 1282029419/977263. Is 1313 less than or equal to f?
False
Let u be 113/(-6 - (3 - 6)). Let l = 38 + u. Let h = 7.87 + 0.13. Which is greater: h or l?
h
Let k(z) = -3*z + 21. Suppose -4*c + 5*w + 41 = 0, 2*w = -5*c + 2*c + 2. Suppose -11 + c = -n. Let j be k(n). Is 1/56 < j?
False
Let b = -27 + -13. Let k = -40.4 - b. Let w be 27/42*(-7)/(-6). Is w at least as big as k?
True
Suppose 0 = -3*w + 4*w - 5*d - 20, -3*d + 5 = -4*w. Let q = -5 - w. Let b be 20/180*(0 + 12). Is b greater than or equal to q?
True
Let p be (10/2265)/(2006/102 - 20). Suppose 0*q = q - 1. Are q and p unequal?
True
Suppose -126*j + 32 = -118*j. Let u(w) = -w**3 + 5*w**2 + 3*w - 12. Let c be u(j). Do c and -1/4 have the same value?
False
Let q be 16/(-28) + 43/63. Let f(c) = -3*c + 9. Let h be f(3). Suppose h*l - 3 = 3*l. Is q <= l?
False
Suppose 304 + 128 = 27*w. Suppose -22*f + w + 6 = 0. Which is bigger: f or -1/75?
f
Let v be (-4)/8*(8 + (8 - 15) + -1). Is v less than or equal to 73/99?
True
Let q = 464.1 - 464. Suppose 6*o = o + 1170. Which is bigger: o or q?
o
Suppose 44*g - 2*g = -4830. Which is smaller: -1024/9 or g?
g
Let s = -97817 - -4009998/41. Which is smaller: s or -13?
-13
Let s = 1.6915 + -1.67. Let n = s - 1.0215. Suppose -19 = -x - 4*r + 37, 3*x + r - 146 = 0. Which is smaller: n or x?
n
Let s = 516 - 1200. Let i = s - -682. Is i at least as big as -67?
True
Let a be 55/(3960/108)*-428*(-5)/6. Which is bigger: a or 537?
537
Let a(q) = 30*q + 105. Let h be a(-5). Let j = -69 - -109. Let b = j + h. Is b not equal to -5?
False
Suppose c = -3*r + 298 + 60, 4*c - 1347 = 5*r. Let d = c + -405. Is d >= -61?
False
Suppose 6 = -7*z + 27. Suppose -4*y + 3*i + i = 1204, -3*y = z*i + 927. Which is smaller: -306 or y?
-306
Suppose 3*k + 363 = 6*k. Suppose 12*f = k + 215. Let n be 14/7*(-2)/f*-2. Which is smaller: -1/37 or n?
-1/37
Let j = -3819 + 3669. Is j > -158?
True
Let s be (46/1012)/(6/10). Let j = s + -16/429. Is j greater than 0?
True
Let b be (-18)/(-8)*1 + 9/12. Suppose -26*v = -b*v - 414. Which is smaller: 6 or v?
6
Let x = 44.8 - 42. Let k = x + -3.3. Is -9 greater than or equal to k?
False
Suppose 12*u = -490 - 110. Let z = 115 + u. Suppose -q + 198 = 2*q. Is z <= q?
True
Suppose 412 - 100 = y. Suppose 3*w - 204 = y. Is 172 at most w?
True
Let o = 11 - -26. Let b = -31 - -68. Is b at most as big as o?
True
Let k = 1923 + -1796. Which is greater: k or 125?
k
Let d = -2481.4 - -2489.5049. Let p = -0.0049 + d. Is -2/5 > p?
False
Let t be (20/1176)/(2/8). Let u be 6 + 2712/490 + (-30)/225. Let k = t - u. Are k and -10 equal?
False
Let w be -19 - -17 - 3005/(-90). Let n = 1207/72 - w. Is -14 at least n?
True
Suppose -3*z = -x - 107 - 30, 3*x + 333 = -4*z. Which is smaller: -120 or x?
-120
Let w(s) = -2*s**3 - 118*s**2 + 374*s + 108. Let r be w(-62). Suppose -v + 3*v - 52 = 4*f, -2*f - 46 = 4*v. Is r equal to f?
False
Let v be 1 - -2 - (18 - 15). Let k = -4630900403/8855 + 3660785/7. Let d = 20/23 + k. Which is smaller: v or d?
v
Let h = -18 - -10. Let o be ((-3)/18)/(-2*h/(-992)). Is 9 equal to o?
False
Suppose -6*n + 368 = -2*n. Let z be (-380700)/1080*4/(-15). Is n at least as big as z?
False
Let u = -2270 + 2204. Let k = -23/24 + 5/8. Are u and k unequal?
True
Let k = 1097/192 - 3/64. Let f = -20 + 25. Which is greater: k or f?
k
Let r = -34185 - -34183. Is -0.13055 smaller than r?
False
Let q be (-1)/(-53*1/2). Let l = -273 + 284. Suppose 1 = -l*u - 10. Are q and u non-equal?
True
Suppose -44532 + 186582 = 15*a. Is 9469 equal to a?
False
Let s = -978 + 1116. Is s < 154?
True
Suppose -4*s - 101 = 3*o + 164, 5*o = -3*s - 185. Let m = s + 90. Are 20 and m unequal?
False
Let l(n) = n**2 + 5*n + 8. Let p be l(-6). Suppose -4*y = -4*r - 96, -2*y - r + 19 + p = 0. Suppose 0 = -20*o + y*o - 4. Which is greater: o or -10/3?
-10/3
Let r = -6294 + 6308. Which is smaller: -0.0357 or r?
-0.0357
Let c = -2241 + -58. Let t = c + 135645/59. Which is smaller: 0 or t?
0
L