 - 9. Let d be o(9). Which is smaller: d or -2/3?
-2/3
Suppose -7*u - 70 = -2*u. Let i = u - -21. Suppose -3*o - i = 4*z - 0*z, 0 = -z + o. Is z less than -1?
False
Let i be (4/2430 + 0)*-5. Let o = 721/972 - i. Let h = -2 - -3. Which is smaller: o or h?
o
Let m(o) = -62*o**2 + 2*o. Let a be m(1). Let n be 44/a - 2/(-5). Is n != 18?
True
Let h(m) = m**3 + m**2 + 4. Let s be h(0). Is s != 16/3?
True
Let d = -12 - -4. Let z be (d/3)/(10/(-15)). Suppose 2*k - k - 4 = 0. Is k greater than z?
False
Let y be 2 + ((-15)/5 - -8). Is 3 greater than y?
False
Let l be ((-3)/42*-8)/(-2). Is l less than 0.22?
True
Let y(f) = f**2 + 0 + 2 + 4 + 8*f + 0. Let j be y(-6). Let k(n) = -n**2 - 7*n + 2. Let m be k(-8). Is m < j?
False
Let k = 354739/18 - 19713. Let f = k - -16/3. Which is smaller: f or 1?
f
Let g(x) = -x**2 + 8*x - 12. Let p be g(5). Which is bigger: 6 or p?
6
Let h be 28*(3 - 14/4). Let m be 4/h + (-15)/21. Is -1 smaller than m?
False
Let c(y) = y**3 - y. Let j be c(-1). Let r = 0 - 2. Is j greater than r?
True
Let x(v) = -v + 7. Let p be x(4). Let h = 4 + 6. Suppose -2*s + 9 = 5*n - h, -4*s + 11 = n. Do n and p have the same value?
True
Let s be 0*((-2)/(-28) - 9/(-21)). Is s at least 33/5?
False
Let u be (-8)/(-4) - 1*4. Let d be (u/4)/((-10)/20). Are d and -1.4 unequal?
True
Let x(v) = 7*v - 1. Let y(c) = 11*c - 1. Let s(k) = -8*x(k) + 5*y(k). Suppose 0*i - 15 = -5*i. Let f be s(i). Is f < 1/3?
True
Let z = 6.03 - 6. Let v = z + 0.07. Is -2 greater than or equal to v?
False
Let r(z) = 5*z**2 - 25*z + 15. Let t(j) = -j**2 + 6*j - 4. Let q(a) = 2*r(a) + 9*t(a). Let c be q(-5). Let m be (-1)/(c/(-1)*-1). Which is bigger: 3 or m?
3
Let q = -1/149 - 295/447. Let z = -1 - -1.4. Let l = z - 2.4. Is l smaller than q?
True
Let i = -0.84 + 1. Let q = i + -0.06. Let h = 0.4 - 0.9. Is h < q?
True
Suppose -b + 11 = 5*p - 10, -3*p + 8 = -4*b. Is p smaller than 4?
False
Let c = -0.33 - -0.83. Is c <= -1.6?
False
Suppose 4*s = 2*s - 5*b + 42, 0 = -2*s + 3*b + 74. Is 30 at least s?
False
Let m be (-3 + 0)/(15/20). Let x be ((-3)/2)/((-3)/m). Let d be (-6)/(-21) + 2 + x. Is 1/4 > d?
False
Suppose -5*m - 5 = -3*n - 31, -5*n = 3*m - 2. Let q = 4 + -1. Suppose 0 = q*r - p + 2, 5*r = 3*p + 2*p. Which is smaller: r or n?
n
Let q = -18 - -19. Which is smaller: 3 or q?
q
Suppose 23*f = 16*f + 7. Which is smaller: -2/73 or f?
-2/73
Let u(h) = -h**2 + 3*h + 2. Let y be u(3). Let r be -3 + (-1 - y) + 3. Let z be (-4 - 2)/2 - r. Which is smaller: 2/13 or z?
z
Let u be -3 - -1 - (-31 + 2). Let y = u - 51/2. Which is greater: 1 or y?
y
Suppose 5*m = -4*z - 8, -z = 3*m - 5*m + 2. Which is smaller: m or 2/107?
m
Suppose 5*p - 15 = -0*p. Let d(u) = u**2 - 2*u + 1. Let i be d(p). Which is bigger: 3 or i?
i
Let w be 4/(8/(-3)) - 50/4. Is w less than or equal to -41/3?
True
Let r(q) = q**2 + 10*q + 5. Let l be r(-7). Is l > 1/2?
False
Let c(z) = z**2 - 5*z + 5. Let t be c(4). Is 8 > t?
True
Let q = 1.98 - -0.02. Let o = q + -1. Let c = -1.8 + 2. Which is greater: o or c?
o
Suppose 5*d - 20 = 5*y, 2*d = -2*d - 5*y + 16. Is d smaller than 25/6?
True
Let g = 3 + -1. Suppose -5*k = -g*k. Let j be (k - -2)/(36/(-6)). Which is smaller: 1 or j?
j
Let n(i) = i - i + 4 + 2*i. Suppose -3*r = 3*z + 6, -4*r + 10 = z - 3*z. Let u be n(z). Is u smaller than -1/2?
True
Let v = 0.067 - -25.933. Which is greater: -1 or v?
v
Let h(l) = -l**2 - 9*l + 21. Let a be h(-9). Is 20 != a?
True
Let f be 41/(-13) - (-4)/26. Let i be 2 - (f - (-48)/9). Is -1 less than or equal to i?
True
Let r be 4/10 - (-18)/30. Suppose -5*k - r - 16 = -3*a, 5*k + 4*a = 11. Is 1/3 >= k?
True
Let q be 6/(-10)*(-1)/(-9). Is 1 less than q?
False
Suppose 4*l - 16 = 2*u, -2 = -4*u - 10. Suppose -j = l*j. Let v(n) = -n + 3. Let c be v(3). Do j and c have the same value?
True
Let j = -17 + 50/3. Is j <= 5/4?
True
Suppose 4*f + 75 = -5*r - 0*f, -5*f = 4*r + 51. Is -19 != r?
False
Let l(o) = -o + 4. Let p be l(3). Let m = -3 - -5. Let t = -1.8 + m. Is p at most t?
False
Let s be (-36)/8*4/6. Is -19/5 not equal to s?
True
Suppose 4*d - 16 = 4*s, 3*d - d + 5*s = -27. Which is greater: d or -2?
d
Let a = -3/5 + 11/10. Is a greater than -2/27?
True
Let j = -8 - -10. Let y = 2648/3 + -900. Let w = 17 + y. Which is greater: w or j?
j
Let x = 0.08 - 0.1. Let d = 0.106 - 4.126. Let v = x - d. Is 1/3 bigger than v?
False
Suppose -3*c - m = 46, -4*c + 9*c + 4*m = -79. Let g be (c/(-6))/((-2)/4). Let y = g - -1. Is y greater than or equal to -5?
True
Let a = 0.4 - 0.5. Which is bigger: a or 10/9?
10/9
Let x be (0 + -6)/(30/(-201)). Let n = -40 + x. Which is smaller: 0 or n?
0
Let v = 1.9 + -3.2. Let i = 0.3 + v. Let h be 4/(-6) - (-4)/6. Which is bigger: i or h?
h
Let x = -0.654 - -3.784. Let w = x + -0.13. Let n = 0.3 - 1.3. Which is smaller: n or w?
n
Let g = 1097/3 + -303. Let t = g - 64. Is -2 <= t?
True
Let a = -1307/7 + 187. Which is bigger: 0.1 or a?
a
Let j(v) = -v**2 - v + 22. Let a be j(0). Which is smaller: 23 or a?
a
Suppose 4*m - 2*q = -18, 3 = -3*m - 4*q - 5. Let d(k) = -k**3 - 4*k**2 - 1. Let c be d(m). Is c at least -4?
True
Let p = -152 + 72. Is p less than or equal to -80?
True
Let c = 34 - 49. Is -2/7 >= c?
True
Suppose -2 = -2*o - 6. Let t = o - 8. Let i = -5 - t. Are i and 5 unequal?
False
Suppose 0 = -2*d + 3*p + 11, -4*d + p = -3*p - 20. Suppose 2*a - 7*b = -d*b + 10, 3*b = -12. Is 1/19 less than or equal to a?
False
Let x(k) = k**2 + 9*k + 5. Let h be x(-8). Suppose 3*z = 0, z - 1 = 3*n + 8. Is n at most h?
True
Suppose -1 = -2*c + 1. Which is bigger: 2/9 or c?
c
Let p be 2*(-5)/(30/(-9)). Suppose -2*f = k - 5*f - p, -2*f = 5*k - 15. Which is greater: 4 or k?
4
Let o = 1.5 - 1.5. Which is smaller: o or -2/5?
-2/5
Let d be 56/420*(-2)/82*-10. Do 1 and d have the same value?
False
Let a be 10/45 + (-16)/(-9). Suppose -2 = c + a. Is -1 equal to c?
False
Let n(s) = -s**3 - 16*s**2 + 17*s - 11. Let j(k) = -4*k + 3. Let v be j(5). Let i be n(v). Are i and -1 nonequal?
True
Let d be 14/(-3)*(-9)/(-57). Let b = -65/114 - d. Suppose 4*x - 3*x = 0. Is x > b?
False
Let a = 4 - 4. Suppose 5*u - 4*g - 11 = a, 0*u + 10 = -2*u - 2*g. Is 1/4 <= u?
False
Let u = 15648/25 - 626. Which is smaller: u or -2?
-2
Let o(z) = -2*z - 2. Let k be o(-4). Let b = k - 14. Which is greater: -9 or b?
b
Let u = -4 + 7. Suppose 5*b + 0*b + u*d = -3, 0 = -2*b - 3*d - 3. Let y(l) = -l**3 + 3*l**2 - 4*l + 3. Let i be y(2). Which is greater: i or b?
b
Let g be (0 - 1)/(2/(-18)). Which is greater: 31/3 or g?
31/3
Suppose 4*z + 7 = 5*a, a - 6 = -z - 1. Suppose 0 = -r + a*r. Which is greater: -4/13 or r?
r
Suppose 3*j = 7*j. Let x be (-3)/(3 + j)*-1. Which is greater: x or 3/2?
3/2
Let m = -70.13 - -70. Which is smaller: m or -3?
-3
Let b be 2 - (3/15 + 1). Let k = 7 - 3. Suppose o - k = -2. Which is smaller: o or b?
b
Let n = -3 + 4. Which is smaller: n or 5/3?
n
Let o be (-1)/6 - (-11)/(-22). Is -20 > o?
False
Let j = -7355/966 - -107/14. Is -1 > j?
False
Let m(v) = -2*v**3 + 1. Let r be m(-1). Let z be 5 - r - (2 + 1). Is z at least 2/7?
False
Let w = -0.3 - -0.1. Let i = -2266/9 - -252. Which is bigger: w or i?
i
Let g = -7 + 8. Is -3/7 greater than or equal to g?
False
Let y = -0.04 - 0.04. Let m = y + 0.05. Let h = m + 0.03. Is -0.6 not equal to h?
True
Suppose -g = 2*k - 69, k + k = -2*g + 132. Let i be g/98*4/3. Are 1 and i equal?
False
Let f = -586 - -4110/7. Is f less than or equal to 0?
False
Suppose 0 = -0*x + 3*x - 4*x. Is x at most as big as -4/13?
False
Let r = -526/399 + -2/133. Let m(q) = -q. Let t be m(-2). Let s = -2 + t. Which is smaller: s or r?
r
Let z = 0 - 0.3. Let t = 0.2 + -0.3. Which is greater: t or z?
t
Suppose -1 = -2*u + 1. Let y be 4/(-16) - (u + -1). Which is smaller: y or 3?
y
Suppose -2*o + 12 = -2*n + 2*o, -5*n = -5*o + 30. Let g = n + -5. Is g greater than or equal to 1?
False
Suppose -14*g = -12*g - 2. Which is greater: 7/16 or g?
g
Let v(x) = 2*x**3 + 0*x**3 + 2*x**3 - 2*x**2 + 8*x. Let a(j) = 3*j**3 - 2*j**2 + 7*j. Let r(f) = 5*a(f) - 4*v(f). Let k be r(-3). Is -1 at least k?
False
Suppose x - 3*x - 2*n = -4, -5*n + 7 = 2*x. Let d be (-9)/3 + (0 - -1). Let g be (-25)/(-30)*d/5. Which is smaller: g or x?
g
Let q(x) = x**2 - 21*x + 5. Let o be q(15). Is o smaller than -85?
False
Let g be 2/(-4)*(6 + -6). Which is smal