(4 + 7/(-2))*6. Suppose 15 = -h*y + 6. Let s(k) = -k**2 + 2. Let b be s(-2). Is b not equal to y?
True
Let j = 4 - 5. Let o be j*(2 + (-1 - 1)). Suppose 4*q = 5*g - 2, o = g - 3*g + q - 1. Which is smaller: -3/4 or g?
g
Suppose 0 = -5*k - 10 - 0. Let b be (2/3)/(k/(-3)). Which is smaller: 1/7 or b?
1/7
Let r = -8 - -9. Which is smaller: r or -0.1?
-0.1
Suppose 0 = 2*g - 7*g - j + 29, 3*g + j - 17 = 0. Let k = 14 + -8. Is k > g?
False
Suppose 0 = 2*i + 2*i. Let a(d) = d**3 - 5*d**2 + 1. Suppose 4*w = 3*w + 5. Let b be a(w). Is b at most i?
False
Let y be (114/15)/((-3)/30). Let a be (y/(-6))/(10/15). Which is smaller: 18 or a?
18
Let t = 17 + -9. Let j be ((-2)/t)/((-3)/12). Let l be (-3)/18 + j/6. Which is smaller: l or -1?
-1
Let b be 8/36 + 8/(-9). Which is greater: -2 or b?
b
Let t = 1.96 - -0.04. Let b = 15 + -16. Let c = b + 1. Is c > t?
False
Let d = 29.066 - 0.066. Is -1 != d?
True
Suppose -30 = -0*w - 5*w. Suppose 21 = w*h - 3*h. Which is greater: h or 6?
h
Let h = 72 + -74. Is -11 smaller than h?
True
Let k be 7/(-105) + (-2 - -1). Which is greater: -2 or k?
k
Let i be (-1 - (-2)/(-36)) + 1. Let b = -135 - -134. Which is smaller: b or i?
b
Let b = -16 + 15. Which is bigger: 2 or b?
2
Let w(f) = 3*f**3 - 4*f**2 + 2*f**2 - 4*f + f**2 + 0 - 1. Let i be w(4). Let v = i - 798/5. Which is greater: v or -2?
v
Let a = 2/33 - 37/66. Is a bigger than -8?
True
Suppose -4*u + 25 = -3. Suppose -u + 8 = -s. Is -1 less than or equal to s?
True
Let w = 1/3 - -1/6. Which is smaller: w or 22?
w
Suppose -2 = -3*a + 19. Which is bigger: a or 2?
a
Suppose 0*z - z = 5*l + 20, -2*z - 25 = 5*l. Let a be 3 + 11/l + 3. Which is smaller: a or 2?
2
Suppose -4*y - 59 = -5*b, -2*b - 4 = 2*b. Is -17 less than or equal to y?
True
Suppose -5*k - 10 + 1 = 3*z, 0 = 4*z - k + 35. Let v be 1*((-9)/z + -1). Is v < 1?
True
Suppose -u = u - 4. Suppose 2*v - 22 = 3*w, 2*v - w = -3*w + u. Suppose 2*r - r + v = 0. Is r equal to -5?
True
Let v be 16/12*1/(-2). Suppose 4*u - 4*q = -8, 2*u - 3*q + 3 + 1 = 0. Is u greater than v?
False
Let t be (3/(-2))/(21/56). Let a = -3 - 0. Is t < a?
True
Suppose d + 4 = 2*t, 3*d - 8*d = -5*t + 15. Which is smaller: t or 7/5?
t
Let g = -7 - -8. Let t = 5 + -5. Which is greater: t or g?
g
Suppose -4*j - 5*s = -2*s + 52, 2*j - 2*s + 26 = 0. Suppose 0*x + 2*x = -28. Are x and j equal?
False
Suppose -5*s = -5*u - 5, -29 = u - 2*u - 5*s. Let t be u/10 + (-14)/10. Let i = -3 - t. Which is smaller: i or -4?
-4
Let d = 3 + -18. Is d >= -16?
True
Let i = -637/5 - -128. Are i and -2/13 equal?
False
Let c be 316/(-36) - 4/18. Let o be -1 + c/(-3) - 2. Let m be -1*(3 - (o + 2)). Is -2 at most m?
True
Let b = -21 + 8. Is -14 at least b?
False
Let h = 47/21 + -18/7. Suppose -3*k - l - 1 = 6, 2*k + 4*l + 18 = 0. Which is greater: h or k?
h
Suppose -c = k - 3, 5*c - 5*k + k - 24 = 0. Let m = c - 8. Let l = 5 + m. Is l <= 1/8?
False
Let q(s) be the first derivative of 0*s - 3 - 1/2*s**2. Let n be q(-1). Is -4 at most as big as n?
True
Let q = 6 + -17. Which is smaller: -9 or q?
q
Let i = -3 - 1. Let g = i - -4. Is g less than 1?
True
Let l be 4/((3 + -4)/(-1)). Suppose l*d = -4, d = -2*n + 3*d + 10. Which is bigger: n or 2?
n
Suppose -3*w = -7*w - 64068. Let m = w - -192391/12. Let p = -57/4 + m. Which is bigger: p or 1?
p
Let h = -1.3 - -0.5. Let z = h - -0.8. Which is smaller: -2/9 or z?
-2/9
Let t = 65/292 - -2/73. Let b be 0*(-1)/(-4)*1. Do b and t have the same value?
False
Let i(w) = 3*w + 1. Let t(g) = g + 11. Let n(p) = -p - 10. Let f(u) = -7*n(u) - 6*t(u). Let k be f(-6). Let x be i(k). Is x at least -5?
True
Let t = -93/13 + 7. Suppose w = 4*w. Is t < w?
True
Let o = -62.9 + 63. Is o != -0.33?
True
Let o be (-18)/(-7) + (-3 - -1). Let r be -4 + 4 + (-2 - -1). Let j be r + -2 + 1 + 4. Is o > j?
False
Let s = 4.2 + -10.2. Let q = -0.6 + 0.4. Let t = q + 0.1. Which is smaller: s or t?
s
Let q(x) = 8*x**3 - 4*x**2 - 4*x + 2. Let a be q(-2). Is -70 less than or equal to a?
True
Let j(l) be the second derivative of l**4/12 + l**3/6 + l**2 + 4*l. Let h be j(-2). Suppose 9*i - 5*g - 5 = h*i, 0 = 5*g + 5. Is i at most as big as -1?
False
Let g = -20 + 20. Which is greater: g or -1/9?
g
Suppose 3*j - 5*o = 41, -o + 8 = -3*o. Let s = j + -6. Is s bigger than -0.3?
True
Let u = -52/77 + 2/231. Is 2/5 less than u?
False
Let n(q) = 8*q**2 - 4*q - 5*q + 3*q**3 - 2 - 2*q**3. Let a be n(-9). Is 0 at least as big as a?
True
Suppose 4 = 2*w + 2*w. Let c(h) = -2*h - 1. Let y be c(w). Is y at most as big as -4?
False
Let v = 0.71 + -0.8. Let j = 0.29 + v. Does j = 0?
False
Let d = -50 + 50.5. Which is smaller: d or -0.05?
-0.05
Suppose -3*q - 2*f + f = -3, 9 = -q + 3*f. Let t = q + -2. Is t >= -2?
True
Let m = 4.1 - 2. Let a = m - 1.8. Is -2/21 greater than a?
False
Suppose -3*d - 16 = d. Let k(w) = -w - 4. Let q be k(d). Let u be ((-2)/9)/(4/6). Is u greater than q?
False
Let r be ((-84)/(-16))/(-7)*-2. Suppose -2*z - 3*z + 25 = 0. Let d = -3 + z. Is d smaller than r?
False
Let l(v) = -2*v**3 + v**2 - 1. Let q be l(-1). Suppose 3*b + 2*h = 3*h + 4, 2*b + q*h = 0. Which is greater: b or 8/5?
8/5
Suppose 0 = 6*d + 14 - 20. Let o = 2 - 4. Is d > o?
True
Let k(z) = -2*z - 16. Let w be k(-9). Let b(t) = -t**2 + 5*t + 8. Let g be b(6). Suppose -g = -2*y, 0*y + y + 2 = 3*f. Is w at least f?
True
Let l = 75 - 75.007. Which is greater: -1/2 or l?
l
Let c(b) = -8*b + 3. Let v be c(2). Suppose z - 14 = 2*z + l, 0 = -3*z - 5*l - 46. Which is smaller: v or z?
v
Suppose -3*h - 2*a - 14 + 4 = 0, 2*a - 14 = h. Let k = h + 3. Which is bigger: -4 or k?
k
Let k be (2*1)/(22/99). Suppose 0*p + 2*p = -5*m - k, -6 = 2*m + 2*p. Is m at most -6/13?
True
Let l(b) = b**3 - 4*b**2 - b + 5. Let s(u) = -2*u**3 + 3*u**2 + 2*u - 5. Let h(j) = 3*l(j) + 2*s(j). Let d be h(-6). Which is smaller: 10 or d?
d
Let a = -6.9 + 6. Let x = 2.3 + -2.2. Is a >= x?
False
Let j be (-8)/36 - 38/(-9). Which is smaller: 6 or j?
j
Let h = -15 - -9. Let k = 7 + h. Let w = -1 - 0. Which is bigger: k or w?
k
Let z(b) = -b + 3. Let l be z(0). Let j be 2*l/(-21)*-2. Is 1 at least as big as j?
True
Let j be (8/(-540))/(6/10). Let s = 25/81 - j. Is 0 at least s?
False
Let t(l) = l - 19. Let c(n) = n - 1. Let p(s) = 2*c(s) - t(s). Let j be p(-12). Is j at least as big as 7?
False
Let z = -174/13 - -1091/65. Which is greater: z or 4?
4
Let i be (-15595)/3345 + (-2)/(-3) + 4. Is 0 greater than i?
False
Let t = 1 + -7. Let r be (-2)/(t/(-3)) - -2. Which is bigger: r or 3?
3
Suppose 4*p + 10 = 6*p. Let g be 2/12*0 - -7. Which is bigger: g or p?
g
Let x(a) = a**2 - 7*a + 1. Suppose -2*d + 6 = 2*o, 6*o - 2*d - 36 = 2*o. Let t be x(o). Is -2/5 at most t?
True
Let h = 4.86 + -5. Let w = h - 1.86. Which is smaller: w or 0?
w
Let o(i) be the first derivative of i**2/2 + 7*i + 3. Let p be o(-8). Which is bigger: 1 or p?
1
Let h be (-52)/13 + (-2)/4. Is -6 < h?
True
Suppose -o + 3 = -0*o. Let a(d) be the first derivative of 2*d**3/3 - 3*d**2/2 + d - 1. Let s be a(2). Does o = s?
True
Let d = 10 - 10. Let x be ((-9)/(-105))/(2/5). Are d and x unequal?
True
Let y = -4691/408 - 1/408. Let n = -11 - y. Is 1 greater than or equal to n?
True
Let z(g) = g**3 - 9*g**2 - 9*g - 13. Let m be (-3)/((18/(-16))/3). Let a be m/4 + (1 - -7). Let q be z(a). Is q greater than -2?
False
Let n = 7 + -4. Suppose 3*i - 5*i = 4*k - 14, -17 = -2*i - k. Let q = i - n. Is 5 at least as big as q?
False
Suppose -5*u = 4*p + 53, p + u + u = -11. Is -17 < p?
False
Let i = -43/4 - -49/4. Is 15 < i?
False
Let a = -1 + 0. Let k = -0.4 - -1.3. Let g = k + 0.1. Is a at least as big as g?
False
Suppose -412668 = -3*q - 104097. Let n = 1132177/11 - q. Let h = n - 68. Which is greater: -0.1 or h?
h
Let d be (2/(52/(-2)))/((-57)/114). Is d smaller than 2/9?
True
Let s = 0 + 0. Let a = -23 - -25. Which is smaller: a or s?
s
Let n = -13 - -2. Is n < -12?
False
Let d be 4*2/(10 + -2). Are 7 and d unequal?
True
Let j = -4366 - -371116/85. Let l = j - -9/17. Which is bigger: l or 0?
l
Let w(z) = z**2 - 23*z - 59. Let l be w(25). Is -11 > l?
False
Let a = 3 + -6. Let j = -109 + 101. Which is smaller: j or a?
j
Suppose 0 = 5*b - 0*b - 5. Let p(g) = b + g + 1 + 1. Let c be p(-5). Which is smaller: -1 or c?
c
Let p = 5 - 7. Let y = 46/35 + -8/5. Which is smaller: p or y?
p
Let l b