 nonequal?
False
Let a(j) = -j**2 + 2*j + 1. Let u be a(2). Let b = 3 - u. Suppose -1 - 1 = -3*r - i, -4*r - i = -b. Is 1 <= r?
False
Let q be -2*9/(-24)*(-64)/(-696). Which is smaller: q or -2/3?
-2/3
Let b = 23 - 13. Are b and 13 equal?
False
Let j = -0.7 - 7.3. Let z = j - -7.8. Is z != 1?
True
Suppose 0 = -0*a - 5*a - 3*w - 7, -2*a + 4*w - 8 = 0. Suppose 4*h - 9 = -5*k, -4*k = 3*h + k - 3. Let o = h + -9. Which is bigger: o or a?
a
Let p(c) = 14*c - 2. Let i be p(1). Let r(o) = o**2 - 13*o + 5. Let u be r(i). Is -7 bigger than u?
False
Let z = -1 + 0.8. Let y = -0.17 - 0.03. Let m = z - y. Do -3 and m have the same value?
False
Suppose -5 = 4*s - 17. Let c be 0 + 4*s/6. Suppose c = 3*a + 5. Is 0 less than or equal to a?
False
Let p(l) = -l**3 - 8*l**2 + 5. Let r be p(-8). Suppose 8 = r*h - 2. Does h = 1?
False
Let u = 528 + -528. Let v = 8 + -11. Let p = 9 + v. Which is smaller: p or u?
u
Let k = -1.38 - -1.2. Let f = 0.08 + k. Are 1/3 and f equal?
False
Let k = 0.38 - 29.38. Let o = k - -18. Is o not equal to 0?
True
Suppose 5*c - 4*o + 42 = 0, -3*o + o = -c - 12. Let x be 12/(-18) - (-2)/c. Is -3/5 not equal to x?
True
Suppose -4*n - 56 = 64. Let z = 5 + 3. Let h be z/20 + (-28)/n. Is h <= 0?
False
Let v = 4 + 5. Let g = v + -14. Let c be 2*(0 + g/12). Which is smaller: c or 0.1?
c
Let u = -2.054 - -0.054. Is u smaller than -8?
False
Let i be 4/(-12)*1151/2. Let g = i + 847/6. Let q = 50 + g. Is q less than 1?
True
Suppose 0 = -3*y + 5*y - 14. Let g = 6 - y. Is g at most -4/5?
True
Let z = -1/134 - 527/1206. Suppose -5*u - 5*q = -10*q - 10, 4*q + 3 = -u. Is z < u?
True
Let n = 164/85 + -26/17. Which is smaller: n or 2?
n
Let y be (-1 - -3) + 164/(-76). Let b = y + -4/95. Which is greater: -1 or b?
b
Suppose -5*t = -t + 20. Are -6 and t equal?
False
Let u be 6/(-15) - (-665)/(-25). Do u and -28 have the same value?
False
Let y = -5 - 0. Let s be y/(-2) - (-6)/(-12). Which is smaller: s or -1/3?
-1/3
Let t be 6/(-33) + (-2762)/(-66). Let z = 42 - t. Which is smaller: z or -1?
-1
Let f = 8.9 + -54.9. Which is greater: -1 or f?
-1
Let c = -28 - -111/4. Which is smaller: c or 4?
c
Let m be 590/(-18) + (-18)/81. Which is greater: m or -31?
-31
Let p(v) = 6*v - 16. Let c be p(0). Which is smaller: c or -18?
-18
Let k be (-5)/3*(-5 + 8). Let p be (2/k)/(3/(-150)). Let t be (-9)/15 - 3/p. Is t greater than or equal to -1/4?
False
Let w = 1.32 - 0.12. Which is greater: w or 0?
w
Suppose 3*d = -5 - 1, -2*n - 5*d - 14 = 0. Let f be (-4)/(10/(-4)*n). Suppose -10*y = -13*y - 6. Which is greater: f or y?
f
Let v(i) be the first derivative of 3*i**2 + i + 1. Let s be v(1). Let l = s - 6. Is l greater than or equal to 2/7?
True
Let s(a) = a**3 + 11*a**2 + 9*a - 11. Let d be s(-10). Let i = 41 - 204/5. Is d > i?
False
Let j(f) = f**3 - 2*f**2 - 3*f + 1. Suppose 3*x + r - 11 = 0, -2*x - r + 14 = 3*r. Let p be j(x). Is p > 5?
False
Let i be -2*((0 - -4) + 5 + -7). Suppose 2*c = 3*c - 5. Let z = i + c. Are 3/11 and z non-equal?
True
Let w = 7 - 11. Let p = -4.3 - w. Let l = p + 0.3. Which is bigger: -1/2 or l?
l
Let h = 0.4 + -1.1. Let x = h - 0.3. Which is smaller: -1/3 or x?
x
Let g = -5 + 2. Let u be (3 + g)/(2/(-1)). Let v = -28 - -85/3. Is v less than u?
False
Let d = -1/95 - -4/19. Is -1 greater than or equal to d?
False
Suppose a = 4 + 1, -4*a = -z - 18. Is -2 >= z?
False
Let a = 12 + -8. Is 4 greater than a?
False
Let d = -71 + 72. Which is smaller: -9 or d?
-9
Let y be 6/(-4)*352/33. Is y != -16?
False
Let d(n) = n**2 - 7*n + 3. Let o be d(8). Are 11 and o unequal?
False
Let y(d) = d**3 + d**2 + d - 2. Let u be y(0). Which is smaller: u or -30/19?
u
Let p = -0.19 - -1.79. Let d = p + -8.6. Which is greater: d or 0?
0
Let w = -73/531 - 5/59. Suppose 4*v - 10*v = 0. Is v < w?
False
Suppose 3*j - 2*g + 84 = -g, 5*j + 2*g = -129. Which is smaller: -1 or j?
j
Let s be 1/(3 + 3 + -7). Let g = -2 + s. Let v = -8 - -4. Which is bigger: v or g?
g
Let o = 1.4 + -0.1. Let f = o - -3.7. Which is smaller: -1 or f?
-1
Let h be 6/(-2) + 160/60. Let d be (-4)/(1 - -1)*2. Let c be (-1)/((-2)/d) - -2. Which is bigger: c or h?
c
Suppose -16 = -2*l - 2*l. Let v be (3/96*l)/1. Which is bigger: 0 or v?
v
Let o be (1 + 0)/((-10)/(-60)). Suppose 0*l = 4*l - 8. Let m be l/8*(o - 4). Which is bigger: m or 0?
m
Let y = -93 + 93. Which is smaller: y or 65?
y
Let y(j) = 12935*j**3 - j**2 + 6*j + 2. Let z be y(-4). Let s = z - -571235717/690. Let x = -2/115 + s. Is x less than or equal to -1?
False
Let d(y) = -2*y**2 + 3*y**2 - 3*y**3 - 1 + y + 0*y**3. Suppose 0*z + 1 = 3*g - z, -3*g - 4*z = -11. Let u be d(g). Is u >= -1?
False
Let t be (5/30)/(2/(-8)). Let d = 3.1 - 9.8. Let c = -7 - d. Is t > c?
False
Let u = -88 - -88. Suppose 2*x = -2 + 4. Is u less than or equal to x?
True
Let t be 2 + (-20)/(-5)*(-2)/4. Is -14/11 at least as big as t?
False
Let d = 0.6 - 0.76. Let g = 0.06 + d. Is g less than or equal to 4/5?
True
Let w(r) be the second derivative of -r**3/2 - r**2/2 + r. Let t be w(1). Which is smaller: t or -5?
-5
Let l be (-2 - 0)*(-2)/(-4). Let j = 97 + -676/7. Which is bigger: l or j?
j
Let p = -6 - -5. Let s be p*(-3)/(-18)*-3. Which is smaller: s or -0.5?
-0.5
Let p be (-6 - -9) + 1 + -2. Suppose 0 = 5*g - 21 - 4. Which is smaller: g or p?
p
Let b(a) = -1 + a**2 + 12 + 16*a - 6*a. Let k be b(-8). Are k and 2 equal?
False
Suppose r = 6*r - 15. Is 32/11 less than r?
True
Let q be 6/15 + (-96)/140. Suppose -l + 3 = -0*l. Suppose -l*d = d. Is q at least d?
False
Let x = 32 - 29. Is 7/3 less than or equal to x?
True
Let x be (1 - 1)/3 + 4. Suppose 4*h - f = 12, 3*f = 2*f + x. Suppose b + h*b + 10 = 0. Do b and -2 have the same value?
True
Suppose 0*n + 4 = n. Let h = -4 - 4. Let x = h + n. Is -4 != x?
False
Let d be 1/4 + 1924/(-160). Let p = 99/8 + d. Is 1 != p?
True
Let f = -4 + 7. Suppose -7*n = -f*n - 4. Which is smaller: n or 4?
n
Let i be (2/(-8))/(4/(-4)). Suppose 0 = -5*r + 3*r - 5*f - 2, -4*r + 3*f - 4 = 0. Let o be 6/9 + r/6. Is o bigger than i?
True
Let z = 0.3 - 0.3. Let t = 2.97 + -3. Which is smaller: t or z?
t
Suppose -5*l + 28 = 2*j - l, -j + 3*l - 6 = 0. Suppose -2 = 2*s - j. Suppose n = 1 - s. Which is greater: n or 0?
0
Let h be (873/27)/(460/3). Let g = h + -1/92. Is g != -1?
True
Let t = -92/255 + -2/51. Let z be 2 - (-2)/((-2)/2). Let w be -1 + 1 - (0 - z). Which is bigger: w or t?
w
Suppose -4*u - 13 = -6*y + y, -5*u - 5*y = 5. Let a be (-20)/11 - u/(-11). Suppose -2*s + 6 = -2*x, 2*x + 3 = -0*x + 5*s. Is a less than x?
False
Let t(x) = -4*x. Let q be t(-4). Suppose 2*u = v - 3, -3*u = -2*u + 3*v - q. Is -1/3 at least as big as u?
False
Suppose -2*p = 3*r + 7, -5*p - 23 = 3*r - 1. Are 2/45 and r equal?
False
Let j be (4/(-25))/(2 + (-48)/15). Is 0 <= j?
True
Let i = 2 - 1. Let j be 3/(-2)*(-80)/(-6). Let d be 0 - (-2 - j/11). Is i <= d?
False
Let k be 4/(-12) - (-51)/(-63). Which is smaller: k or -1?
k
Let i(t) = t**2 + 5*t + 5. Let w be i(-2). Is w smaller than -1.4?
False
Let x be 1727/13 - (1 + -1). Let j = -133 + x. Suppose 0 = -p - 5 + 4. Which is smaller: j or p?
p
Let r(f) = 5*f**2 - 8*f - 1. Let i(p) = -6*p**2 + 9*p. Let d(s) = -4*i(s) - 5*r(s). Let z be d(5). Which is bigger: 2/3 or z?
2/3
Suppose 0 = -2*c - 2*y, 2*y + 2*y = -5*c - 5. Let t(a) = 0*a**3 + 3*a**3 - 4*a + 4 + 3*a + 8*a**2 - 4*a**3. Let j be t(8). Are j and c unequal?
True
Let w = 2 + -2. Suppose 4*j = -16, 0 = a + j + 1 - 2. Suppose a*l + 5*o = w, -5*o = -3*l - 3 - 13. Which is smaller: l or 1?
l
Let c = -20 - -6. Let b be (-2)/7*c/8. Is 1 at least as big as b?
True
Let c = -7 + 6. Let o = c + 0.9. Do o and -1/5 have the same value?
False
Let i = -1.064 + 0.064. Is 0.48 >= i?
True
Suppose h + 5*o = 12, -o + 0 = 3*h + 6. Let w(y) = y - 6. Suppose 0 = -4*v + 14 + 6. Let m be w(v). Which is smaller: h or m?
h
Let k = -546/5 - -110. Suppose 0 = 6*b - b. Are k and b unequal?
True
Let m = 18 + -96/5. Suppose -3*l = -4*w + w - 3, -2 = 2*w. Is l equal to m?
False
Let g = 9 - 3. Let a = -6 + g. Is -4/3 smaller than a?
True
Let v = 56 - 32. Let t = v - 16. Is 7 greater than or equal to t?
False
Let v = -5 + 2. Let q = -37 + 41. Let h = q + v. Is h less than -2/5?
False
Let p = 461/1298 + 1/118. Which is smaller: p or 1?
p
Let r = 16 - 12. Suppose -5*c - r*l - 11 = 5, 0 = -2*c - l