n be k(4). Let q = -4045/6 + 680. Which is bigger: n or q?
n
Let t be (-6)/24 + (-123)/(-12) - 4. Let k be (-5 - -7) + (-18)/t. Let a = -20518/13 - -1576. Is k less than a?
False
Let h(l) = -l**2 + 17*l + 18. Let d be h(8). Let s be (144/d)/(1/(-25)). Which is smaller: s or -37?
s
Let w be 364/(-16) + (-9)/(-12). Let a be 14/175 + (-3282)/(-300)*-2. Which is smaller: w or a?
w
Let t be 12/((-138228)/(-13812) + -10). Is t not equal to 1536?
True
Let f be 152/(-38) - (-32 - 1). Let x(o) = o**3 - 12*o**2 + 7*o + 2. Let g(l) = l**2 - l + 1. Let w(c) = 4*g(c) + x(c). Let m be w(8). Is f >= m?
False
Let j be (52/10*109)/(2*(-8)/(-40)). Which is greater: 1425 or j?
1425
Let a(y) = 37*y - 62. Let o be a(6). Suppose 68*j = 84*j - o. Suppose 0 = 2*t - 9 - 15. Is t bigger than j?
True
Let a be (16 - 22)/((-17595)/1248) - (-6)/(-15). Which is greater: 1 or a?
1
Let y = 3.64 + 89.36. Which is greater: -1.5 or y?
y
Suppose 0 = 4*b - d - 1739, 0 = -b + d - 43 + 477. Is b at least as big as 2?
True
Let h be 43 - (3 - 0/(-3)). Suppose 8*n - 9*n - h = 0. Let t = -45 - n. Is t smaller than 0.3?
True
Let p = -0.27 + 0.437. Let o = 0.107 - p. Is -5 < o?
True
Let v = -586 + 1038. Let l = -331 + v. Is l >= 123?
False
Let i = -248/363 - -2/121. Let o be (18/15)/((-10)/25). Let x be 2/o + (-68)/(-3). Is x less than or equal to i?
False
Suppose 4*i + 6 = 18. Let n be (i - -23) + (-8)/4. Suppose n*q = 19*q - 5. Are -13 and q equal?
False
Suppose -159*c - 250 = 72*c - 3022. Is c not equal to 140/13?
True
Let q = 1291 + -1298.13. Let n = -7.23 - q. Which is bigger: n or 0.0509?
0.0509
Suppose -6 = -2*o, 3*n = 8*n + 3*o + 651. Let f = n - -244. Is f at most as big as 110?
False
Let g(x) = -x + 3. Let j be g(5). Let a = 97734 - 97734.084. Is j at least as big as a?
False
Let o be -61 + 59 + 1 + -2. Let f be (-1008)/(-539) + 6/o. Does f = 0?
False
Let w = 862 - 634. Let m = -228.05 + w. Which is smaller: m or 0.006?
m
Let q(m) = 9*m + 39. Let r be q(-4). Suppose 349 = -3*y - r*x - 779, -4*y + 2*x - 1510 = 0. Is y at most -2?
True
Let k(p) = -p**2 + 2*p - 6. Let x be k(2). Let l be (-1)/(-2) + (-9)/(-6). Suppose 5*a + 23 = -l. Which is bigger: x or a?
a
Let s = -156/85 + 72/17. Let y be (-2 + -1)*15/(-20) - (-2)/(-8). Which is greater: y or s?
s
Suppose 0 = 31*j - 3*j - 532. Suppose 24*m - j*m - 140 = -5*g, 4*g - 82 = -3*m. Suppose -1 = -o - 2. Is m not equal to o?
True
Let k = 172 + -172. Suppose k = -o - 0 - 3, 5*w = -o - 8. Let a = -42 + 41. Is w less than a?
False
Suppose -15 = 7130*c - 7145*c. Is c bigger than -8/2317?
True
Suppose 0 = -73*i + 65*i. Suppose i = 2*b + 10, 3*b + 20 = -3*y - b. Is y bigger than 20?
False
Let w(u) = -478*u + 4767. Let q be w(10). Which is smaller: -179 or q?
-179
Let d(x) = -267*x**2 + 19*x - 8. Let l be d(-4). Is -4355 <= l?
False
Let s = -75 + 79. Let m be 1/s + 1145/300 - 5. Let f = -8 + 6. Is f <= m?
True
Let l = -6892.021 + 6904. Let r = l + 0.021. Let q = r + -13. Is q at least as big as 45?
False
Let z = 290 - 194. Suppose -7*m + z = -79. Does m = 23?
False
Suppose -2*x = -4*v - 1222, 0 = -11*v + 13*v + 4*x + 626. Is v at least as big as -309?
True
Let h be -2 + (-4*1)/(-1). Let p = 2023/1240 - 45/248. Let i = p + 3/4. Which is greater: i or h?
i
Let c be 4/(-2) - 2 - -177. Suppose 5*w + 3 = s - c, w = s - 36. Let x = -35 - w. Which is greater: x or -38?
x
Let y = 38.94931 + 0.05069. Which is bigger: 1.9 or y?
y
Let f(u) = -54*u**3 - 6*u**2 - 10*u - 27. Let a be f(-2). Is 5 at most a?
True
Let l = 27028 - 13223. Which is bigger: l or 13806?
13806
Let o(k) = 49*k + 591. Let n be o(-12). Which is bigger: 104/67 or n?
n
Let i be (1/(-3)*2/(-8))/((-14)/9422). Which is smaller: -57 or i?
-57
Let v be (-1696)/(-852) + 4/(-2). Let c be ((-5)/15*6 - -3)/1. Which is bigger: v or c?
c
Let g = -9545070/31 + 307934. Which is bigger: g or 29?
29
Let o = 656024/9 - 72774. Which is greater: 0.1 or o?
o
Let v(q) = 3*q - 33. Let l be v(-7). Let c be 125/(-41) + l/(-18). Let z = 1.2 - 0.9. Which is smaller: c or z?
c
Let l(m) = -2*m**3 + 9*m**2 + 14*m + 9. Let o be l(-5). Let x = 412 - o. Is 1/222 smaller than x?
False
Let s = 0.9 + 0. Let b be (-52)/130 + (16/30)/(5/(-165)). Is b less than s?
True
Suppose 0 = -3*f + 117 + 81. Suppose 0 = -82*k + 531 + 4881. Is k <= f?
True
Let r = 202.2 + -185. Let d = r + -3.2. Let s = d + -20. Is s > 2/3?
False
Suppose y + 16*y - 20969 = -4751. Which is greater: 955 or y?
955
Suppose -a + 26 = -5*u, 5*a - 2 = 3. Let r be 75/9 + u + -4. Does -6.4 = r?
False
Let h = 97 - 84.2. Let o = -2.8 + h. Which is greater: o or 2?
o
Suppose 0*a - 3*a - q = 0, -4*q - 7 = 5*a. Let w be (116/21 - a)/(3/(-9)). Is w bigger than -14?
True
Let c(l) = -l**3 - l**2 - 6*l - 84. Let i be c(0). Let n = i - -135. Are 50 and n unequal?
True
Suppose 0 = -5*s + 5*v - 20, 2*s + 1 = -2*v + 13. Is -24 at least s?
False
Suppose 2*w - 2*b = 10, -2*w + 5*b + 15 = -10. Let o be w/(12/(-6) + (-2 - -1)). Which is greater: 4/13 or o?
4/13
Suppose -10*t = -28 + 8. Let k(x) = -9*x + 3*x**3 + 6 - 26 + 7*x**2 - t*x**3 + 0*x**3. Let d be k(-8). Which is smaller: -14 or d?
-14
Let w(o) = 11*o + 0*o + 108 - 120 - o**2. Let g be w(5). Suppose 28*s - g = 26*s. Is 19/2 <= s?
False
Suppose 0 = -4*j - 4*i + 18584, 150*i = 5*j + 148*i - 23265. Which is bigger: j or 4652?
4652
Suppose -5*q + 5*p + 198 - 598 = 0, -12 = 4*p. Which is bigger: -579/7 or q?
-579/7
Let x = 282.333 - 0.333. Let b = 277 - x. Is -2 greater than b?
True
Let g = 7177/637 - 147/13. Let r = 52 - 111. Let h = 58 + r. Are h and g non-equal?
True
Suppose 5*g - 3090 = -2*d + 3279, 0 = g - 4*d - 1309. Is 1276 < g?
True
Let y = -2.8174 - -0.3174. Which is greater: 34 or y?
34
Let j be 2 + -1 + 8*-3. Let t = -1 - j. Let a = 20 - t. Which is smaller: -1/2 or a?
a
Let b(o) = 159*o**3 - 4*o**2 + 4*o - 1. Let x be b(1). Is 176 >= x?
True
Let d = -39 + 56. Let o be -9 - 57/(-6) - ((-222)/20 + -4). Is o at least as big as d?
False
Let y = -19899 - -36111. Does y = 16212?
True
Let g = -35719 + 35728. Let n = -431/3500 - -2/125. Which is bigger: n or g?
g
Let r be 7 - (8 + (-13)/39). Is -0.05019 at most r?
False
Let x = -2065.6 - -2095. Which is greater: 0.4 or x?
x
Let o(s) = s**3 + 59*s**2 - 55*s + 299. Let w be o(-60). Which is bigger: w or 1/1596?
1/1596
Suppose 2*c + 155 = -u, u = 5*u - 2*c + 570. Let h be 10935/(-75) - 12/10. Are u and h equal?
False
Let i = -4 - 0. Let j be (-1)/(6/i)*-3. Let n be (32/168)/(93/84 + (-5)/20). Is n smaller than j?
False
Let c = -11048 + 6718. Which is bigger: -4329 or c?
-4329
Suppose -2*x + 7*x = -c + 1204, -3*x = 4*c - 719. Suppose -3*h = -0*y + 2*y + 734, h + x = 3*y. Let q = h - -172. Is q smaller than -72?
False
Let n = -2329 - -2400. Is n greater than or equal to 71?
True
Let q be (29/(1160/12))/(311/5). Which is smaller: -1 or q?
-1
Let f(a) = 38*a**2 + 29*a + 129. Let v be f(-4). Let r = -597 + v. Which is smaller: 189/8 or r?
189/8
Let a(w) = w**3 - w**2 + 3*w - 7. Let n be a(3). Let y be 2/n*9/(27/156). Let g = y - 187/35. Which is bigger: g or 1?
1
Let q = 6 + -4. Let p be 656/6*(-5 + 9 + -1). Let h = -324 + p. Are q and h non-equal?
True
Let m = -1199 + 2624. Suppose -15*t - m = -34*t. Does 75 = t?
True
Let j be (-1)/((-1626)/32)*((-186)/(-12) - 14). Which is smaller: -1 or j?
-1
Let t = 28.529 + -7.529. Let s = 9.7 - 10. Is t smaller than s?
False
Let m = -3081 - -5999. Let x = -288878/99 + m. Which is bigger: x or -1?
x
Let w = -1033 - 240. Let s = w + 128575/101. Suppose -h = -4*l - 17, h - 7 = -2*h + l. Which is smaller: h or s?
s
Let q be ((-20545)/(-819))/(-5) + 18 + -13. Let k be 9/(-6)*(-8)/12. Is k smaller than q?
False
Suppose f - 4*h - 1 = 0, 4*f + h + 4 = -9. Let l be (51/(-15) - -1)*80/f. Let p be -2 - (3 + -7) - l/30. Is 8 smaller than p?
False
Suppose 0 = 2*x - 0*x + 22. Let z be 4/(-8)*(-2436)/(-105). Is z bigger than x?
False
Let c = 522 + -290. Let x = -272 + c. Let q = 1.23 + -0.23. Is q > x?
True
Let t = -484 - -508. Suppose 12*o - 432 = t*o. Is -10 < o?
False
Let j = 3446947394425/5682 - 1213286791/2. Let d = j - -1/947. Let v = d - -66. Which is bigger: 0 or v?
0
Let c = 4392.03529 + -0.03529. Which is smaller: c or 1/4?
1/4
Let u = -50 - -18. Let p = u - -18. Let b be (18/(-45))/(p/10 - -1). Which is greater: -2/5 or b?
b
Let l = -59.