9.91. Is 4 >= n?
True
Let g(l) = -1 - l + 1 + 11. Let w be g(8). Are 3 and w nonequal?
False
Let o(t) = 3*t - 3. Let h(x) = 4*x - 3. Let q(l) = 6*h(l) - 5*o(l). Let s be q(2). Suppose -4*g = -8, 0 = 5*v + g - 6*g + s. Is -1/7 bigger than v?
True
Let u be 21/12 + 5/20. Which is smaller: u or 3?
u
Let y be (-3)/18*(-4)/7. Is 1 >= y?
True
Let t(z) = z**3 - 4*z**2 - 5*z + 3. Let n be t(5). Is n <= 11/3?
True
Suppose -14 = -2*j + 4*j. Is j at least as big as -8?
True
Let b = 52.1 + -52. Suppose 0 = 3*n - 4*n - 2. Which is greater: n or b?
b
Let b be 6/(-5)*130/(-6). Which is smaller: b or 24?
24
Let v be (10/30)/((-14)/12). Which is greater: v or -16/19?
v
Let w = -2 + 2. Let o be (w + 1 + 0)/(-1). Are -2/17 and o equal?
False
Let j = -485/567 + -1/567. Which is greater: 0 or j?
0
Let h(z) = z**2 + 7*z - 10. Let s be h(-9). Let w be (-3 - s/(-6)) + 1. Which is bigger: 2/3 or w?
2/3
Let r be (-8)/(-20) + 26/(-40). Which is bigger: r or 2/3?
2/3
Let h(o) = o**2 - 3*o - 4. Let j be h(3). Suppose -10*r + 8*r - 8 = 0. Is j not equal to r?
False
Suppose -2*n + 2*u = 6, -4*u = -u - 15. Let h be 1/(n*2/8). Which is bigger: h or 0?
h
Let n be (-87)/232 + 43/8. Is 9 > n?
True
Let u(r) = r**3 - 4*r**2 - r + 5. Let h be u(4). Let j be h*(-3 + 4 - 2). Is 1 greater than j?
True
Suppose -v = -c + 5*c + 11, -2*c + 5*v - 33 = 0. Let t(r) = -r**3 + 3*r - 2. Let z be t(2). Is z greater than or equal to c?
True
Let l = 1204/3 - 405. Is l at least as big as 3?
False
Let m = 447 - 4909/11. Which is smaller: 1 or m?
m
Let h = 0.156 + 0.044. Let m = 2.1 - 2. Which is smaller: h or m?
m
Suppose m = -2*m + 18. Let b be m*5/(-4)*-2. Suppose b = 2*t + 3*t. Is t at most as big as 3?
True
Suppose -3 = 3*k + 15. Let j be k/(-21) - (-10)/14. Let h(a) = a**2 - 2*a - 1. Let s be h(-1). Which is smaller: j or s?
j
Let a = 3/2 - 1. Which is smaller: a or 4/5?
a
Let k(t) = -t**3 - 8*t**2 - 2*t - 8. Let j be k(-8). Suppose j = 3*f - f. Suppose -6 = -2*o + 2*y, 2*o + 12 = 6*o + 4*y. Which is bigger: o or f?
f
Suppose w = 3*w - 500. Suppose r - 100 - w = 0. Let k = r + -2105/6. Are k and -2 nonequal?
True
Let o = -24 + 33. Is 10 < o?
False
Let m(a) = -a**2 + 5*a + 5. Let l be m(6). Suppose -2*t - 4*p = -14, t + 2*t = p. Suppose -5*d = 5*c + 10, -4*d - 3*c - 5 = t. Is d >= l?
True
Let x(g) = -3*g**2 + g + 1. Let i be x(-1). Is -8 bigger than i?
False
Let w = 0.3 - 11.3. Let k = 0.172 + -11.072. Let d = w - k. Which is greater: -0.4 or d?
d
Let g = 3 - 2.6. Let a = g - 0.6. Let y = 0.8 - a. Which is smaller: -2/7 or y?
-2/7
Let w = 18132/7 - 2595. Which is bigger: w or -5?
w
Let k(l) = 3*l**2 + 2*l - 1. Let f be k(1). Let d = f - 5. Is d bigger than -1?
False
Let w be (-1)/2 + (-4)/(-8). Suppose -6*l + l - 5 = w. Let r be 5/2 + l/(-2). Do 2 and r have different values?
True
Let i = -10 + 12. Which is bigger: 0 or i?
i
Suppose 0 - 3 = m. Let x be (m - (2 - 4))/3. Which is bigger: 1 or x?
1
Let m(y) = -y**3 + 2*y**2 - 1. Let z be m(2). Are z and -1 nonequal?
False
Suppose -n - 54 + 41 = 0. Which is smaller: n or -14?
-14
Let f(a) = 4*a**2 + 4. Let z(m) = -1. Let c(l) = f(l) + 5*z(l). Let j be c(-1). Which is smaller: j or 4?
j
Let l(w) be the first derivative of w**2/2 + 4. Let o be l(1). Which is bigger: 3 or o?
3
Let h = 0.7 - -1.3. Let t = -0.09 + 1.89. Let q = h - t. Which is greater: -1 or q?
q
Let r(n) = -2*n + 12. Let a be r(6). Is a greater than or equal to -1/8?
True
Suppose -4*t + 5*w = 2*w + 9, 2*t = 5*w - 15. Which is bigger: t or -5/9?
t
Let u(o) = -2*o - 2. Let i be u(-2). Is i greater than 4/3?
True
Suppose 11 = -2*w - 1. Let q be 4/w - 198/(-135). Which is greater: q or 0?
q
Suppose 13*r - 2*r + 0*r = 0. Let w be (-2)/7 + (-30)/(-154). Is w > r?
False
Let c(h) = -3*h**2 + 1. Let o be ((0 - 0) + 2)/1. Suppose -3*d - o*x - 7 = 0, 0 = 3*d + 6*x - x + 13. Let r be c(d). Is r at most -2?
True
Let r = -5 + 3. Let k be (-109)/309 + r/(-6). Let w = -95/412 + k. Do w and 0 have the same value?
False
Let q = 2.88 - 3. Let l = q - -4.12. Is -2 at most as big as l?
True
Suppose 0 = -7*a + 9*a + 60. Which is smaller: -28 or a?
a
Let q = -24 + 22. Which is bigger: q or 1?
1
Let h = -10 - -15. Suppose 3*j + h*d = -20, -2*j - 5*d + 11 = 31. Suppose -2*f = f + 3. Is j at most as big as f?
False
Let u = -1 - -2.4. Let f = -0.4 + u. Let i = f + -1.2. Which is smaller: 2 or i?
i
Let l be 5/(-2)*(-48)/(-160). Is l < -2/7?
True
Suppose -4*m + 35 = -5*h, 2*m - 6 = -m - 3*h. Let f be 22/8 + m + -8. Which is greater: 2/11 or f?
2/11
Let n = -2.99 + -0.01. Let g = n + 2.9. Which is smaller: -3/7 or g?
-3/7
Let q = -6.166 + 0.166. Which is greater: q or -13?
q
Let u = 12 + -10. Let b(a) = 2*a + u*a - 2*a - a + 3. Let p be b(-7). Do p and -4 have different values?
False
Let j(r) = -r**3 + 4*r**2 - r + 3. Let o be 0 + 1 - (-5 + 6). Suppose -18 = -2*b - 2*a, -2*b + o*a = -2*a + 2. Let f be j(b). Is f equal to -2?
False
Let j(c) = 6*c**2. Let t be j(-1). Which is smaller: -0.3 or t?
-0.3
Suppose -2*z = 3*z + 5. Let p = 2.5 + 0.5. Is p <= z?
False
Suppose 0 = 13*o - 8*o + 60. Does 0.1 = o?
False
Suppose -p + 4*p = -6. Let k be -1*2*(-3)/p. Let t(l) = l**3 + 2*l - 2. Let h be t(0). Which is bigger: k or h?
h
Let n = -0.06 + -1.94. Let w = n - -1.9. Let b be ((-1)/(-7))/(3/6). Which is smaller: w or b?
w
Let o = 2.8 + -3. Let d = -11.01 + 0.01. Let j = d + 10.9. Which is greater: j or o?
j
Let z = -0.1 - -0.1. Let i = -5 - -4. Which is smaller: z or i?
i
Let m = 59/93 - -1/31. Let v(g) = -2*g**3 + 3*g**2 - g. Let b be v(2). Let h = b - -7. Which is bigger: m or h?
h
Let d = 40 + -23. Let a = -14 + d. Is a greater than 4?
False
Suppose -2*y - 3*f = -5, 23 = y - 5*f - 12. Let g = -5 + 11. Suppose d - g*d = y. Is -2 greater than or equal to d?
True
Let a be 4/6 - 8/18. Suppose -5*u + 37 + 43 = 0. Suppose -4*y + u = 4*q + q, 8 = 2*y. Is a at least as big as q?
True
Let j(t) = t**2 + t - 2. Let n be j(-2). Suppose -2*c = -5*g - 1 + 3, n = 2*g - 2*c - 2. Suppose g = 2*a - 0*a + 2. Does a = -2/7?
False
Let n(b) = -b**3 + 7*b**2 - 9*b + 6. Let o be n(5). Is o > 10?
True
Let n = -40 - -18. Are -21 and n non-equal?
True
Let r = 8 - 13. Let q = 3 + r. Let u = 27 + -28. Are u and q nonequal?
True
Let v(h) = 2*h + 8. Let u be v(-6). Let p = -4 - u. Suppose p = -3*i + 4*i. Is -1 smaller than i?
True
Let v(s) = 3*s**2 + 7*s + 5. Let d be v(-4). Suppose -b = -4*b + 2*k + d, -b - 20 = 5*k. Suppose -b - 5 = -5*l. Which is smaller: l or 0.1?
0.1
Suppose 7 = 3*l - 5*z, -9*l + 1 = -6*l - 2*z. Is -10 equal to l?
False
Let x = -1 + 0. Suppose -3*r + 75 = 2*r. Let l = 46/3 - r. Which is smaller: l or x?
x
Let q be (-12)/(-10)*(0 + -5). Let l be 9 + q + (0 - 4). Which is smaller: l or -1/5?
l
Let t(b) = b**3 + 9*b**2 + 8*b + 2. Let c be t(-8). Let d = -1 - -0.8. Let y = 0.3 + d. Which is smaller: c or y?
y
Let h = -3/10 + 4/5. Suppose d - 1 = 11. Let k be 0/(d/(-2) + 3). Which is bigger: k or h?
h
Suppose 0 = -v - 3*h + 5*h, 0 = 3*v - h - 5. Suppose v*f - 2*b = 0, -b = -4*f - 5*b. Which is smaller: 2/9 or f?
f
Let c = -6 + 9. Let b be c/((-3 - -1)/4). Is -6 < b?
False
Let p(c) = -47*c**2 + c - 5. Let k be p(9). Let o = k + 41787/11. Let v = -4 - o. Which is smaller: 0 or v?
0
Let v(x) be the first derivative of x**4/4 + 7*x**3/3 - x - 1. Suppose 5*k - 2*f = -27, k + 15 = -0*f - 2*f. Let u be v(k). Which is greater: u or -2?
u
Let r(s) = -s**2 + 2*s + 4. Let p be r(3). Suppose 0 = -4*b - 0*b. Let h be b/(-2) - 1/(-3). Which is bigger: h or p?
p
Let x = 93 - 92. Is 2/45 >= x?
False
Suppose 6*w - 3*w + 3 = 0. Let v = 64 + -1215/19. Which is bigger: w or v?
v
Let u be 1 - (2 + (3 - 3)). Let c be -2 + (-2 - -5) + 32. Suppose 5*b - c = -4*d, -4*d + 4*b - 7 - 5 = 0. Is u at least d?
False
Suppose -a + 5*h = 14, 2*a + 12 = -0*a + 2*h. Is -3 <= a?
False
Let v(u) = -u + 10. Let q be v(8). Let n be (-2)/(2*(-1)/q). Suppose b = -3*g + 5, 2*g + 5*b = n + 10. Which is bigger: 2 or g?
2
Let w = 7.2 + -7. Let h = -3 - -2.9. Let r = h + w. Is -1/3 greater than r?
False
Suppose -4*l = -3*k - 4 - 32, 5*l - 5*k - 45 = 0. Let o be 9 + (-4 - l/(-3)). Is o at least as big as 7?
True
Let c = -3361/114 + 59/2. Is -1 != c?
True
Suppose 5*h = k + 34, -2*h - 2*h + 28 = -k. Let z be 0/((1*h)/3). Let o be 2/72 + 3/(-12). Which is bigger: z or o?
z
Let s be -