1 + -56.9. Let d = -183.7 - z. Which is bigger: 1/8 or d?
1/8
Let m = 1633 - 861. Let q = m - 772. Which is greater: 1/458 or q?
1/458
Suppose -202*m + 1091412 = -1095844. Which is smaller: 0 or m?
0
Let w be (-141)/(-12) + (-3)/(-12). Let a be 3/(-2)*2/w. Let p(y) = -y**3 + 3*y**2 - 14*y + 42. Let u be p(3). Is a at least u?
False
Let z = -15.9 + 1.3. Let c = 11.6 + z. Suppose 1 = 3*b - 4*b. Are c and b equal?
False
Let l = -165.04 + 162. Let a = l - 0.76. Let x = a - -3.9. Which is greater: x or -0.5?
x
Let w be -80 - ((4 - 3) + 1). Suppose 5*r + 2*j = -406, -4*r = 2*j + 3*j + 318. Is r less than w?
False
Let a(g) = 215*g + 5639. Let c be a(-25). Which is bigger: 276 or c?
276
Let x be (8/336*9)/(4/(-14)). Which is smaller: 3/28 or x?
x
Let c(j) = 59*j - 2756. Let z be c(21). Which is smaller: -1516 or z?
z
Let k = -0.99 + -0.98. Let v = 0.03 - k. Let a = -1/14494 + -86959/72470. Is v less than or equal to a?
False
Let r = 20385961/786 - 77809/3. Suppose -2 = 2*g - 10, 0 = -2*k + 4*g - 16. Is r at most k?
False
Let u(c) = 3*c**2 - 5*c + 4. Let q be u(2). Suppose 0 = -5*v - 2 + 2. Suppose v = -2*w - 5*y + 20, 4*w + 4*y = 6*y + 16. Is w at least q?
False
Let m = 26 - 24. Let k = -0.22 - 4.78. Let t = -21 - k. Which is smaller: t or m?
t
Let z = 4038 - 2478. Let b be 2/(-16)*z/20 + -4. Is b <= -15?
False
Suppose -h = 700 + 226. Let p = h + 6470/7. Let n be -3 + 9 + 84/(-12). Is p at most n?
True
Let z = -437 + 914. Let a = z + -5241/11. Does a = 2?
False
Let k = 7 + -6.974. Let a be (-23)/30 + (-34)/(-340). Which is bigger: a or k?
k
Suppose -2 = f, f - 7 = 4*u - 25. Let r be 2/u - 98/52. Let i = -6689 - -6689. Which is smaller: r or i?
r
Let c = -11 - -14. Suppose -15 = -c*y - 0*y. Let g be (-6 + -6)/4*(2 - 3). Which is smaller: y or g?
g
Let s = -2053 - -2949. Which is smaller: s or 893?
893
Suppose 3*p - 35 = -5*i + 80, -3*i + 69 = -5*p. Let x be ((-4)/(-9))/(i/(-3381)). Which is greater: -65 or x?
-65
Let q = 107887/8 + -5316131917/394200. Which is smaller: -1 or q?
-1
Suppose 81*u - 5*u - 380 = 0. Let x = -22 - -2. Let j be (4/x)/((-7)/u). Which is bigger: j or 4?
4
Let r = -382.4 + 351.598. Let n = -0.002 - r. Let h = n + 3.2. Which is greater: 0 or h?
h
Let x(h) = h**3 - 3*h**2 + 5*h - 4. Let j be x(2). Suppose 0*w + w + j*t = 9, -t = -3*w + 13. Suppose 14 = g + d, w*g - 106 = d - 36. Is g at least 13?
True
Let i = 37915 - 37914. Is 198/131 at least i?
True
Suppose 3*u + 37 = 4*f, 2*f - 41 = 3*u - 0*f. Let o be (-3)/u - -1*(-33)/15. Is 0.1 <= o?
False
Let j(m) = m**2 - 55*m + 105. Let k be j(47). Let w = k + 270. Is 2/35 > w?
True
Suppose 557*y = 562*y. Suppose -8*k - 17 + 25 = y. Is -2/953 at least k?
False
Suppose 52*o = 55*o - 45. Suppose -4*w - 13 - 14 = 5*p, -2*p - 3*w = o. Do -5/2 and p have different values?
True
Suppose -5*w - a = 35, 4*w + 0*a - 4*a = -4. Let b = -12403/3 + 4369. Let d = -240 + b. Is d less than w?
False
Suppose 0 = -5*i + 20, -5*b + b - 2*i = -32. Let x = 1377 - 516. Let n = x + -1709/2. Are n and b equal?
False
Let m = -57 + 77. Suppose 2*s - d - 9 = s, 0 = -5*d - m. Suppose 5 - 10 = s*b. Is b < -1/40?
True
Let t = 212.93 - 210. Let x = -4.24 + t. Let u = -0.88 - x. Which is smaller: u or -1?
-1
Let u(h) = h**2 + 3*h - 3. Suppose -40 = -5*q + 15. Let o be (1/2)/(q/22). Let s be u(o). Is -1/34 greater than or equal to s?
False
Let t = 0 + -1. Let f = 64555 + -19818383/307. Which is smaller: t or f?
t
Let d = -7828 + 7827. Which is greater: -12/971 or d?
-12/971
Suppose -3*r + 3 = 0, -459*s + 4*r = -454*s - 261. Which is greater: 22 or s?
s
Suppose -4*l = -12, -2*g = 2*l + 3*l + 19. Let o = 23 - 27. Let x(y) = 3*y - 4. Let v be x(o). Is g bigger than v?
False
Let p be 1/5 - 572/10. Let s(m) = -m**2 - 26*m + 737. Let g be s(18). Which is smaller: g or p?
p
Let q be 9/(-6)*8/(-57). Let f = 0.014 + -0.244. Let y = 0.13 + f. Is q < y?
False
Let l be ((-1)/(-1935))/(-2*954/216). Which is bigger: l or -1?
l
Let q(u) = -15*u + 30. Let f be q(2). Suppose -2*p + 21 = w - 0*p, -2*w + 4*p + 34 = f. Which is bigger: w or 13?
w
Let n(j) = 672*j**2 + 2*j - 11. Let r be n(5). Let t be r/5650 + -2 + (-2 - -1). Let i = 3/226 - t. Which is greater: 0 or i?
i
Let t be ((-1332)/60 + 21)*(-20)/6. Let w = -36 - -21. Let u = -18 - w. Is t bigger than u?
True
Let o(b) = -b**3 + 5*b**2 + 38*b - 12. Let r be o(14). Let y = -109471/88 - r. Is y < -1?
False
Suppose 1332 = 5*f - 238. Suppose -34*u = 12*u. Which is smaller: f or u?
u
Let o(h) = -h**3 + 3*h**2 + 8*h + 5. Let d be (-216)/(-9) - (0 - -4). Suppose d = 8*v - 20. Let m be o(v). Which is bigger: -7 or m?
m
Let u = 120.1 - 119.8. Let t be -1*(2/3 + -1)*-321. Is t < u?
True
Let s = -68.4 + -7.6. Let x = -152 - s. Let g = -48 - x. Which is smaller: g or 1/4?
1/4
Let k = -1598 - -1594. Is k at least as big as 2564?
False
Let x = 2.56 - -208.24. Let f = 211 - x. Which is smaller: -1/28 or f?
-1/28
Suppose -2*g = -g + 2*x - 22, 5*g + 5*x = 95. Let k be ((-2)/g*-2)/((-31)/(-124)). Are 2 and k non-equal?
True
Suppose 2*j - 50 + 40 = 2*q, -5*q - 3*j = -7. Which is smaller: -147 or q?
-147
Let h(d) = d**3 - 13*d**2 + 18*d + 4. Let u be h(10). Let t = 32 + u. Is -84 > t?
False
Let g = -98 + 159. Let h = -61.01 + g. Let x = 47/180 - 1/90. Is x bigger than h?
True
Let y(g) = g - 1 - 1 + 14 + 10 + 8. Let a be y(-9). Which is bigger: -13 or a?
a
Let b(l) = -5*l**3 - 22*l**2 + 30*l + 5. Let y be b(1). Suppose g - w - 4 = 0, -5*g - 3*w = -5*w - 23. Is g > y?
False
Let l = -9.21 + 9.11. Which is greater: -16687 or l?
l
Let g be (-3)/((-813)/(-8))*1*(-2)/(-10). Do 0 and g have different values?
True
Suppose -43*w + 7*w = 195*w + 21714. Let z = 10975/21 + -1852/3. Which is smaller: z or w?
z
Suppose -l - i + 16 = -143, 315 = 2*l + i. Is l not equal to 155?
True
Let m be -1*1 + 21/15. Let z = 7.7523 + -7.75. Let t = z + -12.0023. Which is bigger: t or m?
m
Suppose 23*i - 192 = 15*i. Let m(q) = -q**3 - q + 26. Let y be m(0). Let p be y/(-6) - (-8)/i. Are p and -24/7 unequal?
True
Let d = 5/494 - 599/10374. Let y = -1.8 - -8.8. Let i = -6 + y. Which is bigger: i or d?
i
Let m be 2057 - (96/(-64))/(1/(-2) - -2). Which is bigger: m or 2056?
m
Let l = -243 + 243. Let s = -349 + 78. Which is smaller: s or l?
s
Let a = -5/357 + 2311/131019. Let v = 5860/3303 + a. Suppose -25*i = -22*i - 9. Is i greater than v?
True
Let v = 2824 + -2824.07. Is 39 less than or equal to v?
False
Let n = 8 - 7.9. Let d = 280 + -650. Let r = d + 369.96. Is r != n?
True
Let u(o) = -2*o**3 - 12*o**2 + 3*o + 18. Let q be u(-6). Let b be (-1)/(-9) - (q + (-10)/(-9)). Let j = -276/17 + 3673/221. Are b and j equal?
False
Let o be 2 + 350/28 + -14 + -5. Let k be 8/6*18/(-4). Does k = o?
False
Suppose -33*x = -13*x - 220. Let o be (-120)/(-150) + (-82)/(-10). Which is bigger: o or x?
x
Suppose t - 7*t + 6 = 0. Let v be ((-572)/(-564) - 1)/((-355)/(-213)). Is t < v?
False
Let b be (-414499)/(-19047) - (21 + 1). Let n = -2 - -3. Is n less than b?
False
Let t = -0.1 + -0.9. Let k = 650 + -686.1. Let i = k + 36.8. Is i smaller than t?
False
Let x = -68373/2 + 34186. Let l = 0.29 - 0.3. Which is smaller: l or x?
x
Let p = 45.73 + -45. Let v = p + 4.27. Is -2 smaller than v?
True
Suppose 697*j - 692*j = 0. Let g = 1864784 - 460602357/247. Let p = g - -38/13. Is j < p?
True
Suppose 72 + 8 = -4*x. Let b be x/30*(-207)/2. Are b and 68 equal?
False
Let g be (70/(-65))/7 - (-215)/468. Let f = 7/36 + g. Which is smaller: 25 or f?
f
Let n = 4 + -3. Let d = 87446/3 - 29149. Is d <= n?
True
Let j = -297 - 109. Which is greater: j or -402?
-402
Suppose 331*r - 23*r + 750 = 58*r. Is 2111 >= r?
True
Let n = -1.98 - 0.02. Let y = -1 - n. Let v be (42/189)/(7909/792 + -10). Which is bigger: y or v?
y
Let z(y) = -y**3 - 2*y**2 + 1. Let g be z(-2). Let j be 1/(-5)*6*(29 - (-477)/(-18)). Are g and j non-equal?
True
Let r be (15 - 12) + 1 + 10. Suppose -294 = -13*x - 60. Which is smaller: x or r?
r
Let u = 10099/40428 - -2/10107. Let g = -29.054 + 0.054. Which is greater: g or u?
u
Suppose -4 = 2*b + 4*a, 4*a + 1 + 1 = -3*b. Let q = 299.43 + -299. Which is greater: b or q?
b
Let y(u) = -u**2 - 12*u + 7*u**3 + 11*u + u**2. Let g be y(1). Let d = 7178 - 7175. Which is greater: g or d?
g
Let i = 3179 - 6382. Is i at least 1?
False
Let t(w) = -5*w - 25. Let l b