- -29. Which is smaller: -2/55 or o?
-2/55
Suppose -2*z + z = 0. Suppose z = -2*p - 2*p, -2*p = -5*b - 5. Is -1/7 at least b?
True
Let r = -6 - -4. Let p = 104/165 - -2/55. Are p and r non-equal?
True
Let i = -25 - -70. Let c be 1/(48/i - 1). Let p be ((-2)/(-5))/((-3)/c). Which is bigger: -1 or p?
-1
Let b = 48 - 36. Which is smaller: -2/7 or b?
-2/7
Let x = -20 - -13. Let f = 7 + x. Which is bigger: f or -2?
f
Let u be (-22)/30 - 2/(-6). Let z = 43 + -41. Which is smaller: z or u?
u
Suppose -8*n + 1 = -7*n. Is -4/9 bigger than n?
False
Let b = 25 - 24.9. Are 0.07 and b equal?
False
Let d = -10 - -7. Suppose p = -2*p. Suppose f + 3*f + 8 = p. Which is smaller: d or f?
d
Let w(u) = -u**3 - 3*u**2 + 4*u + 5. Let h(o) = o**3 + 10*o**2 - 4. Let q be h(-10). Let g be w(q). Which is greater: g or 4?
g
Let v = -3 - -3. Which is smaller: v or 4.3?
v
Suppose 6*r + 15 = 3. Do r and -4 have the same value?
False
Let t = -0.6 + 0.56. Let h = t + -0.16. Let k = 159/4 - 40. Is k >= h?
False
Let z be (24/40)/(2/10). Which is bigger: 6 or z?
6
Suppose -3 = 4*k + 1. Which is smaller: -1/31 or k?
k
Let n = -6.96 - 0.04. Let m = n - -7. Which is bigger: 3 or m?
3
Let y = -73.8 + 74. Which is greater: y or -8/9?
y
Let c = -871989/85405 - -274/899. Let h = c - -49/5. Do h and 0 have different values?
True
Let j = 1 + 3. Suppose 5*i - i - j = 0. Let l be -1 - -3 - (-1 + i). Is l <= 2?
True
Let o be 1 + 0 + (-3)/18. Suppose 0*n = 3*j - 2*n - 9, 5*j + 2*n + 1 = 0. Is o smaller than j?
True
Let f = 5 + -5. Suppose -5*h - 15 = 0, i - h = -f*i + 4. Which is smaller: i or -3/11?
-3/11
Let k(m) be the first derivative of -m**4/4 + 2*m**3 + 2*m**2 + 4*m - 2. Let c be k(6). Let d be 2/(-7) - (-8)/c. Are d and 1 unequal?
True
Let c = 109/6 - 35/2. Let p be 2 - (0 - -2 - 2). Is p greater than c?
True
Let c = -0.08 + 0.15. Let f = 0.17 - c. Let m = 0.14 - 0.08. Is m <= f?
True
Let c = 0.3 + 2.7. Let s = 4 - c. Let u = -13 + 12.9. Is s greater than or equal to u?
True
Let b = 59.6 + 13.4. Which is greater: b or 1?
b
Let p = -22.09 - -22. Let f = -3.09 - p. Which is smaller: f or 1?
f
Let m be 1*(-4 + 3)*-9. Let a = 9 - m. Suppose n = -a*n - 9. Is n > -10?
True
Let u(k) = -2*k**3 + k - 1. Let l(q) = -q**3 - q + 1. Let z be l(0). Let i be u(z). Let j be (-34)/90 + 4/(-18). Which is smaller: i or j?
i
Suppose 5*c + 2*p - 4 = 3*c, 2*c + 3*p = 8. Let n = -3 - c. Which is smaller: n or 2/5?
n
Let a = -0.21 + -0.79. Let t be ((-12)/27)/(4/6). Which is smaller: a or t?
a
Let u = 1/377 - -17715/1508. Let v = 12 - u. Is 3 at least v?
True
Suppose -q = 2*i - 6*q - 21, 0 = -3*i - 2*q + 41. Let p = i - 7. Suppose -n = -4*n + p. Is n < 1/2?
False
Let f = -1114/9 + 124. Let i(w) = -w**2. Let g = -4 + 4. Let b be i(g). Which is greater: f or b?
f
Let h = 268 - 7774/29. Is 0 at least as big as h?
True
Let p = -104/3 - -35. Let a = 18 - 10. Let m = 7.8 - a. Which is greater: p or m?
p
Let t = 102 - 102.1. Are 0.16 and t equal?
False
Let n = -0.6 - 0.2. Let x = n + 0.5. Is x less than -2?
False
Suppose a = -0*a + 2. Let u be (-3)/2*5/(-15). Is a greater than u?
True
Let q be 16/(-3) - 1*(2 - 1). Is -7 less than q?
True
Let z(p) = -2*p**2 - 6*p + 7. Let w(c) = -5*c**2 - 13*c + 15. Let f(r) = 3*w(r) - 7*z(r). Let t be f(3). Let o be t/(-6)*6/2. Which is bigger: 3 or o?
3
Let c = 6991902/77 + -90802. Let n = 18/11 - c. Which is smaller: 1 or n?
n
Let n = -70 - -48. Suppose 3*i + 3*d + 13 = 2*i, 3*d = 3*i + 75. Are n and i unequal?
False
Let b = 64/5 - 62/5. Suppose -2*f = -2, -4*g + 14 = -4*f + 78. Let l be ((-1)/(-3))/((-5)/g). Is b < l?
True
Let b be 6/(-98)*(-21)/(-6). Which is greater: 1 or b?
1
Suppose -f + 5 = 4*f. Let n be ((-69)/(-12))/(f/4). Suppose -7 = 4*y - n. Do 3 and y have the same value?
False
Let f = 157 - 121. Which is smaller: -0.2 or f?
-0.2
Let f be 1/(-3)*71 + -1. Let z(w) = -w**3 + 6*w**2 - 3*w + 4. Let t be z(4). Let y = f + t. Which is smaller: y or -1?
-1
Let k = 0.3 - -1.2. Let h = k - 1. Let b = h - 0.4. Which is bigger: b or -0.1?
b
Let p = -10 - -15. Let k be 5*(93/(-15) + 2). Let b = -15 - k. Is b > p?
True
Let y = 301 - 3307/11. Suppose 5*k - b = 3*b + 11, -k - 4*b - 17 = 0. Which is smaller: k or y?
k
Suppose 2*w - 5*n + 51 = 0, -4*w + 8*w + 5*n + 27 = 0. Let v = 14 + w. Which is smaller: -6/13 or v?
-6/13
Let z = -9 - -17. Suppose -a + z = -5*m, -2*a + 13 = -m + 2*a. Which is greater: 1 or m?
1
Let d(k) = -k**3 - 15*k**2 - 16*k - 29. Let x be d(-14). Are -3/29 and x unequal?
True
Let g be (-2)/(-4)*24/12. Suppose 4*b = -l - 4, g = -5*b - 4*l - 4. Which is greater: -1/15 or b?
-1/15
Let q(g) = -g**2 + 3*g + 3. Let t be q(4). Let h be t/(6/(-16)) + -3. Which is smaller: 0 or h?
h
Let m(r) = -2*r + 4*r**3 - 7*r**2 + 4*r**2 + 4 - 3*r**3. Let y be m(3). Suppose -4*l = 2*t - 4, -2*t = t - 5*l + 16. Is y at most as big as t?
True
Let b = -166/99 - -16/11. Let k(x) = -4*x + 4 + 2*x + 3*x. Let p be k(-6). Does p = b?
False
Let m be (1 + 20/(-28))/(-4). Which is smaller: -1 or m?
-1
Let m = 7 + -10. Let l be (1 - 1) + m/12. Are l and 1 nonequal?
True
Suppose -4*s + 32 = -2*b - 28, 0 = 5*s - 4*b - 69. Which is smaller: 19 or s?
s
Suppose -2*j + 17 = 5*n, -3*j - n + 0 + 6 = 0. Suppose -2*u - 4*q + 2 = 0, 4*u + 5*q - 3 = j. Let g be u*3*2/4. Which is smaller: 2 or g?
g
Let h = -61 - -50. Is h greater than -10?
False
Let x be (-188)/(-46) + 0 - (-3 - -7). Is x greater than -2/9?
True
Let a = -12 - -7. Which is smaller: a or -6?
-6
Let m be ((-3202)/66)/(9/27). Let t = m + 145. Let g be (-8)/(-6)*6/(-4). Are g and t nonequal?
True
Let i(j) = 2*j**2 + 3*j - 2. Let k(o) = o + 3. Let b be k(-5). Let w be i(b). Do w and -2/43 have the same value?
False
Let o be -1 - 2/(-71) - (-3 - -2). Is 0 > o?
False
Let a(f) = 2*f**2 - 5*f - 3. Let l be a(-3). Let m be l/12 + (-6)/(-4). Which is greater: m or 7?
7
Let z = -6 - -6.3. Let j = 0.32 - z. Let y = 1.98 + j. Is y equal to 0.1?
False
Let w(y) = 5 + 3*y**2 + y**3 - 6*y + 2*y + 0*y + y. Let l be w(-4). Which is bigger: 7/4 or l?
7/4
Let t(j) = 2*j**2 + j. Let r be t(1). Let p be 6*(-2)/(-54)*r. Is p greater than 0.2?
True
Let g = 30 + -11. Let a = 9 - g. Let j = -14 - a. Which is smaller: 0.1 or j?
j
Let r(n) = -n**3 + 4*n**2 + n. Let i be r(5). Let p = 21 + i. Is p greater than or equal to 2/27?
True
Let r = 1.525 - -0.075. Is 0 >= r?
False
Let r(z) = -24*z**3 + z**2 - 1. Let b be r(1). Let f be b/39*(-3)/6. Is -1 less than or equal to f?
True
Let f = 10 - 15. Let b = -6 - f. Let t be (-2 + b + 3)*-1. Is 2 at least t?
True
Let q = 70/9 - 1093/144. Let n = -7.9 + 8. Which is bigger: q or n?
q
Let g = -0.92 - -0.6. Let t = g - -0.02. Let m = t + 1.3. Which is smaller: m or -0.1?
-0.1
Let y = 1/133 - 271/665. Let f = 7 - 9.5. Let c = f + 2.2. Which is smaller: y or c?
y
Let f = 6 + -11. Is f bigger than -4?
False
Let k be (0 - 1/(-3))/(-1). Let g = -8 + 11. Let y be 2/(-4)*(-3 + g). Which is smaller: k or y?
k
Let f = 2671/12334 + -2/881. Which is smaller: 1 or f?
f
Let r = -9.1 - -9. Let f be -9 - 1*(-2 + 3). Let x be f/6*2/(-10). Do x and r have different values?
True
Let u = 5 + -4.5. Let p = u - 0.55. Let g = p - -0.35. Is 2 less than or equal to g?
False
Let i = 12245/53 - 231. Let w(j) = j**2 + 4*j - 6. Let m be w(-5). Which is bigger: i or m?
i
Suppose 2*y - 2*s + 6 = -5*s, -2*y = 4*s + 8. Is 2/21 at most as big as y?
False
Let l be ((-4)/(-6))/((-6)/9). Let j(x) = x - 7. Let r be j(5). Which is smaller: r or l?
r
Let u be (-1)/((-28)/21) - (0 - 0). Let h = -16/3 - -5. Is u at most h?
False
Suppose -3*b + b = -8. Suppose -5*y - 13 = f - 2*f, -b*f + y = 5. Which is smaller: -7 or f?
-7
Suppose 4*d - 5*v - 203 = -0*v, -4*d - 2*v + 238 = 0. Is 57 >= d?
True
Let r be (-8)/(-4) - (4 - 3). Let x be (2/(-50))/(4/30). Is x less than or equal to r?
True
Suppose -2*b + p - 4*p - 17 = 0, -b + 4*p = -19. Which is greater: -1/11 or b?
-1/11
Let y be -1*4/72*-2. Is 0 at most y?
True
Let k = 5 - -5. Let f(i) = -i + 9. Let d be f(k). Are d and -1 nonequal?
False
Suppose -2 = 3*x - 5. Let h be 4/((-32)/(-5)) + (-1)/2. Is x bigger than h?
True
Let h be 0 + -2 - (3 + -2). Let d(y) = y**2 - 7*y + 8. Let x be d(4). Which is bigger: h or x?
h
Let c = 333/2975 - -1/175. Are 0.1 and c non-equal?
True
Let w = -0.13 + 4.13. Let c = 5 - w. Which is smaller: