
Let n = 0.366 - 0.016. Let s = n + -53.35. Let l = -53 - s. Which is greater: l or 5?
5
Let k be ((-2)/(-5) + (-1182)/270 + 4)*3. Is k at least 40.6?
False
Suppose 0 = 740*v - 771*v - 77748. Are -12543/5 and v equal?
False
Let z be (((-1)/34)/1)/((-31)/(-124)). Let x = -303 + 287. Which is smaller: x or z?
x
Let c(b) be the third derivative of -b**5/20 - 53*b**4/24 - 6*b**3 + 105*b**2. Let q be c(-17). Which is smaller: -13/10 or q?
q
Let o = 176 - 97. Let l = -78 + o. Suppose 44*r - l = 45*r. Is 3/56 less than or equal to r?
False
Let o be 11056/(-63) + (-8)/28. Let b = 176 + o. Let r be 3 + -7 + (1 - -2). Is b < r?
False
Suppose 2*z - 63 = -177. Let t = -56 - z. Let g be 3/(-2)*(-4)/(-351). Which is smaller: g or t?
g
Let t = 220.33 + -215. Which is greater: t or 0?
t
Suppose 17 = 4*r - r + 4*a, -3*a + 10 = 5*r. Let p be (-4 + r)/((-2)/16). Which is greater: p or 119/3?
p
Let j(t) = -t**3 + 3*t**2 + 5*t - 1. Suppose -4*r - 26 + 42 = 0. Let b be j(r). Let c be 1 + (3/b + -1)/1. Which is bigger: c or -2/45?
c
Let d(v) = v**3 + 5*v**2 + 11*v + 33. Let o be d(-5). Let m be (18/o)/(4 + (10 - 15)). Which is smaller: m or 1?
m
Let p = -69.64 - -73.64. Which is smaller: 181/3 or p?
p
Let l(h) = -h**3 - 4*h**2 - 1132*h - 3384. Let d be l(-3). Let g be 3/2*76/42. Which is smaller: g or d?
g
Let d be (2 + -5 - -2) + 6/10. Which is smaller: d or 334/7?
d
Let x(k) = -16*k**3 + 13*k**2 - 61*k + 63. Let w be x(4). Which is greater: w or -6980/7?
w
Let o(u) = u**3 - 2*u**2 - 5*u - 47. Let f be o(5). Let n be -25 - (-4)/(f*(-4)/(-18)). Which is greater: n or -3?
-3
Let a = -273.433 - 0.567. Let o = -50 - a. Let i = 126 - o. Which is smaller: 1 or i?
i
Suppose 2*a + 51*z = 48*z - 2143, 5 = 5*z. Which is bigger: a or -1074?
a
Let l = -77787 - -77787. Let i be (-10)/2 - 2/(-2). Let n be (-7)/55 + i/(-10). Which is smaller: n or l?
l
Suppose -9*l + 159 - 71 = 79. Are l and -6/1009 non-equal?
True
Let z(y) = -y**3 - 9*y**2 + 8*y + 3. Let g be z(-11). Let b = -154 + g. Suppose -b*j - 60 = -3*p, -10*p + 5*p - 4*j = -73. Which is smaller: 16 or p?
16
Let o be 15 + (48/(-6) - 8). Are -34/77 and o non-equal?
True
Suppose 3*h = -6 - 6, 4*i + 2*h - 8 = 0. Suppose -i = 4*o - 24, 3*o = -f + 37. Suppose -13*w + f = -160. Is 14 at most as big as w?
True
Suppose -5*f = -25, -4*f + 6*f = 5*z + 10. Let w be (14/2 - 13)/(-1 + z). Are w and 70/11 equal?
False
Let g = -333 - -204. Let b be 2/10 + 6/(-10). Which is smaller: b or g?
g
Let c be 4/20 + 154/(-870). Let l = -6 + 13. Suppose -2 + l = -5*g. Is c bigger than g?
True
Let o = -651 + 651. Let j be (-137)/13 + 8 - o. Which is smaller: -4 or j?
-4
Let m(r) = 6*r - 156. Let y be m(27). Suppose -4*l + 0*n = -5*n - y, 12 = -4*l - 4*n. Which is greater: l or -68?
l
Let p be 3/(-33) + 0 + 1. Let u(h) = 2*h**3 - 59*h**2 - 32*h + 67. Let i be u(30). Suppose 5*k + 2 = i*k. Is k < p?
False
Let a = -4/5901 + -3037/4225116. Which is smaller: -1 or a?
-1
Let g be (-2)/((-10)/185) - 2. Let i = g - 36. Let f be ((-1)/(-2))/((-7)/(-4)). Is i at most f?
True
Let f = -5427 + 4351. Do f and -1079 have the same value?
False
Let u be 144/18 - -11 - 816. Is 2/7 < u?
False
Let l be -11 - (8 - 5) - -15. Which is smaller: 16/149 or l?
16/149
Let f = -62 + 48. Let z = 0.169 - 0.199. Which is greater: f or z?
z
Let p be 156/((-6)/2) - (-16 + 20). Let q be (p/21)/((-12)/(-18)). Which is smaller: -25/6 or q?
-25/6
Let s(l) be the first derivative of -3*l**2/2 - 18*l - 280. Suppose -18 = 2*h - 4*f, 0 = -3*h - f + 4*f - 21. Let r be s(h). Is r < -7?
False
Let v = 17606.4 + -17561. Which is smaller: -1.6 or v?
-1.6
Let j = -0.7863 + -0.2137. Is -49 smaller than j?
True
Suppose -15*v = -11*v - u - 2081, 3*u - 1527 = -3*v. Which is greater: 513 or v?
v
Suppose m + 11 - 2 = -2*b, -3*m - 39 = 3*b. Let v(x) = -x - 43. Let d be v(m). Do d and -28 have the same value?
False
Let b = -4678.94 + 5214.8. Let j = b - 536. Let h be 4/(-8)*(-2)/4. Is h not equal to j?
True
Suppose 24*h + 19746 = -37*h - 18013. Which is greater: -623 or h?
h
Suppose -5*l = 15, 880 = x + l - 1620. Is 2503 greater than or equal to x?
True
Suppose 7*g - 115 - 515 = 0. Let m be 4/8 - g/500. Which is greater: 1 or m?
1
Let k(o) = 6*o**2 - 4*o - 2. Let t = -6 - -8. Let z be k(t). Suppose -5*s + z = -26. Is s > 6?
True
Suppose -63*s = -4544 - 480 - 3481. Is 49 > s?
False
Suppose -3 = -69*i + 72*i. Is -3/15482 at most i?
False
Let y(w) = 2*w**3 - 70*w**2 - 4*w + 140. Let v be y(35). Which is bigger: v or -1/404?
v
Suppose -o - 7067 = k, 0 = 6*k - 8*k + 4*o - 14140. Let n be 9/(-24) + k/96. Which is smaller: n or -76?
-76
Suppose -18337 + 18491 = 18*o + 53830. Which is greater: -2981 or o?
-2981
Let g = 274 + -104. Let m = g + -177. Which is greater: m or -11?
m
Suppose 0 = -5*u - 4*m - 1, 0*u - 3*m = -2*u - 5. Let p be (-3 + 7 - 3) + u. Let v be (-637)/966 + 16/24. Is p less than or equal to v?
True
Let q be 27/(-63) - (-104)/14. Let i = 14 - q. Suppose -i*m - 8 = -3*m. Which is smaller: m or -4?
-4
Let d(j) be the second derivative of j**4/12 + 3*j**3/2 - 15*j**2/2 + 12*j. Let n be d(-8). Let w = 23 + n. Is -1/2 smaller than w?
True
Suppose 0 = 5*p - 863 - 237. Let z be 4 + p/(-35) - (-2)/7. Let u be z/1 + (-40)/(-15). Is -0.3 smaller than u?
True
Let y be ((-4576)/(-110) + -20)/(4/430). Is 2321 >= y?
False
Suppose 36278 = -96*l + 110349 + 69353. Is l > 1489?
True
Let r be (-5)/((-30)/27)*(-18)/81. Which is bigger: 3/5117 or r?
3/5117
Let y = 2539 + -2082. Is 5030/11 not equal to y?
True
Suppose -19*m - 8*m + 36953 = 2312. Is 1284 < m?
False
Let q = 3540 - 3451. Is q <= 621/7?
False
Let n(j) = -j**2 - 14*j - 40. Let w(k) = -k - 4. Let c be w(5). Let y be n(c). Let g be ((-1)/4)/(1/(-14)). Is g smaller than y?
True
Let k(d) = -d**2 + 4*d + 17. Let c be k(6). Suppose 3*q + 7 = -w - 8, -c*w = -2*q + 109. Let m = 20 + w. Is m greater than 2/25?
False
Suppose 4*l + 7 = -2*n + 3*n, 4*n + 5*l = -14. Let f be (n/(-6))/((-336)/54 + 6). Is f < -0.1?
True
Let g be (-6 + (1 - -7))*(-5)/(-20). Let c be (-190)/180 + (-6)/(-27)*1. Is g less than or equal to c?
False
Let u be (6 - 5/1)*1. Let n be 17/(-68) - 2*(-503)/4088. Are u and n nonequal?
True
Let w = -625 - -635. Let v = 55 - 105. Let q = 52 + v. Is q equal to w?
False
Let s be 9*(2325/135 + -17). Let q be (2/58)/((-2)/(-38)). Is q bigger than s?
False
Let r(h) = -h**3 + 4*h**2 + 34*h + 43. Let j be r(-16). Which is smaller: j or 4617?
4617
Suppose -8 = 2*m, -2*q - 3192 = 2*m + 4622. Is -3900 at most as big as q?
False
Suppose -222*r + 194*r + 52871 - 17087 = 0. Is 1273 not equal to r?
True
Let i = -2452 + 2451. Let y = -0.25 + -0.1. Let x = y - -0.2. Which is smaller: x or i?
i
Let r(k) = -1 + 3 - 7 + 15*k + 1. Let b be r(1). Let w = b - 9. Which is smaller: 20/9 or w?
w
Let m be 2/10 + (-20 - (-510792)/840). Which is smaller: m or 589?
m
Let a = 8527 + -8526.31. Are a and 7/8 non-equal?
True
Let p = -1598/5 - -12789/40. Let t = 64075/2808 + -1195/52. Let r = p + t. Which is smaller: r or 1?
r
Let c = 9656 - 10443. Which is smaller: 1 or c?
c
Let v = -25.78 - -26.6. Let g = -1.18 - v. Is g <= 92?
True
Let y = -31997 + 32538. Is 566 not equal to y?
True
Suppose -n - 8 = -9*n. Suppose -5*s + 9 = -n. Suppose s = 5*l - 3. Is l greater than 7/8?
True
Let b(r) = 3*r**3 + 5*r**2 + r + 18. Let l be b(-3). Let s be (l/(-14))/(3/190). Which is bigger: 96 or s?
96
Suppose 0 = 4*y - t - 15, t - 4*t + 5 = -2*y. Suppose 0 = 4*h + 4*k - 20, y*h + 2*k = 3*k + 55. Suppose -h*z - 20 = 20. Is -1 greater than or equal to z?
True
Suppose -13*m + 2 = -50. Suppose m*o + 12 + 4 = 0. Which is smaller: o or -51/11?
-51/11
Suppose -6*h = -4*v - 5*h + 3, 4*v + 12 = 4*h. Suppose 42 = 5*m - 2*d, 5*d - v = 4*m - 39. Let z = -1 - -2. Which is greater: z or m?
m
Suppose 37422 + 18104 = -22*w - 23784. Which is smaller: w or -3606?
-3606
Let v(t) = 16*t**2 - 506*t - 2. Let x be v(20). Are -3722 and x nonequal?
False
Suppose 0 = -2*j + 3*k - 6 + 25, -3*k - 23 = 2*j. Which is smaller: -11/448 or j?
j
Let w(i) = i**3 + 3*i**2 - 3*i - 7. Let k be w(-3). Suppose -b - a + 11 = 0, 12*a - 16*a + 2 = -k*b. Let s be 1/1*(b + -12). Which is greater: s or -3?
-3
Let p = 961 - 969. Let l be 240/(-96)*p/9350. Which is bigger: l or 0?
l
Suppose 27 = 3*w + 4*f - f, 0 = -2*f - 4. Suppose -14*m + 11