f be ((-16)/12)/(26/y). Is 2 <= f?
False
Let d = -284 + 269.1. Let t = d + 15. Let g = -0.19 + t. Is g <= 0?
True
Suppose 6*n - n + 2 = -3*y, -4*y = 3*n + 10. Let v be (-3 + n)*(-2 + (-10)/(-4)). Let a = -0.1 + -0.1. Which is smaller: a or v?
v
Let h = -66 + 64. Let n = -6 - -8. Is n equal to h?
False
Let s(b) = -b**2 + 22*b - 12. Let f be 4 + -4 + -2 - -23. Let g be s(f). Suppose 5*w = -y + g, -2*y = -3*w - 3 - 2. Is w at least -2/9?
True
Let b = -393 + 313. Is -2/7 bigger than b?
True
Suppose 0 = 2*m - p - 11, -2*p = 2*m + p + 9. Is 5/3 greater than m?
False
Suppose 12 = -8*b + 4. Are b and -6/157 unequal?
True
Let g = -3094/67063 + 8/199. Let a = g - 1669/2696. Is a at least as big as -1/2?
False
Let w(f) = f**2 - 3*f + 1. Let b be w(2). Let j = 2/2141 + -2193/55666. Are b and j nonequal?
True
Let l(k) = 2*k. Let m be l(0). Let a be m - (2/(-8))/((-7)/28). Which is bigger: a or -5/9?
-5/9
Let j = 368 - 368. Which is bigger: j or -6/59?
j
Let u = 113 + -30. Are 0 and u equal?
False
Let h be (294/105)/(12/(-10)). Is -1 <= h?
False
Let b(z) = z - 6. Let d be b(8). Suppose -4*w + 505 = -215. Let g be (-2)/(-11) - w/(-462). Is g > d?
False
Suppose 6*d - 34 = -4. Suppose d*b - 8 = -4*g, 2*g = -0*g - 6. Suppose -120 = -5*w + 4*l, 0 = b*w + 6*l - 2*l - 96. Which is smaller: 1 or w?
1
Let j be 13/(-39) - 8/(-6). Let z(d) be the second derivative of d**4/4 + d**3/6 + 2*d. Let g be z(j). Is g less than or equal to 4?
True
Let k = -110.04 - -110. Which is smaller: 7 or k?
k
Let s = 2641 - 52841/20. Let u = s - -4/5. Are u and 2/5 unequal?
True
Let l = 115 + -1049/9. Let q(u) = u + 3. Let f be q(-6). Which is smaller: l or f?
f
Let x = -38.623 + 0.023. Let r = x - -7.6. Let b = r + 31. Which is greater: b or 7/6?
7/6
Let z(s) = -15*s - 150. Let t be z(-16). Is 179/2 != t?
True
Suppose 2*x + 8 = 4*x. Let n = -29 + 22. Let w(h) = -h**2 - 7*h + 4. Let j be w(n). Are x and j equal?
True
Let r(k) = 3*k - 2. Let p be r(-6). Suppose -6*c = -5*c + 13. Let i = p - c. Which is bigger: i or 0?
0
Let p = -79.962 - -80. Which is greater: p or 0?
p
Let m be ((-4)/2)/(-10)*(-1995)/(-456). Which is smaller: m or 0?
0
Suppose 18 + 2 = -4*i, 5*i = 2*d - 23. Which is smaller: 1/503 or d?
d
Let a = -569 - -578. Are a and -0.2 non-equal?
True
Let p = -122 - -121. Let b(v) = v**3 + 6*v**2 + 6*v + 3. Let j = -11 + 6. Let a be b(j). Which is smaller: p or a?
a
Let u be 2*4 + (-5 - 5). Let o = 2 - 5. Is u at least as big as o?
True
Let z = -0.05 + -2.65. Let m = 3 + z. Let q = -61/3 + 62/3. Which is smaller: q or m?
m
Let m be (4 - (-70)/(-15))/3. Is m < -1?
False
Suppose 5 = -o - 0*o. Let z be ((-16)/(-10))/(o/25). Let m = z + 9. Is m at most 1?
True
Let u be 3/15 - 1/(5/176). Do -32 and u have the same value?
False
Let j be (-1 - -11 - 3) + -4. Suppose 0 = -j*a - 2*a + 10. Is a != 3/4?
True
Let i(k) = -2*k**2 - 8*k - 1. Let c be i(-6). Let g = c + 26. Are g and -1/4 nonequal?
True
Let c(o) = 119*o + 268. Let g be c(-6). Which is smaller: g or -0.1?
g
Suppose -12*c = -10*c + 5*v + 5, -2*c + 4 = -4*v. Is c >= -0.024?
True
Suppose 12*h + 36 + 60 = 0. Which is bigger: h or 9?
9
Suppose 5*u - 346 = -411. Let s(z) = 13*z. Let b be s(-2). Let t be ((-2)/1)/((-4)/b). Is u > t?
False
Let i = 3 - 5. Let b be 4/10*(-4 - i). Let t(k) = k**3 + 6*k**2 + 3*k + 16. Let q be t(-6). Which is bigger: q or b?
b
Let v(c) = -4*c + 2. Let h be v(0). Suppose 5*o + 2*m + 103 = 0, -h*m = -3*o + m - 66. Do -21 and o have different values?
False
Let z = -14 - -16. Let y be 8/5 + 4/10. Are z and y equal?
True
Suppose -14 = -6*f - 2. Let d be f*(3 - (-12)/(-8)). Let l be (-27)/(-12) + (-3)/12. Is l equal to d?
False
Let f = 1981 - 778. Are 1202 and f equal?
False
Let f = 26.72 + -26.82. Let o = -0.06 - 0. Which is smaller: f or o?
f
Let v(i) = -i**3 - 14*i**2 + i + 16. Let y be v(-14). Suppose -h = 2*q - 6, y*q = 7*q - 15. Are h and 18 equal?
False
Let w(t) = -12 + t**2 + 0*t**3 - t**3 + 4*t - 6*t**2 + 4. Let r be w(-6). Suppose -2*c - 2 = -r*c. Which is smaller: c or -1?
-1
Suppose b + 17 = -2*b + 4*j, 2*b + j + 4 = 0. Let z be 0*((-4)/(-12))/(b/(-9)). Is z at least -1/16?
True
Let i = 15.8 + -13. Let t = i + -3. Let w = 7.9 + -7.3. Is t greater than w?
False
Let x be 210/4*(-12)/6. Which is smaller: -319/3 or x?
-319/3
Let p(i) = 24*i + 239. Let w be p(-16). Is w not equal to -145?
False
Let k = -207.919778 - -0.049778. Let l = k - -209. Let w = 0.13 - l. Is 0.2 >= w?
True
Let y be (-172)/9 - 146/(-1314). Let f = -28 - -10. Is f < y?
False
Let g be 155/(-4) + (-9)/(-12). Which is greater: g or -40?
g
Suppose 4 = 5*u - 1, 3*u = 5*n + 8. Is n less than -12/293?
True
Let b(s) = -s**3 - 7*s**2 - 5*s. Let t be b(-5). Suppose 4*f - 104 = 4*o, -4*f - 21 = -32*o + 33*o. Are t and o non-equal?
False
Let y(s) = 2*s + 4. Let b = -9 + 12. Let d be (10/(-2 + b))/(-2). Let w be y(d). Is w less than or equal to -5?
True
Let i = -60052/59 + 1018. Let j = 614296399/2655 - 1156869/5. Let q = i + j. Which is greater: -0.1 or q?
-0.1
Let d be ((-24)/10)/(27/(-90)). Suppose 0 = -d*z + 4*z. Which is smaller: 3/4 or z?
z
Let z be 7519/1133 + 21/(-3 + 0). Let c = -1 + 0. Let w be (2 - (0 + 2))/c. Is w != z?
True
Let a = -43/1329 - -618673/21264. Which is smaller: 30 or a?
a
Let u be (0/1)/(1/(6 + -5)). Does 4/49 = u?
False
Suppose -5*b = -2*o - 120, -b = -3*b + 3*o + 48. Which is smaller: b or 29?
b
Let h = -121 - -121. Suppose -5*a + 33 = 13. Suppose -2*f + a*f = 16. Which is smaller: f or h?
h
Let v be (0 - -4) + (10 - 5). Suppose -2*u = 6, 3*u + 0 = 3*x - v. Are x and 3/35 nonequal?
True
Let i = 782599/84 + -9317. Let x = 2/21 + i. Is x bigger than -1/4?
False
Let p(q) = -q**3 - 15*q**2 - 55*q + 14. Let f be p(-7). Is -40 less than f?
True
Let w = 452 - 452. Is -2/2649 at most w?
True
Let r = 1213.3 + -1214.4. Let h(w) = -w**2 + 5*w + 6. Let b be h(6). Is b bigger than r?
True
Let d = -41 + 28. Let h = -53/4 - d. Which is smaller: 18 or h?
h
Let x = -0.06 - -0.26. Let j = 182.031 + -182. Are x and j equal?
False
Suppose -147*i - 10140 = -157*i. Are i and 1014 equal?
True
Let t be (-1085)/(-21) + 2/(-3). Suppose 7*l = t - 93. Is 1 at most as big as l?
False
Let w = 0.785 + -0.285. Suppose 113 + 3 = 4*a. Let h = a + -57/2. Is w <= h?
True
Suppose -2*y - 4*k - 10 = 0, y = 3*y - 4*k - 22. Let n = -328 + 307. Is n smaller than y?
True
Let u be ((-50)/(-15) + -4)*-3. Let j(c) = -c**2 + 5*c - 6. Let i be j(u). Is -2/37 at least i?
False
Let j = -6 - -6. Let m = 486 - 485. Which is smaller: m or j?
j
Let r(a) = a**3 - 9*a**2 - a + 12. Let i be r(9). Suppose 0 = -4*o + i*o + 17. Let g be (-10 + 11)*1/o. Is 0 at least g?
False
Let b = 2169 - 2171. Is -44/63 less than b?
False
Let f be ((-16)/(-12))/(6/(-45)). Let a = f + 22. Let r be -3*(a/(-9) - -1). Is 2 greater than r?
True
Let u(x) = 6*x**2 - 20*x - 10. Let j be u(4). Which is bigger: 84/13 or j?
84/13
Let j(o) = -o**2 - 11*o + 1. Let x(w) = w - 2. Let s(l) = -1. Let d(p) = -3*s(p) + x(p). Let f(a) = 5*d(a) + j(a). Let g be f(-7). Is g <= -1/7?
True
Let r(b) = -b**3 - 2*b**2 + 2*b + 55. Let t be r(0). Suppose 2*p + 3*p = -t. Which is greater: p or -10?
-10
Let x = -105 + 106. Let y = -5 + 4.4. Which is smaller: y or x?
y
Suppose 0*q = -18*q - 11*q. Which is smaller: q or -8/7?
-8/7
Let d = 21 - 24. Let o = d - 18. Which is bigger: o or 2?
2
Let s = 9056.83 + -9099. Let c = 42 + s. Let u = -0.03 + c. Is u at least as big as -1/3?
True
Suppose -3*z = 0, 4*z - 3094 = -4*j - 726. Let f = -1314039 + 21015149/16. Let a = j + f. Which is smaller: 0 or a?
a
Let t = 3/5 + -23/30. Which is smaller: t or 9?
t
Let p(b) = 18*b + 143. Let y be p(-8). Which is smaller: y or -14/13?
-14/13
Let c = -6.2 - 55.8. Let d = c + 62. Let i = -22.9 - -24. Which is smaller: d or i?
d
Let w = 59 - 167. Is w equal to -108?
True
Let t = -1.227 - -12.227. Is -4 < t?
True
Let a = -4.3 - 8.5. Let o = -13 - a. Let l = -20/7 + 166/63. Which is bigger: l or o?
o
Let i = -1459 + 1450. Let o = 2 - 3. Let d = o - 0. Which is bigger: i or d?
d
Let x be 5 + (-2 - (-4 + 3)). Is x equal to -16?
False
Let y(p) = 17*p - 1. Let z be y(-1). Let g be 0 + 0 - (4 - -12). Is z greater than g?
False
Let f(p) be the third derivative of -p**4/12 - p**3/6 - p**2. Let q be f(0). Let v = 30 + -327/11. Is q at most v?
True
Suppose