 - -0.0304. Are i and n unequal?
True
Suppose -3*w - 9 = 16 - 7. Is -59/11 equal to w?
False
Let y = 494 + -119. Let i = 1126 - y. Is i less than 2/5?
False
Let l = -2829 - -2746. Is 4 greater than or equal to l?
True
Let f be 12 + (-25 - -3)/2. Is f >= -61?
True
Let i be 1/(2*2/8). Suppose -3*w + 6 = -3*z, 0 = -5*z + 2*w - 0 + i. Let o be z/8 - 39/(-12). Which is smaller: o or 4?
o
Suppose -2*a = x - 1317, -13*a = -18*a + x + 3275. Are 655 and a non-equal?
True
Let w be 4 + (-175 - (-18)/2). Is 0.03 greater than w?
True
Let l = 13543 - 13543. Does 10/243 = l?
False
Suppose -5*d + 14*y = 13*y + 2420, -1952 = 4*d - 4*y. Which is smaller: -14 or d?
d
Let c be 402/(((-12)/20)/((-15)/(-50))). Which is smaller: -204 or c?
-204
Let g be (-505)/3*(-6 - (-168)/40). Let s = -277 + g. Which is greater: 300/11 or s?
300/11
Let t(f) = -2*f**3 - f**2 - 2*f - 32. Let q be t(5). Let j = q - -316. Let b be 4*(0 - -1)/782. Is j at most b?
True
Let o(l) = -368*l - 65. Let r be o(-5). Let s = r - 236073/133. Let w(f) = -f**2 - 3*f + 3. Let x be w(-4). Is x < s?
True
Suppose -v + 7*f - 2*f = -18, -5*v + f = -66. Let k = -10 + v. Let t be (-3)/(36/(-8)) + (-23)/k. Which is greater: t or -8?
t
Let s(d) = -175*d**2 - 193*d + 1137. Let p be s(6). Are p and -6322 nonequal?
True
Let x(q) = 11*q**3 + 2*q**2 + 4*q + 2. Let r be x(-2). Let t(g) = -2*g**3 - 5*g**2 + 8*g - 12. Let z be t(3). Is r at least z?
True
Let a(q) = 3*q**2 - 4*q + 2. Let f be 4/6 - ((-300)/(-18) + 4). Let n = -18 - f. Let t be a(n). Which is greater: t or 2?
t
Suppose -3*g - 687 = -4*y - 10, -4*y + 908 = -4*g. Is g at least -9?
False
Suppose 5*p - 11 = -0*d - 4*d, -3*p + 12 = -3*d. Let s be d*4/(-14) + (-8964)/34020. Which is smaller: s or -1?
-1
Let m be 5/(-45) + 148/999. Is -0.084 bigger than m?
False
Let j(i) be the third derivative of i**5/60 + i**4/8 + i**3/6 + i**2. Let x be j(-8). Let f = x + -42. Is f >= -1/4?
False
Let w = -43 - -49. Suppose -20 = -4*c, -5*b - 4 = -2*c + w. Suppose -2*f + 125 = -8*k + 3*k, k + f + 18 = b. Is -23 != k?
False
Suppose 0 = 3*t - 2*h - 712, 4*t - 3*h - 631 - 319 = 0. Let g = t - 194. Are 40 and g non-equal?
True
Suppose -2*w - 2*u + 35 = -17, w - 22 = -5*u. Suppose 74*d = 73*d - 8, 35 = r - d. Are w and r non-equal?
False
Suppose 2*s = -4*y + 34, 4*s - 5*y + 8*y - 28 = 0. Is 73/89 greater than s?
False
Let k = -1194 - -1179. Suppose -2 = -5*c + 8. Suppose 4*p - c*j - 26 + 70 = 0, 36 = -4*p + 4*j. Do k and p have the same value?
False
Suppose 0*r = 4*r - 8. Let u be (3 + (2 - 4))/(1/70). Suppose 0 = -66*s + u*s. Do s and r have different values?
True
Let m be (872/(-296) + 3)/((16/(-6))/4). Suppose 2*i - 3*p + 14 = 0, 0 = 4*i + 2*p - 1 - 3. Are i and m nonequal?
True
Let a(m) = -6*m. Suppose 0*l + 30 = -6*l. Let u be a(l). Suppose d - u = -5. Is 25 bigger than d?
False
Let y = -4026 - -4021.47. Is y greater than 1?
False
Let r = 47/126 + 1/14. Let h(o) = -50 - 2*o**3 - 83 + 7*o**2 + 22*o + 22*o**2 + 29 + 0*o**3. Let v be h(15). Are v and r non-equal?
True
Let k = 2 - 1.4. Let n = -88 + 302. Let t = n - 215. Which is greater: k or t?
k
Let s = 1.3 - 1. Let o = -0.928 - -1.706. Let u = o - 0.818. Which is smaller: u or s?
u
Let v = 2.79 + 7.21. Let d = -15 + 26. Let y = v - d. Is 5/6 less than or equal to y?
False
Suppose 2*o - 160 = -4*q, 4*q - 2*o = 56 + 96. Suppose -l - m - 99 = 0, 5*l - 6*m + 2*m = -540. Let z be q/l*(-2)/(-3). Which is smaller: 3 or z?
z
Suppose 0 = -z + 174 - 60. Suppose -23*v + 1 + z = 0. Let b = 2 + -0.5. Is v > b?
True
Let a(v) = 3*v**2 + 5*v + 4. Let g be a(-1). Suppose 2*b - 10 - 2 = 0. Suppose g*l - b*l = 0. Is l greater than -1/75?
True
Let g be (65 - 0)/(4/(-50)). Let h = g + 877. Is 66 smaller than h?
False
Let o(v) = 7*v**3 - 8*v**2 + 10*v + 25. Let m(h) = 19*h**3 - 24*h**2 + 30*h + 75. Let s(d) = -4*m(d) + 11*o(d). Let q be s(-6). Is 106 at least q?
False
Let w = -1/33781 + 19457881/844525. Which is smaller: 23 or w?
23
Let n = 756 + -756. Let d be (-3)/12 + (-425)/(-1710). Is n bigger than d?
True
Let q be (55 - 1)*(-142)/(-5538). Is q at most as big as 0.29?
False
Let f(x) = x + 23. Let w be f(-8). Suppose -9*a - 12 = -w*a. Which is smaller: a or 32/23?
32/23
Suppose -3*t - 4 = -4*i, i - 12 = -0*i - 2*t. Suppose 0 = -2*k + 3*k - 2*v - 10, i*k + 10 = -2*v. Is -32 at most as big as k?
True
Let f = -1229606312/2335 + 526598. Which is smaller: f or -1?
-1
Let q = -3698.558 - -3703. Let v = q - -0.058. Let y = -2.5 + v. Which is smaller: y or -0.09?
-0.09
Let w(j) = -1450*j + 316. Let i be w(7). Which is smaller: -9833 or i?
i
Suppose -4*f = 4*x + x + 515, 5*x + 520 = -3*f. Is x less than -99?
True
Let i(t) be the third derivative of t**5/30 + 11*t**4/24 + 4*t**3/3 - 40*t**2. Let z be i(-5). Are 11/4 and z non-equal?
True
Let b be 16 - (-393 - -3) - 7. Is 2796/7 less than b?
False
Let f(k) be the second derivative of -1/12*k**4 + 39*k + 0 - 13/6*k**3 - 41/2*k**2. Let o be f(-8). Is o <= 1/76?
True
Suppose 278*t - 85*t + 205000 = -57*t. Which is bigger: -821 or t?
t
Suppose 0 = -u - u + 4. Let i = 7 - u. Suppose 0 + 6 = a - i*j, j = -1. Is a equal to -12?
False
Let o be (0 + -2)*6/632. Suppose -48*y = -168*y - 211*y - 331. Which is bigger: o or y?
o
Let q(v) = -3*v + 39. Let z be q(13). Suppose y + 2*j - 3 = -j, z = y - 4*j - 31. Let m be 0/((-3)/(y/(-20))). Which is smaller: 31 or m?
m
Let a be 28728/95 + (-3)/(-5). Let c = a + -304. Which is smaller: -4/283 or c?
c
Suppose -2*a = -a - 5*t, -3*a - 3*t + 90 = 0. Suppose 30*v - a*v = 20. Let r be (-35)/9 - (-1 + (v - 7)). Is r at least 0?
True
Suppose 14 = -n + 45. Suppose 0 = 4*s + y - 126, 5*s - 113 = 5*y + 32. Let w = n - s. Which is smaller: w or -1/6?
-1/6
Let i(y) = y**3 + 38*y**2 + 46*y + 17. Let m be i(-37). Let x be -6 - (3 - (3 + m)). Which is bigger: -1 or x?
-1
Let d = 60.6 - 65.63. Let n = 4.97 + d. Let h(u) = -u**3 - 5*u**2 + 4*u - 7. Let w be h(-6). Which is smaller: w or n?
n
Let r = -12024 - -11370. Does -0.9 = r?
False
Let v = -672 + -206. Is v less than -866?
True
Let b = 158 + -155. Suppose 5*n - 86 = -b*g, 2*g = -3*g - 4*n + 152. Which is greater: 33 or g?
33
Let x be 4 + 0/(-2) + (19 - 21). Suppose 5*o - x*i = -4*i - 364, 0 = o + 5*i + 82. Is -3 equal to o?
False
Let z(f) = 2*f**2 + f + 2. Let g(x) = -8*x**2 + 32*x + 52. Let s(u) = -g(u) - 3*z(u). Let m be s(19). Is -256 greater than or equal to m?
False
Suppose -w + 0*w = 5*j + 10, -10 = -5*w - 5*j. Suppose -3*f = -3*a + 60, -w*f - 120 = -3*a + 2*a. Let u = 56 + -83. Which is bigger: f or u?
f
Let u = 4339 + -4338.77. Does u = -40?
False
Let x = -2.677 - -2.577. Which is smaller: x or -3/511?
x
Let t(g) = 3*g**2 - 3*g - 11. Let c be t(3). Suppose 57 = 5*n + 5*o + c, 40 = 4*n - 4*o. Which is smaller: n or 3?
3
Let b = -2706.88649 - 0.11351. Is 1 greater than b?
True
Let t = 8004 + -112057/14. Is t equal to -2/61?
False
Let o = 10.8 - 11. Let s = 85.8 - o. Let b = -85.6 + s. Is 1/4 less than or equal to b?
True
Let n(r) = 4*r + 30. Let t(d) = -15*d - 7. Let u(z) = -7*z - 4. Let k(o) = 6*t(o) - 13*u(o). Let i(a) = 10*k(a) - 3*n(a). Let s be i(14). Is -20 smaller than s?
True
Suppose -54*y = -50*y - 2*r + 40132, 3*r - 18 = 0. Is y less than or equal to -10031?
False
Let s = 70338 + -224448556/3191. Do 1 and s have the same value?
False
Let o(q) = -q**2 - 3*q - 16. Let w be o(-8). Let x = -57 - w. Let u be ((-12)/(-10))/(3/15). Is x smaller than u?
True
Let c be -4 - -12 - (-7 + 7 + 12). Let x(g) = 14*g**2 + 2*g + 1. Let k be x(-1). Suppose -4*j - k = 15. Which is smaller: j or c?
j
Let g = 12 + -9. Suppose g*l + 30 + 27 = 0. Let o = l + 21. Is -2 at most o?
True
Let u = -4135 + 4219. Which is greater: u or 46?
u
Let s(p) = -77*p**2 + p**3 + 2*p + 6 + 94*p**2 + 29. Let o be s(-17). Let c = 2/1035 - 227/10350. Is c at least as big as o?
False
Let l(u) = u**3 + 8*u**2 + 8*u + 7. Let j be l(-7). Suppose j = -a - 2*a - 3. Let i = 271 + -269. Is a greater than or equal to i?
False
Suppose 0*a = 8*a + 544. Let k be -2 + -1 - a/17. Is k <= 5/6?
False
Suppose 0 = s + 1, -39*g + 8 = -36*g - 2*s. Which is smaller: g or -0.667?
-0.667
Let a = 32 - 74. Let o = 2856.8 - 2857. Which is bigger: a or o?
o
Let a(q) = -q**3 - 11*q**2 + 12*q + 9. Let z be a(-12). Let t be -3*6/z + -1 + -39. Are t and 5 non-equal?
True
Let r = -91.9