= 984 + -969. Let c be 2/30*(0 + a). Are c and l non-equal?
False
Let x be (-29412)/2280*8/(-639) + (-4)/30. Which is smaller: x or -39/5?
-39/5
Let u be (6*(-4)/8)/((-3)/2). Suppose 0 = -3*y - u*y + 10. Let f be (-32)/(-36)*(14/4 - y). Is f at most as big as 2?
True
Let i(s) = 67*s**3 - 5*s**2 + 4*s - 21. Let j be i(-5). Is j >= -8542?
True
Let j(z) = -44*z. Let p be j(2). Suppose 0 = 2*s - 4*n + 28, -66*s - n + 15 = -67*s. Let y be s/p - (-6)/(-33). Is y not equal to 2/55?
True
Let u = 56 - 21.8. Let z = 33.2 - u. Is -0.167 at least z?
True
Let h(k) = k**2 + 16*k + 48. Let n be h(-13). Let v = n + -18. Is v bigger than -2?
False
Let w = -0.83 - 55.17. Let n = w + 53. Which is bigger: 8 or n?
8
Let t(r) = r**3 - r**2 - 9*r + 7. Let j be t(6). Let b = j + -144. Let d(x) = x**2 - 11. Let m be d(0). Is m >= b?
True
Let n = -433 - -205. Let v = n - -455. Which is smaller: v or 226?
226
Let l = -56 + 54. Let m = -918 - -909. Which is smaller: m or l?
m
Let j be (525 - 527)*2/2. Let d = -11.5 + -0.5. Is j less than or equal to d?
False
Let v(s) = -29*s - 10*s + s**3 - 2 + 3*s + 3*s**2. Let f be v(-8). Which is smaller: -28 or f?
f
Let u(z) = 611*z - 1596. Let b be u(-1). Is b at least -2207?
True
Let w = -409 - -411.01. Let k = 349 + -348.99. Let x = w - k. Is -0.01 bigger than x?
False
Let o(n) = -84*n**2 + 5*n - 14. Let p be o(2). Which is bigger: p or -9?
-9
Let j = -0.2613 - 202.7387. Which is greater: 0 or j?
0
Let v(s) = s**3 + 9*s**2 + 8*s + 11. Let k be v(-8). Let l be (-418)/(-414) - (12 - k). Which is smaller: -1 or l?
-1
Let f be (1 - 0)/(0 + 1). Let m be (-12)/(900/5295)*(-5)/(-132). Let i = m - -31/12. Is f > i?
True
Let a be -2*(0 + -1)*1. Let r be 16/144 - 4/((-2)/((-248)/9)). Let z be a/1 - (-250)/r. Is 0 smaller than z?
False
Let s = -493 - -262. Let t = s + 304. Do -2/9 and t have different values?
True
Let x be 6/20 + 354/(-1080). Let d be 2*3*(-3)/(-18). Which is smaller: x or d?
x
Let l be 2 - 4 - -3 - -5. Suppose 6 = 3*m - 0*m. Suppose s = 5*o - 11, 1 + m = -3*s. Is l less than or equal to o?
False
Let a be (174/(-4))/((-36438)/5208 - -7). Is -12586 at most a?
True
Let q = 40 + -5. Let t be (q/10)/7*8. Suppose 0*b + t*d = -3*b - 17, 4*b - d - 9 = 0. Which is greater: b or 6/11?
b
Suppose -14*u + y - 153 = -10*u, -4*u - 3*y - 149 = 0. Let i be 3 - (u + (1 - (2 + -1))). Let z = -40 + i. Is -4/23 at least z?
False
Let g = 16552 + -16552.1. Which is bigger: g or 6/3613?
6/3613
Let b = 2008.929 + -2009. Which is smaller: 0 or b?
b
Let c be 9/(-4)*-86 + (-39)/78. Which is smaller: c or 2116/11?
2116/11
Let w = -0.3 + 19.3. Let i = w + -8. Suppose 5*g = -35, 30 - 27 = 5*j - 4*g. Is i <= j?
False
Let s be (-4)/(-7) - 2484/(-161) - -1. Suppose s*p - 244 = 19*p. Do p and -121 have different values?
True
Let g be 22 + -32 - (-474565)/47453. Which is smaller: g or 1?
g
Let g = 2.5 - 228.5. Let j = g + 224. Let t = -2 + 3. Is j > t?
False
Suppose 25 = 6*z - z. Let h = -1.077 - -8.077. Is h < z?
False
Suppose 65739 = 50*k - 67*k. Let g = k - -761801/197. Is g greater than 1/2?
False
Suppose 0 = -2*z + 4*f + 322, 4*z - 576 = -5*f + 42. Let k = -71 + z. Let m = 37 - k. Is m equal to -50?
False
Suppose -15*u + 12*u = -114. Let w = u - 31. Suppose -w*a = -0*a. Is 1/16 greater than a?
True
Let o be 2/(-6)*(-6 + 6). Suppose 2*k - b + 5*b = -14, o = 4*k - 3*b - 27. Let a = -9 - -16. Is k at most as big as a?
True
Let d(q) = 15*q + 1559. Let p be d(-103). Does 236/17 = p?
False
Let z = -13771 + 13786. Which is bigger: z or -283?
z
Let y be (51*1/36 + (-12)/(-4))/(-2). Are y and -2/7 equal?
False
Let b = -3369.1 - -1439.1. Is -0.01 greater than or equal to b?
True
Let a = -251/359274601831 - -21197353481271317870/122730718907682417. Let j = a + -2/48801. Let q = 173 - j. Which is smaller: q or 0.2?
0.2
Let h(u) = -u**2 + 8*u. Suppose 3*k = -2*k + 40. Let d be h(k). Are d and -6/29 non-equal?
True
Let q = 520164/19 + -27362. Which is smaller: 0 or q?
0
Let a be -2*(1 + 29/(-22) + (-122)/671). Which is bigger: 1/16528 or a?
a
Let c = 1/337 + -61337/1011. Let d = -81 - -19. Are c and d non-equal?
True
Suppose 0 = 4*u - 7*u - 5*n + 3098, -1016 = -u - 5*n. Let h = u - 730. Which is bigger: 312 or h?
312
Let u(g) = -4*g**2 - 6*g + 5. Let i be u(-6). Suppose 418 = -6*r + 2*r - a, -2*a + 204 = -2*r. Let k = 1 + r. Is i at most as big as k?
True
Let f = 17309 + -91408827/5281. Let v = f + 881921/15843. Which is smaller: v or 56?
v
Suppose 3*y + 4*b = -0*b - 58, 0 = -3*y + 2*b - 88. Let l be (-420)/y - (-4)/(-26). Suppose -l*g = -20*g. Which is smaller: 2/69 or g?
g
Suppose 4*v - 4*p = -80, 11*v - 3*p = 14*v + 60. Let r be 3*3*(2 + -3). Is v smaller than r?
True
Let f be (7 - 1) + 0 - -1. Let c(g) = -9*g**2 - 6*g - 18. Let n(r) = -17*r**2 - 14*r - 34. Let y(q) = 11*c(q) - 6*n(q). Let w be y(-6). Is w < f?
True
Suppose -5*k = -29*y + 32*y - 6, 4*k + y = 2. Which is smaller: k or -20/319?
-20/319
Let a = -8137 - -9549. Which is smaller: 1413 or a?
a
Let h(s) = -135*s + 39. Let l(v) = -203*v + 58. Let y(w) = -7*h(w) + 5*l(w). Let k be y(2). Which is smaller: -122 or k?
k
Let d = -0.12 + 74.12. Let w = d - 54. Let l = w + -20. Is -28 <= l?
True
Let u = -2444525367 - -3014099508461/1233. Let y = u + 1964/9. Which is bigger: -0.1 or y?
y
Let b = 8638 - 8521. Is b equal to 121?
False
Let u = -731 - -732. Is u equal to 31/20?
False
Let g = -2908/17 + 171. Let x = -117 - -116. Is g >= x?
True
Let r be ((-7)/(-69))/7*307799. Let w = r - 4461. Which is smaller: w or -1?
-1
Let g be (2/100)/(3553/(-442) + 8). Which is smaller: g or -0.3?
g
Let x = 507 + -503. Is x equal to 228/91?
False
Let c = -0.4671 - -77.4671. Is c > -61?
True
Let o(t) = t**2 - 130. Let h be o(13). Suppose h = -10*z + 15*z + y, z + 3*y = 19. Suppose 4*u = 2*m, -2*m + u = 2*u - 5. Which is smaller: m or z?
m
Let p(f) = -254*f - 111. Let t be p(22). Is -5699 <= t?
True
Let n(o) = o**3 - 34*o**2 + 35*o - 66. Let c be n(33). Is -2/40797 < c?
True
Let y = 56 + -46. Let n(k) = k - 32. Let p be n(y). Let l be (4 + (-60)/8)/(p/(-4)). Which is bigger: l or -2?
l
Let u = 12 - 13. Let f be 1900/(-325) - -6 - (1850/26 - 1). Which is smaller: f or u?
f
Let p = -106 - -106.096. Let u = p - 0.19. Let x = 13.094 + u. Which is bigger: -4 or x?
x
Let t(k) = k**3 - 8*k**2 - 10*k + 11. Let f be t(9). Suppose 0*l = 2*l + f. Let b = -40444 - -16218046/401. Which is bigger: l or b?
b
Let n = -3153 - -1724. Is -1 at most n?
False
Let z = 0.0271 + -5.9271. Do z and 11 have different values?
True
Let r = -700 - -49702/71. Let l be 22/165 - 3/((-90)/(-4)). Suppose -3*j = -l*j - 0*j. Is r less than or equal to j?
False
Let y = 0.08 - 0.007. Let u be 1209/186 - (-10)/(-4). Is y less than u?
True
Let x be (1/2)/(103/(-515)) + (-57)/(-22). Is x at least as big as -35?
True
Let r = 111 + -108. Let w be 3 - ((-4)/(-3))/(1/r). Let u = 1.3 - -6.7. Which is smaller: w or u?
w
Let a = -1470 + 623. Let d = a - -868. Which is greater: -0.7 or d?
d
Suppose -3 - 2 = d + 2*b, 5*b = -3*d - 10. Suppose 0 = 3*h - 5*o, 0 = -2*h - 2*h - d*o + 35. Suppose 4 = 4*u + h*t, 0*u = u + 5*t - 16. Is -2 <= u?
False
Let h = 50.91 + -50.6144. Is -1/4 >= h?
False
Suppose -v - 44 = 3*v + s, -s = -4. Suppose -f - l - 385 = 4*f, -2*f - 154 = 3*l. Let a = f - -63. Is v at most as big as a?
False
Let z = -6684 - -9352. Are 2668 and z unequal?
False
Let h = 313 + -542. Let u = h + 229. Which is smaller: u or 2/1357?
u
Let v be 6*(4/8 + 0) - 2. Let i be 161032/39680 - (3 + v). Let w = i - -1/160. Is 0 at least w?
False
Let m = 183.005 - 0.525. Let a = m - -0.52. Is a less than -1?
False
Let k = 12 - 10. Let r(y) = 2*y**3 - 2*y**2 - 3. Let f be r(k). Suppose 2*d = -0*d - 3*l - 15, 0 = -2*d + l + f. Is d < -1/13?
False
Let a = 19 - 19. Suppose 4*g + i = 6*g + 292, -5*g = 4*i + 743. Let t be g/45 + 3 - 8/20. Which is smaller: a or t?
t
Let d be (-2)/(-3*6/54) - 6. Is -2/7321 less than or equal to d?
True
Let b = 263.653 - 264. Let q = b - 33.053. Which is smaller: 1/2 or q?
q
Let a(l) = -3*l**2 - l + 7. Let g be a(-5). Let c be 4/6 + (-2316)/g. Let r = -37 + c. Is r at most as big as 0?
False
Let f = 600 + -600.289. Let q = f - 0.311. Is q >= -28?
True
Suppose 6 = n + 11. Let p(v) = -2*v**3 - v**2 - 15*v - 5. Let x(y) = y**3. Let g(c) = -p(c) - 3*x(c). Let i be g