 = -4*w. Is g less than w?
False
Let k(v) = v**3 + 14*v**2 + 12*v - 12. Let b be k(-13). Which is smaller: b or -1?
-1
Let n = 40 - 44.2. Let s = 4 + n. Which is greater: s or -2/7?
s
Let t be (-63)/(-6) + 6/(-4). Which is bigger: 80/9 or t?
t
Let i be (1 + -1 + -1)/(-1). Let a be 2/4 + 18/4. Suppose 4*u + 1 = a. Is u greater than i?
False
Let z = 7 + -6. Let o be (-1*(-2 + 2))/z. Let r = o + -2. Is r at least -0.3?
False
Let v = -19/60 - -1/15. Suppose 0 = -4*n - 8, -n - 9 = f + 3*n. Is f at least v?
False
Suppose 3*r = -b + 7*r - 14, 4*r - 16 = 0. Let m(z) = 0*z + 3*z - 1 - 7*z. Let c be m(-1). Is c > b?
True
Let a = 1.88 + -2. Let h = a - 4.88. Is 1 > h?
True
Let z be 2 - (1 - (6 - 2)). Suppose z = n + 1. Which is greater: n or 5?
5
Let a be (-46)/42 + (-21)/(-49). Is a greater than or equal to 2/307?
False
Suppose 3*f - w = 60, 5*f + 0*f = 4*w + 107. Is 19 > f?
False
Let y be ((-36)/(-21))/(2/14). Let i = y + -16. Do -2 and i have different values?
True
Let c = -6.23 - -0.23. Is -2/3 smaller than c?
False
Suppose 0 = -0*u - 5*u. Suppose u = -6*t + t. Let f be 3*(1 - t)/(-1). Is f < -2?
True
Let y = -3 + 3. Let c = -1 - y. Let v be (c/3)/((-2)/6). Are v and 2 nonequal?
True
Let p be (0 + 6)/(9/12). Let b(a) = a**3 - 9*a**2 + 8*a + 6. Let s be b(p). Suppose 3*x = 5*h + 4*x - 8, 4*x + s = -h. Is 1 <= h?
True
Suppose -2*s - 2*c = -45 - 21, s - 29 = 3*c. Which is greater: 31 or s?
s
Suppose -5*r + 7 = -3. Suppose -42 = -4*v - 5*i - 13, -3*i + 14 = -v. Suppose 2*c - 3 - v = 0. Is r smaller than c?
False
Let t = 300659/560717 - -2/73137. Let u be 0 + 4/(276/(-9)). Let r = t - u. Is -0.1 != r?
True
Suppose -3*b - 3*w + 2 = 23, -4*w = -3*b. Suppose 3*j = 40 - 16. Let t = j - 8. Is t greater than b?
True
Let v = 22 - 52. Let i be v/8 - 2/8. Let n = i + 6. Which is smaller: n or 3?
n
Let j(h) = h**3 + 12*h**2 + 13*h. Let l be j(-7). Is 155 less than or equal to l?
False
Let w be 0 + -1 - -1 - -2. Let z(t) = -t**3 + 4*t**2 - 2*t + 9. Let y be z(4). Is y at most w?
True
Let g = -173 + 157. Which is smaller: g or -17?
-17
Let u(t) = -t**2 - 7*t - 3. Let j be u(-6). Is 1 bigger than j?
False
Suppose -4*n + 3*q - 6 = q, 5*q - 15 = 0. Which is greater: -1/3 or n?
n
Suppose 3*s - 2*t = 3*t - 4, 2*s = -3*t + 10. Let h be (-12)/21*(-7)/s. Is h bigger than 3/4?
True
Suppose 16 = 7*s - 3*s. Suppose 12 = s*k + 4. Is 1 >= k?
False
Suppose -443 = -5*k + 5*d - 123, 0 = -4*k - d + 231. Are 60 and k unequal?
True
Suppose 3 = -4*z - 9. Let r = -10 + 7. Is r greater than or equal to z?
True
Let t(q) = -3*q**2. Let f be t(2). Let o = 12 + f. Is 0 at most as big as o?
True
Suppose -y - 27 = -4*h, -24 = -3*h - 0*h - 3*y. Let p be 0 - h - (-2)/2. Is p less than 0?
True
Let d(v) be the second derivative of v**3/6 + v**2 - 5*v. Suppose 4*w - w = -9. Let i be d(w). Is i < 0?
True
Let l(q) = -q**2 - 9*q + 1. Let u(b) = -b**2 + 5*b + 5. Let w be u(7). Let n be l(w). Let j = -56/11 - -258/55. Are j and n equal?
False
Suppose -5*b - 58 - 17 = 0. Let z be (-2)/(-12)*b/(-5). Suppose -4*a = a. Which is smaller: a or z?
a
Let v(z) = -3*z**2 + 5*z + 11. Let t be v(-8). Let g = 2429/11 + t. Is g less than -1?
False
Let p be (-2)/(-14)*(1 + -3). Suppose b - 24 = -5. Let h = b + -19. Is h less than or equal to p?
False
Suppose 0 - 10 = -l. Which is smaller: 8 or l?
8
Let t be (-84)/8*12/9. Which is smaller: t or 0.1?
t
Let d be 3/(-3)*(-4 - -2). Which is smaller: d or 5/3?
5/3
Suppose -5*v - 6*s + 35 = -3*s, 4*s = 5*v. Suppose 1 = 4*n - 11. Is n bigger than v?
False
Let c be (0 - 0)/((-2)/2). Let u = -4 + 6. Let h = c - u. Are -1 and h nonequal?
True
Let k be (2 + 0)/(-7 - 2). Let v be 1/(-4) + 8/32. Is k less than or equal to v?
True
Let z be (-8)/6*(-81)/36 - 2. Which is bigger: z or -5/41?
z
Suppose 0 = -3*r + c + 7, -r + 5*c + 17 + 4 = 0. Which is bigger: -1 or r?
r
Let p = -4 - 4. Let l = p + 3. Which is greater: l or -3?
-3
Let a = 2327/15 - 155. Let i be 1*(-3)/(-1 + -2). Is i at least a?
True
Let d = -0.46 - -0.4. Is d smaller than 7?
True
Let s = 8 - 19. Let i = -6 + 0. Let n = s - i. Is 0.1 less than or equal to n?
False
Let g be 4 - (111/3 - 4). Let j be g/(-6) + (-3)/(-18). Is j smaller than 5?
False
Let g(n) = -7*n - 34. Let u be g(-5). Which is greater: u or 1/24?
u
Let d = 50 - 299/6. Is d >= -1?
True
Let m be 36/(-24) + (-2)/(-4). Is m less than or equal to -8/3?
False
Let n = -13.6592 + -0.2508. Let s = n - -14. Which is bigger: s or -1?
s
Let m = 6.1 + -0.1. Let s = m + -10. Let w = s - -3.9. Is w bigger than -0.2?
True
Let f = -33 - -32. Which is smaller: f or 4/9?
f
Let h = 37 - 36. Which is greater: 4/5 or h?
h
Suppose t = -2*z + 30, 9*z - 5*z - 3*t - 50 = 0. Let q be 0 + z/(-10) + 1. Suppose 0 + 4 = 4*u. Which is smaller: u or q?
q
Let n = 1.98 + 0.02. Let m be (-3)/(-3)*0 + 5. Let k = 5 - m. Is n greater than k?
True
Let r be (3364/286)/(-2) - -3. Let f = 30/11 + r. Are f and -1 equal?
False
Let c(h) = h - 4. Let p be c(3). Let f(t) = -12*t. Let l be f(4). Let v be (2/8)/((-78)/l). Which is bigger: v or p?
v
Suppose -f = 3*f + 4. Let w = -10 + 16. Suppose 2*x - 4*h = -6, 4*x - h = -x - w. Does f = x?
True
Let b = 96 - 57. Suppose -9 + b = 5*d. Suppose -4*u + 6 = 3*r - r, 0 = 3*r + 3*u - d. Which is smaller: r or -1/4?
-1/4
Let d be 50/4 + 2/(-4). Let a be 2*(-2)/d*3. Let u be 24/16 - 2/(-4). Are a and u non-equal?
True
Suppose 5*m - 12 = 2*m, -3*u - 4*m + 28 = 0. Suppose 2 = 2*i, u*i - 4 - 5 = 5*b. Which is smaller: b or -3?
-3
Suppose o = -2*o + 24. Suppose o = -4*h + 4. Let c be 14/(-10) - (-18)/45. Is h < c?
False
Let g be (1 - 2)*2/82. Is -1 greater than or equal to g?
False
Let p = -928/117 - -70/9. Let i = 1 + -1. Is p < i?
True
Let c = 0.3 - 0.1. Let o = c - 0.4. Let j = -1/2 - 0. Is j greater than o?
False
Suppose p - 5*p = -12. Let m(n) = -3*n**2 + 4*n. Let c be m(p). Is c smaller than -14?
True
Let i = 8 + -6. Let c = 94/3 + -367/12. Are i and c unequal?
True
Suppose -2 = -4*i + 18. Let n = -3 + i. Let p be n/4 + (-3)/(-6). Which is smaller: 0.2 or p?
0.2
Let v = -10 - -12. Suppose v*s = 3*s + 9. Which is smaller: -10 or s?
-10
Let x be (-2 - 0 - -2) + -1. Let t = x + 0. Suppose 2*g = 3*o + 3, -5*g = 5*o + 1 + 4. Is t != o?
False
Let t = 137 - 136. Are t and 26 unequal?
True
Let d = 2 + -3. Which is smaller: d or 1/3?
d
Let r = -95.92 - -96. Is -1 != r?
True
Let v = 24812791/129533166 - -8/146863. Let q be -1 - 1*(-190)/196. Let c = v - q. Which is smaller: 0 or c?
0
Let w be 274/4 + 2/(-4). Let q = -342/5 + w. Suppose -1 = 2*j + 3*u, 5*j + 5*u = -0*j. Which is smaller: q or j?
q
Suppose -4*r = -2*r - 6. Let l = r - 3. Let n be 2/5*(-3)/(-2). Which is bigger: l or n?
n
Let l = -83 - -57. Which is bigger: -1/2 or l?
-1/2
Let u be ((-8)/84)/((-2)/14). Suppose 4*j - 2*j - 25 = -5*y, -4*y = 3*j - 20. Is u at least j?
True
Let r be 102/45 + -2*1. Let h = r + -13/30. Which is smaller: 1 or h?
h
Let r be 31/3 + -3 + -3 - 3. Is r bigger than 0?
True
Suppose 0 = -5*l + 8*l + 6. Let y = -2 + l. Let j(n) = n**3 + 5*n**2 + 5*n + 5. Let x be j(y). Is 0 >= x?
False
Let u be (6/(-1))/2 + 1. Let w be 14/3 - u/6. Which is greater: w or 6?
6
Let b be (-146)/(-10) - (-2)/5. Let j be -5*1*(-3)/b. Let h be 3 + -6 + 2/1. Is j greater than h?
True
Let y be 2/(-4)*(-3 + 3). Let z = 83/2 + -909/22. Which is smaller: y or z?
y
Let n = -0.14 - -0.13. Does n = 0.1?
False
Let f(v) = v + 1. Let y be f(-2). Which is greater: 4/9 or y?
4/9
Let k be ((-44)/60)/11*6/(-1). Is k greater than -1/3?
True
Let a be (112/(-35))/8 + (-2)/(-5). Suppose 0 = -3*v - 0*v. Is a != v?
False
Let z = -2.06 - -0.06. Let r = 2.97 + 0.03. Let a = r + -2. Which is bigger: a or z?
a
Let o = 88 + -1759/20. Which is bigger: o or 0?
o
Let i = 1457/4 - 369. Which is bigger: -4 or i?
-4
Let j = -21.58 + -0.42. Which is smaller: 1 or j?
j
Let a = 46/3 - 221/15. Is a > 0?
True
Suppose -2*l + x + 2*x = 25, 5*l - x = -56. Let r(a) = -a - 15. Let w be r(l). Which is smaller: -6 or w?
-6
Let w(n) = n**3 - 11*n**2 - 4*n - 12. Let x be w(11). Let p be 6/(-24) - (-2)/x. Is p < -1?
False
Let p be ((-12)/20)/(2/(-110)). Let w be 6/p + (-93)/(-33). Is 3 equal to w?
True
Let r = -11 - -6. Let k = r - -9. Is 4 greater than k?
False
Let n = 59 + -117/2. Is 2/15 at most as big as n?
True
Let l = 9 - 7. Suppose 6*k - l*k - 4 =