et s be h/(165/6)*5. Are s and 0 non-equal?
True
Let y = 4 + -4. Suppose 5*g + 0*g = y. Which is smaller: 2/19 or g?
g
Let j(l) = l + 4. Let f be j(-4). Suppose 6 - 2 = -4*w. Let v be ((3 + w)/(-4))/2. Is f equal to v?
False
Let i(m) = -m**3 + 7*m**2 - 6*m + 7. Let k be i(6). Let r = k + -8. Which is greater: r or -2/11?
-2/11
Let h(b) = -b**3 - b**2 + 4*b + 10. Let c be h(-3). Is c equal to 4?
False
Let a = -6 + -10. Is -1/4 greater than or equal to a?
True
Let v be 1 + 3 + 2 + -3. Suppose 11 = 4*h - 3*j, -13 = -5*h + v*j - 0*j. Are h and 2 equal?
True
Let p be 6/16*(-4)/9. Which is smaller: -1/3 or p?
-1/3
Let p = -5 + 4. Let t(c) = 2 - 2 - c**3 + 1. Let w be t(p). Is w < 3?
True
Let l(w) = -w**3 + 8*w**2 - 13*w + 1. Let t be l(6). Let j be 21/(-4) - (t + 1). Let a = -1 - -1. Which is bigger: a or j?
a
Let o(d) = -d**3 - 7*d**2 - 4*d + 11. Let u be o(-6). Let l be 153/(-78) + 2/1. Which is greater: u or l?
l
Let x be 0 - 10/(6/3). Let s(u) = u**2 - 1 + 5*u - 1 + 0*u. Let f be s(x). Which is bigger: -3 or f?
f
Let c be (-28)/6 + 24/6. Which is greater: c or 4?
4
Suppose 0*h + 2*w + 15 = 5*h, -5*h + 4*w = -25. Suppose 5*n = 5*r + 5, -3*n + r = -0*r - 1. Is n < h?
True
Let l be (-5 - -2)/(12/(-64)). Let y = l - 26. Let q be ((-2)/y)/(6/18). Which is bigger: 2 or q?
2
Let k be 14/10 - 2/5. Is k at most 3/29?
False
Let v be (0/(4 - 2))/2. Suppose v = -6*i + i. Suppose 5*k - 3*r = 2*k - 3, -5*k - 4*r + 31 = i. Which is greater: -1 or k?
k
Let x = 6 - 6. Let c be 3 + -2 + x/(-2). Are 1 and c unequal?
False
Suppose j = -2*b + 10, 2 = 2*b - 8. Let w = -21/2 - -43/4. Which is smaller: j or w?
j
Suppose -2*w - 12 = -2*i, i = 2*i + 3*w + 10. Suppose -1 = k + i. Is k equal to -3?
True
Let i = -1.04 - -0.04. Let h = 2 + i. Let q = h - 4. Which is smaller: q or -1?
q
Let o(z) = 13*z**2 + 6*z + 5. Let s be o(-6). Let r be s/7*3 - 0. Let a = r - 187. Is a greater than or equal to 0?
True
Let t = 12 + -11.9. Let o = -3 - -2. Let p = 3 + o. Which is bigger: p or t?
p
Let q = 40 + -39. Let k be (-306)/(-154) - (2 - 0). Let w = 3/11 - k. Are q and w nonequal?
True
Let k be (-4)/10 - (-6 + 5). Is k <= 2?
True
Let j(x) = -3*x - 1. Let f(w) = w + 1. Let s(i) = 2*f(i) + j(i). Suppose 0 = -0*d + d - 5. Let b be s(d). Is b < -4?
False
Let v(r) = r**2 + 7*r - 2. Let s be v(-8). Let q be ((-2)/s)/(4/6). Suppose -p - 1 = 0, -4*n - p = -3*p + 2. Are n and q non-equal?
True
Suppose -3*k - 5*n + 88 = 0, -k - 3*n + 16 = -4*n. Suppose -4*m + s = -k, 0 = -5*m + m + 3*s + 31. Let c be 1/4 + (-1)/m. Is 2 less than or equal to c?
False
Let a = 23 - 24. Is a at least as big as -14?
True
Suppose -2*s + 3*s + 9 = 3*a, 0 = 2*s. Let p = -11 + 15. Which is smaller: a or p?
a
Let v be 96/(-40) - (-1 + -1). Which is bigger: v or -2?
v
Let x = 34.26 - 33. Let a = x + -0.16. Let l = 1 - a. Is l >= 2?
False
Let z = -197/4 - -49. Suppose 5*q = 3*q. Suppose 5*l - 9*l = q. Is l > z?
True
Let i(o) = -11*o - 28. Let p be i(-3). Which is greater: p or 1/15?
p
Let a = 0 + -4. Suppose -2*j + 13 = -9. Suppose 0 = 4*x - 3*w, 2*x + x - 5*w - j = 0. Which is smaller: x or a?
a
Let x = 8.94 + -9. Let c = x - -0.06. Is 0.2 smaller than c?
False
Suppose 0 = -z - 4*l - 3, 4*l + 27 = 5*z + 3*l. Suppose p + 11 = z*y, -5*y = 3*p - 4 - 23. Does y = 4?
False
Let l(a) = -6*a**3 - 1. Let z be l(-1). Suppose -3*g + 6*g = 0. Suppose 0 = -g*f + z*f - 10. Which is smaller: f or -3?
-3
Let r(s) = -s. Let x be r(-1). Is -2 greater than or equal to x?
False
Let p be 1 - (-2)/(-2)*4. Let f = 11 - 14. Is f <= p?
True
Let b = -6 + 2. Let o = b - -4. Let j = -0.3 + 1.3. Which is smaller: j or o?
o
Let v = -1 - -1. Let g = 11318/21 - 539. Which is smaller: g or v?
g
Suppose 17 = -s + 5. Let c be (-3)/(-4) + 9/s. Which is smaller: 1 or c?
c
Let b be (1 + -1)/(0 + 2). Let h be -4 - 3*(-24)/20. Is b > h?
True
Let k = -3.3 + 3. Let u = -0.05 - -1.35. Let i = u + k. Which is greater: -0.2 or i?
i
Let l be ((-4)/(-6))/(-2)*-3. Suppose 1 = j - 1. Suppose -c - j*g - 1 = -13, -1 = 2*c - g. Which is greater: l or c?
c
Let d(h) = -7*h + 2. Let f be d(-2). Suppose -4 + f = 3*y. Which is smaller: -2 or y?
-2
Let u(q) = -3*q + 9. Let n be u(3). Which is bigger: n or -3?
n
Let h = 25.9 - 25.9. Let j = 19 + -7. Suppose 5*i - j = -s, 3*s - 2 = i + 2. Is h less than or equal to s?
True
Suppose 224 = -k + 5*k. Let c be (-30)/k + 1/4. Let w = 263 + -264. Is w less than c?
True
Let j(c) = -c**3 + 2*c + 1. Let r be j(2). Let q(o) = 3 - o - 12 + 2*o. Let t be q(6). Is r less than t?
False
Let a = -25 - -25. Suppose -4*t + 16 = -0. Which is smaller: t or a?
a
Let m = -10 + 45. Let c = m + -33.1. Let y = c + -2. Which is greater: -1 or y?
y
Let w be -2 - -3 - 14/(-2). Which is greater: w or 4?
w
Suppose -o = -2, -2*g + o = -3*o + 40. Let k(x) = x + 16. Let b be k(g). Which is greater: 2/15 or b?
2/15
Let x be 3/6*(-1 - -1). Suppose -3*m + 10 - 25 = x. Suppose g + 1 = -5. Which is bigger: g or m?
m
Let z = -232688/705045 - 40/4273. Let w = 2/33 - z. Is -0.13 < w?
True
Let k(w) = w**2 + 5*w + 3. Let o be k(-3). Let m be 2 + -3 + o/3. Let j be (-3)/((-27)/m - 3). Is -0.4 at most j?
True
Suppose -10 = 5*m + x + 4*x, -4*m - 4 = 2*x. Let u = 3 + m. Let w be (1 + 0/u)*1. Is w greater than 2?
False
Let k = -1 - -1.5. Let x = 1.5 - k. Are x and -3/2 nonequal?
True
Suppose 11 = 3*i - 19. Let x be (4/(-30))/(i/(-100)). Which is smaller: x or 0?
0
Let t be (3/(-1))/6*-10. Suppose 0 = t*q - 39 - 56. Suppose 4*j + 0*p - 18 = 2*p, 3*j + q = -5*p. Which is smaller: 1 or j?
1
Let u = 6.4 + -8.4. Is u < 5?
True
Let k = -68 + 74. Does k = 6?
True
Suppose 0 = -3*k + 2*s - 43, 4*s = -k - 33. Let c = 17 + k. Which is greater: c or 3?
3
Let h = 5 + 0. Suppose 2*n = -h*a + 3*a, n - 8 = -3*a. Which is smaller: a or 2?
2
Suppose 5*t - 2*t = -3. Let c be (-292)/(-36) + 2 + t. Let j = -683/72 + c. Is -1 at least as big as j?
False
Let r be (1/(-2))/((-2)/8). Suppose j - r = -j. Let a = 0.06 - -0.04. Which is bigger: j or a?
j
Let n = -0.4 - 0.5. Let g = -0.7 - n. Let o = g + 4.8. Which is smaller: o or -1/3?
-1/3
Suppose 2*b = 10*b - 3*b. Which is smaller: b or -2/5?
-2/5
Let m(q) = 3*q**2 - q + q**3 - 1 - 3*q**2 - q**2. Let i be m(2). Let v be (i - 3) + 0/5. Which is bigger: v or -1/2?
-1/2
Let l(z) be the first derivative of z**4/4 - 10*z**3/3 + 9*z**2/2 - z + 6. Let j be l(9). Which is smaller: j or -1/2?
j
Suppose 3 = -u - 0*u. Let f = 3 + u. Let v = 0 - f. Is -1 != v?
True
Let l(p) = -p**3 + 6*p**2 + 7*p + 5. Let c be l(7). Let u(r) = -4*r**3 - 3*r + 6*r**2 + 4*r + c*r + 6 + 5*r**3. Let o be u(-5). Which is smaller: -3/8 or o?
-3/8
Let s = -114 + 133. Which is smaller: 23 or s?
s
Let v(j) = 4 - j**3 - 6*j**2 + 3 + 0*j**3 - 4*j. Let a be v(-5). Which is smaller: 1 or a?
1
Suppose 4*n - 10*n - 84 = 0. Is n at least -9?
False
Let h = 339/13 - 26. Which is greater: 0 or h?
h
Let d = 4.1 + -3.92. Are d and -2 equal?
False
Let h(u) = -u**2 - 9*u - 4. Let r be h(-7). Let v be (6/20)/(12/r). Which is bigger: v or 2/9?
v
Let q = -98/39 + 5/2. Which is smaller: -1 or q?
-1
Suppose 15*g - 21 - 9 = 0. Is -4 smaller than g?
True
Suppose 0 = o - 3*r - 0 + 10, -o + 5*r = 14. Let k be o*3/(12/2). Let c be ((-5)/3)/(k/(-6)). Is -4 less than c?
False
Suppose 0*o + 3 = 3*o. Let v = o - 0. Let l(u) = -2*u**2 + 1. Let h be l(0). Is h > v?
False
Suppose -j - 103 = -3*s + 4*j, -4*j = 20. Suppose -3*y = 4*t + s + 9, 0 = -3*y + 2*t - 41. Let a = y + 20. Which is greater: a or 6?
a
Suppose -4 = 2*l + 4. Suppose 5*x = -4*q - 37, -4*x - 23 - 6 = 3*q. Is q less than or equal to l?
False
Let b = 0.89 + 0.11. Let o = -0.7 + 0.1. Which is smaller: b or o?
o
Let w = -2 - -2. Let o = -44/5 - -9. Which is smaller: w or o?
w
Let l be ((-186)/8)/(5/8). Let q = 37 + l. Let r = 1.1 + -0.1. Which is smaller: r or q?
q
Suppose m - 16 = -61. Let x = m - -134/3. Let j(b) = b**3 + 6*b**2 - 6*b + 6. Let s be j(-7). Is x at least s?
True
Suppose 5*r + 325 = -200. Let y be (1/(-5))/((-6)/r). Let j = -9 - -6. Which is greater: j or y?
j
Let x(a) = -a**2 - 5*a + 1. Let m be x(-5). Let w(s) be the first derivative of s**2/2 - 7*s + 2. Let u be w(6). Is m < u?
False
Let a(n) = 4*n + 30. Let h be a(-8). Are 8 and h unequal?
True
Let h = 0 - 2. Let k = -27 + 24. Is h > k?
True
Suppose -4*f = 12 - 8. Let n = 0 - 0.1. Is