 be 3*(-3)/(-9)*-1. Let a(o) = 2*o**2 - o - 1. Let b be a(p). Is 1 >= b?
False
Let q(o) = -o**3 - 2*o + 1. Let i be q(-2). Let d = 9 - i. Is d at most 1?
True
Let p(m) = m**2 + 4*m + 8. Let t be p(-5). Which is greater: t or 12?
t
Let q be 9/27*(-1)/(-3). Are q and 0 equal?
False
Let z = 56 + -19. Let j = 35.97 - z. Let w = j - -0.03. Is w greater than or equal to 0.3?
False
Let h(g) = g**2 + g - 2. Let m be h(2). Let x = m - 7. Which is greater: -2 or x?
-2
Let y = -36.1 - -36. Is y > -2?
True
Let u = -5 - -10. Is u at most 7/2?
False
Suppose -2*u - 1 = 3*s - 0, 5*s = 4*u - 9. Let d be 6 + s/(-2)*-2. Suppose -12 = -d*v - 2. Which is smaller: 4/5 or v?
4/5
Let j = -1.7 - 1.3. Do 1 and j have different values?
True
Let j = -13 - -14. Which is smaller: -2/15 or j?
-2/15
Suppose -y - 8 + 10 = 0. Suppose -5*m + 3*a = 3, y*a + 1 = 3. Is -2/27 less than m?
True
Suppose 0 = 2*o + 2*o - 20. Suppose -g + 3*j = -6, 2 = o*g - 5*j + 4*j. Suppose 4*p - 2 = 6. Which is greater: p or g?
p
Let i be (18/12)/((-2)/(-4)). Suppose -i + 9 = -x. Do -7 and x have the same value?
False
Let i = -2 - -3. Let d(n) be the second derivative of -n**3/3 + 3*n**2/2 + n. Let z be d(2). Which is greater: z or i?
i
Let i = 0.1 + -0.3. Let s = 0.4 + i. Let r = 0.82 - 0.92. Do r and s have the same value?
False
Let o be 5/((-1740)/(-356)) + -1. Suppose -4*c + 4 = -4*j, -4*j - 3*c = -c - 8. Which is smaller: j or o?
o
Let r = 65/3 - 21. Are 90 and r nonequal?
True
Let c(p) = p**3 + 16*p**2 + 29*p - 3. Let k be c(-14). Are k and -17 nonequal?
False
Suppose u + 0 = 4*r + 14, 3*r = -4*u - 1. Let c be r/12 - (-3)/(-4). Let k be (c/(-2))/(2/(-20)). Is -4 at least as big as k?
True
Let o be 65/(-13) + (-474)/(-94). Which is greater: o or 0?
o
Let r be 4/4068*2067/(-11). Let d = 1/339 + r. Suppose 5*h = -0 + 5. Which is smaller: h or d?
d
Let x = -1907/5 - -13119/35. Which is greater: -6 or x?
-6
Suppose -2*g - i - 50 = 4*i, 2*i = -3*g - 53. Let k be (-3)/15 - 78/g. Suppose -4 = 5*b - 29. Is k <= b?
True
Let a be (-1)/((-1 - 0)/(-28)). Let u be (-6)/a*88/(-6). Let g = 117/35 + u. Which is bigger: -1 or g?
g
Suppose -31 = 5*o + 4. Let l(j) = -j - 6. Let h be l(o). Let x = 2370/7 + -338. Is x at most h?
True
Let a = 0.62 - 0.61. Which is greater: a or 1?
1
Let k = 98/3 - 33. Let s(b) = 4*b**3 - b**2 + 1. Let r be s(-1). Which is bigger: r or k?
k
Let h = -0.4 + 0.3. Let w = 0.1 + h. Let d = 5 + -4.7. Is d at most w?
False
Let r be 14/(-20) - (-2)/4. Let s be (-38)/(-4) - (-6)/(-4). Let f = s + -7. Are f and r unequal?
True
Let v be (9/6)/((-9)/30). Which is greater: v or -4?
-4
Suppose 2*p + 32 = -0*g + 4*g, 2*g + 5*p - 4 = 0. Suppose 4*w - 1 - g = 0. Let j = w + -2. Which is greater: j or 3?
3
Suppose -5*v + 14 = -6. Suppose -1 = 4*b - 9. Are v and b equal?
False
Suppose 16 = m + 3*m. Let k be m/10 - 2/5. Let a = -5 - -5. Is k at most a?
True
Let k be 4/(-18) + (-6695)/(-117). Is -0.1 less than k?
True
Let y be 6 + (0 - -2) - (2 - -2). Suppose -2*u - o + 11 = 3*u, 2*u - 3*o - 18 = 0. Let d be ((0 - u)/6)/y. Which is greater: -1 or d?
d
Let r be (-3)/(1/(-2) + -1). Suppose 4 = -c + 2*b + b, -3*c - 5*b - 12 = 0. Let l = 6 + c. Is r smaller than l?
False
Let o(p) = -p**2 + 22*p + 5. Let m be o(23). Is 0.1 at most m?
False
Suppose 3*n - 5*n = 0. Which is greater: n or 5/13?
5/13
Let p be 2/(-8) - (-23)/(-4). Let t = -3 - p. Let y(b) = b**3 + 7*b**2 + 7*b + 7. Let g be y(-6). Which is smaller: t or g?
g
Let q = 6.88 - 0.88. Let k be (8/6)/(2/(-1)). Do k and q have the same value?
False
Suppose 4*y = 1 + 11. Let r(g) = -3*g - 3 - 2*g + 7*g. Let s be r(y). Is s greater than 2?
True
Let r = -320 - -226. Let s = r + 286/3. Let f(b) = b**2 + 4*b + 3. Let j be f(-3). Is s at least j?
True
Suppose 6 = a + a. Suppose 5*t - 5*v - 25 = 0, -v + a*v + 5 = t. Suppose 1 + 4 = t*z. Is 2 equal to z?
False
Let k(v) = -v**3 + 16*v**2 + 18*v - 8. Let r be k(17). Suppose -5*f + 53 = 13. Which is smaller: r or f?
f
Let p = 8 - 3. Suppose -n + 5 = 15. Let t = p + n. Which is smaller: -4 or t?
t
Suppose 0 = -2*i + 6*i. Suppose -y - 3*v + 2 = i, 3*y - 4*y = -5*v + 22. Which is smaller: -8 or y?
-8
Let v = 57 + -56. Is -1/74 at least v?
False
Let u = 26 + -28. Is u at most as big as -3?
False
Let n be ((-8)/(-3))/4*-1. Let b = 10.8 - 9. Let u = b - -0.2. Which is bigger: n or u?
u
Let t = -871/9 - -97. Let x(g) = g**2 + 6*g + 6. Let a be x(-5). Which is greater: t or a?
a
Let i = 0.8 + 0.2. Let l = 1.9 + -1.2. Is l != i?
True
Let m = 1.88 - -0.42. Let d = m + -2. Let v = d - 0.4. Is -0.1 at most as big as v?
True
Let n(v) = v**2 - 8*v + 9. Let x be n(7). Which is smaller: x or 3/5?
3/5
Let y = -4 - -15. Is 11 at least as big as y?
True
Let z(x) = 6*x - 75. Let r be z(11). Is -9 < r?
False
Let v be (-2)/(-1) + (-6 - -1). Let c = 1 - v. Suppose 5*a - 16 = a. Is a at most c?
True
Let k be 22/5 - 6/15. Let s be 1/4 + 7/k. Suppose -2 = s*c + 2. Which is greater: -2/3 or c?
-2/3
Let v be (5/(-10)*2)/(-1). Let f = 1 + -1.1. Is f < v?
True
Suppose 5*j = 26 - 6. Let p be ((-8)/6)/(2/12). Let k be (p/(-6))/((-4)/(-2)). Which is smaller: j or k?
k
Let o = 1 + 2. Suppose 3*c + o = -21. Which is smaller: c or -7?
c
Let b = -7 + 7.1. Which is smaller: b or 0.9?
b
Suppose -4*q - q = 4*u + 4, 36 = 5*u - 4*q. Suppose 2*a = -2*a - u. Which is greater: a or -2?
a
Let y = -3 + 1.1. Which is greater: y or 0?
0
Let r(b) = -b**3 - b - 1. Let l be r(-1). Is 2/13 not equal to l?
True
Let h = 0.89 - -0.21. Is -1 at least h?
False
Let a = -5 - -4. Is -2/13 >= a?
True
Let x = -172 + 172. Let j = -1491/52 + 246/13. Let i = -11 - j. Is i bigger than x?
False
Let s = -81475 + 40883. Let p = -3815691/94 - s. Let x = p - 2/47. Do x and 1 have the same value?
False
Let z = -154 + 151.99. Let o = z + 0.01. Let f(t) = t**2 - 4*t + 1. Let n be f(4). Which is greater: n or o?
n
Let r = -4.8 - -6. Let c = r + 0.8. Let d = 3 - 4. Is d bigger than c?
False
Let x = -2.1 - 0.9. Which is bigger: x or -6?
x
Let v = 25.053 - 0.053. Let y = v + -24. Which is greater: -2/27 or y?
y
Let d = 9 - 9. Is 0 bigger than d?
False
Suppose -u = -7 + 8. Let y be (2/(-9))/(1/3). Which is smaller: y or u?
u
Let l be (-6)/4 + 4/(-8). Let z be 0/(-1) - l/6. Is z at least 12?
False
Let t be 1/(-2)*2/(-4). Let f be (-18)/(-168) + 2/(-8*1). Is f > t?
False
Let u = -48 - -622/13. Let o be (-24)/40 + (-4)/10. Which is bigger: o or u?
u
Let k = 1 + -2. Suppose 5*z + 3 = 4*z. Which is bigger: z or k?
k
Let n = 22 + -67/3. Is n less than -0.9?
False
Let t be (1/3)/(5/(-15)). Let r(w) = -w - 1. Let u(x) = -5*x - 5. Let f(i) = 11*r(i) - 2*u(i). Let j be f(0). Is j smaller than t?
False
Let q = 11.1 + -3.1. Is -1/5 equal to q?
False
Let j(a) = a**2 + 4*a + 2. Let n be j(-3). Let c(k) = -3*k**2 + 1. Let d(y) = -y**3 + 7*y**2 - 5*y - 5. Let o be d(6). Let l be c(o). Which is smaller: n or l?
l
Let q = 0 + 1. Which is smaller: q or 8/7?
q
Let b be (-60)/(-14) - (6 - (1 + 1)). Which is bigger: -125 or b?
b
Suppose 12 = -4*a - 0*a, -3*s + 2*a = -21. Suppose s*w - 4 = w. Suppose v - w = -2*x + 1, 3*v - 3*x = -12. Is -1/2 greater than v?
True
Let a be ((-24)/(-32))/((-2)/(-56)). Let i be -2 - (-7)/(a/6). Is -1 less than i?
True
Let k = -35 - -37. Which is smaller: k or 0?
0
Let t = 1 + -12. Let z = 16 + t. Is 8 not equal to z?
True
Suppose 5*p = -2*i + 10, 0 = -0*i + i - 2*p + 4. Let d = -1356/7 - -194. Which is bigger: i or d?
d
Let j = 0.5 - 0.8. Let t = 1.1 - 6.1. Let l = -7 - t. Which is bigger: j or l?
j
Suppose 5*r = -0*t + 3*t + 1, 0 = -5*t - 5*r + 25. Let m = 2 - t. Which is greater: 0 or m?
0
Let l be -2 + 3 - 1 - 0. Which is greater: l or 2/15?
2/15
Suppose -2*l = -4*y + 6, 3*l - 26 = -4*y + l. Which is bigger: y or -0.4?
y
Suppose 18 = -2*y + y - 5*r, 0 = -y - 4*r - 14. Suppose -4*s + x = -13, 2 = -2*s - y*x - 4. Suppose -s = -u + 3*u. Is -1/2 >= u?
True
Let a = 27 - 26. Let t(v) = -3*v - 3. Let m be t(-2). Let n = m - -1. Which is bigger: a or n?
n
Let x(p) be the first derivative of p**2/2 + 2*p - 5. Let y be x(0). Which is greater: 3/2 or y?
y
Let d = 7 + -2. Let k = -4.8 + d. Let j = k - 0.2. Is 2/5 at least j?
True
Let n(q) = 2*q**2 + 2*q + q**3 - 1 - 2 - 5*q - q**2. Let g be n(-2). Let j(c) = -c**3 - 6*c**2 + 8*c + 4. Let w be j(-7). Is g less than w?
False
Let q = 74 - 134. 