 Is c bigger than 0?
True
Let h(n) = 2*n**3 - 3*n**2 + 3*n - 2. Let w be h(2). Let m be ((-4)/(-5))/(2/10). Suppose m*l = -4*g + w, -3*g + 4*l = -8*g + 6. Is g > 0?
False
Let l = 12 + -55. Is l < -42?
True
Let u = -13 + 17. Let f be u/(-8) + (-3)/10. Which is smaller: f or -2?
-2
Let v(b) = b**3 + 6*b**2 + b - 4. Let d be v(-6). Let f be 2/(-4) - 5/d. Suppose 5*g - 1 = 19. Which is smaller: f or g?
f
Let y be 2*(-1 - 12/(-16)). Which is greater: 0.1 or y?
0.1
Let w = 15 + -15. Do 1/4 and w have the same value?
False
Let g be ((-80)/480)/(0 - (-3)/4). Is g smaller than 13?
True
Let q be 530/(-220) - (-2)/(-4). Which is smaller: q or -3?
-3
Let b = -144 + 243. Is b > 98?
True
Let j(g) = 2*g**3 - g**2 + 7. Let u be j(3). Are u and 52 equal?
True
Let z = 434/1017 - -2/113. Which is smaller: z or -1?
-1
Let z = 632/7 - 90. Let p = -1 + 3. Let j = -3 + p. Is j less than z?
True
Suppose l = 3*d - 6, 0 = -5*d - 2*l - l + 10. Let c be d + (1 - (2 - 0)). Which is smaller: c or -3/8?
-3/8
Let n = 240 - 241. Let y = 3.2 + 0.8. Let t = 6 - y. Is t greater than n?
True
Let w(z) = 3*z**2 - 1. Let q be w(1). Let h = 320/583 - 2/583. Is h not equal to q?
True
Let q(h) = h**2 + 4*h + 3. Let g be q(-6). Let s be 3/30 - (-6)/g. Is s less than or equal to -2/7?
False
Suppose 16 = 2*w - 3*u, 0 = 2*w + 2*u - 0*u - 6. Suppose -13 = -k - 8. Let o = k - w. Is o greater than 2/11?
False
Let b = 27 + -19. Suppose -3*v + v - 6 = -4*c, 0 = 3*c + v + b. Which is bigger: 2 or c?
2
Let m = -4.9 - -8. Let q = -5 + 8. Let j = q - m. Which is bigger: j or 0.2?
0.2
Suppose 0 = 3*l + 8*i - 3*i - 39, -2*l = 2*i - 26. Which is smaller: l or 12?
12
Suppose -7*w + 3*w + 4 = 0. Which is bigger: w or 2/11?
w
Suppose 18 = -2*j - 6. Let z = -13 - j. Which is smaller: z or 0?
z
Let w = -96 - -95. Suppose 4*y + 2 = -5*v, -4*y - 10 = 3*v - 2*v. Which is greater: w or y?
w
Let v = 4/19 + -58/95. Let x = -40.02 + 40. Are x and v equal?
False
Let k(b) = -b - 4. Let s be k(-2). Suppose 2*z + 5*o + 10 = 0, 5*o = z - 15 + 5. Suppose -3*w + 1 = -a, a + z = w - 1. Which is smaller: a or s?
s
Let j = 4 + -6. Let c be ((-24)/(-140))/(-2 + 18/10). Which is greater: c or j?
c
Let o be (-2)/(1 - 6/4). Suppose 0 = -o*u - 5*v - 22 + 63, 2*u = v + 3. Suppose 6 = 3*n - 0, -2 = 2*r - 4*n. Is u at most as big as r?
False
Suppose -5*t + 24 = 4*p, -3*p = 7*t - 2*t - 23. Let g be 5/(-6) + 2/4. Is p at least as big as g?
True
Let t = 5 + -5.6. Let w = t + 0.58. Let h = w - -0.12. Which is smaller: h or 0.2?
h
Let n = -93/178 + 2/89. Is -2 bigger than n?
False
Suppose -5*z = 3*w + 47, -5*w - 8 = -3*w. Which is smaller: -6 or z?
z
Let z be 5 - (-2)/(3 - 1). Suppose -7*a + 5 = -6*a. Is a at least as big as z?
False
Let j = 24 - 17. Is j not equal to 9?
True
Let z be 4/(-10) + (-16)/10. Let g(a) = -a - 1. Let r be g(z). Is r smaller than 0?
False
Let b(v) = v**2 - 13*v + 5. Let o be b(5). Let g be (-52)/(-14) - 10/o. Which is smaller: 3 or g?
3
Suppose a + 1 = -0*a. Let o(x) = 2*x - 8. Let p be o(0). Let g be p/36 - (-52)/(-9). Are a and g nonequal?
True
Let h(b) = -2*b**3 - 4*b**2 - 2*b + 2. Let t be h(-2). Let n = 6 - t. Are -0.06 and n non-equal?
True
Suppose 127*u = 122*u + 5. Suppose -m - 3*g + 1 = -2, -m + 1 = 5*g. Which is smaller: m or u?
u
Suppose -2*o - 2 = -3*t, 2*t + 5 = 3*t - 5*o. Suppose t = -u + 3*u - 4. Let n(f) = -f**3 - 25*f**2 + 24*f - 49. Let r be n(-26). Which is smaller: r or u?
u
Let h(u) = u**2 + 11*u - 16. Let n be h(-12). Let v = n + -1. Is v not equal to -4?
True
Let p = 68.9 + -66. Let b = p + -3. Let v = b - -0.3. Is -1 at least v?
False
Let x(a) = a**2 + 10*a - 6. Let q(t) = t - 1. Let y(h) = 5*q(h) - x(h). Let z be -1 - 0 - (-4)/(-1). Let b be y(z). Is b < 2/3?
False
Let q be 3 - (0 - (-152)/36). Is -1 at least as big as q?
True
Let g be -4 - (-16)/4 - 20. Which is smaller: g or 0?
g
Let f(t) = -t - 13. Let l be f(-10). Let b(z) = -4*z + 4. Let q(s) = -5*s + 4. Let o(n) = -6*b(n) + 5*q(n). Let w be o(l). Is w <= 0?
True
Suppose 0*c - 330 = -5*c. Let b be c/4 + 6/(-4). Suppose 0 = 5*z - 0 + b. Is z < -5?
False
Let g = 0.12 + 2.88. Let t = -4 - -2. Let f be t/5 + 9/(-15). Is f greater than or equal to g?
False
Let w be 2/(28/(-15)) + 40/70. Is 3 less than w?
False
Let m = 10495/6 - 1756. Is m < -7?
False
Let r = -20 + 14. Let y be (-20)/(-45) + 4/r. Let p = -40 - -39. Which is greater: p or y?
y
Let m = -5 + 13. Let a be ((-9)/(-27))/(m/6). Which is greater: -1 or a?
a
Let b = -6/55 + 10/11. Which is greater: 2 or b?
2
Let i = -0.08 + 11.08. Let j = i - 16. Which is smaller: 1 or j?
j
Let z = 0.06 + 1.94. Let o = z + 0. Are -0.3 and o equal?
False
Let a = -1 - 0. Let j be a/(-4) - 10/72. Are 1 and j nonequal?
True
Let s = 7.9 - 8. Let t = 5/14 + -13/56. Is t greater than s?
True
Let u be (-2)/6 - (-12)/9. Let s be u/(-6) + (-55)/30. Is -1 equal to s?
False
Let i be 5*(8 + 2)/(-2). Is i < -25?
False
Let t be 0/(0 - -1)*1. Suppose -4*f = -s + 8, -7*s - 5*f - 60 = -2*s. Let r be (s/(-6))/(-2 + 8). Which is smaller: r or t?
t
Let q = 0 - 3. Let x = q - 2. Let n = x + 3. Which is smaller: -0.1 or n?
n
Let u be (-1)/3 - (-1)/2. Let y = 19 + -20.4. Let j = y - -0.4. Is j less than or equal to u?
True
Let b = -0.8 - -9.8. Which is bigger: -3/7 or b?
b
Let o = -2 + 3. Let p = 0 + o. Let t = p - 0.9. Are -1 and t equal?
False
Let o(g) = 3*g. Let v be o(5). Suppose -3*w = 2*w + 3*y + 37, v = -2*w - y. Let r = w + 8. Which is smaller: 2/31 or r?
r
Let j(f) = f**3 + 9*f**2 + 9*f + 10. Let q be j(-8). Let s(t) = t - 4*t**3 + q*t**3 + 7 + t**3 - 6*t**2. Let m be s(-6). Are m and 1 unequal?
False
Let f be ((-6)/(-21))/((-3)/(-42)). Let m be (-2)/9 + f/18. Is m at least 10/11?
False
Let c = 142 - 103. Which is greater: 40 or c?
40
Suppose x - 161 = z + z, 0 = -z + x - 80. Let s be 4/(-42)*z/18. Suppose -2*g - 3 = -n - 0, 5*n = 3*g + 8. Which is smaller: s or n?
s
Let i = 115 - 116. Which is greater: 18 or i?
18
Let m(k) be the first derivative of -k**2/2 + 3*k - 1. Let r be m(7). Are r and -1 non-equal?
True
Suppose -t = 6*n - n + 11, -3*n - 5*t = 11. Let s be 1*(2 - 24/9). Which is bigger: n or s?
s
Let t be 10/(-6) - 14/(-21). Which is smaller: t or 1/24?
t
Let q = -0.2 - -3.2. Let i = q - 2.8. Which is bigger: -0.3 or i?
i
Let s = -226 - -2482/11. Let v(j) = j**3 + 13*j**2 - j - 13. Let f be v(-13). Suppose f = 4*w - 8*w. Is w smaller than s?
False
Let s(v) = -14*v - 13. Let l be s(-5). Is l at most as big as 59?
True
Let g be 6/(-8) + (-35)/(-20). Does -0.3 = g?
False
Let v be (-4)/2 - (-90)/12. Is 7 smaller than v?
False
Let u = -4.3 - -4. Let w = -0.2 - 0. Which is smaller: w or u?
u
Let p(n) = -4*n**3 + 2*n**2 - 3*n + 2. Let x be p(2). Let z be x/(-10) - 1/(-5). Suppose -z*h + 3*g - 2 = 8*g, 5*h - 5*g - 10 = 0. Which is smaller: -1/6 or h?
-1/6
Let a be (1 - 6) + 2261/418. Which is smaller: a or 0?
0
Let y = 76 - 162. Let p be -1 + -2 - 254/y. Is -1 greater than or equal to p?
False
Let u = 2543/124 - 1/124. Let q = u - 20. Which is smaller: q or 1?
q
Let p = 3 - 3. Let q = 4 + p. Which is smaller: 3 or q?
3
Let x = 13 - 16. Suppose 0*q + q - 20 = 0. Let a be q/(-9) - (-10)/45. Which is greater: a or x?
a
Let u be (-2)/5 - (-2564)/110. Let w = 23 - u. Is 0 not equal to w?
True
Suppose 5*b - 4*z - 272 = 0, z - 153 = 3*b - 6*b. Let m be b/14 - 10/(-35). Let l be 64/(-126) + m/18. Which is bigger: l or 0.2?
0.2
Let h = -0.4 - -2.4. Let d = -3.1 - -3. Let x = d + 1.1. Is h > x?
True
Suppose -3*u - 2*r = -r - 23, -3*u = -4*r - 43. Let m be (34/(-10))/((-4)/(-10)). Let a = u + m. Which is greater: a or 1?
1
Suppose 5*q + 2 = 7. Suppose 4*m + 15 = 3*m. Let v be 3/12 - m/(-28). Which is smaller: v or q?
v
Let o(d) = -d - 12. Let j be o(-8). Let z be (-3)/3 + j/2. Which is bigger: z or -1?
-1
Let h = 19/6 + -10/3. Which is smaller: h or -1?
-1
Suppose 2*f - 6 = -4*q, f = 3*f + 2*q - 2. Is f != -1/96?
True
Let u(r) = -2*r + 1. Let i be u(-4). Suppose -4*l - 5 = 5*g + 1, 4*g = l - i. Let d be 0 - -2 - (-9)/(-5). Is l >= d?
True
Let x = -0.75 - -0.6. Let h = -0.1 - x. Let j = 2.05 - h. Is j > -1/4?
True
Suppose -m - k = -18, 0 = 2*m + 4*k - 32 - 6. Let o = m + -25. Are o and -7 nonequal?
True
Let j be 0*(-1 - (-4)/3). Suppose 0*g + g = -84. Let n be 0 - (2 + g/45). Which is greater: n or j?
j
Let r(h) = -h