 or n?
2/33
Let k be (40/(-15))/(2/(-53)). Let i = 3592/51 - k. Do i and 1 have the same value?
False
Suppose 9*w + 36 = 11*w. Let q be ((-12)/w)/(20/6). Is q at least -1?
True
Let d = 0.1 + 9.9. Let a = 10.1 - d. Which is smaller: a or 0.07?
0.07
Suppose 0 = 3*r - 2*z + 3*z - 9, -3*z = 0. Let m be -6 + (-1)/(r/(-9)). Let w = 3 + m. Is w greater than 0?
False
Suppose 2*h = 3 + 1. Let l(z) = z + 2. Let t be l(-1). Is h >= t?
True
Let l = -17 - -28. Suppose 4*h + 3 = l. Which is smaller: h or 3?
h
Let w = 5 + -1. Suppose 4*s - 6 - 2 = 2*r, -2*s - 2 = -w*r. Suppose 5*g = 2*o + 1, -g = s*g - 5*o - 11. Which is smaller: 0 or g?
g
Suppose 2*c = -5*t + 15, -9 = -5*c + 16. Is t equal to 7?
False
Let x be -18*(0 - 4/6). Let u = x + -7. Suppose -21 = u*r + 2*z + 2*z, 2*z = -r - 3. Which is greater: r or -4?
-4
Suppose -3*l - 3*j = -0*l - 6, 0 = 2*l - j + 5. Are 2/11 and l non-equal?
True
Let i = 5336/175 - 214/7. Let g(u) = -u**2 - 5*u + 5. Let q be (3 - 2)/(2/(-12)). Let o be g(q). Is i bigger than o?
True
Let o = -9 + 17. Is 6 smaller than o?
True
Let b be ((-2)/5)/(5/(-575)). Let o be -2 - ((-134)/b + 1). Which is smaller: 1 or o?
o
Let p(n) = n**3 - 4*n**2 + 2*n + 3. Let w be p(3). Let b be 0*(2 - (0 - -1)). Suppose b = -2*f - 1 - 1. Which is bigger: w or f?
w
Let y = 45 - 46. Let b be 2 + -4 + 34/18. Is b less than y?
False
Let t = 24.02 + 0.82. Let y = -0.16 - t. Is y at most 1/4?
True
Let w(k) = k + 6. Let h be w(-5). Which is bigger: h or 2/9?
h
Let m be 0*(1 + 1 + -3). Is 20 >= m?
True
Let g = 1 - 2. Let d = -0.94 - 4.06. Which is smaller: g or d?
d
Let p = 4179 + -522372/125. Which is greater: p or 1?
1
Let p be (-3)/(-15) + 89/5. Let v be (-8)/p*3/2. Suppose 4*f - 4 = 3*y, 2*y - f + 0 = -1. Is y > v?
True
Let c = 530 - 531. Let f = -0.09 + 6.09. Is c greater than f?
False
Let q = 2 - 2. Let j(s) = -s**2 - 5*s + 5. Let n be j(-6). Let a be 6/(-9) + n/(-6). Which is smaller: a or q?
a
Let w be 2*(2 + 5/(-2)). Is w greater than or equal to -51?
True
Let g = 4 + -4. Let x = -44/7 + 653/105. Is x greater than or equal to g?
False
Suppose 3*g - 8*g + 15 = 0. Suppose -3*y = g*w + 3, -w = -6*y + 2*y - 24. Is y at most -6?
False
Let d = 0.11 + -0.81. Let u = d + 0.7. Is u bigger than -5/2?
True
Let g(v) be the first derivative of -2*v**2 - 2. Let h be g(-1). Is -1 > h?
False
Let u = -402/5 - -80. Which is smaller: u or 1?
u
Let k(a) be the second derivative of -a**4/12 + a**3/3 - 2*a**2 - 3*a. Let i be k(3). Let q = 1 + i. Is -5 <= q?
False
Let o be 189/14*1/(-6). Let m be ((-1)/(-2))/(3/(-6)). Which is smaller: o or m?
o
Let q = -18 + 13. Let f be 3 - (-7)/3*-3. Is q less than or equal to f?
True
Let h be 156/(-14)*(-1)/(-45). Let k = h - -1/21. Which is smaller: -1 or k?
-1
Let k = 636417/8330 + -1/1666. Let o = k - 76. Is o at most as big as -1?
False
Let c(p) be the third derivative of p**5/60 + p**4/3 - p**3 + 4*p**2. Let q be c(-8). Which is bigger: q or 1?
1
Let s be 7 - (-4)/((-4)/3). Let c be 1/(-4) + 1/s. Is -1/3 bigger than c?
False
Let n = -15 - -257/17. Suppose -4*p - 20 = -2*p. Let d = p + 11. Which is bigger: n or d?
d
Let t be 2/4 - (1 + (-35)/22). Is t < 1?
False
Let f(o) = -o**2 - 4*o - 1. Let g be f(-3). Suppose 4*c + 16 = 4*k, 2 = c - k + g*k. Is -1 greater than c?
False
Suppose 6 = u + 2*u. Let p be u - -6*2/(-4). Is p at least as big as -2/7?
False
Suppose 2*u = 5*u + 33. Let j(m) = m + 13. Let k be j(u). Are k and 1 equal?
False
Let w = 139/30 - 24/5. Let s(y) = -2*y**3 - 9*y**2 + 6*y + 4. Let z be s(-5). Are z and w nonequal?
True
Let x(i) = -i**2 - 12*i - 12. Let s be x(-13). Which is bigger: 0.1 or s?
0.1
Let m be 4/(-6)*1*(-1)/2. Let h be (-2)/1 + (2 - 0). Let r = h + -1. Which is smaller: r or m?
r
Let r(z) = -2*z**3 + 4*z**2 + z - 1. Let v be r(2). Which is greater: 4/3 or v?
4/3
Let j be (-3926)/(-8)*(-4)/(-8). Let b = j - 245. Which is smaller: b or -1?
-1
Let w = -0.37 - -0.07. Is -2/3 less than w?
True
Suppose z - 3 = -0*z, -4*o + z - 27 = 0. Let j = 5 - 11. Are o and j unequal?
False
Let q = -22019/26 + 847. Which is smaller: q or 1?
q
Let q(w) = w**2 - 2*w - 4. Let o = -10 - -13. Let x be q(o). Is 1/33 less than or equal to x?
False
Let h be (1 + -10)/(-3)*-3. Let p(g) = g**3 + 8*g**2 - 8*g + 10. Let v be p(h). Is v > 2?
False
Let p = -70/3 + 23. Let x be -4*1/4*0/(-1). Is p at most x?
True
Let c be (77/(-22))/((-2)/4). Suppose -c*m = -8*m - 8. Is m greater than or equal to -8?
True
Let x = -13 + 5. Let m = 331 + -330. Which is greater: x or m?
m
Let n = 23 + -16. Let k = n + -9. Which is smaller: k or 3?
k
Let u = -1.55 + 0.05. Let a = 0.3 + u. Let o = 0.2 + a. Which is smaller: 2 or o?
o
Let w = 0.3 + 0.2. Let d = w - 1. Let u = d + 0.2. Which is bigger: u or -2?
u
Let c = -755/2 + 390. Let y(s) = -s**3 - 6*s**2 - 2*s + 1. Let r be y(-6). Which is bigger: c or r?
r
Suppose 6*c - 4*c = 8. Let j = 6 - 2. Is c not equal to j?
False
Let l = -1 + 9. Suppose 4*y + 0*c + 4*c - l = 0, -2*y + 10 = -4*c. Is y >= 3?
True
Let n be (6/(-5))/((-18)/60). Suppose -2*c + k = -3*k - 34, 3*c = n*k + 41. Which is smaller: c or 6?
6
Suppose -4*y + 3*m - 3 = 0, -2*y + 4*m = 2 + 2. Let o = 5 + -5. Suppose o = -r + 3*r. Is r >= y?
True
Let t(z) = -z**3 - 5*z**2 - 6*z + 1. Let u be t(-5). Which is bigger: u or 1?
u
Let p = -9 + 11. Suppose 0 = 5*i - 0*i + 30. Let w be -1*(14/i - -1). Which is smaller: w or p?
w
Let c be ((-10)/(-3) + (-4)/6)/(-2). Is 0 at least as big as c?
True
Let s = -115 - -110. Which is smaller: s or 3?
s
Let o = -2 - -2. Let i = -90 - -812/9. Which is bigger: i or o?
i
Let y = -63 + 64. Is y smaller than -2/35?
False
Let o = 40 - 41. Is -3 equal to o?
False
Suppose 23 - 3 = -5*j. Which is greater: -3 or j?
-3
Let j = 4 - -3. Does j = 13/2?
False
Let c(w) = w**2 - 7*w + 4. Let r be c(6). Let b = 2 + r. Let h be 3/(-2)*7/21. Is h <= b?
True
Let m = 7 - 2. Let k = 4 - m. Is k at least as big as 1/4?
False
Let a be 8/48 - (-53)/(-246). Which is smaller: a or 1?
a
Let o be 5 + (6/(-3) - -2)/3. Which is bigger: o or 8?
8
Let i be 4*2/32*-3. Which is bigger: i or 0?
0
Let n be 16 + 4 + -1 + 2. Let p be 28/n + (-2)/6. Is p greater than or equal to 7?
False
Suppose 5*r - 111 - 29 = 0. Which is smaller: r or 27?
27
Suppose -k = 4*w + 3*k, 3*k - 40 = 5*w. Let n(o) = o + 2. Let g be n(w). Is g greater than -2?
False
Let l be ((-5)/15)/((-1)/(-21)). Let b(s) = s**3 + 8*s**2 + 6*s - 2. Let r be b(l). Which is greater: r or 4?
r
Suppose v = -2, m + 5*v + 12 + 5 = 0. Which is greater: m or -1?
-1
Let y = -6 - -6. Let l be y*(1 - 2)*1. Which is smaller: l or -2/5?
-2/5
Let p(x) = -x + 14. Let y(u) = u**3 - 2*u**2 - u + 2. Let b be y(2). Let z be p(b). Suppose 0 = r - 0*r + 3*l + 14, -3*r + z = -5*l. Which is greater: -1 or r?
-1
Let m = -19 - -12. Let l = m + 7. Is 1 < l?
False
Let p(c) = 2*c**2 - c**2 - 4 + c**2 - c**3 + 2*c - 5*c**2. Let w be p(-4). Which is smaller: w or 5?
w
Let f = 6/7 - 5/14. Which is greater: 0.1 or f?
f
Let u = 1 - -1. Suppose -u*x = 3*x - 5. Is 1/7 >= x?
False
Let w = 0 - 3. Let q be 6/9*-3 - w. Which is bigger: q or -1/6?
q
Let z = 6.01 + -6. Let u = z - 0.01. Is -3 less than u?
True
Suppose 2*i = i + 2. Suppose -4 = -i*m + 4. Is m greater than or equal to -2?
True
Suppose 3*y = -6, -y - 311 = -3*j - 0*y. Let z = -349 - j. Let w = 2268/5 + z. Which is smaller: 3 or w?
w
Let l be (-173)/(-12) + (-6)/(-24). Let o = 15 - l. Is -1/2 greater than o?
False
Let a = -133 + 2393/18. Which is bigger: a or -1?
a
Let f = -28 + 27. Which is smaller: f or -1/4?
f
Suppose 1 + 3 = 4*z. Suppose m - l = -3, l = 3*m + 6 - z. Let j be 20/15*1/4. Which is greater: m or j?
j
Suppose 0 = k - 4*p + 2, -3*k + 4*p + 9 = 7*p. Suppose n + k = -n. Do n and 0 have different values?
True
Let r = -21 + 29. Suppose 4*g = r*g. Let p = -0.2 - -0.3. Is g greater than p?
False
Let r be 21/(-20) - 1/(-4). Suppose 6 = -3*g + 4*f, -2*g - 4*f = 2*g - 20. Suppose -w - 2*y = -8, -g*y = -3*w - w - 8. Are w and r non-equal?
True
Let q(d) = 3*d**2 + d**2 + 7*d - 10 - 3*d**2 + 3*d. Let l be q(-12). Is 14 at least l?
True
Suppose -3*o - 5 = 2*o. Which is smaller: -9/8 or o?
-9/8
Let s be (30/8)/(1/(-4)). Is -15 < s?
False
Suppose l + 4 = -2*b, -l + 0 = 4*b + 2. Let r be (-20)/l - 1/3. Let f = -16 + 18. Is f equal to r?
False
Let a = -1 - -13. Let y 