-w - w + 3*w. Let a be i(-2). Let k be a/3 - (-3)/(-9). Is k not equal to -2?
True
Let q = -192/7 - -69/14. Suppose -2*y = 14 + 34. Let b = y - q. Which is smaller: b or -3?
-3
Suppose 110 = -5*n + u, 5*u = 5*n - 7*n - 44. Which is greater: -23 or n?
n
Let g(a) = 8 - 6*a + 4*a**2 + 0*a**2 + a**3 + 2*a**2. Let u be g(-7). Let s be u*-1 + (3 - 2). Is s bigger than 1?
False
Suppose 125 = 5*q + 20. Are -0.1 and q non-equal?
True
Suppose -z - 26 = -2*z + 5*g, 4*z = -5*g + 4. Let b be 2/3 - (-11)/z. Suppose 0 = 3*q + 2*i - 8, -4*q - 11 = 3*i - 21. Is q greater than or equal to b?
True
Let z = 3 + -10. Let c = -115 - -106. Is z at least as big as c?
True
Let c = 0.38 + -0.48. Is -1/55 bigger than c?
True
Let w be 7*(-3 - (-153)/21). Let k be 3*5/(w/8). Suppose k = -4*y - 4. Which is smaller: -1 or y?
y
Let j = 1.9 + -2. Suppose 0*m = -2*m. Is j bigger than m?
False
Let p = -13 + 2. Is p at most as big as -2?
True
Let b(g) = -g**2 + 4. Let o be b(0). Is o at least as big as -1?
True
Let v = -344 + 9631/28. Which is greater: v or 0?
0
Let m be 0/((-6)/(-3)) + -1. Suppose 12 = 3*d + 4*i, 2*d - 3*i - 4 = 4. Let a = -6 + d. Is a at most m?
True
Suppose 4*d - 3 = 5. Suppose -3*i + 4*i - 2*w = 4, -4*w = 2*i. Is i smaller than d?
False
Let i = -4.1 - -4. Let r = 4.78 + 0.22. Which is bigger: i or r?
r
Suppose -4*y - 55 = -11. Let a = y - -13. Suppose q + 0 - 1 = 0. Which is smaller: a or q?
q
Let j = 22 + -28. Is j at most -5?
True
Let g be 38 + 4/((-16)/(-3)). Let q = -39 + g. Are q and -1 unequal?
True
Let h be 6/45 + 51/(-45). Which is smaller: h or -2?
-2
Let h(y) = -3*y**3 - 6 - 4*y + 3*y + 4*y**3 + 6*y**2. Let p be h(-6). Let u = 1/12 + p. Which is smaller: -1 or u?
-1
Let r(p) be the second derivative of p**3/3 - p**2/2 + 2*p. Let m be r(-3). Which is smaller: m or -8?
-8
Let w be (-10)/22*(-39)/65. Which is smaller: w or 0?
0
Let o = -1 - -1. Suppose -2*v + o = -3*z + 6, 2*z = v + 5. Suppose -v*r - 3*u + 12 = 0, -5*u = -3*r + 1 - 5. Is r less than or equal to 1?
False
Suppose -632 = -3*c - 290. Which is greater: c or 115?
115
Let v(d) = d**2 - 21*d - 23. Let t be v(22). Which is smaller: t or -12?
-12
Let s = -2 - -2.08. Let t = s + -3.08. Let m = -3 - t. Which is smaller: m or 0.1?
m
Let o = 8 - 6. Suppose -1 = o*k + 11. Let f = -3 - k. Are f and 1 unequal?
True
Let w = -1 + 5. Which is smaller: 1/6 or w?
1/6
Let v = 2 - -2. Suppose -11*w + v = -7*w. Let h = 3 + -1. Do w and h have the same value?
False
Let k = 2 - 1. Let n = 4 - 2. Is n != k?
True
Let k be 0 + -1 + 1 + 1. Let n(z) = -z - 3. Let a be n(-10). Let l = a + -6. Is l smaller than k?
False
Let l be (-6)/4*(4 + -6). Suppose 0*h - 7 = -3*h - m, 0 = l*h - 4*m - 32. Which is greater: 6 or h?
6
Suppose 0 = -4*x + 2*z - 34, -4*z + 31 = -2*x + 11. Suppose 6*g = 7*g + 7. Which is greater: g or x?
g
Let z = -15 - -29/2. Let g(o) = -3*o - 2. Let w(t) = -16*t - 9. Let f(l) = -11*g(l) + 2*w(l). Let x be f(-5). Which is bigger: z or x?
z
Suppose -2*y + 13 = -3*y. Is -13 greater than y?
False
Let z = -1.66 + -0.14. Is z at most as big as 1?
True
Let j = -5 - -9. Suppose -2*x + 0 = j. Let d be ((-8)/(-12))/(1/(-3)). Does x = d?
True
Let l be (-110)/(-4)*(-24)/(-30). Which is smaller: 20 or l?
20
Let y = 9 + -7. Let u be y/42*(3 - 0). Is 0 < u?
True
Suppose z + 4*z - 120 = 2*b, 4*b = -3*z - 188. Let g be (52/(-10))/(2/b). Let l be (-46)/g - (-6)/30. Which is smaller: l or -1?
-1
Suppose 0 = 86*r - 90*r. Which is smaller: -2/113 or r?
-2/113
Let q(d) = -d**2 + 2*d - 1. Suppose 2*o - 5*k + 10 + 5 = 0, 40 = 3*o + 5*k. Suppose -o*i + 13 = -f, 4*f + 13 = -4*i + 33. Let t be q(f). Is t not equal to 1/3?
True
Suppose 2*m = 6*m. Suppose 5*k = -2*u + u - 61, 2*k = 2*u + 134. Let q = u + 200/3. Which is smaller: q or m?
m
Let y = 24166237/18 + -1343558. Let s = 990 + y. Let r = s - -43/90. Is r bigger than 0?
True
Let s(l) = l**3 - 10*l**2 + 10*l - 10. Let d(i) = -i**2 + 10*i - 7. Let g be d(8). Let v be s(g). Let z = -265 + 1858/7. Is z bigger than v?
True
Let r be 68/144 + 2/(-8). Let h = 3 + -3. Which is greater: h or r?
r
Let z(l) be the third derivative of -l**4/24 + l**3/2 + 2*l**2. Let g be z(3). Is g at least 6/7?
False
Let z = -2/5 - 44/15. Let y = -43/12 - z. Let c = 1.6 - 1.5. Is c <= y?
False
Let s = 19 - 19. Let x = 4 + -6. Let b = 2.1 + x. Is s <= b?
True
Suppose -5*v = 3*y + 16, -4*v + 5*y - 40 = v. Let f = v + 6. Which is smaller: f or 4/7?
4/7
Let x be (-3)/9*(-4)/(-5). Are x and -1 equal?
False
Let a(i) be the second derivative of -5*i**4/12 - i**3/3 - i**2/2 + 3*i. Let f be a(-1). Which is bigger: f or -5?
f
Let j(f) = f + 1. Let d be j(2). Suppose 0 = u - w + d, -2*u - 10 - 6 = -4*w. Suppose 0*r = 2*r + 2. Is r at least u?
False
Let m = 19 - 11. Which is smaller: m or 9?
m
Let y = 52 - 49. Is y at most as big as -3?
False
Let j = 0.09 - 0.2. Let t = j - 1.89. Suppose -2*m - m = 0. Is t greater than m?
False
Let c(s) = -s**2 - 7*s - 9. Let d be c(-6). Let p = 4 + -7. Let j be 1/4 + p/(-20). Is j less than or equal to d?
False
Let p = -39/151 + 3659/4228. Let k = -9/14 - p. Which is bigger: k or 0?
0
Let n = -7 + 55. Which is smaller: -2/5 or n?
-2/5
Let u = 45.1 - 45. Which is greater: u or 0.32?
0.32
Let o be 24/(-60)*20/96. Let h = 1 - 2. Is h < o?
True
Let p = 19 - 13. Let f(q) = -q**2 + 4*q + 3. Let b be f(p). Let j be 6/(-2)*6/b. Are j and -2 unequal?
True
Let f be ((-9)/(-18))/((-2)/16). Let s = f - -5. Which is bigger: 2/9 or s?
s
Suppose -4*p + 4*x = 4, 3*x = -5*p + 2 - 15. Is p less than -2?
False
Let n(g) = g**3 + 2*g**2. Let q be n(-2). Is q greater than -2/5?
True
Let l = 5 + -1. Suppose -l + 5 = -c. Is c != -6/11?
True
Suppose 16*v - 42*v + 26 = 0. Is 1/93 greater than or equal to v?
False
Let u = -23/8 - -269/88. Which is smaller: u or -1?
-1
Let q(k) = 3*k - 5. Let z be q(1). Which is smaller: z or -11/6?
z
Let l = -2/563 + -2783/9008. Which is greater: -1 or l?
l
Let v = -2 - -2. Suppose -5*t - 4*w + 18 = 0, t + 4*w - 8 - 2 = 0. Suppose t*x = -2*x + 4. Do v and x have the same value?
False
Let y be 4 + -9 + 2 + -1. Is -6 at least as big as y?
False
Let j be 10 + -28 - (4 - -1). Is j >= -23?
True
Let d be 21/12 - (-1)/4. Suppose d*n = -7 - 11. Let k be 8/(-10) - 6/n. Is 1 less than or equal to k?
False
Let l be ((-12)/10)/(1/(-445)). Suppose -2*m - 684 = 5*n - 5*m, -4*n - 2*m - l = 0. Let p be (-2)/(-10) + (-3)/n. Are 1 and p non-equal?
True
Let i = -6 + 10. Is 0 greater than or equal to i?
False
Let c be 1/9 - 3/9. Let f(s) = 7 - 2*s**2 + 2*s**2 + 9*s + s**2. Let y be f(-8). Which is greater: y or c?
c
Let v(y) = -y + 270. Let j be v(0). Suppose 4*z = 6*z + j. Let s = 943/7 + z. Are s and 0 unequal?
True
Let p = 2 + 4. Let k be 8/30*p/(-2). Which is greater: k or -1?
k
Let y = 2.1 - 2. Let q = -79 - -555/7. Is y bigger than q?
False
Let k be 3 - 1 - 1/((-35)/(-71)). Which is smaller: k or -1/2?
-1/2
Let l = 0.041 - 1.041. Suppose 0 = 2*i + 2, -3*z + 0*z = i + 1. Let r = z - -1. Is r bigger than l?
True
Let z = -25 - -24. Is z at most as big as -2/13?
True
Let p = -0.64 + 0.8. Let x = 0.06 - p. Which is smaller: 2 or x?
x
Let z = 8 + -10. Let q = 10 - -4. Suppose 5*n + q = i, 2*i + 3*i + 4*n + 17 = 0. Is i greater than z?
True
Let h be 42/(-18) + 2/6. Let d be (12/2)/(-3) + 2. Which is greater: h or d?
d
Let l be 206/(-428) - (-11)/22. Is 1 less than l?
False
Let j = 0.1 + -0.2. Let k = 414 - 414. Is k < j?
False
Suppose 3*l = -q - 5, -1 + 2 = -l. Let u be ((-4)/(-6))/(4/(-6)). Which is smaller: u or q?
q
Let i be 2/(-4) + (-54)/12. Let s = 2 - i. Which is smaller: 6 or s?
6
Suppose 0 = 3*v - 6*v + 12. Suppose -2 = -3*u + v. Suppose 0 = u*a - 10, -a = -5*p + 4*p - 6. Is -1/2 greater than p?
True
Let b = -6 + 2. Let i(j) = j. Let u be i(b). Let y(r) = -r**3 - 4*r**2 + 8*r + 11. Let o be y(-5). Is u greater than o?
False
Suppose 3*a - 30 = -2*a. Let c be (18/2 - 0) + -2. Is c > a?
True
Suppose -12 = 4*q - 0. Let a = q - -5. Suppose 3 + 7 = 5*u. Do a and u have the same value?
True
Let j(k) = -k**3 - 6*k**2 - 2*k - 7. Let t be 112/(-18) + (-8)/(-36). Let u be j(t). Which is smaller: u or 6?
u
Let p be 4/(-42) - 22/(-33). Which is smaller: p or 0.2?
0.2
Let m be (-4)/(-5) - 0 - 1. Suppose 10 = a - 3*a. Let i(w) = -w**3 - 5*w**2 + w + 6. Let x be i(a). Are x and m nonequal?
True
L