6)/(-9)). Is j at most x?
True
Let y = -1 - -2. Suppose 5*f + 9 + y = 0. Let v be (0 + f)*5/10. Which is greater: v or -3/4?
-3/4
Let f = 0 + 1. Let a be f/2 - (-2)/4. Suppose d - 6*d + 13 = -b, 2*d = 6. Which is smaller: b or a?
a
Suppose -4*q = 4*w + 28, 15 = -5*w - 3*q + 2*q. Let c = w + 2. Which is bigger: -1/12 or c?
c
Let g = 1.49 + -1.69. Are -60 and g non-equal?
True
Let l(n) = -n**3 - n**2 - 3*n. Let h be l(-3). Let x be 1 - (-3)/h*-13. Which is greater: x or 0?
0
Let v(b) = b**3 - 3*b**2 - 5*b - 3. Let k be v(4). Let q = 0.04 - 1.04. Is q bigger than k?
True
Let k = -35 - -34. Which is bigger: k or -3/4?
-3/4
Let b(z) = z - 2. Let d be b(5). Let f(x) = x**3 - 3*x**2. Let h be f(d). Suppose 3*o = y + 4*o - 2, h = -3*o + 12. Which is bigger: -3/5 or y?
-3/5
Let v = 16 - 3. Are 13 and v equal?
True
Let n be (-3)/((-6)/4) + -5. Let v(m) = -m + 3. Let q be v(n). Let o be 4*q/15 - 2. Do 1 and o have different values?
True
Let c = 186 + -195.1. Let q = -9 - c. Is q equal to 5?
False
Let c be (2*-1)/(2 + 0). Let u be 6708/(-91) - (1 - 0). Let t = u - -75. Is t at most as big as c?
False
Let c(u) = -u**2 - 9*u - 2. Let h be c(-7). Let f = 0 - h. Let m be (4/12)/((-1)/f). Which is smaller: m or 3?
3
Suppose 4 + 4 = 2*o. Let w = 19 - 10. Suppose b - w = -3*l + 4*b, -2*l = 4*b - 18. Which is greater: o or l?
l
Let k = -3 - -6. Suppose k*p = 4*p - 3. Suppose -5*x + p*x = 0. Which is bigger: -1 or x?
x
Let n(d) be the second derivative of d**3/3 - 15*d**2/2 - 2*d. Let o be n(8). Which is bigger: o or 11?
11
Suppose 9*x - 54 = 6*x. Suppose -4*h - 2 = x. Let s(m) = -m**2 - 4*m + 1. Let l be s(h). Which is smaller: l or -5?
-5
Let x = -36 - -37. Suppose 0 = -5*n + 2*s - 18, -3*s = 2*n - n - 10. Let d be n*-1*(-2)/(-36). Is x not equal to d?
True
Let s = 0.04 - -0.96. Let k = 1.4 - s. Which is smaller: 1 or k?
k
Suppose -5 = 4*h - 17. Let q = -2 + h. Is 2 != q?
True
Let t = 0.05 + 0.35. Let l = -22 - -19. Which is smaller: l or t?
l
Let u = 11.5 + -0.5. Let f = u - 10.9. Let p be (-2)/4*12/(-27). Is p bigger than f?
True
Let a = -0.35 - -0.35. Do a and -5 have the same value?
False
Let i = -3.3 - -3.3. Which is greater: i or -11?
i
Let t = 16 - 10. Suppose j = t*j + 10. Let c = 6/5 - 27/10. Which is smaller: j or c?
j
Let f be ((-48)/(-224))/(1/2). Which is greater: 1 or f?
1
Suppose 3*s - 7 = 4*o, 0 = 2*s + 3*o - 1 + 2. Which is smaller: s or 8/13?
8/13
Suppose 3*n - 10 = 3*d + 5*n, 5*n + 25 = 0. Suppose -o - 2*o + 3 = d. Suppose 2*b - 4*z = -5*z + 5, 18 = 5*b - 3*z. Which is bigger: b or o?
b
Let b = 1 - 2. Let a = 1.5 - 1. Let o = a + -2.5. Which is bigger: o or b?
b
Let c(n) = -n - 8. Let a be c(-9). Is a <= -1/13?
False
Let i be ((-28)/(-8) - 4)*(-4)/(-30). Is i bigger than -1?
True
Suppose 3*y = -2*x + 12, -x + 3*y - 12 = 3*x. Is x <= -4/23?
False
Suppose -2*n + n = -2. Let t = -3685 + 14663/4. Let i = 19 + t. Is n greater than or equal to i?
True
Suppose 3*q + q = -56. Is -15 < q?
True
Let j = -78 + 392/5. Let g = -5 - -2. Is g less than j?
True
Let j = 115.9 + -116. Is -18 > j?
False
Let b = -6 - -6.05. Let f = 0.05 + b. Is f >= 0?
True
Let f be (-9)/(-6) - 63/(-14). Do f and 5 have different values?
True
Let i = -7 - -6.68. Let h = i - -0.12. Is h greater than or equal to -0.2?
True
Suppose -6*r - 1 = -7*r. Is -2/17 != r?
True
Let k = -344/5 + 67. Let z(b) = b**3 + 5*b**2 - b - 7. Let h be z(-5). Which is smaller: k or h?
h
Suppose -1 = -4*z + 7. Suppose z*u - u = 4. Let w = 5 + -2. Is u at most as big as w?
False
Let y = 1.1 + -0.1. Let j = 1 + -1.14. Let u = j - -0.34. Which is bigger: u or y?
y
Let a(j) = 5*j**2 + j**3 - 2 - 3 - 13*j**2 + 2*j. Let x be a(7). Let h be (1/(-5))/((-32)/x). Is 3 < h?
False
Let a = -34 + 22. Let r be (0 + 5)*(-15)/6. Let l = a - r. Which is smaller: 3 or l?
l
Let x = -137/5 - -27. Is x at least -1?
True
Let o = -72 - -75. Is o != 2?
True
Let v be (26/28)/(9/(-18)). Is -1 at least as big as v?
True
Suppose 0 = -4*g + 20 - 4. Suppose 0*x + 11 = 4*h - x, -g*h + 4*x = 4. Suppose -4 = 5*p + h*b, -4*p - b + 1 = -2*b. Which is bigger: p or -1/3?
p
Let l be ((-5)/(-2))/(7/14). Suppose -6 = 2*u - 3*k, u - 3*u = l*k + 6. Is -3/2 > u?
True
Suppose 2*u + 5*i - 22 = 0, 5*i = 14 + 6. Let g be 4/12 + 1/(-3)*-3. Which is smaller: u or g?
u
Let p = 0.13 - 1.43. Let r = p - -1. Is -2 not equal to r?
True
Let q be (-2)/(-2) - (2 + 2). Is -2/19 <= q?
False
Let p = -0.04 + 0.04. Let n = -12 - -14. Suppose -n*a + 3 = 9. Is a less than p?
True
Suppose -5*z + 9 = -4*n, -4*z + 3*n + 4 = -4. Is 6 smaller than z?
False
Let j = -36/1295 + 93557/20720. Let a = j - -1/80. Suppose -5*x = -25, 0*k = k - 5*x + 20. Is a at least k?
False
Suppose 3*g + 4*k - 56 = -k, 0 = -5*g - 4*k + 102. Let z = g + -23. Is z < 1/5?
True
Suppose 0 = 5*a - 4*u - 16, 0*u = -3*a + u + 4. Let l be (1/2)/((-14)/4). Is a > l?
True
Let y = -0.1 - -1.1. Let z = -0.09 + -0.19. Let t = z + -0.02. Which is smaller: t or y?
t
Let w be ((-14)/4)/(-3 - -2). Is w at least as big as 4?
False
Let l(q) = 10*q - 9 - 9*q + 2. Let o be l(8). Are o and 0.01 equal?
False
Let n be 4/(-6) - (-22)/(-3). Which is smaller: n or -7?
n
Suppose 0 = -3*c + 5*i, -c + 0*i - 10 = -5*i. Let o(t) = -t**2 + 4*t + 6. Let a be o(c). Suppose j - 2*j + a = 0. Which is smaller: -1 or j?
-1
Let l be 3/252*78/(-4). Let q = l - 1/56. Are -6 and q non-equal?
True
Suppose 2*p - p = 1. Suppose 5*c - 2*x - 2 + 26 = 0, 3*c - 5*x = -3. Let l be (-9)/c - 38/20. Are p and l equal?
False
Let p be (1 + 83)/4 + 3. Let d = p + -17. Which is smaller: 5 or d?
5
Suppose 0 = k + 10 - 1. Let v = k - -8. Is v smaller than -1?
False
Let i = 53 - 53. Is i at least as big as -105?
True
Let p = 18 - 26. Which is smaller: -7 or p?
p
Let x(u) = 6. Let t(n) = -n. Let f(q) = t(q) - x(q). Let r be f(-7). Which is greater: 2 or r?
2
Let k be (-68)/20 - 4/(-10). Let f be (-5)/(-24) - (-1)/k. Let t = 3 - 3. Which is smaller: f or t?
f
Let b = 2054323713006207/431422040 - 10289870076/2161. Let v = 1/28520 - b. Let d = v - -125. Which is greater: d or 0?
0
Suppose 5*p - 18 = -3. Suppose 0*v + 5*x + 5 = 5*v, 3*x = -v + 13. Which is smaller: v or p?
p
Suppose -3*h = -h - 8. Suppose 3*w + 3 = 9. Suppose 2*g = -w*g + h. Is 2/3 < g?
True
Let f = 20 + -18. Is 3 greater than or equal to f?
True
Suppose 2*n - 4 = -2*a, n - 6*a = -2*a - 8. Which is bigger: 2/303 or n?
2/303
Let n = -3 - -4. Let m = 1 - n. Suppose m*k = -k. Which is bigger: k or 2/7?
2/7
Let v = 121 + -115. Is v smaller than 7?
True
Let p be (4/5)/(2/5). Is p < 2?
False
Suppose 0 = -2*p + 6, 5*z + 2 = 5*p - 13. Which is smaller: -9/7 or z?
-9/7
Suppose 22 = s + 23. Which is greater: -2/21 or s?
-2/21
Let l(t) be the second derivative of t**3/6 - t**2/2 + 5*t. Let d be l(-1). Is d greater than 1?
False
Let b be ((-15)/((-15)/(-3)))/((-6)/(-4)). Which is greater: b or -10/7?
-10/7
Let i = -101/32 + 2811/992. Is i not equal to 1?
True
Let t = 206 + -198. Is 8 less than or equal to t?
True
Let k = 23.1 - 23. Are -66 and k nonequal?
True
Let i = -3/8 - -5/56. Let q be 5 + (-159)/36 - 2/8. Which is greater: i or q?
q
Suppose 4*k + 6 = -26. Let u = 5 + k. Which is greater: u or -4?
u
Let f = 29 + 15. Suppose -3*b - 4*n - f = 0, 3*b + 2 = -2*n - 32. Which is greater: -9 or b?
b
Let p be (6/20)/((-36)/(-20)). Is 1 < p?
False
Let o = -1.06 + 0.06. Is o not equal to -0.01?
True
Suppose -n = -0*n - 4*o - 1, 0 = 4*o - 4. Suppose -n*h + 3 + 2 = 0. Which is smaller: -2/7 or h?
-2/7
Let o be (-1)/(-1) - 0/(-1). Let v be 4/((-2)/o + 28). Let k be 4/(-6)*6/(-4). Which is smaller: k or v?
v
Let y be 1/(-3) + 239/(-3). Let m be (412/(-54))/(8/(-84)). Let o = m + y. Which is greater: 1 or o?
1
Let w = 95 + -92. Let b = 3 - 2. Which is smaller: b or w?
b
Let t = -3.8 + 4. Which is smaller: t or -11?
-11
Let o(c) = c**3 - 8*c**2 - 8*c - 2. Let r be o(9). Let i = r + -15/2. Which is smaller: i or 0?
i
Let n be 2 - (-1)/((-4)/(-12)). Let h(p) = -p**3 + 5*p**2 - p + 2. Let t be h(n). Is -2 at most as big as t?
False
Let l = -0.04 + 0.94. Let i = -1 + l. Which is greater: i or -2/7?
i
Let a = -3592/19 - -189. Is a != 0?
True
Let l(i) = -i**3 - 4*i**2 - i + 3. Let m be l(-3). Let b = m + 1. Let c be b/(-4) + 14/(-4). Which is smaller: c or -2?
c
Let g be ((-6)/55)/((-6)/(-15)). Which is bigger: -2/9 or 