9. Which is greater: o or j?
j
Suppose 4*m + 15 = -4*v - 45, 4*m - 2*v = -54. Let w be (-13)/2*2 - 0. Is m bigger than w?
False
Suppose 5*f - 21 = 99. Is f at least as big as 24?
True
Let r(v) = v**3 - 2*v - 4*v - 7 + v - 5*v**2. Let i be r(6). Which is bigger: i or -2?
i
Let y(n) = n**3 + n. Let d be y(-1). Let i be ((-2)/d)/(1/1). Is 3 less than i?
False
Let g be 593/(-7) + 2/(-7). Let h be g/70 + 6/4. Let u = -0.3 - -0.1. Is u greater than or equal to h?
False
Let p = -4/63 - 23/630. Which is bigger: p or 0.1?
0.1
Let n be (0/2)/(2/(-1)). Let b = 0.205 - 1.405. Are b and n non-equal?
True
Let a = 137.93 - 138. Is 1.3 at least as big as a?
True
Suppose 0*z + z + 12 = 0. Let f = 7 + z. Is -5 smaller than f?
False
Let r be (9/(-1))/(6/(-4)). Suppose -m + r*m = 10. Let d be (-3)/2*(-2)/3. Which is greater: m or d?
m
Let w be (2/(-8)*0)/(3/1). Which is smaller: -9 or w?
-9
Let b(l) = l**3 - 4*l**2 - 3*l - 2. Let x be b(5). Let d be (2 - 5) + x/3. Which is greater: d or 0?
0
Suppose 3*f = -1 + 7. Suppose 21 = f*j - 4*j + a, -3*j - 18 = 3*a. Does -9 = j?
True
Let l be (1 - 2)*1*-2. Suppose -3*w = w + 4*h - 36, -2*w - h = -13. Which is smaller: l or w?
l
Let v = 2/9 + -71/279. Which is greater: v or 1?
1
Suppose 5*w = -0*w - 15. Which is bigger: w or 7/4?
7/4
Suppose -2*s - 18 = 26. Which is greater: s or -21?
-21
Let w = -23 - -8. Let f = w + 10. Is -0.2 equal to f?
False
Let g(b) be the second derivative of 3*b**5/5 - b**4/12 + b**3/6 + b. Let i be g(1). Suppose -4*x - 4*c = -0 - i, -4 = 4*x - 4*c. Which is smaller: x or 2/5?
2/5
Suppose -5*w + 4*m = -7, -2*w = w + 5*m - 19. Suppose -w*y = y. Let b be ((-2)/(-18))/(2/6). Is y > b?
False
Let v(m) = 9*m**2 + 3*m - 2. Let u be v(-3). Let y be (-1)/(-5) + 91/u. Is y < 2?
True
Let w = 32 - 26. Is 5 < w?
True
Let v = 113 + -81. Is 32 bigger than v?
False
Let v(x) = -x**2 + 2*x - 2. Let k be v(3). Let t = 4 + k. Is 0 equal to t?
False
Let a be (-1)/(0 + 1/(-4)). Suppose 0 = p + 3*p + 4*h - 32, 3*p = -5*h + 30. Which is smaller: a or p?
a
Let x(t) = -2*t**2 - 18*t + 9. Let i be x(-8). Is 25 bigger than i?
False
Let p = 0.07 + 0.03. Let y = 0 - p. Are y and -1/3 nonequal?
True
Let q be 8/(-4) + 45/4. Let b = q - 119/12. Let c(s) = -s**2 - 3*s + 2. Let u be c(-4). Which is smaller: u or b?
u
Suppose -q + 10 = y + 2, -3*q + 29 = 4*y. Suppose 5*z + 6 = -5*x + z, -12 = q*z. Which is smaller: 3 or x?
x
Let f be (10/(-174))/(5/15). Let v = 103/261 + f. Suppose u + 2 = 3*u. Which is bigger: u or v?
u
Let g be -1 - (-5)/(15/8). Let s = g - 91/51. Let q be (-2 - -1)*(1 + -2). Which is greater: q or s?
q
Let o(g) = 2*g - 16. Let f be o(8). Suppose 0 = -3*d + 5 + 1. Is f <= d?
True
Let u be (-4)/(-10) + (-38)/15. Let a be (0 + 4)*14/(-20). Let o = u - a. Is 0 equal to o?
False
Let z = -17.2 - -20. Let b = -3 + z. Let p = 0.2 + b. Is -1 != p?
True
Suppose 0*o + 2 = -2*o. Suppose 0 = -3*d + 5*w - 31, 2 = w - 0. Let z be (d/(-70))/(1/(-2)). Which is bigger: o or z?
z
Suppose 8 = 3*m - 4. Let h = 4 - m. Which is smaller: 1 or h?
h
Suppose 4*l - 4*k = -4, 0 = -0*k + k + 5. Is -3 at most as big as l?
False
Let t be (0/4 + 0)*-1. Suppose -l + 12 = 4*f, t*l + 9 = 3*f + l. Is f bigger than 5?
False
Let i be 0 - ((2 - 4) + -1). Let m(s) = s**3 - 10*s**2 - 12*s + 8. Let k be m(11). Let f(w) = w**3 + 4*w**2 + 2*w. Let n be f(k). Are i and n nonequal?
False
Suppose f = 2*o, -4*o = -4*f + o - 3. Which is smaller: f or -8?
-8
Let j = 1809/18190 + -6/535. Which is greater: -1 or j?
j
Let k = -1754/7 - -251. Do 0 and k have different values?
True
Let y(h) = h**3 - 3*h**2 - 2*h - 4. Let v be y(4). Let r be (1/2)/(2/v). Which is greater: r or 0?
r
Let y(o) = -3*o - 31. Let g be y(-14). Which is smaller: g or 12?
g
Let y be (-4)/(-30) - (-447)/(-540)*21. Which is greater: -16 or y?
-16
Let b be (0/(-2))/(-2 + -1). Let i = 123 - 58. Let v = 193/3 - i. Is v greater than b?
False
Suppose b + 4*v - 9 = 0, 1 = 3*b - 2*v + 2. Let y(m) = m + 6. Let f be y(-5). Is f greater than or equal to b?
True
Let k = 0 - 0.4. Let f = 6 + -4. Let t = 2.1 - f. Is k greater than t?
False
Let s = 19 - 20. Which is bigger: s or 0.1?
0.1
Suppose 0*y + 3*i - 21 = -5*y, 5*y = 5*i + 45. Let r be y/8 + -1 - -1. Suppose 0 = -3*o - 4*t + 12, -3*o + 11 - 2 = 3*t. Which is smaller: o or r?
o
Let b be 2/(1 - 60/52). Let z = b - -15. Let p(s) = -s - 4. Let q be p(-5). Does z = q?
False
Let k be -2 + (-5)/3 + 4. Which is smaller: k or 1/4?
1/4
Let s be (6 - 4) + 12/(-5). Is s at least as big as 2?
False
Let l be (1 - -1)*(-2)/4. Let k be 1 - 0/(l/(-1)). Let g be 1*3 - (-116)/(-36). Does g = k?
False
Suppose -3*y - y = -20. Suppose 2*d + 6 = 4*d, 4 = y*m - 2*d. Which is smaller: m or 0?
0
Let h = -6 + 3. Let n be (h + 2)*(-1 + -1). Let q(p) = -p**3 - 6*p**2 - 4*p + 5. Let t be q(-5). Is n less than t?
False
Let b be ((-34)/10 - -1)/14. Is b < 0?
True
Let t = 0.3 + -10.3. Let n = 11 + t. Are -0.1 and n non-equal?
True
Let q = 3 - -2. Suppose 2*p - 2*w = 8, -q*p + 1 = 3*w - 19. Suppose -p*u + u = -9. Is 3 at most as big as u?
True
Suppose -11 = 2*c + 1. Suppose 2*o + 5*p = -5, 2*p - 6*p - 1 = o. Do o and c have the same value?
False
Suppose 0 = 4*g - 3*g - 2. Let u be ((-1)/(-2))/(2/(-4)). Is g < u?
False
Let k(x) be the second derivative of x**4/12 + x**3 - x**2/2 + x. Let g be k(-6). Let t = 3/95 + -223/1045. Is g bigger than t?
False
Let s = -31/8 + 201/56. Which is greater: s or -2/43?
-2/43
Let w(z) = 11*z**2 - z. Let n be w(1). Let j = n + -7. Suppose 4*t + 5*o - 24 = -0*t, j*o - 9 = 3*t. Is t not equal to 1/3?
True
Let j(n) = n**2 + 4*n - 4. Let t be j(-5). Let b = -106/3 - -36. Let s = b - t. Which is smaller: s or 0?
s
Let w = 4 + -3.8. Which is bigger: 5 or w?
5
Let q(o) = 3*o**2 - 2*o - 5*o**2 + 4 - 5. Let w be q(-1). Let z(k) = k + 5. Let u be z(-6). Do w and u have the same value?
True
Suppose -m - m - 9 = -3*g, 0 = 3*g - 9. Let x = -1/71 + -66/355. Which is smaller: x or m?
x
Suppose 5*w + 5*v = 4*w - 20, -2*w + 4*v + 2 = 0. Is w at most -3?
True
Let b(m) = -m**3 + 3*m**2 + 3*m + 1. Let u be b(3). Let o = u - 7. Let a be (0 - 1)*((-56)/(-24))/(-1). Is a at most as big as o?
True
Let i = 4.1 + -1.1. Let v = i + -2.9. Which is smaller: -0.7 or v?
-0.7
Suppose 0 = -7*q + 2*q - 250. Let k = q + 452/9. Which is smaller: k or 1?
k
Let b = 28 - 18. Let r = 8 - b. Is -3 < r?
True
Let q(f) = -f**2 + 6*f + 6. Let a be q(7). Is a at least as big as -6/11?
False
Suppose s = -a - s + 8, -5*a + 2*s + 40 = 0. Suppose 3*u + 1 - 8 = p, -a = 2*p. Which is smaller: u or 2/9?
2/9
Let x(t) = -t. Let n be x(-6). Let m be (0 + -3)*10/6. Let y = n + m. Which is bigger: -1 or y?
y
Let x(v) = -v**2 - 5*v + 4. Let t be x(-8). Let k be 2/t*(-2 - -4). Do k and 0 have the same value?
False
Suppose 2*q - 4 = 6*q. Is 0 at least q?
True
Let z = 947/13 + -73. Let f = 1 + -1. Is z bigger than f?
False
Let f(u) = 4*u**2 + u**2 - 4*u**2. Let v be f(-2). Let s be v/10 + (-1)/(-10). Which is smaller: 1 or s?
s
Let u = -198 - -1780/9. Is -1 <= u?
True
Let a = -17762/9981 + 2/1109. Is a at least as big as -3?
True
Let r = -141/4 - -37. Which is bigger: 2 or r?
2
Suppose -8*c = -523 + 51. Is c < 58?
False
Suppose 4*u + 4*g + 20 = 0, 0*g - 2*g - 15 = 3*u. Let m be -2 - 3*4/(-3). Let q be (-2 - (4 - 0)) + m. Is q less than or equal to u?
False
Let r = -19 + 20. Which is smaller: -2/5 or r?
-2/5
Suppose 4*y - 15 = n, -5 = 4*y - 3*n - 2*n. Suppose -3*o + 2 = y. Do -6 and o have the same value?
False
Let u(a) = a**3 + a**2 + a. Let l be u(-1). Let g = l + 1. Is g less than 1/10?
True
Let f = 1 + -11. Suppose 0 = 4*v + 5*j - 13, -3*v + 0*v + 24 = -j. Let q = v + f. Is -3 at least q?
True
Let n = -5 - -47/7. Let p = -31/14 + n. Is -2/5 bigger than p?
True
Let z = -1/156 + -101/468. Which is bigger: z or 1?
1
Suppose 0*s + s + t = 3, -3*s = -2*t + 6. Suppose s = -3*w + w + 4. Is 3 != w?
True
Let c be (-38)/(-6) + (-2)/(-3). Suppose 2*x - c*x = -10. Let k be x/(-5) + 24/10. Are 6 and k unequal?
True
Let d = 2/31 + -68/93. Which is smaller: 0.1 or d?
d
Let o(b) = b**2 - b. Suppose -z = -4*d + 1, 3*d - 4*z - 3 = 14. Let j be o(d). Is 0 <= j?
True
Suppose 3*b + 2*g - 10 = -0*g, 4*g - 20 = -4*b. Let h = 817/7 - 117. Is h > b?
False
Let x = -352 + 29919/85. Is 0 equal to x?
False
Let r be ((-2 - -2) + 0)/1. Su