/6). Let g = 24 - 26. Is g < y?
False
Let k = 3 + 3. Suppose k = -2*z + 5*z. Suppose -z*o = o. Is o less than or equal to 2/5?
True
Let f(c) be the third derivative of -c**6/120 - c**5/12 - c**3/6 - 2*c**2. Let x be f(-5). Let q = -418/3 + 138. Is q > x?
False
Let g(i) = i + 3. Let p be g(-2). Is 1 at most as big as p?
True
Let i be ((-41)/164)/(0 + 1). Let w be 0 - 0 - (-2 + 1). Is i >= w?
False
Let b = -13 - -3. Which is bigger: b or 1?
1
Let z = 0.08 - 0.18. Is 0.06 > z?
True
Let h = 1.38 + -0.08. Is h smaller than 1?
False
Let s = -47 + 47.7. Which is greater: s or 5?
5
Suppose 0 = -5*v, 4*d - 5*d + 10 = -v. Is d at least 12?
False
Let x = -2 - 4. Let j = x - -9. Suppose 1 - 4 = j*y. Which is smaller: y or 0?
y
Let j = -2 - -3. Let y(b) = b**3 + 10*b**2 + 10*b + 9. Let q be 1 - (-3 + 11 + 2). Let w be y(q). Do w and j have the same value?
False
Suppose 0*y = -2*f - 2*y + 14, 5*y - 11 = 3*f. Suppose 2*g - 26 = 4*r, -4*r - 26 + 6 = 0. Is g smaller than f?
False
Let c = 9499/11 - 863. Are 0 and c non-equal?
True
Let t = -2.5 - -4.9. Let m = -2 + t. Let d = m - 3.4. Which is greater: d or 1?
1
Suppose -4*q - 4*y - 4 = 0, 0*q - 5 = -3*q + y. Let z = 3/52 - -297/260. Is q < z?
True
Let w(b) = 3*b**3 - 3*b**2 - b + 2. Let d(k) = -2*k**3 + 2*k**2 + k - 1. Let v(y) = -4*d(y) - 3*w(y). Let q be v(0). Let h = -0.9 + 1. Which is greater: h or q?
h
Let h be ((-12)/21)/(2/(-7)). Suppose 7*b - 60 = h*b. Suppose f - b = -2*f. Which is smaller: 6 or f?
f
Let b = 1 - -1. Let g be 5 - (4/b + 1). Is g >= 0?
True
Let a = -19 + 12. Let c = a + 8. Is c >= 3?
False
Let o = -164/93 - -3/31. Let t = -31/15 - o. Which is smaller: 0 or t?
t
Suppose b + 5 = -0*b. Let t = -2 - b. Suppose -c + z = -t, 2*z + 12 = -z. Are -5 and c nonequal?
True
Let w be (-9)/(-20) + 1/(-4). Let c(u) = 2*u - 7. Let k be c(5). Suppose -2*v + 4*n + 12 = 0, n = k*v - 5 + 2. Is w less than v?
False
Let v = 61/30 + -11/5. Is v less than or equal to 0?
True
Let g = 41 - 40. Let k = -77 + 113. Let p = k + -101/3. Is g >= p?
False
Suppose -8 = 3*f + 4, -2*q + 4*f = -18. Let j(v) = -v**2 + 3*v - 1. Let y be j(q). Do 2/11 and y have the same value?
False
Suppose 0 = -5*w - 2*h + 16, -3*w = -6*h + 2*h + 6. Let r(a) = -a**3 + 2*a**2 - 2*a + 3. Let i be r(2). Is i at least as big as w?
False
Let v = -4 + 5. Let a = v + -3. Is a greater than or equal to -2/5?
False
Let k = -397/7 - -57. Is -0.6 bigger than k?
False
Suppose -i - 2 = t, -i - 7 = 5*t - 17. Let p be 2/i + (-2 - -2). Which is greater: -1 or p?
p
Let p = 28 - 26. Is -2 less than p?
True
Let m = -0.1 + 0. Let h = 0.06 + 0.94. Which is smaller: m or h?
m
Let g = 203 - 3852/19. Let y = -77/76 + g. Which is greater: -1 or y?
y
Suppose -r - 5*y + 7 = 3, 0 = r - 5*y + 16. Let l be (-1)/(1 - (-9)/r). Which is greater: 0.2 or l?
l
Let b = -0.6 - -0.43. Let z = b + 0.07. Which is smaller: z or 3/2?
z
Suppose 0 = -5*k + k + 4. Which is greater: 1/4 or k?
k
Let r = -43/4 + 219/20. Is 0 > r?
False
Let c = 5 - 3. Let d be (-22)/24 - c/(-3). Let p be (6/(-16))/((-3)/(-12)). Is d bigger than p?
True
Let m be (10/(-4))/(10/(-8)). Is 7 bigger than m?
True
Let h = -2.5 - -2. Let f = h - -0.6. Let a = 0.38 + -0.08. Does f = a?
False
Let i = -105.93 + 107. Let p = -0.07 + i. Which is bigger: p or 1/6?
p
Let v(r) = -r**3 - 8*r**2 + 2*r + 12. Let z be v(-8). Let w = 3 + z. Do w and -3/2 have the same value?
False
Let h = 1.12 - 1.153. Is h > 1?
False
Let f be 3/12 + (-1629)/(-8652). Let o = f - 1/103. Which is greater: o or -1?
o
Let n(v) = 4*v - 1. Let k be n(4). Let u be (-4)/k - 6/15. Suppose 0 = -0*c + c. Which is bigger: u or c?
c
Suppose 3*m = 2*m - 2. Let t be (m/(-4))/((-1)/(-8)). Is t less than or equal to 5?
True
Let q be (-4)/(-14) - 104/(-28). Suppose 0 = 2*t - 3*w + 9, -3*t - q*w = -w - 9. Is t != -1?
True
Let m be (-10)/(-6)*(-4)/(-5). Let j = -2 + m. Let k = -19/15 - j. Does -2 = k?
False
Let b be 26/39*3/(-2). Which is smaller: b or -5?
-5
Suppose 2*w + 4*v + 11 - 29 = 0, -5*v + 25 = 0. Let x = -77/225 - -3/25. Which is greater: w or x?
x
Let t(g) = g**2 - 4*g + 3. Suppose 5*o + 12 - 32 = 0. Let i be t(o). Let x = 1 - 0.8. Which is smaller: x or i?
x
Let z be 1/2*8252/18. Let h = 23413/99 - z. Let o = h + -742/99. Are o and 0 non-equal?
True
Let i = 0.019 + 0.981. Is i < 1?
False
Let g be (-2)/5 + (-27)/(-5). Suppose -g*n + 1 = -w - 2*n, -2*w = 5*n + 2. Let b be -1 - (w + -2) - 2. Is b less than -1/3?
False
Let q be (3/2)/((-210)/56). Which is smaller: 1 or q?
q
Let b = -6 + 5. Let q = -1.04 - b. Let s = -0.96 + q. Is s greater than or equal to 2/3?
False
Let g(l) = -l**2 + 6*l - 5. Let s be g(5). Suppose s*k = 2*k. Which is smaller: k or 3/8?
k
Let d = -44.2 - -44. Does d = 3?
False
Suppose 0*v - 13595 = 5*v. Let s = v + 10809/4. Let c = s + 17. Is c bigger than 5?
False
Let f = 52 + -51. Is -35 < f?
True
Let v = -0.11 - -0.11. Let j = v + 3. Let w = 2 - j. Which is bigger: -5 or w?
w
Let t = -41/3 - -13. Let f = 0.63 - 0.03. Let c = f - 0.5. Which is bigger: c or t?
c
Let c = -76/5 + 811/55. Let f = c - 1/143. Does 0 = f?
False
Let a(f) = -f**2 - 3*f + 3. Let m be a(-4). Are m and -3/4 non-equal?
True
Let y(j) = -j**2 - 14*j - 1. Let c be y(-14). Is c >= -5/7?
False
Suppose 3*t - 5*b = 34, 5*b + 40 = 3*t + 2*t. Suppose -t*i + 6 = -3. Which is smaller: i or 4?
i
Let l = 7 + -6. Is -2/145 equal to l?
False
Suppose x = -10*t + 5*t - 74, t + 394 = -5*x. Let h = -190 - x. Let l be h/(-15) - 8/20. Is 0 smaller than l?
True
Suppose -2*v + 2 = -v. Let s be -3 - 4*(-1)/v. Let j = 2 + -4. Are s and j equal?
False
Let t = -499/6 - -37421/450. Let s = -152/225 - t. Suppose 4*u + 8*u + 24 = 0. Is u >= s?
False
Suppose -h - 1 = 4. Let l(o) = o**2 - 5*o - 3. Let p be l(5). Which is bigger: h or p?
p
Let v = 2 + 1. Let s(r) = 18 - 9 + r - 9 + 3*r**2. Let k be s(-1). Which is smaller: v or k?
k
Let r(h) = h + 2. Let i be r(2). Let b = -0.12 + 6.12. Let v = -7 + b. Is v at most as big as i?
True
Suppose -6*t = -83 + 17. Do 10 and t have the same value?
False
Let l(o) = o + 16. Let m be l(-7). Let p be (-49)/(-63) - (-2)/m. Is p less than or equal to 2/47?
False
Suppose 15 = -2*u - 1. Suppose -3*i + 65 - 5 = 0. Let o be (1*2)/(u/i). Which is smaller: o or -6?
-6
Let y = 2 - -2. Let x = -2 + y. Let z be (-1)/2 - (-7)/6. Which is bigger: x or z?
x
Let y(j) = 3*j + 2. Let a(c) = -4*c - 1. Let h(o) = 2*a(o) + 3*y(o). Let k be h(-3). Suppose -4*w - 19 = -5*v - 0*w, -4*v + 4*w = -16. Are k and v non-equal?
True
Let m be (6/(-9))/(((-25)/(-9))/(-5)). Which is smaller: m or 1?
1
Let l = 0.94 - 0.64. Is l at most as big as -2/13?
False
Let c be (-92)/(-8) + (-3)/(-6). Suppose k - c = 4*k. Which is smaller: k or -2?
k
Let q = 11 - 10.2. Let h = -0.5 + q. Which is greater: h or -1?
h
Let c = -34 + 49. Is 16 smaller than c?
False
Let h be 7/(-15) - 9/(-18). Is 0 less than h?
True
Let w be (-24)/12*7/(-2). Suppose -4*z + 18 = -14. Which is smaller: z or w?
w
Let s be ((-12)/(-18))/1 + (-142)/6. Is -23 at least as big as s?
True
Let h = 4 - 6. Let r(u) = 2*u + 22. Let f be r(-9). Does h = f?
False
Let x be (-80)/45*1/((-4)/(-3)). Is -1 > x?
True
Let j = 11 - 16. Let q = j - -4. Let v = 1 - q. Is -0.1 equal to v?
False
Let l(m) = -m. Let i be l(3). Is -7/4 <= i?
False
Suppose 5*t + 4*q = 25, 0*q = -2*q. Suppose 2*o + 1 = t. Suppose 0 = -v + o - 1. Is 0 >= v?
False
Suppose -3*n - n - 20 = -5*y, -4*y = 2*n - 16. Which is smaller: n or 2/17?
n
Let z be 4/2*(-12)/(-8). Suppose -s + 4 - 1 = 0. Let f be (-2)/3 + 14/s. Which is smaller: f or z?
z
Let f(m) = -4*m + 4. Suppose -30 = -5*c - 0. Let v be f(c). Let l = v - -59/3. Which is greater: l or -1?
l
Let y be (1/3)/(2/66). Suppose -4*c + y = 3*a, 4*a = c + 3 - 1. Let w = -84 - -86. Is a >= w?
False
Let p = 16 + -14. Let s be 11/10 - 2/4. Is s bigger than p?
False
Let r be ((-3)/(-12))/(36/(-16)). Is r > -1?
True
Let m be 5/5 + 1*-1. Suppose m = -4*l - u - 23, 0 = -4*l + l + 2*u - 9. Is l greater than or equal to -4?
False
Let l = 0.2 + -0.4. Let i = -0.1 + 0. Let p = i - l. Which is smaller: 0 or p?
0
Suppose -4*s = -n - 18, 9*n - 4*n - 2 = -3*s. Do 3 and s have different values?
True
Let p = -1 - -2.3. Let k = p + -0.3. Let j = 2 + -1. Is j at least as big as k?
True
Suppose -4*k + g = k - 15, -5*k = 3*g + 5. Suppose -5*c + w =