28. Are 0 and n unequal?
True
Let l(b) = b**3 - 4*b**2 + b. Let w = -5 - -9. Let s be l(w). Suppose 0 = -t - 2*m - 1, -2*t + s*m - 5 = 3*t. Which is bigger: 3 or t?
3
Let l = -788 - -10254/13. Is l at least as big as 2?
False
Suppose 0 = 4*w + 1 - 5. Suppose 0 = -9*g + 8*g + w. Let m = g + -3. Do m and -2 have different values?
False
Suppose 0 = 4*u - 5*u + 1. Let h = 14 + -14. Which is smaller: h or u?
h
Let p = 40531/9 - 4499. Let t = -218/45 + p. Let z = 24 - 25. Which is bigger: t or z?
t
Let m = -1997/8 + 250. Let s(o) = o**3 - o**2 + 1. Let n be s(0). Are n and m unequal?
True
Suppose 5*b + 17 = -63. Let c = b - -16. Which is greater: c or 4/5?
4/5
Let x = -71 - -70.973. Is 1 > x?
True
Let y = -0.7 - 40.3. Let l = 37.9 + y. Let a = -3 - l. Are a and -0.1 unequal?
True
Let k be 28/(-12) - 2/6. Suppose 3 = 2*v + 7. Which is smaller: k or v?
k
Suppose -7*t + 5*t = 0. Let z = 2 + -4. Let a = t + z. Is a at most -2?
True
Let t(b) be the second derivative of b**4/12 - 2*b**3/3 - 3*b**2/2 + 2*b. Let k be t(5). Let z be (-2*1/3)/(-1). Are z and k nonequal?
True
Suppose 0 = -4*r + 30 - 10. Suppose 3*y = -2*y + 3*p + 5, -r*y = 2*p - 5. Let h be (1/(-5))/(1/(-6)). Is h > y?
True
Suppose m = 5 - 2. Suppose 0 = -m*v + 6*v - 3. Which is smaller: 2 or v?
v
Let d = -0.9 + -0.1. Let r = 1 - d. Let o = -0.013 + 0.113. Which is bigger: r or o?
r
Let h = -5.3 + 26.3. Which is greater: h or 0?
h
Suppose 0 = -4*z - 18 - 2. Is -6 smaller than z?
True
Let v = -12/4519 + -2819796/22595. Suppose 4*x + 36 = -460. Let q = v - x. Are -1 and q nonequal?
True
Let w = 150015/4 + -3803167/100. Let c = w + 528. Which is smaller: -1 or c?
-1
Suppose 0 = -2*r + 3*q - 13, -3*q = -5*r - 0*q - 10. Let l = -2 - 0. Let i be l/56 + 8/28. Is i at most r?
True
Let o = -7.2 - -7. Which is smaller: o or 1?
o
Let t = 8 - 14. Which is bigger: t or 0?
0
Let p = -1 + 2. Suppose 2*b = 3*k - 15, 2*k - 8 = b + p. Which is greater: b or -4?
b
Let x = -2.2 + -5.8. Which is smaller: -1/4 or x?
x
Suppose -5*t - 5*w - 3 = -w, 3 = 4*t + 5*w. Let f = -2 - t. Suppose 0 = n - 0 - f. Which is smaller: n or -1?
-1
Suppose -k = -5*k + 172. Suppose 32 + k = w. Let q = w + -523/7. Which is smaller: q or 1?
q
Suppose 6*c - c + 10 = 0. Let z be (-8)/10*(-90)/(-84). Which is smaller: c or z?
c
Let u = 9878 - -5844. Let v = -78348/5 + u. Let c = v + -52. Which is greater: -0.2 or c?
c
Let u = 11 - 9. Let f(t) = -t**2 + 3*t - 1. Let w be f(u). Is w <= 4/9?
False
Let h be 2/8*-9 - -2. Let d be 0 - (15/(-3))/(-1). Let n = 6 + d. Which is bigger: n or h?
n
Let g = 91/255 - 2/85. Let r be (-6)/(-9)*3 - 0. Suppose 0 = -2*p + r - 0. Which is smaller: g or p?
g
Let p = -11 + 5. Let a be (-3)/p + (-5)/2. Let u = 3 + -5. Is a < u?
False
Let m = -69 - -18. Does m = -50?
False
Let b = -51/20 - -9/5. Is b smaller than 0.1?
True
Suppose -22*x + 24*x = 16. Is 3 equal to x?
False
Let p(j) = -j**2 + 7*j - 4. Let q be p(5). Suppose -4*d = -d + q. Suppose -l + 3*c + 10 = 0, 3*c + 0 = 3*l - 6. Is l at most as big as d?
True
Let w = -3.26 - -0.06. Let g = -1.2 - w. Are -3 and g equal?
False
Let w = -17 + -2. Let d = 397/3 - 1813/12. Let g = d - w. Is g less than -0.2?
False
Suppose 3*o - 31 = -4*m - 2*o, -27 = -3*m - 5*o. Let t be 4/(-14)*(-2)/(-358). Let z = 10018/3759 - t. Which is smaller: z or m?
z
Let q = -457 + 458.93. Let o = -0.07 - q. Let u = 1.7 + o. Which is smaller: -1 or u?
-1
Suppose 0 = 5*f + 2*d - 5*d + 68, -f - 2*d - 24 = 0. Does -16 = f?
True
Suppose -4*s = -13*s - 261. Which is bigger: -30 or s?
s
Let n(r) = r**2 + 6*r + 1. Let x be n(-6). Let t = -34 + 35. Let g = x - t. Which is smaller: g or -1?
-1
Let i = -23 + 23. Which is bigger: -1/5 or i?
i
Suppose -5*a - 2 = -3*a. Let q be (-2)/((-3)/(3/a)). Which is bigger: -3/5 or q?
-3/5
Let q be (-4)/14 + (-2)/((-14)/(-5)). Which is bigger: q or -9/14?
-9/14
Let i = 7.9 + -8. Let h = -0.3 - i. Which is smaller: -2 or h?
-2
Let u = 24 + -18. Suppose -z + 3*g + 2 = u*g, -3*g - 1 = 4*z. Is -3/8 at least as big as z?
True
Let d = 203/156 - 18/13. Is d at least as big as -2?
True
Let y be (-892)/(1 + (-6)/10). Let j = y - -73580/33. Let f = j - 4/11. Is 0 less than or equal to f?
False
Suppose -63 = 13*m + 158. Do -17 and m have the same value?
True
Suppose -4*l + 69 = 9. Let h be l/(-156) - (-1)/4. Let x(v) = -v**2 - 8*v + 8. Let b be x(-9). Which is bigger: h or b?
h
Let z = 2 - 2. Which is bigger: -1/66 or z?
z
Let w = -4 - -2. Let h = -4 + 3.5. Let t = h + 0.6. Is t >= w?
True
Suppose 4*h = 2*o - 36, 2*h - 2*o - 34 = 5*h. Let f be 4/h - (-14)/10. Is f bigger than -2/15?
True
Suppose 3*g - 4 = g. Let i(q) = -q + 8. Let t be i(6). Suppose 5*d - 3*b - 15 = 0, d - t*b - 25 = 3*b. Is d > g?
False
Let h = -32 - -45. Which is smaller: -0.2 or h?
-0.2
Suppose c = -5*u, 0 = 3*u + c + 3*c. Let f = -2/33237 - -509668/565029. Let y = f + -4/17. Which is greater: y or u?
y
Let a be (1 - -1) + (1 - 3). Let p be (-11)/14 + 1/2. Is p less than a?
True
Let z(h) = -11*h**3 - h. Let b be z(1). Let y be ((-1)/2)/((-78)/b). Are y and 1 non-equal?
True
Let v = 0.02 - 0.03. Which is smaller: v or 2/7?
v
Let u be (-2)/(16/7 - 2). Let y(g) = 2*g - 39. Let j be y(16). Is u >= j?
True
Suppose 4*u - 4*z - 53 = 211, 0 = 2*u - 3*z - 137. Is u greater than 61?
False
Let p = 7.8 + -8. Let h = 0.5 + p. Is h at most -1?
False
Let j = 13 - 11. Suppose 18 = -5*z + j*s, -z + 2*s + 0 = 2. Which is bigger: z or -6?
z
Suppose 0 = 2*b - b - 26. Is 26 at least b?
True
Suppose 0 = -2*b + 5*i - i + 16, 0 = b + 5*i + 27. Let m(s) = s - 2 + 3 + 2. Let u be m(b). Which is bigger: u or 1/9?
u
Let r = 18 + -20.6. Let q = -0.6 - r. Let o = 2.1 - q. Which is smaller: -1 or o?
-1
Let v be (-2 - 7)*((-1)/1 - -2). Is -9 smaller than v?
False
Let b(o) = -o**2 + 2*o. Let w be b(3). Let z(j) be the second derivative of -j**3/6 + j**2/2 - 3*j. Let f be z(4). Is w > f?
False
Suppose 3*o + o - 60 = 0. Let u be 33/o - (1 + 1). Which is smaller: u or -0.1?
-0.1
Suppose 4*r = -4*c + 36, -6 = -c + 3*r + 3. Suppose -27 = -4*l - 3. Let k be (l/(c/(-3)))/(-3). Which is smaller: 1 or k?
k
Suppose u + 6 = 4*u. Suppose -u*d + 5*y - 13 = 0, -2*d + 4*y + 1 = 11. Does d = 1?
True
Suppose -o = -4, -f = -4*o - 6 - 6. Which is greater: 27 or f?
f
Let o(m) = -2*m + 8. Let i be o(-6). Is 21 bigger than i?
True
Let a be (-104)/150 - 8/(-12). Let n be (-44)/225 - -1 - 1. Let z = n + a. Which is greater: z or 1?
1
Suppose -3*x - 16 + 88 = 0. Suppose 3*w = 5*l - w + 43, x = -3*l + 3*w. Let s = -6 - l. Is s at most 5?
True
Let q(h) = -3*h + 9. Let j be q(4). Which is smaller: -6 or j?
-6
Suppose -6*c + 3*c = 0. Let h = -658/9 - -11699/45. Let g = 187 - h. Which is bigger: g or c?
g
Let b be (-28)/(-98) + 32/(-161). Let l(k) = -k**2 - 6*k - 4. Let x be l(-5). Which is smaller: b or x?
b
Let i = 0.48 - 0.08. Let m be 18/8 + -1 + -1. Which is greater: m or i?
i
Let v(k) = k**3 - 14*k**2 - 16*k + 18. Let w be v(15). Is 5 > w?
True
Suppose -20 = -2*a - 5*p, 3*a - p + 2 = -2. Let y be 1/(2/(-2)) + 6. Suppose -2*d - 4 = 5*o + 6, y*d + 8 = -4*o. Do d and a have different values?
False
Let h = 55 + -30. Which is greater: h or 1?
h
Let m(l) = -l**3 + 6*l**2 + 8*l - 6. Let z be m(7). Let d = z + -2. Which is smaller: d or -2?
-2
Let j = -198 + 807/4. Let k = j - 4. Is 0 less than k?
False
Let r be (-1 - 0) + 3/4. Let f be ((-32)/(-168))/(2/3). Which is greater: f or r?
f
Suppose -b - 3*u = -3, 4*b - u - 28 = 3*u. Is 5 greater than b?
False
Let o = 6 + -17. Is -1 at least as big as o?
True
Let m = -1087.01 - -1092. Let u = m - 5. Does u = 0?
False
Let o = -30 + 30. Does 2/7 = o?
False
Let q be 0/(-1 - -5) - -1. Is 3 greater than q?
True
Let b = 0.6 - 1.3. Are -1/3 and b non-equal?
True
Suppose -4*c + 8 - 4 = 0. Which is smaller: 4 or c?
c
Let k = -3 - 9. Let m = k + 14. Are m and 5/4 non-equal?
True
Let m(c) = -c**3 + 8*c**2 + 8*c - 2. Let l be m(8). Are 1 and l non-equal?
True
Let a = 0.1 - -2.9. Let c = a - 3.1. Which is smaller: 2 or c?
c
Suppose -2*b - 2 = -0*b. Is -1/81 greater than or equal to b?
True
Let c = -0.1 + -0.2. Let l = -0.2 - c. Let h = -0.9 - l. Which is bigger: -0.1 or h?
-0.1
Let n(d) = d**3 + d**2 + 7. Let y be n(0). Suppose 3*i - 4*m = -2*m + y, 3*i = 4*m + 17. Are i and 1/4 equal?
False
Let t = 32 + -32. Is t less than or equal t