*a + 120. Let l(w) = -w**2 - 15*w + 2. Let g be l(a). Which is smaller: g or 2/5?
2/5
Let q(f) = f**2 + 43*f - 409. Let z be q(-51). Are -3/15220 and z unequal?
True
Let o be 3762/(-380)*(-2)/3 + -4. Is o bigger than -3?
True
Let n = 0.23 + -77.23. Let g = -85 - n. Is g <= -3?
True
Let v = -4479 - -4480. Suppose 5*a - 20 - 85 = 0. Let z be (a/(-15))/((-12)/10). Which is bigger: z or v?
z
Let n(t) = -t**2 - 5*t + 9. Let s be n(-6). Let y be 0 + s/((-6)/(-2)) + -3. Let q be (y/3)/(((-4)/(-3))/1). Is q bigger than -0.2?
False
Let a = -2.035 - 1021.965. Which is bigger: -0.1 or a?
-0.1
Let x = -45/679939 + 8160642683/223699931. Let h = 257/7 - x. Is -1 greater than h?
False
Suppose -376032 = -49*b - 4*b - 2223. Is b at least 7053?
True
Suppose -19 = 15*w + 11. Let k be (w/3)/(-441 + -26). Is 0 >= k?
False
Let k = 12176 + -12230. Which is smaller: 6 or k?
k
Let y = 0.1077 + -142.8577. Let j = y - -134. Let n = -9 - j. Is -0.1 at least as big as n?
True
Let m be (5*-22)/(3 - 3 - -1). Let g be (-4)/22 - (-255)/m*12. Let j = -27 - g. Which is smaller: j or 2?
j
Let a = 311 + -215. Let d = -95 + a. Do d and 5 have the same value?
False
Let g = -10/51266389 - -12379756350461/5793101957. Let d = g + -2137. Is d <= -1?
False
Let p be 1*(14 - 208888/14920). Are 0 and p non-equal?
True
Let u(n) = 80*n + 16. Let o be u(4). Suppose o*z - 333*z - 321 = 0. Do 108 and z have the same value?
False
Suppose 2*k = -2*j + 18 + 2, 4*j - 4*k - 16 = 0. Suppose -3 - 87 = 15*c. Let l be (-9)/c*-6*(-5)/15. Are j and l nonequal?
True
Let g = -102 + 173. Let y = -64 + g. Suppose 0 = 2*m - 5*m + 9. Is m not equal to y?
True
Let o = -11546 - -11546. Is o bigger than 894?
False
Suppose 5*k + 4*z - 20 = 0, -14*z = k - 11*z - 15. Do 2/17397 and k have the same value?
False
Let t(q) = -q**2 + 30*q - 40. Let w be t(20). Let h = 160 - w. Which is smaller: h or 10/47?
h
Suppose 42727 = -39*d - 7590 + 6130. Is -1132 equal to d?
False
Let y = 138 + -138.192. Let u = y + 0.492. Is u < -26?
False
Let f(r) = 3*r - 2. Let s be f(-3). Let c be 10/2 - (-5 - -4). Suppose -c*l - 40 = -2*l. Is l greater than s?
True
Suppose 2*c - 90 = 3*k + 45, -5*k - 129 = -2*c. Is 652/9 at least c?
True
Let v = 232 - 224. Let m be 322/v + 3 - 6. Is m smaller than 36?
False
Let a(i) = i + 3. Let w(c) = -c**2 + 4*c + 5. Let k be w(6). Let p be a(k). Let r be ((-11)/(-3))/11 - (-56)/(-6). Which is smaller: p or r?
r
Suppose 9*c + 23642 = 34892. Which is greater: -9 or c?
c
Suppose 37*j - 476 = 44*j. Let s be (-136)/(-18) - j/102. Which is greater: 8 or s?
s
Let l = 0.09559 - -13.83441. Is 10 smaller than l?
True
Suppose -5 = 5*o - 2*i, 3*o - 3*i = 2*i - 3. Let n(d) = -2*d**2 + 4. Let f be n(-4). Let c be o/(-46)*f/(-21). Which is bigger: c or 1?
1
Let z = 14727 - 13921. Which is bigger: 807 or z?
807
Let p(s) be the second derivative of -18*s**5/5 - s**4/12 + s**3/6 + s**2 + 158*s. Let j be p(-1). Is 74 < j?
False
Let k(f) = 3*f**2 + 28*f + 4. Suppose -g + 4 = -5*u, -3*u + 1 = g - 3. Suppose u*m = 11*m + 132. Let x be k(m). Is x less than 100?
False
Let c(o) be the first derivative of o**4/4 - 5*o**3/3 - o**2/2 + 3*o - 10. Let w be c(5). Let a = -82 - -244/3. Which is greater: w or a?
a
Let f = -29/12 + 8/3. Let u = -7.1776 - 1.7224. Is f at most u?
False
Let l = 5919334/5 + -1170874. Let m = 13126 - l. Which is greater: m or 132?
m
Let k = 10 + -11. Let o = 88.987 - -4.013. Which is bigger: k or o?
o
Let g be 1/(6/(-96)*2). Let x be ((-3)/48*-8)/((-1)/g). Which is smaller: -0.12 or x?
-0.12
Let o = 34.17 - -0.83. Let w = 1.47 - -34.53. Let a = w - o. Which is bigger: a or -0.5?
a
Suppose -3*h + 27*h - 1584 = 0. Which is greater: 70 or h?
70
Let g(q) = q**3 - q**2 + q + 1. Let l be g(-1). Let o be 1*(-2)/(-15) - 8122/1965. Let d be (-42)/(-10) - (l + o - -9). Which is greater: 4 or d?
4
Suppose -932 = 3*m + 2*n, 11*n - 15*n - 4 = 0. Do -300 and m have different values?
True
Let b = 80 - 80.95. Let t = b - -4.7. Let g = 3.5 - t. Which is smaller: -0.2 or g?
g
Let n be (-2 + (-50)/(-35))*84/(22 + -10). Which is bigger: n or -2453?
n
Let t be (((-17802)/13616)/(-43))/((1/1)/4). Which is bigger: t or 0?
t
Suppose 3*y + 96 - 69 = 0. Let w be 4*7 - (y + 0 + 13). Is w less than or equal to 26?
True
Suppose k + 2*z = 16 + 73, 5*z + 75 = k. Let h be 0 + -3 - (961 + -963). Is k less than h?
False
Let t be ((-24)/9)/4*45/(-6). Suppose -t*v - 36 = v. Is v greater than 0?
False
Let f(b) = -3*b + 26. Let g(i) = -i + 1. Let w(z) = -f(z) + 2*g(z). Let h be w(-11). Let l be (-10)/h - 312/14. Which is bigger: l or -0.1?
-0.1
Let l = 514811/56 + -9193. Do -20 and l have the same value?
False
Let p = -10.02 + 9.92. Let a = -0.78 - 66.22. Let n = a - 2. Is p not equal to n?
True
Suppose -17*r = 4*r - 611 + 2501. Is -2238/25 bigger than r?
True
Let x = -7550 + 7550. Is x >= 37/84?
False
Suppose -51*x + 486 = 180. Is 161/32 < x?
True
Let h(i) be the second derivative of -i**5/20 - i**4/2 + 7*i**3/3 - 2*i**2 + i - 30. Let c be h(-6). Are c and -88 non-equal?
False
Suppose -4*r + 3*j = 211, j + 171 = -3*r - j. Let k = r - -88. Suppose -4*n - k = -n. Is -10 at least n?
True
Let o = -18244/3 - -6158. Suppose 231 = 2*m + m. Let b = o - m. Which is smaller: b or 5/8?
b
Suppose 4*v + 0*t + 2*t - 30 = 0, 14 = 2*v + 2*t. Let p be 1/(-4) + (-6)/v. Let l be 11832/697 - (-765)/(-45). Is l < p?
False
Let v be (120/480)/(2/88). Are v and 14.4 non-equal?
True
Let m(u) = -u**3 + 4*u**2 + 54*u - 231. Let x be m(7). Which is smaller: x or -14/437?
-14/437
Let i be ((-7)/28)/((-4417)/1792*-4). Does i = -1?
False
Let d(v) = v**3 - 4*v**2 - v - 2. Let o be d(5). Suppose 5*j - 3*p = -3 - 3, 2*p + o = -4*j. Let f be 1/6 - 356/120. Which is bigger: j or f?
f
Let w be (37 - 29) + 7*(3 + -4). Is w greater than or equal to 2/9955?
True
Suppose 22*j = 25*j - 4*o + 30, 4*o = 12. Let s be j/(8 - (-200)/(-16)). Which is greater: 2 or s?
2
Suppose -414*m - 585*m + 48689 = 51740 + 132813. Let w be (-68 + 0)/2*4. Is w not equal to m?
False
Let u(g) = -3*g**2 - 4*g - 3. Let v be u(-3). Let z = -3197/175 + 12/175. Which is smaller: z or v?
z
Let o be -3*(4/(-10))/(12/3340). Let q = 570 - o. Which is greater: q or -1/3?
q
Suppose 0 = -36*g + 40*g - 4. Let t = 20 + -17. Let y be ((-8)/3)/((-5)/t). Which is greater: g or y?
y
Suppose 0 = 5*n - 1 - 4. Suppose -s - 15 = -3*p, 0*p - 5*s + 3 = -2*p. Let v be p/8 + 0/(-4). Is n equal to v?
False
Let f = 19312 - 19311.97164. Which is bigger: f or -2?
f
Let c be 9/(1134/728) + 2/9. Let t be (13/(897/c))/(-1). Do t and 43 have the same value?
False
Let o be ((36/8)/(-1))/(-6). Let n = 519 - 626. Which is smaller: n or o?
n
Let v = 537 + -536.99. Let b = -225 - -217. Which is smaller: v or b?
b
Let d be (-6)/30 + 0 - (-280)/25. Suppose 2*u - 4 = 6. Which is greater: d or u?
d
Let i = 0.247 - 0.2862. Let v = i - -1.0392. Which is smaller: -61 or v?
-61
Suppose -136*w = -140*w - 3*z - 7222, -3*w - 3*z = 5412. Which is smaller: -1808 or w?
w
Suppose 0 = 2*d + 5*s - 8 - 28, -3*d = -s - 54. Suppose 6 = -3*i + 30. Which is smaller: i or d?
i
Let a be -10 + (0 - 4) + 15. Are -0.202 and a non-equal?
True
Let x be 12150/1520 - (-18 - -26). Is x <= 3?
True
Let o(a) = 26*a + 184. Let w be o(-7). Suppose -8*b + 3*k = -4*b - 7, k = -w*b + 1. Is 64 != b?
True
Let t = -6319/385315 + 9/707. Let k(u) = u**2 - 7*u + 7. Let m be k(6). Is m at most t?
False
Let x(y) = -2*y + 60. Let k be x(73). Is k at most -76?
True
Let f = 46459 + -46459. Which is bigger: f or 40/483?
40/483
Let l = 4337.61573 - -0.38427. Which is smaller: l or -0.2?
-0.2
Let w(b) = -7*b + 31. Suppose 5*h + y = -2*y - 15, 0 = -3*y. Let t be w(h). Are 50 and t equal?
False
Let y(z) = -7871*z + 196785. Let a be y(25). Suppose 11 + 1 = 4*j. Is a bigger than j?
True
Let t be 7 + 0 - 500/400. Let a(r) = r**2 + 7*r + 2. Let d be a(-6). Let v be (3 - 51/12)*d. Is t at least v?
True
Let f = 261 - 280. Let k be 19/f*-73*5. Which is bigger: 2 or k?
k
Let t(s) = s**2 - 6*s - 8. Let h(j) = j**2 - 6*j - 9. Let a(y) = -3*h(y) + 2*t(y). Let x be a(6). Let u = 1918 - 1907. Is u <= x?
True
Let p be 7 - 6/((-390)/14395). Which is greater: p or 229?
229
Let g = -3.1 - -1.81. Let j = g - 4.11. Which is greater: -1 or j?
-1
Let c(d) = 7*d**2 + 246*d + 41. Let r be c(-35). Suppose 3*f + r = -2*k, -5