28. Let f be (-10)/25 + y/(-90). Is f bigger than 0?
True
Let n(v) = v + 4. Let q be n(-5). Let r = -3 + 0. Is r < q?
True
Let y = 180 + -183. Let s(p) = -2*p + 6. Let h(l) = l - 3. Let d(q) = -7*h(q) - 3*s(q). Let m be d(6). Is m greater than or equal to y?
True
Suppose 0 = -25*w + 22*w - 12. Let a(r) = r + 3 - 5 + 3. Let c be a(w). Is c < -3?
False
Let u(w) be the first derivative of w**2/2 - 2*w - 1. Let a = 4 - 2. Let f be u(a). Is f at least 2/3?
False
Let c(m) = m**2 + 5*m + 3. Let g be c(-5). Which is bigger: 16/9 or g?
g
Suppose -6 = -3*f + i - 0, 2*f + 5*i = -13. Let c be ((-12)/10 + 1)/f. Suppose -4*s - r + 2*r + 5 = 0, 3*s = 5*r + 25. Are s and c nonequal?
True
Suppose -3*t - 6*o = -2*o - 9, -5*t - 2*o + 1 = 0. Which is bigger: -15/7 or t?
t
Let c(n) = -n**2 - 3*n + 4. Let p = 11 - 16. Let h be c(p). Which is bigger: h or -7?
h
Let t = 1 - -1. Let o(c) = 7 + 11*c - c**2 - 4*c + 3 - t. Let z be o(8). Which is smaller: -6/7 or z?
-6/7
Let r be (6/12 - -1)/(1/2). Which is bigger: r or 1?
r
Suppose -2*x + 5*x + 12 = 3*m, 4*m = 0. Let i = 6 + 0. Let p = i + -10. Do p and x have different values?
False
Let v be -4 + 4 + (-5 - -1). Let x be v/18 - 16/9. Which is smaller: -1/2 or x?
x
Let l = -0.2 - -2.6. Let q = l - 1.4. Which is bigger: 0.9 or q?
q
Let u = 10 + -18. Let l = -8.1 - u. Which is smaller: l or -0.5?
-0.5
Suppose -2*r - 2 = -5*l, 0 = -5*l - 5*r + 1 + 29. Is 8/5 at least l?
False
Let y = -15 - -12. Let t be (-1)/y + (-186)/450. Which is smaller: 1/3 or t?
t
Let x = -94 + 94.01. Is -7 != x?
True
Let t = -157 - -157. Which is greater: t or 2/649?
2/649
Let h be ((-12)/10)/(2/(-5)). Suppose 0 = -7*j + h*j + 4. Is j != 3?
True
Let u = 186/5 - 1473/40. Are -1 and u equal?
False
Let y be (4/(-6))/(4 + 52/(-18)). Which is smaller: -1 or y?
-1
Suppose 0 = 3*q + a - 4*a - 48, -4 = -2*a. Suppose t = 4*t - q. Is t bigger than -1?
True
Let v be -6 + (-2)/4*-6. Let d = 0 + -7. Let w = -10 - d. Is w bigger than v?
False
Suppose -4*w + h + 1 = 0, 0*w + 4 = -5*w + 3*h. Let q be w + 0*3/12. Is q bigger than 3/11?
True
Let i = 159.6 + -166.59. Let s = 7 + i. Which is bigger: -3 or s?
s
Let w = -0.08 + -2.72. Let s = 3.03 + -0.03. Let i = w + s. Are 1 and i non-equal?
True
Suppose 36 + 12 = 4*u - s, -u - s + 12 = 0. Let k be 2/(-6) - (-43)/u. Is k less than 3?
False
Suppose -2*i - 2 = -0. Let b = i - 0. Let r = 16/5 + -4. Which is bigger: r or b?
r
Suppose 9 = -3*w - 4*i - 0*i, 5*i = w - 16. Suppose 4 = -2*k + 4*k. Is k at most as big as w?
False
Let o be 6/2 - (-6)/(-2). Suppose 3*j + 5 - 11 = o. Let g = 119/3 - 39. Which is greater: j or g?
j
Let u be (-2 - 24/(-10)) + 0. Is 0.3 <= u?
True
Suppose 0*r = -r + 4*d + 13, -2*d = 5*r - 21. Let b = 8/7 + -25/28. Which is smaller: b or r?
b
Let f(n) = -n**3 - 6*n**2 + 7*n. Let i be f(-5). Let d = 301/5 + i. Is d less than or equal to 0?
False
Let p(u) = u**3 + u**2 - u - 1. Let f(j) = 2*j**3 - 7*j - 5. Let y(r) = f(r) - 4*p(r). Let z be y(-2). Let g be (-3)/z + 4/10. Which is bigger: g or 1?
1
Suppose 0*f = -4*v - 4*f + 20, f = -3. Which is smaller: v or -0.3?
-0.3
Let k(n) = 2*n - 6. Let r be k(6). Suppose 0 = 3*q - r - 0. Let i be ((32/(-14))/4)/q. Is i >= -1?
True
Let c be ((-2)/(-7))/((-21)/(-5782)). Let q = 78 - c. Let r be 2/8 + (-2)/8. Is r greater than q?
True
Let t = 24 + -95/4. Which is smaller: 1/9 or t?
1/9
Let h(a) = -a**2 + 5*a + 8. Let l(x) = x**2 - x + 1. Let i be l(4). Let c be (i + -1)*(-4)/(-8). Let z be h(c). Is z greater than 2?
False
Let q be ((-3)/(-48))/(15/(-12)). Is -1 at most as big as q?
True
Let t = 98 + -90. Is -0.9 at most as big as t?
True
Let r(y) = y + 5. Let g be r(-5). Suppose -3*f + 110 = 116. Which is smaller: f or g?
f
Suppose 4*i + 65 = -3*z, -z - 20 = -i + 2*i. Let r be 8/(-6)*z/(-175). Let d = -18/35 - r. Which is smaller: d or 1?
d
Let k = -12 + 12. Let t be ((-4)/1)/8*k. Is t <= -0.5?
False
Let f = -6 + 5.7. Let p = 39 + -41. Which is bigger: p or f?
f
Let y = -0.013 + -0.187. Is y less than 0.19?
True
Let t = -14.4 + 13. Let v = 1.43 + t. Is -1 bigger than v?
False
Suppose 0 = -2*n - 186 + 46. Is -69 equal to n?
False
Let d = 194045/7 + -27630. Let z = d + -91. Which is greater: 0 or z?
0
Let j = -10702/25 - -428. Does -1 = j?
False
Let k = 4.5 + 1.5. Let v = -59 + 62. Let c = k - v. Is c >= 0?
True
Let z be 0 + 15/(-80)*-2. Which is greater: z or 0?
z
Let v = 78 + -129. Which is bigger: -1 or v?
-1
Let x be 2 - -1 - (-46)/(-14). Let m = -27 - -27. Which is bigger: x or m?
m
Let m = 28 - 27. Which is smaller: m or -2?
-2
Let h = 14 + -17. Which is smaller: 0 or h?
h
Let b be (-3)/((-1)/5*3). Are b and 5 non-equal?
False
Let d(i) = i + 9. Let u be d(-6). Let z be 4/(-2)*(u - 2). Which is smaller: -3 or z?
-3
Let v be 2/(-4) + 214/4. Let y = v - 373/7. Is y at most as big as 1?
True
Let j be (-8)/28 - (-4)/14. Is -3/5 equal to j?
False
Let x be (-1)/(-1) + -4 - (-1000)/328. Let l = -1 + 1. Is l greater than or equal to x?
False
Suppose 3*q - 4*q - 2 = f, 0 = 2*q + 4. Which is bigger: -7/6 or f?
f
Let h(b) = b**2 - 4. Let g = -20 + 20. Let j be h(g). Which is smaller: -3 or j?
j
Suppose 4*q - 2*q = -3*s - 4, 2 = -5*s - q. Let o = 2 - 1. Let k = -0.9 + o. Which is bigger: k or s?
k
Suppose 0 = -7*y + 3*y + 2*o + 10, 5*y - 8 = 4*o. Let q = 0 - y. Suppose -18 = 3*t + 2*t - 2*a, 4*t - 5*a = -11. Do t and q have different values?
False
Let r = -15 - -16. Which is greater: r or 1/4?
r
Suppose d + 2*d = 12. Suppose 0 = j - 5*x + 13, 9*j - x = d*j - 41. Let m = 6 + j. Which is bigger: -1 or m?
-1
Let d(b) = -b**2 + 6*b + 1. Suppose -22 = -4*z + 2. Let c be d(z). Is 1 at least c?
True
Let a(x) = x**3 + 2 - 2*x**2 - 2*x**3 + 3*x**2 + 0*x**2 + x. Let u be a(2). Is 2/3 less than u?
False
Let s be 12/(-81)*(-3)/(-2). Let c = -46 + 139/3. Which is greater: s or c?
c
Let b = -2221/9 + 247. Which is bigger: -2/11 or b?
b
Let z(o) = o**3 + 6*o**2 + 4*o - 4. Let p be z(-5). Let m be p/1 - (4 - 6). Which is greater: m or 2?
m
Let i = 2/7 + -20/21. Let s(x) = x - 6. Let u be s(6). Is u at most as big as i?
False
Suppose 0 = -3*g - 0*g - 4*u - 1, -2*u = 5*g - 17. Suppose -g*x - 3 = -18. Suppose -8*d = -x*d. Which is smaller: -1/4 or d?
-1/4
Let x(w) = w**2 - 4*w + 6. Let b be x(2). Which is bigger: b or 4?
4
Suppose 3*p = 2*p + 3. Let i be (2 + (1 - p))*1. Are 0 and i non-equal?
False
Let b(w) = -w**3 - 7*w**2 - 6*w + 4. Let s be b(-6). Suppose -3 = 4*t + 5. Let m = s + t. Is 2 smaller than m?
False
Let t = -0.1 - -0.1. Let j be ((-6)/(-25))/(2/(-40)). Let y = j - -5. Is y >= t?
True
Let o = 1 + -0.6. Let y = 0.5 - o. Suppose -2*u = -5*s + 3, 2*u + 10 = -u + 2*s. Which is smaller: u or y?
u
Let p = -15 + 25. Suppose 0 = -6*r + r + p. Which is smaller: 3 or r?
r
Let x(c) = -c**3 + 11*c**2 - 29*c + 9. Let v be x(7). Let t(q) = 3*q - 2. Let r be t(2). Is r bigger than v?
True
Let v = 1838.93 + -1828. Let s = -11 + v. Which is greater: -1 or s?
s
Let m = -7.4 - 3.5. Let u = m - -11. Is -2 less than or equal to u?
True
Let p(t) = t**3 + 13*t**2 + 3. Let u be p(-13). Let d be (-5)/4 + 0 - -3. Which is smaller: u or d?
d
Suppose -2*x - 5*q - 8 = 0, 4*q = 4*x + 54 - 10. Let c = -5 + -3. Is c less than or equal to x?
False
Let d = 15/238 + -9655/2142. Is -3 < d?
False
Let a(s) = 11 + 2*s + s - 5*s + 3*s. Let m be a(-5). Let o be ((-8)/(-64))/(m/(-40)). Does o = -1?
False
Let c = 4 - 4. Let q be (-6)/(-38)*(-2)/(-3). Which is smaller: q or c?
c
Let r = -478/5 + 96. Let b = 6 + -2. Let n = -3 + b. Is r greater than or equal to n?
False
Suppose 2*r = -2*r + 4. Which is greater: r or -1?
r
Let q = -7.9 - -8.03. Are q and 1/3 equal?
False
Let c be ((-11)/(33/(-18)))/(-2). Let a = 2 + c. Let i = 1 + -1. Is a less than i?
True
Let o be -29*2/18 - 44/(-198). Which is greater: o or -12?
o
Let m(o) = o - 7. Let b(p) = -p**2 - 6*p - 5. Let j be b(-4). Let t be m(j). Let h = t + 4. Is -1 < h?
True
Let d be 3*(0 + 0 - -4). Let c = d - 10. Is c at least as big as 0?
True
Let j = 3 - 2.5. Let f = 0.5 + j. Are -0.03 and f equal?
False
Let j = 34 - 35. Is j at least as big as 15?
False
Suppose 5*d = 5*z + 220, -5*z - 2*d = -0*z + 234. Let m = -320/7 - z. Let s = 0 + 0. Is s less than m?
True
Let q(n) = -n**3 - 8*n**2 - 5*n + 11. Let d be q(-8). Which is bigger: d or 0?
d
Suppose -4*b = -5*b. Let p be 