aller: l or 0?
0
Let z = 114.9 + -108. Let y = 7 - z. Is 1/5 < y?
False
Suppose -8*a + 12 = -4*a. Let d be (a*3/(-9))/(-1). Is 1/19 greater than d?
False
Suppose 16 = -3*u + 4. Let n be 0/(((-9)/(-3))/3) - 5. Is u smaller than n?
False
Let w(k) = -k**2 - 6*k - 1. Suppose -a = -2*g + 10, 5*a + 16 + 6 = -4*g. Let j be w(a). Let h = -8 - -11. Is h greater than or equal to j?
True
Suppose 4*h - 18 = 2*p, h + 1 - 4 = -p. Let k be (-1)/(0 - 1) + 1. Let q be ((-1 - 0) + k)*-1. Are q and p non-equal?
False
Let n be -1*2/26*-1. Is 0.2 at least n?
True
Suppose -4*q + 5*b = -19, -2*q + 4*b + 4 + 10 = 0. Is q < 1/52?
False
Let c = -9 - -14. Suppose 0 + 3 = 2*u + w, -u + c*w = 26. Is -2 equal to u?
False
Let z = 8 + -4. Let t = z - 4. Suppose o - 6 = -3. Is o at most t?
False
Let q be (8/(-3))/((-2)/(-6)). Let x be 10/q - (-3)/12. Are x and -1 nonequal?
False
Let d = -1 - -1.3. Is d smaller than -1/2?
False
Let i be (-88)/(-18) + 7 + -11. Which is bigger: 2 or i?
2
Let u = -657 - -1497. Let b = 4184/5 - u. Which is smaller: -3 or b?
b
Let l(u) be the third derivative of u**6/120 - 7*u**5/60 + u**4/4 - 3*u**2. Let p be l(6). Which is bigger: p or 3/16?
3/16
Let r be (-14)/5*(-25)/10. Let c = r - 6. Which is greater: c or 3/7?
c
Suppose -2*s + 0*s = 0. Let h be s + 0 - (-2 + 3). Let f be 0*(h/2)/(-1). Is f at most as big as -3/5?
False
Let v(d) = d**3 - 8*d**2 + 7*d + 2. Let f(n) = n**3 - 5*n**2 + 7*n - 5. Let o be f(4). Let p be v(o). Suppose 0 = -s + p - 1. Which is smaller: s or 2/5?
2/5
Suppose -2 = 2*j - 3*j. Let x be 1 + 0/2 + 2. Let y = j - x. Is y >= 5?
False
Let c be (14 + -4)*(-6)/(-15). Let y be (c + (-45)/12)/(-1). Suppose 7*s - 2*s = 0. Which is smaller: s or y?
y
Let z be ((75/39)/1)/(-2). Let p = z - -6/13. Let f = p - -2. Are 1 and f non-equal?
True
Let m(t) = t**2 - 2*t - 1. Let w be m(2). Is w at least -3/47?
False
Suppose 0*i + i - 3*a = -21, -69 = 4*i + 3*a. Which is greater: -21 or i?
i
Let z be (-48)/(-18)*54/4. Let i be ((-3)/z)/((-3)/(-8)). Which is bigger: 1 or i?
1
Let g be ((-6)/(-4))/(48/(-256)). Which is bigger: -6 or g?
-6
Let m = 0 - 3. Let t be -1*m/(-12)*2. Is 1 bigger than t?
True
Suppose 4*k - 20 = -5*v + k, 2*k - 7 = 3*v. Let a be 0*(-2)/(-6) - v. Let z be a/3 + (-8)/12. Is 2/19 != z?
True
Suppose m + 0*m - 7 = 0. Suppose 1 + m = 4*p. Let j = 0.1 - 0. Is p at least as big as j?
True
Let u be -2 - 48/(-9) - 3. Let r = 0 + 0. Which is smaller: r or u?
r
Suppose 5*k - 3*f = 35 - 14, -6 = -4*k - 3*f. Let d be (-6)/(-9)*k/5. Let w(c) = -c**3 - 5*c**2 - 3*c + 5. Let x be w(-4). Is d at least as big as x?
False
Let b = 0.07 + 0.01. Let q = -0.22 - b. Is -2 equal to q?
False
Let g = 5 - 4.5. Let b = g - 0.2. Is 2/5 greater than or equal to b?
True
Let w = -1.2 - -0.4. Let k = -0.9 - w. Which is bigger: -0.02 or k?
-0.02
Let x = -0.15 + 0.05. Which is smaller: 0.4 or x?
x
Let s = -402/12341 - 4/287. Is s bigger than -1?
True
Let c(v) = 3*v - 5*v - 1 - 2*v - v. Let i be c(-1). Does 3 = i?
False
Let l = 6 - 9. Let h = -0.03 + -0.07. Which is bigger: l or h?
h
Let m be 2/(-5) + 567/(-45). Which is bigger: m or -85/6?
m
Suppose w = 2*v - 7, -4*v = -4*w - 0*v - 12. Suppose -w = 3*m + 17. Let h be 2/(2/(m/15)). Which is smaller: 1 or h?
h
Let z = -0.09 - -0.19. Which is smaller: 4 or z?
z
Let m = 4 - 4.8. Let u = 5.8 + m. Which is greater: -2/3 or u?
u
Let z(n) = n**2 + 20*n + 63. Let y be z(-17). Does y = 14?
False
Suppose -5*q - m = 6, -3*q + m + 2 = -4*m. Which is smaller: -6/17 or q?
q
Suppose 0 = 2*q + 4, x - 2*q + 4 = -0. Let f = -5 - x. Is 2 != f?
True
Suppose 0 = -5*z - 5, -2*v - v + 2*z = 58. Which is smaller: -19 or v?
v
Let s(i) = -i - 6. Let l be s(-7). Suppose -3*d = d - 16. Suppose d*f = 2*f. Which is bigger: f or l?
l
Suppose t - 6 + 3 = 0. Suppose 5 - 32 = t*k. Is k less than -9?
False
Suppose 0 = l - 0*l - 16. Is l at least as big as 16?
True
Let r = -862/3233 - -15/53. Which is smaller: r or -1?
-1
Suppose 0 = -3*g + 2*g - 4. Suppose 4*b + 5*y - 4*y + 7 = 0, 5*y = 4*b + 13. Let d = g - b. Which is greater: d or -0.2?
-0.2
Let s be ((-3)/2)/(9 - 3). Is s less than or equal to 2/109?
True
Let n(f) = f**3 - 6*f**2 + 6*f - 6. Let t be n(5). Let k be 8 + -11 + (-58)/(-14). Let p = 41/42 - k. Does t = p?
False
Suppose -3*u - 4*z = 32, -6 = 3*u + 2*z + 16. Let t = u + 7. Which is smaller: t or 5/2?
5/2
Suppose 5*y + 2*v = -8 + 38, 4 = -2*y - 4*v. Let l = y + -6. Suppose -l*p - 2*p = 0. Which is bigger: p or 2/9?
2/9
Let d = 1080 - 3412/3. Let x = d - -58. Which is greater: -1 or x?
x
Let x(d) = d + 5. Let p be x(-4). Let m be (p*(1 - -1))/2. Let a be (-58)/40 + m/4. Is -1 equal to a?
False
Let u = 57/2 - 80/3. Is 2 < u?
False
Let l = 77 - 463/6. Let y = 84 + -84. Is l != y?
True
Let a be ((-2)/8)/(42/(-56)). Is -1 > a?
False
Let h = 11 - 21. Is 0.2 bigger than h?
True
Let z = -14 - -13. Suppose 21 = w - 0*w + 3*y, 5*w = 4*y + 67. Let r be z + 0 - w/(-6). Which is bigger: r or 3?
3
Suppose -36 = -4*p + 4*v, 3*p - v - 37 = -2*p. Let y = p + -3. Let r = -8 - -12. Is r less than or equal to y?
True
Let u(v) = v**3 - 8*v**2 - 8*v - 5. Let k be u(9). Let x be 11/k + -3 + 0. Which is greater: 5/3 or x?
5/3
Suppose -2*l + 0*l = 20. Let x = -9 - l. Which is greater: x or -1/14?
x
Let f = -49405/534 + 5/267. Let r = f - -405/4. Let h = -797/92 + r. Which is smaller: -1 or h?
-1
Let m be (-6)/((-4)/((-24)/(-9))). Suppose b + 0*b - 4 = 0. Is b equal to m?
True
Let c = -17 - -10. Let f = c + 4. Let z be f/(21/16) - -2. Which is bigger: z or 1/4?
1/4
Suppose 0 = d - 5*d + 96. Suppose -3*t - 2*t - 6 = -3*l, -5*t = l + 18. Let k be 0 - t/d*2. Is k less than 2?
True
Let b be 1/5 - 29/(-5). Suppose b = 6*m - 3*m. Which is smaller: m or 1?
1
Let j be (72/80)/((-1)/(2/1)). Which is greater: j or -0.1?
-0.1
Let t = 5 + -3. Let y(v) = -v**3 - 4*v**2 + 2*v + 3. Let i be y(-4). Let q = i + t. Do q and -4 have different values?
True
Suppose 4 = 5*x - 31. Does 7 = x?
True
Let l be 11 + ((-2)/3)/((-14)/(-84)). Let x be -1 + 1 - 1*-7. Does x = l?
True
Suppose 3*v - y - 8 = 0, -9 = -5*v + v + 3*y. Suppose 5*l - 2*l - v*j + 18 = 0, -5*l + 10 = 5*j. Which is smaller: l or -3/2?
l
Suppose -4*s = -1 - 31. Are 10 and s non-equal?
True
Suppose -3*j = 6 - 0. Let b = -1.22 - -0.22. Which is greater: b or j?
b
Suppose -s = -2 - 0. Suppose 4*w - 2*d + 6 = 0, 0 = -5*w + 3*d - 6*d + 20. Which is greater: w or s?
s
Suppose 6*s - 3*g = 2*s + 53, -3*g + 17 = s. Let z be (-60)/84 - 4/s. Is -1 not equal to z?
False
Suppose -5*q + q + 16 = 0. Let c = 0 - -3. Which is bigger: c or q?
q
Suppose 13 = -4*a - x, -a - 27 = -0*a + 5*x. Is a bigger than -5/6?
False
Let g = -4 + 21. Suppose 4*i - g = -5. Suppose -o + 5*b - 1 = 3*o, 3*b = i*o. Is 2 at least o?
True
Suppose 7*d = -0*d + 4*d. Is 14/13 at most as big as d?
False
Suppose -5*f + 3*y = 35, 3*y = -4*f + 26 - 81. Is f less than or equal to -9?
True
Let n be -1 + (-4)/(88/(-18)). Suppose -10 = -4*k + 2. Let t = k - 3. Is n at most t?
True
Let l be -1 - 3/(-6)*0. Let o be (6/40)/3*(-10)/8. Is o bigger than l?
True
Let c(k) = k + 1. Let p be c(3). Let o be (3/9)/((-2)/(-18)). Suppose -8 = -3*q - 3*a + a, o*q = a + 5. Which is smaller: q or p?
q
Let o(a) = -a**2 + 6*a + 7. Let d be o(7). Suppose -2*i + 0*i = d. Which is greater: i or 3/7?
3/7
Let d be 5 + -1 + (-4 - -4). Is d != 5?
True
Suppose -3 = 2*c + 5. Suppose p + 10 = -5*w, 4*p - 2 = 2*w + 2. Which is greater: w or c?
w
Let s(k) = k**2 + 11*k - 10. Let c be s(-11). Is -10 greater than c?
False
Let m = -9.3 + 4.9. Let a = m - -4. Let t = -2 - -3. Are a and t equal?
False
Suppose -z + 5*z = -32. Let h(v) = 3*v + 10. Let x be h(z). Let r be 4/x + 36/(-21). Which is smaller: r or -2/3?
r
Let y be (-12)/(-7) - 4/(-14). Suppose 3*k = -y*k + 10. Let z = 0.9 - -0.1. Is k less than or equal to z?
False
Suppose -5*m = -5*r - 4 - 6, -5*r - 12 = -3*m. Are m and -2/47 non-equal?
True
Let c = -16.93 - 0.07. Let l = c + 18. Let w = -118/3 + 40. Is l equal to w?
False
Suppose 2*p = -p. Which is smaller: 1/21 or p?
p
Let j = 110.47 + -110. Let r = 0.5 + j. Let h = 0.03 + r. Is h at least as big as -0.3?
True
Let r = -2389/305 - -2/61. Let b = -6516/7 + 131237/140. Let j = b + r. Which is bigger: -2 or j?
j
Let s(j) = 11*j - 1. Let d be s(-1). Let q be d/4*2/6. Is -1/3 equal to q?
Fa