Are -9 and y unequal?
True
Let q be 30/(-4 - -9) - (2 - -2). Suppose 4 = -4*m, 5*a + 2*m = 6*m + 4. Let n be (2 - 1) + (0 - a). Do q and n have different values?
True
Let y = 62 + -40. Let g be 10/(-6)*(-6)/5. Suppose -4*u - g = -y. Is 4 equal to u?
False
Suppose -5*g + 216 = -11*g. Let y(u) = -5*u - 3. Let x be y(7). Let b = x - g. Is b <= 1?
True
Let f be (-1 - -1)/(-1*1). Suppose f = 5*t - 3*i - 2 - 8, 0 = -4*t + 3*i + 8. Let p = -345/7 - -711/14. Is p less than or equal to t?
True
Let m = -15.2 + 290.2. Are m and -2 equal?
False
Let a = 48325 - 102110723/2113. Is a greater than 1?
False
Let v = -8 + 54. Suppose 44 = 2*x + v. Are x and -39 nonequal?
True
Let j be 360/25 - (-4 - (-92)/20). Is j >= 13?
True
Suppose -3*j + 7 = -2*j. Let b(n) = n**2 - 22*n - 44. Let d(u) = -19*u + 5. Let g be d(-1). Let i be b(g). Which is smaller: j or i?
i
Let j = -1.03 + 12.03. Which is greater: j or -1/4?
j
Let z = -141 - -99. Is z at most -41?
True
Suppose -900 = 7*r - 123. Is r > -112?
True
Let v = 46.62 - 47. Let m = 0.28 + v. Which is smaller: m or 1/4?
m
Let u(x) = 2*x + 31. Let i be u(-14). Suppose -o - 12 = 2*k + 2, 3*k - i*o = -21. Do k and -5 have different values?
True
Let r = -323 - -7433/23. Which is greater: r or 1?
1
Let o = -83701/6522 - -1/3261. Let j = 551/42 + o. Let s = -4 + 3. Are j and s equal?
False
Let w = 1 + -1. Let l = -1 + w. Let f = -10478/11 + 953. Is l < f?
True
Let f = -419.44 - -23.44. Which is greater: 0 or f?
0
Let c = 47554/7 - 6793. Let q(p) = p**2 + p - 1. Let g be q(-2). Which is smaller: g or c?
c
Let a(p) = -42*p**2 - p - 4. Let y be a(3). Let x = y + 1932/5. Suppose -3*n - 14 = -4*i, 12 = 6*i - 3*i - 3*n. Is x at least i?
False
Let z = 0.1366 - -2.6334. Is 0.1 less than or equal to z?
True
Suppose 0*x - 3*x = 0. Let r(f) = 4*f - 8. Let g be r(x). Is -9 at most g?
True
Suppose 7*b - 4*x = 9*b + 34, -3*b - 5*x = 46. Which is bigger: b or -13?
b
Let p = -0.069 + -0.031. Let l(b) be the third derivative of -b**6/120 - b**5/15 - 5*b**4/24 + 2*b**3/3 - 2*b**2. Let k be l(-4). Is k < p?
False
Suppose 0 = -4*g + 2*i - 8, 6 = 2*i + 14. Are g and 6.3 non-equal?
True
Let c = 17 - 13. Suppose -o = o - c. Suppose -2*m + 12 = -o*u, 3*u - u = -3*m + 3. Is -9/5 at least u?
True
Let x be (34 - 31)*(-8)/(-9). Let a be (3 - 0)/(15/10). Which is smaller: x or a?
a
Let g = 61.001 - 61. Let z = g + 0.379. Is 0 greater than z?
False
Let y = -187 + 105. Let t = y + 82.2. Which is greater: 2.9 or t?
2.9
Suppose 3 = -4*b + 3*c - 4, 0 = 5*b - 3*c + 11. Let f be (-124)/(-7) + b/(-14). Suppose 35*j = 146 + 519. Is f at most as big as j?
True
Let r be 6/2 + 0 + 285/18. Is r at least 20?
False
Let b = 141367/7 - 20231. Is -36 at most b?
True
Suppose -5*y = g - 6*g + 35, -g - 4*y = -32. Suppose -28 = 2*v + g. Let i = v + 21. Which is bigger: i or 1/25?
i
Let b = 1347/4 - 337. Is -12/35 < b?
True
Suppose -158 = -5*f - 48. Let i be 60/14 - f/77. Let u = -8 - -14. Which is smaller: u or i?
i
Let x = -4/15 + 1/60. Suppose -7 = -2*h + 5*q, 0 = 5*h + 4*q - 1. Suppose 3*a = -h + 4. Are a and x equal?
False
Suppose j + 5*f = 0, -5*f + 3 = -j - 7. Is -5 != j?
False
Suppose 0 = -3*z - 8 - 19. Let b = z - -12. Let j be (2/5)/(b/(-5)). Is -1 greater than or equal to j?
False
Let v be 9/((-10)/((-60)/(-18))). Is 84 at most v?
False
Let b = 122 + -109. Let w = b + -15. Let f be 1 - (0 - (-34)/38). Which is bigger: f or w?
f
Suppose 3*t = -2*d + 15, -24 = -4*t - 4. Let z = 353/460 - 2/115. Is z <= d?
False
Suppose 0*q - 126 = -3*q. Let s be q/9*2/8. Which is bigger: 0 or s?
s
Suppose 2 = 4*d - 2. Suppose s = -2*s - 15, -3*o = 4*s - 199. Let h = 221/3 - o. Which is smaller: h or d?
h
Let v = -10 - -44. Let n = v - -3. Which is smaller: n or -2/3?
-2/3
Let o(c) = -c**3 + 4*c**2 + 4*c + 4. Let x = 20 + -15. Let a be o(x). Let m = 16.1 + -17. Is a smaller than m?
True
Suppose 2 = 5*z - 23. Suppose -5*h + z*i - 150 = 0, -2*i + 3*i = -5*h - 150. Let u = 59/2 + h. Which is greater: u or -8?
u
Suppose -18*y = -13*y - 205. Is y less than or equal to 40?
False
Let g be 66/110 - 1/(170/92). Let n be ((-16)/(-10))/((-2)/20). Let o be (n/6 + 3)*0. Which is smaller: g or o?
o
Let n be (-8)/6 + (-228)/(-9) + -23. Suppose -3*l - 4*u = 46, u = 5*l + 94 - 2. Let i be (-3)/(-4)*4/l. Is i bigger than n?
False
Suppose -v + 5*x + 3 = 0, 3*v + 1 = -5*x + 10. Let p be 21/14*4/3. Let n be (-1)/p - 33/(-6). Are v and n equal?
False
Let w = -1 - 2. Let z be (-54)/(-10) - (-14)/(-35). Suppose -3*p + z = -1, p - 22 = 4*i. Is w at least i?
True
Let v = 52 + -52. Suppose -7*k = -2*k + 3480. Let a be (-222)/k - (-2)/(-8). Which is bigger: a or v?
a
Let m = 911 - 911. Does 5/101 = m?
False
Suppose 6*b = 6*b + 5*b. Suppose -43*c + 37*c - 6 = b. Is c less than 3/67?
True
Suppose 0*c - c = -2. Suppose 0 = -5*z + 4*n + 25, -2*z - 8 = -5*n - 1. Suppose -4*p + 13*p = z. Do p and c have different values?
True
Let t = 99/388 + -1/194. Which is bigger: t or -8?
t
Let t = 291 - 290. Which is greater: t or 2/99?
t
Suppose -4*u = -20, 2*t = 3*u - 2*u - 5. Let f = -112/15 + 15/2. Which is smaller: t or f?
t
Let a = 30 - 21. Let k be a/35 + (-12)/30. Let m = k + -5/14. Which is bigger: 1 or m?
1
Let z = 5 + -5.1. Let u = -2 + 2.16. Let v = z + u. Do -0.2 and v have different values?
True
Let l(n) = -n**3 - 18*n**2 - 16*n + 23. Let p be l(-17). Suppose -2*r + j = -p + 78, 4*r + 4*j = -120. Let c = r - -39. Is c != 7?
True
Let j = -0.92 - 0.08. Let l = j - 29. Let r = -29.8 - l. Which is greater: 5 or r?
5
Let x be (-2)/3*(-15)/2. Suppose x*c + 12 - 82 = 0. Suppose -3*r = -2*l + 2, -3*l + c = -0*r + r. Which is smaller: r or 5/3?
5/3
Let i = 659/10 + -332/5. Which is bigger: -23 or i?
i
Let b(y) = 6*y - 7. Let q = 11 - 9. Let r be b(q). Suppose 0*c = 3*c - g - 20, 0 = -g - 2. Is r greater than or equal to c?
False
Suppose -15 = -3*m + 21. Let d be (-1)/(-2) + 7/(-2). Let x be 0 - (d - 5) - -3. Which is bigger: x or m?
m
Let p(c) = 80 + 3*c - 57 - 37 + c. Let d be p(5). Is 4 > d?
False
Let a = -4 + 6. Suppose -4*u + 3*u + a = 0. Let c be -2 - u/2*-2. Is c < -3/7?
False
Let p be ((-2)/3)/(-3 - -1). Let w = -1/3 + 1. Is p equal to w?
False
Let z = -60/7 - -1196/133. Let t be (-1 - -5)/((-156)/(-117)) + -2. Which is bigger: z or t?
t
Let r = 8 - 7. Let l be 722/6*30/(-16). Let h = l - -226. Is h not equal to r?
True
Let c(q) = q**2 - 8*q + 9. Let h be c(6). Let n = 339 + -342. Is n <= h?
True
Let k(b) = -b**2 + 17*b + 308. Let t be k(28). Is t at most as big as -8/11?
False
Let v = 14/23 + -52/161. Does -5 = v?
False
Let n be 2392/(-39) + 8/(-12). Is 0 greater than n?
True
Let y(i) = 6*i + 38. Let g be y(-6). Let h be (4/g - 63)*(-4)/2. Is 121 greater than h?
False
Suppose 5*a + 5*n - 7625 = 0, n + 6110 = -5*a + 9*a. Let d = -35127/23 + a. Which is smaller: 1 or d?
d
Let b be -2 + 1 + -3 + 29. Suppose 2*n - 3*n - b = -2*l, 0 = n + 4*l + 25. Let z(j) = 5*j + 4. Let x be z(-6). Are n and x equal?
False
Suppose 0*s = 3*s - 3, -5*s = -4*n - 13. Let l = n - 3. Let h be (-4)/(l + 7 + -4). Which is greater: h or 0?
h
Let a = -173/3 + 89447/1551. Which is greater: -1 or a?
a
Let q = 175 + -108. Is q at least 68?
False
Let d = -205 + 376. Are d and -3/7 nonequal?
True
Let q(y) = -y**3 - 2*y**2 - 1. Let f be q(-2). Which is smaller: f or -6/55?
f
Let x = -0.021 - 0.109. Let p = -0.17 + x. Is p at most as big as 0.02?
True
Let d = 425 + -2316. Does d = -1891?
True
Let f(m) = -3*m - 4 + 2 - m. Let l(a) = -a**2 - 1. Let x be l(0). Let i be f(x). Which is smaller: 1 or i?
1
Let n = 313/720 - 5/144. Let u(l) = l + 9. Let j be u(-9). Are j and n equal?
False
Let t(r) = r**3 - 6*r**2 + 3*r - 54. Let w be t(7). Suppose 0 = -j + 14 + 3. Is w >= j?
False
Let b(v) = 10*v**2 - 3*v + 2. Let h be b(2). Suppose -2*f + h = -0. Let t = f - 8. Which is smaller: 12 or t?
t
Let h(f) = f - 1. Let y(n) = -2*n - 26. Let d(i) = 3*h(i) + y(i). Let b be d(18). Which is smaller: -10 or b?
b
Let b(q) = -4*q**2 + q. Let z be b(2). Let r be z + -1 + 1 + -2. Do r and 2 have different values?
True
Let i = -93 + 401. Is i at most as big as 308?
True
Let i = 12110650058/12552635 + 3/660665. Let b = -965 + i. Is 1 equal to b?
False
Let g(u) = -4*u - 6. Let w be g(-2). Suppose -3*z + r + 3 = 0, 3*z + r = -2*r + 15. Suppose -i - w = z. Which is smaller: i 