9 = -x*l + 2*n - 5*n. Which is smaller: l or 50?
50
Let y(k) = k**2 + 6*k + 12. Let u be -4 + (4 - 0) + -3. Let h be y(u). Suppose h*a = 2*j + 163, 352 = 4*a + j + 142. Is a less than or equal to 51?
False
Let y(h) = -203*h**3 + 16*h**2 + 18*h + 2. Let i be y(-1). Is i greater than or equal to 196?
True
Let p = 4371.5965 + 1.4035. Is p greater than -0.3?
True
Let i(x) = -2*x + 11. Let b(d) = -d**3 + 5*d**2 + 4. Let c be b(5). Let a be c*2/((-6)/(-5) - 2). Let y be i(a). Is 31 >= y?
True
Let y(d) = 5*d**2 + 4*d**2 + 5*d + 0*d - 14 - 8*d**2. Let s be y(-7). Suppose -30 = -s*z + 6*z. Which is greater: z or 4?
4
Suppose 0 = 4*g - 2*q - 662, 2*g - 301 = -32*q + 27*q. Which is bigger: g or 158?
g
Let h = -0.3294 - 0.1706. Which is smaller: 13/40 or h?
h
Let r(v) = -13*v**2 + v - 1. Let b be r(3). Let d(w) = -101*w - 12. Let y be d(1). Which is greater: b or y?
y
Let b(m) = -6*m - 15. Let f be b(-22). Let d be ((-12)/(-8))/(0 + 1*f). Let x = d - -25/78. Do x and -6 have the same value?
False
Let z = 214 + -213. Let v be 5/14 - (-3)/(-9)*z. Which is smaller: v or -1?
-1
Suppose 2*z + 317 = -t, 3*z = 2*t + 481 + 181. Let y = t + 325. Are y and 9/8 unequal?
True
Suppose 2*s - 5*g = 20, 2*s + g + 0*g - 8 = 0. Suppose -s*u - 16 - 1 = -4*h, -3*h + 3*u = -12. Suppose x + 4*f + 10 = -h, 4*f = 5*x - 7. Is x < 4/31?
True
Let k = 22 + -38. Suppose -24 = 2*o - w, -6*w = -4*w - 4. Is k not equal to o?
True
Let p = -26 + 26. Suppose -d - d + 8 = p. Suppose -d*q + 3*x - 5 = 0, 4*q - 1 + 0 = x. Is 2/27 smaller than q?
True
Let k be (-5)/(6/6 + 22/(-20)). Let i(y) = 13*y + y - 64 + k + y**3 - 14*y**2. Let p be i(13). Which is smaller: p or 1/47?
p
Let g = 128/335 + -1631/3953. Which is smaller: 1 or g?
g
Let a = -0.047 + 43.047. Let z = a - 44. Let m = 0.11 - 0.11. Is z <= m?
True
Let s(q) = -2*q**2 + 32*q - 78. Let c be s(13). Let w be (-45)/498*(-72)/90. Is c greater than w?
False
Suppose 83116 = -97*p - 11459. Is -966 < p?
False
Suppose -4*n + 3*v + 11401 + 10018 = 0, 0 = -5*n + 2*v + 26779. Let j = n + -16283/3. Is -72 greater than j?
False
Let a(l) = 50*l + 108. Let k be a(6). Let f be 5/(1575/k) - 2/(-15). Is 2 > f?
True
Let i(b) = b**2 - b - 11. Let j be i(4). Let l be -114*(j/12 + (-2)/(-8)). Is l at most as big as -38?
True
Let c(x) = 14*x - 14. Let v be c(1). Let i be (-18)/135 + ((-658)/15 - v). Which is bigger: i or -3?
-3
Let n = 0.144 - -25.856. Let t = 7 + -7. Let b = -1 - t. Does n = b?
False
Let g = -814 + 1550. Let c be (-1)/(-5)*-2*(-60)/g. Is c >= -1?
True
Let o = -664725/37 + 17965. Is o less than 0?
True
Let q = 75 + -74.96. Let x = -1.71 + q. Is x greater than or equal to 0?
False
Suppose y - 2*s = -12, 4*y - 3*s + 17 = -1. Is y not equal to 47/120?
True
Let m = -15.45 + 15. Let p = -1355 + 1355.4. Let n = m + p. Is 2/15 at least n?
True
Suppose -4*d = -2*k - 15864, d - 530 - 3439 = k. Is 3964 < d?
False
Let r(c) = c**3 - 6*c**2 - 7*c - 1. Let m be r(10). Suppose -1553 = 6*l - m. Let y be ((-29)/6 - -5) + 58/l. Which is smaller: 0 or y?
y
Let q be (479 + -20)/9 + (-9 - -1). Let s be 2/(-8)*-165 - -3. Which is smaller: s or q?
q
Let i(l) = l**3 - 5*l**2 - 6*l - 6. Let r be i(5). Let p = -530 + 537. Suppose -232 - 27 = p*w. Is r greater than w?
True
Suppose 0*i + 3*i = 720. Suppose 4*r - 8*r = i. Let n = 52 + r. Which is greater: -5 or n?
-5
Let r be (-1101)/6*((-10)/4 - (-403)/(-26)). Is 3303 at least as big as r?
True
Let x = 3941 + -3942. Let q(m) = 84*m - 17. Let p be q(-3). Is x <= p?
False
Let s be (-18)/(-81) + -1 + (-708)/27. Let i = -15 - s. Let v be (2/(i/(-87)))/((-3)/(-6)). Which is smaller: v or -27?
v
Let w be (20/(-28))/(6/7). Let c be 55/7 + 15/105 + -7. Is c not equal to w?
True
Let g(j) = 50*j**3 + 2*j**2 - 1. Let t be g(1). Let b = t - 50. Let m be b - (-4 + (-33)/(-9) - -3). Which is greater: m or -3?
m
Suppose 19*a - 8*a - 330 = 0. Let p be (-20)/a*262/4. Let g = -43 - p. Are 0 and g equal?
False
Let o = 4.18 - 0.38. Let a = -6.9 + o. Let v = -3.3 - a. Which is bigger: v or -5?
v
Let a(c) = -c**3 - c**2 + c - 3. Let s be a(-2). Let b be 1 - (43 - 1) - (-2 - s). Let w be ((-50)/b)/(26/(-48)). Which is smaller: -1 or w?
w
Suppose -q = 2*m - 1 - 1, -2*m = -q - 10. Suppose m*a - 58 = 113. Let f = a - 67. Is -11 bigger than f?
False
Suppose 23*z - 26*z + 2*c - 341 = 0, 232 = -2*z - c. Is z bigger than -110?
False
Let y = -123 + 130.2. Let g = y - 0.4. Let x = -4.8 + g. Which is smaller: -21 or x?
-21
Let b = 13685 - 13698. Is b bigger than -137?
True
Suppose 160*g = 111*g + 24647. Which is bigger: g or 504?
504
Suppose 1077*y + 2*q - 768 = 1070*y, -3*y + 5*q = -376. Which is bigger: 105 or y?
y
Let l = 29027/6367177 + -15/3202. Which is smaller: l or 1?
l
Let k be ((-2)/645 - 5) + 5. Let p = k - 1417/645. Is p greater than -3?
True
Let q(y) = -734*y**3 - 2 + 733*y**3 - y + 3*y + 1. Let w be q(0). Which is bigger: 201 or w?
201
Suppose -4*b = -4*s - 260, -5*b - 3*s + 391 = 26. Let m = -137 + 66. Let q = m + b. Which is smaller: q or -1/13?
q
Let z(x) = -x**3 - 5*x**2 + x + 11. Let s be z(-5). Let t = -1083 + 3268/3. Which is greater: s or t?
t
Let n = -812 + -1638. Is n at most as big as 1?
True
Let g be -6 - 5/(-2)*6. Let o be (8 - g) + (-6)/14. Let p be (-1 + 1)/(-2 - -4). Is o at least p?
False
Let l be 5*4/20*(-7 - (-53285)/55). Is l greater than 962?
False
Suppose 231 = -18*s + 69. Let m be -5 + (202/s)/(58/(-87)). Which is greater: m or 30?
30
Let g = 21.61 + -0.31. Let i = -21.124 + g. Is -2/3 at least i?
False
Let f(o) = o**3 + 15*o**2 + 39*o - 10. Let l be f(-12). Is -63 at most as big as l?
True
Suppose -13176*j + 1395 = -13131*j. Do j and -48 have different values?
True
Let g be (1/19)/((-14)/(-14))*(-2)/(-18). Are g and 1 unequal?
True
Let z = -269 - -816. Let q = -567 + z. Is -3 < q?
False
Let f = 3374/9 - 97630/261. Are -6/13 and f non-equal?
True
Let v(f) = -f**2. Let x be v(0). Suppose 12 = h - x. Suppose -6*w = -90 + 6. Which is smaller: w or h?
h
Let a(s) = 11*s + 15. Let c be a(0). Suppose 493 = 14*r + c*r. Which is greater: r or 1?
r
Suppose -i + 2*z - 4 = -0*i, 5*i + 5*z = -20. Let x(y) = y**2 - 27*y + 71. Let f be x(24). Let k be (1/(-4) - f)*i + 9. Is 7 at least k?
True
Let w be (-3190824)/195 - 14/(-20)*(-104)/91. Which is greater: w or -16363?
-16363
Suppose 6740 + 760 = 60*t. Is t at most as big as 178?
True
Let i(k) = 5*k - 10. Let d be i(3). Suppose -d*h = 4*h + 27. Let a be 23*(-4 + h/(-1)). Does -23 = a?
True
Let v = -281 + 283. Suppose 26*h - v*h = -3000. Which is greater: -126 or h?
h
Let d = -52/7 + 267/35. Let z(n) = 2*n**2 + 9*n + 3. Let b(p) = -6*p**2 - 26*p - 8. Let x(t) = -2*b(t) - 7*z(t). Let v be x(-5). Which is smaller: v or d?
v
Let c = 31341 + -31340.74. Which is greater: c or 40?
40
Let d = 3963/507496 + -5/803. Is d smaller than -1?
False
Let h = 201 + -271. Let d be (-3)/41*h/(-15)*2. Which is smaller: -2 or d?
-2
Let q = -0.24 + 0.24. Let w = -148.1 - -8.1. Is w bigger than q?
False
Let x(w) = -w**3 - 13*w**2 + 69*w - 27. Let m be x(-27). Is m not equal to 8317?
True
Let t = -66.2821 + 66.33. Which is smaller: -2/5 or t?
-2/5
Let k be (209/(-627))/(1 - 4/6). Which is smaller: 1/6183 or k?
k
Let c be ((-73 - -75)*(-1)/(-3))/(7058/(-6)). Let t = -4293371393999/2003048609611 + -438/81085237. Let d = c - t. Which is greater: 1 or d?
d
Let h be -1*(-3)/(-3) - 39. Let d = h - -40. Let o be (0 + d/2)/(-3 + 1). Are 3/4 and o non-equal?
True
Let k = 145/8 - 227/24. Let b be ((-20)/8)/(16/(-320)*5). Is b equal to k?
False
Let u(k) = k**2 - 97. Let y be u(0). Let c = y + 97. Which is bigger: c or -4/13?
c
Let x(m) = -2*m + 73. Let i be x(20). Suppose 14*q = 3*q - i. Let d(f) = f**3 - 5*f**2 - 3. Let o be d(5). Is o smaller than q?
False
Let b(c) = c**2 + 2*c - 75. Let q be b(-13). Let r(k) = -k**3 - 7*k**2 + k + 10. Let x be r(-8). Let w = q - x. Which is bigger: w or -7?
w
Let q = 3299/9924 + 3/3308. Is 0.823 at least as big as q?
True
Let r(k) = -2*k + k + 40 - 2*k + 2*k. Let g be r(0). Let x = g - -4. Which is smaller: 43 or x?
43
Suppose -2*f = -4*t + 12, 5 + 5 = t + 3*f. Let j = 34 + -26. Which is smaller: t or j?
t
Let b = -115 + 113.42. Let m = b + -1.42. Which is smaller: m or 1.3?
m
Let f be (-2)/3 - (-1118)/2028. Suppose -3*z = -0*z + 5*o - 17, -3*z + 7 = -5*o. Suppose -3*s = -7*s 